@zanii/pq 0.1.0 → 0.2.0

package/dist/index.d.ts

@@ -56,7 +56,7 @@ export declare function verifyDual(obj: Record<string, unknown>, did: string, bi
  * receipt — a PQ binding is public by design, and the receipt's `payload_hash` must be
  * recomputable by any verifier. Suggested target: `pq.transition`.
  */
-export declare function transitionPayload(binding: PqBinding): string;
+export declare function transitionPayload(binding: PqBinding): Uint8Array;
 export interface TransitionEvidence {
     sth: SignedTreeHead;
     index: number;

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AA+BA,OAAO,EAQL,KAAK,OAAO,EACZ,KAAK,cAAc,EACpB,MAAM,aAAa,CAAC;AAErB,eAAO,MAAM,MAAM,EAAG,WAAoB,CAAC;AAE3C,MAAM,WAAW,SAAS;IACxB,SAAS,EAAE,UAAU,CAAC;IACtB,SAAS,EAAE,UAAU,CAAC;CACvB;AAED,uFAAuF;AACvF,wBAAgB,iBAAiB,CAAC,IAAI,CAAC,EAAE,UAAU,GAAG,SAAS,CAG9D;AAED,MAAM,WAAW,SAAS;IACxB,CAAC,EAAE,CAAC,CAAC;IACL,IAAI,EAAE,YAAY,CAAC;IACnB,iFAAiF;IACjF,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,OAAO,MAAM,CAAC;IACnB,8CAA8C;IAC9C,MAAM,EAAE,MAAM,CAAC;IACf,EAAE,EAAE,MAAM,CAAC;IACX,mFAAmF;IACnF,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,iFAAiF;IACjF,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;GAGG;AACH,wBAAgB,SAAS,CACvB,MAAM,EAAE;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,UAAU,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,EAC5D,YAAY,EAAE,UAAU,EACxB,WAAW,EAAE,UAAU,GACtB,SAAS,CAiBX;AAED,MAAM,WAAW,OAAO;IACtB,EAAE,EAAE,OAAO,CAAC;IACZ,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,wEAAwE;AACxE,wBAAgB,eAAe,CAAC,OAAO,EAAE,SAAS,GAAG,SAAS,GAAG,OAAO,CAqCvE;AAED,+EAA+E;AAC/E,wBAAgB,WAAW,CAAC,OAAO,EAAE,SAAS,GAAG,MAAM,CAEtD;AAED,MAAM,WAAW,aAAa;IAC5B,uBAAuB;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,uBAAuB;IACvB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,oFAAoF;AACpF,wBAAgB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,GAAG,aAAa,CAMvH;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CACxB,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC5B,GAAG,EAAE,MAAM,EACX,OAAO,EAAE,SAAS,EAClB,IAAI,EAAE,OAAO,CAAC,aAAa,CAAC,GAAG,SAAS,GACvC,OAAO,CAiCT;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,SAAS,GAAG,MAAM,CAI5D;AAED,MAAM,WAAW,kBAAkB;IACjC,GAAG,EAAE,cAAc,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,+BAA+B;IAC/B,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,kBAAkB,GAAG,SAAS,GAAG,OAAO,CAwBxH"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AA+BA,OAAO,EASL,KAAK,OAAO,EACZ,KAAK,cAAc,EACpB,MAAM,aAAa,CAAC;AAErB,eAAO,MAAM,MAAM,EAAG,WAAoB,CAAC;AAE3C,MAAM,WAAW,SAAS;IACxB,SAAS,EAAE,UAAU,CAAC;IACtB,SAAS,EAAE,UAAU,CAAC;CACvB;AAED,uFAAuF;AACvF,wBAAgB,iBAAiB,CAAC,IAAI,CAAC,EAAE,UAAU,GAAG,SAAS,CAG9D;AAED,MAAM,WAAW,SAAS;IACxB,CAAC,EAAE,CAAC,CAAC;IACL,IAAI,EAAE,YAAY,CAAC;IACnB,iFAAiF;IACjF,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,OAAO,MAAM,CAAC;IACnB,8CAA8C;IAC9C,MAAM,EAAE,MAAM,CAAC;IACf,EAAE,EAAE,MAAM,CAAC;IACX,mFAAmF;IACnF,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,iFAAiF;IACjF,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;GAGG;AACH,wBAAgB,SAAS,CACvB,MAAM,EAAE;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,UAAU,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,EAC5D,YAAY,EAAE,UAAU,EACxB,WAAW,EAAE,UAAU,GACtB,SAAS,CAiBX;AAED,MAAM,WAAW,OAAO;IACtB,EAAE,EAAE,OAAO,CAAC;IACZ,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,wEAAwE;AACxE,wBAAgB,eAAe,CAAC,OAAO,EAAE,SAAS,GAAG,SAAS,GAAG,OAAO,CAqCvE;AAED,+EAA+E;AAC/E,wBAAgB,WAAW,CAAC,OAAO,EAAE,SAAS,GAAG,MAAM,CAEtD;AAED,MAAM,WAAW,aAAa;IAC5B,uBAAuB;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,uBAAuB;IACvB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,oFAAoF;AACpF,wBAAgB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,GAAG,aAAa,CAMvH;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CACxB,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC5B,GAAG,EAAE,MAAM,EACX,OAAO,EAAE,SAAS,EAClB,IAAI,EAAE,OAAO,CAAC,aAAa,CAAC,GAAG,SAAS,GACvC,OAAO,CAiCT;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,SAAS,GAAG,UAAU,CAMhE;AAED,MAAM,WAAW,kBAAkB;IACjC,GAAG,EAAE,cAAc,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,+BAA+B;IAC/B,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,kBAAkB,GAAG,SAAS,GAAG,OAAO,CAwBxH"}

package/dist/index.js

@@ -29,7 +29,7 @@
 import { ed25519 } from '@noble/curves/ed25519';
 import { bytesToHex, hexToBytes } from '@noble/hashes/utils';
 import { ml_dsa65 } from '@noble/post-quantum/ml-dsa.js';
-import { canonicalBytes, hashPayload, jcsHash, leafHash, publicKeyFromDid, verifyInclusion, verifySTH, } from '@zanii/core';
+import { canonicalBytes, hashPayload, payloadBytes, jcsHash, leafHash, publicKeyFromDid, verifyInclusion, verifySTH, } from '@zanii/core';
 export const PQ_ALG = 'ML-DSA-65';
 /** Generate an ML-DSA-65 keypair. Pass a 32-byte seed for deterministic derivation. */
 export function generatePqKeypair(seed) {
@@ -167,7 +167,9 @@ export function transitionPayload(binding) {
     const check = verifyPqBinding(binding);
     if (!check.ok)
         throw new Error(`refusing to anchor an invalid binding: ${check.reasons.join('; ')}`);
-    return JSON.stringify(binding);
+    // JCS, matching what record() now commits to — a JSON.stringify here would make the
+    // recomputed hash disagree with the receipt for any non-sorted or non-ASCII binding.
+    return payloadBytes(binding);
 }
 /**
  * Verify the transition: the receipt commits to EXACTLY this binding

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAC;AACzD,OAAO,EACL,cAAc,EACd,WAAW,EACX,OAAO,EACP,QAAQ,EACR,gBAAgB,EAChB,eAAe,EACf,SAAS,GAGV,MAAM,aAAa,CAAC;AAErB,MAAM,CAAC,MAAM,MAAM,GAAG,WAAoB,CAAC;AAO3C,uFAAuF;AACvF,MAAM,UAAU,iBAAiB,CAAC,IAAiB;IACjD,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;IAC9D,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC;AAClE,CAAC;AAiBD;;;GAGG;AACH,MAAM,UAAU,SAAS,CACvB,MAA4D,EAC5D,YAAwB,EACxB,WAAuB;IAEvB,IAAI,CAAC,MAAM,CAAC,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC;IACpD,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACxF,MAAM,QAAQ,GAAG;QACf,CAAC,EAAE,CAAU;QACb,IAAI,EAAE,YAAqB;QAC3B,GAAG,EAAE,MAAM,CAAC,GAAG;QACf,GAAG,EAAE,MAAM;QACX,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC;QACtC,EAAE,EAAE,MAAM,CAAC,EAAE;KACd,CAAC;IACF,MAAM,KAAK,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IACvC,OAAO;QACL,GAAG,QAAQ;QACX,MAAM,EAAE,WAAW,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,EAAE;QAClE,MAAM,EAAE,WAAW,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,EAAE;KACnE,CAAC;AACJ,CAAC;AAOD,wEAAwE;AACxE,MAAM,UAAU,eAAe,CAAC,OAA8B;IAC5D,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,CAAC,GAAG,OAAO,IAAK,EAAgB,CAAC;IACvC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IAChF,IAAI,CAAC,CAAC,GAAG,KAAK,MAAM;QAAE,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;IACjE,IAAI,CAAC,CAAC,CAAC,GAAG;QAAE,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACxC,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IAC1G,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACnG,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IAEtD,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,QAAQ,EAAE,GAAG,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,cAAc,CAAC,QAA8C,CAAC,CAAC;IAE7E,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACjG,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,GAAG,IAAI,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC;YACH,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACvD,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,IAAI,CAAC,IAAI;QAAE,OAAO,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IAE7E,MAAM,KAAK,GAAG,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACjG,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,IAAI,CAAC;YACH,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACzE,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,IAAI,CAAC,IAAI;QAAE,OAAO,CAAC,IAAI,CAAC,yEAAyE,CAAC,CAAC;IAEnG,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC;AAC/C,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,WAAW,CAAC,OAAkB;IAC5C,OAAO,OAAO,CAAC,OAA6C,CAAC,CAAC;AAChE,CAAC;AASD,oFAAoF;AACpF,MAAM,UAAU,QAAQ,CAAC,GAA4B,EAAE,YAAwB,EAAE,WAAuB;IACtG,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IAClC,OAAO;QACL,MAAM,EAAE,WAAW,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,EAAE;QAClE,MAAM,EAAE,WAAW,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,EAAE;KACnE,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CACxB,GAA4B,EAC5B,GAAW,EACX,OAAkB,EAClB,IAAwC;IAExC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC;IACtF,IAAI,OAAO,CAAC,GAAG,KAAK,GAAG;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,kBAAkB,OAAO,CAAC,GAAG,SAAS,GAAG,EAAE,CAAC,EAAE,CAAC;IAEtG,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,CAAC,GAAG,IAAI,IAAI,EAAE,CAAC;IAErB,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvG,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,GAAG,IAAI,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC;YACH,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACvD,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,IAAI,CAAC,IAAI;QAAE,OAAO,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IAEhE,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvG,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,IAAI,CAAC;YACH,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;QAC/E,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,IAAI,CAAC,IAAI;QAAE,OAAO,CAAC,IAAI,CAAC,sEAAsE,CAAC,CAAC;IAEhG,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC;AAC/C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAkB;IAClD,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrG,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;AACjC,CAAC;AASD;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAkB,EAAE,OAAgB,EAAE,QAAwC;IAC7G,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC;IACtF,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,GAAG;QAAE,OAAO,CAAC,IAAI,CAAC,yBAAyB,OAAO,CAAC,QAAQ,4BAA4B,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACvI,IAAI,OAAO,CAAC,YAAY,KAAK,WAAW,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACrE,OAAO,CAAC,IAAI,CAAC,gFAAgF,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,CAAC,IAAI,CAAC,oFAAoF,CAAC,CAAC;IACrG,CAAC;SAAM,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACpC,OAAO,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;IAC9D,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC;QAClE,MAAM,EAAE,GAAG,eAAe,CACxB,QAAQ,CAAC,cAAc,CAAC,OAA6C,CAAC,CAAC,EACvE,QAAQ,CAAC,KAAK,EACd,QAAQ,CAAC,GAAG,CAAC,IAAI,EACjB,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EACxC,IAAI,CACL,CAAC;QACF,IAAI,CAAC,EAAE;YAAE,OAAO,CAAC,IAAI,CAAC,8EAA8E,CAAC,CAAC;IACxG,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC;AAC/C,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAC;AACzD,OAAO,EACL,cAAc,EACd,WAAW,EACX,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,gBAAgB,EAChB,eAAe,EACf,SAAS,GAGV,MAAM,aAAa,CAAC;AAErB,MAAM,CAAC,MAAM,MAAM,GAAG,WAAoB,CAAC;AAO3C,uFAAuF;AACvF,MAAM,UAAU,iBAAiB,CAAC,IAAiB;IACjD,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;IAC9D,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC;AAClE,CAAC;AAiBD;;;GAGG;AACH,MAAM,UAAU,SAAS,CACvB,MAA4D,EAC5D,YAAwB,EACxB,WAAuB;IAEvB,IAAI,CAAC,MAAM,CAAC,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC;IACpD,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACxF,MAAM,QAAQ,GAAG;QACf,CAAC,EAAE,CAAU;QACb,IAAI,EAAE,YAAqB;QAC3B,GAAG,EAAE,MAAM,CAAC,GAAG;QACf,GAAG,EAAE,MAAM;QACX,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC;QACtC,EAAE,EAAE,MAAM,CAAC,EAAE;KACd,CAAC;IACF,MAAM,KAAK,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IACvC,OAAO;QACL,GAAG,QAAQ;QACX,MAAM,EAAE,WAAW,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,EAAE;QAClE,MAAM,EAAE,WAAW,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,EAAE;KACnE,CAAC;AACJ,CAAC;AAOD,wEAAwE;AACxE,MAAM,UAAU,eAAe,CAAC,OAA8B;IAC5D,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,CAAC,GAAG,OAAO,IAAK,EAAgB,CAAC;IACvC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IAChF,IAAI,CAAC,CAAC,GAAG,KAAK,MAAM;QAAE,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;IACjE,IAAI,CAAC,CAAC,CAAC,GAAG;QAAE,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACxC,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IAC1G,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACnG,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IAEtD,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,QAAQ,EAAE,GAAG,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,cAAc,CAAC,QAA8C,CAAC,CAAC;IAE7E,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACjG,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,GAAG,IAAI,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC;YACH,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACvD,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,IAAI,CAAC,IAAI;QAAE,OAAO,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IAE7E,MAAM,KAAK,GAAG,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACjG,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,IAAI,CAAC;YACH,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACzE,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,IAAI,CAAC,IAAI;QAAE,OAAO,CAAC,IAAI,CAAC,yEAAyE,CAAC,CAAC;IAEnG,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC;AAC/C,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,WAAW,CAAC,OAAkB;IAC5C,OAAO,OAAO,CAAC,OAA6C,CAAC,CAAC;AAChE,CAAC;AASD,oFAAoF;AACpF,MAAM,UAAU,QAAQ,CAAC,GAA4B,EAAE,YAAwB,EAAE,WAAuB;IACtG,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IAClC,OAAO;QACL,MAAM,EAAE,WAAW,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,EAAE;QAClE,MAAM,EAAE,WAAW,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,EAAE;KACnE,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CACxB,GAA4B,EAC5B,GAAW,EACX,OAAkB,EAClB,IAAwC;IAExC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC;IACtF,IAAI,OAAO,CAAC,GAAG,KAAK,GAAG;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,kBAAkB,OAAO,CAAC,GAAG,SAAS,GAAG,EAAE,CAAC,EAAE,CAAC;IAEtG,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,CAAC,GAAG,IAAI,IAAI,EAAE,CAAC;IAErB,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvG,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,GAAG,IAAI,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC;YACH,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACvD,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,IAAI,CAAC,IAAI;QAAE,OAAO,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IAEhE,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvG,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,IAAI,CAAC;YACH,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;QAC/E,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,IAAI,CAAC,IAAI;QAAE,OAAO,CAAC,IAAI,CAAC,sEAAsE,CAAC,CAAC;IAEhG,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC;AAC/C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAkB;IAClD,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrG,oFAAoF;IACpF,qFAAqF;IACrF,OAAO,YAAY,CAAC,OAAO,CAAC,CAAC;AAC/B,CAAC;AASD;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAkB,EAAE,OAAgB,EAAE,QAAwC;IAC7G,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC;IACtF,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,GAAG;QAAE,OAAO,CAAC,IAAI,CAAC,yBAAyB,OAAO,CAAC,QAAQ,4BAA4B,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACvI,IAAI,OAAO,CAAC,YAAY,KAAK,WAAW,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACrE,OAAO,CAAC,IAAI,CAAC,gFAAgF,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,CAAC,IAAI,CAAC,oFAAoF,CAAC,CAAC;IACrG,CAAC;SAAM,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACpC,OAAO,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;IAC9D,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC;QAClE,MAAM,EAAE,GAAG,eAAe,CACxB,QAAQ,CAAC,cAAc,CAAC,OAA6C,CAAC,CAAC,EACvE,QAAQ,CAAC,KAAK,EACd,QAAQ,CAAC,GAAG,CAAC,IAAI,EACjB,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EACxC,IAAI,CACL,CAAC;QACF,IAAI,CAAC,EAAE;YAAE,OAAO,CAAC,IAAI,CAAC,8EAA8E,CAAC,CAAC;IACxG,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC;AAC/C,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@zanii/pq",
-  "version": "0.1.0",
+  "version": "0.2.0",
   "description": "Post-quantum migration rails - hybrid dual-signing (Ed25519 + ML-DSA-65, both must verify), a PQ key binding signed by BOTH keys (proves possession of each), and a transition record anchored into the Merkle log so the binding provably predates any future break of Ed25519. Old receipts are not re-signed: their post-quantum protection is the anchored timestamp, and we say so.",
   "license": "Apache-2.0",
   "homepage": "https://ledger.zanii.agency",
@@ -34,7 +34,7 @@
     "@noble/post-quantum": "^0.7.0",
     "@noble/curves": "^1.8.1",
     "@noble/hashes": "^1.7.1",
-    "@zanii/core": "0.4.0"
+    "@zanii/core": "^0.5.0"
   },
   "scripts": {
     "build": "tsc -p tsconfig.build.json",

package/src/index.ts

@@ -1,258 +1,261 @@
-/**
- * @zanii/pq — post-quantum migration rails: dual-sign today, stay provable after Ed25519.
- *
- * Everything in Zanii signs with Ed25519, which a large quantum computer breaks. The
- * cheap, correct move is not to wait: it is a **hybrid** that a government or hospital
- * buyer can adopt now. Three pieces:
- *
- * 1. **A PQ key binding** — an agent binds an ML-DSA-65 (FIPS 204) public key to its
- *    did:key, signed by **both** keys over the same body. Both signatures prove
- *    possession of both keys: an attacker holding only one cannot forge the binding.
- * 2. **Dual-signing** (`dualSign`/`verifyDual`) — any protocol object signed by both
- *    algorithms, and verification requires **BOTH** to pass. Hybrid security: forging
- *    needs Ed25519 AND ML-DSA broken at once.
- * 3. **The transition record** — anchor the binding into the Merkle log NOW. The log
- *    is SHA-256 (not broken by known quantum algorithms in any practical sense), so
- *    the anchored, timestamped inclusion of the binding proves it existed BEFORE any
- *    future Ed25519 break — "this PQ key was this agent's key all along" survives the
- *    thing it is defending against.
- *
- * ## The limit, stated up front
- *
- * Pre-migration receipts are **not re-signed** and never will be — their post-quantum
- * protection is the anchored log timestamp (an Ed25519 signature that was included in
- * an anchored tree BEFORE the break is evidence of when it was made; the same
- * signature made AFTER the break proves nothing). Hybrid verification is only hybrid
- * when the verifier demands both signatures — `verifyDual` refuses a missing
- * ML-DSA signature rather than quietly falling back to Ed25519-only.
- */
-import { ed25519 } from '@noble/curves/ed25519';
-import { bytesToHex, hexToBytes } from '@noble/hashes/utils';
-import { ml_dsa65 } from '@noble/post-quantum/ml-dsa.js';
-import {
-  canonicalBytes,
-  hashPayload,
-  jcsHash,
-  leafHash,
-  publicKeyFromDid,
-  verifyInclusion,
-  verifySTH,
-  type Receipt,
-  type SignedTreeHead,
-} from '@zanii/core';
-
-export const PQ_ALG = 'ML-DSA-65' as const;
-
-export interface PqKeypair {
-  publicKey: Uint8Array;
-  secretKey: Uint8Array;
-}
-
-/** Generate an ML-DSA-65 keypair. Pass a 32-byte seed for deterministic derivation. */
-export function generatePqKeypair(seed?: Uint8Array): PqKeypair {
-  const keys = seed ? ml_dsa65.keygen(seed) : ml_dsa65.keygen();
-  return { publicKey: keys.publicKey, secretKey: keys.secretKey };
-}
-
-export interface PqBinding {
-  v: 1;
-  type: 'pq.binding';
-  /** The agent's classical identity — the Ed25519 did:key everything else uses. */
-  did: string;
-  alg: typeof PQ_ALG;
-  /** ML-DSA-65 public key, hex (1952 bytes). */
-  pq_pub: string;
-  ts: string;
-  /** `ed25519:<hex>` by the did's key — the classical key vouches for the PQ key. */
-  sig_ed?: string;
-  /** `mldsa65:<hex>` by the PQ key — proves possession; not just a claimed key. */
-  sig_pq?: string;
-}
-
-/**
- * Bind a PQ public key to a did:key. BOTH keys sign the same unsigned body — an
- * attacker holding only the Ed25519 key (or only the PQ key) cannot produce this.
- */
-export function bindPqKey(
-  fields: { did: string; pqPublicKey: Uint8Array; ts: string },
-  edPrivateKey: Uint8Array,
-  pqSecretKey: Uint8Array,
-): PqBinding {
-  if (!fields.did) throw new Error('did is required');
-  if (Number.isNaN(Date.parse(fields.ts))) throw new Error('ts must be an ISO timestamp');
-  const unsigned = {
-    v: 1 as const,
-    type: 'pq.binding' as const,
-    did: fields.did,
-    alg: PQ_ALG,
-    pq_pub: bytesToHex(fields.pqPublicKey),
-    ts: fields.ts,
-  };
-  const bytes = canonicalBytes(unsigned);
-  return {
-    ...unsigned,
-    sig_ed: `ed25519:${bytesToHex(ed25519.sign(bytes, edPrivateKey))}`,
-    sig_pq: `mldsa65:${bytesToHex(ml_dsa65.sign(bytes, pqSecretKey))}`,
-  };
-}
-
-export interface PqCheck {
-  ok: boolean;
-  reasons: string[];
-}
-
-/** Verify a binding: structure + BOTH signatures over the same body. */
-export function verifyPqBinding(binding: PqBinding | undefined): PqCheck {
-  const reasons: string[] = [];
-  const b = binding ?? ({} as PqBinding);
-  if (b.v !== 1 || b.type !== 'pq.binding') reasons.push('not a pq.binding (v1)');
-  if (b.alg !== PQ_ALG) reasons.push(`unsupported alg '${b.alg}'`);
-  if (!b.did) reasons.push('missing did');
-  if (typeof b.pq_pub !== 'string' || !/^[0-9a-f]+$/.test(b.pq_pub)) reasons.push('missing/invalid pq_pub');
-  if (typeof b.ts !== 'string' || Number.isNaN(Date.parse(b.ts))) reasons.push('missing/invalid ts');
-  if (reasons.length > 0) return { ok: false, reasons };
-
-  const { sig_ed, sig_pq, ...unsigned } = b;
-  const bytes = canonicalBytes(unsigned as unknown as Record<string, unknown>);
-
-  const pub = publicKeyFromDid(b.did);
-  const edHex = typeof sig_ed === 'string' && sig_ed.startsWith('ed25519:') ? sig_ed.slice(8) : '';
-  let edOk = false;
-  if (pub && /^[0-9a-f]{128}$/.test(edHex)) {
-    try {
-      edOk = ed25519.verify(hexToBytes(edHex), bytes, pub);
-    } catch {
-      edOk = false;
-    }
-  }
-  if (!edOk) reasons.push('Ed25519 signature does not verify against the did');
-
-  const pqHex = typeof sig_pq === 'string' && sig_pq.startsWith('mldsa65:') ? sig_pq.slice(8) : '';
-  let pqOk = false;
-  if (/^[0-9a-f]+$/.test(pqHex) && pqHex.length > 0) {
-    try {
-      pqOk = ml_dsa65.verify(hexToBytes(pqHex), bytes, hexToBytes(b.pq_pub));
-    } catch {
-      pqOk = false;
-    }
-  }
-  if (!pqOk) reasons.push('ML-DSA signature does not verify against pq_pub (possession not proven)');
-
-  return { ok: reasons.length === 0, reasons };
-}
-
-/** Canonical hash of the full binding (both sigs included) — its stable id. */
-export function bindingHash(binding: PqBinding): string {
-  return jcsHash(binding as unknown as Record<string, unknown>);
-}
-
-export interface DualSignature {
-  /** `ed25519:<hex>`. */
-  sig_ed: string;
-  /** `mldsa65:<hex>`. */
-  sig_pq: string;
-}
-
-/** Sign any protocol object with both algorithms over its canonical (JCS) bytes. */
-export function dualSign(obj: Record<string, unknown>, edPrivateKey: Uint8Array, pqSecretKey: Uint8Array): DualSignature {
-  const bytes = canonicalBytes(obj);
-  return {
-    sig_ed: `ed25519:${bytesToHex(ed25519.sign(bytes, edPrivateKey))}`,
-    sig_pq: `mldsa65:${bytesToHex(ml_dsa65.sign(bytes, pqSecretKey))}`,
-  };
-}
-
-/**
- * Verify a dual signature. BOTH must pass, and the PQ public key comes from a
- * **verified binding for the same did** — never from the message. A missing ML-DSA
- * signature is a failure, not a fallback: hybrid that degrades silently isn't hybrid.
- */
-export function verifyDual(
-  obj: Record<string, unknown>,
-  did: string,
-  binding: PqBinding,
-  sigs: Partial<DualSignature> | undefined,
-): PqCheck {
-  const reasons: string[] = [];
-  const bind = verifyPqBinding(binding);
-  if (!bind.ok) return { ok: false, reasons: bind.reasons.map((r) => `binding: ${r}`) };
-  if (binding.did !== did) return { ok: false, reasons: [`binding is for ${binding.did}, not ${did}`] };
-
-  const bytes = canonicalBytes(obj);
-  const s = sigs ?? {};
-
-  const pub = publicKeyFromDid(did);
-  const edHex = typeof s.sig_ed === 'string' && s.sig_ed.startsWith('ed25519:') ? s.sig_ed.slice(8) : '';
-  let edOk = false;
-  if (pub && /^[0-9a-f]{128}$/.test(edHex)) {
-    try {
-      edOk = ed25519.verify(hexToBytes(edHex), bytes, pub);
-    } catch {
-      edOk = false;
-    }
-  }
-  if (!edOk) reasons.push('Ed25519 signature missing or invalid');
-
-  const pqHex = typeof s.sig_pq === 'string' && s.sig_pq.startsWith('mldsa65:') ? s.sig_pq.slice(8) : '';
-  let pqOk = false;
-  if (/^[0-9a-f]+$/.test(pqHex) && pqHex.length > 0) {
-    try {
-      pqOk = ml_dsa65.verify(hexToBytes(pqHex), bytes, hexToBytes(binding.pq_pub));
-    } catch {
-      pqOk = false;
-    }
-  }
-  if (!pqOk) reasons.push('ML-DSA signature missing or invalid — refusing Ed25519-only fallback');
-
-  return { ok: reasons.length === 0, reasons };
-}
-
-/**
- * The payload to `record()` UNSALTED (`salt: false` / `salt=False`) as the transition
- * receipt — a PQ binding is public by design, and the receipt's `payload_hash` must be
- * recomputable by any verifier. Suggested target: `pq.transition`.
- */
-export function transitionPayload(binding: PqBinding): string {
-  const check = verifyPqBinding(binding);
-  if (!check.ok) throw new Error(`refusing to anchor an invalid binding: ${check.reasons.join('; ')}`);
-  return JSON.stringify(binding);
-}
-
-export interface TransitionEvidence {
-  sth: SignedTreeHead;
-  index: number;
-  /** Audit path, hex-encoded. */
-  proof: string[];
-}
-
-/**
- * Verify the transition: the receipt commits to EXACTLY this binding
- * (`payload_hash` matches, unsalted) and the receipt is Merkle-proven in the log the
- * STH commits to. The STH's anchored timestamp then bounds when the binding existed —
- * the piece that survives a future Ed25519 break.
- */
-export function verifyTransition(binding: PqBinding, receipt: Receipt, evidence: TransitionEvidence | undefined): PqCheck {
-  const reasons: string[] = [];
-  const bind = verifyPqBinding(binding);
-  if (!bind.ok) return { ok: false, reasons: bind.reasons.map((r) => `binding: ${r}`) };
-  if (receipt.agent_id !== binding.did) reasons.push(`transition receipt by ${receipt.agent_id}, but the binding is for ${binding.did}`);
-  if (receipt.payload_hash !== hashPayload(transitionPayload(binding))) {
-    reasons.push('receipt payload_hash does not commit to this binding (was it recorded salted?)');
-  }
-  if (!evidence) {
-    reasons.push('no inclusion evidence — an unanchored binding proves nothing about when it existed');
-  } else if (!verifySTH(evidence.sth)) {
-    reasons.push('inclusion evidence STH signature is invalid');
-  } else {
-    const root = hexToBytes(evidence.sth.root.replace('sha256:', ''));
-    const ok = verifyInclusion(
-      leafHash(canonicalBytes(receipt as unknown as Record<string, unknown>)),
-      evidence.index,
-      evidence.sth.size,
-      evidence.proof.map((h) => hexToBytes(h)),
-      root,
-    );
-    if (!ok) reasons.push('inclusion proof FAILED — the transition is not in the log the STH commits to');
-  }
-  return { ok: reasons.length === 0, reasons };
-}
+/**
+ * @zanii/pq — post-quantum migration rails: dual-sign today, stay provable after Ed25519.
+ *
+ * Everything in Zanii signs with Ed25519, which a large quantum computer breaks. The
+ * cheap, correct move is not to wait: it is a **hybrid** that a government or hospital
+ * buyer can adopt now. Three pieces:
+ *
+ * 1. **A PQ key binding** — an agent binds an ML-DSA-65 (FIPS 204) public key to its
+ *    did:key, signed by **both** keys over the same body. Both signatures prove
+ *    possession of both keys: an attacker holding only one cannot forge the binding.
+ * 2. **Dual-signing** (`dualSign`/`verifyDual`) — any protocol object signed by both
+ *    algorithms, and verification requires **BOTH** to pass. Hybrid security: forging
+ *    needs Ed25519 AND ML-DSA broken at once.
+ * 3. **The transition record** — anchor the binding into the Merkle log NOW. The log
+ *    is SHA-256 (not broken by known quantum algorithms in any practical sense), so
+ *    the anchored, timestamped inclusion of the binding proves it existed BEFORE any
+ *    future Ed25519 break — "this PQ key was this agent's key all along" survives the
+ *    thing it is defending against.
+ *
+ * ## The limit, stated up front
+ *
+ * Pre-migration receipts are **not re-signed** and never will be — their post-quantum
+ * protection is the anchored log timestamp (an Ed25519 signature that was included in
+ * an anchored tree BEFORE the break is evidence of when it was made; the same
+ * signature made AFTER the break proves nothing). Hybrid verification is only hybrid
+ * when the verifier demands both signatures — `verifyDual` refuses a missing
+ * ML-DSA signature rather than quietly falling back to Ed25519-only.
+ */
+import { ed25519 } from '@noble/curves/ed25519';
+import { bytesToHex, hexToBytes } from '@noble/hashes/utils';
+import { ml_dsa65 } from '@noble/post-quantum/ml-dsa.js';
+import {
+  canonicalBytes,
+  hashPayload,
+  payloadBytes,
+  jcsHash,
+  leafHash,
+  publicKeyFromDid,
+  verifyInclusion,
+  verifySTH,
+  type Receipt,
+  type SignedTreeHead,
+} from '@zanii/core';
+
+export const PQ_ALG = 'ML-DSA-65' as const;
+
+export interface PqKeypair {
+  publicKey: Uint8Array;
+  secretKey: Uint8Array;
+}
+
+/** Generate an ML-DSA-65 keypair. Pass a 32-byte seed for deterministic derivation. */
+export function generatePqKeypair(seed?: Uint8Array): PqKeypair {
+  const keys = seed ? ml_dsa65.keygen(seed) : ml_dsa65.keygen();
+  return { publicKey: keys.publicKey, secretKey: keys.secretKey };
+}
+
+export interface PqBinding {
+  v: 1;
+  type: 'pq.binding';
+  /** The agent's classical identity — the Ed25519 did:key everything else uses. */
+  did: string;
+  alg: typeof PQ_ALG;
+  /** ML-DSA-65 public key, hex (1952 bytes). */
+  pq_pub: string;
+  ts: string;
+  /** `ed25519:<hex>` by the did's key — the classical key vouches for the PQ key. */
+  sig_ed?: string;
+  /** `mldsa65:<hex>` by the PQ key — proves possession; not just a claimed key. */
+  sig_pq?: string;
+}
+
+/**
+ * Bind a PQ public key to a did:key. BOTH keys sign the same unsigned body — an
+ * attacker holding only the Ed25519 key (or only the PQ key) cannot produce this.
+ */
+export function bindPqKey(
+  fields: { did: string; pqPublicKey: Uint8Array; ts: string },
+  edPrivateKey: Uint8Array,
+  pqSecretKey: Uint8Array,
+): PqBinding {
+  if (!fields.did) throw new Error('did is required');
+  if (Number.isNaN(Date.parse(fields.ts))) throw new Error('ts must be an ISO timestamp');
+  const unsigned = {
+    v: 1 as const,
+    type: 'pq.binding' as const,
+    did: fields.did,
+    alg: PQ_ALG,
+    pq_pub: bytesToHex(fields.pqPublicKey),
+    ts: fields.ts,
+  };
+  const bytes = canonicalBytes(unsigned);
+  return {
+    ...unsigned,
+    sig_ed: `ed25519:${bytesToHex(ed25519.sign(bytes, edPrivateKey))}`,
+    sig_pq: `mldsa65:${bytesToHex(ml_dsa65.sign(bytes, pqSecretKey))}`,
+  };
+}
+
+export interface PqCheck {
+  ok: boolean;
+  reasons: string[];
+}
+
+/** Verify a binding: structure + BOTH signatures over the same body. */
+export function verifyPqBinding(binding: PqBinding | undefined): PqCheck {
+  const reasons: string[] = [];
+  const b = binding ?? ({} as PqBinding);
+  if (b.v !== 1 || b.type !== 'pq.binding') reasons.push('not a pq.binding (v1)');
+  if (b.alg !== PQ_ALG) reasons.push(`unsupported alg '${b.alg}'`);
+  if (!b.did) reasons.push('missing did');
+  if (typeof b.pq_pub !== 'string' || !/^[0-9a-f]+$/.test(b.pq_pub)) reasons.push('missing/invalid pq_pub');
+  if (typeof b.ts !== 'string' || Number.isNaN(Date.parse(b.ts))) reasons.push('missing/invalid ts');
+  if (reasons.length > 0) return { ok: false, reasons };
+
+  const { sig_ed, sig_pq, ...unsigned } = b;
+  const bytes = canonicalBytes(unsigned as unknown as Record<string, unknown>);
+
+  const pub = publicKeyFromDid(b.did);
+  const edHex = typeof sig_ed === 'string' && sig_ed.startsWith('ed25519:') ? sig_ed.slice(8) : '';
+  let edOk = false;
+  if (pub && /^[0-9a-f]{128}$/.test(edHex)) {
+    try {
+      edOk = ed25519.verify(hexToBytes(edHex), bytes, pub);
+    } catch {
+      edOk = false;
+    }
+  }
+  if (!edOk) reasons.push('Ed25519 signature does not verify against the did');
+
+  const pqHex = typeof sig_pq === 'string' && sig_pq.startsWith('mldsa65:') ? sig_pq.slice(8) : '';
+  let pqOk = false;
+  if (/^[0-9a-f]+$/.test(pqHex) && pqHex.length > 0) {
+    try {
+      pqOk = ml_dsa65.verify(hexToBytes(pqHex), bytes, hexToBytes(b.pq_pub));
+    } catch {
+      pqOk = false;
+    }
+  }
+  if (!pqOk) reasons.push('ML-DSA signature does not verify against pq_pub (possession not proven)');
+
+  return { ok: reasons.length === 0, reasons };
+}
+
+/** Canonical hash of the full binding (both sigs included) — its stable id. */
+export function bindingHash(binding: PqBinding): string {
+  return jcsHash(binding as unknown as Record<string, unknown>);
+}
+
+export interface DualSignature {
+  /** `ed25519:<hex>`. */
+  sig_ed: string;
+  /** `mldsa65:<hex>`. */
+  sig_pq: string;
+}
+
+/** Sign any protocol object with both algorithms over its canonical (JCS) bytes. */
+export function dualSign(obj: Record<string, unknown>, edPrivateKey: Uint8Array, pqSecretKey: Uint8Array): DualSignature {
+  const bytes = canonicalBytes(obj);
+  return {
+    sig_ed: `ed25519:${bytesToHex(ed25519.sign(bytes, edPrivateKey))}`,
+    sig_pq: `mldsa65:${bytesToHex(ml_dsa65.sign(bytes, pqSecretKey))}`,
+  };
+}
+
+/**
+ * Verify a dual signature. BOTH must pass, and the PQ public key comes from a
+ * **verified binding for the same did** — never from the message. A missing ML-DSA
+ * signature is a failure, not a fallback: hybrid that degrades silently isn't hybrid.
+ */
+export function verifyDual(
+  obj: Record<string, unknown>,
+  did: string,
+  binding: PqBinding,
+  sigs: Partial<DualSignature> | undefined,
+): PqCheck {
+  const reasons: string[] = [];
+  const bind = verifyPqBinding(binding);
+  if (!bind.ok) return { ok: false, reasons: bind.reasons.map((r) => `binding: ${r}`) };
+  if (binding.did !== did) return { ok: false, reasons: [`binding is for ${binding.did}, not ${did}`] };
+
+  const bytes = canonicalBytes(obj);
+  const s = sigs ?? {};
+
+  const pub = publicKeyFromDid(did);
+  const edHex = typeof s.sig_ed === 'string' && s.sig_ed.startsWith('ed25519:') ? s.sig_ed.slice(8) : '';
+  let edOk = false;
+  if (pub && /^[0-9a-f]{128}$/.test(edHex)) {
+    try {
+      edOk = ed25519.verify(hexToBytes(edHex), bytes, pub);
+    } catch {
+      edOk = false;
+    }
+  }
+  if (!edOk) reasons.push('Ed25519 signature missing or invalid');
+
+  const pqHex = typeof s.sig_pq === 'string' && s.sig_pq.startsWith('mldsa65:') ? s.sig_pq.slice(8) : '';
+  let pqOk = false;
+  if (/^[0-9a-f]+$/.test(pqHex) && pqHex.length > 0) {
+    try {
+      pqOk = ml_dsa65.verify(hexToBytes(pqHex), bytes, hexToBytes(binding.pq_pub));
+    } catch {
+      pqOk = false;
+    }
+  }
+  if (!pqOk) reasons.push('ML-DSA signature missing or invalid — refusing Ed25519-only fallback');
+
+  return { ok: reasons.length === 0, reasons };
+}
+
+/**
+ * The payload to `record()` UNSALTED (`salt: false` / `salt=False`) as the transition
+ * receipt — a PQ binding is public by design, and the receipt's `payload_hash` must be
+ * recomputable by any verifier. Suggested target: `pq.transition`.
+ */
+export function transitionPayload(binding: PqBinding): Uint8Array {
+  const check = verifyPqBinding(binding);
+  if (!check.ok) throw new Error(`refusing to anchor an invalid binding: ${check.reasons.join('; ')}`);
+  // JCS, matching what record() now commits to — a JSON.stringify here would make the
+  // recomputed hash disagree with the receipt for any non-sorted or non-ASCII binding.
+  return payloadBytes(binding);
+}
+
+export interface TransitionEvidence {
+  sth: SignedTreeHead;
+  index: number;
+  /** Audit path, hex-encoded. */
+  proof: string[];
+}
+
+/**
+ * Verify the transition: the receipt commits to EXACTLY this binding
+ * (`payload_hash` matches, unsalted) and the receipt is Merkle-proven in the log the
+ * STH commits to. The STH's anchored timestamp then bounds when the binding existed —
+ * the piece that survives a future Ed25519 break.
+ */
+export function verifyTransition(binding: PqBinding, receipt: Receipt, evidence: TransitionEvidence | undefined): PqCheck {
+  const reasons: string[] = [];
+  const bind = verifyPqBinding(binding);
+  if (!bind.ok) return { ok: false, reasons: bind.reasons.map((r) => `binding: ${r}`) };
+  if (receipt.agent_id !== binding.did) reasons.push(`transition receipt by ${receipt.agent_id}, but the binding is for ${binding.did}`);
+  if (receipt.payload_hash !== hashPayload(transitionPayload(binding))) {
+    reasons.push('receipt payload_hash does not commit to this binding (was it recorded salted?)');
+  }
+  if (!evidence) {
+    reasons.push('no inclusion evidence — an unanchored binding proves nothing about when it existed');
+  } else if (!verifySTH(evidence.sth)) {
+    reasons.push('inclusion evidence STH signature is invalid');
+  } else {
+    const root = hexToBytes(evidence.sth.root.replace('sha256:', ''));
+    const ok = verifyInclusion(
+      leafHash(canonicalBytes(receipt as unknown as Record<string, unknown>)),
+      evidence.index,
+      evidence.sth.size,
+      evidence.proof.map((h) => hexToBytes(h)),
+      root,
+    );
+    if (!ok) reasons.push('inclusion proof FAILED — the transition is not in the log the STH commits to');
+  }
+  return { ok: reasons.length === 0, reasons };
+}