@zanii/chain-bridge 0.1.1 → 0.1.2

package/README.md

@@ -51,3 +51,7 @@ first-come-first-served, not a trademark; and the ledger summary returned here i
 server's aggregate — full offline acceptance still means following `audit_bundle`
 with `verifyAuditBundle` (`resolveAndVerify`). Read-only: this package never holds
 keys or funds.
+
+## Changelog
+
+- **0.1.2** — Off-chain settlement helpers: `settlementMemo` / `verifySettlementTx` (a payment provably for one receipt), STH `anchorData`, the same key's Solana / Sui / Aptos addresses (confirm with the chain's own SDK before moving funds), `chainEventReceipt`, `walletPolicyFromDelegation`, `taxLotExport`, two-party payment-channel states (`latestChannelState`), and `compactProof` / `verifyCompactProof` for contracts and counterparties.

package/dist/index.d.ts

@@ -52,4 +52,5 @@ export declare function resolveChainAgent(nameOrAddress: string, opts?: {
     fetchImpl?: FetchLike;
     maxPages?: number;
 }): Promise<ResolvedChainAgent | null>;
+export * from './settlement.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":"AA+BA,OAAO,EAAgB,KAAK,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAGrE,MAAM,MAAM,SAAS,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,WAAW,KAAK,OAAO,CAAC,QAAQ,CAAC,CAAC;AAEjF,eAAO,MAAM,SAAS,QAAQ,CAAC;AAC/B,eAAO,MAAM,iBAAiB,oCAAoC,CAAC;AAEnE,wDAAwD;AACxD,MAAM,WAAW,eAAe;IAC9B,0FAA0F;IAC1F,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,gEAAgE;IAChE,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,+FAA+F;AAC/F,wBAAgB,yBAAyB,CAAC,SAAS,EAAE,UAAU,GAAG,MAAM,CAEvE;AAED,4FAA4F;AAC5F,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAG9D;AAED,qHAAqH;AACrH,wBAAgB,qBAAqB,CAAC,SAAS,EAAE,UAAU,GAAG,MAAM,CAEnE;AAED,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,OAAO,CAAC;IACZ,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,8FAA8F;IAC9F,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IACnB,yDAAyD;IACzD,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,eAAe,GAAG,SAAS,GAAG,YAAY,CAuBxF;AAED,MAAM,WAAW,kBAAkB;IACjC,4CAA4C;IAC5C,KAAK,EAAE,eAAe,CAAC;IACvB,wEAAwE;IACxE,OAAO,EAAE,YAAY,CAAC;IACtB,+HAA+H;IAC/H,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;CAC3B;AAED;;;;;GAKG;AACH,wBAAsB,iBAAiB,CACrC,aAAa,EAAE,MAAM,EACrB,IAAI,GAAE;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAO,GAChG,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAuBpC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AA+BA,OAAO,EAAgB,KAAK,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAGrE,MAAM,MAAM,SAAS,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,WAAW,KAAK,OAAO,CAAC,QAAQ,CAAC,CAAC;AAEjF,eAAO,MAAM,SAAS,QAAQ,CAAC;AAC/B,eAAO,MAAM,iBAAiB,oCAAoC,CAAC;AAEnE,wDAAwD;AACxD,MAAM,WAAW,eAAe;IAC9B,0FAA0F;IAC1F,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,gEAAgE;IAChE,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,+FAA+F;AAC/F,wBAAgB,yBAAyB,CAAC,SAAS,EAAE,UAAU,GAAG,MAAM,CAEvE;AAED,4FAA4F;AAC5F,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAG9D;AAED,qHAAqH;AACrH,wBAAgB,qBAAqB,CAAC,SAAS,EAAE,UAAU,GAAG,MAAM,CAEnE;AAED,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,OAAO,CAAC;IACZ,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,8FAA8F;IAC9F,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IACnB,yDAAyD;IACzD,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,eAAe,GAAG,SAAS,GAAG,YAAY,CAuBxF;AAED,MAAM,WAAW,kBAAkB;IACjC,4CAA4C;IAC5C,KAAK,EAAE,eAAe,CAAC;IACvB,wEAAwE;IACxE,OAAO,EAAE,YAAY,CAAC;IACtB,+HAA+H;IAC/H,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;CAC3B;AAED;;;;;GAKG;AACH,wBAAsB,iBAAiB,CACrC,aAAa,EAAE,MAAM,EACrB,IAAI,GAAE;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAO,GAChG,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAuBpC;AACD,cAAc,iBAAiB,CAAC"}

package/dist/index.js

@@ -110,4 +110,5 @@ export async function resolveChainAgent(nameOrAddress, opts = {}) {
     }
     return { chain: entry, binding, ledger };
 }
+export * from './settlement.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;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,YAAY,EAAmB,MAAM,sBAAsB,CAAC;AACrE,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAIjE,MAAM,CAAC,MAAM,SAAS,GAAG,KAAK,CAAC;AAC/B,MAAM,CAAC,MAAM,iBAAiB,GAAG,iCAAiC,CAAC;AAYnE,+FAA+F;AAC/F,MAAM,UAAU,yBAAyB,CAAC,SAAqB;IAC7D,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,mBAAmB,CAAC,GAAW;IAC7C,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAClC,OAAO,GAAG,CAAC,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACrD,CAAC;AAED,qHAAqH;AACrH,MAAM,UAAU,qBAAqB,CAAC,SAAqB;IACzD,OAAO,gBAAgB,CAAC,SAAS,CAAC,CAAC;AACrC,CAAC;AAWD;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAAkC;IACxE,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,CAAC,GAAG,KAAK,IAAK,EAAsB,CAAC;IAC3C,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,SAAS,GAAG,GAAG,CAAC,EAAE,CAAC;QAC5E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,4BAA4B,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC1F,CAAC;IACD,IAAI,IAA6B,CAAC;IAClC,IAAI,CAAC;QACH,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAA4B,CAAC;IAC3D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,4BAA4B,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC1F,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,EAAE,GAAG,CAAC;IACtB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,mEAAmE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACjI,CAAC;IACD,MAAM,OAAO,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,OAAO;QAAE,OAAO,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;SACvE,IAAI,OAAO,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;QAC/B,OAAO,CAAC,IAAI,CAAC,0BAA0B,OAAO,oCAAoC,CAAC,CAAC,OAAO,kDAAkD,CAAC,CAAC;IACjJ,CAAC;IACD,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;IAChC,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC/E,CAAC;AAWD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,aAAqB,EACrB,OAA+F,EAAE;IAEjG,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC,CAAS,EAAE,CAAe,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClF,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,iBAAiB,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACpE,MAAM,SAAS,GAAG,aAAa,CAAC,UAAU,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;IAErC,IAAI,KAAkC,CAAC;IACvC,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,QAAQ,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;QACrD,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC,GAAG,GAAG,4BAA4B,IAAI,GAAG,GAAG,EAAE,CAAC,CAAC;QAC5E,IAAI,CAAC,GAAG,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;QAClE,MAAM,KAAK,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAsB,CAAC;QACtD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM;QACvD,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC;QAChG,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG;YAAE,MAAM;IAChC,CAAC;IACD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAExB,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,MAAM,GAAsB,IAAI,CAAC;IACrC,IAAI,OAAO,CAAC,EAAE,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;QAC9B,MAAM,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,YAAY,EAAE,SAAS,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAC3C,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,YAAY,EAAmB,MAAM,sBAAsB,CAAC;AACrE,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAIjE,MAAM,CAAC,MAAM,SAAS,GAAG,KAAK,CAAC;AAC/B,MAAM,CAAC,MAAM,iBAAiB,GAAG,iCAAiC,CAAC;AAYnE,+FAA+F;AAC/F,MAAM,UAAU,yBAAyB,CAAC,SAAqB;IAC7D,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,mBAAmB,CAAC,GAAW;IAC7C,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAClC,OAAO,GAAG,CAAC,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACrD,CAAC;AAED,qHAAqH;AACrH,MAAM,UAAU,qBAAqB,CAAC,SAAqB;IACzD,OAAO,gBAAgB,CAAC,SAAS,CAAC,CAAC;AACrC,CAAC;AAWD;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAAkC;IACxE,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,CAAC,GAAG,KAAK,IAAK,EAAsB,CAAC;IAC3C,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,SAAS,GAAG,GAAG,CAAC,EAAE,CAAC;QAC5E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,4BAA4B,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC1F,CAAC;IACD,IAAI,IAA6B,CAAC;IAClC,IAAI,CAAC;QACH,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAA4B,CAAC;IAC3D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,4BAA4B,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC1F,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,EAAE,GAAG,CAAC;IACtB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,mEAAmE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACjI,CAAC;IACD,MAAM,OAAO,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,OAAO;QAAE,OAAO,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;SACvE,IAAI,OAAO,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;QAC/B,OAAO,CAAC,IAAI,CAAC,0BAA0B,OAAO,oCAAoC,CAAC,CAAC,OAAO,kDAAkD,CAAC,CAAC;IACjJ,CAAC;IACD,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;IAChC,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC/E,CAAC;AAWD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,aAAqB,EACrB,OAA+F,EAAE;IAEjG,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC,CAAS,EAAE,CAAe,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClF,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,iBAAiB,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACpE,MAAM,SAAS,GAAG,aAAa,CAAC,UAAU,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;IAErC,IAAI,KAAkC,CAAC;IACvC,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,QAAQ,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;QACrD,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC,GAAG,GAAG,4BAA4B,IAAI,GAAG,GAAG,EAAE,CAAC,CAAC;QAC5E,IAAI,CAAC,GAAG,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;QAClE,MAAM,KAAK,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAsB,CAAC;QACtD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM;QACvD,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC;QAChG,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG;YAAE,MAAM;IAChC,CAAC;IACD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAExB,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,MAAM,GAAsB,IAAI,CAAC;IACrC,IAAI,OAAO,CAAC,EAAE,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;QAC9B,MAAM,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,YAAY,EAAE,SAAS,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAC3C,CAAC;AACD,cAAc,iBAAiB,CAAC"}

package/dist/settlement.d.ts

@@ -0,0 +1,120 @@
+import { type BundledReceipt, type DelegationCert, type SignedObject, type SignedTreeHead } from '@zanii/core';
+/** The memo a payment carries so it is provably for one receipt: `zanii:<receipt hash>`. */
+export declare function settlementMemo(receiptHash: string): string;
+export declare function parseSettlementMemo(memo: string): string | null;
+/** Does this transaction pay `amount` (integer base units) to `to` for exactly this receipt? */
+export declare function verifySettlementTx(tx: {
+    memo?: string;
+    to: string;
+    amount: string | number | bigint;
+    status?: string;
+}, expect: {
+    receiptHash: string;
+    to: string;
+    amount: bigint;
+}): {
+    ok: boolean;
+    reasons: string[];
+};
+/** Transaction data that anchors a signed tree head: `zanii-sth:<size>:<root hex>`. */
+export declare function anchorData(sth: SignedTreeHead): string;
+/** Does this transaction's data anchor this (validly signed) tree head? */
+export declare function verifyAnchorData(data: string, sth: SignedTreeHead): boolean;
+/** The Solana address of the same key: base58 of the Ed25519 public key. */
+export declare function solanaAddressFromDid(did: string): string;
+/** The Sui address of the same key: BLAKE2b-256(0x00 flag || public key). */
+export declare function suiAddressFromDid(did: string): string;
+/** The Aptos address of the same key (single-signer Ed25519): SHA3-256(public key || 0x00). */
+export declare function aptosAddressFromDid(did: string): string;
+/** A registry record for an on-chain agent registry: the DID and a hash of its metadata. */
+export declare function registryRecord(did: string, metadata: Record<string, unknown>): {
+    did: string;
+    metadataHash: string;
+    address: string | undefined;
+};
+/** Turn an on-chain transaction by the agent into a receipt to record on the ledger. */
+export declare function chainEventReceipt(tx: {
+    hash: string;
+    chain: string;
+    from: string;
+    to?: string;
+    amount?: string;
+    method?: string;
+    ts: string;
+}): {
+    target: string;
+    payload: {
+        hash: string;
+        chain: string;
+        from: string;
+        to?: string;
+        amount?: string;
+        method?: string;
+        ts: string;
+        v: number;
+        type: string;
+    };
+};
+/**
+ * The spending rules a smart wallet should enforce, mirrored from the agent's delegation:
+ * which targets it may pay for, until when. The chain enforces; the ledger proves.
+ */
+export declare function walletPolicyFromDelegation(chain: DelegationCert[], opts?: {
+    maxAmount?: string;
+}): {
+    agent: string;
+    owner: string;
+    allowedTargets: string[];
+    expires: string;
+    maxAmount: string | null;
+    delegation: string;
+};
+/** Rows for tax reporting: each on-chain movement matched to the receipt it settled, or flagged. */
+export declare function taxLotExport(txs: Array<{
+    hash: string;
+    memo?: string;
+    amount: string;
+    asset: string;
+    ts: string;
+}>, receipts: Array<{
+    hash: string;
+    target: string;
+}>): {
+    tx: string;
+    ts: string;
+    asset: string;
+    amount: string;
+    receipt: string | null;
+    purpose: string | null;
+    matched: boolean;
+}[];
+export type ChannelState = SignedObject<{
+    v: 1;
+    type: 'chain.channel';
+    channel: string;
+    nonce: number;
+    balanceA: string;
+    balanceB: string;
+}>;
+/** An off-chain payment-channel state; both parties sign each one. The highest nonce both signed wins. */
+export declare function channelState(input: {
+    channel: string;
+    nonce: number;
+    balanceA: bigint;
+    balanceB: bigint;
+}, privateKey: Uint8Array): ChannelState;
+/** The latest state signed by both parties, with the total conserved across states. */
+export declare function latestChannelState(states: ChannelState[], parties: [string, string]): {
+    nonce: number;
+    balanceA: bigint;
+    balanceB: bigint;
+} | null;
+/** A compact, self-contained proof that one receipt is in the log: what a contract or counterparty checks. */
+export declare function compactProof(entry: BundledReceipt, sth: SignedTreeHead): {
+    receipt: import("@zanii/core").Receipt | import("@zanii/core").A2AReceipt;
+    index: number;
+    path: string[];
+    sth: SignedTreeHead;
+};
+export declare function verifyCompactProof(p: ReturnType<typeof compactProof>): boolean;
+//# sourceMappingURL=settlement.d.ts.map

package/dist/settlement.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"settlement.d.ts","sourceRoot":"","sources":["../src/settlement.ts"],"names":[],"mappings":"AAaA,OAAO,EAEL,KAAK,cAAc,EAAE,KAAK,cAAc,EAAE,KAAK,YAAY,EAAE,KAAK,cAAc,EACjF,MAAM,aAAa,CAAC;AAErB,4FAA4F;AAC5F,wBAAgB,cAAc,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAG1D;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAG/D;AAED,gGAAgG;AAChG,wBAAgB,kBAAkB,CAAC,EAAE,EAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,MAAM,EAAE;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;;;EAOnL;AAED,uFAAuF;AACvF,wBAAgB,UAAU,CAAC,GAAG,EAAE,cAAc,GAAG,MAAM,CAEtD;AAED,2EAA2E;AAC3E,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,cAAc,GAAG,OAAO,CAE3E;AAQD,4EAA4E;AAC5E,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAExD;AAED,6EAA6E;AAC7E,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAErD;AAED,+FAA+F;AAC/F,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAEvD;AAED,4FAA4F;AAC5F,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;;;aACN,MAAM,GAAG,SAAS;EACxF;AAED,wFAAwF;AACxF,wBAAgB,iBAAiB,CAAC,EAAE,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE;;;cAAhG,MAAM;eAAS,MAAM;cAAQ,MAAM;aAAO,MAAM;iBAAW,MAAM;iBAAW,MAAM;YAAM,MAAM;;;;EAE3I;AAED;;;GAGG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,cAAc,EAAE,EAAE,IAAI,GAAE;IAAE,SAAS,CAAC,EAAE,MAAM,CAAA;CAAO;;;;;;;EAIpG;AAED,oGAAoG;AACpG,wBAAgB,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;;;;;;;;IAOrK;AAED,MAAM,MAAM,YAAY,GAAG,YAAY,CAAC;IAAE,CAAC,EAAE,CAAC,CAAC;IAAC,IAAI,EAAE,eAAe,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAE7I,0GAA0G;AAC1G,wBAAgB,YAAY,CAAC,KAAK,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,EAAE,UAAU,EAAE,UAAU,GAAG,YAAY,CAGhJ;AAED,uFAAuF;AACvF,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,YAAY,EAAE,EAAE,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAOlJ;AAED,8GAA8G;AAC9G,wBAAgB,YAAY,CAAC,KAAK,EAAE,cAAc,EAAE,GAAG,EAAE,cAAc;;;;;EAEtE;AAED,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,UAAU,CAAC,OAAO,YAAY,CAAC,GAAG,OAAO,CAM9E"}

package/dist/settlement.js

@@ -0,0 +1,121 @@
+/**
+ * Settlement and cross-chain helpers that work off-chain today: payments that name the
+ * receipt they pay for, STH anchors as transaction data, the same Ed25519 key's address on
+ * other Ed25519 chains, wallet policy mirrored from a delegation, tax reconciliation,
+ * payment-channel states, and compact proofs a contract or a counterparty can check.
+ *
+ * On-chain enforcement (staking, slashing, registry contracts) needs contracts deployed on
+ * the chain; these functions produce and check the data those contracts would consume.
+ */
+import { blake2b } from '@noble/hashes/blake2b';
+import { sha3_256 } from '@noble/hashes/sha3';
+import { bytesToHex, concatBytes, hexToBytes } from '@noble/hashes/utils';
+import { base58 } from '@scure/base';
+import { canonicalBytes, jcsHash, leafHash, publicKeyFromDid, signObject, verifyInclusion, verifySignedObject, verifySTH, } from '@zanii/core';
+/** The memo a payment carries so it is provably for one receipt: `zanii:<receipt hash>`. */
+export function settlementMemo(receiptHash) {
+    if (!/^sha256:[0-9a-f]{64}$/.test(receiptHash))
+        throw new Error('chain-bridge: not a receipt hash');
+    return `zanii:${receiptHash}`;
+}
+export function parseSettlementMemo(memo) {
+    const m = memo.match(/^zanii:(sha256:[0-9a-f]{64})$/);
+    return m ? m[1] : null;
+}
+/** Does this transaction pay `amount` (integer base units) to `to` for exactly this receipt? */
+export function verifySettlementTx(tx, expect) {
+    const reasons = [];
+    if (parseSettlementMemo(tx.memo ?? '') !== expect.receiptHash)
+        reasons.push('memo does not name this receipt');
+    if (tx.to !== expect.to)
+        reasons.push(`paid ${tx.to}, expected ${expect.to}`);
+    if (BigInt(tx.amount) < expect.amount)
+        reasons.push(`paid ${tx.amount}, expected ${expect.amount}`);
+    if (tx.status !== undefined && tx.status !== 'success' && tx.status !== 'confirmed')
+        reasons.push(`transaction status ${tx.status}`);
+    return { ok: reasons.length === 0, reasons };
+}
+/** Transaction data that anchors a signed tree head: `zanii-sth:<size>:<root hex>`. */
+export function anchorData(sth) {
+    return `zanii-sth:${sth.size}:${sth.root.replace('sha256:', '')}`;
+}
+/** Does this transaction's data anchor this (validly signed) tree head? */
+export function verifyAnchorData(data, sth) {
+    return verifySTH(sth) && data === anchorData(sth);
+}
+const pub = (did) => {
+    const p = publicKeyFromDid(did);
+    if (!p)
+        throw new Error('chain-bridge: not an Ed25519 did:key');
+    return p;
+};
+/** The Solana address of the same key: base58 of the Ed25519 public key. */
+export function solanaAddressFromDid(did) {
+    return base58.encode(pub(did));
+}
+/** The Sui address of the same key: BLAKE2b-256(0x00 flag || public key). */
+export function suiAddressFromDid(did) {
+    return '0x' + bytesToHex(blake2b(concatBytes(new Uint8Array([0x00]), pub(did)), { dkLen: 32 }));
+}
+/** The Aptos address of the same key (single-signer Ed25519): SHA3-256(public key || 0x00). */
+export function aptosAddressFromDid(did) {
+    return '0x' + bytesToHex(sha3_256(concatBytes(pub(did), new Uint8Array([0x00]))));
+}
+/** A registry record for an on-chain agent registry: the DID and a hash of its metadata. */
+export function registryRecord(did, metadata) {
+    return { did, metadataHash: jcsHash(metadata), address: undefined };
+}
+/** Turn an on-chain transaction by the agent into a receipt to record on the ledger. */
+export function chainEventReceipt(tx) {
+    return { target: `chain.${tx.chain}.${tx.method ?? 'transfer'}`, payload: { v: 1, type: 'chain.event', ...tx } };
+}
+/**
+ * The spending rules a smart wallet should enforce, mirrored from the agent's delegation:
+ * which targets it may pay for, until when. The chain enforces; the ledger proves.
+ */
+export function walletPolicyFromDelegation(chain, opts = {}) {
+    const last = chain[chain.length - 1];
+    if (!last)
+        throw new Error('chain-bridge: empty delegation');
+    return { agent: last.subject, owner: chain[0].issuer, allowedTargets: last.scopes.filter((s) => s.startsWith('payment') || s === '*'), expires: last.exp, maxAmount: opts.maxAmount ?? null, delegation: jcsHash(chain) };
+}
+/** Rows for tax reporting: each on-chain movement matched to the receipt it settled, or flagged. */
+export function taxLotExport(txs, receipts) {
+    const byHash = new Map(receipts.map((r) => [r.hash, r]));
+    return txs.map((t) => {
+        const rh = parseSettlementMemo(t.memo ?? '');
+        const r = rh ? byHash.get(rh) : undefined;
+        return { tx: t.hash, ts: t.ts, asset: t.asset, amount: t.amount, receipt: rh, purpose: r?.target ?? null, matched: !!r };
+    });
+}
+/** An off-chain payment-channel state; both parties sign each one. The highest nonce both signed wins. */
+export function channelState(input, privateKey) {
+    if (!Number.isSafeInteger(input.nonce) || input.nonce < 0)
+        throw new Error('chain-bridge: nonce must be a non-negative integer');
+    return signObject({ v: 1, type: 'chain.channel', channel: input.channel, nonce: input.nonce, balanceA: input.balanceA.toString(), balanceB: input.balanceB.toString() }, privateKey);
+}
+/** The latest state signed by both parties, with the total conserved across states. */
+export function latestChannelState(states, parties) {
+    const byNonce = new Map();
+    for (const s of states)
+        if (verifySignedObject(s) && parties.includes(s.signer))
+            byNonce.set(s.nonce, [...(byNonce.get(s.nonce) ?? []), s]);
+    const agreed = [...byNonce].filter(([, ss]) => new Set(ss.map((s) => s.signer)).size === 2 && ss.every((s) => s.balanceA === ss[0].balanceA && s.balanceB === ss[0].balanceB));
+    if (!agreed.length)
+        return null;
+    const [nonce, [s]] = agreed.sort((a, b) => b[0] - a[0])[0];
+    return { nonce, balanceA: BigInt(s.balanceA), balanceB: BigInt(s.balanceB) };
+}
+/** A compact, self-contained proof that one receipt is in the log: what a contract or counterparty checks. */
+export function compactProof(entry, sth) {
+    return { receipt: entry.receipt, index: entry.index, path: entry.proof, sth };
+}
+export function verifyCompactProof(p) {
+    try {
+        return verifySTH(p.sth) && verifyInclusion(leafHash(canonicalBytes(p.receipt)), p.index, p.sth.size, p.path.map(hexToBytes), hexToBytes(p.sth.root.replace('sha256:', '')));
+    }
+    catch {
+        return false;
+    }
+}
+//# sourceMappingURL=settlement.js.map

package/dist/settlement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"settlement.js","sourceRoot":"","sources":["../src/settlement.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAC1E,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EACL,cAAc,EAAE,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,UAAU,EAAE,eAAe,EAAE,kBAAkB,EAAE,SAAS,GAEhH,MAAM,aAAa,CAAC;AAErB,4FAA4F;AAC5F,MAAM,UAAU,cAAc,CAAC,WAAmB;IAChD,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,WAAW,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACpG,OAAO,SAAS,WAAW,EAAE,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACtD,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1B,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,kBAAkB,CAAC,EAAoF,EAAE,MAA2D;IAClL,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,mBAAmB,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,KAAK,MAAM,CAAC,WAAW;QAAE,OAAO,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAC/G,IAAI,EAAE,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE;QAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,EAAE,cAAc,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;IAC9E,IAAI,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM;QAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,cAAc,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACpG,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,MAAM,KAAK,WAAW;QAAE,OAAO,CAAC,IAAI,CAAC,sBAAsB,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;IACrI,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC;AAC/C,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,UAAU,CAAC,GAAmB;IAC5C,OAAO,aAAa,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC;AACpE,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,gBAAgB,CAAC,IAAY,EAAE,GAAmB;IAChE,OAAO,SAAS,CAAC,GAAG,CAAC,IAAI,IAAI,KAAK,UAAU,CAAC,GAAG,CAAC,CAAC;AACpD,CAAC;AAED,MAAM,GAAG,GAAG,CAAC,GAAW,EAAE,EAAE;IAC1B,MAAM,CAAC,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAChC,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;IAChE,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEF,4EAA4E;AAC5E,MAAM,UAAU,oBAAoB,CAAC,GAAW;IAC9C,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AACjC,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,iBAAiB,CAAC,GAAW;IAC3C,OAAO,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;AAClG,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,mBAAmB,CAAC,GAAW;IAC7C,OAAO,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpF,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,cAAc,CAAC,GAAW,EAAE,QAAiC;IAC3E,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,SAA+B,EAAE,CAAC;AAC5F,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,iBAAiB,CAAC,EAA4G;IAC5I,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,MAAM,IAAI,UAAU,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;AACnH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAAuB,EAAE,OAA+B,EAAE;IACnG,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACrC,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IAC7D,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,EAAE,cAAc,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;AAC7N,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,YAAY,CAAC,GAAsF,EAAE,QAAiD;IACpK,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACnB,MAAM,EAAE,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1C,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,IAAI,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3H,CAAC,CAAC,CAAC;AACL,CAAC;AAID,0GAA0G;AAC1G,MAAM,UAAU,YAAY,CAAC,KAA6E,EAAE,UAAsB;IAChI,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACjI,OAAO,UAAU,CAAC,EAAE,CAAC,EAAE,CAAU,EAAE,IAAI,EAAE,eAAwB,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;AACzM,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,kBAAkB,CAAC,MAAsB,EAAE,OAAyB;IAClF,MAAM,OAAO,GAAG,IAAI,GAAG,EAA0B,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,IAAI,kBAAkB,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5I,MAAM,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAE,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IACjL,IAAI,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAChC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAA8B,CAAC;IACxF,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;AACjF,CAAC;AAED,8GAA8G;AAC9G,MAAM,UAAU,YAAY,CAAC,KAAqB,EAAE,GAAmB;IACrE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC;AAChF,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,CAAkC;IACnE,IAAI,CAAC;QACH,OAAO,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,eAAe,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9K,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@zanii/chain-bridge",
-  "version": "0.1.1",
+  "version": "0.1.2",
   "description": "One keypair, two products: bridge the Zanii L1 (blockchain.zanii.agency) to the Zanii transparency ledger. A chain wallet's Ed25519 pubkey IS a ledger did:key, so the bridge PROVES a registered chain agent's claimed DID controls its wallet (address = bech32 zan + blake3(pubkey)[:20]) and resolves it to its verified ledger history - the agent paying you on-chain is provably the agent whose actions you can audit.",
   "license": "Apache-2.0",
   "homepage": "https://ledger.zanii.agency",
@@ -33,8 +33,8 @@
   "dependencies": {
     "@noble/hashes": "^1.7.1",
     "@scure/base": "^1.2.1",
-    "@zanii/core": "^0.5.2",
-    "@zanii/a2a-directory": "^0.1.2"
+    "@zanii/core": "^0.5.4",
+    "@zanii/a2a-directory": "^0.1.3"
   },
   "scripts": {
     "build": "tsc -p tsconfig.build.json",

package/src/index.ts

@@ -145,3 +145,4 @@ export async function resolveChainAgent(
   }
   return { chain: entry, binding, ledger };
 }
+export * from './settlement.js';

package/src/settlement.ts

@@ -0,0 +1,130 @@
+/**
+ * Settlement and cross-chain helpers that work off-chain today: payments that name the
+ * receipt they pay for, STH anchors as transaction data, the same Ed25519 key's address on
+ * other Ed25519 chains, wallet policy mirrored from a delegation, tax reconciliation,
+ * payment-channel states, and compact proofs a contract or a counterparty can check.
+ *
+ * On-chain enforcement (staking, slashing, registry contracts) needs contracts deployed on
+ * the chain; these functions produce and check the data those contracts would consume.
+ */
+import { blake2b } from '@noble/hashes/blake2b';
+import { sha3_256 } from '@noble/hashes/sha3';
+import { bytesToHex, concatBytes, hexToBytes } from '@noble/hashes/utils';
+import { base58 } from '@scure/base';
+import {
+  canonicalBytes, jcsHash, leafHash, publicKeyFromDid, signObject, verifyInclusion, verifySignedObject, verifySTH,
+  type BundledReceipt, type DelegationCert, type SignedObject, type SignedTreeHead,
+} from '@zanii/core';
+
+/** The memo a payment carries so it is provably for one receipt: `zanii:<receipt hash>`. */
+export function settlementMemo(receiptHash: string): string {
+  if (!/^sha256:[0-9a-f]{64}$/.test(receiptHash)) throw new Error('chain-bridge: not a receipt hash');
+  return `zanii:${receiptHash}`;
+}
+
+export function parseSettlementMemo(memo: string): string | null {
+  const m = memo.match(/^zanii:(sha256:[0-9a-f]{64})$/);
+  return m ? m[1]! : null;
+}
+
+/** Does this transaction pay `amount` (integer base units) to `to` for exactly this receipt? */
+export function verifySettlementTx(tx: { memo?: string; to: string; amount: string | number | bigint; status?: string }, expect: { receiptHash: string; to: string; amount: bigint }) {
+  const reasons: string[] = [];
+  if (parseSettlementMemo(tx.memo ?? '') !== expect.receiptHash) reasons.push('memo does not name this receipt');
+  if (tx.to !== expect.to) reasons.push(`paid ${tx.to}, expected ${expect.to}`);
+  if (BigInt(tx.amount) < expect.amount) reasons.push(`paid ${tx.amount}, expected ${expect.amount}`);
+  if (tx.status !== undefined && tx.status !== 'success' && tx.status !== 'confirmed') reasons.push(`transaction status ${tx.status}`);
+  return { ok: reasons.length === 0, reasons };
+}
+
+/** Transaction data that anchors a signed tree head: `zanii-sth:<size>:<root hex>`. */
+export function anchorData(sth: SignedTreeHead): string {
+  return `zanii-sth:${sth.size}:${sth.root.replace('sha256:', '')}`;
+}
+
+/** Does this transaction's data anchor this (validly signed) tree head? */
+export function verifyAnchorData(data: string, sth: SignedTreeHead): boolean {
+  return verifySTH(sth) && data === anchorData(sth);
+}
+
+const pub = (did: string) => {
+  const p = publicKeyFromDid(did);
+  if (!p) throw new Error('chain-bridge: not an Ed25519 did:key');
+  return p;
+};
+
+/** The Solana address of the same key: base58 of the Ed25519 public key. */
+export function solanaAddressFromDid(did: string): string {
+  return base58.encode(pub(did));
+}
+
+/** The Sui address of the same key: BLAKE2b-256(0x00 flag || public key). */
+export function suiAddressFromDid(did: string): string {
+  return '0x' + bytesToHex(blake2b(concatBytes(new Uint8Array([0x00]), pub(did)), { dkLen: 32 }));
+}
+
+/** The Aptos address of the same key (single-signer Ed25519): SHA3-256(public key || 0x00). */
+export function aptosAddressFromDid(did: string): string {
+  return '0x' + bytesToHex(sha3_256(concatBytes(pub(did), new Uint8Array([0x00]))));
+}
+
+/** A registry record for an on-chain agent registry: the DID and a hash of its metadata. */
+export function registryRecord(did: string, metadata: Record<string, unknown>) {
+  return { did, metadataHash: jcsHash(metadata), address: undefined as string | undefined };
+}
+
+/** Turn an on-chain transaction by the agent into a receipt to record on the ledger. */
+export function chainEventReceipt(tx: { hash: string; chain: string; from: string; to?: string; amount?: string; method?: string; ts: string }) {
+  return { target: `chain.${tx.chain}.${tx.method ?? 'transfer'}`, payload: { v: 1, type: 'chain.event', ...tx } };
+}
+
+/**
+ * The spending rules a smart wallet should enforce, mirrored from the agent's delegation:
+ * which targets it may pay for, until when. The chain enforces; the ledger proves.
+ */
+export function walletPolicyFromDelegation(chain: DelegationCert[], opts: { maxAmount?: string } = {}) {
+  const last = chain[chain.length - 1];
+  if (!last) throw new Error('chain-bridge: empty delegation');
+  return { agent: last.subject, owner: chain[0]!.issuer, allowedTargets: last.scopes.filter((s) => s.startsWith('payment') || s === '*'), expires: last.exp, maxAmount: opts.maxAmount ?? null, delegation: jcsHash(chain) };
+}
+
+/** Rows for tax reporting: each on-chain movement matched to the receipt it settled, or flagged. */
+export function taxLotExport(txs: Array<{ hash: string; memo?: string; amount: string; asset: string; ts: string }>, receipts: Array<{ hash: string; target: string }>) {
+  const byHash = new Map(receipts.map((r) => [r.hash, r]));
+  return txs.map((t) => {
+    const rh = parseSettlementMemo(t.memo ?? '');
+    const r = rh ? byHash.get(rh) : undefined;
+    return { tx: t.hash, ts: t.ts, asset: t.asset, amount: t.amount, receipt: rh, purpose: r?.target ?? null, matched: !!r };
+  });
+}
+
+export type ChannelState = SignedObject<{ v: 1; type: 'chain.channel'; channel: string; nonce: number; balanceA: string; balanceB: string }>;
+
+/** An off-chain payment-channel state; both parties sign each one. The highest nonce both signed wins. */
+export function channelState(input: { channel: string; nonce: number; balanceA: bigint; balanceB: bigint }, privateKey: Uint8Array): ChannelState {
+  if (!Number.isSafeInteger(input.nonce) || input.nonce < 0) throw new Error('chain-bridge: nonce must be a non-negative integer');
+  return signObject({ v: 1 as const, type: 'chain.channel' as const, channel: input.channel, nonce: input.nonce, balanceA: input.balanceA.toString(), balanceB: input.balanceB.toString() }, privateKey);
+}
+
+/** The latest state signed by both parties, with the total conserved across states. */
+export function latestChannelState(states: ChannelState[], parties: [string, string]): { nonce: number; balanceA: bigint; balanceB: bigint } | null {
+  const byNonce = new Map<number, ChannelState[]>();
+  for (const s of states) if (verifySignedObject(s) && parties.includes(s.signer)) byNonce.set(s.nonce, [...(byNonce.get(s.nonce) ?? []), s]);
+  const agreed = [...byNonce].filter(([, ss]) => new Set(ss.map((s) => s.signer)).size === 2 && ss.every((s) => s.balanceA === ss[0]!.balanceA && s.balanceB === ss[0]!.balanceB));
+  if (!agreed.length) return null;
+  const [nonce, [s]] = agreed.sort((a, b) => b[0] - a[0])[0]! as [number, ChannelState[]];
+  return { nonce, balanceA: BigInt(s!.balanceA), balanceB: BigInt(s!.balanceB) };
+}
+
+/** A compact, self-contained proof that one receipt is in the log: what a contract or counterparty checks. */
+export function compactProof(entry: BundledReceipt, sth: SignedTreeHead) {
+  return { receipt: entry.receipt, index: entry.index, path: entry.proof, sth };
+}
+
+export function verifyCompactProof(p: ReturnType<typeof compactProof>): boolean {
+  try {
+    return verifySTH(p.sth) && verifyInclusion(leafHash(canonicalBytes(p.receipt)), p.index, p.sth.size, p.path.map(hexToBytes), hexToBytes(p.sth.root.replace('sha256:', '')));
+  } catch {
+    return false;
+  }
+}