mali-token-subnet-rc1

;; title: mali-token-subnet
;; authors: generated by Charisma
;; summary: Intent-based subnet token wrapper for belgian-malinois using blaze-intent verifier.

(define-constant ERR_INSUFFICIENT_BALANCE (err u400))
(define-constant ERR_UNAUTHORIZED         (err u401))
(define-constant ERR_EXCEEDS_BOUND        (err u402))

(define-map balances principal uint)

(define-private (balance-of (who principal))
  (default-to u0 (map-get? balances who))
)

(define-private (internal-transfer (from principal) (to principal) (amount uint))
  (if (is-eq from to)
      (ok true)
      (let ((from-bal (balance-of from))
            (to-bal   (balance-of to)))
        (asserts! (>= from-bal amount) ERR_INSUFFICIENT_BALANCE)
        (map-set balances from (- from-bal amount))
        (map-set balances to   (+ to-bal amount))
        (ok true)))
)

;; SIP-10 passthrough helpers
(define-read-only (get-name)         (contract-call? 'SPKBV3CZB15CM3CVMCMRX56WRYKDY5P5CTQQXSN0.belgian-malinois get-name))
(define-read-only (get-symbol)       (contract-call? 'SPKBV3CZB15CM3CVMCMRX56WRYKDY5P5CTQQXSN0.belgian-malinois get-symbol))
(define-read-only (get-decimals)     (contract-call? 'SPKBV3CZB15CM3CVMCMRX56WRYKDY5P5CTQQXSN0.belgian-malinois get-decimals))
(define-read-only (get-token-uri)    (contract-call? 'SPKBV3CZB15CM3CVMCMRX56WRYKDY5P5CTQQXSN0.belgian-malinois get-token-uri))
(define-read-only (get-total-supply) (contract-call? 'SPKBV3CZB15CM3CVMCMRX56WRYKDY5P5CTQQXSN0.belgian-malinois get-total-supply))

(define-read-only (get-balance (owner principal))
  (ok (balance-of owner))
)

;; SIP-10 transfer
(define-public (transfer (amount uint) (from principal) (to principal) (memo (optional (buff 34))))
  (let ((sender tx-sender))
    (asserts! (is-eq sender from) ERR_UNAUTHORIZED)
    (try! (internal-transfer from to amount))
    (print {event: "transfer", from: from, to: to, amount: amount, memo: memo})
    (ok true)
  )
)

;; Deposit / Withdraw
(define-public (deposit (amount uint) (recipient (optional principal)))
  (let ((sender tx-sender)
        (recv   (default-to sender recipient))
        (prev   (balance-of recv)))
    (try! (contract-call? 'SPKBV3CZB15CM3CVMCMRX56WRYKDY5P5CTQQXSN0.belgian-malinois transfer amount sender (as-contract tx-sender) none))
    (map-set balances recv (+ prev amount))
    (print {event: "deposit", sender: sender, recipient: recv, amount: amount})
    (ok true)))

(define-public (withdraw (amount uint) (recipient (optional principal)))
  (let ((owner tx-sender)
        (recv  (default-to owner recipient))
        (bal   (balance-of owner)))
    (asserts! (>= bal amount) ERR_INSUFFICIENT_BALANCE)
    (map-set balances owner (- bal amount))
    (try! (as-contract (contract-call? 'SPKBV3CZB15CM3CVMCMRX56WRYKDY5P5CTQQXSN0.belgian-malinois transfer amount tx-sender recv none)))
    (print {event: "withdraw", owner: owner, recipient: recv, amount: amount})
    (ok true)))

;; Bearer redemption
(define-public (x-redeem
    (signature (buff 65))
    (amount    uint)
    (uuid      (string-ascii 36))
    (to        principal))
  (let ((signer (try! (contract-call? 'SP2ZNGJ85ENDY6QRHQ5P2D4FXKGZWCKTB2T0Z55KS.blaze-rc10 execute signature "REDEEM_BEARER" none (some amount) none uuid))))
    (try! (internal-transfer signer to amount))
    (print {event: "x-redeem", from: signer, to: to, amount: amount, uuid: uuid})
    (ok true)))

;; Exact transfer
(define-public (x-transfer
    (signature (buff 65))
    (amount uint)
    (uuid   (string-ascii 36))
    (to     principal))
  (let ((signer (try! (contract-call? 'SP2ZNGJ85ENDY6QRHQ5P2D4FXKGZWCKTB2T0Z55KS.blaze-rc10 execute signature "TRANSFER_TOKENS" none (some amount) (some to) uuid))))
    (try! (internal-transfer signer to amount))
    (print {event: "x-transfer", from: signer, to: to, amount: amount, uuid: uuid})
    (ok true)))

;; Upper-bound transfer
(define-public (x-transfer-lte
    (signature (buff 65))
    (bound   uint)
    (actual  uint)
    (uuid    (string-ascii 36))
    (to      principal))
  (let ((signer (try! (contract-call? 'SP2ZNGJ85ENDY6QRHQ5P2D4FXKGZWCKTB2T0Z55KS.blaze-rc10 execute signature "TRANSFER_TOKENS_LTE" none (some bound) (some to) uuid))))
    (asserts! (<= actual bound) ERR_EXCEEDS_BOUND)
    (try! (internal-transfer signer to actual))
    (print {event: "x-transfer-lte", from: signer, to: to, bound: bound, amount: actual, uuid: uuid})
    (ok true)))