@bsv/dpp-core 0.3.0-beta.7 → 0.3.0-beta.8

package/README.md

@@ -2,7 +2,7 @@
 
 **Experimental prerelease:** For implementation and interoperability testing. APIs may change significantly before a stable release. Pin exact package versions and retain your lockfile. This package is not declared production-ready. Package versions are separate from the specification, wire-format and frozen profile versions they implement.
 
-The DPP standard's reference implementation for record versions 1 and 2, the
+The DPP standard's reference implementation for record versions 1, 2 and 3, the
 attestation rail and the verification report, and the only place in this
 repository the standard's rules are implemented. Everything else in the
 reference implementation imports it: the overlay topic manager admits outputs
@@ -21,7 +21,7 @@ rather than rewritten.
 This is a pre-1.0 candidate. Install the exact published versions from npm:
 
 ```sh
-npm install --save-exact @bsv/dpp-core@0.3.0-beta.7 @bsv/sdk@2.8.10
+npm install --save-exact @bsv/dpp-core@0.3.0-beta.8 @bsv/sdk@2.8.10
 ```
 
 Node >=22 and ECMAScript modules are supported. Browser use of the runtime is untested. No source checkout or build of this package is needed after installation.
@@ -56,9 +56,10 @@ specifier anything needs:
 
 | Module | What it owns |
 |---|---|
-| `codec.ts` | The 14-field version 1 layout and the 17-field version 2 layout, selected by field count: encode and decode per `spec/record-model.md` §3 and `spec/record-model-v2.md` §3 |
-| `signatures.ts` | The canonical signature preimages: unframed for version 1 (§5), framed and domain-tagged for version 2 (`record-model-v2.md` §5) |
-| `transition.ts` | Which operation may change what, state by state, for both versions: the version 2 control proof, the terminal `RETIRE` and the single upgrade transition |
+| `codec.ts` | The 14-field version 1 layout and the 17-field version 2 layout, selected by field count: encode and decode per `spec/record-model.md` §3 and `spec/record-model-v2.md` §3; and the version 3 token prefix of `spec/token-carrier.md` §2 and §3, read and built with the body: `parseDppOutput` returns the `carrier` of a carried state beside the state and the locking key, and `buildLockingScript` derives the prefix from the state or takes one as its optional third argument |
+| `signatures.ts` | The canonical signature preimages: unframed for version 1 (§5), framed and domain-tagged for version 2 (`record-model-v2.md` §5), the same framing under the version 3 tags and `[1, 'dpp token v3']` for a carried state (`token-carrier.md` §4) |
+| `transition.ts` | Which operation may change what, state by state, for every version: the version 2 control proof, the terminal `RETIRE`, the single upgrade transition, and for version 3 a carried state behind a carried state only |
+| `carrier.ts` | The carrier invariants of `spec/token-carrier.md` §6 that need the transaction and the lineage: `checkCarrier` holds the prefix's role to the state's position and its token id to the lineage genesis, and `tokenIdOf` gives a lineage's token id in display form, `<deploy txid>_0` |
 | `owner.ts` | The owner and controller key, the linkage scalar, the owner-signed transfer of version 1 and the control proof of version 2 |
 | `acceptance.ts` | The managed acceptance record `dpp-managed-acceptance@1` (`spec/managed-custody.md` §3): inspect, sign, commit and bind to the `TRANSFER` |
 | `verifyChain.ts` | Chain verification from genesis, including SPV inclusion; `inspectChain` is the same loop reported finding by finding |

package/dist/acceptance.d.ts

@@ -1,5 +1,5 @@
 import { MANAGED_CUSTODY_PROFILE } from './constants.js';
-import type { DppStateV2, Outpoint } from './types.js';
+import type { Outpoint, SeventeenFieldState } from './types.js';
 /**
  * The managed acceptance record (`spec/managed-custody.md` §3): the evidence a
  * custodian retains that the current holder offered a transfer and the
@@ -94,7 +94,7 @@ export declare function inspectManagedAcceptance(value: unknown, options?: {
  * destination the recipient accepted, the holder who offered as the actor,
  * and the record's own commitment in field 15. Every mismatch is named.
  */
-export declare function bindAcceptanceToState(record: ManagedAcceptanceRecord, state: DppStateV2): AcceptanceFailure[];
+export declare function bindAcceptanceToState(record: ManagedAcceptanceRecord, state: SeventeenFieldState): AcceptanceFailure[];
 /** Sign a claim as the custodian. The signer's key must be `claim.custodian`; the result is checked before it is returned. */
 export declare function signManagedAcceptance(claim: ManagedAcceptanceClaim, signer: AcceptanceSigner): Promise<ManagedAcceptanceRecord>;
 //# sourceMappingURL=acceptance.d.ts.map

package/dist/acceptance.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"acceptance.d.ts","sourceRoot":"","sources":["../src/acceptance.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAA;AACxD,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAEtD;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,eAAO,MAAM,yBAAyB,EAAG,0BAAmC,CAAA;AAC5E,OAAO,EAAE,uBAAuB,EAAE,CAAA;AAElC,MAAM,MAAM,cAAc,GAAG,YAAY,GAAG,iBAAiB,CAAA;AAE7D,MAAM,WAAW,sBAAsB;IACrC,gBAAgB,EAAE,OAAO,yBAAyB,CAAA;IAClD,+EAA+E;IAC/E,SAAS,EAAE,MAAM,CAAA;IACjB,UAAU,EAAE,MAAM,CAAA;IAClB,cAAc,EAAE,QAAQ,CAAA;IACxB,gFAAgF;IAChF,mBAAmB,EAAE,QAAQ,CAAA;IAC7B,kLAAkL;IAClL,WAAW,EAAE,MAAM,CAAA;IACnB,KAAK,EAAE;QACL,wFAAwF;QACxF,iBAAiB,EAAE,MAAM,CAAA;QACzB,SAAS,EAAE,MAAM,CAAA;QACjB,SAAS,EAAE,MAAM,CAAA;QACjB,SAAS,EAAE,cAAc,CAAA;QACzB,mJAAmJ;QACnJ,YAAY,CAAC,EAAE,MAAM,CAAA;KACtB,CAAA;IACD,UAAU,EAAE;QACV,8EAA8E;QAC9E,oBAAoB,EAAE,MAAM,CAAA;QAC5B,iFAAiF;QACjF,cAAc,EAAE,MAAM,CAAA;QACtB,UAAU,EAAE,MAAM,CAAA;QAClB,kHAAkH;QAClH,YAAY,EAAE,oBAAoB,CAAA;KACnC,CAAA;IACD,4EAA4E;IAC5E,SAAS,EAAE,MAAM,CAAA;CAClB;AAED,MAAM,WAAW,uBAAwB,SAAQ,sBAAsB;IACrE,wGAAwG;IACxG,SAAS,EAAE,MAAM,CAAA;CAClB;AAED,MAAM,WAAW,gBAAgB;IAC/B,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAA;CACvD;AAQD,MAAM,MAAM,uBAAuB,GAC/B,QAAQ,GACR,YAAY,GACZ,mBAAmB,GACnB,sBAAsB,GACtB,gBAAgB,CAAA;AAEpB,MAAM,WAAW,iBAAiB;IAAG,MAAM,EAAE,uBAAuB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AAEtF,MAAM,WAAW,oBAAoB;IACnC,wEAAwE;IACxE,cAAc,EAAE,OAAO,CAAA;IACvB,+GAA+G;IAC/G,cAAc,EAAE,OAAO,GAAG,IAAI,CAAA;IAC9B,kIAAkI;IAClI,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,QAAQ,EAAE,iBAAiB,EAAE,CAAA;CAC9B;AAUD,+FAA+F;AAC/F,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,sBAAsB,GAAG,uBAAuB,GAAG,MAAM,EAAE,CAG3G;AAED,4GAA4G;AAC5G,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,uBAAuB,GAAG,MAAM,CAE5E;AA6DD;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,GAAE;IAAE,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAAO,GAAG,oBAAoB,CAoB/H;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,uBAAuB,EAAE,KAAK,EAAE,UAAU,GAAG,iBAAiB,EAAE,CAY7G;AAED,8HAA8H;AAC9H,wBAAsB,qBAAqB,CAAC,KAAK,EAAE,sBAAsB,EAAE,MAAM,EAAE,gBAAgB,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAWrI"}
+{"version":3,"file":"acceptance.d.ts","sourceRoot":"","sources":["../src/acceptance.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AAE/D;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,eAAO,MAAM,yBAAyB,EAAG,0BAAmC,CAAA;AAC5E,OAAO,EAAE,uBAAuB,EAAE,CAAA;AAElC,MAAM,MAAM,cAAc,GAAG,YAAY,GAAG,iBAAiB,CAAA;AAE7D,MAAM,WAAW,sBAAsB;IACrC,gBAAgB,EAAE,OAAO,yBAAyB,CAAA;IAClD,+EAA+E;IAC/E,SAAS,EAAE,MAAM,CAAA;IACjB,UAAU,EAAE,MAAM,CAAA;IAClB,cAAc,EAAE,QAAQ,CAAA;IACxB,gFAAgF;IAChF,mBAAmB,EAAE,QAAQ,CAAA;IAC7B,kLAAkL;IAClL,WAAW,EAAE,MAAM,CAAA;IACnB,KAAK,EAAE;QACL,wFAAwF;QACxF,iBAAiB,EAAE,MAAM,CAAA;QACzB,SAAS,EAAE,MAAM,CAAA;QACjB,SAAS,EAAE,MAAM,CAAA;QACjB,SAAS,EAAE,cAAc,CAAA;QACzB,mJAAmJ;QACnJ,YAAY,CAAC,EAAE,MAAM,CAAA;KACtB,CAAA;IACD,UAAU,EAAE;QACV,8EAA8E;QAC9E,oBAAoB,EAAE,MAAM,CAAA;QAC5B,iFAAiF;QACjF,cAAc,EAAE,MAAM,CAAA;QACtB,UAAU,EAAE,MAAM,CAAA;QAClB,kHAAkH;QAClH,YAAY,EAAE,oBAAoB,CAAA;KACnC,CAAA;IACD,4EAA4E;IAC5E,SAAS,EAAE,MAAM,CAAA;CAClB;AAED,MAAM,WAAW,uBAAwB,SAAQ,sBAAsB;IACrE,wGAAwG;IACxG,SAAS,EAAE,MAAM,CAAA;CAClB;AAED,MAAM,WAAW,gBAAgB;IAC/B,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,CAAA;CACvD;AAQD,MAAM,MAAM,uBAAuB,GAC/B,QAAQ,GACR,YAAY,GACZ,mBAAmB,GACnB,sBAAsB,GACtB,gBAAgB,CAAA;AAEpB,MAAM,WAAW,iBAAiB;IAAG,MAAM,EAAE,uBAAuB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AAEtF,MAAM,WAAW,oBAAoB;IACnC,wEAAwE;IACxE,cAAc,EAAE,OAAO,CAAA;IACvB,+GAA+G;IAC/G,cAAc,EAAE,OAAO,GAAG,IAAI,CAAA;IAC9B,kIAAkI;IAClI,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,QAAQ,EAAE,iBAAiB,EAAE,CAAA;CAC9B;AAUD,+FAA+F;AAC/F,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,sBAAsB,GAAG,uBAAuB,GAAG,MAAM,EAAE,CAG3G;AAED,4GAA4G;AAC5G,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,uBAAuB,GAAG,MAAM,CAE5E;AA6DD;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,GAAE;IAAE,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAAO,GAAG,oBAAoB,CAoB/H;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,uBAAuB,EAAE,KAAK,EAAE,mBAAmB,GAAG,iBAAiB,EAAE,CAYtH;AAED,8HAA8H;AAC9H,wBAAsB,qBAAqB,CAAC,KAAK,EAAE,sBAAsB,EAAE,MAAM,EAAE,gBAAgB,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAWrI"}

package/dist/acceptance.js.map

@@ -1 +1 @@
-{"version":3,"file":"acceptance.js","sourceRoot":"","sources":["../src/acceptance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,UAAU,CAAA;AAC5D,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAA;AAGxD;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,0BAAmC,CAAA;AAC5E,OAAO,EAAE,uBAAuB,EAAE,CAAA;AA6ClC,MAAM,GAAG,GAAG,qBAAqB,CAAA;AACjC,MAAM,KAAK,GAAG,gBAAgB,CAAA;AAC9B,MAAM,IAAI,GAAG,kEAAkE,CAAA;AAC/E,MAAM,OAAO,GAAG,+BAA+B,CAAA;AAC/C,MAAM,cAAc,GAAG,GAAG,CAAA;AAqB1B,MAAM,IAAI,GAAG,CAAC,KAAc,EAAE,OAAe,EAAmB,EAAE,CAChE,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAEzH,MAAM,UAAU,GAAG,CAAC,KAAc,EAAqB,EAAE,CACvD,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,CAAE,KAAkB,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,MAAM,CAAC,SAAS,CAAE,KAAkB,CAAC,WAAW,CAAC,IAAK,KAAkB,CAAC,WAAW,IAAI,CAAC,CAAA;AAExL,MAAM,OAAO,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;AAE5D,+FAA+F;AAC/F,MAAM,UAAU,yBAAyB,CAAC,KAAuD;IAC/F,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,QAAQ,EAAE,GAAG,KAAgC,CAAA;IAC/E,OAAO,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAA;AACvD,CAAC;AAED,4GAA4G;AAC5G,MAAM,UAAU,oBAAoB,CAAC,MAA+B;IAClE,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;AAC/E,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,QAA6B;IAC9D,MAAM,IAAI,GAAG,CAAC,MAA+B,EAAE,MAAc,EAAQ,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA,CAAC,CAAC,CAAA;IAC7G,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,IAAI,CAAC,QAAQ,EAAE,8BAA8B,CAAC,CAAA;QAC9C,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,CAAC,GAAG,KAAgC,CAAA;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,kBAAkB,EAAE,WAAW,EAAE,YAAY,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,aAAa,EAAE,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAA;IACjL,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,wBAAwB,GAAG,EAAE,CAAC,CAAA;IACtG,IAAI,CAAC,CAAC,gBAAgB,KAAK,yBAAyB;QAAE,IAAI,CAAC,QAAQ,EAAE,2BAA2B,yBAAyB,EAAE,CAAC,CAAA;IAC5H,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,cAAc,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,+CAA+C,cAAc,QAAQ,CAAC,CAAA;IAC7H,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,wDAAwD,CAAC,CAAA;IACtG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,oCAAoC,CAAC,CAAA;IACvF,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,mBAAmB,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,yCAAyC,CAAC,CAAA;IACjG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,iDAAiD,CAAC,CAAA;IAC/G,MAAM,KAAK,GAAG,CAAC,CAAC,KAA4C,CAAA;IAC5D,IAAI,KAAK,IAAI,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,yBAAyB,CAAC,CAAA;SAC5G,CAAC;QACJ,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,IAAI,CAAC,CAAC,mBAAmB,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,QAAQ,EAAE,8BAA8B,GAAG,EAAE,CAAC,CAAA;QAC1L,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,yDAAyD,CAAC,CAAA;QAC/H,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,0DAA0D,CAAC,CAAA;QAC/K,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,0DAA0D,CAAC,CAAA;QAC/K,IAAI,KAAK,CAAC,SAAS,KAAK,YAAY,IAAI,KAAK,CAAC,SAAS,KAAK,iBAAiB;YAAE,IAAI,CAAC,QAAQ,EAAE,uDAAuD,CAAC,CAAA;QACtJ,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,SAAS,KAAK,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5J,IAAI,CAAC,QAAQ,EAAE,iGAAiG,CAAC,CAAA;QACnH,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,CAAC,UAAiD,CAAA;IACtE,IAAI,UAAU,IAAI,IAAI,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,8BAA8B,CAAC,CAAA;SAChI,CAAC;QACJ,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,IAAI,CAAC,CAAC,sBAAsB,EAAE,gBAAgB,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,QAAQ,EAAE,mCAAmC,GAAG,EAAE,CAAC,CAAA;QAChM,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,iEAAiE,CAAC,CAAA;QAC/I,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,2DAA2D,CAAC,CAAA;QACnI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,gEAAgE,CAAC,CAAA;QACjM,IAAI,UAAU,CAAC,YAAY,KAAK,oBAAoB;YAAE,IAAI,CAAC,QAAQ,EAAE,oDAAoD,CAAC,CAAA;IAC5H,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,2CAA2C,CAAC,CAAA;IACrG,IAAI,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,qCAAqC,CAAC,CAAA;SACrI,CAAC;QACJ,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;YACjD,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAc,CAAC,KAAK,CAAC,CAAC,SAAS;gBAAE,IAAI,CAAC,QAAQ,EAAE,kCAAkC,CAAC,CAAA;QAC9G,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,CAAC,QAAQ,EAAE,sBAAsB,CAAC,CAAA;QACxC,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAA;IACrC,MAAM,MAAM,GAAG,KAAgC,CAAA;IAC/C,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;IAC/C,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;IACtD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;IAC/C,IAAI,CAAC,CAAC,OAAO,IAAI,QAAQ,CAAC;QAAE,IAAI,CAAC,YAAY,EAAE,+BAA+B,CAAC,CAAA;IAC/E,IAAI,CAAC,CAAC,QAAQ,IAAI,OAAO,CAAC;QAAE,IAAI,CAAC,YAAY,EAAE,sDAAsD,CAAC,CAAA;IACtG,IAAI,MAAM,CAAC,KAAK,CAAC,SAAS,KAAK,iBAAiB,IAAI,MAAM,CAAC,KAAK,CAAC,YAAY,IAAI,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,YAAY,KAAK,MAAM,CAAC,UAAU,CAAC,oBAAoB,EAAE,CAAC;QAC9J,IAAI,CAAC,gBAAgB,EAAE,mDAAmD,CAAC,CAAA;IAC7E,CAAC;IACD,OAAO,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAA;AAC9B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAAc,EAAE,OAAO,GAAuC,EAAE;IACvG,MAAM,QAAQ,GAAwB,EAAE,CAAA;IACxC,MAAM,cAAc,GAAG,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;IACjD,IAAI,CAAC,cAAc;QAAE,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAC9E,MAAM,MAAM,GAAG,KAAgC,CAAA;IAC/C,IAAI,cAAc,GAAmB,IAAI,CAAA;IACzC,IAAI,UAA8B,CAAA;IAClC,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAA;QAClD,cAAc,GAAG,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;QACnI,UAAU,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAA;IAC3C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,cAAc,GAAG,KAAK,YAAY,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAA;QACnE,IAAI,cAAc,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,kCAAkC,EAAE,CAAC,CAAA;IACvJ,CAAC;IACD,IAAI,cAAc,KAAK,KAAK;QAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,mBAAmB,EAAE,MAAM,EAAE,iDAAiD,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;IACzJ,IAAI,OAAO,CAAC,UAAU,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;QACjF,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,sBAAsB,EAAE,MAAM,EAAE,aAAa,MAAM,CAAC,SAAS,oCAAoC,EAAE,CAAC,CAAA;IAC9H,CAAC;IACD,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,GAAG,CAAC,UAAU,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAA;AACpG,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAA+B,EAAE,KAAiB;IACtF,MAAM,QAAQ,GAAwB,EAAE,CAAA;IACxC,MAAM,IAAI,GAAG,CAAC,MAAc,EAAQ,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,CAAA,CAAC,CAAC,CAAA;IAC9F,IAAI,KAAK,CAAC,EAAE,KAAK,UAAU;QAAE,IAAI,CAAC,kBAAkB,KAAK,CAAC,EAAE,kBAAkB,CAAC,CAAA;IAC/E,IAAI,KAAK,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU;QAAE,IAAI,CAAC,kCAAkC,CAAC,CAAA;IACpF,IAAI,KAAK,CAAC,cAAc,IAAI,IAAI,IAAI,KAAK,CAAC,cAAc,CAAC,IAAI,KAAK,MAAM,CAAC,cAAc,CAAC,IAAI,IAAI,KAAK,CAAC,cAAc,CAAC,WAAW,KAAK,MAAM,CAAC,cAAc,CAAC,WAAW;QAAE,IAAI,CAAC,iCAAiC,CAAC,CAAA;IAC/M,IAAI,KAAK,CAAC,YAAY,KAAK,MAAM,CAAC,mBAAmB,CAAC,IAAI,IAAI,KAAK,CAAC,mBAAmB,KAAK,MAAM,CAAC,mBAAmB,CAAC,WAAW;QAAE,IAAI,CAAC,2DAA2D,CAAC,CAAA;IACrM,IAAI,KAAK,CAAC,gBAAgB,KAAK,MAAM,CAAC,UAAU,CAAC,cAAc;QAAE,IAAI,CAAC,sEAAsE,CAAC,CAAA;IAC7I,IAAI,KAAK,CAAC,gBAAgB,KAAK,MAAM,CAAC,KAAK,CAAC,iBAAiB;QAAE,IAAI,CAAC,kEAAkE,CAAC,CAAA;IACvI,IAAI,KAAK,CAAC,uBAAuB,KAAK,oBAAoB,CAAC,MAAM,CAAC;QAAE,IAAI,CAAC,0CAA0C,CAAC,CAAA;IACpH,IAAI,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC;QAAE,IAAI,CAAC,4DAA4D,CAAC,CAAA;IACxI,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,8HAA8H;AAC9H,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,KAA6B,EAAE,MAAwB;IACjG,MAAM,QAAQ,GAAwB,EAAE,CAAA;IACxC,+GAA+G;IAC/G,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,kBAAkB,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CAAC,yCAAyC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACtG,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC,CAAA;IAC/D,MAAM,MAAM,GAA4B,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAA;IACjF,MAAM,UAAU,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAA;IACnD,IAAI,UAAU,CAAC,cAAc,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAA;IACtH,OAAO,MAAM,CAAA;AACf,CAAC"}
+{"version":3,"file":"acceptance.js","sourceRoot":"","sources":["../src/acceptance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,UAAU,CAAA;AAC5D,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAA;AAGxD;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,0BAAmC,CAAA;AAC5E,OAAO,EAAE,uBAAuB,EAAE,CAAA;AA6ClC,MAAM,GAAG,GAAG,qBAAqB,CAAA;AACjC,MAAM,KAAK,GAAG,gBAAgB,CAAA;AAC9B,MAAM,IAAI,GAAG,kEAAkE,CAAA;AAC/E,MAAM,OAAO,GAAG,+BAA+B,CAAA;AAC/C,MAAM,cAAc,GAAG,GAAG,CAAA;AAqB1B,MAAM,IAAI,GAAG,CAAC,KAAc,EAAE,OAAe,EAAmB,EAAE,CAChE,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAEzH,MAAM,UAAU,GAAG,CAAC,KAAc,EAAqB,EAAE,CACvD,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,CAAE,KAAkB,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,MAAM,CAAC,SAAS,CAAE,KAAkB,CAAC,WAAW,CAAC,IAAK,KAAkB,CAAC,WAAW,IAAI,CAAC,CAAA;AAExL,MAAM,OAAO,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;AAE5D,+FAA+F;AAC/F,MAAM,UAAU,yBAAyB,CAAC,KAAuD;IAC/F,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,QAAQ,EAAE,GAAG,KAAgC,CAAA;IAC/E,OAAO,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAA;AACvD,CAAC;AAED,4GAA4G;AAC5G,MAAM,UAAU,oBAAoB,CAAC,MAA+B;IAClE,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;AAC/E,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,QAA6B;IAC9D,MAAM,IAAI,GAAG,CAAC,MAA+B,EAAE,MAAc,EAAQ,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA,CAAC,CAAC,CAAA;IAC7G,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,IAAI,CAAC,QAAQ,EAAE,8BAA8B,CAAC,CAAA;QAC9C,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,CAAC,GAAG,KAAgC,CAAA;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,kBAAkB,EAAE,WAAW,EAAE,YAAY,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,aAAa,EAAE,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAA;IACjL,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,wBAAwB,GAAG,EAAE,CAAC,CAAA;IACtG,IAAI,CAAC,CAAC,gBAAgB,KAAK,yBAAyB;QAAE,IAAI,CAAC,QAAQ,EAAE,2BAA2B,yBAAyB,EAAE,CAAC,CAAA;IAC5H,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,cAAc,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,+CAA+C,cAAc,QAAQ,CAAC,CAAA;IAC7H,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,wDAAwD,CAAC,CAAA;IACtG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,oCAAoC,CAAC,CAAA;IACvF,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,mBAAmB,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,yCAAyC,CAAC,CAAA;IACjG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,iDAAiD,CAAC,CAAA;IAC/G,MAAM,KAAK,GAAG,CAAC,CAAC,KAA4C,CAAA;IAC5D,IAAI,KAAK,IAAI,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,yBAAyB,CAAC,CAAA;SAC5G,CAAC;QACJ,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,IAAI,CAAC,CAAC,mBAAmB,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,QAAQ,EAAE,8BAA8B,GAAG,EAAE,CAAC,CAAA;QAC1L,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,yDAAyD,CAAC,CAAA;QAC/H,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,0DAA0D,CAAC,CAAA;QAC/K,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,0DAA0D,CAAC,CAAA;QAC/K,IAAI,KAAK,CAAC,SAAS,KAAK,YAAY,IAAI,KAAK,CAAC,SAAS,KAAK,iBAAiB;YAAE,IAAI,CAAC,QAAQ,EAAE,uDAAuD,CAAC,CAAA;QACtJ,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,SAAS,KAAK,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5J,IAAI,CAAC,QAAQ,EAAE,iGAAiG,CAAC,CAAA;QACnH,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,CAAC,UAAiD,CAAA;IACtE,IAAI,UAAU,IAAI,IAAI,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,8BAA8B,CAAC,CAAA;SAChI,CAAC;QACJ,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,IAAI,CAAC,CAAC,sBAAsB,EAAE,gBAAgB,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,QAAQ,EAAE,mCAAmC,GAAG,EAAE,CAAC,CAAA;QAChM,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,iEAAiE,CAAC,CAAA;QAC/I,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,2DAA2D,CAAC,CAAA;QACnI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,gEAAgE,CAAC,CAAA;QACjM,IAAI,UAAU,CAAC,YAAY,KAAK,oBAAoB;YAAE,IAAI,CAAC,QAAQ,EAAE,oDAAoD,CAAC,CAAA;IAC5H,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,2CAA2C,CAAC,CAAA;IACrG,IAAI,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,qCAAqC,CAAC,CAAA;SACrI,CAAC;QACJ,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;YACjD,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAc,CAAC,KAAK,CAAC,CAAC,SAAS;gBAAE,IAAI,CAAC,QAAQ,EAAE,kCAAkC,CAAC,CAAA;QAC9G,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,CAAC,QAAQ,EAAE,sBAAsB,CAAC,CAAA;QACxC,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAA;IACrC,MAAM,MAAM,GAAG,KAAgC,CAAA;IAC/C,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;IAC/C,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;IACtD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;IAC/C,IAAI,CAAC,CAAC,OAAO,IAAI,QAAQ,CAAC;QAAE,IAAI,CAAC,YAAY,EAAE,+BAA+B,CAAC,CAAA;IAC/E,IAAI,CAAC,CAAC,QAAQ,IAAI,OAAO,CAAC;QAAE,IAAI,CAAC,YAAY,EAAE,sDAAsD,CAAC,CAAA;IACtG,IAAI,MAAM,CAAC,KAAK,CAAC,SAAS,KAAK,iBAAiB,IAAI,MAAM,CAAC,KAAK,CAAC,YAAY,IAAI,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,YAAY,KAAK,MAAM,CAAC,UAAU,CAAC,oBAAoB,EAAE,CAAC;QAC9J,IAAI,CAAC,gBAAgB,EAAE,mDAAmD,CAAC,CAAA;IAC7E,CAAC;IACD,OAAO,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAA;AAC9B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAAc,EAAE,OAAO,GAAuC,EAAE;IACvG,MAAM,QAAQ,GAAwB,EAAE,CAAA;IACxC,MAAM,cAAc,GAAG,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;IACjD,IAAI,CAAC,cAAc;QAAE,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAC9E,MAAM,MAAM,GAAG,KAAgC,CAAA;IAC/C,IAAI,cAAc,GAAmB,IAAI,CAAA;IACzC,IAAI,UAA8B,CAAA;IAClC,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAA;QAClD,cAAc,GAAG,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;QACnI,UAAU,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAA;IAC3C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,cAAc,GAAG,KAAK,YAAY,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAA;QACnE,IAAI,cAAc,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,kCAAkC,EAAE,CAAC,CAAA;IACvJ,CAAC;IACD,IAAI,cAAc,KAAK,KAAK;QAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,mBAAmB,EAAE,MAAM,EAAE,iDAAiD,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;IACzJ,IAAI,OAAO,CAAC,UAAU,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;QACjF,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,sBAAsB,EAAE,MAAM,EAAE,aAAa,MAAM,CAAC,SAAS,oCAAoC,EAAE,CAAC,CAAA;IAC9H,CAAC;IACD,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,GAAG,CAAC,UAAU,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAA;AACpG,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAA+B,EAAE,KAA0B;IAC/F,MAAM,QAAQ,GAAwB,EAAE,CAAA;IACxC,MAAM,IAAI,GAAG,CAAC,MAAc,EAAQ,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,CAAA,CAAC,CAAC,CAAA;IAC9F,IAAI,KAAK,CAAC,EAAE,KAAK,UAAU;QAAE,IAAI,CAAC,kBAAkB,KAAK,CAAC,EAAE,kBAAkB,CAAC,CAAA;IAC/E,IAAI,KAAK,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU;QAAE,IAAI,CAAC,kCAAkC,CAAC,CAAA;IACpF,IAAI,KAAK,CAAC,cAAc,IAAI,IAAI,IAAI,KAAK,CAAC,cAAc,CAAC,IAAI,KAAK,MAAM,CAAC,cAAc,CAAC,IAAI,IAAI,KAAK,CAAC,cAAc,CAAC,WAAW,KAAK,MAAM,CAAC,cAAc,CAAC,WAAW;QAAE,IAAI,CAAC,iCAAiC,CAAC,CAAA;IAC/M,IAAI,KAAK,CAAC,YAAY,KAAK,MAAM,CAAC,mBAAmB,CAAC,IAAI,IAAI,KAAK,CAAC,mBAAmB,KAAK,MAAM,CAAC,mBAAmB,CAAC,WAAW;QAAE,IAAI,CAAC,2DAA2D,CAAC,CAAA;IACrM,IAAI,KAAK,CAAC,gBAAgB,KAAK,MAAM,CAAC,UAAU,CAAC,cAAc;QAAE,IAAI,CAAC,sEAAsE,CAAC,CAAA;IAC7I,IAAI,KAAK,CAAC,gBAAgB,KAAK,MAAM,CAAC,KAAK,CAAC,iBAAiB;QAAE,IAAI,CAAC,kEAAkE,CAAC,CAAA;IACvI,IAAI,KAAK,CAAC,uBAAuB,KAAK,oBAAoB,CAAC,MAAM,CAAC;QAAE,IAAI,CAAC,0CAA0C,CAAC,CAAA;IACpH,IAAI,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC;QAAE,IAAI,CAAC,4DAA4D,CAAC,CAAA;IACxI,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,8HAA8H;AAC9H,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,KAA6B,EAAE,MAAwB;IACjG,MAAM,QAAQ,GAAwB,EAAE,CAAA;IACxC,+GAA+G;IAC/G,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,kBAAkB,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CAAC,yCAAyC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACtG,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC,CAAA;IAC/D,MAAM,MAAM,GAA4B,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAA;IACjF,MAAM,UAAU,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAA;IACnD,IAAI,UAAU,CAAC,cAAc,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAA;IACtH,OAAO,MAAM,CAAA;AACf,CAAC"}

package/dist/carrier.d.ts

@@ -0,0 +1,27 @@
+import type { CarrierPrefix, Outpoint } from './types.js';
+/**
+ * The carrier invariants (`spec/token-carrier.md` §6) that need the
+ * transaction and the lineage rather than the body alone: which role the
+ * prefix claims against which position the state holds, and which token the
+ * prefix names against the lineage's genesis. The codec has already held the
+ * prefix to its shape (the 32-byte id, the one-unit amount, no payload); the
+ * body rules run after these, under `checkTransition`. Returns null when the
+ * state passes, otherwise the reason; the fixtures pin these strings.
+ */
+export declare const CARRIER_REFUSALS: {
+    readonly genesisNotAtOutputZero: 'a genesis is a deploy at output 0';
+    readonly genesisCarriesTokenId: 'a genesis carries an empty token id';
+    readonly stateNotValue: 'a state after genesis carries the lineage token id';
+    readonly tokenIdMismatch: 'the token id names the lineage genesis';
+    readonly genesisUnknown: 'the token id cannot be checked without the chain genesis';
+};
+/** Where a carried state sits: whether it is the genesis, which output it is, and the lineage genesis when known. */
+export interface CarrierPosition {
+    genesis: boolean;
+    outputIndex: number;
+    lineageGenesis?: Outpoint;
+}
+export declare function checkCarrier(carrier: CarrierPrefix, position: CarrierPosition): string | null;
+/** The display form of a lineage's token id: the deploy txid and the implied index (`spec/token-carrier.md` §3). */
+export declare function tokenIdOf(lineageGenesis: Outpoint): string;
+//# sourceMappingURL=carrier.d.ts.map

package/dist/carrier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"carrier.d.ts","sourceRoot":"","sources":["../src/carrier.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAEzD;;;;;;;;GAQG;AACH,eAAO,MAAM,gBAAgB;aAC3B,sBAAsB,EAAE,mCAAmC;aAC3D,qBAAqB,EAAE,qCAAqC;aAC5D,aAAa,EAAE,oDAAoD;aACnE,eAAe,EAAE,wCAAwC;aACzD,cAAc,EAAE,0DAA0D;CAClE,CAAA;AAEV,qHAAqH;AACrH,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,OAAO,CAAA;IAChB,WAAW,EAAE,MAAM,CAAA;IACnB,cAAc,CAAC,EAAE,QAAQ,CAAA;CAC1B;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,eAAe,GAAG,MAAM,GAAG,IAAI,CAY7F;AAED,oHAAoH;AACpH,wBAAgB,SAAS,CAAC,cAAc,EAAE,QAAQ,GAAG,MAAM,CAE1D"}

package/dist/carrier.js

@@ -0,0 +1,39 @@
+import { CARRIER_DEPLOY_OUTPUT_INDEX } from './constants.js';
+/**
+ * The carrier invariants (`spec/token-carrier.md` §6) that need the
+ * transaction and the lineage rather than the body alone: which role the
+ * prefix claims against which position the state holds, and which token the
+ * prefix names against the lineage's genesis. The codec has already held the
+ * prefix to its shape (the 32-byte id, the one-unit amount, no payload); the
+ * body rules run after these, under `checkTransition`. Returns null when the
+ * state passes, otherwise the reason; the fixtures pin these strings.
+ */
+export const CARRIER_REFUSALS = {
+    genesisNotAtOutputZero: 'a genesis is a deploy at output 0',
+    genesisCarriesTokenId: 'a genesis carries an empty token id',
+    stateNotValue: 'a state after genesis carries the lineage token id',
+    tokenIdMismatch: 'the token id names the lineage genesis',
+    genesisUnknown: 'the token id cannot be checked without the chain genesis',
+};
+export function checkCarrier(carrier, position) {
+    if (position.genesis) {
+        if (carrier.role !== 'deploy')
+            return CARRIER_REFUSALS.genesisCarriesTokenId;
+        if (position.outputIndex !== CARRIER_DEPLOY_OUTPUT_INDEX)
+            return CARRIER_REFUSALS.genesisNotAtOutputZero;
+        return null;
+    }
+    if (carrier.role !== 'value' || carrier.tokenId == null)
+        return CARRIER_REFUSALS.stateNotValue;
+    if (position.lineageGenesis == null)
+        return CARRIER_REFUSALS.genesisUnknown;
+    if (position.lineageGenesis.outputIndex !== CARRIER_DEPLOY_OUTPUT_INDEX || carrier.tokenId !== position.lineageGenesis.txid) {
+        return CARRIER_REFUSALS.tokenIdMismatch;
+    }
+    return null;
+}
+/** The display form of a lineage's token id: the deploy txid and the implied index (`spec/token-carrier.md` §3). */
+export function tokenIdOf(lineageGenesis) {
+    return `${lineageGenesis.txid}_${CARRIER_DEPLOY_OUTPUT_INDEX}`;
+}
+//# sourceMappingURL=carrier.js.map

package/dist/carrier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"carrier.js","sourceRoot":"","sources":["../src/carrier.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,2BAA2B,EAAE,MAAM,gBAAgB,CAAA;AAG5D;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,sBAAsB,EAAE,mCAAmC;IAC3D,qBAAqB,EAAE,qCAAqC;IAC5D,aAAa,EAAE,oDAAoD;IACnE,eAAe,EAAE,wCAAwC;IACzD,cAAc,EAAE,0DAA0D;CAClE,CAAA;AASV,MAAM,UAAU,YAAY,CAAC,OAAsB,EAAE,QAAyB;IAC5E,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrB,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,gBAAgB,CAAC,qBAAqB,CAAA;QAC5E,IAAI,QAAQ,CAAC,WAAW,KAAK,2BAA2B;YAAE,OAAO,gBAAgB,CAAC,sBAAsB,CAAA;QACxG,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,OAAO,IAAI,IAAI;QAAE,OAAO,gBAAgB,CAAC,aAAa,CAAA;IAC9F,IAAI,QAAQ,CAAC,cAAc,IAAI,IAAI;QAAE,OAAO,gBAAgB,CAAC,cAAc,CAAA;IAC3E,IAAI,QAAQ,CAAC,cAAc,CAAC,WAAW,KAAK,2BAA2B,IAAI,OAAO,CAAC,OAAO,KAAK,QAAQ,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC;QAC5H,OAAO,gBAAgB,CAAC,eAAe,CAAA;IACzC,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,oHAAoH;AACpH,MAAM,UAAU,SAAS,CAAC,cAAwB;IAChD,OAAO,GAAG,cAAc,CAAC,IAAI,IAAI,2BAA2B,EAAE,CAAA;AAChE,CAAC"}

package/dist/codec.d.ts

@@ -1,45 +1,80 @@
-import { LockingScript, PublicKey } from '@bsv/sdk';
-import type { DppState, DppStateData, DppStateDataV2, DppStateV1, DppStateV2, Outpoint } from './types.js';
+import { LockingScript, PublicKey, type ScriptChunk } from '@bsv/sdk';
+import type { CarrierPrefix, DppState, DppStateData, DppStateDataV2, DppStateDataV3, DppStateV1, DppStateV2, DppStateV3, Outpoint, SeventeenFieldData } from './types.js';
 /** Thrown when a script does not carry a well-formed DPP output of a version this reader decodes. */
 export declare class DppFormatError extends Error {
     constructor(message: string);
 }
-/** Whether signable content, of either version, is version 2. */
+/** Whether signable content, of any version, is version 2. */
 export declare function isV2Data(d: object): d is DppStateDataV2;
+/** Whether signable content, of any version, is version 3: the carried body (`spec/token-carrier.md`). */
+export declare function isV3Data(d: object): d is DppStateDataV3;
+/** Whether signable content carries the seventeen-field layout, under version 2 or version 3. */
+export declare function isSeventeenFieldData(d: object): d is SeventeenFieldData;
 /** Fields 1–12 (the signable content) of a version 1 state as raw wire bytes, in standard order. */
 export declare function dataFields(d: DppStateData): number[][];
 /** An outpoint as the version 2 fields 12 and 13 carry it: 32 txid bytes in display order, then a big-endian uint32 index. */
 export declare function outpointFieldBytes(outpoint: Outpoint | null): number[];
-/** Fields 1–15 (the signable content) of a version 2 state as raw wire bytes, in standard order. */
-export declare function dataFieldsV2(d: DppStateDataV2): number[][];
-/** All fields of a state as raw wire bytes: 14 for version 1, 17 for version 2. */
+/**
+ * Fields 1–15 (the signable content) of a seventeen-field state as raw wire
+ * bytes, in standard order. The version string is the data's own: `2` for a
+ * version 2 state, `3` for a carried version 3 body (`spec/token-carrier.md` §4).
+ */
+export declare function dataFieldsV2(d: SeventeenFieldData): number[][];
+/** All fields of a state as raw wire bytes: 14 for version 1, 17 for versions 2 and 3. */
 export declare function stateToFields(s: DppState): number[][];
+/** The 32 token id bytes a value output pushes: the deploy txid in internal byte order (`spec/token-carrier.md` §3). */
+export declare function tokenIdWireBytes(deployTxid: string): number[];
+/** The display form of a token id read from the wire: the deploy txid in display order. */
+export declare function tokenIdFromWireBytes(bytes: readonly number[]): string;
+/**
+ * The token prefix of a carried state (`spec/token-carrier.md` §2, §3): the
+ * token id or OP_0, the amount of one unit as OP_1, and OP_2DROP. No payload
+ * is written; the body's first chunk is a 33-byte push followed by
+ * OP_CHECKSIG, which the prefix's encoder rule says can never be read as one.
+ */
+export declare function carrierPrefixChunks(carrier: CarrierPrefix): ScriptChunk[];
+/**
+ * The prefix a version 3 state is carried behind, read from the state itself:
+ * a genesis (no predecessor) is the deploy; every later state is a value
+ * output naming the lineage genesis as its token id, which the verifier holds
+ * field 12 to (`spec/token-carrier.md` §5). The genesis outpoint's index is 0
+ * because a deploy is output 0 of its transaction; a state naming another
+ * index cannot be carried, and the builder says so rather than guessing.
+ */
+export declare function carrierPrefixFor(state: Pick<DppStateDataV3, 'previousTxid' | 'lineageGenesis'>): CarrierPrefix;
 /**
  * Build the DPP locking script: <33-byte key> OP_CHECKSIG <fields> drops.
  * Custody-neutral (`spec/record-model.md` §2): the locking key may be treasury-derived or user-held.
  * The drop tail is one OP_2DROP per pair of fields and one OP_DROP for an odd
- * field left over: seven OP_2DROP for version 1, eight and an OP_DROP for version 2.
+ * field left over: seven OP_2DROP for version 1, eight and an OP_DROP for
+ * versions 2 and 3. A version 3 body is carried behind its token prefix
+ * (`spec/token-carrier.md` §2), derived from the state unless `carrier`
+ * names one, which a fixture does to pin what a reader refuses.
  */
-export declare function buildLockingScript(state: DppState, lockingPublicKey: PublicKey | string): LockingScript;
+export declare function buildLockingScript(state: DppState, lockingPublicKey: PublicKey | string, carrier?: CarrierPrefix): LockingScript;
 /** Validate and type raw version 1 fields per `spec/record-model.md` §2-§3. Throws DppFormatError. */
 export declare function fieldsToState(fields: number[][]): DppStateV1;
 /** Validate and type raw version 2 fields per `spec/record-model-v2.md` §2-§3. Throws DppFormatError. */
 export declare function fieldsToStateV2(fields: number[][]): DppStateV2;
-/**
- * Parse a DPP output script of either version. Throws DppFormatError when the
- * script is not a well-formed DPP output: the field count selects the version's
- * rules (fourteen fields for version 1, seventeen for version 2), the version
- * field must agree with the count, and any other count or version is refused by
- * name so an older reader meeting a newer state fails clearly rather than
- * guessing.
- */
-export declare function parseDppOutput(script: LockingScript): {
+/** Validate and type the raw fields of a carried version 3 body per `spec/token-carrier.md` §4. Throws DppFormatError. */
+export declare function fieldsToStateV3(fields: number[][]): DppStateV3;
+/** What a parsed output yields: the state, the locking key, and the token prefix when the state is carried. */
+export interface ParsedDppOutput {
     state: DppState;
     lockingPublicKey: PublicKey;
-};
+    /** Present for a version 3 state, which is always carried; absent for versions 1 and 2, which never are. */
+    carrier?: CarrierPrefix;
+}
+/**
+ * Parse a DPP output script of any version. Throws DppFormatError when the
+ * script is not a well-formed DPP output. A bare body is read by field count
+ * (fourteen fields for version 1, seventeen for version 2) and the version
+ * field must agree with the count. A body behind a token prefix is version 3,
+ * read under the version 2 rules with the version 3 string; a version 2 body
+ * behind a prefix and a version 3 body without one are refused by name, so an
+ * older reader meeting a newer state fails clearly rather than guessing.
+ */
+export declare function parseDppOutput(script: LockingScript): ParsedDppOutput;
 /** Non-throwing variant of parseDppOutput, for scanning arbitrary outputs. */
-export declare function tryParseDppOutput(script: LockingScript): {
-    state: DppState;
-    lockingPublicKey: PublicKey;
-} | null;
+export declare function tryParseDppOutput(script: LockingScript): ParsedDppOutput | null;
 //# sourceMappingURL=codec.d.ts.map

package/dist/codec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../src/codec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAM,SAAS,EAA2B,MAAM,UAAU,CAAA;AAgBhF,OAAO,KAAK,EAAoB,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAE5H,qGAAqG;AACrG,qBAAa,cAAe,SAAQ,KAAK;IACvC,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAmCD,iEAAiE;AACjE,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,IAAI,cAAc,CAEvD;AAED,oGAAoG;AACpG,wBAAgB,UAAU,CAAC,CAAC,EAAE,YAAY,GAAG,MAAM,EAAE,EAAE,CAetD;AAED,8HAA8H;AAC9H,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI,GAAG,MAAM,EAAE,CAStE;AAED,oGAAoG;AACpG,wBAAgB,YAAY,CAAC,CAAC,EAAE,cAAc,GAAG,MAAM,EAAE,EAAE,CAoB1D;AAED,mFAAmF;AACnF,wBAAgB,aAAa,CAAC,CAAC,EAAE,QAAQ,GAAG,MAAM,EAAE,EAAE,CAGrD;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,QAAQ,EACf,gBAAgB,EAAE,SAAS,GAAG,MAAM,GACnC,aAAa,CAmBf;AAsID,sGAAsG;AACtG,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,GAAG,UAAU,CA+D5D;AAED,yGAAyG;AACzG,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,GAAG,UAAU,CAuE9D;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,aAAa,GAAG;IACrD,KAAK,EAAE,QAAQ,CAAA;IACf,gBAAgB,EAAE,SAAS,CAAA;CAC5B,CAyCA;AAED,8EAA8E;AAC9E,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,aAAa,GAAG;IACxD,KAAK,EAAE,QAAQ,CAAA;IACf,gBAAgB,EAAE,SAAS,CAAA;CAC5B,GAAG,IAAI,CAMP"}
+{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../src/codec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAM,SAAS,EAAS,KAAK,WAAW,EAAE,MAAM,UAAU,CAAA;AAmBhF,OAAO,KAAK,EACV,aAAa,EAGb,QAAQ,EACR,YAAY,EACZ,cAAc,EACd,cAAc,EACd,UAAU,EACV,UAAU,EACV,UAAU,EACV,QAAQ,EACR,kBAAkB,EAEnB,MAAM,YAAY,CAAA;AAEnB,qGAAqG;AACrG,qBAAa,cAAe,SAAQ,KAAK;IACvC,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAmCD,8DAA8D;AAC9D,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,IAAI,cAAc,CAEvD;AAED,0GAA0G;AAC1G,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,IAAI,cAAc,CAEvD;AAED,iGAAiG;AACjG,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,IAAI,kBAAkB,CAEvE;AAED,oGAAoG;AACpG,wBAAgB,UAAU,CAAC,CAAC,EAAE,YAAY,GAAG,MAAM,EAAE,EAAE,CAetD;AAED,8HAA8H;AAC9H,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI,GAAG,MAAM,EAAE,CAStE;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,kBAAkB,GAAG,MAAM,EAAE,EAAE,CAoB9D;AAED,0FAA0F;AAC1F,wBAAgB,aAAa,CAAC,CAAC,EAAE,QAAQ,GAAG,MAAM,EAAE,EAAE,CAGrD;AAED,wHAAwH;AACxH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE,CAI7D;AAED,2FAA2F;AAC3F,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAGrE;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,aAAa,GAAG,WAAW,EAAE,CAMzE;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,cAAc,EAAE,cAAc,GAAG,gBAAgB,CAAC,GAAG,aAAa,CAK9G;AAED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,QAAQ,EACf,gBAAgB,EAAE,SAAS,GAAG,MAAM,EACpC,OAAO,CAAC,EAAE,aAAa,GACtB,aAAa,CAqBf;AAsID,sGAAsG;AACtG,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,GAAG,UAAU,CA+D5D;AAED,yGAAyG;AACzG,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,GAAG,UAAU,CAE9D;AAED,0HAA0H;AAC1H,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,GAAG,UAAU,CAE9D;AAsFD,+GAA+G;AAC/G,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,QAAQ,CAAA;IACf,gBAAgB,EAAE,SAAS,CAAA;IAC3B,4GAA4G;IAC5G,OAAO,CAAC,EAAE,aAAa,CAAA;CACxB;AA4CD;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,aAAa,GAAG,eAAe,CAkDrE;AAED,8EAA8E;AAC9E,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,aAAa,GAAG,eAAe,GAAG,IAAI,CAM/E"}

package/dist/codec.js

@@ -1,5 +1,5 @@
 import { LockingScript, OP, PublicKey, Utils } from '@bsv/sdk';
-import { DPP_OPS, DPP_OPS_V2, FIELD_COUNT, FIELD_COUNT_V2, MAX_ACTOR_KEY_ID_BYTES, MAX_EVENT_DATA_BYTES_V2, MAX_PASSPORT_ID_BYTES, MAX_PAYLOAD_PUBLIC_BYTES_V2, NO_EVENT_OPS, OUTPOINT_FIELD_BYTES, PROTOCOL_MARKER, STANDARD_VERSION, STANDARD_VERSION_V2, } from './constants.js';
+import { CARRIER_AMOUNT, CARRIER_TOKEN_ID_BYTES, DPP_OPS, DPP_OPS_V2, FIELD_COUNT, FIELD_COUNT_V2, MAX_ACTOR_KEY_ID_BYTES, MAX_EVENT_DATA_BYTES_V2, MAX_PASSPORT_ID_BYTES, MAX_PAYLOAD_PUBLIC_BYTES_V2, NO_EVENT_OPS, OUTPOINT_FIELD_BYTES, PROTOCOL_MARKER, STANDARD_VERSION, STANDARD_VERSION_V2, STANDARD_VERSION_V3, } from './constants.js';
 /** Thrown when a script does not carry a well-formed DPP output of a version this reader decodes. */
 export class DppFormatError extends Error {
     constructor(message) {
@@ -48,10 +48,18 @@ function chunkToField(chunk) {
         return [0x81];
     return null;
 }
-/** Whether signable content, of either version, is version 2. */
+/** Whether signable content, of any version, is version 2. */
 export function isV2Data(d) {
     return d.version === STANDARD_VERSION_V2;
 }
+/** Whether signable content, of any version, is version 3: the carried body (`spec/token-carrier.md`). */
+export function isV3Data(d) {
+    return d.version === STANDARD_VERSION_V3;
+}
+/** Whether signable content carries the seventeen-field layout, under version 2 or version 3. */
+export function isSeventeenFieldData(d) {
+    return isV2Data(d) || isV3Data(d);
+}
 /** Fields 1–12 (the signable content) of a version 1 state as raw wire bytes, in standard order. */
 export function dataFields(d) {
     return [
@@ -82,12 +90,16 @@ export function outpointFieldBytes(outpoint) {
     }
     return [...txid, (index >>> 24) & 0xff, (index >>> 16) & 0xff, (index >>> 8) & 0xff, index & 0xff];
 }
-/** Fields 1–15 (the signable content) of a version 2 state as raw wire bytes, in standard order. */
+/**
+ * Fields 1–15 (the signable content) of a seventeen-field state as raw wire
+ * bytes, in standard order. The version string is the data's own: `2` for a
+ * version 2 state, `3` for a carried version 3 body (`spec/token-carrier.md` §4).
+ */
 export function dataFieldsV2(d) {
     const predecessor = d.previousTxid === '' ? null : { txid: d.previousTxid, outputIndex: d.previousOutputIndex ?? -1 };
     return [
         Utils.toArray(PROTOCOL_MARKER, 'utf8'),
-        Utils.toArray(STANDARD_VERSION_V2, 'utf8'),
+        Utils.toArray(d.version, 'utf8'),
         Utils.toArray(d.passportId, 'utf8'),
         Utils.toArray(d.op, 'utf8'),
         Utils.toArray(d.timestamp, 'utf8'),
@@ -103,24 +115,71 @@ export function dataFieldsV2(d) {
         Utils.toArray(d.authorisationCommitment, 'hex'),
     ];
 }
-/** All fields of a state as raw wire bytes: 14 for version 1, 17 for version 2. */
+/** All fields of a state as raw wire bytes: 14 for version 1, 17 for versions 2 and 3. */
 export function stateToFields(s) {
-    const data = s.version === STANDARD_VERSION_V2 ? dataFieldsV2(s) : dataFields(s);
+    const data = s.version === STANDARD_VERSION ? dataFields(s) : dataFieldsV2(s);
     return [...data, [...s.userSignature], [...s.serverSignature]];
 }
+/** The 32 token id bytes a value output pushes: the deploy txid in internal byte order (`spec/token-carrier.md` §3). */
+export function tokenIdWireBytes(deployTxid) {
+    const bytes = Utils.toArray(deployTxid, 'hex');
+    if (bytes.length !== CARRIER_TOKEN_ID_BYTES)
+        throw new DppFormatError('a token id is the 32-byte deploy txid');
+    return bytes.reverse();
+}
+/** The display form of a token id read from the wire: the deploy txid in display order. */
+export function tokenIdFromWireBytes(bytes) {
+    if (bytes.length !== CARRIER_TOKEN_ID_BYTES)
+        throw new DppFormatError('a token id is the 32-byte deploy txid');
+    return Utils.toHex([...bytes].reverse());
+}
+/**
+ * The token prefix of a carried state (`spec/token-carrier.md` §2, §3): the
+ * token id or OP_0, the amount of one unit as OP_1, and OP_2DROP. No payload
+ * is written; the body's first chunk is a 33-byte push followed by
+ * OP_CHECKSIG, which the prefix's encoder rule says can never be read as one.
+ */
+export function carrierPrefixChunks(carrier) {
+    const id = carrier.role === 'deploy' || carrier.tokenId == null
+        ? { op: 0 }
+        : { op: CARRIER_TOKEN_ID_BYTES, data: tokenIdWireBytes(carrier.tokenId) };
+    return [id, { op: 0x50 + CARRIER_AMOUNT }, { op: OP.OP_2DROP }];
+}
+/**
+ * The prefix a version 3 state is carried behind, read from the state itself:
+ * a genesis (no predecessor) is the deploy; every later state is a value
+ * output naming the lineage genesis as its token id, which the verifier holds
+ * field 12 to (`spec/token-carrier.md` §5). The genesis outpoint's index is 0
+ * because a deploy is output 0 of its transaction; a state naming another
+ * index cannot be carried, and the builder says so rather than guessing.
+ */
+export function carrierPrefixFor(state) {
+    if (state.previousTxid === '')
+        return { role: 'deploy', tokenId: null };
+    if (state.lineageGenesis == null)
+        throw new DppFormatError('a carried state after the genesis names its lineage genesis');
+    if (state.lineageGenesis.outputIndex !== 0)
+        throw new DppFormatError('a carried lineage begins at output 0 of its deploy');
+    return { role: 'value', tokenId: state.lineageGenesis.txid };
+}
 /**
  * Build the DPP locking script: <33-byte key> OP_CHECKSIG <fields> drops.
  * Custody-neutral (`spec/record-model.md` §2): the locking key may be treasury-derived or user-held.
  * The drop tail is one OP_2DROP per pair of fields and one OP_DROP for an odd
- * field left over: seven OP_2DROP for version 1, eight and an OP_DROP for version 2.
+ * field left over: seven OP_2DROP for version 1, eight and an OP_DROP for
+ * versions 2 and 3. A version 3 body is carried behind its token prefix
+ * (`spec/token-carrier.md` §2), derived from the state unless `carrier`
+ * names one, which a fixture does to pin what a reader refuses.
  */
-export function buildLockingScript(state, lockingPublicKey) {
+export function buildLockingScript(state, lockingPublicKey, carrier) {
     const pub = typeof lockingPublicKey === 'string'
         ? PublicKey.fromString(lockingPublicKey)
         : lockingPublicKey;
     const pubBytes = pub.encode(true);
     const fields = stateToFields(state);
+    const prefix = state.version === STANDARD_VERSION_V3 ? carrierPrefixChunks(carrier ?? carrierPrefixFor(state)) : [];
     const chunks = [
+        ...prefix,
         { op: pubBytes.length, data: pubBytes },
         { op: OP.OP_CHECKSIG },
         ...fields.map(minimalChunk),
@@ -324,6 +383,20 @@ export function fieldsToState(fields) {
 }
 /** Validate and type raw version 2 fields per `spec/record-model-v2.md` §2-§3. Throws DppFormatError. */
 export function fieldsToStateV2(fields) {
+    return seventeenFieldsToState(fields, STANDARD_VERSION_V2);
+}
+/** Validate and type the raw fields of a carried version 3 body per `spec/token-carrier.md` §4. Throws DppFormatError. */
+export function fieldsToStateV3(fields) {
+    return seventeenFieldsToState(fields, STANDARD_VERSION_V3);
+}
+/**
+ * The seventeen-field reader both versions share. The version the caller
+ * expects is the layout's: version 2 for a bare body, version 3 for a body
+ * read from behind a token prefix. The other version's string is refused by
+ * name, because one version has one layout: a version 2 body is never
+ * carried and a version 3 body is never bare.
+ */
+function seventeenFieldsToState(fields, expectedVersion) {
     if (fields.length !== FIELD_COUNT_V2) {
         throw new DppFormatError(`expected ${FIELD_COUNT_V2} fields, found ${fields.length}`);
     }
@@ -333,10 +406,14 @@ export function fieldsToStateV2(fields) {
         throw new DppFormatError(`protocol_marker must be "${PROTOCOL_MARKER}"`);
     }
     const version = Utils.toUTF8(fields[1]);
-    if (version !== STANDARD_VERSION_V2) {
+    if (version !== expectedVersion) {
         throw new DppFormatError(version === STANDARD_VERSION
             ? `version "${STANDARD_VERSION}" is carried by the ${FIELD_COUNT}-field layout, not the ${FIELD_COUNT_V2}-field one`
-            : `unsupported standard version "${version}"`);
+            : version === STANDARD_VERSION_V3
+                ? `version "${STANDARD_VERSION_V3}" is carried behind a token prefix`
+                : version === STANDARD_VERSION_V2
+                    ? `version "${STANDARD_VERSION_V2}" is not carried behind a token prefix`
+                    : `unsupported standard version "${version}"`);
     }
     const passportId = passportIdField(fields[2]);
     const op = Utils.toUTF8(fields[3]);
@@ -377,7 +454,7 @@ export function fieldsToStateV2(fields) {
         throw new DppFormatError('publisher_signature must be present');
     return {
         protocolMarker: marker,
-        version: '2',
+        version: expectedVersion,
         passportId,
         op,
         timestamp,
@@ -396,24 +473,74 @@ export function fieldsToStateV2(fields) {
         serverSignature,
     };
 }
+const isPushChunk = (c) => c.op === 0 || (c.op >= 1 && c.op <= 0x4e) || c.op === 0x4f || (c.op >= 0x51 && c.op <= 0x60);
+/**
+ * Read the BRC-162 token prefix a carried state begins with
+ * (`spec/token-carrier.md` §2, §3), or report that the script carries none.
+ * A script whose first chunk is a 33-byte push is a bare body and is read as
+ * one; a first chunk of OP_0 or a 32- or 36-byte push is a prefix attempt
+ * and is held to the carrier's rules: the id is the 32-byte deploy txid, the
+ * amount is one unit as OP_1, then OP_2DROP, then no payload except an empty
+ * slot on a deploy. Returns the prefix and the index the body starts at.
+ */
+function readCarrierPrefix(chunks) {
+    const first = chunks[0];
+    if (first == null)
+        return null;
+    const idLength = first.data?.length ?? 0;
+    const prefixAttempt = first.op === 0 || idLength === CARRIER_TOKEN_ID_BYTES || idLength === 36;
+    if (!prefixAttempt)
+        return null;
+    if (chunks.length < 3)
+        throw new DppFormatError('not a DPP output: malformed token prefix');
+    if (idLength === 36)
+        throw new DppFormatError('the token id is the 32-byte deploy txid');
+    const amount = chunks[1];
+    if (amount.op !== 0x50 + CARRIER_AMOUNT) {
+        if (amount.data?.length === 1 && amount.data[0] === CARRIER_AMOUNT) {
+            throw new DppFormatError('the token amount is a minimally encoded script number');
+        }
+        throw new DppFormatError(`the token amount is ${CARRIER_AMOUNT}`);
+    }
+    if (chunks[2].op !== OP.OP_2DROP || chunks[2].data !== undefined) {
+        throw new DppFormatError('not a DPP output: malformed token prefix');
+    }
+    const role = first.op === 0 ? 'deploy' : 'value';
+    const carrier = { role, tokenId: role === 'deploy' ? null : tokenIdFromWireBytes(first.data) };
+    let bodyStart = 3;
+    // A payload is one push then OP_DROP right after the OP_2DROP. The body's
+    // second chunk is OP_CHECKSIG, so a body is never read as a payload.
+    if (chunks.length > 4 && isPushChunk(chunks[3]) && chunks[4].op === OP.OP_DROP && chunks[4].data === undefined) {
+        if (role === 'value')
+            throw new DppFormatError('a value output carries no payload');
+        if (chunks[3].op !== 0)
+            throw new DppFormatError('a genesis carries no payload beyond an empty slot');
+        bodyStart = 5;
+    }
+    return { carrier, bodyStart };
+}
 /**
- * Parse a DPP output script of either version. Throws DppFormatError when the
- * script is not a well-formed DPP output: the field count selects the version's
- * rules (fourteen fields for version 1, seventeen for version 2), the version
- * field must agree with the count, and any other count or version is refused by
- * name so an older reader meeting a newer state fails clearly rather than
- * guessing.
+ * Parse a DPP output script of any version. Throws DppFormatError when the
+ * script is not a well-formed DPP output. A bare body is read by field count
+ * (fourteen fields for version 1, seventeen for version 2) and the version
+ * field must agree with the count. A body behind a token prefix is version 3,
+ * read under the version 2 rules with the version 3 string; a version 2 body
+ * behind a prefix and a version 3 body without one are refused by name, so an
+ * older reader meeting a newer state fails clearly rather than guessing.
  */
 export function parseDppOutput(script) {
     const chunks = script.chunks;
-    if (chunks.length < 2 || chunks[0].data == null || chunks[0].data.length !== 33) {
+    const prefix = readCarrierPrefix(chunks);
+    const start = prefix?.bodyStart ?? 0;
+    const key = chunks[start];
+    if (chunks.length < start + 2 || key?.data == null || key.data.length !== 33) {
         throw new DppFormatError('not a DPP output: missing 33-byte locking key push');
     }
-    if (chunks[1].op !== OP.OP_CHECKSIG) {
+    if (chunks[start + 1].op !== OP.OP_CHECKSIG) {
         throw new DppFormatError('not a DPP output: missing OP_CHECKSIG');
     }
     const fields = [];
-    let i = 2;
+    let i = start + 2;
     for (; i < chunks.length; i++) {
         const op = chunks[i].op;
         if (op === OP.OP_2DROP || op === OP.OP_DROP)
@@ -438,12 +565,18 @@ export function parseDppOutput(script) {
     }
     let lockingPublicKey;
     try {
-        lockingPublicKey = PublicKey.fromString(Utils.toHex(chunks[0].data));
+        lockingPublicKey = PublicKey.fromString(Utils.toHex(key.data));
     }
     catch {
         // Keep the documented contract: every refusal is a DppFormatError.
         throw new DppFormatError('not a DPP output: locking key is not a valid public key');
     }
+    if (prefix != null) {
+        if (fields.length !== FIELD_COUNT_V2) {
+            throw new DppFormatError(`a carried body has ${FIELD_COUNT_V2} fields, found ${fields.length}`);
+        }
+        return { state: fieldsToStateV3(fields), lockingPublicKey, carrier: prefix.carrier };
+    }
     const state = fields.length === FIELD_COUNT_V2 ? fieldsToStateV2(fields) : fieldsToState(fields);
     return { state, lockingPublicKey };
 }