@chainvue/verus-sdk 0.9.0 → 0.11.0

package/README.md

@@ -35,6 +35,10 @@ const { signedTx, txid, fee } = sdk.transfer({
 - **VerusID** — `createCommitment` → `registerIdentity` (incl. sub-IDs), then
   `updateIdentity` / `lockIdentity` / `unlockIdentity` / `revokeIdentity` /
   `recoverIdentity`, plus `signMessage` / `verifyMessage`.
+- **Marketplace offers** — build and complete fully on-chain atomic swaps:
+  currency↔currency (`buildOfferFunding` → `buildOffer` → `completeOffer`), and
+  VerusID sell / buy / swap (`build*IdentityOffer` / `complete*IdentityOffer`).
+  Native coin, tokens, and identities, in every combination.
 - **Helpers** — `VerusSDK.generateWif()`, `deriveAddress(wif)`,
   `deriveIdentityAddress(name, parent?)`, `validateAddress`, `validateWif`;
   `utils.summarizeSignedTransaction(hex)` decodes a signed tx (txid, spent
@@ -65,7 +69,9 @@ Per-area guides, plus runnable offline examples in [`examples/`](./examples):
 | [amounts](./docs/amounts.md) | the money model — `bigint` satoshis, `parseSats`/`toCoins`, the one float64 boundary |
 | [transfers](./docs/transfers.md) | `transfer` / `transferToken` / `convert` / `sendCurrency`, UTXOs, change, re-validation |
 | [VerusID lifecycle](./docs/identity.md) | commit → register, update, lock/unlock, revoke/recover, sign/verify messages |
+| [marketplace offers](./docs/offers.md) | atomic-swap model, the maker/taker halves, currency↔currency and VerusID sell/buy/swap |
 | [signing & wire format](./docs/signing-and-wire.md) | why the bytes are the daemon's, the self-contained bundle, the proof rings |
+| [architecture](./docs/architecture.md) | the fork boundary, the two assemblers, what's unrepresentable vs checked, the differential harness |
 | [testing](./docs/testing.md) | the gate, the plain-`node` rule, the live-proof ring model |
 
 ## Contributing

package/dist/VerusSDK.d.ts

@@ -6,6 +6,7 @@
  */
 import type { Network } from './constants/index.js';
 import type { VerusSDKConfig, TransferParams, TransferTokenParams, ConvertParams, SendCurrencyParams, SendCurrencyResult, BuildAndSignParams, SignedTxResult, CreateCommitmentParams, CreateCommitmentResult, RegisterIdentityParams, RegisterIdentityResult, UpdateIdentityParams, UpdateIdentityResult, LockIdentityParams, UnlockIdentityParams, RevokeIdentityParams, RecoverIdentityParams, DefineCurrencyParams, DefineCurrencyResult, SignMessageParams, SignMessageResult, VerifyMessageParams, VerifyMessageResult } from './types/index.js';
+import type { BuildOfferFundingParams, BuildOfferFundingResult, BuildOfferParams, BuildOfferResult, CompleteOfferParams, CompleteOfferResult, BuildSellIdentityOfferParams, CompleteSellIdentityOfferParams, CompleteSellIdentityOfferResult, BuildBuyIdentityOfferParams, CompleteBuyIdentityOfferParams, CompleteBuyIdentityOfferResult, BuildSwapIdentityOfferParams, CompleteSwapIdentityOfferParams, CompleteSwapIdentityOfferResult } from './offers/public.js';
 export declare class VerusSDK {
     readonly network: Network;
     constructor(config: VerusSDKConfig);
@@ -42,6 +43,33 @@ export declare class VerusSDK {
     signMessage(params: SignMessageParams): SignMessageResult;
     /** Verify a VerusID message signature */
     verifyMessage(params: VerifyMessageParams): VerifyMessageResult;
+    /**
+     * Maker step 1 (currency offers only): fund the OFFERED asset into a commitment
+     * output. Broadcast the returned tx, then pass `commitment` to `buildOffer`.
+     */
+    buildOfferFunding(params: BuildOfferFundingParams): BuildOfferFundingResult;
+    /**
+     * Maker step 2 (currency offers): build the half-signed offer — spend the funded
+     * commitment with 0x83, committing to the single WANTED output paid to the maker.
+     */
+    buildOffer(params: BuildOfferParams): BuildOfferResult;
+    /**
+     * Taker (currency offers): complete the maker's offer — pay the wanted asset,
+     * receive the offered asset, and sign the taker's side into an atomic swap.
+     */
+    completeOffer(params: CompleteOfferParams): CompleteOfferResult;
+    /** Maker: offer a VerusID for a currency (spends the identity's on-chain output). */
+    buildSellIdentityOffer(params: BuildSellIdentityOfferParams): BuildOfferResult;
+    /** Taker: complete a sell-identity offer — pay the currency, receive the identity. */
+    completeSellIdentityOffer(params: CompleteSellIdentityOfferParams): CompleteSellIdentityOfferResult;
+    /** Maker: offer a currency for a VerusID (funds the currency into a commitment). */
+    buildBuyIdentityOffer(params: BuildBuyIdentityOfferParams): BuildOfferResult;
+    /** Taker (identity owner): complete a buy-identity offer — give up the identity, take the currency. */
+    completeBuyIdentityOffer(params: CompleteBuyIdentityOfferParams): CompleteBuyIdentityOfferResult;
+    /** Maker: offer a VerusID for another VerusID (no currency moves). */
+    buildSwapIdentityOffer(params: BuildSwapIdentityOfferParams): BuildOfferResult;
+    /** Taker (owns the wanted identity): complete an identity swap — funds only the miner fee. */
+    completeSwapIdentityOffer(params: CompleteSwapIdentityOfferParams): CompleteSwapIdentityOfferResult;
     /** Derive R-address from WIF private key */
     static deriveAddress(wif: string): Promise<string>;
     /** Derive identity i-address from a name and optional parent */

package/dist/VerusSDK.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"VerusSDK.d.ts","sourceRoot":"","sources":["../src/VerusSDK.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,KAAK,EACV,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,aAAa,EACb,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,sBAAsB,EACtB,sBAAsB,EACtB,sBAAsB,EACtB,sBAAsB,EACtB,oBAAoB,EACpB,oBAAoB,EACpB,kBAAkB,EAClB,oBAAoB,EACpB,oBAAoB,EACpB,qBAAqB,EACrB,oBAAoB,EACpB,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EACjB,mBAAmB,EACnB,mBAAmB,EACpB,MAAM,kBAAkB,CAAC;AAQ1B,qBAAa,QAAQ;IACnB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;gBAEd,MAAM,EAAE,cAAc;IAMlC,kDAAkD;IAClD,QAAQ,CAAC,MAAM,EAAE,cAAc,GAAG,kBAAkB;IAIpD,8BAA8B;IAC9B,aAAa,CAAC,MAAM,EAAE,mBAAmB,GAAG,kBAAkB;IAI9D,0BAA0B;IAC1B,OAAO,CAAC,MAAM,EAAE,aAAa,GAAG,kBAAkB;IAIlD,iEAAiE;IACjE,YAAY,CAAC,MAAM,EAAE,kBAAkB,GAAG,kBAAkB;IAI5D,gDAAgD;IAChD,YAAY,CAAC,MAAM,EAAE,kBAAkB,GAAG,cAAc;IAMxD,4DAA4D;IAC5D,gBAAgB,CAAC,MAAM,EAAE,sBAAsB,GAAG,sBAAsB;IAIxE,yDAAyD;IACzD,gBAAgB,CAAC,MAAM,EAAE,sBAAsB,GAAG,sBAAsB;IAIxE,mFAAmF;IACnF,cAAc,CAAC,MAAM,EAAE,oBAAoB,GAAG,oBAAoB;IAIlE;;;OAGG;IACH,YAAY,CAAC,MAAM,EAAE,kBAAkB,GAAG,oBAAoB;IAgB9D,+BAA+B;IAC/B,cAAc,CAAC,MAAM,EAAE,oBAAoB,GAAG,oBAAoB;IAelE,6DAA6D;IAC7D,cAAc,CAAC,MAAM,EAAE,oBAAoB,GAAG,oBAAoB;IAelE,4DAA4D;IAC5D,eAAe,CAAC,MAAM,EAAE,qBAAqB,GAAG,oBAAoB;IAqBpE,6DAA6D;IAC7D,cAAc,CAAC,MAAM,EAAE,oBAAoB,GAAG,oBAAoB;IAMlE,uDAAuD;IACvD,WAAW,CAAC,MAAM,EAAE,iBAAiB,GAAG,iBAAiB;IAIzD,yCAAyC;IACzC,aAAa,CAAC,MAAM,EAAE,mBAAmB,GAAG,mBAAmB;IAM/D,4CAA4C;WAC/B,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAIxD,gEAAgE;IAChE,MAAM,CAAC,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,cAAc,CAAC,EAAE,MAAM,GAAG,MAAM;IAI3E,4CAA4C;IAC5C,MAAM,CAAC,WAAW,IAAI,MAAM;IAI5B,iCAAiC;IACjC,MAAM,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE;IAI3E,iCAAiC;IACjC,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE;CAGpE"}
+{"version":3,"file":"VerusSDK.d.ts","sourceRoot":"","sources":["../src/VerusSDK.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,KAAK,EACV,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,aAAa,EACb,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,sBAAsB,EACtB,sBAAsB,EACtB,sBAAsB,EACtB,sBAAsB,EACtB,oBAAoB,EACpB,oBAAoB,EACpB,kBAAkB,EAClB,oBAAoB,EACpB,oBAAoB,EACpB,qBAAqB,EACrB,oBAAoB,EACpB,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EACjB,mBAAmB,EACnB,mBAAmB,EACpB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,KAAK,EACV,uBAAuB,EACvB,uBAAuB,EACvB,gBAAgB,EAChB,gBAAgB,EAChB,mBAAmB,EACnB,mBAAmB,EACnB,4BAA4B,EAC5B,+BAA+B,EAC/B,+BAA+B,EAC/B,2BAA2B,EAC3B,8BAA8B,EAC9B,8BAA8B,EAC9B,4BAA4B,EAC5B,+BAA+B,EAC/B,+BAA+B,EAChC,MAAM,oBAAoB,CAAC;AAS5B,qBAAa,QAAQ;IACnB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;gBAEd,MAAM,EAAE,cAAc;IAMlC,kDAAkD;IAClD,QAAQ,CAAC,MAAM,EAAE,cAAc,GAAG,kBAAkB;IAIpD,8BAA8B;IAC9B,aAAa,CAAC,MAAM,EAAE,mBAAmB,GAAG,kBAAkB;IAI9D,0BAA0B;IAC1B,OAAO,CAAC,MAAM,EAAE,aAAa,GAAG,kBAAkB;IAIlD,iEAAiE;IACjE,YAAY,CAAC,MAAM,EAAE,kBAAkB,GAAG,kBAAkB;IAI5D,gDAAgD;IAChD,YAAY,CAAC,MAAM,EAAE,kBAAkB,GAAG,cAAc;IAMxD,4DAA4D;IAC5D,gBAAgB,CAAC,MAAM,EAAE,sBAAsB,GAAG,sBAAsB;IAIxE,yDAAyD;IACzD,gBAAgB,CAAC,MAAM,EAAE,sBAAsB,GAAG,sBAAsB;IAIxE,mFAAmF;IACnF,cAAc,CAAC,MAAM,EAAE,oBAAoB,GAAG,oBAAoB;IAIlE;;;OAGG;IACH,YAAY,CAAC,MAAM,EAAE,kBAAkB,GAAG,oBAAoB;IAgB9D,+BAA+B;IAC/B,cAAc,CAAC,MAAM,EAAE,oBAAoB,GAAG,oBAAoB;IAelE,6DAA6D;IAC7D,cAAc,CAAC,MAAM,EAAE,oBAAoB,GAAG,oBAAoB;IAelE,4DAA4D;IAC5D,eAAe,CAAC,MAAM,EAAE,qBAAqB,GAAG,oBAAoB;IAqBpE,6DAA6D;IAC7D,cAAc,CAAC,MAAM,EAAE,oBAAoB,GAAG,oBAAoB;IAMlE,uDAAuD;IACvD,WAAW,CAAC,MAAM,EAAE,iBAAiB,GAAG,iBAAiB;IAIzD,yCAAyC;IACzC,aAAa,CAAC,MAAM,EAAE,mBAAmB,GAAG,mBAAmB;IAM/D;;;OAGG;IACH,iBAAiB,CAAC,MAAM,EAAE,uBAAuB,GAAG,uBAAuB;IAI3E;;;OAGG;IACH,UAAU,CAAC,MAAM,EAAE,gBAAgB,GAAG,gBAAgB;IAItD;;;OAGG;IACH,aAAa,CAAC,MAAM,EAAE,mBAAmB,GAAG,mBAAmB;IAI/D,qFAAqF;IACrF,sBAAsB,CAAC,MAAM,EAAE,4BAA4B,GAAG,gBAAgB;IAI9E,sFAAsF;IACtF,yBAAyB,CAAC,MAAM,EAAE,+BAA+B,GAAG,+BAA+B;IAInG,oFAAoF;IACpF,qBAAqB,CAAC,MAAM,EAAE,2BAA2B,GAAG,gBAAgB;IAI5E,uGAAuG;IACvG,wBAAwB,CAAC,MAAM,EAAE,8BAA8B,GAAG,8BAA8B;IAIhG,sEAAsE;IACtE,sBAAsB,CAAC,MAAM,EAAE,4BAA4B,GAAG,gBAAgB;IAI9E,8FAA8F;IAC9F,yBAAyB,CAAC,MAAM,EAAE,+BAA+B,GAAG,+BAA+B;IAMnG,4CAA4C;WAC/B,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAIxD,gEAAgE;IAChE,MAAM,CAAC,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,cAAc,CAAC,EAAE,MAAM,GAAG,MAAM;IAI3E,4CAA4C;IAC5C,MAAM,CAAC,WAAW,IAAI,MAAM;IAI5B,iCAAiC;IACjC,MAAM,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE;IAI3E,iCAAiC;IACjC,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE;CAGpE"}

package/dist/VerusSDK.js

@@ -45,6 +45,7 @@ const identityModule = __importStar(require("./identity/index.js"));
 const messageModule = __importStar(require("./message/index.js"));
 const currencyModule = __importStar(require("./currency/index.js"));
 const keysModule = __importStar(require("./keys/index.js"));
+const offersModule = __importStar(require("./offers/public.js"));
 class VerusSDK {
     constructor(config) {
         this.network = config.network;
@@ -148,6 +149,52 @@ class VerusSDK {
     verifyMessage(params) {
         return messageModule.verifyMessage(params, this.network);
     }
+    // ─── Marketplace Offers (atomic swaps) ─────────────
+    /**
+     * Maker step 1 (currency offers only): fund the OFFERED asset into a commitment
+     * output. Broadcast the returned tx, then pass `commitment` to `buildOffer`.
+     */
+    buildOfferFunding(params) {
+        return offersModule.buildOfferFunding(params, this.network);
+    }
+    /**
+     * Maker step 2 (currency offers): build the half-signed offer — spend the funded
+     * commitment with 0x83, committing to the single WANTED output paid to the maker.
+     */
+    buildOffer(params) {
+        return offersModule.buildOffer(params, this.network);
+    }
+    /**
+     * Taker (currency offers): complete the maker's offer — pay the wanted asset,
+     * receive the offered asset, and sign the taker's side into an atomic swap.
+     */
+    completeOffer(params) {
+        return offersModule.completeOffer(params, this.network);
+    }
+    /** Maker: offer a VerusID for a currency (spends the identity's on-chain output). */
+    buildSellIdentityOffer(params) {
+        return offersModule.buildSellIdentityOffer(params, this.network);
+    }
+    /** Taker: complete a sell-identity offer — pay the currency, receive the identity. */
+    completeSellIdentityOffer(params) {
+        return offersModule.completeSellIdentityOffer(params, this.network);
+    }
+    /** Maker: offer a currency for a VerusID (funds the currency into a commitment). */
+    buildBuyIdentityOffer(params) {
+        return offersModule.buildBuyIdentityOffer(params, this.network);
+    }
+    /** Taker (identity owner): complete a buy-identity offer — give up the identity, take the currency. */
+    completeBuyIdentityOffer(params) {
+        return offersModule.completeBuyIdentityOffer(params, this.network);
+    }
+    /** Maker: offer a VerusID for another VerusID (no currency moves). */
+    buildSwapIdentityOffer(params) {
+        return offersModule.buildSwapIdentityOffer(params, this.network);
+    }
+    /** Taker (owns the wanted identity): complete an identity swap — funds only the miner fee. */
+    completeSwapIdentityOffer(params) {
+        return offersModule.completeSwapIdentityOffer(params, this.network);
+    }
     // ─── Static Utilities ─────────────────────────────
     /** Derive R-address from WIF private key */
     static async deriveAddress(wif) {

package/dist/VerusSDK.js.map

@@ -1 +1 @@
-{"version":3,"file":"VerusSDK.js","sourceRoot":"","sources":["../src/VerusSDK.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8BH,oEAAsD;AACtD,oEAAsD;AACtD,kEAAoD;AACpD,oEAAsD;AACtD,4DAA8C;AAE9C,MAAa,QAAQ;IAGnB,YAAY,MAAsB;QAChC,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;IAChC,CAAC;IAED,sDAAsD;IAEtD,kDAAkD;IAClD,QAAQ,CAAC,MAAsB;QAC7B,OAAO,cAAc,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACvD,CAAC;IAED,8BAA8B;IAC9B,aAAa,CAAC,MAA2B;QACvC,OAAO,cAAc,CAAC,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5D,CAAC;IAED,0BAA0B;IAC1B,OAAO,CAAC,MAAqB;QAC3B,OAAO,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACtD,CAAC;IAED,iEAAiE;IACjE,YAAY,CAAC,MAA0B;QACrC,OAAO,cAAc,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3D,CAAC;IAED,gDAAgD;IAChD,YAAY,CAAC,MAA0B;QACrC,OAAO,cAAc,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3D,CAAC;IAED,sDAAsD;IAEtD,4DAA4D;IAC5D,gBAAgB,CAAC,MAA8B;QAC7C,OAAO,cAAc,CAAC,sBAAsB,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACrE,CAAC;IAED,yDAAyD;IACzD,gBAAgB,CAAC,MAA8B;QAC7C,OAAO,cAAc,CAAC,wBAAwB,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACvE,CAAC;IAED,mFAAmF;IACnF,cAAc,CAAC,MAA4B;QACzC,OAAO,cAAc,CAAC,0BAA0B,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACnF,CAAC;IAED;;;OAGG;IACH,YAAY,CAAC,MAA0B;QACrC,OAAO,cAAc,CAAC,0BAA0B,CAC9C;YACE,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,YAAY,EAAE,MAAM,CAAC,YAAY;SAClC,EACD,IAAI,CAAC,OAAO,EACZ,MAAM,EACN,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,IAAI,KAAK,EAAE,CAChG,CAAC;IACJ,CAAC;IAED,+BAA+B;IAC/B,cAAc,CAAC,MAA4B;QACzC,OAAO,cAAc,CAAC,0BAA0B,CAC9C;YACE,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,YAAY,EAAE,MAAM,CAAC,YAAY;SAClC,EACD,IAAI,CAAC,OAAO,EACZ,QAAQ,CACT,CAAC;IACJ,CAAC;IAED,6DAA6D;IAC7D,cAAc,CAAC,MAA4B;QACzC,OAAO,cAAc,CAAC,0BAA0B,CAC9C;YACE,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,YAAY,EAAE,MAAM,CAAC,YAAY;SAClC,EACD,IAAI,CAAC,OAAO,EACZ,QAAQ,CACT,CAAC;IACJ,CAAC;IAED,4DAA4D;IAC5D,eAAe,CAAC,MAA6B;QAC3C,OAAO,cAAc,CAAC,0BAA0B,CAC9C;YACE,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,GAAG,CAAC,MAAM,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/F,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACpE,GAAG,CAAC,MAAM,CAAC,mBAAmB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxG,GAAG,CAAC,MAAM,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClG,YAAY,EAAE,MAAM,CAAC,YAAY;SAClC,EACD,IAAI,CAAC,OAAO,EACZ,SAAS,CACV,CAAC;IACJ,CAAC;IAED,sDAAsD;IAEtD,6DAA6D;IAC7D,cAAc,CAAC,MAA4B;QACzC,OAAO,cAAc,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7D,CAAC;IAED,sDAAsD;IAEtD,uDAAuD;IACvD,WAAW,CAAC,MAAyB;QACnC,OAAO,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACzD,CAAC;IAED,yCAAyC;IACzC,aAAa,CAAC,MAA2B;QACvC,OAAO,aAAa,CAAC,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3D,CAAC;IAED,qDAAqD;IAErD,4CAA4C;IAC5C,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,GAAW;QACpC,OAAO,UAAU,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACtC,CAAC;IAED,gEAAgE;IAChE,MAAM,CAAC,qBAAqB,CAAC,IAAY,EAAE,cAAuB;QAChE,OAAO,cAAc,CAAC,qBAAqB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACpE,CAAC;IAED,4CAA4C;IAC5C,MAAM,CAAC,WAAW;QAChB,OAAO,UAAU,CAAC,WAAW,EAAE,CAAC;IAClC,CAAC;IAED,iCAAiC;IACjC,MAAM,CAAC,eAAe,CAAC,OAAe;QACpC,OAAO,UAAU,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;IAC7C,CAAC;IAED,iCAAiC;IACjC,MAAM,CAAC,WAAW,CAAC,GAAW;QAC5B,OAAO,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC;CACF;AAxKD,4BAwKC"}
+{"version":3,"file":"VerusSDK.js","sourceRoot":"","sources":["../src/VerusSDK.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgDH,oEAAsD;AACtD,oEAAsD;AACtD,kEAAoD;AACpD,oEAAsD;AACtD,4DAA8C;AAC9C,iEAAmD;AAEnD,MAAa,QAAQ;IAGnB,YAAY,MAAsB;QAChC,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;IAChC,CAAC;IAED,sDAAsD;IAEtD,kDAAkD;IAClD,QAAQ,CAAC,MAAsB;QAC7B,OAAO,cAAc,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACvD,CAAC;IAED,8BAA8B;IAC9B,aAAa,CAAC,MAA2B;QACvC,OAAO,cAAc,CAAC,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5D,CAAC;IAED,0BAA0B;IAC1B,OAAO,CAAC,MAAqB;QAC3B,OAAO,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACtD,CAAC;IAED,iEAAiE;IACjE,YAAY,CAAC,MAA0B;QACrC,OAAO,cAAc,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3D,CAAC;IAED,gDAAgD;IAChD,YAAY,CAAC,MAA0B;QACrC,OAAO,cAAc,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3D,CAAC;IAED,sDAAsD;IAEtD,4DAA4D;IAC5D,gBAAgB,CAAC,MAA8B;QAC7C,OAAO,cAAc,CAAC,sBAAsB,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACrE,CAAC;IAED,yDAAyD;IACzD,gBAAgB,CAAC,MAA8B;QAC7C,OAAO,cAAc,CAAC,wBAAwB,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACvE,CAAC;IAED,mFAAmF;IACnF,cAAc,CAAC,MAA4B;QACzC,OAAO,cAAc,CAAC,0BAA0B,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACnF,CAAC;IAED;;;OAGG;IACH,YAAY,CAAC,MAA0B;QACrC,OAAO,cAAc,CAAC,0BAA0B,CAC9C;YACE,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,YAAY,EAAE,MAAM,CAAC,YAAY;SAClC,EACD,IAAI,CAAC,OAAO,EACZ,MAAM,EACN,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,IAAI,KAAK,EAAE,CAChG,CAAC;IACJ,CAAC;IAED,+BAA+B;IAC/B,cAAc,CAAC,MAA4B;QACzC,OAAO,cAAc,CAAC,0BAA0B,CAC9C;YACE,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,YAAY,EAAE,MAAM,CAAC,YAAY;SAClC,EACD,IAAI,CAAC,OAAO,EACZ,QAAQ,CACT,CAAC;IACJ,CAAC;IAED,6DAA6D;IAC7D,cAAc,CAAC,MAA4B;QACzC,OAAO,cAAc,CAAC,0BAA0B,CAC9C;YACE,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,YAAY,EAAE,MAAM,CAAC,YAAY;SAClC,EACD,IAAI,CAAC,OAAO,EACZ,QAAQ,CACT,CAAC;IACJ,CAAC;IAED,4DAA4D;IAC5D,eAAe,CAAC,MAA6B;QAC3C,OAAO,cAAc,CAAC,0BAA0B,CAC9C;YACE,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,GAAG,CAAC,MAAM,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/F,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACpE,GAAG,CAAC,MAAM,CAAC,mBAAmB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxG,GAAG,CAAC,MAAM,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClG,YAAY,EAAE,MAAM,CAAC,YAAY;SAClC,EACD,IAAI,CAAC,OAAO,EACZ,SAAS,CACV,CAAC;IACJ,CAAC;IAED,sDAAsD;IAEtD,6DAA6D;IAC7D,cAAc,CAAC,MAA4B;QACzC,OAAO,cAAc,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7D,CAAC;IAED,sDAAsD;IAEtD,uDAAuD;IACvD,WAAW,CAAC,MAAyB;QACnC,OAAO,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACzD,CAAC;IAED,yCAAyC;IACzC,aAAa,CAAC,MAA2B;QACvC,OAAO,aAAa,CAAC,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3D,CAAC;IAED,sDAAsD;IAEtD;;;OAGG;IACH,iBAAiB,CAAC,MAA+B;QAC/C,OAAO,YAAY,CAAC,iBAAiB,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9D,CAAC;IAED;;;OAGG;IACH,UAAU,CAAC,MAAwB;QACjC,OAAO,YAAY,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACvD,CAAC;IAED;;;OAGG;IACH,aAAa,CAAC,MAA2B;QACvC,OAAO,YAAY,CAAC,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1D,CAAC;IAED,qFAAqF;IACrF,sBAAsB,CAAC,MAAoC;QACzD,OAAO,YAAY,CAAC,sBAAsB,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACnE,CAAC;IAED,sFAAsF;IACtF,yBAAyB,CAAC,MAAuC;QAC/D,OAAO,YAAY,CAAC,yBAAyB,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACtE,CAAC;IAED,oFAAoF;IACpF,qBAAqB,CAAC,MAAmC;QACvD,OAAO,YAAY,CAAC,qBAAqB,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAClE,CAAC;IAED,uGAAuG;IACvG,wBAAwB,CAAC,MAAsC;QAC7D,OAAO,YAAY,CAAC,wBAAwB,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACrE,CAAC;IAED,sEAAsE;IACtE,sBAAsB,CAAC,MAAoC;QACzD,OAAO,YAAY,CAAC,sBAAsB,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACnE,CAAC;IAED,8FAA8F;IAC9F,yBAAyB,CAAC,MAAuC;QAC/D,OAAO,YAAY,CAAC,yBAAyB,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACtE,CAAC;IAED,qDAAqD;IAErD,4CAA4C;IAC5C,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,GAAW;QACpC,OAAO,UAAU,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACtC,CAAC;IAED,gEAAgE;IAChE,MAAM,CAAC,qBAAqB,CAAC,IAAY,EAAE,cAAuB;QAChE,OAAO,cAAc,CAAC,qBAAqB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACpE,CAAC;IAED,4CAA4C;IAC5C,MAAM,CAAC,WAAW;QAChB,OAAO,UAAU,CAAC,WAAW,EAAE,CAAC;IAClC,CAAC;IAED,iCAAiC;IACjC,MAAM,CAAC,eAAe,CAAC,OAAe;QACpC,OAAO,UAAU,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;IAC7C,CAAC;IAED,iCAAiC;IACjC,MAAM,CAAC,WAAW,CAAC,GAAW;QAC5B,OAAO,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC;CACF;AAhOD,4BAgOC"}

package/dist/assemble/assembler.d.ts

@@ -0,0 +1,66 @@
+import type { Network } from '../constants/index.js';
+import type { Utxo } from '../types/index.js';
+/** One output the caller declares. */
+export interface IntentOutput {
+    /** Pre-built output scriptPubKey (identity, reservation, fee, payment, …). */
+    script: Buffer;
+    /** Native satoshis carried on the output. */
+    nativeSat: bigint;
+    /** Non-native currencies the script pays out (e.g. a reserve fee output) — used
+     *  to derive the token funding requirement and the token-conservation check. */
+    carries?: Map<string, bigint>;
+}
+export interface TxIntent {
+    network: Network;
+    /** WIF signing every input (single-key paths only). */
+    wif: string;
+    expiryHeight: number;
+    funding: Utxo[];
+    /** Inputs added before the funding inputs (e.g. a name-commitment UTXO). They
+     *  carry 0 token value; their native value folds into the fee. */
+    leadingInputs?: Utxo[];
+    /** Declared outputs, emitted in order before change. */
+    outputs: IntentOutput[];
+    changeAddress: string;
+    /** Whether the outputs are CryptoCondition (smart) outputs — drives fee sizing. */
+    hasSmartOutputs?: boolean;
+    /** Extra bytes for fee sizing when a pre-built output dwarfs the fixed estimate. */
+    extraOutputBytes?: number;
+    /** Output count fed to the fee estimator; defaults to the declared outputs.
+     *  Override only to reproduce a legacy per-path estimate byte-for-byte. */
+    feeOutputCount?: number;
+    /** Token funding requirement, when the outputs are pre-built by the fork
+     *  (createUnfundedCurrencyTransfer) and their carried token value can't be read
+     *  back off the opaque scripts. When set, it REPLACES the per-output `carries`
+     *  derivation. Drives both selection and the token-conservation check. */
+    requiredCurrencies?: Map<string, bigint>;
+    /** How change is emitted. `bundled` (default) rides the native change on the
+     *  token-change reserve output (the identity/registration convention). `separate`
+     *  emits the token change with only its structural native value plus a distinct
+     *  native-change output (the fork's currency-transfer convention). */
+    changeStrategy?: 'bundled' | 'separate';
+    /** `estimate` sizes the fee from the tx. `declared` names an intentional
+     *  implicit burn — native that leaves BEYOND the outputs and the miner fee
+     *  (e.g. the registration fee): it is added to the funding requirement and
+     *  bounds the signing-time fee-rate cap, so it can never be an accident. */
+    fee: {
+        policy: 'estimate';
+    } | {
+        policy: 'declared';
+        burnSat: bigint;
+        reason: string;
+    };
+    /** Label used in conservation error messages. */
+    label: string;
+}
+export interface AssembledTx {
+    signedTx: string;
+    txid: string;
+    fee: bigint;
+    nativeChange: bigint;
+    currencyChanges: Map<string, bigint>;
+    selected: Utxo[];
+    inputsUsed: number;
+}
+export declare function assembleAndSign(intent: TxIntent): AssembledTx;
+//# sourceMappingURL=assembler.d.ts.map

package/dist/assemble/assembler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assembler.d.ts","sourceRoot":"","sources":["../../src/assemble/assembler.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAE9C,sCAAsC;AACtC,MAAM,WAAW,YAAY;IAC3B,8EAA8E;IAC9E,MAAM,EAAE,MAAM,CAAC;IACf,6CAA6C;IAC7C,SAAS,EAAE,MAAM,CAAC;IAClB;oFACgF;IAChF,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC/B;AAED,MAAM,WAAW,QAAQ;IACvB,OAAO,EAAE,OAAO,CAAC;IACjB,uDAAuD;IACvD,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,IAAI,EAAE,CAAC;IAChB;sEACkE;IAClE,aAAa,CAAC,EAAE,IAAI,EAAE,CAAC;IACvB,wDAAwD;IACxD,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,mFAAmF;IACnF,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,oFAAoF;IACpF,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;+EAC2E;IAC3E,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;8EAG0E;IAC1E,kBAAkB,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzC;;;0EAGsE;IACtE,cAAc,CAAC,EAAE,SAAS,GAAG,UAAU,CAAC;IACxC;;;gFAG4E;IAC5E,GAAG,EAAE;QAAE,MAAM,EAAE,UAAU,CAAA;KAAE,GAAG;QAAE,MAAM,EAAE,UAAU,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACtF,iDAAiD;IACjD,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrC,QAAQ,EAAE,IAAI,EAAE,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,QAAQ,GAAG,WAAW,CAsJ7D"}

package/dist/assemble/assembler.js

@@ -0,0 +1,155 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.assembleAndSign = assembleAndSign;
+/**
+ * The single transaction assembler.
+ *
+ * Every value-moving path funnels through here as a thin `TxIntent`: the caller
+ * declares its inputs and the outputs it wants (with each output's native value
+ * and any token value the script carries); the assembler derives the funding
+ * requirements, selects UTXOs, emits change, and enforces native + token value
+ * conservation on the assembled transaction BY CONSTRUCTION. A path can no
+ * longer forget a conservation assert, drop token change, or hand-roll a
+ * change-emission block that drifts from the others — those were whole classes
+ * of bug. Fees are either estimated (selectUtxos) or DECLARED with an intent
+ * (registration's implicit burn); an unnamed implicit fee is unrepresentable.
+ *
+ * Ported flows must stay byte-identical to the Phase-0 golden snapshots.
+ */
+const boundary_js_1 = require("../fork/boundary.js");
+const index_js_1 = require("../utxo/index.js");
+const index_js_2 = require("../signing/index.js");
+const index_js_3 = require("../utils/index.js");
+const index_js_4 = require("../constants/index.js");
+const index_js_5 = require("../identity/index.js");
+const brands_js_1 = require("../core/brands.js");
+const errors_js_1 = require("../errors.js");
+function assembleAndSign(intent) {
+    const verusNetwork = (0, index_js_2.getNetwork)(intent.network === 'testnet');
+    const systemId = index_js_4.NETWORK_CONFIG[intent.network].chainId;
+    // Leading inputs sit OUTSIDE the token-conservation check below (which only
+    // sees the funding selection), so a leading input carrying token value would be
+    // silently burned. Fail closed. Today the only leading input is the SDK-built
+    // name-commitment UTXO, which carries none — this enforces the assumption the
+    // TxIntent doc states instead of trusting it.
+    for (const u of intent.leadingInputs ?? []) {
+        // Native on a leading input folds into the fee (burned to miner), so reject it
+        // — matching the identity-respend assembler, which fails closed on a nonzero
+        // identity UTXO. A name-commitment output is value 0.
+        if (u.satoshis !== 0n) {
+            throw new errors_js_1.TransactionBuildError(`${intent.label}: leading input ${u.txid}:${u.outputIndex} carries ${u.satoshis} native satoshis, ` +
+                `which would be burned to miner fee. Spend that value separately first.`);
+        }
+        let currencyValues;
+        try {
+            ({ currencyValues } = (0, index_js_1.decodeUtxo)(u, systemId));
+        }
+        catch {
+            // Undecodable smart output — e.g. the name-commitment's eval-17 CC, which
+            // unpackOutput doesn't model. It is not a reserve output, so it carries no
+            // token value. A token-bearing leading input IS a reserve output (eval 8/9)
+            // and decodes cleanly, so it is still caught below.
+            continue;
+        }
+        for (const [currency, amount] of currencyValues) {
+            if (currency !== systemId && amount > 0n) {
+                throw new errors_js_1.TransactionBuildError(`${intent.label}: leading input ${u.txid}:${u.outputIndex} carries ${amount} of ${currency}, ` +
+                    `which is outside token conservation and would be burned. Fund token-bearing inputs through the funding path.`);
+            }
+        }
+    }
+    // Funding requirements are DERIVED from the declared outputs — never restated
+    // by the caller (the token-burn class came from a path building these by hand).
+    // A declared implicit burn (registration fee) is native that must be funded
+    // but leaves as fee rather than to an output, so it adds to the native need.
+    const burnSat = intent.fee.policy === 'declared' ? intent.fee.burnSat : 0n;
+    let requiredNative = burnSat;
+    // Token requirement: an explicit override (fork-built outputs) replaces the
+    // per-output carries; otherwise it is summed from the outputs' declared carries.
+    const requiredCurrencies = new Map(intent.requiredCurrencies ?? []);
+    for (const o of intent.outputs) {
+        requiredNative += o.nativeSat;
+        if (!intent.requiredCurrencies && o.carries) {
+            for (const [c, v] of o.carries)
+                requiredCurrencies.set(c, (requiredCurrencies.get(c) ?? 0n) + v);
+        }
+    }
+    const selection = (0, index_js_1.selectUtxos)(intent.funding, requiredNative, requiredCurrencies, intent.feeOutputCount ?? intent.outputs.length, systemId, undefined, intent.hasSmartOutputs ?? true, intent.extraOutputBytes ?? 0);
+    const txb = new boundary_js_1.TransactionBuilder(verusNetwork);
+    txb.setVersion(4);
+    txb.setExpiryHeight((0, index_js_2.resolveExpiryHeight)(intent.expiryHeight));
+    txb.setVersionGroupId(index_js_4.VERSION_GROUP_ID);
+    const leading = intent.leadingInputs ?? [];
+    const allUtxos = [...leading, ...selection.selected];
+    for (const utxo of allUtxos) {
+        txb.addInput(Buffer.from(utxo.txid, 'hex').reverse(), utxo.outputIndex, 0xffffffff, Buffer.from(utxo.script, 'hex'));
+    }
+    for (const o of intent.outputs) {
+        txb.addOutput(o.script, (0, index_js_3.toSafeNumber)(o.nativeSat));
+    }
+    // Change, emitted in one place — bundled onto the reserve output or as a
+    // separate native output (per changeStrategy). utxo-lib's addOutput only
+    // resolves base58 R-addresses, so an i-address change needs the explicit P2ID
+    // script.
+    const hasTokenChange = selection.currencyChanges.size > 0;
+    const emitNativeChange = (value) => {
+        if (intent.changeAddress.startsWith('i')) {
+            txb.addOutput((0, index_js_5.identityPaymentScript)((0, brands_js_1.parseIAddress)(intent.changeAddress, 'changeAddress')), (0, index_js_3.toSafeNumber)(value));
+        }
+        else {
+            txb.addOutput(intent.changeAddress, (0, index_js_3.toSafeNumber)(value));
+        }
+    };
+    if ((intent.changeStrategy ?? 'bundled') === 'separate') {
+        // Token change carries only its own structural native value; the native change
+        // is a distinct output (the fork's currency-transfer convention).
+        if (hasTokenChange) {
+            const tokenChange = (0, index_js_5.buildTokenChangeOutput)((0, brands_js_1.parseAddress)(intent.changeAddress, 'changeAddress'), selection.currencyChanges);
+            txb.addOutput(tokenChange.script, (0, index_js_3.toSafeNumber)(tokenChange.nativeValue));
+        }
+        if (selection.nativeChange > 0n)
+            emitNativeChange(selection.nativeChange);
+    }
+    else if (hasTokenChange || selection.nativeChange > 0n) {
+        // Bundled: the native change rides on the token-change reserve output.
+        if (hasTokenChange) {
+            const tokenChange = (0, index_js_5.buildTokenChangeOutput)((0, brands_js_1.parseAddress)(intent.changeAddress, 'changeAddress'), selection.currencyChanges);
+            txb.addOutput(tokenChange.script, (0, index_js_3.toSafeNumber)(selection.nativeChange));
+        }
+        else {
+            emitNativeChange(selection.nativeChange);
+        }
+    }
+    const unsignedTx = txb.buildIncomplete();
+    // Conservation postconditions on the assembled transaction.
+    //
+    // The token check is a CONSISTENCY check, not an independent audit:
+    // selection.currencyChanges was computed by selectUtxos as (inputs −
+    // requiredCurrencies), so `inputs == requiredCurrencies + change` holds by
+    // construction. It catches a re-decode disagreement between the two calls, or a
+    // `requiredCurrencies` override (sendCurrency) that doesn't match the funded
+    // token value — NOT a per-currency semantic error. For currency transfers, the
+    // semantic audit (conversion, export, fee-currency accounting) is
+    // validateFundedTransaction, which sendCurrency runs on the signed hex.
+    (0, index_js_1.assertTokenConservation)(selection.selected, requiredCurrencies, selection.currencyChanges, systemId, intent.label);
+    // The native check IS an independent audit: inputs − outputs must equal the
+    // intended fee = miner fee + any declared burn. Leading inputs are guarded to 0
+    // native above, so their term is 0; it stays explicit as honest accounting.
+    const leadingNative = leading.reduce((sum, u) => sum + u.satoshis, 0n);
+    const expectedFee = selection.fee + burnSat + leadingNative;
+    (0, index_js_2.assertNativeConservation)(allUtxos, unsignedTx.outs, expectedFee, intent.label);
+    // A declared burn tells the fork's absurd-fee-rate cap the intended absolute
+    // fee, or build() rejects the (legitimately large) registration burn.
+    const maxFeeSats = intent.fee.policy === 'declared' ? expectedFee : undefined;
+    const { signedTx, txid } = (0, index_js_2.signTransactionSmart)(unsignedTx.toHex(), intent.wif, allUtxos, verusNetwork, maxFeeSats);
+    return {
+        signedTx,
+        txid,
+        fee: selection.fee,
+        nativeChange: selection.nativeChange,
+        currencyChanges: selection.currencyChanges,
+        selected: selection.selected,
+        inputsUsed: allUtxos.length,
+    };
+}
+//# sourceMappingURL=assembler.js.map

package/dist/assemble/assembler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assembler.js","sourceRoot":"","sources":["../../src/assemble/assembler.ts"],"names":[],"mappings":";;AAqFA,0CAsJC;AA3OD;;;;;;;;;;;;;;GAcG;AACH,qDAAyD;AACzD,+CAAoF;AACpF,kDAAsH;AACtH,gDAAiD;AACjD,oDAAyE;AACzE,mDAAqF;AACrF,iDAAgE;AAChE,4CAAqD;AA+DrD,SAAgB,eAAe,CAAC,MAAgB;IAC9C,MAAM,YAAY,GAAG,IAAA,qBAAU,EAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,yBAAc,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC;IAExD,4EAA4E;IAC5E,gFAAgF;IAChF,8EAA8E;IAC9E,8EAA8E;IAC9E,8CAA8C;IAC9C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;QAC3C,+EAA+E;QAC/E,6EAA6E;QAC7E,sDAAsD;QACtD,IAAI,CAAC,CAAC,QAAQ,KAAK,EAAE,EAAE,CAAC;YACtB,MAAM,IAAI,iCAAqB,CAC7B,GAAG,MAAM,CAAC,KAAK,mBAAmB,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,WAAW,YAAY,CAAC,CAAC,QAAQ,oBAAoB;gBACjG,wEAAwE,CAC3E,CAAC;QACJ,CAAC;QACD,IAAI,cAAmC,CAAC;QACxC,IAAI,CAAC;YACH,CAAC,EAAE,cAAc,EAAE,GAAG,IAAA,qBAAU,EAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;QACjD,CAAC;QAAC,MAAM,CAAC;YACP,0EAA0E;YAC1E,2EAA2E;YAC3E,4EAA4E;YAC5E,oDAAoD;YACpD,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAChD,IAAI,QAAQ,KAAK,QAAQ,IAAI,MAAM,GAAG,EAAE,EAAE,CAAC;gBACzC,MAAM,IAAI,iCAAqB,CAC7B,GAAG,MAAM,CAAC,KAAK,mBAAmB,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,WAAW,YAAY,MAAM,OAAO,QAAQ,IAAI;oBAC5F,8GAA8G,CACjH,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,8EAA8E;IAC9E,gFAAgF;IAChF,4EAA4E;IAC5E,6EAA6E;IAC7E,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3E,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,4EAA4E;IAC5E,iFAAiF;IACjF,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAiB,MAAM,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC;IACpF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAC/B,cAAc,IAAI,CAAC,CAAC,SAAS,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,kBAAkB,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC5C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO;gBAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACnG,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,IAAA,sBAAW,EAC3B,MAAM,CAAC,OAAO,EACd,cAAc,EACd,kBAAkB,EAClB,MAAM,CAAC,cAAc,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,EAC9C,QAAQ,EACR,SAAS,EACT,MAAM,CAAC,eAAe,IAAI,IAAI,EAC9B,MAAM,CAAC,gBAAgB,IAAI,CAAC,CAC7B,CAAC;IAEF,MAAM,GAAG,GAAG,IAAI,gCAAkB,CAAC,YAAY,CAAC,CAAC;IACjD,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAClB,GAAG,CAAC,eAAe,CAAC,IAAA,8BAAmB,EAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC;IAC9D,GAAG,CAAC,iBAAiB,CAAC,2BAAgB,CAAC,CAAC;IAExC,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC;IAC3C,MAAM,QAAQ,GAAW,CAAC,GAAG,OAAO,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC7D,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,GAAG,CAAC,QAAQ,CACV,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,OAAO,EAAE,EACvC,IAAI,CAAC,WAAW,EAChB,UAAU,EACV,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAChC,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAC/B,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,IAAA,uBAAY,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IACrD,CAAC;IAED,yEAAyE;IACzE,yEAAyE;IACzE,8EAA8E;IAC9E,UAAU;IACV,MAAM,cAAc,GAAG,SAAS,CAAC,eAAe,CAAC,IAAI,GAAG,CAAC,CAAC;IAC1D,MAAM,gBAAgB,GAAG,CAAC,KAAa,EAAQ,EAAE;QAC/C,IAAI,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,GAAG,CAAC,SAAS,CAAC,IAAA,gCAAqB,EAAC,IAAA,yBAAa,EAAC,MAAM,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC,EAAE,IAAA,uBAAY,EAAC,KAAK,CAAC,CAAC,CAAC;QAClH,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,aAAa,EAAE,IAAA,uBAAY,EAAC,KAAK,CAAC,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,MAAM,CAAC,cAAc,IAAI,SAAS,CAAC,KAAK,UAAU,EAAE,CAAC;QACxD,+EAA+E;QAC/E,kEAAkE;QAClE,IAAI,cAAc,EAAE,CAAC;YACnB,MAAM,WAAW,GAAG,IAAA,iCAAsB,EAAC,IAAA,wBAAY,EAAC,MAAM,CAAC,aAAa,EAAE,eAAe,CAAC,EAAE,SAAS,CAAC,eAAe,CAAC,CAAC;YAC3H,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,EAAE,IAAA,uBAAY,EAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC;QAC3E,CAAC;QACD,IAAI,SAAS,CAAC,YAAY,GAAG,EAAE;YAAE,gBAAgB,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAC5E,CAAC;SAAM,IAAI,cAAc,IAAI,SAAS,CAAC,YAAY,GAAG,EAAE,EAAE,CAAC;QACzD,uEAAuE;QACvE,IAAI,cAAc,EAAE,CAAC;YACnB,MAAM,WAAW,GAAG,IAAA,iCAAsB,EAAC,IAAA,wBAAY,EAAC,MAAM,CAAC,aAAa,EAAE,eAAe,CAAC,EAAE,SAAS,CAAC,eAAe,CAAC,CAAC;YAC3H,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,EAAE,IAAA,uBAAY,EAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC;QAC1E,CAAC;aAAM,CAAC;YACN,gBAAgB,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAE,CAAC;IAEzC,4DAA4D;IAC5D,EAAE;IACF,oEAAoE;IACpE,qEAAqE;IACrE,2EAA2E;IAC3E,gFAAgF;IAChF,6EAA6E;IAC7E,+EAA+E;IAC/E,kEAAkE;IAClE,wEAAwE;IACxE,IAAA,kCAAuB,EAAC,SAAS,CAAC,QAAQ,EAAE,kBAAkB,EAAE,SAAS,CAAC,eAAe,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACnH,4EAA4E;IAC5E,gFAAgF;IAChF,4EAA4E;IAC5E,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACvE,MAAM,WAAW,GAAG,SAAS,CAAC,GAAG,GAAG,OAAO,GAAG,aAAa,CAAC;IAC5D,IAAA,mCAAwB,EAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAE/E,6EAA6E;IAC7E,sEAAsE;IACtE,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9E,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,IAAA,+BAAoB,EAAC,UAAU,CAAC,KAAK,EAAE,EAAE,MAAM,CAAC,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;IAEpH,OAAO;QACL,QAAQ;QACR,IAAI;QACJ,GAAG,EAAE,SAAS,CAAC,GAAG;QAClB,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,eAAe,EAAE,SAAS,CAAC,eAAe;QAC1C,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,UAAU,EAAE,QAAQ,CAAC,MAAM;KAC5B,CAAC;AACJ,CAAC"}

package/dist/assemble/fundedIdentityUpdate.d.ts

@@ -0,0 +1,35 @@
+import type { Network } from '../constants/index.js';
+import type { Utxo } from '../types/index.js';
+/** One pre-built output, added before change. */
+export interface FundedUpdateOutput {
+    script: Buffer;
+    nativeSat: bigint;
+}
+export interface FundedIdentityUpdateIntent {
+    network: Network;
+    wif: string;
+    expiryHeight: number;
+    funding: Utxo[];
+    /** The identity UTXO — respent, its definition output recreated at value 0,
+     *  and re-signed last by the fork. Must carry 0 native (else it burns to fee). */
+    identityUtxo: Utxo;
+    /** Pre-built outputs (the recreated identity output, plus e.g. a currency
+     *  definition), emitted before change. Native funding is derived from them. */
+    outputs: FundedUpdateOutput[];
+    changeAddress: string;
+    /** Extra output bytes for fee sizing — the identity/definition scripts are
+     *  large, so the caller passes their real byte length. */
+    extraOutputBytes: number;
+    /** Label used in conservation error messages. */
+    label: string;
+}
+export interface FundedIdentityUpdateResult {
+    signedTx: string;
+    txid: string;
+    fee: bigint;
+    nativeChange: bigint;
+    selected: Utxo[];
+    inputsUsed: number;
+}
+export declare function assembleFundedIdentityUpdate(intent: FundedIdentityUpdateIntent): FundedIdentityUpdateResult;
+//# sourceMappingURL=fundedIdentityUpdate.d.ts.map

package/dist/assemble/fundedIdentityUpdate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fundedIdentityUpdate.d.ts","sourceRoot":"","sources":["../../src/assemble/fundedIdentityUpdate.ts"],"names":[],"mappings":"AA6BA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAI9C,iDAAiD;AACjD,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,0BAA0B;IACzC,OAAO,EAAE,OAAO,CAAC;IACjB,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,IAAI,EAAE,CAAC;IAChB;sFACkF;IAClF,YAAY,EAAE,IAAI,CAAC;IACnB;mFAC+E;IAC/E,OAAO,EAAE,kBAAkB,EAAE,CAAC;IAC9B,aAAa,EAAE,MAAM,CAAC;IACtB;8DAC0D;IAC1D,gBAAgB,EAAE,MAAM,CAAC;IACzB,iDAAiD;IACjD,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,IAAI,EAAE,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,0BAA0B,GACjC,0BAA0B,CAqH5B"}

package/dist/assemble/fundedIdentityUpdate.js

@@ -0,0 +1,114 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.assembleFundedIdentityUpdate = assembleFundedIdentityUpdate;
+/**
+ * The assembler for identity-input-respending transactions.
+ *
+ * A distinct shape from the value-output assembler (`assembler.ts`): these flows
+ * (identity update / revoke / recover / lock / unlock, and currency definition)
+ * respend the identity's own UTXO and RECREATE its definition output, which the
+ * fork must re-sign LAST via `completeFundedIdentityUpdate`. So the tx is built
+ * with the funding inputs + pre-built outputs, THEN the identity input is grafted
+ * on and the whole thing completed — the value-output assembler's leading-input
+ * model doesn't fit.
+ *
+ * Both callers previously hand-rolled this identical dance (select → build →
+ * native change → complete → dual-conservation → sign); it lived in two places
+ * and drifted. Centralising it here removes the duplication and makes the
+ * value-conservation checks postconditions of the one code path.
+ *
+ * These paths pay only native (fee + any output value) and emit no token change,
+ * so a token-bearing funding UTXO would be silently dropped — the token check
+ * fails closed if one is selected. Ported flows stay byte-identical to the
+ * Phase-0 goldens.
+ */
+const boundary_js_1 = require("../fork/boundary.js");
+const index_js_1 = require("../utxo/index.js");
+const index_js_2 = require("../signing/index.js");
+const index_js_3 = require("../utils/index.js");
+const index_js_4 = require("../constants/index.js");
+const index_js_5 = require("../identity/index.js");
+const brands_js_1 = require("../core/brands.js");
+const errors_js_1 = require("../errors.js");
+const { completeFundedIdentityUpdate } = boundary_js_1.smarttxs;
+function assembleFundedIdentityUpdate(intent) {
+    const verusNetwork = (0, index_js_2.getNetwork)(intent.network === 'testnet');
+    const systemId = index_js_4.NETWORK_CONFIG[intent.network].chainId;
+    const requiredNative = intent.outputs.reduce((sum, o) => sum + o.nativeSat, 0n);
+    const selection = (0, index_js_1.selectUtxos)(intent.funding, requiredNative, new Map(), intent.outputs.length, systemId, undefined, true, intent.extraOutputBytes);
+    // These paths emit no token-change output, so a token-bearing funding UTXO
+    // would be silently dropped; fail closed if one entered (both maps empty ⇒
+    // assert no token value is present).
+    (0, index_js_1.assertTokenConservation)(selection.selected, new Map(), new Map(), systemId, intent.label);
+    const txb = new boundary_js_1.TransactionBuilder(verusNetwork);
+    txb.setVersion(4);
+    txb.setExpiryHeight((0, index_js_2.resolveExpiryHeight)(intent.expiryHeight));
+    txb.setVersionGroupId(index_js_4.VERSION_GROUP_ID);
+    for (const utxo of selection.selected) {
+        txb.addInput(Buffer.from(utxo.txid, 'hex').reverse(), utxo.outputIndex, 0xffffffff, Buffer.from(utxo.script, 'hex'));
+    }
+    for (const o of intent.outputs) {
+        txb.addOutput(o.script, (0, index_js_3.toSafeNumber)(o.nativeSat));
+    }
+    if (selection.nativeChange > 0n) {
+        // utxo-lib's addOutput only resolves base58 R-addresses; an i-address
+        // changeAddress needs the explicit P2ID script or it throws "no matching Script".
+        if (intent.changeAddress.startsWith('i')) {
+            txb.addOutput((0, index_js_5.identityPaymentScript)((0, brands_js_1.parseIAddress)(intent.changeAddress, 'changeAddress')), (0, index_js_3.toSafeNumber)(selection.nativeChange));
+        }
+        else {
+            txb.addOutput(intent.changeAddress, (0, index_js_3.toSafeNumber)(selection.nativeChange));
+        }
+    }
+    const fundedHex = txb.buildIncomplete().toHex();
+    const prevOutScripts = selection.selected.map((u) => Buffer.from(u.script, 'hex'));
+    const idUtxo = intent.identityUtxo;
+    // The identity input is spent and its definition output recreated with value 0,
+    // so any native value on idUtxo would be silently burned to miner fee.
+    if (idUtxo.satoshis !== 0n) {
+        throw new errors_js_1.TransactionBuildError(`identityUtxo carries ${idUtxo.satoshis} native satoshis, which would be burned to miner fee ` +
+            `(the recreated identity output is value 0). Spend that value separately before this operation.`);
+    }
+    // The identity input is grafted on AFTER assertTokenConservation ran over
+    // selection.selected, so any token value it carries sits outside conservation
+    // accounting entirely and would be silently dropped. Mirrors the value-output
+    // assembler's leading-input guard: enforce the assumption this module's doc
+    // comment states rather than trusting it.
+    let idCurrencyValues;
+    try {
+        ({ currencyValues: idCurrencyValues } = (0, index_js_1.decodeUtxo)(idUtxo, systemId));
+    }
+    catch {
+        // An identity output is an EVAL_IDENTITY_PRIMARY CC that decodeUtxo does not
+        // model as a value-bearing output, so a failed decode is the NORMAL path
+        // here. A token-bearing UTXO is a reserve output (eval 8/9), which decodes
+        // cleanly and is still caught below.
+        idCurrencyValues = new Map();
+    }
+    for (const [currency, amount] of idCurrencyValues) {
+        if (currency !== systemId && amount > 0n) {
+            throw new errors_js_1.TransactionBuildError(`${intent.label}: identityUtxo carries ${amount} of ${currency}, which is outside token ` +
+                `conservation and would be burned. An identity output must not carry reserve value.`);
+        }
+    }
+    const completedHex = completeFundedIdentityUpdate(fundedHex, verusNetwork, prevOutScripts, {
+        hash: Buffer.from(idUtxo.txid, 'hex').reverse(),
+        index: idUtxo.outputIndex,
+        sequence: 0xffffffff,
+        script: Buffer.from(idUtxo.script, 'hex'),
+    });
+    const allUtxos = [...selection.selected, idUtxo];
+    // The identity input and its recreated output are both value 0, so the
+    // assembled native fee must equal selection.fee. Fail loudly on any slip.
+    (0, index_js_2.assertNativeConservation)(allUtxos, boundary_js_1.Transaction.fromHex(completedHex, verusNetwork).outs, selection.fee, intent.label);
+    const { signedTx, txid } = (0, index_js_2.signTransactionSmart)(completedHex, intent.wif, allUtxos, verusNetwork);
+    return {
+        signedTx,
+        txid,
+        fee: selection.fee,
+        nativeChange: selection.nativeChange,
+        selected: selection.selected,
+        inputsUsed: allUtxos.length,
+    };
+}
+//# sourceMappingURL=fundedIdentityUpdate.js.map

package/dist/assemble/fundedIdentityUpdate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fundedIdentityUpdate.js","sourceRoot":"","sources":["../../src/assemble/fundedIdentityUpdate.ts"],"names":[],"mappings":";;AAoEA,oEAuHC;AA3LD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,qDAAgF;AAChF,+CAAoF;AACpF,kDAAsH;AACtH,gDAAiD;AACjD,oDAAyE;AACzE,mDAA6D;AAC7D,iDAAkD;AAClD,4CAAqD;AAIrD,MAAM,EAAE,4BAA4B,EAAE,GAAG,sBAAQ,CAAC;AAoClD,SAAgB,4BAA4B,CAC1C,MAAkC;IAElC,MAAM,YAAY,GAAG,IAAA,qBAAU,EAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,yBAAc,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC;IAExD,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAEhF,MAAM,SAAS,GAAG,IAAA,sBAAW,EAC3B,MAAM,CAAC,OAAO,EACd,cAAc,EACd,IAAI,GAAG,EAAE,EACT,MAAM,CAAC,OAAO,CAAC,MAAM,EACrB,QAAQ,EACR,SAAS,EACT,IAAI,EACJ,MAAM,CAAC,gBAAgB,CACxB,CAAC;IAEF,2EAA2E;IAC3E,2EAA2E;IAC3E,qCAAqC;IACrC,IAAA,kCAAuB,EAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAE1F,MAAM,GAAG,GAAG,IAAI,gCAAkB,CAAC,YAAY,CAAC,CAAC;IACjD,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAClB,GAAG,CAAC,eAAe,CAAC,IAAA,8BAAmB,EAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC;IAC9D,GAAG,CAAC,iBAAiB,CAAC,2BAAgB,CAAC,CAAC;IAExC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;QACtC,GAAG,CAAC,QAAQ,CACV,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,OAAO,EAAE,EACvC,IAAI,CAAC,WAAW,EAChB,UAAU,EACV,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAChC,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAC/B,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,IAAA,uBAAY,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IACrD,CAAC;IAED,IAAI,SAAS,CAAC,YAAY,GAAG,EAAE,EAAE,CAAC;QAChC,sEAAsE;QACtE,kFAAkF;QAClF,IAAI,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,GAAG,CAAC,SAAS,CAAC,IAAA,gCAAqB,EAAC,IAAA,yBAAa,EAAC,MAAM,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC,EAAE,IAAA,uBAAY,EAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC;QACnI,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,aAAa,EAAE,IAAA,uBAAY,EAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,GAAG,CAAC,eAAe,EAAE,CAAC,KAAK,EAAE,CAAC;IAEhD,MAAM,cAAc,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IACnF,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC;IACnC,gFAAgF;IAChF,uEAAuE;IACvE,IAAI,MAAM,CAAC,QAAQ,KAAK,EAAE,EAAE,CAAC;QAC3B,MAAM,IAAI,iCAAqB,CAC7B,wBAAwB,MAAM,CAAC,QAAQ,uDAAuD;YAC5F,gGAAgG,CACnG,CAAC;IACJ,CAAC;IACD,0EAA0E;IAC1E,8EAA8E;IAC9E,8EAA8E;IAC9E,4EAA4E;IAC5E,0CAA0C;IAC1C,IAAI,gBAAqC,CAAC;IAC1C,IAAI,CAAC;QACH,CAAC,EAAE,cAAc,EAAE,gBAAgB,EAAE,GAAG,IAAA,qBAAU,EAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IACxE,CAAC;IAAC,MAAM,CAAC;QACP,6EAA6E;QAC7E,yEAAyE;QACzE,2EAA2E;QAC3E,qCAAqC;QACrC,gBAAgB,GAAG,IAAI,GAAG,EAAE,CAAC;IAC/B,CAAC;IACD,KAAK,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,gBAAgB,EAAE,CAAC;QAClD,IAAI,QAAQ,KAAK,QAAQ,IAAI,MAAM,GAAG,EAAE,EAAE,CAAC;YACzC,MAAM,IAAI,iCAAqB,CAC7B,GAAG,MAAM,CAAC,KAAK,0BAA0B,MAAM,OAAO,QAAQ,2BAA2B;gBACvF,oFAAoF,CACvF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,YAAY,GAAG,4BAA4B,CAC/C,SAAS,EACT,YAAY,EACZ,cAAc,EACd;QACE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,OAAO,EAAE;QAC/C,KAAK,EAAE,MAAM,CAAC,WAAW;QACzB,QAAQ,EAAE,UAAU;QACpB,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC;KAC1C,CACF,CAAC;IAEF,MAAM,QAAQ,GAAW,CAAC,GAAG,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACzD,uEAAuE;IACvE,0EAA0E;IAC1E,IAAA,mCAAwB,EACtB,QAAQ,EACR,yBAAW,CAAC,OAAO,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC,IAAI,EACpD,SAAS,CAAC,GAAG,EACb,MAAM,CAAC,KAAK,CACb,CAAC;IAEF,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,IAAA,+BAAoB,EAAC,YAAY,EAAE,MAAM,CAAC,GAAG,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;IAElG,OAAO;QACL,QAAQ;QACR,IAAI;QACJ,GAAG,EAAE,SAAS,CAAC,GAAG;QAClB,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,UAAU,EAAE,QAAQ,CAAC,MAAM;KAC5B,CAAC;AACJ,CAAC"}