assertledger 1.0.0 → 1.1.1

package/dist/mcp/index.js

@@ -2,7 +2,7 @@ import { realpath } from "node:fs/promises";
 import path from "node:path";
 import { McpServer } from "@modelcontextprotocol/server";
 import * as z from "zod/v4";
-import { AgenticBenchmarkAcquisitionReplayResultSchema, AgenticBenchmarkAcquisitionRequestSchema, AgenticBenchmarkAcquisitionResultSchema, AgenticBenchmarkArtifactSchema, AgenticBenchmarkReplayResultSchema, AgenticBenchmarkRequestSchema, AgenticCorpusAllocationReplayResultSchema, AgenticCorpusAllocationRequestSchema, AgenticCorpusAllocationSchema, AgenticProfileReplayResultSchema, AgenticProfileReplayResultV2Schema, AgenticProfileReportSchema, AgenticProfileReportV2Schema, AgenticProfileRequestSchema, AgenticProfileRequestV2Schema, EvidenceManifestSchema, ReplayResultSchema, RepositoryAnalysisSchema, RepositoryInitResultSchema, RuntimeDoctorResultSchema, VerificationRequestSchema, } from "../contracts/index.js";
+import { AgenticBenchmarkAcquisitionReplayResultSchema, AgenticBenchmarkAcquisitionRequestSchema, AgenticBenchmarkAcquisitionResultSchema, AgenticBenchmarkArtifactSchema, AgenticBenchmarkReplayResultSchema, AgenticBenchmarkRequestSchema, AgenticCorpusAllocationReplayResultSchema, AgenticCorpusAllocationRequestSchema, AgenticCorpusAllocationSchema, AgenticProfileReplayResultSchema, AgenticProfileReplayResultV2Schema, AgenticProfileReportSchema, AgenticProfileReportV2Schema, AgenticProfileRequestSchema, AgenticProfileRequestV2Schema, EvidenceExportReplayResultSchema, EvidenceExportRequestSchema, EvidenceExportSchema, EvidenceManifestSchema, EvidenceProviderManifestSchema, ReplayResultSchema, RepositoryAnalysisSchema, RepositoryInitResultSchema, RuntimeDoctorResultSchema, VerificationRequestSchema, } from "../contracts/index.js";
 import { DiagnosticCodesSchema, DiagnosticReportSchema } from "../diagnostics.js";
 import { AssertLedger } from "../sdk/index.js";
 import { ASSERTLEDGER_VERSION } from "../version.js";
@@ -344,6 +344,54 @@ export function createAssertLedgerServer(options = {}) {
     const profileV2ReplayHandler = ({ report }) => jsonResult(assertLedger.replayProfileV2(report));
     server.registerTool("assertledger_profile_v2_replay", profileV2ReplayConfig, profileV2ReplayHandler);
     server.registerTool("testforge_profile_v2_replay", profileV2ReplayConfig, profileV2ReplayHandler);
+    const exportInputSchema = z.strictObject({ request: EvidenceExportRequestSchema });
+    const exportConfig = {
+        title: "Export AssertLedger evidence",
+        description: "Export a replay-valid AssertLedger manifest as typed evidence that separates result, integrity, authenticity, environment, confidence, controls, and cost. Consumers decide admissibility.",
+        inputSchema: exportInputSchema,
+        outputSchema: EvidenceExportSchema,
+        annotations: {
+            destructiveHint: false,
+            idempotentHint: true,
+            openWorldHint: false,
+            readOnlyHint: true,
+        },
+    };
+    const exportHandler = ({ request }) => jsonResult(assertLedger.exportEvidence(request));
+    server.registerTool("assertledger_export", exportConfig, exportHandler);
+    server.registerTool("testforge_export", exportConfig, exportHandler);
+    const exportReplayInputSchema = z.strictObject({ evidenceExport: EvidenceExportSchema });
+    const exportReplayConfig = {
+        title: "Replay an AssertLedger evidence export",
+        description: "Strictly validate a self-contained evidence export and recompute it from its embedded source manifest.",
+        inputSchema: exportReplayInputSchema,
+        outputSchema: EvidenceExportReplayResultSchema,
+        annotations: {
+            destructiveHint: false,
+            idempotentHint: true,
+            openWorldHint: false,
+            readOnlyHint: true,
+        },
+    };
+    const exportReplayHandler = ({ evidenceExport }) => jsonResult(assertLedger.replayEvidenceExport(evidenceExport));
+    server.registerTool("assertledger_export_replay", exportReplayConfig, exportReplayHandler);
+    server.registerTool("testforge_export_replay", exportReplayConfig, exportReplayHandler);
+    const providerInputSchema = z.strictObject({});
+    const providerConfig = {
+        title: "Describe the AssertLedger evidence provider",
+        description: "Return the provider version, source revision, announced capabilities, formats, cost model, and limits. Announced capabilities never prove that a control ran.",
+        inputSchema: providerInputSchema,
+        outputSchema: EvidenceProviderManifestSchema,
+        annotations: {
+            destructiveHint: false,
+            idempotentHint: true,
+            openWorldHint: false,
+            readOnlyHint: true,
+        },
+    };
+    const providerHandler = () => jsonResult(assertLedger.providerManifest());
+    server.registerTool("assertledger_provider", providerConfig, providerHandler);
+    server.registerTool("testforge_provider", providerConfig, providerHandler);
     const schemaInputSchema = z.strictObject({
         name: z.enum([
             "agentic-corpus-allocation-request",
@@ -374,6 +422,10 @@ export function createAssertLedgerServer(options = {}) {
             "repository-analysis",
             "evidence-manifest",
             "replay-result",
+            "evidence-provider-manifest",
+            "evidence-export-request",
+            "evidence-export",
+            "evidence-export-replay-result",
         ]),
     });
     const schemaConfig = {

package/dist/mcp/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/mcp/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AACzD,OAAO,KAAK,CAAC,MAAM,QAAQ,CAAC;AAC5B,OAAO,EACL,6CAA6C,EAC7C,wCAAwC,EACxC,uCAAuC,EACvC,8BAA8B,EAC9B,kCAAkC,EAClC,6BAA6B,EAC7B,yCAAyC,EACzC,oCAAoC,EACpC,6BAA6B,EAC7B,gCAAgC,EAChC,kCAAkC,EAClC,0BAA0B,EAC1B,4BAA4B,EAC5B,2BAA2B,EAC3B,6BAA6B,EAC7B,sBAAsB,EACtB,kBAAkB,EAClB,wBAAwB,EACxB,0BAA0B,EAC1B,yBAAyB,EACzB,yBAAyB,GAC1B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAErD,SAAS,UAAU,CAAC,KAAc;IAChC,MAAM,iBAAiB,GACrB,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAClE,CAAC,CAAE,KAAiC;QACpC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;IAChB,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACjE,iBAAiB;KAClB,CAAC;AACJ,CAAC;AAYD,MAAM,UAAU,wBAAwB,CAAC,OAAO,GAA8B,EAAE;IAC9E,MAAM,YAAY,GAAG,IAAI,YAAY,EAAE,CAAC;IACxC,MAAM,sBAAsB,GAAG,OAAO,CAAC,sBAAsB,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IAEjF,KAAK,UAAU,sBAAsB,CAAC,aAAqB;QACzD,MAAM,CAAC,SAAS,EAAE,GAAG,OAAO,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAChD,QAAQ,CAAC,aAAa,CAAC;YACvB,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;SACxD,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;YACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAChD,OAAO,CACL,QAAQ,KAAK,EAAE;gBACf,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAC3F,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACjE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,SAAS,CAC1B,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,oBAAoB,EAAE,EACvD,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAChC,CAAC;IAEF,MAAM,kBAAkB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACvE,MAAM,kBAAkB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC,CAAC;IAC5E,MAAM,aAAa,GAAG;QACpB,KAAK,EAAE,+BAA+B;QACtC,WAAW,EACT,iGAAiG;QACnG,WAAW,EAAE,kBAAkB;QAC/B,YAAY,EAAE,sBAAsB;QACpC,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,cAAc,GAAG,KAAK,EAAE,EAAE,KAAK,EAAsC,EAAE,EAAE,CAC7E,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1C,MAAM,CAAC,YAAY,CAAC,sBAAsB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAC3E,MAAM,CAAC,YAAY,CAAC,mBAAmB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IACxE,MAAM,aAAa,GAAG;QACpB,KAAK,EAAE,sBAAsB;QAC7B,WAAW,EAAE,+DAA+D;QAC5E,WAAW,EAAE,kBAAkB;QAC/B,YAAY,EAAE,wBAAwB;KACvC,CAAC;IACF,MAAM,cAAc,GAAG,KAAK,EAAE,EAAE,IAAI,EAAsC,EAAE,EAAE,CAC5E,UAAU,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,MAAM,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,CAAC,YAAY,CAAC,sBAAsB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAC3E,MAAM,CAAC,YAAY,CAAC,mBAAmB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAExE,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACtE,MAAM,YAAY,GAAG;QACnB,KAAK,EAAE,8BAA8B;QACrC,WAAW,EACT,sGAAsG;QACxG,WAAW,EAAE,iBAAiB;QAC9B,YAAY,EAAE,0BAA0B;QACxC,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,aAAa,GAAG,KAAK,EAAE,EAAE,IAAI,EAAqC,EAAE,EAAE,CAC1E,UAAU,CAAC,MAAM,YAAY,CAAC,MAAM,CAAC,MAAM,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5E,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IACxE,MAAM,CAAC,YAAY,CAAC,kBAAkB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IAErE,IAAI,OAAO,CAAC,oBAAoB,KAAK,IAAI,EAAE,CAAC;QAC1C,MAAM,mBAAmB,GAAG;YAC1B,KAAK,EAAE,mCAAmC;YAC1C,WAAW,EACT,iNAAiN;YACnN,WAAW,EAAE,iBAAiB;YAC9B,YAAY,EAAE,yBAAyB;YACvC,WAAW,EAAE;gBACX,eAAe,EAAE,IAAI;gBACrB,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,IAAI;gBACnB,YAAY,EAAE,KAAK;aACpB;SACF,CAAC;QACF,MAAM,oBAAoB,GAAG,KAAK,EAAE,EAAE,IAAI,EAAqC,EAAE,EAAE,CACjF,UAAU,CACR,MAAM,YAAY,CAAC,aAAa,CAAC,MAAM,sBAAsB,CAAC,IAAI,CAAC,EAAE;YACnE,oBAAoB,EAAE,IAAI;SAC3B,CAAC,CACH,CAAC;QACJ,MAAM,CAAC,YAAY,CAAC,6BAA6B,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,CAAC;QAC9F,MAAM,CAAC,YAAY,CAAC,0BAA0B,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,CAAC;QAE3F,MAAM,gBAAgB,GAAG,CAAC,CAAC,YAAY,CAAC;YACtC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;YACnC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1B,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAChC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACvB,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5C,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;SACvB,CAAC,CAAC;QACH,MAAM,WAAW,GAAG;YAClB,KAAK,EAAE,qCAAqC;YAC5C,WAAW,EACT,iOAAiO;YACnO,WAAW,EAAE,gBAAgB;YAC7B,YAAY,EAAE,sBAAsB;YACpC,WAAW,EAAE;gBACX,eAAe,EAAE,IAAI;gBACrB,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,IAAI;gBACnB,YAAY,EAAE,KAAK;aACpB;SACF,CAAC;QACF,MAAM,YAAY,GAAG,KAAK,EAAE,KAAuC,EAAE,EAAE;YACrE,MAAM,EAAE,KAAK,EAAE,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC;YACrC,OAAO,UAAU,CACf,MAAM,YAAY,CAAC,kBAAkB,CAAC;gBACpC,GAAG,QAAQ;gBACX,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;gBACzC,UAAU,EAAE,MAAM,sBAAsB,CAAC,KAAK,CAAC,UAAU,CAAC;gBAC1D,oBAAoB,EAAE,IAAI;aAC3B,CAAC,CACH,CAAC;QACJ,CAAC,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,oBAAoB,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;QACrE,MAAM,CAAC,YAAY,CAAC,iBAAiB,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;QAElE,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,yBAAyB,EAAE,CAAC,CAAC;QACjF,MAAM,YAAY,GAAG;YACnB,KAAK,EAAE,wBAAwB;YAC/B,WAAW,EACT,+JAA+J;YACjK,WAAW,EAAE,iBAAiB;YAC9B,YAAY,EAAE,sBAAsB;YACpC,WAAW,EAAE;gBACX,eAAe,EAAE,IAAI;gBACrB,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,IAAI;gBACnB,YAAY,EAAE,KAAK;aACpB;SACF,CAAC;QACF,MAAM,aAAa,GAAG,KAAK,EAAE,EAAE,OAAO,EAAqC,EAAE,EAAE;YAC7E,MAAM,IAAI,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACnE,OAAO,UAAU,CACf,MAAM,YAAY,CAAC,MAAM,CAAC;gBACxB,GAAG,OAAO;gBACV,UAAU,EAAE,EAAE,GAAG,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE;gBAC3C,SAAS,EAAE;oBACT,GAAG,OAAO,CAAC,SAAS;oBACpB,2BAA2B,EAAE,IAAI;iBAClC;aACF,CAAC,CACH,CAAC;QACJ,CAAC,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;QACxE,MAAM,CAAC,YAAY,CAAC,kBAAkB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;QAErE,MAAM,2BAA2B,GAAG,CAAC,CAAC,YAAY,CAAC;YACjD,OAAO,EAAE,wCAAwC;SAClD,CAAC,CAAC;QACH,MAAM,sBAAsB,GAAG;YAC7B,KAAK,EAAE,wCAAwC;YAC/C,WAAW,EACT,4LAA4L;YAC9L,WAAW,EAAE,2BAA2B;YACxC,YAAY,EAAE,uCAAuC;YACrD,WAAW,EAAE;gBACX,eAAe,EAAE,IAAI;gBACrB,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,IAAI;gBACnB,YAAY,EAAE,KAAK;aACpB;SACF,CAAC;QACF,MAAM,uBAAuB,GAAG,KAAK,EAAE,EACrC,OAAO,GACqC,EAAE,EAAE;YAChD,MAAM,IAAI,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACvF,OAAO,UAAU,CACf,MAAM,YAAY,CAAC,gBAAgB,CAAC;gBAClC,GAAG,OAAO;gBACV,mBAAmB,EAAE;oBACnB,GAAG,OAAO,CAAC,mBAAmB;oBAC9B,UAAU,EAAE,EAAE,GAAG,OAAO,CAAC,mBAAmB,CAAC,UAAU,EAAE,IAAI,EAAE;oBAC/D,SAAS,EAAE;wBACT,GAAG,OAAO,CAAC,mBAAmB,CAAC,SAAS;wBACxC,2BAA2B,EAAE,IAAI;qBAClC;iBACF;aACF,CAAC,CACH,CAAC;QACJ,CAAC,CAAC;QACF,MAAM,CAAC,YAAY,CACjB,gCAAgC,EAChC,sBAAsB,EACtB,uBAAuB,CACxB,CAAC;QACF,MAAM,CAAC,YAAY,CACjB,6BAA6B,EAC7B,sBAAsB,EACtB,uBAAuB,CACxB,CAAC;IACJ,CAAC;IAED,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,sBAAsB,EAAE,CAAC,CAAC;IAC/E,MAAM,YAAY,GAAG;QACnB,KAAK,EAAE,iBAAiB;QACxB,WAAW,EACT,6HAA6H;QAC/H,WAAW,EAAE,iBAAiB;QAC9B,YAAY,EAAE,kBAAkB;KACjC,CAAC;IACF,MAAM,aAAa,GAAG,CAAC,EAAE,QAAQ,EAAqC,EAAE,EAAE,CACxE,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC5C,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IACxE,MAAM,CAAC,YAAY,CAAC,kBAAkB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IAErE,MAAM,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,6BAA6B,EAAE,CAAC,CAAC;IACxF,MAAM,eAAe,GAAG;QACtB,KAAK,EAAE,sCAAsC;QAC7C,WAAW,EACT,mHAAmH;QACrH,WAAW,EAAE,oBAAoB;QACjC,YAAY,EAAE,8BAA8B;QAC5C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,gBAAgB,GAAG,CAAC,EAAE,OAAO,EAAwC,EAAE,EAAE,CAC7E,UAAU,CAAC,YAAY,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9C,MAAM,CAAC,YAAY,CAAC,wBAAwB,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;IACjF,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;IAE9E,MAAM,0BAA0B,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,8BAA8B,EAAE,CAAC,CAAC;IAChG,MAAM,qBAAqB,GAAG;QAC5B,KAAK,EAAE,sCAAsC;QAC7C,WAAW,EACT,6GAA6G;QAC/G,WAAW,EAAE,0BAA0B;QACvC,YAAY,EAAE,kCAAkC;QAChD,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,sBAAsB,GAAG,CAAC,EAAE,QAAQ,EAA8C,EAAE,EAAE,CAC1F,UAAU,CAAC,YAAY,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrD,MAAM,CAAC,YAAY,CACjB,+BAA+B,EAC/B,qBAAqB,EACrB,sBAAsB,CACvB,CAAC;IACF,MAAM,CAAC,YAAY,CAAC,4BAA4B,EAAE,qBAAqB,EAAE,sBAAsB,CAAC,CAAC;IAEjG,MAAM,iCAAiC,GAAG,CAAC,CAAC,YAAY,CAAC;QACvD,MAAM,EAAE,uCAAuC;KAChD,CAAC,CAAC;IACH,MAAM,4BAA4B,GAAG;QACnC,KAAK,EAAE,uCAAuC;QAC9C,WAAW,EACT,gHAAgH;QAClH,WAAW,EAAE,iCAAiC;QAC9C,YAAY,EAAE,6CAA6C;QAC3D,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,6BAA6B,GAAG,CAAC,EACrC,MAAM,GAC4C,EAAE,EAAE,CACtD,UAAU,CAAC,YAAY,CAAC,0BAA0B,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9D,MAAM,CAAC,YAAY,CACjB,uCAAuC,EACvC,4BAA4B,EAC5B,6BAA6B,CAC9B,CAAC;IACF,MAAM,CAAC,YAAY,CACjB,oCAAoC,EACpC,4BAA4B,EAC5B,6BAA6B,CAC9B,CAAC;IAEF,MAAM,yBAAyB,GAAG,CAAC,CAAC,YAAY,CAAC;QAC/C,OAAO,EAAE,oCAAoC;KAC9C,CAAC,CAAC;IACH,MAAM,oBAAoB,GAAG;QAC3B,KAAK,EAAE,0CAA0C;QACjD,WAAW,EACT,0HAA0H;QAC5H,WAAW,EAAE,yBAAyB;QACtC,YAAY,EAAE,6BAA6B;QAC3C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,qBAAqB,GAAG,CAAC,EAAE,OAAO,EAA6C,EAAE,EAAE,CACvF,UAAU,CAAC,YAAY,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,YAAY,CAAC,8BAA8B,EAAE,oBAAoB,EAAE,qBAAqB,CAAC,CAAC;IACjG,MAAM,CAAC,YAAY,CAAC,2BAA2B,EAAE,oBAAoB,EAAE,qBAAqB,CAAC,CAAC;IAE9F,MAAM,iCAAiC,GAAG,CAAC,CAAC,YAAY,CAAC;QACvD,UAAU,EAAE,6BAA6B;KAC1C,CAAC,CAAC;IACH,MAAM,4BAA4B,GAAG;QACnC,KAAK,EAAE,4BAA4B;QACnC,WAAW,EACT,wGAAwG;QAC1G,WAAW,EAAE,iCAAiC;QAC9C,YAAY,EAAE,yCAAyC;QACvD,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,6BAA6B,GAAG,CAAC,EACrC,UAAU,GACwC,EAAE,EAAE,CACtD,UAAU,CAAC,YAAY,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAC,CAAC;IAC9D,MAAM,CAAC,YAAY,CACjB,uCAAuC,EACvC,4BAA4B,EAC5B,6BAA6B,CAC9B,CAAC;IACF,MAAM,CAAC,YAAY,CACjB,oCAAoC,EACpC,4BAA4B,EAC5B,6BAA6B,CAC9B,CAAC;IAEF,MAAM,kBAAkB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC,CAAC;IACpF,MAAM,aAAa,GAAG;QACpB,KAAK,EAAE,gCAAgC;QACvC,WAAW,EACT,+GAA+G;QACjH,WAAW,EAAE,kBAAkB;QAC/B,YAAY,EAAE,0BAA0B;QACxC,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,cAAc,GAAG,CAAC,EAAE,OAAO,EAAsC,EAAE,EAAE,CACzE,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5C,MAAM,CAAC,YAAY,CAAC,sBAAsB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAC3E,MAAM,CAAC,YAAY,CAAC,mBAAmB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAExE,MAAM,wBAAwB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,0BAA0B,EAAE,CAAC,CAAC;IACxF,MAAM,mBAAmB,GAAG;QAC1B,KAAK,EAAE,gCAAgC;QACvC,WAAW,EACT,0FAA0F;QAC5F,WAAW,EAAE,wBAAwB;QACrC,YAAY,EAAE,gCAAgC;QAC9C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,oBAAoB,GAAG,CAAC,EAAE,MAAM,EAA4C,EAAE,EAAE,CACpF,UAAU,CAAC,YAAY,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;IACjD,MAAM,CAAC,YAAY,CAAC,6BAA6B,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,CAAC;IAC9F,MAAM,CAAC,YAAY,CAAC,0BAA0B,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,CAAC;IAE3F,MAAM,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,6BAA6B,EAAE,CAAC,CAAC;IACxF,MAAM,eAAe,GAAG;QACtB,KAAK,EAAE,mCAAmC;QAC1C,WAAW,EACT,yHAAyH;QAC3H,WAAW,EAAE,oBAAoB;QACjC,YAAY,EAAE,4BAA4B;QAC1C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,gBAAgB,GAAG,CAAC,EAAE,OAAO,EAAwC,EAAE,EAAE,CAC7E,UAAU,CAAC,YAAY,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9C,MAAM,CAAC,YAAY,CAAC,yBAAyB,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;IAClF,MAAM,CAAC,YAAY,CAAC,sBAAsB,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;IAE/E,MAAM,0BAA0B,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,4BAA4B,EAAE,CAAC,CAAC;IAC5F,MAAM,qBAAqB,GAAG;QAC5B,KAAK,EAAE,mCAAmC;QAC1C,WAAW,EACT,kGAAkG;QACpG,WAAW,EAAE,0BAA0B;QACvC,YAAY,EAAE,kCAAkC;QAChD,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,sBAAsB,GAAG,CAAC,EAAE,MAAM,EAA8C,EAAE,EAAE,CACxF,UAAU,CAAC,YAAY,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,YAAY,CACjB,gCAAgC,EAChC,qBAAqB,EACrB,sBAAsB,CACvB,CAAC;IACF,MAAM,CAAC,YAAY,CAAC,6BAA6B,EAAE,qBAAqB,EAAE,sBAAsB,CAAC,CAAC;IAElG,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC;QACvC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;YACX,mCAAmC;YACnC,2BAA2B;YAC3B,yCAAyC;YACzC,sCAAsC;YACtC,kCAAkC;YAClC,oDAAoD;YACpD,gCAAgC;YAChC,8CAA8C;YAC9C,mCAAmC;YACnC,oCAAoC;YACpC,0CAA0C;YAC1C,yCAAyC;YACzC,2BAA2B;YAC3B,4BAA4B;YAC5B,iCAAiC;YACjC,uCAAuC;YACvC,sCAAsC;YACtC,6CAA6C;YAC7C,yBAAyB;YACzB,wBAAwB;YACxB,+BAA+B;YAC/B,4BAA4B;YAC5B,2BAA2B;YAC3B,kCAAkC;YAClC,sBAAsB;YACtB,qBAAqB;YACrB,mBAAmB;YACnB,eAAe;SAChB,CAAC;KACH,CAAC,CAAC;IACH,MAAM,YAAY,GAAG;QACnB,KAAK,EAAE,4BAA4B;QACnC,WAAW,EAAE,sDAAsD;QACnE,WAAW,EAAE,iBAAiB;KAC/B,CAAC;IACF,MAAM,aAAa,GAAG,CAAC,EAAE,IAAI,EAAqC,EAAE,EAAE,CACpE,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACxC,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IACxE,MAAM,CAAC,YAAY,CAAC,kBAAkB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IAErE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,uFAAuF;AACvF,MAAM,CAAC,MAAM,qBAAqB,GAAG,wBAAwB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/mcp/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AACzD,OAAO,KAAK,CAAC,MAAM,QAAQ,CAAC;AAC5B,OAAO,EACL,6CAA6C,EAC7C,wCAAwC,EACxC,uCAAuC,EACvC,8BAA8B,EAC9B,kCAAkC,EAClC,6BAA6B,EAC7B,yCAAyC,EACzC,oCAAoC,EACpC,6BAA6B,EAC7B,gCAAgC,EAChC,kCAAkC,EAClC,0BAA0B,EAC1B,4BAA4B,EAC5B,2BAA2B,EAC3B,6BAA6B,EAC7B,gCAAgC,EAChC,2BAA2B,EAC3B,oBAAoB,EACpB,sBAAsB,EACtB,8BAA8B,EAC9B,kBAAkB,EAClB,wBAAwB,EACxB,0BAA0B,EAC1B,yBAAyB,EACzB,yBAAyB,GAC1B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAErD,SAAS,UAAU,CAAC,KAAc;IAChC,MAAM,iBAAiB,GACrB,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAClE,CAAC,CAAE,KAAiC;QACpC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;IAChB,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACjE,iBAAiB;KAClB,CAAC;AACJ,CAAC;AAYD,MAAM,UAAU,wBAAwB,CAAC,OAAO,GAA8B,EAAE;IAC9E,MAAM,YAAY,GAAG,IAAI,YAAY,EAAE,CAAC;IACxC,MAAM,sBAAsB,GAAG,OAAO,CAAC,sBAAsB,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IAEjF,KAAK,UAAU,sBAAsB,CAAC,aAAqB;QACzD,MAAM,CAAC,SAAS,EAAE,GAAG,OAAO,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAChD,QAAQ,CAAC,aAAa,CAAC;YACvB,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;SACxD,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;YACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAChD,OAAO,CACL,QAAQ,KAAK,EAAE;gBACf,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAC3F,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACjE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,SAAS,CAC1B,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,oBAAoB,EAAE,EACvD,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAChC,CAAC;IAEF,MAAM,kBAAkB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACvE,MAAM,kBAAkB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC,CAAC;IAC5E,MAAM,aAAa,GAAG;QACpB,KAAK,EAAE,+BAA+B;QACtC,WAAW,EACT,iGAAiG;QACnG,WAAW,EAAE,kBAAkB;QAC/B,YAAY,EAAE,sBAAsB;QACpC,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,cAAc,GAAG,KAAK,EAAE,EAAE,KAAK,EAAsC,EAAE,EAAE,CAC7E,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1C,MAAM,CAAC,YAAY,CAAC,sBAAsB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAC3E,MAAM,CAAC,YAAY,CAAC,mBAAmB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IACxE,MAAM,aAAa,GAAG;QACpB,KAAK,EAAE,sBAAsB;QAC7B,WAAW,EAAE,+DAA+D;QAC5E,WAAW,EAAE,kBAAkB;QAC/B,YAAY,EAAE,wBAAwB;KACvC,CAAC;IACF,MAAM,cAAc,GAAG,KAAK,EAAE,EAAE,IAAI,EAAsC,EAAE,EAAE,CAC5E,UAAU,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,MAAM,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,CAAC,YAAY,CAAC,sBAAsB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAC3E,MAAM,CAAC,YAAY,CAAC,mBAAmB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAExE,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACtE,MAAM,YAAY,GAAG;QACnB,KAAK,EAAE,8BAA8B;QACrC,WAAW,EACT,sGAAsG;QACxG,WAAW,EAAE,iBAAiB;QAC9B,YAAY,EAAE,0BAA0B;QACxC,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,aAAa,GAAG,KAAK,EAAE,EAAE,IAAI,EAAqC,EAAE,EAAE,CAC1E,UAAU,CAAC,MAAM,YAAY,CAAC,MAAM,CAAC,MAAM,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5E,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IACxE,MAAM,CAAC,YAAY,CAAC,kBAAkB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IAErE,IAAI,OAAO,CAAC,oBAAoB,KAAK,IAAI,EAAE,CAAC;QAC1C,MAAM,mBAAmB,GAAG;YAC1B,KAAK,EAAE,mCAAmC;YAC1C,WAAW,EACT,iNAAiN;YACnN,WAAW,EAAE,iBAAiB;YAC9B,YAAY,EAAE,yBAAyB;YACvC,WAAW,EAAE;gBACX,eAAe,EAAE,IAAI;gBACrB,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,IAAI;gBACnB,YAAY,EAAE,KAAK;aACpB;SACF,CAAC;QACF,MAAM,oBAAoB,GAAG,KAAK,EAAE,EAAE,IAAI,EAAqC,EAAE,EAAE,CACjF,UAAU,CACR,MAAM,YAAY,CAAC,aAAa,CAAC,MAAM,sBAAsB,CAAC,IAAI,CAAC,EAAE;YACnE,oBAAoB,EAAE,IAAI;SAC3B,CAAC,CACH,CAAC;QACJ,MAAM,CAAC,YAAY,CAAC,6BAA6B,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,CAAC;QAC9F,MAAM,CAAC,YAAY,CAAC,0BAA0B,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,CAAC;QAE3F,MAAM,gBAAgB,GAAG,CAAC,CAAC,YAAY,CAAC;YACtC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;YACnC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1B,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAChC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACvB,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5C,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;SACvB,CAAC,CAAC;QACH,MAAM,WAAW,GAAG;YAClB,KAAK,EAAE,qCAAqC;YAC5C,WAAW,EACT,iOAAiO;YACnO,WAAW,EAAE,gBAAgB;YAC7B,YAAY,EAAE,sBAAsB;YACpC,WAAW,EAAE;gBACX,eAAe,EAAE,IAAI;gBACrB,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,IAAI;gBACnB,YAAY,EAAE,KAAK;aACpB;SACF,CAAC;QACF,MAAM,YAAY,GAAG,KAAK,EAAE,KAAuC,EAAE,EAAE;YACrE,MAAM,EAAE,KAAK,EAAE,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC;YACrC,OAAO,UAAU,CACf,MAAM,YAAY,CAAC,kBAAkB,CAAC;gBACpC,GAAG,QAAQ;gBACX,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;gBACzC,UAAU,EAAE,MAAM,sBAAsB,CAAC,KAAK,CAAC,UAAU,CAAC;gBAC1D,oBAAoB,EAAE,IAAI;aAC3B,CAAC,CACH,CAAC;QACJ,CAAC,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,oBAAoB,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;QACrE,MAAM,CAAC,YAAY,CAAC,iBAAiB,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;QAElE,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,yBAAyB,EAAE,CAAC,CAAC;QACjF,MAAM,YAAY,GAAG;YACnB,KAAK,EAAE,wBAAwB;YAC/B,WAAW,EACT,+JAA+J;YACjK,WAAW,EAAE,iBAAiB;YAC9B,YAAY,EAAE,sBAAsB;YACpC,WAAW,EAAE;gBACX,eAAe,EAAE,IAAI;gBACrB,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,IAAI;gBACnB,YAAY,EAAE,KAAK;aACpB;SACF,CAAC;QACF,MAAM,aAAa,GAAG,KAAK,EAAE,EAAE,OAAO,EAAqC,EAAE,EAAE;YAC7E,MAAM,IAAI,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACnE,OAAO,UAAU,CACf,MAAM,YAAY,CAAC,MAAM,CAAC;gBACxB,GAAG,OAAO;gBACV,UAAU,EAAE,EAAE,GAAG,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE;gBAC3C,SAAS,EAAE;oBACT,GAAG,OAAO,CAAC,SAAS;oBACpB,2BAA2B,EAAE,IAAI;iBAClC;aACF,CAAC,CACH,CAAC;QACJ,CAAC,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;QACxE,MAAM,CAAC,YAAY,CAAC,kBAAkB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;QAErE,MAAM,2BAA2B,GAAG,CAAC,CAAC,YAAY,CAAC;YACjD,OAAO,EAAE,wCAAwC;SAClD,CAAC,CAAC;QACH,MAAM,sBAAsB,GAAG;YAC7B,KAAK,EAAE,wCAAwC;YAC/C,WAAW,EACT,4LAA4L;YAC9L,WAAW,EAAE,2BAA2B;YACxC,YAAY,EAAE,uCAAuC;YACrD,WAAW,EAAE;gBACX,eAAe,EAAE,IAAI;gBACrB,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,IAAI;gBACnB,YAAY,EAAE,KAAK;aACpB;SACF,CAAC;QACF,MAAM,uBAAuB,GAAG,KAAK,EAAE,EACrC,OAAO,GACqC,EAAE,EAAE;YAChD,MAAM,IAAI,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACvF,OAAO,UAAU,CACf,MAAM,YAAY,CAAC,gBAAgB,CAAC;gBAClC,GAAG,OAAO;gBACV,mBAAmB,EAAE;oBACnB,GAAG,OAAO,CAAC,mBAAmB;oBAC9B,UAAU,EAAE,EAAE,GAAG,OAAO,CAAC,mBAAmB,CAAC,UAAU,EAAE,IAAI,EAAE;oBAC/D,SAAS,EAAE;wBACT,GAAG,OAAO,CAAC,mBAAmB,CAAC,SAAS;wBACxC,2BAA2B,EAAE,IAAI;qBAClC;iBACF;aACF,CAAC,CACH,CAAC;QACJ,CAAC,CAAC;QACF,MAAM,CAAC,YAAY,CACjB,gCAAgC,EAChC,sBAAsB,EACtB,uBAAuB,CACxB,CAAC;QACF,MAAM,CAAC,YAAY,CACjB,6BAA6B,EAC7B,sBAAsB,EACtB,uBAAuB,CACxB,CAAC;IACJ,CAAC;IAED,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,sBAAsB,EAAE,CAAC,CAAC;IAC/E,MAAM,YAAY,GAAG;QACnB,KAAK,EAAE,iBAAiB;QACxB,WAAW,EACT,6HAA6H;QAC/H,WAAW,EAAE,iBAAiB;QAC9B,YAAY,EAAE,kBAAkB;KACjC,CAAC;IACF,MAAM,aAAa,GAAG,CAAC,EAAE,QAAQ,EAAqC,EAAE,EAAE,CACxE,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC5C,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IACxE,MAAM,CAAC,YAAY,CAAC,kBAAkB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IAErE,MAAM,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,6BAA6B,EAAE,CAAC,CAAC;IACxF,MAAM,eAAe,GAAG;QACtB,KAAK,EAAE,sCAAsC;QAC7C,WAAW,EACT,mHAAmH;QACrH,WAAW,EAAE,oBAAoB;QACjC,YAAY,EAAE,8BAA8B;QAC5C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,gBAAgB,GAAG,CAAC,EAAE,OAAO,EAAwC,EAAE,EAAE,CAC7E,UAAU,CAAC,YAAY,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9C,MAAM,CAAC,YAAY,CAAC,wBAAwB,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;IACjF,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;IAE9E,MAAM,0BAA0B,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,8BAA8B,EAAE,CAAC,CAAC;IAChG,MAAM,qBAAqB,GAAG;QAC5B,KAAK,EAAE,sCAAsC;QAC7C,WAAW,EACT,6GAA6G;QAC/G,WAAW,EAAE,0BAA0B;QACvC,YAAY,EAAE,kCAAkC;QAChD,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,sBAAsB,GAAG,CAAC,EAAE,QAAQ,EAA8C,EAAE,EAAE,CAC1F,UAAU,CAAC,YAAY,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrD,MAAM,CAAC,YAAY,CACjB,+BAA+B,EAC/B,qBAAqB,EACrB,sBAAsB,CACvB,CAAC;IACF,MAAM,CAAC,YAAY,CAAC,4BAA4B,EAAE,qBAAqB,EAAE,sBAAsB,CAAC,CAAC;IAEjG,MAAM,iCAAiC,GAAG,CAAC,CAAC,YAAY,CAAC;QACvD,MAAM,EAAE,uCAAuC;KAChD,CAAC,CAAC;IACH,MAAM,4BAA4B,GAAG;QACnC,KAAK,EAAE,uCAAuC;QAC9C,WAAW,EACT,gHAAgH;QAClH,WAAW,EAAE,iCAAiC;QAC9C,YAAY,EAAE,6CAA6C;QAC3D,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,6BAA6B,GAAG,CAAC,EACrC,MAAM,GAC4C,EAAE,EAAE,CACtD,UAAU,CAAC,YAAY,CAAC,0BAA0B,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9D,MAAM,CAAC,YAAY,CACjB,uCAAuC,EACvC,4BAA4B,EAC5B,6BAA6B,CAC9B,CAAC;IACF,MAAM,CAAC,YAAY,CACjB,oCAAoC,EACpC,4BAA4B,EAC5B,6BAA6B,CAC9B,CAAC;IAEF,MAAM,yBAAyB,GAAG,CAAC,CAAC,YAAY,CAAC;QAC/C,OAAO,EAAE,oCAAoC;KAC9C,CAAC,CAAC;IACH,MAAM,oBAAoB,GAAG;QAC3B,KAAK,EAAE,0CAA0C;QACjD,WAAW,EACT,0HAA0H;QAC5H,WAAW,EAAE,yBAAyB;QACtC,YAAY,EAAE,6BAA6B;QAC3C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,qBAAqB,GAAG,CAAC,EAAE,OAAO,EAA6C,EAAE,EAAE,CACvF,UAAU,CAAC,YAAY,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,YAAY,CAAC,8BAA8B,EAAE,oBAAoB,EAAE,qBAAqB,CAAC,CAAC;IACjG,MAAM,CAAC,YAAY,CAAC,2BAA2B,EAAE,oBAAoB,EAAE,qBAAqB,CAAC,CAAC;IAE9F,MAAM,iCAAiC,GAAG,CAAC,CAAC,YAAY,CAAC;QACvD,UAAU,EAAE,6BAA6B;KAC1C,CAAC,CAAC;IACH,MAAM,4BAA4B,GAAG;QACnC,KAAK,EAAE,4BAA4B;QACnC,WAAW,EACT,wGAAwG;QAC1G,WAAW,EAAE,iCAAiC;QAC9C,YAAY,EAAE,yCAAyC;QACvD,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,6BAA6B,GAAG,CAAC,EACrC,UAAU,GACwC,EAAE,EAAE,CACtD,UAAU,CAAC,YAAY,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAC,CAAC;IAC9D,MAAM,CAAC,YAAY,CACjB,uCAAuC,EACvC,4BAA4B,EAC5B,6BAA6B,CAC9B,CAAC;IACF,MAAM,CAAC,YAAY,CACjB,oCAAoC,EACpC,4BAA4B,EAC5B,6BAA6B,CAC9B,CAAC;IAEF,MAAM,kBAAkB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC,CAAC;IACpF,MAAM,aAAa,GAAG;QACpB,KAAK,EAAE,gCAAgC;QACvC,WAAW,EACT,+GAA+G;QACjH,WAAW,EAAE,kBAAkB;QAC/B,YAAY,EAAE,0BAA0B;QACxC,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,cAAc,GAAG,CAAC,EAAE,OAAO,EAAsC,EAAE,EAAE,CACzE,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5C,MAAM,CAAC,YAAY,CAAC,sBAAsB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAC3E,MAAM,CAAC,YAAY,CAAC,mBAAmB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;IAExE,MAAM,wBAAwB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,0BAA0B,EAAE,CAAC,CAAC;IACxF,MAAM,mBAAmB,GAAG;QAC1B,KAAK,EAAE,gCAAgC;QACvC,WAAW,EACT,0FAA0F;QAC5F,WAAW,EAAE,wBAAwB;QACrC,YAAY,EAAE,gCAAgC;QAC9C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,oBAAoB,GAAG,CAAC,EAAE,MAAM,EAA4C,EAAE,EAAE,CACpF,UAAU,CAAC,YAAY,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;IACjD,MAAM,CAAC,YAAY,CAAC,6BAA6B,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,CAAC;IAC9F,MAAM,CAAC,YAAY,CAAC,0BAA0B,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,CAAC;IAE3F,MAAM,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,6BAA6B,EAAE,CAAC,CAAC;IACxF,MAAM,eAAe,GAAG;QACtB,KAAK,EAAE,mCAAmC;QAC1C,WAAW,EACT,yHAAyH;QAC3H,WAAW,EAAE,oBAAoB;QACjC,YAAY,EAAE,4BAA4B;QAC1C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,gBAAgB,GAAG,CAAC,EAAE,OAAO,EAAwC,EAAE,EAAE,CAC7E,UAAU,CAAC,YAAY,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9C,MAAM,CAAC,YAAY,CAAC,yBAAyB,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;IAClF,MAAM,CAAC,YAAY,CAAC,sBAAsB,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;IAE/E,MAAM,0BAA0B,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,4BAA4B,EAAE,CAAC,CAAC;IAC5F,MAAM,qBAAqB,GAAG;QAC5B,KAAK,EAAE,mCAAmC;QAC1C,WAAW,EACT,kGAAkG;QACpG,WAAW,EAAE,0BAA0B;QACvC,YAAY,EAAE,kCAAkC;QAChD,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,sBAAsB,GAAG,CAAC,EAAE,MAAM,EAA8C,EAAE,EAAE,CACxF,UAAU,CAAC,YAAY,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,YAAY,CACjB,gCAAgC,EAChC,qBAAqB,EACrB,sBAAsB,CACvB,CAAC;IACF,MAAM,CAAC,YAAY,CAAC,6BAA6B,EAAE,qBAAqB,EAAE,sBAAsB,CAAC,CAAC;IAElG,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC,CAAC;IACnF,MAAM,YAAY,GAAG;QACnB,KAAK,EAAE,8BAA8B;QACrC,WAAW,EACT,4LAA4L;QAC9L,WAAW,EAAE,iBAAiB;QAC9B,YAAY,EAAE,oBAAoB;QAClC,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,aAAa,GAAG,CAAC,EAAE,OAAO,EAAqC,EAAE,EAAE,CACvE,UAAU,CAAC,YAAY,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IACxE,MAAM,CAAC,YAAY,CAAC,kBAAkB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IAErE,MAAM,uBAAuB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,cAAc,EAAE,oBAAoB,EAAE,CAAC,CAAC;IACzF,MAAM,kBAAkB,GAAG;QACzB,KAAK,EAAE,wCAAwC;QAC/C,WAAW,EACT,wGAAwG;QAC1G,WAAW,EAAE,uBAAuB;QACpC,YAAY,EAAE,gCAAgC;QAC9C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,mBAAmB,GAAG,CAAC,EAAE,cAAc,EAA2C,EAAE,EAAE,CAC1F,UAAU,CAAC,YAAY,CAAC,oBAAoB,CAAC,cAAc,CAAC,CAAC,CAAC;IAChE,MAAM,CAAC,YAAY,CAAC,4BAA4B,EAAE,kBAAkB,EAAE,mBAAmB,CAAC,CAAC;IAC3F,MAAM,CAAC,YAAY,CAAC,yBAAyB,EAAE,kBAAkB,EAAE,mBAAmB,CAAC,CAAC;IAExF,MAAM,mBAAmB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IAC/C,MAAM,cAAc,GAAG;QACrB,KAAK,EAAE,6CAA6C;QACpD,WAAW,EACT,+JAA+J;QACjK,WAAW,EAAE,mBAAmB;QAChC,YAAY,EAAE,8BAA8B;QAC5C,WAAW,EAAE;YACX,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,IAAI;YACpB,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,IAAI;SACnB;KACF,CAAC;IACF,MAAM,eAAe,GAAG,GAAG,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,gBAAgB,EAAE,CAAC,CAAC;IAC1E,MAAM,CAAC,YAAY,CAAC,uBAAuB,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC;IAC9E,MAAM,CAAC,YAAY,CAAC,oBAAoB,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC;IAE3E,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC;QACvC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;YACX,mCAAmC;YACnC,2BAA2B;YAC3B,yCAAyC;YACzC,sCAAsC;YACtC,kCAAkC;YAClC,oDAAoD;YACpD,gCAAgC;YAChC,8CAA8C;YAC9C,mCAAmC;YACnC,oCAAoC;YACpC,0CAA0C;YAC1C,yCAAyC;YACzC,2BAA2B;YAC3B,4BAA4B;YAC5B,iCAAiC;YACjC,uCAAuC;YACvC,sCAAsC;YACtC,6CAA6C;YAC7C,yBAAyB;YACzB,wBAAwB;YACxB,+BAA+B;YAC/B,4BAA4B;YAC5B,2BAA2B;YAC3B,kCAAkC;YAClC,sBAAsB;YACtB,qBAAqB;YACrB,mBAAmB;YACnB,eAAe;YACf,4BAA4B;YAC5B,yBAAyB;YACzB,iBAAiB;YACjB,+BAA+B;SAChC,CAAC;KACH,CAAC,CAAC;IACH,MAAM,YAAY,GAAG;QACnB,KAAK,EAAE,4BAA4B;QACnC,WAAW,EAAE,sDAAsD;QACnE,WAAW,EAAE,iBAAiB;KAC/B,CAAC;IACF,MAAM,aAAa,GAAG,CAAC,EAAE,IAAI,EAAqC,EAAE,EAAE,CACpE,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACxC,MAAM,CAAC,YAAY,CAAC,qBAAqB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IACxE,MAAM,CAAC,YAAY,CAAC,kBAAkB,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IAErE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,uFAAuF;AACvF,MAAM,CAAC,MAAM,qBAAqB,GAAG,wBAAwB,CAAC"}

package/dist/proof-planner/carry-over.d.ts

@@ -0,0 +1,21 @@
+import { type EvidenceBinding } from "./model.js";
+import { type AssurancePlan } from "./plan.js";
+export interface CarryOverEntry {
+    kind: string;
+    binding: EvidenceBinding;
+    surfaces: string[];
+    reason: string;
+}
+/**
+ * Which required evidence of `next` may reuse evidence produced for `previous`, and which must be
+ * produced again. The planner states the admissibility rule; AssertLedger must still check that
+ * the reused evidence exists and carries the listed digests.
+ */
+export interface EvidenceCarryOver {
+    previousRevision: string;
+    nextRevision: string;
+    reusable: CarryOverEntry[];
+    mustProduce: CarryOverEntry[];
+}
+export declare function carryOverEvidence(previous: AssurancePlan, next: AssurancePlan): EvidenceCarryOver;
+//# sourceMappingURL=carry-over.d.ts.map

package/dist/proof-planner/carry-over.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"carry-over.d.ts","sourceRoot":"","sources":["../../src/proof-planner/carry-over.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,KAAK,eAAe,EAAgB,MAAM,YAAY,CAAC;AAChF,OAAO,EACL,KAAK,aAAa,EAKnB,MAAM,WAAW,CAAC;AAEnB,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,eAAe,CAAC;IACzB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,EAAE,MAAM,CAAC;IACzB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B,WAAW,EAAE,cAAc,EAAE,CAAC;CAC/B;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,GAAG,iBAAiB,CAsGjG"}

package/dist/proof-planner/carry-over.js

@@ -0,0 +1,212 @@
+import { compareOrdinal, sortedUnique } from "./model.js";
+import { isUnresolvedSignal, } from "./plan.js";
+export function carryOverEvidence(previous, next) {
+    const reusable = [];
+    const mustProduce = [];
+    const sameBaseline = previous.subject.baseline === next.subject.baseline;
+    const sameRevision = previous.subject.revision === next.subject.revision;
+    const runtimeTree = sameRuntimeTree(previous, next);
+    // Evidence is not reused on the surfaces that an unresolved signal may concern, read in both
+    // plans: across revisions, one observed beside it or one the next plan observes; within one
+    // revision, only an observation the previous plan did not already have, since evidence produced
+    // beside an observation answers it. The planner uses the same notion of "unresolved".
+    const previousUnresolved = previous.signals.filter(isUnresolvedSignal);
+    const answered = new Set(previousUnresolved.map(observationKey));
+    const unresolved = [
+        ...(sameRevision ? [] : previousUnresolved),
+        ...next.signals.filter((signal) => isUnresolvedSignal(signal) && !(sameRevision && answered.has(observationKey(signal)))),
+    ].map((signal) => ({ id: signal.id, surfaces: concernedInEither(previous, next, signal) }));
+    const unresolvedOn = (surface) => {
+        const blocking = unresolved.filter((entry) => surface === null || entry.surfaces === null || entry.surfaces.has(surface));
+        return blocking.length > 0
+            ? `a signal is unresolved (${sortedUnique(blocking.map((entry) => entry.id)).join(", ")})`
+            : null;
+    };
+    // Evidence that answers observations answers only those it was produced for.
+    const answersOther = (requirement, earlier, surface) => {
+        const seen = observationsBehind(previous, earlier, surface);
+        const behind = observationsBehind(next, requirement, surface);
+        if (seen === null || behind === null)
+            return "an observation behind it is not in the plan";
+        return [...behind].some((key) => !seen.has(key))
+            ? "it answers an observation the earlier evidence did not"
+            : null;
+    };
+    for (const requirement of next.requiredEvidence) {
+        const earlier = previous.requiredEvidence.find((candidate) => candidate.kind === requirement.kind &&
+            candidate.semanticDigest === requirement.semanticDigest);
+        const entry = (surfaces, reason) => ({
+            kind: requirement.kind,
+            binding: requirement.binding,
+            surfaces: sortedUnique(surfaces),
+            reason,
+        });
+        if (!earlier) {
+            mustProduce.push(entry(requirement.surfaces, "not required with the same meaning before"));
+            continue;
+        }
+        if (!sameBaseline) {
+            mustProduce.push(entry(requirement.surfaces, "the merge-base changed"));
+            continue;
+        }
+        if (requirement.binding === "runtime-tree") {
+            const blocker = runtimeTree
+                ? (unresolvedOn(null) ?? answersOther(requirement, earlier, null))
+                : "runtime tree changed or unknown";
+            if (blocker === null)
+                reusable.push(entry(requirement.surfaces, "runtime tree unchanged"));
+            else
+                mustProduce.push(entry(requirement.surfaces, blocker));
+            continue;
+        }
+        // Revision-wide evidence: exact-revision kinds, a property of the revision itself, and
+        // surface-content kinds without a scope, which a new observation can still contradict.
+        if (requirement.binding === "exact-revision" || requirement.surfaces.length === 0) {
+            const blocker = !sameRevision
+                ? "bound to the exact revision"
+                : requirement.binding === "exact-revision"
+                    ? null
+                    : (unresolvedOn(null) ?? answersOther(requirement, earlier, null));
+            if (blocker === null)
+                reusable.push(entry(requirement.surfaces, "same revision"));
+            else
+                mustProduce.push(entry(requirement.surfaces, blocker));
+            continue;
+        }
+        const kept = [];
+        const changed = new Map();
+        for (const surface of requirement.surfaces) {
+            const reason = surfaceReuseBlocker(previous, next, requirement, earlier, surface, runtimeTree) ??
+                unresolvedOn(surface) ??
+                answersOther(requirement, earlier, surface);
+            if (reason === null)
+                kept.push(surface);
+            else
+                changed.set(reason, [...(changed.get(reason) ?? []), surface]);
+        }
+        if (kept.length > 0)
+            reusable.push(entry(kept, "scoped surfaces and their tests unchanged"));
+        for (const [reason, surfaces] of changed)
+            mustProduce.push(entry(surfaces, reason));
+    }
+    const order = (left, right) => compareOrdinal(`${left.kind}|${left.reason}`, `${right.kind}|${right.reason}`);
+    return {
+        previousRevision: previous.subject.revision,
+        nextRevision: next.subject.revision,
+        reusable: reusable.sort(order),
+        mustProduce: mustProduce.sort(order),
+    };
+}
+/**
+ * Surfaces an unresolved signal may concern, or null for all of them. A failing proof surface
+ * concerns what it exercises; a failure that cannot be mapped, an execution context, or a proof
+ * surface that does not list what it exercises, concerns everything.
+ */
+function concernedSurfaces(plan, signal) {
+    if (signal.surfaces.length === 0)
+        return null;
+    const concerned = new Set(signal.surfaces);
+    for (const id of signal.surfaces) {
+        const known = plan.subject.surfaces.find((entry) => entry.id === id);
+        if (!known || known.role === "execution-context")
+            return null;
+        if (known.role !== "test" && known.role !== "proof-infrastructure")
+            continue;
+        if (known.exercises === null)
+            return null;
+        for (const exercised of known.exercises)
+            concerned.add(exercised);
+    }
+    return concerned;
+}
+/** What a signal may concern in either plan: everything as soon as one of them cannot map it. */
+function concernedInEither(previous, next, signal) {
+    const before = concernedSurfaces(previous, signal);
+    const after = concernedSurfaces(next, signal);
+    // Where the two sets differ, what exercises that surface changed, which blocks reuse on its own.
+    return before === null || after === null ? null : new Set([...before, ...after]);
+}
+/** One observation: evidence produced for one report never answers another. */
+function observationKey(signal) {
+    return JSON.stringify([
+        signal.id,
+        signal.revision,
+        signal.signal,
+        signal.classification,
+        signal.exercises,
+        [...signal.basis].sort(),
+        [...signal.surfaces].sort(),
+    ]);
+}
+/**
+ * Observations behind a requirement on a surface, or behind all of it for null. Null when a fact
+ * names a signal the plan does not list, since what it observed cannot be compared.
+ */
+function observationsBehind(plan, requirement, surface) {
+    const keys = new Set();
+    for (const fact of plan.facts) {
+        if (!fact.id.startsWith("observed:") || !requirement.because.includes(fact.id))
+            continue;
+        // A fact merges the surfaces of every signal behind it: scope each observation by its own.
+        for (const ref of fact.refs) {
+            const signal = plan.signals.find((entry) => entry.id === ref);
+            if (!signal)
+                return null;
+            const scope = signal.surfaces;
+            if (surface !== null && scope.length > 0 && !scope.includes(surface))
+                continue;
+            keys.add(observationKey(signal));
+        }
+    }
+    return keys;
+}
+function sameRuntimeTree(previous, next) {
+    const before = previous.subject.runtimeTreeDigest;
+    const after = next.subject.runtimeTreeDigest;
+    return before !== null && after !== null && before === after;
+}
+/**
+ * Only documentation-only evidence about a surface both plans call documentation ignores the
+ * runtime tree. A gate delta review justifies a budget with durations measured on the code the
+ * gate runs, and a documentation claim scoped to a runtime surface describes its behavior.
+ */
+function dependsOnRuntimeTree(requirement, before, after) {
+    return (before.role !== "documentation" ||
+        after.role !== "documentation" ||
+        !requirement.subjects.every((subject) => subject === "documentation"));
+}
+function surfaceReuseBlocker(previous, next, requirement, earlier, surface, runtimeTree) {
+    if (!earlier.surfaces.includes(surface))
+        return "surface newly in scope";
+    const before = previous.subject.surfaces.find((entry) => entry.id === surface);
+    const after = next.subject.surfaces.find((entry) => entry.id === surface);
+    if (!before?.contentDigest || !after?.contentDigest)
+        return "surface digest unknown";
+    if (before.contentDigest !== after.contentDigest)
+        return "surface content changed";
+    if (dependsOnRuntimeTree(requirement, before, after) && !runtimeTree) {
+        return "runtime tree changed or unknown";
+    }
+    const testsBefore = exercisers(previous.subject.surfaces, surface);
+    const testsAfter = exercisers(next.subject.surfaces, surface);
+    const key = (tests) => tests.map((test) => `${test.id}=${test.contentDigest ?? "unknown"}`).join("|");
+    if ([...testsBefore, ...testsAfter].some((test) => test.contentDigest === null) ||
+        key(testsBefore) !== key(testsAfter)) {
+        return "a test or proof surface exercising the surface changed";
+    }
+    return null;
+}
+/**
+ * Proof surfaces that exercise `surface`: a test without an `exercises` list exercises everything;
+ * a proof-infrastructure surface counts where it names the surface.
+ */
+function exercisers(surfaces, surface) {
+    return surfaces
+        .filter((entry) => (entry.role === "test" &&
+        (entry.exercises === null || entry.exercises.includes(surface))) ||
+        (entry.role === "proof-infrastructure" &&
+            entry.exercises !== null &&
+            entry.exercises.includes(surface)))
+        .sort((left, right) => compareOrdinal(left.id, right.id));
+}
+//# sourceMappingURL=carry-over.js.map

package/dist/proof-planner/carry-over.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"carry-over.js","sourceRoot":"","sources":["../../src/proof-planner/carry-over.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAwB,YAAY,EAAE,MAAM,YAAY,CAAC;AAChF,OAAO,EAGL,kBAAkB,GAGnB,MAAM,WAAW,CAAC;AAqBnB,MAAM,UAAU,iBAAiB,CAAC,QAAuB,EAAE,IAAmB;IAC5E,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzE,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzE,MAAM,WAAW,GAAG,eAAe,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACpD,6FAA6F;IAC7F,4FAA4F;IAC5F,gGAAgG;IAChG,sFAAsF;IACtF,MAAM,kBAAkB,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG;QACjB,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,kBAAkB,CAAC;QAC3C,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CACpB,CAAC,MAAM,EAAE,EAAE,CACT,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,IAAI,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CACxF;KACF,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5F,MAAM,YAAY,GAAG,CAAC,OAAsB,EAAiB,EAAE;QAC7D,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAChC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CACtF,CAAC;QACF,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC;YACxB,CAAC,CAAC,2BAA2B,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YAC1F,CAAC,CAAC,IAAI,CAAC;IACX,CAAC,CAAC;IACF,6EAA6E;IAC7E,MAAM,YAAY,GAAG,CACnB,WAAgC,EAChC,OAA4B,EAC5B,OAAsB,EACP,EAAE;QACjB,MAAM,IAAI,GAAG,kBAAkB,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;QAC9D,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,6CAA6C,CAAC;QAC3F,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC9C,CAAC,CAAC,wDAAwD;YAC1D,CAAC,CAAC,IAAI,CAAC;IACX,CAAC,CAAC;IAEF,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAChD,MAAM,OAAO,GAAG,QAAQ,CAAC,gBAAgB,CAAC,IAAI,CAC5C,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI;YACnC,SAAS,CAAC,cAAc,KAAK,WAAW,CAAC,cAAc,CAC1D,CAAC;QACF,MAAM,KAAK,GAAG,CAAC,QAAkB,EAAE,MAAc,EAAkB,EAAE,CAAC,CAAC;YACrE,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,OAAO,EAAE,WAAW,CAAC,OAAO;YAC5B,QAAQ,EAAE,YAAY,CAAC,QAAQ,CAAC;YAChC,MAAM;SACP,CAAC,CAAC;QACH,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,2CAA2C,CAAC,CAAC,CAAC;YAC3F,SAAS;QACX,CAAC;QACD,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,wBAAwB,CAAC,CAAC,CAAC;YACxE,SAAS;QACX,CAAC;QACD,IAAI,WAAW,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;YAC3C,MAAM,OAAO,GAAG,WAAW;gBACzB,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;gBAClE,CAAC,CAAC,iCAAiC,CAAC;YACtC,IAAI,OAAO,KAAK,IAAI;gBAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,wBAAwB,CAAC,CAAC,CAAC;;gBACtF,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,uFAAuF;QACvF,uFAAuF;QACvF,IAAI,WAAW,CAAC,OAAO,KAAK,gBAAgB,IAAI,WAAW,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClF,MAAM,OAAO,GAAG,CAAC,YAAY;gBAC3B,CAAC,CAAC,6BAA6B;gBAC/B,CAAC,CAAC,WAAW,CAAC,OAAO,KAAK,gBAAgB;oBACxC,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;YACvE,IAAI,OAAO,KAAK,IAAI;gBAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC;;gBAC7E,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC5C,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,QAAQ,EAAE,CAAC;YAC3C,MAAM,MAAM,GACV,mBAAmB,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,CAAC;gBAC/E,YAAY,CAAC,OAAO,CAAC;gBACrB,YAAY,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC9C,IAAI,MAAM,KAAK,IAAI;gBAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;;gBACnC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,2CAA2C,CAAC,CAAC,CAAC;QAC7F,KAAK,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,OAAO;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,IAAoB,EAAE,KAAqB,EAAE,EAAE,CAC5D,cAAc,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACjF,OAAO;QACL,gBAAgB,EAAE,QAAQ,CAAC,OAAO,CAAC,QAAQ;QAC3C,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ;QACnC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;QAC9B,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC;KACrC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,IAAmB,EAAE,MAA4B;IAC1E,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC3C,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACrE,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB;YAAE,OAAO,IAAI,CAAC;QAC9D,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,sBAAsB;YAAE,SAAS;QAC7E,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC1C,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,SAAS;YAAE,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,iGAAiG;AACjG,SAAS,iBAAiB,CACxB,QAAuB,EACvB,IAAmB,EACnB,MAA4B;IAE5B,MAAM,MAAM,GAAG,iBAAiB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC9C,iGAAiG;IACjG,OAAO,MAAM,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC;AACnF,CAAC;AAED,+EAA+E;AAC/E,SAAS,cAAc,CAAC,MAA4B;IAClD,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,MAAM,CAAC,EAAE;QACT,MAAM,CAAC,QAAQ;QACf,MAAM,CAAC,MAAM;QACb,MAAM,CAAC,cAAc;QACrB,MAAM,CAAC,SAAS;QAChB,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE;QACxB,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE;KAC5B,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,SAAS,kBAAkB,CACzB,IAAmB,EACnB,WAAgC,EAChC,OAAsB;IAEtB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,SAAS;QACzF,2FAA2F;QAC3F,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC;YAC9D,IAAI,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YACzB,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC9B,IAAI,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAAE,SAAS;YAC/E,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,QAAuB,EAAE,IAAmB;IACnE,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAC7C,OAAO,MAAM,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,KAAK,KAAK,CAAC;AAC/D,CAAC;AAED;;;;GAIG;AACH,SAAS,oBAAoB,CAC3B,WAAgC,EAChC,MAAmB,EACnB,KAAkB;IAElB,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,eAAe;QAC/B,KAAK,CAAC,IAAI,KAAK,eAAe;QAC9B,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,eAAe,CAAC,CACtE,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,QAAuB,EACvB,IAAmB,EACnB,WAAgC,EAChC,OAA4B,EAC5B,OAAe,EACf,WAAoB;IAEpB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,wBAAwB,CAAC;IACzE,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC;IAC/E,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC;IAC1E,IAAI,CAAC,MAAM,EAAE,aAAa,IAAI,CAAC,KAAK,EAAE,aAAa;QAAE,OAAO,wBAAwB,CAAC;IACrF,IAAI,MAAM,CAAC,aAAa,KAAK,KAAK,CAAC,aAAa;QAAE,OAAO,yBAAyB,CAAC;IACnF,IAAI,oBAAoB,CAAC,WAAW,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACrE,OAAO,iCAAiC,CAAC;IAC3C,CAAC;IACD,MAAM,WAAW,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC9D,MAAM,GAAG,GAAG,CAAC,KAAoB,EAAE,EAAE,CACnC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,aAAa,IAAI,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjF,IACE,CAAC,GAAG,WAAW,EAAE,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,KAAK,IAAI,CAAC;QAC3E,GAAG,CAAC,WAAW,CAAC,KAAK,GAAG,CAAC,UAAU,CAAC,EACpC,CAAC;QACD,OAAO,wDAAwD,CAAC;IAClE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,SAAS,UAAU,CAAC,QAAoC,EAAE,OAAe;IACvE,OAAO,QAAQ;SACZ,MAAM,CACL,CAAC,KAAK,EAAE,EAAE,CACR,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM;QACpB,CAAC,KAAK,CAAC,SAAS,KAAK,IAAI,IAAI,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;QAClE,CAAC,KAAK,CAAC,IAAI,KAAK,sBAAsB;YACpC,KAAK,CAAC,SAAS,KAAK,IAAI;YACxB,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CACvC;SACA,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAC9D,CAAC"}

package/dist/proof-planner/index.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Internal proof planner. It decides which evidence is proportionate for a change; AssertLedger
+ * decides whether that evidence exists and is valid. Deliberately not exported from the package
+ * entry points (see docs/proof-planner.md for the extraction criteria).
+ */
+export * from "./carry-over.js";
+export * from "./model.js";
+export * from "./plan.js";
+export * from "./policy.js";
+export * from "./render.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/proof-planner/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/proof-planner/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,cAAc,iBAAiB,CAAC;AAChC,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC"}

package/dist/proof-planner/index.js

@@ -0,0 +1,11 @@
+/**
+ * Internal proof planner. It decides which evidence is proportionate for a change; AssertLedger
+ * decides whether that evidence exists and is valid. Deliberately not exported from the package
+ * entry points (see docs/proof-planner.md for the extraction criteria).
+ */
+export * from "./carry-over.js";
+export * from "./model.js";
+export * from "./plan.js";
+export * from "./policy.js";
+export * from "./render.js";
+//# sourceMappingURL=index.js.map

package/dist/proof-planner/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/proof-planner/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,cAAc,iBAAiB,CAAC;AAChC,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC"}