@easy1staking/cip113-sdk-ts 0.3.1 → 0.4.0

package/dist/core/ledger-order.js

@@ -0,0 +1,185 @@
+/**
+ * Ledger ordering, and the redeemer indices that depend on it.
+ *
+ * CIP-113 0.5.0-alpha.2 moved several lookups from "scan the transaction" to
+ * "the builder tells the validator where to look". That is cheaper on chain and
+ * strictly more dangerous off it: an index is a plain integer, so a wrong one
+ * typechecks, encodes, builds, and fails ONLY when the ledger runs the script.
+ * Nothing in this repository's other guards can see it.
+ *
+ * Two orderings matter, and they are NOT the same rule.
+ *
+ * --- Reference inputs -----------------------------------------------------
+ *
+ * Ordered by (transaction id, output index): bytewise on the id, then numeric
+ * on the index. `params_idx` is the protocol-params UTxO's position in that
+ * ordering, over the COMPLETE reference-input set.
+ *
+ * --- Withdrawals ----------------------------------------------------------
+ *
+ * NOT bytewise on the reward address, and NOT insertion order.
+ *
+ * EVERY SCRIPT CREDENTIAL SORTS BEFORE EVERY KEY CREDENTIAL, then bytewise by
+ * hash within each kind. The reason is a Haskell detail with an on-chain
+ * consequence: cardano-ledger's `Credential` is
+ *
+ *     data Credential kr c = ScriptHashObj !(ScriptHash c) | KeyHashObj !(KeyHash kr c)
+ *
+ * with a derived `Ord`, and a derived `Ord` on a sum type compares constructor
+ * position first. `ScriptHashObj` is declared first, so it sorts first. The
+ * withdrawals map is keyed by `RewardAccount`, which orders by network then
+ * credential, and Plutus hands the script that map in that order.
+ *
+ * ⚠ THIS IS THE OPPOSITE OF WHAT THE SERIALISED BYTES SUGGEST, which is the
+ * trap. A reward account's header byte encodes key-stake as 0xE0|network and
+ * script-stake as 0xF0|network, so sorting the ENCODED addresses puts key
+ * credentials first — the exact reverse of the order the script sees. Deriving
+ * this ordering from the wire format is a natural mistake that produces a
+ * `wdrl_idx` that is wrong only when both kinds are present.
+ *
+ * PROVENANCE: DERIVED from cardano-ledger's constructor order and corroborated
+ * by upstream's own integration guide (documentation/09 › Withdrawal indices),
+ * which cites the same `Ord` derivation. NOT yet OBSERVED on chain by us — that
+ * happens in T-D08, and until then this is reasoned, not booted.
+ */
+import { Data } from "@evolution-sdk/evolution";
+// ---------------------------------------------------------------------------
+// Reference inputs
+// ---------------------------------------------------------------------------
+/**
+ * Compare two hex strings as the bytes they encode.
+ *
+ * Two separate things are going on here; only one of them was a live bug.
+ *
+ * CASE NORMALISATION — this one was real. Hex case is presentation: a tx id is
+ * bytes, and providers differ on which spelling they hand you. Comparing raw
+ * strings makes "ab…" and "AB…" neither equal nor consistently ordered, so one
+ * reference input can occupy two different positions depending on who fetched
+ * it. MEASURED: `localeCompare` orders "0a" BEFORE "0A" while the bytes order
+ * it after, so the two disagree in direction, not merely in strictness.
+ *
+ * NOT `localeCompare` — this one is defensive. It is a collation comparison,
+ * not a byte comparison. MEASURED in this environment: over all 240 ordered
+ * pairs of lowercase hex digits it agrees with byte order exactly, so replacing
+ * it changes nothing observable HERE. It is avoided because that agreement is a
+ * property of the current ICU data rather than of the language, and because the
+ * only failure mode of getting it wrong is a transaction that fails on chain.
+ * Upstream's sample code (documentation/09) uses `localeCompare` on unnormalised
+ * hex and therefore carries the case bug.
+ */
+function compareHex(a, b) {
+    const x = a.toLowerCase();
+    const y = b.toLowerCase();
+    return x < y ? -1 : x > y ? 1 : 0;
+}
+/** Ledger order for transaction inputs: by tx id, then by output index. */
+export function compareTxInputs(a, b) {
+    const h = compareHex(a.txHash, b.txHash);
+    return h !== 0 ? h : a.outputIndex - b.outputIndex;
+}
+/**
+ * Position of `target` in the ledger-sorted reference inputs.
+ *
+ * Throws rather than returning -1: a missing reference input is a builder bug,
+ * and -1 encodes as a valid integer that fails obscurely on chain.
+ */
+export function referenceInputIndexOf(all, target) {
+    const idx = [...all]
+        .sort(compareTxInputs)
+        .findIndex((i) => compareTxInputs(i, target) === 0);
+    if (idx < 0) {
+        throw new Error(`Reference input ${target.txHash}#${target.outputIndex} is not in the reference-input ` +
+            `set (${all.length} entries). The index must be computed over the COMPLETE set, ` +
+            `after the builder has added every reference input.`);
+    }
+    return idx;
+}
+/** Ledger order: every script credential before every key credential. */
+export function compareWithdrawalKeys(a, b) {
+    if (a.isScript !== b.isScript)
+        return a.isScript ? -1 : 1;
+    return compareHex(a.hash, b.hash);
+}
+/** Sort withdrawal keys into the order the script sees. Does not mutate. */
+export function sortWithdrawalKeys(keys) {
+    return [...keys].sort(compareWithdrawalKeys);
+}
+/**
+ * Position of `target` in the ledger-ordered withdrawal map.
+ *
+ * `all` MUST be the complete withdrawal set of the final transaction. Any extra
+ * withdrawal — a second substandard script, or a key-hash reward withdrawal a
+ * wallet adds during balancing — occupies a slot and shifts every position
+ * after it. Compute this last.
+ */
+export function withdrawalIndexOf(all, target) {
+    const idx = sortWithdrawalKeys(all).findIndex((w) => compareWithdrawalKeys(w, target) === 0);
+    if (idx < 0) {
+        throw new Error(`Withdrawal ${target.isScript ? "script" : "key"} credential ${target.hash} is not in ` +
+            `the withdrawal set (${all.length} entries). programmable_logic_base resolves the ` +
+            `entry at wdrl_idx and requires it to equal the delegate credential from the ` +
+            `protocol-params datum, so a missing entry cannot authorise anything.`);
+    }
+    return idx;
+}
+// ---------------------------------------------------------------------------
+// BaseSpendRedeemer — programmable_logic_base.spend
+// ---------------------------------------------------------------------------
+/**
+ * Which delegate programmable_logic_base dispatches to.
+ *
+ * Constructor indices are the on-chain contract: 0/1/2. Exactly one framework
+ * delegate may be invoked per transaction.
+ */
+export const BaseSpendVia = {
+    TRANSFER: 0n,
+    THIRD_PARTY: 1n,
+    UNFRACKING: 2n,
+};
+/**
+ * Build a BaseSpendRedeemer.
+ *
+ * Replaces the untyped redeemer of 0.3.x and the bare `Int` of #109. Every
+ * programmable_logic_base input in the transaction needs one.
+ */
+export function baseSpendRedeemer(via, paramsIdx, wdrlIdx) {
+    if (!Number.isInteger(paramsIdx) || paramsIdx < 0) {
+        throw new Error(`baseSpendRedeemer: params_idx must be a non-negative integer, got ${paramsIdx}`);
+    }
+    if (!Number.isInteger(wdrlIdx) || wdrlIdx < 0) {
+        throw new Error(`baseSpendRedeemer: wdrl_idx must be a non-negative integer, got ${wdrlIdx}`);
+    }
+    return Data.constr(BaseSpendVia[via], [
+        Data.int(BigInt(paramsIdx)),
+        Data.int(BigInt(wdrlIdx)),
+    ]);
+}
+/**
+ * `transfer`'s TransferRedeemer { params_idx, proofs }.
+ *
+ * Single constructor 0, same field order as the old `TransferAct` with
+ * `params_idx` prepended — so an old encoder's output is NOT compatible.
+ */
+export function transferRedeemer(paramsIdx, proofs) {
+    return Data.constr(0n, [
+        Data.int(BigInt(paramsIdx)),
+        Data.list(proofs.map((p) => Data.constr(p.type === "exists" ? 0n : 1n, [Data.int(BigInt(p.nodeIdx))]))),
+    ]);
+}
+/** `third_party`'s ThirdPartyRedeemer { params_idx, registry_node_idx, outputs_start_idx }. */
+export function thirdPartyRedeemer(paramsIdx, registryNodeIdx, outputsStartIdx) {
+    return Data.constr(0n, [
+        Data.int(BigInt(paramsIdx)),
+        Data.int(BigInt(registryNodeIdx)),
+        Data.int(BigInt(outputsStartIdx)),
+    ]);
+}
+/** `unfracking`'s UnfrackingRedeemer { params_idx, registry_node_idx, outputs_start_idx }. */
+export function unfrackingRedeemer(paramsIdx, registryNodeIdx, outputsStartIdx) {
+    return Data.constr(0n, [
+        Data.int(BigInt(paramsIdx)),
+        Data.int(BigInt(registryNodeIdx)),
+        Data.int(BigInt(outputsStartIdx)),
+    ]);
+}
+//# sourceMappingURL=ledger-order.js.map

package/dist/core/ledger-order.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ledger-order.js","sourceRoot":"","sources":["../../src/core/ledger-order.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAC;AAGhD,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,SAAS,UAAU,CAAC,CAAY,EAAE,CAAY;IAC5C,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;IAC1B,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;IAC1B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,eAAe,CAAC,CAAU,EAAE,CAAU;IACpD,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACzC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC;AACrD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,GAAuB,EACvB,MAAe;IAEf,MAAM,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC;SACjB,IAAI,CAAC,eAAe,CAAC;SACrB,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACtD,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QACZ,MAAM,IAAI,KAAK,CACb,mBAAmB,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,WAAW,iCAAiC;YACrF,QAAQ,GAAG,CAAC,MAAM,+DAA+D;YACjF,oDAAoD,CACvD,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAaD,yEAAyE;AACzE,MAAM,UAAU,qBAAqB,CAAC,CAAgB,EAAE,CAAgB;IACtE,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ;QAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,OAAO,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,kBAAkB,CAAC,IAA8B;IAC/D,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;AAC/C,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAC/B,GAA6B,EAC7B,MAAqB;IAErB,MAAM,GAAG,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,SAAS,CAC3C,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAC9C,CAAC;IACF,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QACZ,MAAM,IAAI,KAAK,CACb,cAAc,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,eAAe,MAAM,CAAC,IAAI,aAAa;YACrF,uBAAuB,GAAG,CAAC,MAAM,kDAAkD;YACnF,8EAA8E;YAC9E,sEAAsE,CACzE,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,oDAAoD;AACpD,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,QAAQ,EAAE,EAAE;IACZ,WAAW,EAAE,EAAE;IACf,UAAU,EAAE,EAAE;CACN,CAAC;AAIX;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAC/B,GAAqB,EACrB,SAAiB,EACjB,OAAe;IAEf,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CAAC,qEAAqE,SAAS,EAAE,CAAC,CAAC;IACpG,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,mEAAmE,OAAO,EAAE,CAAC,CAAC;IAChG,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE;QACpC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;KAC1B,CAAC,CAAC;AACL,CAAC;AAWD;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC9B,SAAiB,EACjB,MAAmC;IAEnC,OAAO,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE;QACrB,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC3B,IAAI,CAAC,IAAI,CACP,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACf,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAC1E,CACF;KACF,CAAC,CAAC;AACL,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,kBAAkB,CAChC,SAAiB,EACjB,eAAuB,EACvB,eAAuB;IAEvB,OAAO,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE;QACrB,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QACjC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;KAClC,CAAC,CAAC;AACL,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,kBAAkB,CAChC,SAAiB,EACjB,eAAuB,EACvB,eAAuB;IAEvB,OAAO,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE;QACrB,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QACjC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;KAClC,CAAC,CAAC;AACL,CAAC"}

package/dist/core/registry.d.ts

@@ -6,12 +6,25 @@
 import type { UTxO as EvoUTxO } from "@evolution-sdk/evolution";
 import type { PolicyId, TxInput } from "../types.js";
 /**
- * Sort transaction inputs lexicographically by (txHash, outputIndex).
- * This matches the Cardano ledger's canonical ordering.
+ * Sort transaction inputs into the ledger's canonical order: by transaction id,
+ * then by output index.
+ *
+ * Delegates to `compareTxInputs` so there is ONE definition of the ledger's
+ * input ordering in this SDK. This previously compared transaction ids with
+ * `String.localeCompare`, which is a COLLATION comparison, not a byte
+ * comparison — it consults locale and ICU rules and is not guaranteed to agree
+ * with byte order even on lowercase hex. It happened to agree in practice,
+ * which is exactly why it survived: the failure it would cause is a wrong
+ * reference-input index, and a wrong index fails only on chain.
  */
 export declare function sortTxInputs<T extends TxInput>(inputs: T[]): T[];
 /**
- * Find the index of a TxInput in a sorted list of reference inputs.
+ * Find the index of a TxInput in an ALREADY-SORTED list of reference inputs.
+ *
+ * ⚠ The caller owns the precondition. Passing an unsorted list returns a
+ * plausible integer that is silently wrong, and the transaction fails only on
+ * chain. Prefer `referenceInputIndexOf`, which sorts internally and cannot be
+ * misused this way.
  */
 export declare function findRefInputIndex(sortedRefInputs: TxInput[], target: TxInput): number;
 /**

package/dist/core/registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/core/registry.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,IAAI,IAAI,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,KAAK,EAAW,QAAQ,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAY9D;;;GAGG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAMhE;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,eAAe,EAAE,OAAO,EAAE,EAC1B,MAAM,EAAE,OAAO,GACd,MAAM,CAUR;AAMD;;;GAGG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,EACrB,aAAa,EAAE,QAAQ,GACtB,OAAO,CAAC,IAAI,GAAG,SAAS,CAM1B;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,EACrB,aAAa,EAAE,QAAQ,GACtB,OAAO,CAAC,IAAI,GAAG,SAAS,CAS1B;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,GAAG,OAAO,CAKzD"}
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/core/registry.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,IAAI,IAAI,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,KAAK,EAAW,QAAQ,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAa9D;;;;;;;;;;;GAWG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAEhE;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC/B,eAAe,EAAE,OAAO,EAAE,EAC1B,MAAM,EAAE,OAAO,GACd,MAAM,CAUR;AAMD;;;GAGG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,EACrB,aAAa,EAAE,QAAQ,GACtB,OAAO,CAAC,IAAI,GAAG,SAAS,CAM1B;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,EACrB,aAAa,EAAE,QAAQ,GACtB,OAAO,CAAC,IAAI,GAAG,SAAS,CAS1B;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,GAAG,OAAO,CAKzD"}

package/dist/core/registry.js

@@ -4,23 +4,32 @@
  * Uses Evolution SDK types directly — no adapter abstraction.
  */
 import { extractConstrBytesField, getInlineDatum, utxoTxHash, utxoOutputIndex, } from "./evo-utils.js";
+import { compareTxInputs } from "./ledger-order.js";
 // ---------------------------------------------------------------------------
 // Transaction input sorting (matches Cardano ledger canonical order)
 // ---------------------------------------------------------------------------
 /**
- * Sort transaction inputs lexicographically by (txHash, outputIndex).
- * This matches the Cardano ledger's canonical ordering.
+ * Sort transaction inputs into the ledger's canonical order: by transaction id,
+ * then by output index.
+ *
+ * Delegates to `compareTxInputs` so there is ONE definition of the ledger's
+ * input ordering in this SDK. This previously compared transaction ids with
+ * `String.localeCompare`, which is a COLLATION comparison, not a byte
+ * comparison — it consults locale and ICU rules and is not guaranteed to agree
+ * with byte order even on lowercase hex. It happened to agree in practice,
+ * which is exactly why it survived: the failure it would cause is a wrong
+ * reference-input index, and a wrong index fails only on chain.
  */
 export function sortTxInputs(inputs) {
-    return [...inputs].sort((a, b) => {
-        const hashCmp = a.txHash.localeCompare(b.txHash);
-        if (hashCmp !== 0)
-            return hashCmp;
-        return a.outputIndex - b.outputIndex;
-    });
+    return [...inputs].sort(compareTxInputs);
 }
 /**
- * Find the index of a TxInput in a sorted list of reference inputs.
+ * Find the index of a TxInput in an ALREADY-SORTED list of reference inputs.
+ *
+ * ⚠ The caller owns the precondition. Passing an unsorted list returns a
+ * plausible integer that is silently wrong, and the transaction fails only on
+ * chain. Prefer `referenceInputIndexOf`, which sorts internally and cannot be
+ * misused this way.
  */
 export function findRefInputIndex(sortedRefInputs, target) {
     const idx = sortedRefInputs.findIndex((ri) => ri.txHash === target.txHash && ri.outputIndex === target.outputIndex);

package/dist/core/registry.js.map

@@ -1 +1 @@
-{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/core/registry.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,EACL,uBAAuB,EACvB,cAAc,EACd,UAAU,EACV,eAAe,GAChB,MAAM,gBAAgB,CAAC;AAExB,8EAA8E;AAC9E,qEAAqE;AACrE,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAoB,MAAW;IACzD,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC/B,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACjD,IAAI,OAAO,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC;QAClC,OAAO,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAC/B,eAA0B,EAC1B,MAAe;IAEf,MAAM,GAAG,GAAG,eAAe,CAAC,SAAS,CACnC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,CAC7E,CAAC;IACF,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CACb,mBAAmB,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,WAAW,2BAA2B,CAClF,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,wBAAwB;AACxB,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAqB,EACrB,aAAuB;IAEvB,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QACzB,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC;QACzB,OAAO,uBAAuB,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,aAAa,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAqB,EACrB,aAAuB;IAEvB,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QACzB,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC;QACzB,MAAM,GAAG,GAAG,uBAAuB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,uBAAuB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC/C,IAAI,GAAG,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAC1D,OAAO,GAAG,GAAG,aAAa,IAAI,aAAa,GAAG,IAAI,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,IAAkB;IAC9C,OAAO;QACL,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC;QACxB,WAAW,EAAE,eAAe,CAAC,IAAI,CAAC;KACnC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/core/registry.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,EACL,uBAAuB,EACvB,cAAc,EACd,UAAU,EACV,eAAe,GAChB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,8EAA8E;AAC9E,qEAAqE;AACrE,8EAA8E;AAE9E;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,YAAY,CAAoB,MAAW;IACzD,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;AAC3C,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAC/B,eAA0B,EAC1B,MAAe;IAEf,MAAM,GAAG,GAAG,eAAe,CAAC,SAAS,CACnC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,CAC7E,CAAC;IACF,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CACb,mBAAmB,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,WAAW,2BAA2B,CAClF,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,wBAAwB;AACxB,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAqB,EACrB,aAAuB;IAEvB,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QACzB,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC;QACzB,OAAO,uBAAuB,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,aAAa,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAqB,EACrB,aAAuB;IAEvB,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QACzB,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC;QACzB,MAAM,GAAG,GAAG,uBAAuB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,uBAAuB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC/C,IAAI,GAAG,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAC1D,OAAO,GAAG,GAAG,aAAa,IAAI,aAAa,GAAG,IAAI,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,IAAkB;IAC9C,OAAO;QACL,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC;QACxB,WAAW,EAAE,eAAe,CAAC,IAAI,CAAC;KACnC,CAAC;AACJ,CAAC"}

package/dist/index.d.ts

@@ -22,7 +22,7 @@
  * ```
  */
 import type { DeploymentParams, PlutusBlueprint } from "./types.js";
-import type { EvoClient, SubstandardPlugin, RegisterParams, MintParams, BurnParams, TransferParams, FreezeParams, UnfreezeParams, SeizeParams, InitComplianceParams, UnsignedTx } from "./substandards/interface.js";
+import type { EvoClient, SubstandardPlugin, RegisterParams, MintParams, BurnParams, TransferParams, ThirdPartyTransferParams, FreezeParams, UnfreezeParams, SeizeParams, InitComplianceParams, UnsignedTx } from "./substandards/interface.js";
 import { type ResolvedStandardScripts } from "./standard/scripts.js";
 export interface CIP113Config {
     /** Evolution SDK client (ReadOnlyClient or SigningClient) */
@@ -36,6 +36,14 @@ export interface CIP113Config {
     substandards?: SubstandardPlugin[];
     /** Check if a stake address is registered on-chain. Used by compliance init to avoid re-registering. */
     checkStakeRegistration?: (stakeAddress: string) => Promise<boolean>;
+    /**
+     * Optional transaction evaluator, passed through to substandards.
+     *
+     * Without one the client's default provider evaluates, and Kupmios reports a
+     * bare "evaluateTx failed" naming neither the script nor the reason. An Ogmios
+     * evaluator returns the validator's trace list instead.
+     */
+    evaluator?: unknown;
 }
 export interface CIP113Protocol {
     /** The resolved standard scripts (cached, reusable) */
@@ -52,6 +60,14 @@ export interface CIP113Protocol {
     burn(params: BurnParams): Promise<UnsignedTx>;
     /** Transfer tokens */
     transfer(params: TransferParams): Promise<UnsignedTx>;
+    /**
+     * Administrative transfer: move a holder's tokens without their signature.
+     *
+     * Requires an explicit `substandardId` — unlike mint/burn/transfer there is no
+     * try-all fallback here. Guessing which substandard should be allowed to seize
+     * someone's tokens is not a convenience worth having.
+     */
+    thirdPartyTransfer(params: ThirdPartyTransferParams): Promise<UnsignedTx>;
     compliance: {
         /** Initialize compliance infrastructure (e.g., blacklist) */
         init(substandardId: string, params: InitComplianceParams): Promise<UnsignedTx>;
@@ -80,12 +96,20 @@ export declare const CIP113: {
 };
 export type { EvoClient, SubstandardPlugin, SubstandardFactory, SubstandardContext, RegisterParams, MintParams, BurnParams, TransferParams, FreezeParams, UnfreezeParams, SeizeParams, InitComplianceParams, UnsignedTx, CIP68MetadataInput, } from "./substandards/interface.js";
 export type { DeploymentParams, PlutusBlueprint, PlutusScript, TxInput, UTxO, Network, PolicyId, ScriptHash, HexString, Assets, } from "./types.js";
-export { buildEvoScript, computeScriptHash, parameterizeScript, scriptAddress, rewardAddress, baseAddress, stakingCredentialHash, paymentCredentialHash, stringToHex, MAX_NEXT, voidData, outputReference, scriptCredential, keyCredential, labeledAssetName, stripCIP67Label, hasCIP67Label, buildCIP68FTDatum, } from "./core/evo-utils.js";
+export { buildEvoScript, computeScriptHash, parameterizeScript, scriptAddress, rewardAddress, baseAddress, stakingCredentialHash, paymentCredentialHash, getInlineDatum, REGISTRY_NODE_MIN_ADA, stringToHex, MAX_NEXT, voidData, outputReference, scriptCredential, keyCredential, labeledAssetName, stripCIP67Label, hasCIP67Label, buildCIP68FTDatum, } from "./core/evo-utils.js";
 export { sortTxInputs, findRefInputIndex } from "./core/registry.js";
+export { mintAssetsFromMap, outputAssets } from "./core/evo-utils.js";
+export { registryNodeDatum, decodeRegistryNode, registryInitRedeemer, registryInsertRedeemer, mintingProofRefInput, mintingProofOutputIndex, protocolParamsDatum, decodeProtocolParams, } from "./core/evo-utils.js";
+export type { RegistryNodeData, ProtocolParamsData, Cip113Credential, } from "./core/evo-utils.js";
+export { assertDeploymentScripts, DeploymentMismatchError, createStandardScripts, type ScriptHashCheck, type StandardScripts, } from "./standard/scripts.js";
+export { CIP171_METADATA_LABEL, CIP171_MAX_CHUNK_BYTES, CompilerType, buildCip171PlutusData, buildCip171Metadatum, chunkBytes, decodeCip171Metadatum, decodeCip171PlutusData, } from "./core/cip171.js";
+export type { Cip171Record, Cip171ScriptEntry, } from "./core/cip171.js";
 export { addressHexToBech32 } from "./provider/address-utils.js";
 export { assembleSignedTx } from "./provider/tx-utils.js";
 export type { FESDeploymentParams } from "./substandards/freeze-and-seize/types.js";
 export { preview as previewChain, preprod as preprodChain, mainnet as mainnetChain, Address as EvoAddress, Assets as EvoAssets, TransactionHash as EvoTransactionHash, Transaction as EvoTransaction, TransactionWitnessSet as EvoTransactionWitnessSet, Data as EvoData, } from "@evolution-sdk/evolution";
 import { Client } from "@evolution-sdk/evolution";
 export declare const evoClient: (chain?: import("@evolution-sdk/evolution").Chain) => Client.ClientAssembly;
+export { compareTxInputs, referenceInputIndexOf, compareWithdrawalKeys, sortWithdrawalKeys, withdrawalIndexOf, BaseSpendVia, baseSpendRedeemer, transferRedeemer, thirdPartyRedeemer, unfrackingRedeemer, } from "./core/ledger-order.js";
+export type { WithdrawalKey, BaseSpendVariant, RegistryProofRef } from "./core/ledger-order.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,eAAe,EAAY,MAAM,YAAY,CAAC;AAC9E,OAAO,KAAK,EACV,SAAS,EACT,iBAAiB,EACjB,cAAc,EACd,UAAU,EACV,UAAU,EACV,cAAc,EACd,YAAY,EACZ,cAAc,EACd,WAAW,EACX,oBAAoB,EACpB,UAAU,EACX,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAA0B,KAAK,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAM7F,MAAM,WAAW,YAAY;IAC3B,6DAA6D;IAC7D,MAAM,EAAE,SAAS,CAAC;IAElB,sCAAsC;IACtC,QAAQ,EAAE;QACR,SAAS,EAAE,eAAe,CAAC;QAC3B,UAAU,EAAE,gBAAgB,CAAC;KAC9B,CAAC;IAEF,sCAAsC;IACtC,YAAY,CAAC,EAAE,iBAAiB,EAAE,CAAC;IAEnC,wGAAwG;IACxG,sBAAsB,CAAC,EAAE,CAAC,YAAY,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CACrE;AAMD,MAAM,WAAW,cAAc;IAC7B,uDAAuD;IACvD,QAAQ,CAAC,OAAO,EAAE,uBAAuB,CAAC;IAE1C,gCAAgC;IAChC,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;IAEtC,+BAA+B;IAC/B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAI3B,wCAAwC;IACxC,QAAQ,CAAC,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAE7E,6BAA6B;IAC7B,IAAI,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAE9C,kBAAkB;IAClB,IAAI,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAE9C,sBAAsB;IACtB,QAAQ,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAItD,UAAU,EAAE;QACV,6DAA6D;QAC7D,IAAI,CAAC,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,oBAAoB,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QAE/E,wBAAwB;QACxB,MAAM,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QAElD,0BAA0B;QAC1B,QAAQ,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QAEtD,mBAAmB;QACnB,KAAK,CAAC,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;KACjD,CAAC;IAIF,mDAAmD;IACnD,mBAAmB,CAAC,MAAM,EAAE,iBAAiB,GAAG,IAAI,CAAC;IAErD,yCAAyC;IACzC,cAAc,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAAC;IAE1D,0CAA0C;IAC1C,gBAAgB,IAAI,MAAM,EAAE,CAAC;CAC9B;AAMD,eAAO,MAAM,MAAM;IACjB;;;;;OAKG;iBACU,YAAY,GAAG,cAAc;CA0I3C,CAAC;AAMF,YAAY,EACV,SAAS,EACT,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,UAAU,EACV,UAAU,EACV,cAAc,EACd,YAAY,EACZ,cAAc,EACd,WAAW,EACX,oBAAoB,EACpB,UAAU,EACV,kBAAkB,GACnB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,gBAAgB,EAChB,eAAe,EACf,YAAY,EACZ,OAAO,EACP,IAAI,EACJ,OAAO,EACP,QAAQ,EACR,UAAU,EACV,SAAS,EACT,MAAM,GACP,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,aAAa,EACb,aAAa,EACb,WAAW,EACX,qBAAqB,EACrB,qBAAqB,EACrB,WAAW,EACX,QAAQ,EACR,QAAQ,EACR,eAAe,EACf,gBAAgB,EAChB,aAAa,EACb,gBAAgB,EAChB,eAAe,EACf,aAAa,EACb,iBAAiB,GAClB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,YAAY,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AAGpF,OAAO,EACL,OAAO,IAAI,YAAY,EACvB,OAAO,IAAI,YAAY,EACvB,OAAO,IAAI,YAAY,EACvB,OAAO,IAAI,UAAU,EACrB,MAAM,IAAI,SAAS,EACnB,eAAe,IAAI,kBAAkB,EACrC,WAAW,IAAI,cAAc,EAC7B,qBAAqB,IAAI,wBAAwB,EACjD,IAAI,IAAI,OAAO,GAChB,MAAM,0BAA0B,CAAC;AAGlC,OAAO,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAClD,eAAO,MAAM,SAAS,6EAAc,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,eAAe,EAAY,MAAM,YAAY,CAAC;AAC9E,OAAO,KAAK,EACV,SAAS,EACT,iBAAiB,EACjB,cAAc,EACd,UAAU,EACV,UAAU,EACV,cAAc,EACd,wBAAwB,EACxB,YAAY,EACZ,cAAc,EACd,WAAW,EACX,oBAAoB,EACpB,UAAU,EACX,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAA0B,KAAK,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAM7F,MAAM,WAAW,YAAY;IAC3B,6DAA6D;IAC7D,MAAM,EAAE,SAAS,CAAC;IAElB,sCAAsC;IACtC,QAAQ,EAAE;QACR,SAAS,EAAE,eAAe,CAAC;QAC3B,UAAU,EAAE,gBAAgB,CAAC;KAC9B,CAAC;IAEF,sCAAsC;IACtC,YAAY,CAAC,EAAE,iBAAiB,EAAE,CAAC;IAEnC,wGAAwG;IACxG,sBAAsB,CAAC,EAAE,CAAC,YAAY,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IAEpE;;;;;;OAMG;IACH,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAMD,MAAM,WAAW,cAAc;IAC7B,uDAAuD;IACvD,QAAQ,CAAC,OAAO,EAAE,uBAAuB,CAAC;IAE1C,gCAAgC;IAChC,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;IAEtC,+BAA+B;IAC/B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAI3B,wCAAwC;IACxC,QAAQ,CAAC,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAE7E,6BAA6B;IAC7B,IAAI,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAE9C,kBAAkB;IAClB,IAAI,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAE9C,sBAAsB;IACtB,QAAQ,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAEtD;;;;;;OAMG;IACH,kBAAkB,CAAC,MAAM,EAAE,wBAAwB,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAI1E,UAAU,EAAE;QACV,6DAA6D;QAC7D,IAAI,CAAC,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,oBAAoB,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QAE/E,wBAAwB;QACxB,MAAM,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QAElD,0BAA0B;QAC1B,QAAQ,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QAEtD,mBAAmB;QACnB,KAAK,CAAC,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;KACjD,CAAC;IAIF,mDAAmD;IACnD,mBAAmB,CAAC,MAAM,EAAE,iBAAiB,GAAG,IAAI,CAAC;IAErD,yCAAyC;IACzC,cAAc,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAAC;IAE1D,0CAA0C;IAC1C,gBAAgB,IAAI,MAAM,EAAE,CAAC;CAC9B;AAMD,eAAO,MAAM,MAAM;IACjB;;;;;OAKG;iBACU,YAAY,GAAG,cAAc;CAsL3C,CAAC;AAMF,YAAY,EACV,SAAS,EACT,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,UAAU,EACV,UAAU,EACV,cAAc,EACd,YAAY,EACZ,cAAc,EACd,WAAW,EACX,oBAAoB,EACpB,UAAU,EACV,kBAAkB,GACnB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,gBAAgB,EAChB,eAAe,EACf,YAAY,EACZ,OAAO,EACP,IAAI,EACJ,OAAO,EACP,QAAQ,EACR,UAAU,EACV,SAAS,EACT,MAAM,GACP,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,aAAa,EACb,aAAa,EACb,WAAW,EACX,qBAAqB,EACrB,qBAAqB,EACrB,cAAc,EACd,qBAAqB,EACrB,WAAW,EACX,QAAQ,EACR,QAAQ,EACR,eAAe,EACf,gBAAgB,EAChB,aAAa,EACb,gBAAgB,EAChB,eAAe,EACf,aAAa,EACb,iBAAiB,GAClB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACrE,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,uBAAuB,EACvB,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACV,gBAAgB,EAChB,kBAAkB,EAClB,gBAAgB,GACjB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,uBAAuB,EACvB,uBAAuB,EACvB,qBAAqB,EACrB,KAAK,eAAe,EACpB,KAAK,eAAe,GACrB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,YAAY,EACZ,qBAAqB,EACrB,oBAAoB,EACpB,UAAU,EACV,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,YAAY,EACZ,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,YAAY,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AAGpF,OAAO,EACL,OAAO,IAAI,YAAY,EACvB,OAAO,IAAI,YAAY,EACvB,OAAO,IAAI,YAAY,EACvB,OAAO,IAAI,UAAU,EACrB,MAAM,IAAI,SAAS,EACnB,eAAe,IAAI,kBAAkB,EACrC,WAAW,IAAI,cAAc,EAC7B,qBAAqB,IAAI,wBAAwB,EACjD,IAAI,IAAI,OAAO,GAChB,MAAM,0BAA0B,CAAC;AAGlC,OAAO,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAClD,eAAO,MAAM,SAAS,6EAAc,CAAC;AAMrC,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,qBAAqB,EACrB,kBAAkB,EAClB,iBAAiB,EACjB,YAAY,EACZ,iBAAiB,EACjB,gBAAgB,EAChB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EAAE,aAAa,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC"}

package/dist/index.js

@@ -45,6 +45,7 @@ export const CIP113 = {
             client: config.client,
             standardScripts: scripts,
             deployment: config.standard.deployment,
+            evaluator: config.evaluator,
             network: config.client.chain.id === 1 ? "mainnet" : "preprod",
             checkStakeRegistration: config.checkStakeRegistration,
         };
@@ -86,6 +87,20 @@ export const CIP113 = {
             async register(substandardId, params) {
                 return requireSubstandard(substandardId).register(params);
             },
+            async thirdPartyTransfer(params) {
+                if (!params.substandardId) {
+                    throw new Error("thirdPartyTransfer requires an explicit substandardId. There is deliberately no " +
+                        "try-all fallback: this operation moves someone else's tokens without their " +
+                        "signature, and selecting the authority by trial is not acceptable for that.");
+                }
+                const plugin = requireSubstandard(params.substandardId);
+                if (!plugin.thirdPartyTransfer) {
+                    throw new Error(`Substandard "${params.substandardId}" does not support third-party transfers. ` +
+                        `Implementing it is a claim that the substandard has an administrative authority ` +
+                        `and has wired its registry node's third_party_transfer_logic_script accordingly.`);
+                }
+                return plugin.thirdPartyTransfer(params);
+            },
             async mint(params) {
                 if (params.substandardId) {
                     return requireSubstandard(params.substandardId).mint(params);
@@ -113,25 +128,40 @@ export const CIP113 = {
                     return plugin.initCompliance(params);
                 },
                 async freeze(params) {
-                    return tryAllSubstandards("freeze", params.tokenPolicyId, (p) => {
-                        if (!p.freeze)
-                            throw new Error(`${p.id} does not support freeze`);
-                        return p.freeze(params);
-                    });
+                    // Explicit routing, NO try-all. Two reasons, and the second is the one
+                    // that cost time: an administrative operation must not pick its own
+                    // authority by trial; and a fallback CONVERTS A REAL VALIDATOR FAILURE
+                    // INTO "no substandard can handle this", which is a different category
+                    // of fault and sends the reader somewhere else entirely.
+                    const plugin = requireSubstandard(params.substandardId);
+                    if (!plugin.freeze) {
+                        throw new Error(`Substandard "${params.substandardId}" does not support freeze.`);
+                    }
+                    return plugin.freeze(params);
                 },
                 async unfreeze(params) {
-                    return tryAllSubstandards("unfreeze", params.tokenPolicyId, (p) => {
-                        if (!p.unfreeze)
-                            throw new Error(`${p.id} does not support unfreeze`);
-                        return p.unfreeze(params);
-                    });
+                    // Explicit routing, NO try-all. Two reasons, and the second is the one
+                    // that cost time: an administrative operation must not pick its own
+                    // authority by trial; and a fallback CONVERTS A REAL VALIDATOR FAILURE
+                    // INTO "no substandard can handle this", which is a different category
+                    // of fault and sends the reader somewhere else entirely.
+                    const plugin = requireSubstandard(params.substandardId);
+                    if (!plugin.unfreeze) {
+                        throw new Error(`Substandard "${params.substandardId}" does not support unfreeze.`);
+                    }
+                    return plugin.unfreeze(params);
                 },
                 async seize(params) {
-                    return tryAllSubstandards("seize", params.tokenPolicyId, (p) => {
-                        if (!p.seize)
-                            throw new Error(`${p.id} does not support seize`);
-                        return p.seize(params);
-                    });
+                    // Explicit routing, NO try-all. Two reasons, and the second is the one
+                    // that cost time: an administrative operation must not pick its own
+                    // authority by trial; and a fallback CONVERTS A REAL VALIDATOR FAILURE
+                    // INTO "no substandard can handle this", which is a different category
+                    // of fault and sends the reader somewhere else entirely.
+                    const plugin = requireSubstandard(params.substandardId);
+                    if (!plugin.seize) {
+                        throw new Error(`Substandard "${params.substandardId}" does not support seize.`);
+                    }
+                    return plugin.seize(params);
                 },
             },
             registerSubstandard(plugin) {
@@ -147,8 +177,12 @@ export const CIP113 = {
         };
     },
 };
-export { buildEvoScript, computeScriptHash, parameterizeScript, scriptAddress, rewardAddress, baseAddress, stakingCredentialHash, paymentCredentialHash, stringToHex, MAX_NEXT, voidData, outputReference, scriptCredential, keyCredential, labeledAssetName, stripCIP67Label, hasCIP67Label, buildCIP68FTDatum, } from "./core/evo-utils.js";
+export { buildEvoScript, computeScriptHash, parameterizeScript, scriptAddress, rewardAddress, baseAddress, stakingCredentialHash, paymentCredentialHash, getInlineDatum, REGISTRY_NODE_MIN_ADA, stringToHex, MAX_NEXT, voidData, outputReference, scriptCredential, keyCredential, labeledAssetName, stripCIP67Label, hasCIP67Label, buildCIP68FTDatum, } from "./core/evo-utils.js";
 export { sortTxInputs, findRefInputIndex } from "./core/registry.js";
+export { mintAssetsFromMap, outputAssets } from "./core/evo-utils.js";
+export { registryNodeDatum, decodeRegistryNode, registryInitRedeemer, registryInsertRedeemer, mintingProofRefInput, mintingProofOutputIndex, protocolParamsDatum, decodeProtocolParams, } from "./core/evo-utils.js";
+export { assertDeploymentScripts, DeploymentMismatchError, createStandardScripts, } from "./standard/scripts.js";
+export { CIP171_METADATA_LABEL, CIP171_MAX_CHUNK_BYTES, CompilerType, buildCip171PlutusData, buildCip171Metadatum, chunkBytes, decodeCip171Metadatum, decodeCip171PlutusData, } from "./core/cip171.js";
 export { addressHexToBech32 } from "./provider/address-utils.js";
 export { assembleSignedTx } from "./provider/tx-utils.js";
 // Re-export Evolution SDK essentials so consumers don't need a direct dependency
@@ -156,4 +190,8 @@ export { preview as previewChain, preprod as preprodChain, mainnet as mainnetCha
 // Re-export Client.make as evoClient for convenience
 import { Client } from "@evolution-sdk/evolution";
 export const evoClient = Client.make;
+// ---------------------------------------------------------------------------
+// Ledger ordering and 0.5.x redeemers (T-D04)
+// ---------------------------------------------------------------------------
+export { compareTxInputs, referenceInputIndexOf, compareWithdrawalKeys, sortWithdrawalKeys, withdrawalIndexOf, BaseSpendVia, baseSpendRedeemer, transferRedeemer, thirdPartyRedeemer, unfrackingRedeemer, } from "./core/ledger-order.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAgBH,OAAO,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EAAE,sBAAsB,EAAgC,MAAM,uBAAuB,CAAC;AA+E7F,8EAA8E;AAC9E,OAAO;AACP,8EAA8E;AAE9E,MAAM,CAAC,MAAM,MAAM,GAAG;IACpB;;;;;OAKG;IACH,IAAI,CAAC,MAAoB;QACvB,0DAA0D;QAC1D,yBAAyB,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAErD,qEAAqE;QACrE,MAAM,OAAO,GAAG,sBAAsB,CACpC,MAAM,CAAC,QAAQ,CAAC,SAAS,EACzB,MAAM,CAAC,QAAQ,CAAC,UAAU,CAC3B,CAAC;QAEF,kCAAkC;QAClC,MAAM,YAAY,GAAG,IAAI,GAAG,EAA6B,CAAC;QAE1D,gCAAgC;QAChC,MAAM,kBAAkB,GAA6D;YACnF,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,eAAe,EAAE,OAAO;YACxB,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU;YACtC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;YAC7D,sBAAsB,EAAE,MAAM,CAAC,sBAAsB;SACtD,CAAC;QAEF,gDAAgD;QAChD,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;YACxB,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;gBACzC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;gBAChC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QAED,+BAA+B;QAC/B,KAAK,UAAU,kBAAkB,CAC/B,SAAiB,EACjB,QAAgB,EAChB,EAAsD;YAEtD,IAAI,SAAkB,CAAC;YACvB,KAAK,MAAM,MAAM,IAAI,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC3C,IAAI,CAAC;oBACH,OAAO,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC;gBAC1B,CAAC;gBAAC,OAAO,CAAC,EAAE,CAAC;oBACX,SAAS,GAAG,CAAC,CAAC;oBACd,SAAS;gBACX,CAAC;YACH,CAAC;YACD,MAAM,IAAI,KAAK,CACb,6BAA6B,SAAS,eAAe,QAAQ,IAAI;gBACjE,eAAe,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;gBACvD,eAAe,SAAS,YAAY,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI;gBACrF,6CAA6C,CAC9C,CAAC;QACJ,CAAC;QAED,SAAS,kBAAkB,CAAC,EAAU;YACpC,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACpC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,MAAM,IAAI,KAAK,CACb,gBAAgB,EAAE,gCAAgC,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACxF,CAAC;YACJ,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,OAAO;YACL,OAAO;YACP,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU;YACtC,MAAM,EAAE,MAAM,CAAC,MAAM;YAErB,KAAK,CAAC,QAAQ,CAAC,aAAa,EAAE,MAAM;gBAClC,OAAO,kBAAkB,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC5D,CAAC;YAED,KAAK,CAAC,IAAI,CAAC,MAAM;gBACf,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;oBACzB,OAAO,kBAAkB,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC/D,CAAC;gBACD,OAAO,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;YACjF,CAAC;YAED,KAAK,CAAC,IAAI,CAAC,MAAM;gBACf,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;oBACzB,OAAO,kBAAkB,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC/D,CAAC;gBACD,OAAO,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;YACjF,CAAC;YAED,KAAK,CAAC,QAAQ,CAAC,MAAM;gBACnB,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;oBACzB,OAAO,kBAAkB,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBACnE,CAAC;gBACD,OAAO,kBAAkB,CAAC,UAAU,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;YACzF,CAAC;YAED,UAAU,EAAE;gBACV,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM;oBAC9B,MAAM,MAAM,GAAG,kBAAkB,CAAC,aAAa,CAAC,CAAC;oBACjD,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;wBAC3B,MAAM,IAAI,KAAK,CAAC,gBAAgB,aAAa,8CAA8C,CAAC,CAAC;oBAC/F,CAAC;oBACD,OAAO,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;gBACvC,CAAC;gBAED,KAAK,CAAC,MAAM,CAAC,MAAM;oBACjB,OAAO,kBAAkB,CAAC,QAAQ,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE;wBAC9D,IAAI,CAAC,CAAC,CAAC,MAAM;4BAAE,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,0BAA0B,CAAC,CAAC;wBAClE,OAAO,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;oBAC1B,CAAC,CAAC,CAAC;gBACL,CAAC;gBAED,KAAK,CAAC,QAAQ,CAAC,MAAM;oBACnB,OAAO,kBAAkB,CAAC,UAAU,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE;wBAChE,IAAI,CAAC,CAAC,CAAC,QAAQ;4BAAE,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,4BAA4B,CAAC,CAAC;wBACtE,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;oBAC5B,CAAC,CAAC,CAAC;gBACL,CAAC;gBAED,KAAK,CAAC,KAAK,CAAC,MAAM;oBAChB,OAAO,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE;wBAC7D,IAAI,CAAC,CAAC,CAAC,KAAK;4BAAE,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,yBAAyB,CAAC,CAAC;wBAChE,OAAO,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;oBACzB,CAAC,CAAC,CAAC;gBACL,CAAC;aACF;YAED,mBAAmB,CAAC,MAAM;gBACxB,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;gBAChC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YACtC,CAAC;YAED,cAAc,CAAC,EAAE;gBACf,OAAO,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC9B,CAAC;YAED,gBAAgB;gBACd,OAAO,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC;YAClC,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAkCF,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,aAAa,EACb,aAAa,EACb,WAAW,EACX,qBAAqB,EACrB,qBAAqB,EACrB,WAAW,EACX,QAAQ,EACR,QAAQ,EACR,eAAe,EACf,gBAAgB,EAChB,aAAa,EACb,gBAAgB,EAChB,eAAe,EACf,aAAa,EACb,iBAAiB,GAClB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAG1D,iFAAiF;AACjF,OAAO,EACL,OAAO,IAAI,YAAY,EACvB,OAAO,IAAI,YAAY,EACvB,OAAO,IAAI,YAAY,EACvB,OAAO,IAAI,UAAU,EACrB,MAAM,IAAI,SAAS,EACnB,eAAe,IAAI,kBAAkB,EACrC,WAAW,IAAI,cAAc,EAC7B,qBAAqB,IAAI,wBAAwB,EACjD,IAAI,IAAI,OAAO,GAChB,MAAM,0BAA0B,CAAC;AAElC,qDAAqD;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAClD,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAiBH,OAAO,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EAAE,sBAAsB,EAAgC,MAAM,uBAAuB,CAAC;AAiG7F,8EAA8E;AAC9E,OAAO;AACP,8EAA8E;AAE9E,MAAM,CAAC,MAAM,MAAM,GAAG;IACpB;;;;;OAKG;IACH,IAAI,CAAC,MAAoB;QACvB,0DAA0D;QAC1D,yBAAyB,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAErD,qEAAqE;QACrE,MAAM,OAAO,GAAG,sBAAsB,CACpC,MAAM,CAAC,QAAQ,CAAC,SAAS,EACzB,MAAM,CAAC,QAAQ,CAAC,UAAU,CAC3B,CAAC;QAEF,kCAAkC;QAClC,MAAM,YAAY,GAAG,IAAI,GAAG,EAA6B,CAAC;QAE1D,gCAAgC;QAChC,MAAM,kBAAkB,GAA6D;YACnF,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,eAAe,EAAE,OAAO;YACxB,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU;YACtC,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;YAC7D,sBAAsB,EAAE,MAAM,CAAC,sBAAsB;SACtD,CAAC;QAEF,gDAAgD;QAChD,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;YACxB,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;gBACzC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;gBAChC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QAED,+BAA+B;QAC/B,KAAK,UAAU,kBAAkB,CAC/B,SAAiB,EACjB,QAAgB,EAChB,EAAsD;YAEtD,IAAI,SAAkB,CAAC;YACvB,KAAK,MAAM,MAAM,IAAI,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC3C,IAAI,CAAC;oBACH,OAAO,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC;gBAC1B,CAAC;gBAAC,OAAO,CAAC,EAAE,CAAC;oBACX,SAAS,GAAG,CAAC,CAAC;oBACd,SAAS;gBACX,CAAC;YACH,CAAC;YACD,MAAM,IAAI,KAAK,CACb,6BAA6B,SAAS,eAAe,QAAQ,IAAI;gBACjE,eAAe,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;gBACvD,eAAe,SAAS,YAAY,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI;gBACrF,6CAA6C,CAC9C,CAAC;QACJ,CAAC;QAED,SAAS,kBAAkB,CAAC,EAAU;YACpC,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACpC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,MAAM,IAAI,KAAK,CACb,gBAAgB,EAAE,gCAAgC,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACxF,CAAC;YACJ,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,OAAO;YACL,OAAO;YACP,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU;YACtC,MAAM,EAAE,MAAM,CAAC,MAAM;YAErB,KAAK,CAAC,QAAQ,CAAC,aAAa,EAAE,MAAM;gBAClC,OAAO,kBAAkB,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC5D,CAAC;YAED,KAAK,CAAC,kBAAkB,CAAC,MAAM;gBAC7B,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;oBAC1B,MAAM,IAAI,KAAK,CACb,kFAAkF;wBAChF,6EAA6E;wBAC7E,6EAA6E,CAChF,CAAC;gBACJ,CAAC;gBACD,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;gBACxD,IAAI,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;oBAC/B,MAAM,IAAI,KAAK,CACb,gBAAgB,MAAM,CAAC,aAAa,4CAA4C;wBAC9E,kFAAkF;wBAClF,kFAAkF,CACrF,CAAC;gBACJ,CAAC;gBACD,OAAO,MAAM,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;YAC3C,CAAC;YAED,KAAK,CAAC,IAAI,CAAC,MAAM;gBACf,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;oBACzB,OAAO,kBAAkB,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC/D,CAAC;gBACD,OAAO,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;YACjF,CAAC;YAED,KAAK,CAAC,IAAI,CAAC,MAAM;gBACf,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;oBACzB,OAAO,kBAAkB,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC/D,CAAC;gBACD,OAAO,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;YACjF,CAAC;YAED,KAAK,CAAC,QAAQ,CAAC,MAAM;gBACnB,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;oBACzB,OAAO,kBAAkB,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBACnE,CAAC;gBACD,OAAO,kBAAkB,CAAC,UAAU,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;YACzF,CAAC;YAED,UAAU,EAAE;gBACV,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM;oBAC9B,MAAM,MAAM,GAAG,kBAAkB,CAAC,aAAa,CAAC,CAAC;oBACjD,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;wBAC3B,MAAM,IAAI,KAAK,CAAC,gBAAgB,aAAa,8CAA8C,CAAC,CAAC;oBAC/F,CAAC;oBACD,OAAO,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;gBACvC,CAAC;gBAED,KAAK,CAAC,MAAM,CAAC,MAAM;oBACjB,uEAAuE;oBACvE,oEAAoE;oBACpE,uEAAuE;oBACvE,uEAAuE;oBACvE,yDAAyD;oBACzD,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;oBACxD,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;wBACnB,MAAM,IAAI,KAAK,CACb,gBAAgB,MAAM,CAAC,aAAa,4BAA4B,CACjE,CAAC;oBACJ,CAAC;oBACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC/B,CAAC;gBAED,KAAK,CAAC,QAAQ,CAAC,MAAM;oBACnB,uEAAuE;oBACvE,oEAAoE;oBACpE,uEAAuE;oBACvE,uEAAuE;oBACvE,yDAAyD;oBACzD,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;oBACxD,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;wBACrB,MAAM,IAAI,KAAK,CACb,gBAAgB,MAAM,CAAC,aAAa,8BAA8B,CACnE,CAAC;oBACJ,CAAC;oBACD,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBACjC,CAAC;gBAED,KAAK,CAAC,KAAK,CAAC,MAAM;oBAChB,uEAAuE;oBACvE,oEAAoE;oBACpE,uEAAuE;oBACvE,uEAAuE;oBACvE,yDAAyD;oBACzD,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;oBACxD,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;wBAClB,MAAM,IAAI,KAAK,CACb,gBAAgB,MAAM,CAAC,aAAa,2BAA2B,CAChE,CAAC;oBACJ,CAAC;oBACD,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;gBAC9B,CAAC;aACF;YAED,mBAAmB,CAAC,MAAM;gBACxB,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;gBAChC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YACtC,CAAC;YAED,cAAc,CAAC,EAAE;gBACf,OAAO,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC9B,CAAC;YAED,gBAAgB;gBACd,OAAO,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC;YAClC,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAkCF,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,aAAa,EACb,aAAa,EACb,WAAW,EACX,qBAAqB,EACrB,qBAAqB,EACrB,cAAc,EACd,qBAAqB,EACrB,WAAW,EACX,QAAQ,EACR,QAAQ,EACR,eAAe,EACf,gBAAgB,EAChB,aAAa,EACb,gBAAgB,EAChB,eAAe,EACf,aAAa,EACb,iBAAiB,GAClB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACrE,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,uBAAuB,EACvB,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,qBAAqB,CAAC;AAM7B,OAAO,EACL,uBAAuB,EACvB,uBAAuB,EACvB,qBAAqB,GAGtB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,YAAY,EACZ,qBAAqB,EACrB,oBAAoB,EACpB,UAAU,EACV,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,kBAAkB,CAAC;AAK1B,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAG1D,iFAAiF;AACjF,OAAO,EACL,OAAO,IAAI,YAAY,EACvB,OAAO,IAAI,YAAY,EACvB,OAAO,IAAI,YAAY,EACvB,OAAO,IAAI,UAAU,EACrB,MAAM,IAAI,SAAS,EACnB,eAAe,IAAI,kBAAkB,EACrC,WAAW,IAAI,cAAc,EAC7B,qBAAqB,IAAI,wBAAwB,EACjD,IAAI,IAAI,OAAO,GAChB,MAAM,0BAA0B,CAAC;AAElC,qDAAqD;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAClD,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC;AAErC,8EAA8E;AAC9E,8CAA8C;AAC9C,8EAA8E;AAE9E,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,qBAAqB,EACrB,kBAAkB,EAClB,iBAAiB,EACjB,YAAY,EACZ,iBAAiB,EACjB,gBAAgB,EAChB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,wBAAwB,CAAC"}

package/dist/standard/blueprint.d.ts

@@ -4,22 +4,69 @@
 import type { PlutusBlueprint, BlueprintValidator, HexString } from "../types.js";
 /**
  * Standard validator titles as they appear in the blueprint.
+ *
+ * Targets CIP-113 0.5.0-alpha.2 (upstream commit 9db7e06). See PLAN.md D-11.
+ *
+ * --- The dissolution of programmable_logic_global ------------------------
+ *
+ * Upstream #110 dissolved the PLG coordinator. Its transfer arm was RENAMED
+ * `transfer`; third-party (seize/clawback) logic moved to a new standalone
+ * `third_party`; `unfracking` is no longer reached through it. Instead
+ * `programmable_logic_base` dispatches straight to one of the three.
+ *
+ * The practical consequence for this table: the title
+ * `programmable_logic_global.programmable_logic_global.withdraw` NO LONGER
+ * EXISTS in any 0.5.x blueprint. Its removal is why validateStandardBlueprint()
+ * fails closed on the new artifact rather than silently building transactions
+ * against a validator that is not there — the loud failure is deliberate and
+ * must not be "fixed" by relaxing the check.
+ *
+ * --- Do not read upstream's CONTRACT_SURFACE_CHANGES.md for these ---------
+ *
+ * That document contains an SDK impact map naming this repository by path, and
+ * it is WRONG about the params datum in a way that produces malformed
+ * transactions (it says 6 fields; the artifact has 7, and one line is phrased
+ * as an instruction to build the 6-field shape). Every title, arity and field
+ * order here comes from the blueprint itself. See PLAN.md, W-D hazard box.
  */
 export declare const STANDARD_VALIDATORS: {
     readonly ALWAYS_FAIL: "always_fail.always_fail.spend";
     readonly PROTOCOL_PARAMS_MINT: "protocol_params_mint.protocol_params_mint.mint";
-    readonly PROGRAMMABLE_LOGIC_GLOBAL: "programmable_logic_global.programmable_logic_global.withdraw";
     readonly PROGRAMMABLE_LOGIC_BASE: "programmable_logic_base.programmable_logic_base.spend";
     readonly ISSUANCE_CBOR_HEX_MINT: "issuance_cbor_hex_mint.issuance_cbor_hex_mint.mint";
     readonly ISSUANCE_MINT: "issuance_mint.issuance_mint.mint";
     readonly REGISTRY_MINT: "registry_mint.registry_mint.mint";
     readonly REGISTRY_SPEND: "registry_spend.registry_spend.spend";
+    /** PLG's transfer arm, renamed by #110. Withdraw-0. */
+    readonly TRANSFER: "transfer.transfer.withdraw";
+    /** Seize / clawback, split out of PLG by #110. Withdraw-0. */
+    readonly THIRD_PARTY: "third_party.third_party.withdraw";
+    /** Now dispatched to directly by PLB, with no PLG hop. Withdraw-0. */
+    readonly UNFRACKING: "unfracking.unfracking.withdraw";
+    /** Holds the coordination UTxO — the live protocol wiring. Spend. */
+    readonly COORDINATION_SPEND: "coordination_spend.coordination_spend.spend";
+    /** Reference upgrade authority; the initial `upgrade_cred` target. Withdraw-0. */
+    readonly UPGRADE_MULTISIG: "upgrade_multisig.upgrade_multisig.withdraw";
 };
+/**
+ * Validator titles that existed in earlier CIP-113 releases and are GONE.
+ *
+ * Kept so that loading an old blueprint produces a diagnosis instead of a bare
+ * "missing required validator", which reads as a corrupt file rather than as
+ * "this SDK no longer targets that protocol version".
+ */
+export declare const RETIRED_VALIDATORS: Record<string, string>;
 /**
  * Get a validator's compiled code from a blueprint by title.
  * Throws if the validator is not found.
  */
 export declare function getValidatorCode(blueprint: PlutusBlueprint, title: string): HexString;
+/**
+ * Get a validator's un-parameterised script hash from a blueprint by title.
+ * This is the hash Aiken stamps in plutus.json — what CIP-171 verifiers
+ * reproduce by compiling the source repo at the named commit.
+ */
+export declare function getValidatorHash(blueprint: PlutusBlueprint, title: string): HexString;
 /**
  * Get a validator entry from a blueprint by title.
  */

package/dist/standard/blueprint.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"blueprint.d.ts","sourceRoot":"","sources":["../../src/standard/blueprint.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAElF;;GAEG;AACH,eAAO,MAAM,mBAAmB;;;;;;;;;CAStB,CAAC;AAEX;;;GAGG;AACH,wBAAgB,gBAAgB,CAC9B,SAAS,EAAE,eAAe,EAC1B,KAAK,EAAE,MAAM,GACZ,SAAS,CAQX;AAED;;GAEG;AACH,wBAAgB,YAAY,CAC1B,SAAS,EAAE,eAAe,EAC1B,KAAK,EAAE,MAAM,GACZ,kBAAkB,CAQpB;AAED;;GAEG;AACH,wBAAgB,yBAAyB,CAAC,SAAS,EAAE,eAAe,GAAG,IAAI,CAS1E"}
+{"version":3,"file":"blueprint.d.ts","sourceRoot":"","sources":["../../src/standard/blueprint.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAElF;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,mBAAmB;;;;;;;;IAS9B,uDAAuD;;IAEvD,8DAA8D;;IAE9D,sEAAsE;;IAEtE,qEAAqE;;IAErE,kFAAkF;;CAE1E,CAAC;AAEX;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAKrD,CAAC;AAEF;;;GAGG;AACH,wBAAgB,gBAAgB,CAC9B,SAAS,EAAE,eAAe,EAC1B,KAAK,EAAE,MAAM,GACZ,SAAS,CAQX;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAC9B,SAAS,EAAE,eAAe,EAC1B,KAAK,EAAE,MAAM,GACZ,SAAS,CAEX;AAED;;GAEG;AACH,wBAAgB,YAAY,CAC1B,SAAS,EAAE,eAAe,EAC1B,KAAK,EAAE,MAAM,GACZ,kBAAkB,CAQpB;AAED;;GAEG;AACH,wBAAgB,yBAAyB,CAAC,SAAS,EAAE,eAAe,GAAG,IAAI,CA4B1E"}