Anatomía de un Token Pact

;; El nombre del módulo es único en toda la blockchain
;; GOVERNANCE_KEYSET define quién puede actualizar el código

(module mi-token ADMIN_KEYSET
  
  ;; Implementamos el estándar fungible-v2
  ;; Esto garantiza compatibilidad con wallets y exchanges
  (implements fungible-v2)
  (implements fungible-xchain-v1)
  
  ;; ... resto del código
)

;; Estructura de cada cuenta:
;; - balance: cuántos tokens tiene
;; - guard: quién puede gastarlos

(defschema account-schema
  balance:decimal    ;; Cantidad de tokens
  guard:guard        ;; Autorización
)

;; Crea la tabla física en la blockchain
(deftable accounts-table:{account-schema})

;; TRANSFER: Permiso para transferir tokens
;; @managed = tiene límite gestionado (no puedes exceder amount)

(defcap TRANSFER:bool
  ( sender:string
    receiver:string
    amount:decimal
  )
  @doc "Capability para transferir tokens"
  @managed amount TRANSFER-mgr
  
  ;; Verificaciones de seguridad
  (enforce (!= sender receiver) "No puedes enviarte a ti mismo")
  (enforce (> amount 0.0) "La cantidad debe ser positiva")
  
  ;; Activa el permiso de débito automáticamente
  (compose-capability (DEBIT sender))
)

;; DEBIT: Solo el dueño puede restar de su cuenta
(defcap DEBIT:bool (sender:string)
  ;; Verifica que quien firma es el dueño
  (enforce-guard (at 'guard (read accounts-table sender)))
)

;; Transfiere tokens de sender a receiver
(defun transfer:string 
  (sender:string receiver:string amount:decimal)
  @doc "Transfiere tokens de sender a receiver"
  
  ;; with-capability: "Activa" el permiso TRANSFER
  ;; Esto verifica que sender firmó y amount es válido
  (with-capability (TRANSFER sender receiver amount)
    
    ;; Resta del sender
    (debit sender amount)
    
    ;; Suma al receiver
    (credit receiver 
      (at 'guard (read accounts-table receiver)) 
      amount)
  )
)