@zanii/train 0.2.0 → 0.2.2

package/README.md

@@ -43,3 +43,7 @@ absence proof is only as honest as the manifest is complete — pair it with an
 enclave (`@zanii/attest`: the published image hash is the only code that touched the
 data) so "absent from the manifest" also means "absent from the run." The manifest
 commits refs, never content.
+
+## Changelog
+
+- **0.2.2** — Dataset cards and an AI Act training-content summary bound to the manifest, opt-out and eval-contamination checks with absence proofs, a licence ledger, synthetic-data depth, run attestations, fine-tune manifests, royalties by inclusion, poisoning forensics.

package/dist/index.d.ts

@@ -55,5 +55,5 @@ export declare function proveMembership(m: TrainingManifest, refs: string[], ref
 export declare function verifyAbsence(proof: AbsenceProof | undefined, m: TrainingManifest): boolean;
 /** Verify a membership proof against a manifest. */
 export declare function verifyMembership(proof: MembershipProof | undefined, m: TrainingManifest): boolean;
-export {};
+export * from './provenance.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":"AA2BA,yFAAyF;AACzF,UAAU,IAAI;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,gBAAgB;IAC/B,CAAC,EAAE,CAAC,CAAC;IACL,IAAI,EAAE,mBAAmB,CAAC;IAC1B,sCAAsC;IACtC,MAAM,EAAE,MAAM,CAAC;IACf,qCAAqC;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,qEAAqE;IACrE,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;CACpB;AA8BD,+FAA+F;AAC/F,wBAAgB,aAAa,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAAG,gBAAgB,CAa5G;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,gBAAgB,GAAG,MAAM,CAExD;AAED,0FAA0F;AAC1F,wBAAgB,eAAe,CAAC,CAAC,EAAE,gBAAgB,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,CAEzG;AAQD,MAAM,WAAW,YAAY;IAC3B,CAAC,EAAE,CAAC,CAAC;IACL,IAAI,EAAE,kBAAkB,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,6BAA6B;IAC7B,GAAG,EAAE,MAAM,CAAC;IACZ,wDAAwD;IACxD,GAAG,EAAE,IAAI,CAAC;IACV,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB;AAED,MAAM,WAAW,eAAe;IAC9B,CAAC,EAAE,CAAC,CAAC;IACL,IAAI,EAAE,qBAAqB,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB;AAED,yFAAyF;AACzF,wBAAgB,YAAY,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,GAAG,YAAY,CAS3F;AAED,iFAAiF;AACjF,wBAAgB,eAAe,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,GAAG,eAAe,CAMjG;AAED,6FAA6F;AAC7F,wBAAgB,aAAa,CAAC,KAAK,EAAE,YAAY,GAAG,SAAS,EAAE,CAAC,EAAE,gBAAgB,GAAG,OAAO,CAY3F;AAED,oDAAoD;AACpD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,eAAe,GAAG,SAAS,EAAE,CAAC,EAAE,gBAAgB,GAAG,OAAO,CASjG"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AA2BA,yFAAyF;AACzF,UAAU,IAAI;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,gBAAgB;IAC/B,CAAC,EAAE,CAAC,CAAC;IACL,IAAI,EAAE,mBAAmB,CAAC;IAC1B,sCAAsC;IACtC,MAAM,EAAE,MAAM,CAAC;IACf,qCAAqC;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,qEAAqE;IACrE,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;CACpB;AA8BD,+FAA+F;AAC/F,wBAAgB,aAAa,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAAG,gBAAgB,CAa5G;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,gBAAgB,GAAG,MAAM,CAExD;AAED,0FAA0F;AAC1F,wBAAgB,eAAe,CAAC,CAAC,EAAE,gBAAgB,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,CAEzG;AAQD,MAAM,WAAW,YAAY;IAC3B,CAAC,EAAE,CAAC,CAAC;IACL,IAAI,EAAE,kBAAkB,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,6BAA6B;IAC7B,GAAG,EAAE,MAAM,CAAC;IACZ,wDAAwD;IACxD,GAAG,EAAE,IAAI,CAAC;IACV,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB;AAED,MAAM,WAAW,eAAe;IAC9B,CAAC,EAAE,CAAC,CAAC;IACL,IAAI,EAAE,qBAAqB,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB;AAED,yFAAyF;AACzF,wBAAgB,YAAY,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,GAAG,YAAY,CAS3F;AAED,iFAAiF;AACjF,wBAAgB,eAAe,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,GAAG,eAAe,CAMjG;AAED,6FAA6F;AAC7F,wBAAgB,aAAa,CAAC,KAAK,EAAE,YAAY,GAAG,SAAS,EAAE,CAAC,EAAE,gBAAgB,GAAG,OAAO,CAY3F;AAED,oDAAoD;AACpD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,eAAe,GAAG,SAAS,EAAE,CAAC,EAAE,gBAAgB,GAAG,OAAO,CASjG;AACD,cAAc,iBAAiB,CAAC"}

package/dist/index.js

@@ -134,4 +134,5 @@ export function verifyMembership(proof, m) {
         return false;
     }
 }
+export * from './provenance.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;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAoB7G,yFAAyF;AACzF,gFAAgF;AAChF,SAAS,SAAS,CAAC,CAAS;IAC1B,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IAC/F,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,IAAI,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,4EAA4E,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACpJ,CAAC;AACH,CAAC;AAED,0FAA0F;AAC1F,SAAS,OAAO,CAAC,IAAc;IAC7B,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACzC,qFAAqF;IACrF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IACtD,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,wEAAwE;IACxE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAE,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,sCAAsC;QACtF,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QAC1D,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,6BAA6B;IACzE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,CAAO,EAAc,EAAE,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAuC,CAAC,CAAC,CAAC;AAE5G,+FAA+F;AAC/F,MAAM,UAAU,aAAa,CAAC,MAA4D;IACxF,IAAI,CAAC,MAAM,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACxD,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACtG,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzD,OAAO;QACL,CAAC,EAAE,CAAC;QACJ,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,MAAM,CAAC,KAAK;QACpB,IAAI,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;QAC/B,IAAI,EAAE,UAAU,IAAI,EAAE;QACtB,UAAU,EAAE,MAAM,CAAC,SAAS;KAC7B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,CAAmB;IAC9C,OAAO,OAAO,CAAC,CAAuC,CAAC,CAAC;AAC1D,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,eAAe,CAAC,CAAmB;IACjD,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAC9F,CAAC;AAED,4EAA4E;AAC5E,gFAAgF;AAChF,MAAM,aAAa,GAAG,CAAC,KAAa,EAAE,MAAoB,EAAY,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;AACvH,MAAM,UAAU,GAAG,CAAC,IAAgB,EAAE,KAAa,EAAE,IAAY,EAAE,IAAc,EAAE,IAAgB,EAAW,EAAE,CAC9G,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC;AAyBjE,yFAAyF;AACzF,MAAM,UAAU,YAAY,CAAC,CAAmB,EAAE,IAAc,EAAE,GAAW;IAC3E,SAAS,CAAC,GAAG,CAAC,CAAC;IACf,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACzC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,IAAI,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChF,IAAI,EAAE,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;IACpE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAE,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,aAAa,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC;AACrJ,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,eAAe,CAAC,CAAmB,EAAE,IAAc,EAAE,GAAW;IAC9E,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC;IAChE,IAAI,EAAE,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IACvE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,aAAa,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC;AACvI,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,aAAa,CAAC,KAA+B,EAAE,CAAmB;IAChF,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,KAAK,IAAK,EAAmB,CAAC;QACxC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QACtF,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,IAAK,EAAW,CAAC;QAClC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,sCAAsC;QAC7F,IAAI,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE;YAAE,OAAO,KAAK,CAAC,CAAC,6BAA6B;QAClE,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC;QACvD,OAAO,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAClE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC,CAAC,kFAAkF;IAClG,CAAC;AACH,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,gBAAgB,CAAC,KAAkC,EAAE,CAAmB;IACtF,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,KAAK,IAAK,EAAsB,CAAC;QAC3C,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QACzF,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC;QACvD,OAAO,UAAU,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACvF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAoB7G,yFAAyF;AACzF,gFAAgF;AAChF,SAAS,SAAS,CAAC,CAAS;IAC1B,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IAC/F,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,IAAI,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,4EAA4E,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACpJ,CAAC;AACH,CAAC;AAED,0FAA0F;AAC1F,SAAS,OAAO,CAAC,IAAc;IAC7B,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACzC,qFAAqF;IACrF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IACtD,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,wEAAwE;IACxE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAE,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,sCAAsC;QACtF,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QAC1D,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,6BAA6B;IACzE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,CAAO,EAAc,EAAE,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAuC,CAAC,CAAC,CAAC;AAE5G,+FAA+F;AAC/F,MAAM,UAAU,aAAa,CAAC,MAA4D;IACxF,IAAI,CAAC,MAAM,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACxD,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACtG,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzD,OAAO;QACL,CAAC,EAAE,CAAC;QACJ,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,MAAM,CAAC,KAAK;QACpB,IAAI,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;QAC/B,IAAI,EAAE,UAAU,IAAI,EAAE;QACtB,UAAU,EAAE,MAAM,CAAC,SAAS;KAC7B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,CAAmB;IAC9C,OAAO,OAAO,CAAC,CAAuC,CAAC,CAAC;AAC1D,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,eAAe,CAAC,CAAmB;IACjD,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAC9F,CAAC;AAED,4EAA4E;AAC5E,gFAAgF;AAChF,MAAM,aAAa,GAAG,CAAC,KAAa,EAAE,MAAoB,EAAY,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;AACvH,MAAM,UAAU,GAAG,CAAC,IAAgB,EAAE,KAAa,EAAE,IAAY,EAAE,IAAc,EAAE,IAAgB,EAAW,EAAE,CAC9G,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC;AAyBjE,yFAAyF;AACzF,MAAM,UAAU,YAAY,CAAC,CAAmB,EAAE,IAAc,EAAE,GAAW;IAC3E,SAAS,CAAC,GAAG,CAAC,CAAC;IACf,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACzC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,IAAI,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChF,IAAI,EAAE,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;IACpE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAE,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,aAAa,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC;AACrJ,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,eAAe,CAAC,CAAmB,EAAE,IAAc,EAAE,GAAW;IAC9E,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC;IAChE,IAAI,EAAE,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IACvE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,aAAa,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC;AACvI,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,aAAa,CAAC,KAA+B,EAAE,CAAmB;IAChF,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,KAAK,IAAK,EAAmB,CAAC;QACxC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QACtF,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,IAAK,EAAW,CAAC;QAClC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,sCAAsC;QAC7F,IAAI,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE;YAAE,OAAO,KAAK,CAAC,CAAC,6BAA6B;QAClE,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC;QACvD,OAAO,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAClE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC,CAAC,kFAAkF;IAClG,CAAC;AACH,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,gBAAgB,CAAC,KAAkC,EAAE,CAAmB;IACtF,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,KAAK,IAAK,EAAsB,CAAC;QAC3C,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QACzF,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC;QACvD,OAAO,UAAU,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACvF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AACD,cAAc,iBAAiB,CAAC"}

package/dist/provenance.d.ts

@@ -0,0 +1,180 @@
+import { type AbsenceProof, type MembershipProof, type TrainingManifest } from './index.js';
+export interface DatasetCardFields {
+    name: string;
+    description: string;
+    sources: string[];
+    languages?: string[];
+    collectionPeriod?: {
+        from: string;
+        to: string;
+    };
+    preprocessing?: string[];
+    knownLimitations?: string[];
+    licence?: string;
+}
+/** A dataset card whose hash covers the manifest it describes: change either and the hash changes. */
+export declare function datasetCard(m: TrainingManifest, fields: DatasetCardFields): {
+    hash: string;
+    name: string;
+    description: string;
+    sources: string[];
+    languages?: string[];
+    collectionPeriod?: {
+        from: string;
+        to: string;
+    };
+    preprocessing?: string[];
+    knownLimitations?: string[];
+    licence?: string;
+    v: number;
+    type: string;
+    manifest: string;
+    run_id: string;
+    size: number;
+};
+/**
+ * A public summary of training content for general-purpose AI models (AI Act Art. 53(1)(d)),
+ * laid out after the sections of the Commission's template: general information, data
+ * sources by kind, and data processing (opt-out handling, illegal-content removal).
+ */
+export declare function trainingContentSummary(m: TrainingManifest, input: {
+    provider: string;
+    model: string;
+    modalities: string[];
+    trainingDataSize: string;
+    sources: {
+        publicDatasets?: string[];
+        licensedPrivate?: string[];
+        webCrawled?: {
+            crawler: string;
+            period: string;
+            topDomains: string[];
+        };
+        userData?: string;
+        synthetic?: string;
+        other?: string;
+    };
+    processing: {
+        optOutMeasures: string;
+        illegalContentMeasures: string;
+    };
+}): {
+    hash: string;
+    v: number;
+    type: string;
+    manifest: string;
+    general: {
+        provider: string;
+        model: string;
+        modalities: string[];
+        training_data_size: string;
+    };
+    sources: {
+        publicDatasets?: string[];
+        licensedPrivate?: string[];
+        webCrawled?: {
+            crawler: string;
+            period: string;
+            topDomains: string[];
+        };
+        userData?: string;
+        synthetic?: string;
+        other?: string;
+    };
+    processing: {
+        opt_out: string;
+        illegal_content: string;
+    };
+};
+/** For every opted-out work: an absence proof, or a violation when it is in the set. */
+export declare function optOutsHonoured(m: TrainingManifest, refs: string[], optedOut: string[]): {
+    ok: boolean;
+    proofs: AbsenceProof[];
+    violations: string[];
+};
+/** The same check for an evaluation set: contamination is any eval item found in training. */
+export declare function evalContamination(m: TrainingManifest, refs: string[], evalRefs: string[]): {
+    clean: boolean;
+    contaminated: string[];
+    rate: number;
+    absenceProofs: AbsenceProof[];
+};
+export interface SourceLicence {
+    source: string;
+    licence: string;
+    termsHash: string;
+    allowsTraining: boolean;
+}
+/** Commit per-source licence terms (as refs in a manifest) and list sources whose terms do not allow training. */
+export declare function licenceLedger(runId: string, sources: SourceLicence[], createdAt: string): {
+    manifest: TrainingManifest;
+    refs: string[];
+    notAllowed: string[];
+};
+/** Prove one source's licence entry is in the committed licence ledger. */
+export declare function licenceProof(ledger: ReturnType<typeof licenceLedger>, source: SourceLicence): MembershipProof;
+/** Synthetic samples traced to the generator that made them and the samples it was seeded with. */
+export interface SyntheticRecord {
+    ref: string;
+    generator: {
+        model: string;
+        version: string;
+        manifest?: string;
+    };
+    seeds: string[];
+}
+/** How many generations of synthetic data a sample sits on (0 for real data); deep chains signal model-collapse risk. */
+export declare function syntheticDepth(records: SyntheticRecord[], ref: string, maxDepth?: number): number;
+/** Bind a manifest to an attested training job (TEE or GPU attestation): one hash covering both. */
+export declare function runAttestation(m: TrainingManifest, att: {
+    platform: string;
+    attestationHash: string;
+    imageHash: string;
+    startedAt: string;
+    endedAt: string;
+}): {
+    hash: string;
+    platform: string;
+    attestationHash: string;
+    imageHash: string;
+    startedAt: string;
+    endedAt: string;
+    v: number;
+    type: string;
+    manifest: string;
+};
+export declare function verifyRunAttestation(b: ReturnType<typeof runAttestation>, m: TrainingManifest): boolean;
+/** A fine-tune's own manifest, linked to its base model's manifest. */
+export declare function fineTuneManifest(base: TrainingManifest, input: {
+    runId: string;
+    refs: string[];
+    createdAt: string;
+}): {
+    manifest: TrainingManifest;
+    base: string;
+    base_run: string;
+};
+/** Split a pool (minor units) among contributors by how many of their works were included. Exact; remainders by largest fraction. */
+export declare function royaltyByInclusion(included: string[], contributorOf: Record<string, string>, poolMinor: bigint): {
+    payouts: Array<{
+        contributor: string;
+        works: number;
+        minor: string;
+    }>;
+};
+/** Which runs included a suspect sample: a membership proof for each, an absence proof for the rest. */
+export declare function poisoningForensics(sampleRef: string, runs: Array<{
+    manifest: TrainingManifest;
+    refs: string[];
+}>): {
+    sample: string;
+    affected: {
+        run: string;
+        proof: MembershipProof;
+    }[];
+    clear: {
+        run: string;
+        proof: AbsenceProof;
+    }[];
+};
+//# sourceMappingURL=provenance.d.ts.map

package/dist/provenance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"provenance.d.ts","sourceRoot":"","sources":["../src/provenance.ts"],"names":[],"mappings":"AAOA,OAAO,EAA8D,KAAK,YAAY,EAAE,KAAK,eAAe,EAAE,KAAK,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAMxJ,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,gBAAgB,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC;IAChD,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,sGAAsG;AACtG,wBAAgB,WAAW,CAAC,CAAC,EAAE,gBAAgB,EAAE,MAAM,EAAE,iBAAiB;;UAXlE,MAAM;iBACC,MAAM;aACV,MAAM,EAAE;gBACL,MAAM,EAAE;uBACD;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE;oBAC/B,MAAM,EAAE;uBACL,MAAM,EAAE;cACjB,MAAM;;;;;;EAOjB;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,gBAAgB,EAAE,KAAK,EAAE;IACjE,QAAQ,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAC;IAChF,OAAO,EAAE;QAAE,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;QAAC,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,CAAC,EAAE;YAAE,OAAO,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAClM,UAAU,EAAE;QAAE,cAAc,EAAE,MAAM,CAAC;QAAC,sBAAsB,EAAE,MAAM,CAAA;KAAE,CAAC;CACxE;;;;;;;;;;;;yBAF6B,MAAM,EAAE;0BAAoB,MAAM,EAAE;qBAAe;YAAE,OAAO,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE;mBAAa,MAAM;oBAAc,MAAM;gBAAU,MAAM;;;;;;EAUhM;AAMD,wFAAwF;AACxF,wBAAgB,eAAe,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE;;;;EAMtF;AAED,8FAA8F;AAC9F,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE;;;;;EAGxF;AAMD,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,OAAO,CAAC;CACzB;AAED,kHAAkH;AAClH,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,EAAE,SAAS,EAAE,MAAM;;;;EAGvF;AAED,2EAA2E;AAC3E,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,aAAa,CAAC,EAAE,MAAM,EAAE,aAAa,GAAG,eAAe,CAE7G;AAED,mGAAmG;AACnG,MAAM,WAAW,eAAe;IAC9B,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACjE,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,yHAAyH;AACzH,wBAAgB,cAAc,CAAC,OAAO,EAAE,eAAe,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,SAAK,GAAG,MAAM,CAQ7F;AAED,oGAAoG;AACpG,wBAAgB,cAAc,CAAC,CAAC,EAAE,gBAAgB,EAAE,GAAG,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE;;cAAxF,MAAM;qBAAmB,MAAM;eAAa,MAAM;eAAa,MAAM;aAAW,MAAM;;;;EAG1J;AAED,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,UAAU,CAAC,OAAO,cAAc,CAAC,EAAE,CAAC,EAAE,gBAAgB,GAAG,OAAO,CAGvG;AAED,uEAAuE;AACvE,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE;;;;EAEnH;AAMD,qIAAqI;AACrI,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,SAAS,EAAE,MAAM;aAOnE,KAAK,CAAC;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;EASvG;AAED,wGAAwG;AACxG,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;IAAE,QAAQ,EAAE,gBAAgB,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;;;aAClF,MAAM;eAAS,eAAe;;;aACjC,MAAM;eAAS,YAAY;;EAMtD"}

package/dist/provenance.js

@@ -0,0 +1,114 @@
+/**
+ * Training-data provenance, further: dataset cards and a training-content summary bound to
+ * the manifest, opt-out and contamination checks with absence proofs, a licence ledger,
+ * synthetic-data lineage, run attestations, fine-tune deltas, royalty accounting by
+ * inclusion and poisoning forensics across runs.
+ */
+import { jcsHash } from '@zanii/core';
+import { buildManifest, manifestHash, proveAbsence, proveMembership } from './index.js';
+/** A dataset card whose hash covers the manifest it describes: change either and the hash changes. */
+export function datasetCard(m, fields) {
+    const card = { v: 1, type: 'training.dataset_card', manifest: manifestHash(m), run_id: m.run_id, size: m.size, ...fields };
+    return { ...card, hash: jcsHash(card) };
+}
+/**
+ * A public summary of training content for general-purpose AI models (AI Act Art. 53(1)(d)),
+ * laid out after the sections of the Commission's template: general information, data
+ * sources by kind, and data processing (opt-out handling, illegal-content removal).
+ */
+export function trainingContentSummary(m, input) {
+    const summary = {
+        v: 1, type: 'training.content_summary', manifest: manifestHash(m),
+        general: { provider: input.provider, model: input.model, modalities: input.modalities, training_data_size: input.trainingDataSize },
+        sources: input.sources,
+        processing: { opt_out: input.processing.optOutMeasures, illegal_content: input.processing.illegalContentMeasures },
+    };
+    return { ...summary, hash: jcsHash(summary) };
+}
+// ------------------------------------------------------------------------------ //
+// Exclusions: opt-outs and evaluation sets
+// ------------------------------------------------------------------------------ //
+/** For every opted-out work: an absence proof, or a violation when it is in the set. */
+export function optOutsHonoured(m, refs, optedOut) {
+    const present = new Set(refs);
+    const proofs = [];
+    const violations = [];
+    for (const r of optedOut)
+        present.has(r) ? violations.push(r) : proofs.push(proveAbsence(m, refs, r));
+    return { ok: violations.length === 0, proofs, violations };
+}
+/** The same check for an evaluation set: contamination is any eval item found in training. */
+export function evalContamination(m, refs, evalRefs) {
+    const r = optOutsHonoured(m, refs, evalRefs);
+    return { clean: r.ok, contaminated: r.violations, rate: evalRefs.length ? r.violations.length / evalRefs.length : 0, absenceProofs: r.proofs };
+}
+/** Commit per-source licence terms (as refs in a manifest) and list sources whose terms do not allow training. */
+export function licenceLedger(runId, sources, createdAt) {
+    const refs = sources.map((s) => jcsHash(s));
+    return { manifest: buildManifest({ runId: `${runId}#licences`, refs, createdAt }), refs, notAllowed: sources.filter((s) => !s.allowsTraining).map((s) => s.source) };
+}
+/** Prove one source's licence entry is in the committed licence ledger. */
+export function licenceProof(ledger, source) {
+    return proveMembership(ledger.manifest, ledger.refs, jcsHash(source));
+}
+/** How many generations of synthetic data a sample sits on (0 for real data); deep chains signal model-collapse risk. */
+export function syntheticDepth(records, ref, maxDepth = 32) {
+    const by = new Map(records.map((r) => [r.ref, r]));
+    const depth = (x, d) => {
+        const r = by.get(x);
+        if (!r || d >= maxDepth)
+            return 0;
+        return 1 + Math.max(0, ...r.seeds.map((s) => depth(s, d + 1)));
+    };
+    return depth(ref, 0);
+}
+/** Bind a manifest to an attested training job (TEE or GPU attestation): one hash covering both. */
+export function runAttestation(m, att) {
+    const binding = { v: 1, type: 'training.run_attestation', manifest: manifestHash(m), ...att };
+    return { ...binding, hash: jcsHash(binding) };
+}
+export function verifyRunAttestation(b, m) {
+    const { hash, ...rest } = b;
+    return rest.manifest === manifestHash(m) && jcsHash(rest) === hash;
+}
+/** A fine-tune's own manifest, linked to its base model's manifest. */
+export function fineTuneManifest(base, input) {
+    return { manifest: buildManifest(input), base: manifestHash(base), base_run: base.run_id };
+}
+// ------------------------------------------------------------------------------ //
+// Royalties and forensics
+// ------------------------------------------------------------------------------ //
+/** Split a pool (minor units) among contributors by how many of their works were included. Exact; remainders by largest fraction. */
+export function royaltyByInclusion(included, contributorOf, poolMinor) {
+    const counts = new Map();
+    for (const r of new Set(included)) {
+        const c = contributorOf[r];
+        if (c)
+            counts.set(c, (counts.get(c) ?? 0n) + 1n);
+    }
+    const total = [...counts.values()].reduce((a, b) => a + b, 0n);
+    if (total === 0n)
+        return { payouts: [] };
+    const rows = [...counts].map(([contributor, n]) => ({ contributor, n, q: (poolMinor * n) / total, r: (poolMinor * n) % total }));
+    let left = poolMinor - rows.reduce((s, x) => s + x.q, 0n);
+    for (const x of [...rows].sort((a, b) => (b.r > a.r ? 1 : b.r < a.r ? -1 : a.contributor.localeCompare(b.contributor)))) {
+        if (left === 0n)
+            break;
+        x.q += 1n;
+        left -= 1n;
+    }
+    return { payouts: rows.map((x) => ({ contributor: x.contributor, works: Number(x.n), minor: x.q.toString() })) };
+}
+/** Which runs included a suspect sample: a membership proof for each, an absence proof for the rest. */
+export function poisoningForensics(sampleRef, runs) {
+    const affected = [];
+    const clear = [];
+    for (const r of runs) {
+        if (r.refs.includes(sampleRef))
+            affected.push({ run: r.manifest.run_id, proof: proveMembership(r.manifest, r.refs, sampleRef) });
+        else
+            clear.push({ run: r.manifest.run_id, proof: proveAbsence(r.manifest, r.refs, sampleRef) });
+    }
+    return { sample: sampleRef, affected, clear };
+}
+//# sourceMappingURL=provenance.js.map

package/dist/provenance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"provenance.js","sourceRoot":"","sources":["../src/provenance.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,YAAY,EAAE,eAAe,EAAkE,MAAM,YAAY,CAAC;AAiBxJ,sGAAsG;AACtG,MAAM,UAAU,WAAW,CAAC,CAAmB,EAAE,MAAyB;IACxE,MAAM,IAAI,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,MAAM,EAAE,CAAC;IAC3H,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;AAC1C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,CAAmB,EAAE,KAI3D;IACC,MAAM,OAAO,GAAG;QACd,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,0BAA0B,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;QACjE,OAAO,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,kBAAkB,EAAE,KAAK,CAAC,gBAAgB,EAAE;QACnI,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,UAAU,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,cAAc,EAAE,eAAe,EAAE,KAAK,CAAC,UAAU,CAAC,sBAAsB,EAAE;KACnH,CAAC;IACF,OAAO,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,oFAAoF;AACpF,2CAA2C;AAC3C,oFAAoF;AAEpF,wFAAwF;AACxF,MAAM,UAAU,eAAe,CAAC,CAAmB,EAAE,IAAc,EAAE,QAAkB;IACrF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,QAAQ;QAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACtG,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAC7D,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,iBAAiB,CAAC,CAAmB,EAAE,IAAc,EAAE,QAAkB;IACvF,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC7C,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AACjJ,CAAC;AAaD,kHAAkH;AAClH,MAAM,UAAU,aAAa,CAAC,KAAa,EAAE,OAAwB,EAAE,SAAiB;IACtF,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAU,CAAC,CAAC,CAAC;IACrD,OAAO,EAAE,QAAQ,EAAE,aAAa,CAAC,EAAE,KAAK,EAAE,GAAG,KAAK,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;AACvK,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,YAAY,CAAC,MAAwC,EAAE,MAAqB;IAC1F,OAAO,eAAe,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,MAAe,CAAC,CAAC,CAAC;AACjF,CAAC;AASD,yHAAyH;AACzH,MAAM,UAAU,cAAc,CAAC,OAA0B,EAAE,GAAW,EAAE,QAAQ,GAAG,EAAE;IACnF,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE;QAC7C,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,QAAQ;YAAE,OAAO,CAAC,CAAC;QAClC,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC;IACF,OAAO,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,cAAc,CAAC,CAAmB,EAAE,GAAyG;IAC3J,MAAM,OAAO,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,0BAA0B,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC;IAC9F,OAAO,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,CAAoC,EAAE,CAAmB;IAC5F,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5B,OAAO,IAAI,CAAC,QAAQ,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;AACrE,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,gBAAgB,CAAC,IAAsB,EAAE,KAA2D;IAClH,OAAO,EAAE,QAAQ,EAAE,aAAa,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;AAC7F,CAAC;AAED,oFAAoF;AACpF,0BAA0B;AAC1B,oFAAoF;AAEpF,qIAAqI;AACrI,MAAM,UAAU,kBAAkB,CAAC,QAAkB,EAAE,aAAqC,EAAE,SAAiB;IAC7G,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;IACnD,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/D,IAAI,KAAK,KAAK,EAAE;QAAE,OAAO,EAAE,OAAO,EAAE,EAAkE,EAAE,CAAC;IACzG,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,GAAG,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,CAAC,SAAS,GAAG,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;IACjI,IAAI,IAAI,GAAG,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;QACxH,IAAI,IAAI,KAAK,EAAE;YAAE,MAAM;QACvB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,IAAI,EAAE,CAAC;IACb,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;AACnH,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,kBAAkB,CAAC,SAAiB,EAAE,IAA2D;IAC/G,MAAM,QAAQ,GAAmD,EAAE,CAAC;IACpE,MAAM,KAAK,GAAgD,EAAE,CAAC;IAC9D,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;;YAC5H,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;IAClG,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAChD,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@zanii/train",
-  "version": "0.2.0",
+  "version": "0.2.2",
   "description": "Training-data provenance: hash a training set into a sorted-Merkle manifest, then PROVE a named subject's data was absent from a real training run - a non-membership proof anyone can check offline. 'It was never used to train a model' becomes a yes, not a promise. Proves what was recorded went in; cannot prove an off-manifest copy didn't (state the enclave boundary).",
   "license": "Apache-2.0",
   "homepage": "https://ledger.zanii.agency",
@@ -32,7 +32,7 @@
   },
   "dependencies": {
     "@noble/hashes": "^1.7.1",
-    "@zanii/core": "0.4.0"
+    "@zanii/core": "^0.5.4"
   },
   "scripts": {
     "build": "tsc -p tsconfig.build.json",

package/src/index.ts

@@ -172,3 +172,4 @@ export function verifyMembership(proof: MembershipProof | undefined, m: Training
     return false;
   }
 }
+export * from './provenance.js';

package/src/provenance.ts

@@ -0,0 +1,157 @@
+/**
+ * Training-data provenance, further: dataset cards and a training-content summary bound to
+ * the manifest, opt-out and contamination checks with absence proofs, a licence ledger,
+ * synthetic-data lineage, run attestations, fine-tune deltas, royalty accounting by
+ * inclusion and poisoning forensics across runs.
+ */
+import { jcsHash } from '@zanii/core';
+import { buildManifest, manifestHash, proveAbsence, proveMembership, type AbsenceProof, type MembershipProof, type TrainingManifest } from './index.js';
+
+// ------------------------------------------------------------------------------ //
+// Documentation bound to the manifest
+// ------------------------------------------------------------------------------ //
+
+export interface DatasetCardFields {
+  name: string;
+  description: string;
+  sources: string[];
+  languages?: string[];
+  collectionPeriod?: { from: string; to: string };
+  preprocessing?: string[];
+  knownLimitations?: string[];
+  licence?: string;
+}
+
+/** A dataset card whose hash covers the manifest it describes: change either and the hash changes. */
+export function datasetCard(m: TrainingManifest, fields: DatasetCardFields) {
+  const card = { v: 1, type: 'training.dataset_card', manifest: manifestHash(m), run_id: m.run_id, size: m.size, ...fields };
+  return { ...card, hash: jcsHash(card) };
+}
+
+/**
+ * A public summary of training content for general-purpose AI models (AI Act Art. 53(1)(d)),
+ * laid out after the sections of the Commission's template: general information, data
+ * sources by kind, and data processing (opt-out handling, illegal-content removal).
+ */
+export function trainingContentSummary(m: TrainingManifest, input: {
+  provider: string; model: string; modalities: string[]; trainingDataSize: string;
+  sources: { publicDatasets?: string[]; licensedPrivate?: string[]; webCrawled?: { crawler: string; period: string; topDomains: string[] }; userData?: string; synthetic?: string; other?: string };
+  processing: { optOutMeasures: string; illegalContentMeasures: string };
+}) {
+  const summary = {
+    v: 1, type: 'training.content_summary', manifest: manifestHash(m),
+    general: { provider: input.provider, model: input.model, modalities: input.modalities, training_data_size: input.trainingDataSize },
+    sources: input.sources,
+    processing: { opt_out: input.processing.optOutMeasures, illegal_content: input.processing.illegalContentMeasures },
+  };
+  return { ...summary, hash: jcsHash(summary) };
+}
+
+// ------------------------------------------------------------------------------ //
+// Exclusions: opt-outs and evaluation sets
+// ------------------------------------------------------------------------------ //
+
+/** For every opted-out work: an absence proof, or a violation when it is in the set. */
+export function optOutsHonoured(m: TrainingManifest, refs: string[], optedOut: string[]) {
+  const present = new Set(refs);
+  const proofs: AbsenceProof[] = [];
+  const violations: string[] = [];
+  for (const r of optedOut) present.has(r) ? violations.push(r) : proofs.push(proveAbsence(m, refs, r));
+  return { ok: violations.length === 0, proofs, violations };
+}
+
+/** The same check for an evaluation set: contamination is any eval item found in training. */
+export function evalContamination(m: TrainingManifest, refs: string[], evalRefs: string[]) {
+  const r = optOutsHonoured(m, refs, evalRefs);
+  return { clean: r.ok, contaminated: r.violations, rate: evalRefs.length ? r.violations.length / evalRefs.length : 0, absenceProofs: r.proofs };
+}
+
+// ------------------------------------------------------------------------------ //
+// Licences, lineage, attestations, fine-tunes
+// ------------------------------------------------------------------------------ //
+
+export interface SourceLicence {
+  source: string;
+  licence: string;
+  termsHash: string;
+  allowsTraining: boolean;
+}
+
+/** Commit per-source licence terms (as refs in a manifest) and list sources whose terms do not allow training. */
+export function licenceLedger(runId: string, sources: SourceLicence[], createdAt: string) {
+  const refs = sources.map((s) => jcsHash(s as never));
+  return { manifest: buildManifest({ runId: `${runId}#licences`, refs, createdAt }), refs, notAllowed: sources.filter((s) => !s.allowsTraining).map((s) => s.source) };
+}
+
+/** Prove one source's licence entry is in the committed licence ledger. */
+export function licenceProof(ledger: ReturnType<typeof licenceLedger>, source: SourceLicence): MembershipProof {
+  return proveMembership(ledger.manifest, ledger.refs, jcsHash(source as never));
+}
+
+/** Synthetic samples traced to the generator that made them and the samples it was seeded with. */
+export interface SyntheticRecord {
+  ref: string;
+  generator: { model: string; version: string; manifest?: string };
+  seeds: string[];
+}
+
+/** How many generations of synthetic data a sample sits on (0 for real data); deep chains signal model-collapse risk. */
+export function syntheticDepth(records: SyntheticRecord[], ref: string, maxDepth = 32): number {
+  const by = new Map(records.map((r) => [r.ref, r]));
+  const depth = (x: string, d: number): number => {
+    const r = by.get(x);
+    if (!r || d >= maxDepth) return 0;
+    return 1 + Math.max(0, ...r.seeds.map((s) => depth(s, d + 1)));
+  };
+  return depth(ref, 0);
+}
+
+/** Bind a manifest to an attested training job (TEE or GPU attestation): one hash covering both. */
+export function runAttestation(m: TrainingManifest, att: { platform: string; attestationHash: string; imageHash: string; startedAt: string; endedAt: string }) {
+  const binding = { v: 1, type: 'training.run_attestation', manifest: manifestHash(m), ...att };
+  return { ...binding, hash: jcsHash(binding) };
+}
+
+export function verifyRunAttestation(b: ReturnType<typeof runAttestation>, m: TrainingManifest): boolean {
+  const { hash, ...rest } = b;
+  return rest.manifest === manifestHash(m) && jcsHash(rest) === hash;
+}
+
+/** A fine-tune's own manifest, linked to its base model's manifest. */
+export function fineTuneManifest(base: TrainingManifest, input: { runId: string; refs: string[]; createdAt: string }) {
+  return { manifest: buildManifest(input), base: manifestHash(base), base_run: base.run_id };
+}
+
+// ------------------------------------------------------------------------------ //
+// Royalties and forensics
+// ------------------------------------------------------------------------------ //
+
+/** Split a pool (minor units) among contributors by how many of their works were included. Exact; remainders by largest fraction. */
+export function royaltyByInclusion(included: string[], contributorOf: Record<string, string>, poolMinor: bigint) {
+  const counts = new Map<string, bigint>();
+  for (const r of new Set(included)) {
+    const c = contributorOf[r];
+    if (c) counts.set(c, (counts.get(c) ?? 0n) + 1n);
+  }
+  const total = [...counts.values()].reduce((a, b) => a + b, 0n);
+  if (total === 0n) return { payouts: [] as Array<{ contributor: string; works: number; minor: string }> };
+  const rows = [...counts].map(([contributor, n]) => ({ contributor, n, q: (poolMinor * n) / total, r: (poolMinor * n) % total }));
+  let left = poolMinor - rows.reduce((s, x) => s + x.q, 0n);
+  for (const x of [...rows].sort((a, b) => (b.r > a.r ? 1 : b.r < a.r ? -1 : a.contributor.localeCompare(b.contributor)))) {
+    if (left === 0n) break;
+    x.q += 1n;
+    left -= 1n;
+  }
+  return { payouts: rows.map((x) => ({ contributor: x.contributor, works: Number(x.n), minor: x.q.toString() })) };
+}
+
+/** Which runs included a suspect sample: a membership proof for each, an absence proof for the rest. */
+export function poisoningForensics(sampleRef: string, runs: Array<{ manifest: TrainingManifest; refs: string[] }>) {
+  const affected: Array<{ run: string; proof: MembershipProof }> = [];
+  const clear: Array<{ run: string; proof: AbsenceProof }> = [];
+  for (const r of runs) {
+    if (r.refs.includes(sampleRef)) affected.push({ run: r.manifest.run_id, proof: proveMembership(r.manifest, r.refs, sampleRef) });
+    else clear.push({ run: r.manifest.run_id, proof: proveAbsence(r.manifest, r.refs, sampleRef) });
+  }
+  return { sample: sampleRef, affected, clear };
+}