assertledger 1.0.0 → 1.1.1

package/dist/core/index.d.ts

@@ -1,4 +1,4 @@
-import { type AgenticBenchmarkArtifact, type AgenticBenchmarkAcquisitionReplayResult, type AgenticBenchmarkReplayResult, type AgenticBenchmarkRequest, type AgenticCorpusAllocation, type AgenticCorpusAllocationCommitment, type AgenticCorpusAllocationCommitmentReplayResult, type AgenticCorpusAllocationReplayResult, type AgenticCorpusAllocationReveal, type AgenticCorpusAllocationRequest, type AgenticCorpusExperimentArtifact, type AgenticCorpusExperimentPlan, type AgenticCorpusExperimentPlanReplayResult, type AgenticCorpusExperimentReplayResult, type AgenticCorpusExperimentRequest, type AgenticCorpusTrustPolicy, type AgenticProfileReplayResult, type AgenticProfileReplayResultV2, type AgenticProfileReport, type AgenticProfileReportV2, type AgenticProfileRequest, type AgenticProfileRequestV2 } from "../contracts/index.js";
+import { type AgenticBenchmarkArtifact, type AgenticBenchmarkAcquisitionReplayResult, type AgenticBenchmarkReplayResult, type AgenticBenchmarkRequest, type AgenticCorpusAllocation, type AgenticCorpusAllocationCommitment, type AgenticCorpusAllocationCommitmentReplayResult, type AgenticCorpusAllocationReplayResult, type AgenticCorpusAllocationReveal, type AgenticCorpusAllocationRequest, type AgenticCorpusExperimentArtifact, type AgenticCorpusExperimentPlan, type AgenticCorpusExperimentPlanReplayResult, type AgenticCorpusExperimentReplayResult, type AgenticCorpusExperimentRequest, type AgenticCorpusTrustPolicy, type AgenticProfileReplayResult, type AgenticProfileReplayResultV2, type AgenticProfileReport, type AgenticProfileReportV2, type AgenticProfileRequest, type AgenticProfileRequestV2, type EvidenceExport, type EvidenceExportReplayResult, type EvidenceExportRequest, type EvidenceProviderManifest } from "../contracts/index.js";
 export type WorldKind = "REFERENCE" | "TARGET" | "NEUTRAL";
 export type CandidateStatus = "ELIGIBLE" | "UNSTABLE" | "INCONCLUSIVE" | "INVALID" | "WEAK_ORACLE";
 export type DecisionStatus = "VERIFIED" | "REJECTED" | "INCONCLUSIVE" | "ENGINE_ERROR";
@@ -45,6 +45,7 @@ export interface EvidenceContext {
         environmentAllowlist: string[];
         budgets: JsonValue;
         candidateRoots: string[];
+        backend?: JsonValue;
     };
     worlds: Array<{
         id: string;
@@ -116,6 +117,14 @@ export interface EvidenceReplayResult {
 export declare function replayEvidenceManifest(manifest: unknown): EvidenceReplayResult;
 export declare function createAgenticProfile(request: AgenticProfileRequest): AgenticProfileReport;
 export declare function replayAgenticProfile(value: unknown): AgenticProfileReplayResult;
+export interface EvidenceProviderIdentity {
+    version: string;
+    sourceRevision: EvidenceProviderManifest["provider"]["sourceRevision"];
+    adapters: EvidenceProviderManifest["adapters"];
+}
+export declare function createEvidenceProviderManifest(identity: EvidenceProviderIdentity): EvidenceProviderManifest;
+export declare function createEvidenceExport(request: EvidenceExportRequest): EvidenceExport;
+export declare function replayEvidenceExport(value: unknown): EvidenceExportReplayResult;
 export declare function createAgenticBenchmark(request: AgenticBenchmarkRequest): AgenticBenchmarkArtifact;
 export declare function replayAgenticBenchmark(value: unknown): AgenticBenchmarkReplayResult;
 export declare function replayAgenticBenchmarkAcquisition(value: unknown): AgenticBenchmarkAcquisitionReplayResult;

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,wBAAwB,EAC7B,KAAK,uCAAuC,EAE5C,KAAK,4BAA4B,EACjC,KAAK,uBAAuB,EAC5B,KAAK,uBAAuB,EAC5B,KAAK,iCAAiC,EACtC,KAAK,6CAA6C,EAClD,KAAK,mCAAmC,EACxC,KAAK,6BAA6B,EAClC,KAAK,8BAA8B,EACnC,KAAK,+BAA+B,EACpC,KAAK,2BAA2B,EAChC,KAAK,uCAAuC,EAE5C,KAAK,mCAAmC,EACxC,KAAK,8BAA8B,EACnC,KAAK,wBAAwB,EAC7B,KAAK,0BAA0B,EAC/B,KAAK,4BAA4B,EACjC,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAC3B,KAAK,qBAAqB,EAC1B,KAAK,uBAAuB,EAmB7B,MAAM,uBAAuB,CAAC;AAE/B,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,QAAQ,GAAG,SAAS,CAAC;AAE3D,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,UAAU,GAAG,cAAc,GAAG,SAAS,GAAG,aAAa,CAAC;AAEnG,MAAM,MAAM,cAAc,GAAG,UAAU,GAAG,UAAU,GAAG,cAAc,GAAG,cAAc,CAAC;AAgBvF,qBAAa,uBAAwB,SAAQ,KAAK;IAChD,YAAY,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,YAAY,EAGlD;CACF;AAED,UAAU,KAAK;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,UAAU,SAAS;IACjB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,UAAU,WAAW;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe,EAAE,MAAM,CAAC;IACxB,wBAAwB,EAAE,MAAM,CAAC;IACjC,UAAU,EAAE,OAAO,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE;QACN,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,OAAO,EAAE;QACP,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,MAAM,CAAC;QAChB,aAAa,EAAE,SAAS,CAAC;KAC1B,CAAC;IACF,SAAS,EAAE;QACT,SAAS,EAAE,MAAM,CAAC;QAClB,oBAAoB,EAAE,MAAM,EAAE,CAAC;QAC/B,OAAO,EAAE,SAAS,CAAC;QACnB,cAAc,EAAE,MAAM,EAAE,CAAC;KAC1B,CAAC;IACF,MAAM,EAAE,KAAK,CAAC;QACZ,EAAE,EAAE,MAAM,CAAC;QACX,UAAU,EAAE,MAAM,CAAC;QACnB,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC,CAAC;CACJ;AAED,UAAU,MAAM;IACd,aAAa,EAAE,MAAM,CAAC;IACtB,gBAAgB,EAAE,MAAM,CAAC;IACzB,2BAA2B,EAAE,MAAM,CAAC;IACpC,yBAAyB,EAAE,MAAM,CAAC;IAClC,sBAAsB,EAAE,MAAM,EAAE,CAAC;CAClC;AAYD,MAAM,WAAW,mBAAoB,SAAQ,SAAS;IACpD,MAAM,EAAE,eAAe,CAAC;IACxB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,MAAM,QAAQ,GAChB,cAAc,GACd,WAAW,GACX,WAAW,GACX,WAAW,GACX,SAAS,GACT,iBAAiB,CAAC;AAEtB,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IACxC,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,gBAAgB;IAC/B,aAAa,EAAE,MAAM,CAAC;IACtB,gBAAgB,EAAE,MAAM,CAAC;IACzB,eAAe,EAAE,eAAe,CAAC;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,UAAU,EAAE,mBAAmB,EAAE,CAAC;IAClC,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,QAAQ,EAAE;QACR,MAAM,EAAE,cAAc,CAAC;QACvB,oBAAoB,EAAE,MAAM,EAAE,CAAC;QAC/B,WAAW,EAAE,MAAM,EAAE,CAAC;KACvB,CAAC;IACF,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,KAAK,SAAS,GAAG,IAAI,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,EAAE,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AA6C/F,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEnD;AAiFD,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEtD;AAqfD,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CA0ClF;AAkCD,wBAAgB,oBAAoB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACpE,QAAQ,EAAE,CAAC,GACV,CAAC,GAAG;IAAE,cAAc,EAAE,MAAM,CAAA;CAAE,CAKhC;AAYD,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,gBAAgB,CAoE/D;AAED,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,OAAO,GAAG;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,CAQ1E;AAED,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,OAAO,GAAG;IAC1D,KAAK,EAAE,OAAO,CAAC;IACf,mBAAmB,EAAE,OAAO,CAAC;IAC7B,mBAAmB,EAAE,OAAO,CAAC;CAC9B,CAkBA;AAED,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,OAAO,CAAC;IACf,mBAAmB,EAAE,OAAO,CAAC;IAC7B,mBAAmB,EAAE,OAAO,CAAC;IAC7B,sBAAsB,EAAE,OAAO,CAAC;CACjC;AAqBD,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,OAAO,GAAG,oBAAoB,CA+D9E;AAcD,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,qBAAqB,GAAG,oBAAoB,CA4OzF;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,0BAA0B,CAyC/E;AA4ID,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,uBAAuB,GAAG,wBAAwB,CAgCjG;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,4BAA4B,CA6EnF;AAED,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,OAAO,GACb,uCAAuC,CAqHzC;AAyBD,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,uBAAuB,GAAG,sBAAsB,CAoO/F;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,4BAA4B,CAmDnF;AAED,eAAO,MAAM,mCAAmC,EAAG,2BAAoC,CAAC;AAGxF,KAAK,iCAAiC,GAAG,IAAI,CAAC,uBAAuB,EAAE,kBAAkB,CAAC,CAAC;AAU3F,wBAAgB,6BAA6B,CAC3C,UAAU,EAAE,uBAAuB,GAAG,iCAAiC,GACtE,MAAM,CAER;AAMD,wBAAgB,6BAA6B,CAC3C,OAAO,EAAE,8BAA8B,GACtC,uBAAuB,CAqEzB;AAED,wBAAgB,6BAA6B,CAC3C,UAAU,EAAE,OAAO,GAClB,mCAAmC,CAgErC;AA8DD,wBAAgB,6CAA6C,CAC3D,UAAU,EAAE,iCAAiC,GAC5C,UAAU,CAEZ;AAED,wBAAgB,uCAAuC,CACrD,UAAU,EACN,IAAI,CAAC,iCAAiC,EAAE,kBAAkB,CAAC,GAC3D,iCAAiC,GACpC,MAAM,CAIR;AAED,wBAAgB,mCAAmC,CACjD,MAAM,EAAE,IAAI,CAAC,6BAA6B,EAAE,cAAc,CAAC,GAAG,6BAA6B,GAC1F,MAAM,CAGR;AAED,wBAAgB,4CAA4C,CAC1D,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,GACb,MAAM,CAUR;AAED,wBAAgB,sCAAsC,CACpD,MAAM,EAAE,6BAA6B,GACpC,MAAM,CAWR;AAED,MAAM,WAAW,gDAAgD;IAC/D,KAAK,EAAE,OAAO,CAAC;IACf,kBAAkB,EAAE,OAAO,CAAC;CAC7B;AAED,MAAM,WAAW,mDAAmD;IAClE,gBAAgB,CACd,UAAU,EAAE,iCAAiC,EAC7C,MAAM,EAAE,wBAAwB,EAChC,oBAAoB,EAAE,MAAM,GAC3B,gDAAgD,CAAC;CACrD;AAED,MAAM,WAAW,4CAA4C;IAC3D,UAAU,EAAE,OAAO,CAAC;IACpB,MAAM,EAAE,OAAO,CAAC;IAChB,UAAU,EAAE,OAAO,CAAC;IACpB,WAAW,EAAE,OAAO,CAAC;IACrB,yBAAyB,EAAE,MAAM,CAAC;IAClC,kCAAkC,EAAE,MAAM,CAAC;CAC5C;AAiBD,wBAAgB,uCAAuC,CACrD,KAAK,EAAE,OAAO,CAAC,4CAA4C,CAAC,EAC5D,YAAY,CAAC,EAAE,mDAAmD,GACjE,6CAA6C,CAgG/C;AAED,KAAK,wBAAwB,GAAG,IAAI,CAAC,2BAA2B,EAAE,YAAY,CAAC,CAAC;AAEhF,wBAAgB,iCAAiC,CAC/C,IAAI,EAAE,2BAA2B,GAAG,wBAAwB,GAC3D,MAAM,CAGR;AAED,wBAAgB,oCAAoC,CAClD,OAAO,EAAE,2BAA2B,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,GACvD,MAAM,CAER;AAED,wBAAgB,0CAA0C,CACxD,UAAU,EAAE,SAAS;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,EAAE,GACtE,MAAM,CASR;AAED,wBAAgB,yCAAyC,CACvD,UAAU,EAAE,SAAS;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,EAAE,GACtE,MAAM,CAQR;AAED,MAAM,WAAW,wCAAwC;IACvD,UAAU,CAAC,EAAE,uBAAuB,CAAC;IACrC,UAAU,CAAC,EAAE,iCAAiC,CAAC;IAC/C,yBAAyB,CAAC,EAAE,MAAM,CAAC;IACnC,kCAAkC,CAAC,EAAE,MAAM,CAAC;CAC7C;AAsBD,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,OAAO,EACd,4BAA4B,EAAE,MAAM,EACpC,OAAO,GAAE,wCAA6C,GACrD,uCAAuC,CAwHzC;AAED,MAAM,WAAW,+BAA+B;IAC9C,KAAK,EAAE,OAAO,CAAC;IACf,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B;AAED,wBAAgB,sCAAsC,CACpD,eAAe,EAAE,SAAS,MAAM,EAAE,EAClC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC,GACjD,+BAA+B,CAkBjC;AAgJD,KAAK,4BAA4B,GAAG,IAAI,CAAC,+BAA+B,EAAE,gBAAgB,CAAC,CAAC;AAS5F,wBAAgB,qCAAqC,CACnD,QAAQ,EAAE,+BAA+B,GAAG,4BAA4B,GACvE,MAAM,CAER;AAED,wBAAgB,qCAAqC,CACnD,KAAK,EAAE,8BAA8B,EACrC,IAAI,EAAE,2BAA2B,GAChC,+BAA+B,CAejC;AAiBD,MAAM,WAAW,yCAAyC;IACxD,yBAAyB,EAAE,MAAM,CAAC;IAClC,kCAAkC,EAAE,MAAM,CAAC;IAC3C,4BAA4B,EAAE,MAAM,CAAC;IACrC,WAAW,EAAE,OAAO,CAAC;IACrB,oBAAoB,EAAE,OAAO,CAAC;IAC9B,gBAAgB,EAAE,OAAO,CAAC;IAC1B,UAAU,EAAE,OAAO,CAAC;IACpB,cAAc,EAAE,OAAO,CAAC;IACxB,eAAe,EAAE,aAAa,CAAC;QAAE,YAAY,EAAE,OAAO,CAAC;QAAC,UAAU,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IAC/E,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC,CAAC;IAC3D,gBAAgB,CACd,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,OAAO,EACnB,WAAW,EAAE,OAAO,EACpB,oBAAoB,EAAE,MAAM,GAC3B;QAAE,KAAK,EAAE,OAAO,CAAA;KAAE,CAAC;IACtB,0BAA0B,CACxB,UAAU,EAAE,iCAAiC,EAC7C,MAAM,EAAE,wBAAwB,EAChC,oBAAoB,EAAE,MAAM,GAC3B,gDAAgD,CAAC;CACrD;AA6BD,wBAAgB,qCAAqC,CACnD,KAAK,EAAE,OAAO,EACd,YAAY,CAAC,EAAE,yCAAyC,GACvD,mCAAmC,CAiTrC;AA8BD,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEpD;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAoB5E"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,wBAAwB,EAC7B,KAAK,uCAAuC,EAE5C,KAAK,4BAA4B,EACjC,KAAK,uBAAuB,EAC5B,KAAK,uBAAuB,EAC5B,KAAK,iCAAiC,EACtC,KAAK,6CAA6C,EAClD,KAAK,mCAAmC,EACxC,KAAK,6BAA6B,EAClC,KAAK,8BAA8B,EACnC,KAAK,+BAA+B,EACpC,KAAK,2BAA2B,EAChC,KAAK,uCAAuC,EAE5C,KAAK,mCAAmC,EACxC,KAAK,8BAA8B,EACnC,KAAK,wBAAwB,EAC7B,KAAK,0BAA0B,EAC/B,KAAK,4BAA4B,EACjC,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAC3B,KAAK,qBAAqB,EAC1B,KAAK,uBAAuB,EAC5B,KAAK,cAAc,EACnB,KAAK,0BAA0B,EAC/B,KAAK,qBAAqB,EAC1B,KAAK,wBAAwB,EAsB9B,MAAM,uBAAuB,CAAC;AAE/B,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,QAAQ,GAAG,SAAS,CAAC;AAE3D,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,UAAU,GAAG,cAAc,GAAG,SAAS,GAAG,aAAa,CAAC;AAEnG,MAAM,MAAM,cAAc,GAAG,UAAU,GAAG,UAAU,GAAG,cAAc,GAAG,cAAc,CAAC;AAkBvF,qBAAa,uBAAwB,SAAQ,KAAK;IAChD,YAAY,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,YAAY,EAGlD;CACF;AAED,UAAU,KAAK;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,UAAU,SAAS;IACjB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,UAAU,WAAW;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe,EAAE,MAAM,CAAC;IACxB,wBAAwB,EAAE,MAAM,CAAC;IACjC,UAAU,EAAE,OAAO,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE;QACN,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,OAAO,EAAE;QACP,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,MAAM,CAAC;QAChB,aAAa,EAAE,SAAS,CAAC;KAC1B,CAAC;IACF,SAAS,EAAE;QACT,SAAS,EAAE,MAAM,CAAC;QAClB,oBAAoB,EAAE,MAAM,EAAE,CAAC;QAC/B,OAAO,EAAE,SAAS,CAAC;QACnB,cAAc,EAAE,MAAM,EAAE,CAAC;QACzB,OAAO,CAAC,EAAE,SAAS,CAAC;KACrB,CAAC;IACF,MAAM,EAAE,KAAK,CAAC;QACZ,EAAE,EAAE,MAAM,CAAC;QACX,UAAU,EAAE,MAAM,CAAC;QACnB,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC,CAAC;CACJ;AAED,UAAU,MAAM;IACd,aAAa,EAAE,MAAM,CAAC;IACtB,gBAAgB,EAAE,MAAM,CAAC;IACzB,2BAA2B,EAAE,MAAM,CAAC;IACpC,yBAAyB,EAAE,MAAM,CAAC;IAClC,sBAAsB,EAAE,MAAM,EAAE,CAAC;CAClC;AAYD,MAAM,WAAW,mBAAoB,SAAQ,SAAS;IACpD,MAAM,EAAE,eAAe,CAAC;IACxB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,MAAM,QAAQ,GAChB,cAAc,GACd,WAAW,GACX,WAAW,GACX,WAAW,GACX,SAAS,GACT,iBAAiB,CAAC;AAEtB,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IACxC,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,gBAAgB;IAC/B,aAAa,EAAE,MAAM,CAAC;IACtB,gBAAgB,EAAE,MAAM,CAAC;IACzB,eAAe,EAAE,eAAe,CAAC;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,UAAU,EAAE,mBAAmB,EAAE,CAAC;IAClC,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,QAAQ,EAAE;QACR,MAAM,EAAE,cAAc,CAAC;QACvB,oBAAoB,EAAE,MAAM,EAAE,CAAC;QAC/B,WAAW,EAAE,MAAM,EAAE,CAAC;KACvB,CAAC;IACF,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,KAAK,SAAS,GAAG,IAAI,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,EAAE,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AA6C/F,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEnD;AAiFD,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEtD;AAkgBD,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CA0ClF;AAkCD,wBAAgB,oBAAoB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACpE,QAAQ,EAAE,CAAC,GACV,CAAC,GAAG;IAAE,cAAc,EAAE,MAAM,CAAA;CAAE,CAKhC;AAYD,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,gBAAgB,CAoE/D;AAED,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,OAAO,GAAG;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,CAQ1E;AAED,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,OAAO,GAAG;IAC1D,KAAK,EAAE,OAAO,CAAC;IACf,mBAAmB,EAAE,OAAO,CAAC;IAC7B,mBAAmB,EAAE,OAAO,CAAC;CAC9B,CAkBA;AAED,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,OAAO,CAAC;IACf,mBAAmB,EAAE,OAAO,CAAC;IAC7B,mBAAmB,EAAE,OAAO,CAAC;IAC7B,sBAAsB,EAAE,OAAO,CAAC;CACjC;AAqBD,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,OAAO,GAAG,oBAAoB,CA+D9E;AAcD,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,qBAAqB,GAAG,oBAAoB,CA4OzF;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,0BAA0B,CAyC/E;AAED,MAAM,WAAW,wBAAwB;IACvC,OAAO,EAAE,MAAM,CAAC;IAChB,cAAc,EAAE,wBAAwB,CAAC,UAAU,CAAC,CAAC,gBAAgB,CAAC,CAAC;IACvE,QAAQ,EAAE,wBAAwB,CAAC,UAAU,CAAC,CAAC;CAChD;AAOD,wBAAgB,8BAA8B,CAC5C,QAAQ,EAAE,wBAAwB,GACjC,wBAAwB,CA6G1B;AAiHD,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,qBAAqB,GAAG,cAAc,CAiQnF;AAOD,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,0BAA0B,CAsC/E;AA4ID,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,uBAAuB,GAAG,wBAAwB,CAgCjG;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,4BAA4B,CA6EnF;AAED,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,OAAO,GACb,uCAAuC,CAqHzC;AAyBD,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,uBAAuB,GAAG,sBAAsB,CAoO/F;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,4BAA4B,CAmDnF;AAED,eAAO,MAAM,mCAAmC,EAAG,2BAAoC,CAAC;AAGxF,KAAK,iCAAiC,GAAG,IAAI,CAAC,uBAAuB,EAAE,kBAAkB,CAAC,CAAC;AAU3F,wBAAgB,6BAA6B,CAC3C,UAAU,EAAE,uBAAuB,GAAG,iCAAiC,GACtE,MAAM,CAER;AAMD,wBAAgB,6BAA6B,CAC3C,OAAO,EAAE,8BAA8B,GACtC,uBAAuB,CAqEzB;AAED,wBAAgB,6BAA6B,CAC3C,UAAU,EAAE,OAAO,GAClB,mCAAmC,CAgErC;AA8DD,wBAAgB,6CAA6C,CAC3D,UAAU,EAAE,iCAAiC,GAC5C,UAAU,CAEZ;AAED,wBAAgB,uCAAuC,CACrD,UAAU,EACN,IAAI,CAAC,iCAAiC,EAAE,kBAAkB,CAAC,GAC3D,iCAAiC,GACpC,MAAM,CAIR;AAED,wBAAgB,mCAAmC,CACjD,MAAM,EAAE,IAAI,CAAC,6BAA6B,EAAE,cAAc,CAAC,GAAG,6BAA6B,GAC1F,MAAM,CAGR;AAED,wBAAgB,4CAA4C,CAC1D,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,GACb,MAAM,CAUR;AAED,wBAAgB,sCAAsC,CACpD,MAAM,EAAE,6BAA6B,GACpC,MAAM,CAWR;AAED,MAAM,WAAW,gDAAgD;IAC/D,KAAK,EAAE,OAAO,CAAC;IACf,kBAAkB,EAAE,OAAO,CAAC;CAC7B;AAED,MAAM,WAAW,mDAAmD;IAClE,gBAAgB,CACd,UAAU,EAAE,iCAAiC,EAC7C,MAAM,EAAE,wBAAwB,EAChC,oBAAoB,EAAE,MAAM,GAC3B,gDAAgD,CAAC;CACrD;AAED,MAAM,WAAW,4CAA4C;IAC3D,UAAU,EAAE,OAAO,CAAC;IACpB,MAAM,EAAE,OAAO,CAAC;IAChB,UAAU,EAAE,OAAO,CAAC;IACpB,WAAW,EAAE,OAAO,CAAC;IACrB,yBAAyB,EAAE,MAAM,CAAC;IAClC,kCAAkC,EAAE,MAAM,CAAC;CAC5C;AAiBD,wBAAgB,uCAAuC,CACrD,KAAK,EAAE,OAAO,CAAC,4CAA4C,CAAC,EAC5D,YAAY,CAAC,EAAE,mDAAmD,GACjE,6CAA6C,CAgG/C;AAED,KAAK,wBAAwB,GAAG,IAAI,CAAC,2BAA2B,EAAE,YAAY,CAAC,CAAC;AAEhF,wBAAgB,iCAAiC,CAC/C,IAAI,EAAE,2BAA2B,GAAG,wBAAwB,GAC3D,MAAM,CAGR;AAED,wBAAgB,oCAAoC,CAClD,OAAO,EAAE,2BAA2B,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,GACvD,MAAM,CAER;AAED,wBAAgB,0CAA0C,CACxD,UAAU,EAAE,SAAS;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,EAAE,GACtE,MAAM,CASR;AAED,wBAAgB,yCAAyC,CACvD,UAAU,EAAE,SAAS;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,EAAE,GACtE,MAAM,CAQR;AAED,MAAM,WAAW,wCAAwC;IACvD,UAAU,CAAC,EAAE,uBAAuB,CAAC;IACrC,UAAU,CAAC,EAAE,iCAAiC,CAAC;IAC/C,yBAAyB,CAAC,EAAE,MAAM,CAAC;IACnC,kCAAkC,CAAC,EAAE,MAAM,CAAC;CAC7C;AAsBD,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,OAAO,EACd,4BAA4B,EAAE,MAAM,EACpC,OAAO,GAAE,wCAA6C,GACrD,uCAAuC,CAwHzC;AAED,MAAM,WAAW,+BAA+B;IAC9C,KAAK,EAAE,OAAO,CAAC;IACf,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B;AAED,wBAAgB,sCAAsC,CACpD,eAAe,EAAE,SAAS,MAAM,EAAE,EAClC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC,GACjD,+BAA+B,CAkBjC;AAgJD,KAAK,4BAA4B,GAAG,IAAI,CAAC,+BAA+B,EAAE,gBAAgB,CAAC,CAAC;AAS5F,wBAAgB,qCAAqC,CACnD,QAAQ,EAAE,+BAA+B,GAAG,4BAA4B,GACvE,MAAM,CAER;AAED,wBAAgB,qCAAqC,CACnD,KAAK,EAAE,8BAA8B,EACrC,IAAI,EAAE,2BAA2B,GAChC,+BAA+B,CAejC;AAiBD,MAAM,WAAW,yCAAyC;IACxD,yBAAyB,EAAE,MAAM,CAAC;IAClC,kCAAkC,EAAE,MAAM,CAAC;IAC3C,4BAA4B,EAAE,MAAM,CAAC;IACrC,WAAW,EAAE,OAAO,CAAC;IACrB,oBAAoB,EAAE,OAAO,CAAC;IAC9B,gBAAgB,EAAE,OAAO,CAAC;IAC1B,UAAU,EAAE,OAAO,CAAC;IACpB,cAAc,EAAE,OAAO,CAAC;IACxB,eAAe,EAAE,aAAa,CAAC;QAAE,YAAY,EAAE,OAAO,CAAC;QAAC,UAAU,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IAC/E,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC,CAAC;IAC3D,gBAAgB,CACd,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,OAAO,EACnB,WAAW,EAAE,OAAO,EACpB,oBAAoB,EAAE,MAAM,GAC3B;QAAE,KAAK,EAAE,OAAO,CAAA;KAAE,CAAC;IACtB,0BAA0B,CACxB,UAAU,EAAE,iCAAiC,EAC7C,MAAM,EAAE,wBAAwB,EAChC,oBAAoB,EAAE,MAAM,GAC3B,gDAAgD,CAAC;CACrD;AA6BD,wBAAgB,qCAAqC,CACnD,KAAK,EAAE,OAAO,EACd,YAAY,CAAC,EAAE,yCAAyC,GACvD,mCAAmC,CAiTrC;AA8BD,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEpD;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAoB5E"}

package/dist/core/index.js

@@ -1,5 +1,7 @@
-import { parseAgenticBenchmarkArtifact, parseAgenticBenchmarkAcquisitionResult, parseAgenticBenchmarkRequest, parseAgenticCorpusAllocation, parseAgenticCorpusAllocationCommitment, parseAgenticCorpusAllocationReveal, parseAgenticCorpusAllocationRequest, parseAgenticCorpusExperimentArtifact, parseAgenticCorpusExperimentPlan, parseAgenticCorpusExperimentReplayRequest, parseAgenticCorpusExperimentReceipt, parseAgenticCorpusExperimentRequest, parseAgenticCorpusExperimentStructuredResult, parseAgenticCorpusTrustPolicy, parseAgenticProfileReport, parseAgenticProfileReportV2, parseAgenticProfileRequest, parseAgenticProfileRequestV2, } from "../contracts/index.js";
+import { parseAgenticBenchmarkArtifact, parseAgenticBenchmarkAcquisitionResult, parseAgenticBenchmarkRequest, parseAgenticCorpusAllocation, parseAgenticCorpusAllocationCommitment, parseAgenticCorpusAllocationReveal, parseAgenticCorpusAllocationRequest, parseAgenticCorpusExperimentArtifact, parseAgenticCorpusExperimentPlan, parseAgenticCorpusExperimentReplayRequest, parseAgenticCorpusExperimentReceipt, parseAgenticCorpusExperimentRequest, parseAgenticCorpusExperimentStructuredResult, parseAgenticCorpusTrustPolicy, parseAgenticProfileReport, parseAgenticProfileReportV2, parseAgenticProfileRequest, parseAgenticProfileRequestV2, parseEvidenceExport, parseEvidenceExportRequest, parseEvidenceProviderManifest, } from "../contracts/index.js";
 const EVIDENCE_SCHEMA_VERSION = "1.0.0";
+// Version 2.0.0 adds a decision-bound execution backend record; its absence stays a v1 manifest.
+const EVIDENCE_SCHEMA_VERSION_V2 = "2.0.0";
 const EVIDENCE_POLICY_VERSION = "1.0.0";
 const SHA256_DIGEST_PATTERN = /^sha256:[a-f0-9]{64}$/u;
 const OBSERVATION_OUTCOMES = new Set([
@@ -180,7 +182,7 @@ function sortedUniqueStrings(record, key, maximumItems, maximumLength) {
     }
     return [...new Set(value)].sort(compareOrdinal);
 }
-function parseEvidenceContext(value) {
+function parseEvidenceContext(value, schemaVersion) {
     if (!isRecord(value))
         throw new TypeError("evidenceContext must be an object");
     if (!isRecord(value.engine))
@@ -190,6 +192,10 @@ function parseEvidenceContext(value) {
     if (!isRecord(value.execution)) {
         throw new TypeError("evidenceContext.execution must be an object");
     }
+    const backendRequired = schemaVersion === EVIDENCE_SCHEMA_VERSION_V2;
+    if (backendRequired && !isRecord(value.execution.backend)) {
+        throw new TypeError("evidenceContext.execution.backend must be an object");
+    }
     if (!Array.isArray(value.worlds) || value.worlds.length === 0) {
         throw new TypeError("evidenceContext.worlds must be non-empty");
     }
@@ -222,6 +228,7 @@ function parseEvidenceContext(value) {
             environmentAllowlist: sortedUniqueStrings(value.execution, "environmentAllowlist", 100, 128),
             budgets: jsonField(value.execution, "budgets"),
             candidateRoots: sortedUniqueStrings(value.execution, "candidateRoots", 100, 512),
+            ...(backendRequired ? { backend: jsonField(value.execution, "backend") } : {}),
         },
         worlds,
     };
@@ -230,7 +237,7 @@ function parseInputUnchecked(input) {
     if (!isRecord(input))
         throw new TypeError("Evidence must be an object");
     const schemaVersion = stringField(input, "schemaVersion");
-    if (schemaVersion !== EVIDENCE_SCHEMA_VERSION) {
+    if (schemaVersion !== EVIDENCE_SCHEMA_VERSION && schemaVersion !== EVIDENCE_SCHEMA_VERSION_V2) {
         throw new TypeError(`Unsupported schemaVersion: ${schemaVersion}`);
     }
     const policyValue = input.policy;
@@ -298,7 +305,7 @@ function parseInputUnchecked(input) {
         }
     }
     const worldIds = new Set(worlds.map((world) => world.id));
-    const evidenceContext = parseEvidenceContext(input.evidenceContext);
+    const evidenceContext = parseEvidenceContext(input.evidenceContext, schemaVersion);
     if (evidenceContext.worlds.length !== worlds.length ||
         evidenceContext.worlds.some((world) => !worldIds.has(world.id))) {
         throw new TypeError("evidenceContext worlds must exactly match decision worlds");
@@ -479,22 +486,29 @@ function assessCandidate(input, candidate) {
             reasonCodes: ["OBSERVATIONS_DIVERGE"],
         };
     }
-    const discoveryValid = allRuns.every((run) => run.candidateTestsDiscovered >= 1 && run.attributed);
+    const undiscoveredRuns = allRuns.filter((run) => !(run.candidateTestsDiscovered >= 1 && run.attributed));
+    const discoveryValid = undiscoveredRuns.length === 0;
+    // A run that timed out or failed in infrastructure never reached a verdict: it can neither
+    // prove nor disprove discovery. Only a completed run makes the candidate invalid here.
+    const discoveryInconclusive = !discoveryValid && undiscoveredRuns.every((run) => INCONCLUSIVE_OUTCOMES.has(run.outcome));
+    const discoveryReason = discoveryInconclusive
+        ? "CANDIDATE_EXECUTION_INCONCLUSIVE"
+        : "CANDIDATE_DISCOVERY_INVALID";
     gates.push({
         name: "DISCOVERY",
         status: discoveryValid ? "PASSED" : "FAILED",
         evidenceRunIds: ids(allRuns),
-        reasonCodes: discoveryValid ? [] : ["CANDIDATE_DISCOVERY_INVALID"],
+        reasonCodes: discoveryValid ? [] : [discoveryReason],
     });
     if (!discoveryValid) {
         gates.push(notRun("REFERENCE"), notRun("NEUTRAL"), notRun("TARGET_STRENGTH"));
         return {
             ...candidate,
-            status: "INVALID",
+            status: discoveryInconclusive ? "INCONCLUSIVE" : "INVALID",
             killedTargetIds: [],
             targetWeightKilled: 0,
             gates,
-            reasonCodes: ["CANDIDATE_DISCOVERY_INVALID"],
+            reasonCodes: [discoveryReason],
         };
     }
     const referenceRuns = worldRuns
@@ -1079,6 +1093,468 @@ export function replayAgenticProfile(value) {
         semanticsValid,
     };
 }
+const EVIDENCE_EXPORT_COST_ASSUMPTIONS = [
+    "One candidate-free control run per world and attempt precedes the candidate runs.",
+    "Each run is one process execution bounded by the campaign timeout.",
+];
+export function createEvidenceProviderManifest(identity) {
+    const base = {
+        schemaVersion: "1.0.0",
+        provider: {
+            name: "assertledger",
+            version: identity.version,
+            sourceRevision: identity.sourceRevision,
+        },
+        scope: "Qualification of regression tests recorded in AssertLedger evidence manifest v1: candidate-free controls, reference, target, and neutral worlds, repeated attempts, deterministic gates, and replayable digests.",
+        formats: {
+            accepts: [
+                {
+                    schemaId: "https://testforge.dev/schemas/evidence-export-request.v1.json",
+                    schemaVersion: "1.0.0",
+                },
+                {
+                    schemaId: "https://testforge.dev/schemas/evidence-manifest.v1.json",
+                    schemaVersion: "1.0.0",
+                },
+            ],
+            emits: [
+                {
+                    schemaId: "https://testforge.dev/schemas/evidence-export.v1.json",
+                    schemaVersion: "1.0.0",
+                },
+                {
+                    schemaId: "https://testforge.dev/schemas/evidence-export-replay-result.v1.json",
+                    schemaVersion: "1.0.0",
+                },
+            ],
+        },
+        capabilities: [
+            {
+                id: "CONTROL_WITHOUT_CANDIDATE",
+                status: "SUPPORTED",
+                modality: "TEST_OBSERVED",
+                description: "Every world runs without a candidate first; controls must pass without candidate attribution.",
+            },
+            {
+                id: "REFERENCE_PASS",
+                status: "SUPPORTED",
+                modality: "TEST_OBSERVED",
+                description: "Candidates must pass every reference world.",
+            },
+            {
+                id: "REGRESSION_DETECTION",
+                status: "SUPPORTED",
+                modality: "TEST_OBSERVED",
+                description: "Only an attributed ASSERTION_FAILURE on a target world is detection; compilation, collection, crash, timeout, infrastructure, and no-test outcomes never are.",
+            },
+            {
+                id: "NEUTRAL_PASS",
+                status: "SUPPORTED",
+                modality: "TEST_OBSERVED",
+                description: "Candidates must pass every neutral world.",
+            },
+            {
+                id: "STABILITY_REPETITION",
+                status: "SUPPORTED",
+                modality: "TEST_OBSERVED",
+                description: "Normalized outcomes must agree across the recorded attempts.",
+            },
+            {
+                id: "GIT_REVISION_PROVENANCE",
+                status: "SUPPORTED_WHEN_RECORDED",
+                modality: "RECORDED_METADATA",
+                description: "Git commits and trees are exported only when committed Git regression qualification recorded them.",
+            },
+            {
+                id: "EXECUTION_FRESHNESS",
+                status: "UNSUPPORTED",
+                modality: "NONE",
+                description: "Evidence manifest v1 does not record whether observations were freshly executed or reused.",
+            },
+            {
+                id: "PRODUCER_AUTHENTICATION",
+                status: "UNSUPPORTED",
+                modality: "NONE",
+                description: "Exports are unsigned; digests check integrity, not producer identity.",
+            },
+            {
+                id: "SANDBOXED_EXECUTION",
+                status: "UNSUPPORTED",
+                modality: "NONE",
+                description: "trusted-local execution is explicitly UNSANDBOXED.",
+            },
+        ],
+        adapters: identity.adapters,
+        cost: {
+            unit: "PROCESS_EXECUTIONS",
+            estimate: "(candidates + 1) * worlds * requiredAttempts",
+            assumptions: [
+                ...EVIDENCE_EXPORT_COST_ASSUMPTIONS,
+                "Wall time is observed per recorded run and is never estimated.",
+            ],
+        },
+        limits: [
+            "An announced capability does not prove that a control ran; only the recorded observations of an exported manifest do.",
+            "Exports cover only the recorded worlds, candidates, and attempts and do not generalize to unexecuted states.",
+            "Evidence is unauthenticated and trusted-local execution is unsandboxed.",
+            "Consumers decide whether to admit, degrade, or ignore evidence; that decision never changes AssertLedger results.",
+        ],
+    };
+    return parseEvidenceProviderManifest({ ...base, manifestDigest: sha256Canonical(base) });
+}
+function recordedGitRevision(provenance) {
+    let value;
+    try {
+        value = JSON.parse(provenance);
+    }
+    catch {
+        return null;
+    }
+    if (!isRecord(value) || canonicalize(value) !== provenance)
+        return null;
+    if (Object.keys(value).sort(compareOrdinal).join(",") !==
+        "commit,format,objectFormat,projection,reason,role,tree")
+        return null;
+    const { commit, format, objectFormat, projection, reason, role, tree } = value;
+    const length = objectFormat === "sha1" ? 40 : objectFormat === "sha256" ? 64 : 0;
+    const objectId = new RegExp(`^[a-f0-9]{${length}}$`);
+    if (length === 0 ||
+        format !== "assertledger-git-regression/1" ||
+        (role !== "reference" && role !== "target" && role !== "neutral") ||
+        typeof commit !== "string" ||
+        !objectId.test(commit) ||
+        typeof tree !== "string" ||
+        !objectId.test(tree) ||
+        typeof projection !== "string" ||
+        typeof reason !== "string")
+        return null;
+    return { role, commit, tree, objectFormat: objectFormat };
+}
+function recordedFramework(manifest) {
+    const configuration = manifest.evidenceContext.adapter.configuration;
+    if (manifest.adapter.kind !== "node-test" ||
+        !isRecord(configuration) ||
+        configuration.kind !== "node-test" ||
+        !isRecord(configuration.profile))
+        return { status: "UNKNOWN" };
+    const { profileId, profileVersion, official } = configuration.profile;
+    const boundedText = (text) => typeof text === "string" && text.length > 0 && text.length <= 128;
+    if (!boundedText(profileId) || !boundedText(profileVersion) || typeof official !== "boolean")
+        return { status: "UNKNOWN" };
+    return {
+        status: "RECORDED",
+        profileId,
+        profileVersion,
+        official,
+        nodeVersion: boundedText(configuration.nodeVersion) ? configuration.nodeVersion : null,
+        executableDigest: typeof configuration.executableDigest === "string" &&
+            /^sha256:[a-f0-9]{64}$/.test(configuration.executableDigest)
+            ? configuration.executableDigest
+            : null,
+    };
+}
+function exportedWorld(manifest, candidateId, world, detectionEstablished) {
+    const runs = manifest.observations.filter((observation) => observation.candidateId === candidateId && observation.worldId === world.id);
+    const complete = isComplete(runs, manifest.policy.requiredAttempts);
+    const first = runs[0];
+    const outcome = !complete || first === undefined
+        ? "MISSING"
+        : runs.every((run) => run.outcome === first.outcome)
+            ? first.outcome
+            : "DIVERGENT";
+    const attributed = complete && runs.every((run) => run.attributed && run.candidateTestsDiscovered >= 1);
+    const signal = attributed && outcome === "ASSERTION_FAILURE"
+        ? "RED"
+        : attributed && outcome === "PASS"
+            ? "GREEN"
+            : "NONE";
+    const detection = world.kind !== "TARGET"
+        ? "NOT_APPLICABLE"
+        : !detectionEstablished
+            ? "NOT_ESTABLISHED"
+            : signal === "RED"
+                ? "OBSERVED"
+                : signal === "GREEN"
+                    ? "NOT_OBSERVED"
+                    : "NOT_ESTABLISHED";
+    return {
+        worldId: world.id,
+        kind: world.kind,
+        required: world.required,
+        weight: world.weight,
+        outcome,
+        attempts: runs.length,
+        signal,
+        detection,
+    };
+}
+export function createEvidenceExport(request) {
+    request = parseEvidenceExportRequest(request);
+    const manifest = request.manifest;
+    if (!replayEvidenceManifest(manifest).valid) {
+        throw new EvidenceValidationError("EVIDENCE_EXPORT_SOURCE_INVALID");
+    }
+    const worlds = [...manifest.worlds].sort((left, right) => compareOrdinal(left.id, right.id));
+    const worldKinds = new Map(manifest.worlds.map((world) => [world.id, world.kind]));
+    const controlsValid = manifest.decision.status !== "ENGINE_ERROR" &&
+        !manifest.decision.reasonCodes.includes("CONTROL_EVIDENCE_INVALID");
+    const selected = new Set(manifest.decision.selectedCandidateIds);
+    const sortedCandidates = [...manifest.candidates].sort((left, right) => compareOrdinal(left.id, right.id));
+    const candidates = sortedCandidates.map((candidate) => {
+        // Detection is only meaningful once controls, discovery, reference, and neutral evidence held.
+        const detectionEstablished = controlsValid && (candidate.status === "ELIGIBLE" || candidate.status === "WEAK_ORACLE");
+        return {
+            id: candidate.id,
+            digest: candidate.digest,
+            status: candidate.status,
+            selected: selected.has(candidate.id),
+            reasonCodes: [...candidate.reasonCodes],
+            worlds: worlds.map((world) => exportedWorld(manifest, candidate.id, world, detectionEstablished)),
+        };
+    });
+    const statuses = new Set(candidates.map((candidate) => candidate.status));
+    const targetDetections = candidates.flatMap((candidate) => candidate.worlds.filter((world) => world.kind === "TARGET").map((world) => world.detection));
+    const [detection, reasonCode] = manifest.decision.status === "VERIFIED"
+        ? ["OBSERVED", "REGRESSION_ASSERTION_OBSERVED"]
+        : manifest.decision.status === "ENGINE_ERROR"
+            ? ["NOT_ESTABLISHED", "ENGINE_ERROR"]
+            : !controlsValid
+                ? ["NOT_ESTABLISHED", "CONTROL_EVIDENCE_INVALID"]
+                : statuses.has("UNSTABLE") || statuses.has("INCONCLUSIVE")
+                    ? ["NOT_ESTABLISHED", "CANDIDATE_EVIDENCE_INCONCLUSIVE"]
+                    : statuses.has("INVALID")
+                        ? ["NOT_ESTABLISHED", "CANDIDATE_EVIDENCE_INVALID"]
+                        : targetDetections.includes("NOT_ESTABLISHED")
+                            ? ["NOT_ESTABLISHED", "OPERATIONAL_OUTCOME_NOT_DETECTION"]
+                            : targetDetections.includes("NOT_OBSERVED")
+                                ? ["NOT_OBSERVED", "TARGET_PASSED_WITHOUT_DETECTION"]
+                                : ["NOT_ESTABLISHED", "TARGET_STRENGTH_INSUFFICIENT"];
+    const contextWorlds = new Map(manifest.evidenceContext.worlds.map((world) => [world.id, world]));
+    const scopeWorlds = worlds.map((world) => {
+        const context = contextWorlds.get(world.id);
+        if (context === undefined)
+            throw new EvidenceValidationError("EVIDENCE_EXPORT_SOURCE_INVALID");
+        return {
+            id: world.id,
+            kind: world.kind,
+            required: world.required,
+            weight: world.weight,
+            digest: context.digest,
+            declaredProvenance: context.provenance,
+            git: recordedGitRevision(context.provenance),
+        };
+    });
+    const recordedGit = scopeWorlds.filter((world) => world.git !== null).length;
+    const candidateRuns = manifest.observations.filter((observation) => observation.candidateId !== null);
+    const candidateRunsIn = (kind) => candidateRuns.filter((observation) => worldKinds.get(observation.worldId) === kind).length;
+    const executed = [
+        ["CONTROL_WITHOUT_CANDIDATE", manifest.observations.length - candidateRuns.length],
+        ["REFERENCE_PASS", candidateRunsIn("REFERENCE")],
+        ["REGRESSION_DETECTION", candidateRunsIn("TARGET")],
+        ["NEUTRAL_PASS", candidateRunsIn("NEUTRAL")],
+        [
+            "STABILITY_REPETITION",
+            manifest.observations.filter((observation) => observation.attempt >= 2).length,
+        ],
+    ].map(([control, observations]) => ({
+        control,
+        status: observations > 0 ? "EXECUTED" : "NOT_EXECUTED",
+        observations,
+    }));
+    const executedStatus = new Map(executed.map((control) => [control.control, control.status]));
+    const consumerRequest = request.consumerRequest === null
+        ? null
+        : {
+            reference: request.consumerRequest.reference,
+            profileId: request.consumerRequest.profileId,
+            obligations: [...request.consumerRequest.obligations]
+                .sort((left, right) => compareOrdinal(left.id, right.id))
+                .map(({ id, control }) => ({ id, control })),
+        };
+    let requested = { status: "NOT_SUPPLIED" };
+    if (consumerRequest !== null) {
+        // Only executable controls can be covered; anything else stays UNSUPPORTED, never inferred.
+        const obligations = consumerRequest.obligations.map((obligation) => ({
+            ...obligation,
+            coverage: executedStatus.get(obligation.control) ?? "UNSUPPORTED",
+        }));
+        const covered = obligations.filter((obligation) => obligation.coverage === "EXECUTED").length;
+        requested = {
+            status: obligations.length === 0
+                ? "NO_OBLIGATIONS"
+                : covered === obligations.length
+                    ? "COVERED"
+                    : covered === 0
+                        ? "NOT_COVERED"
+                        : "PARTIAL",
+            obligations,
+        };
+    }
+    const timed = manifest.observations.filter((observation) => observation.durationMs !== undefined);
+    const recordedWallTimeMs = timed.length === 0
+        ? null
+        : timed.reduce((total, observation) => total + (observation.durationMs ?? 0), 0);
+    const base = {
+        schemaVersion: "1.0.0",
+        sourceManifest: manifest,
+        sourceArtifactDigest: manifest.artifactDigest,
+        consumerRequest,
+        result: {
+            detection,
+            modality: detection === "NOT_ESTABLISHED" ? "NONE" : "TEST_OBSERVED",
+            reasonCode,
+            decision: {
+                status: manifest.decision.status,
+                selectedCandidateIds: [...manifest.decision.selectedCandidateIds],
+                reasonCodes: [...manifest.decision.reasonCodes],
+            },
+            candidates,
+        },
+        integrity: {
+            sourceReplay: "VALID",
+            verifiedRails: ["SCHEMA", "DECISION_DIGEST", "ARTIFACT_DIGEST", "DECISION_SEMANTICS"],
+            bindings: {
+                artifactDigest: manifest.artifactDigest,
+                decisionDigest: manifest.decisionDigest,
+                repositoryDigest: manifest.repositoryDigest,
+                policyDigest: sha256Canonical(manifest.policy),
+                worldDigests: scopeWorlds.map((world) => ({ worldId: world.id, digest: world.digest })),
+            },
+        },
+        authenticity: {
+            status: "UNAUTHENTICATED",
+            attestation: "NONE",
+            declaredProducer: {
+                name: manifest.evidenceContext.engine.name,
+                version: manifest.evidenceContext.engine.version,
+            },
+        },
+        environment: {
+            isolation: { kind: manifest.isolation.kind, level: manifest.isolation.level },
+            environmentAllowlist: [...manifest.evidenceContext.execution.environmentAllowlist],
+            adapter: {
+                kind: manifest.adapter.kind,
+                name: manifest.evidenceContext.adapter.name,
+                version: manifest.evidenceContext.adapter.version,
+                framework: recordedFramework(manifest),
+            },
+        },
+        confidence: {
+            level: "REPLAY_CONSISTENT_UNAUTHENTICATED",
+            established: [
+                "SOURCE_SCHEMA_VALID",
+                "DECISION_DIGEST_RECOMPUTED",
+                "ARTIFACT_DIGEST_RECOMPUTED",
+                "DECISION_RECOMPUTED_FROM_RECORDED_OBSERVATIONS",
+            ],
+            notEstablished: [
+                "PRODUCER_AUTHENTICITY",
+                "OBSERVATION_TRUTHFULNESS",
+                "EXECUTION_ISOLATION",
+                "EXECUTION_FRESHNESS",
+                "WORLD_SEMANTIC_RELEVANCE",
+            ],
+        },
+        scope: {
+            requiredAttempts: manifest.policy.requiredAttempts,
+            candidates: manifest.candidates.length,
+            observations: manifest.observations.length,
+            gitRevisions: recordedGit === 0
+                ? "NOT_RECORDED"
+                : recordedGit === scopeWorlds.length
+                    ? "RECORDED"
+                    : "PARTIAL",
+            worlds: scopeWorlds,
+        },
+        controls: {
+            executed,
+            requested,
+            omittedGates: sortedCandidates.flatMap((candidate) => candidate.gates
+                .filter((gate) => gate.status === "NOT_RUN")
+                .map((gate) => ({
+                candidateId: candidate.id,
+                gate: gate.name,
+                reasonCodes: [...gate.reasonCodes],
+            }))),
+        },
+        profile: consumerRequest?.profileId == null
+            ? { status: "NOT_REQUESTED" }
+            : { status: "UNKNOWN_PROFILE", requestedProfileId: consumerRequest.profileId },
+        policy: {
+            policyVersion: manifest.policy.policyVersion,
+            digest: sha256Canonical(manifest.policy),
+        },
+        cost: {
+            estimated: {
+                unit: "PROCESS_EXECUTIONS",
+                value: (manifest.candidates.length + 1) *
+                    manifest.worlds.length *
+                    manifest.policy.requiredAttempts,
+                basis: "RECORDED_CAMPAIGN_SHAPE",
+                assumptions: [...EVIDENCE_EXPORT_COST_ASSUMPTIONS],
+            },
+            observed: {
+                unit: "PROCESS_EXECUTIONS",
+                executions: manifest.observations.length,
+                recordedWallTimeMs,
+                wallTimeCoverage: timed.length === 0
+                    ? "NOT_RECORDED"
+                    : timed.length === manifest.observations.length
+                        ? "COMPLETE"
+                        : "PARTIAL",
+            },
+            execution: { freshness: "UNKNOWN", cache: "NOT_RECORDED" },
+        },
+        limitations: [
+            "The export restates replay-valid recorded evidence; it does not rerun tests or authenticate the producer.",
+            "Detection covers only the recorded target worlds and attempts.",
+            "Consumers decide admissibility; rejecting or ignoring an export does not change AssertLedger results.",
+        ],
+    };
+    return { ...base, exportDigest: sha256Canonical(base) };
+}
+function evidenceExportProjection(value) {
+    const { exportDigest: _exportDigest, ...projection } = value;
+    return projection;
+}
+export function replayEvidenceExport(value) {
+    const invalid = {
+        valid: false,
+        schemaValid: false,
+        sourceManifestValid: false,
+        exportDigestValid: false,
+        semanticsValid: false,
+    };
+    let evidenceExport;
+    try {
+        evidenceExport = parseEvidenceExport(value);
+    }
+    catch {
+        return invalid;
+    }
+    const sourceManifestValid = replayEvidenceManifest(evidenceExport.sourceManifest).valid;
+    const exportDigestValid = evidenceExport.exportDigest === sha256Canonical(evidenceExportProjection(evidenceExport));
+    let semanticsValid = false;
+    try {
+        semanticsValid =
+            canonicalize(evidenceExport) ===
+                canonicalize(createEvidenceExport({
+                    schemaVersion: "1.0.0",
+                    manifest: evidenceExport.sourceManifest,
+                    consumerRequest: evidenceExport.consumerRequest,
+                }));
+    }
+    catch {
+        semanticsValid = false;
+    }
+    return {
+        valid: sourceManifestValid && exportDigestValid && semanticsValid,
+        schemaValid: true,
+        sourceManifestValid,
+        exportDigestValid,
+        semanticsValid,
+    };
+}
 const BENCHMARK_PHASES = ["PREPARATION", "STARTUP", "COMPILE_OR_COLLECTION", "EXECUTION"];
 function benchmarkSourceBindingValid(request) {
     if (request.sourceManifest.decision.status !== "VERIFIED")