kibi-cli 2.31.1 → 2.32.0

package/dist/cli-register-proof.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli-register-proof.d.ts","sourceRoot":"","sources":["../src/cli-register-proof.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAIzC,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CA2M3D;AAED;;;;GAIG;AAEH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAwBnE"}
+{"version":3,"file":"cli-register-proof.d.ts","sourceRoot":"","sources":["../src/cli-register-proof.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAIzC,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAsO3D;AAED;;;;GAIG;AAEH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAwBnE"}

package/dist/cli-register-proof.js

@@ -9,6 +9,8 @@ export function registerProofCommand(program) {
         .option("--integration <ids>", "Prove only tests bound to these integrations (comma-separated)")
         .option("--integration-except <ids>", "With --all (or another selector), skip tests bound to these integrations (comma-separated)")
         .option("--all", "Prove every proof-bearing test in the knowledge base")
+        .option("--stale", "Prove only the selected tests (all by default) without a current passing receipt")
+        .option("--resume", "Skip integrations an interrupted run with the same selector already ingested at this snapshot")
         .action(withExitCode(async (options) => {
         const mode = [
             options.test ? "test" : undefined,
@@ -32,6 +34,8 @@ export function registerProofCommand(program) {
                 ? {}
                 : { integrationExcept: options.integrationExcept }),
             all: mode === 0,
+            ...(options.stale ? { stale: true } : {}),
+            ...(options.resume ? { resume: true } : {}),
         });
     }));
     const proof = program
@@ -58,6 +62,21 @@ export function registerProofCommand(program) {
         process.stdout.write(renderInspection(result));
         return undefined;
     }));
+    proof
+        .command("run-steps")
+        .description("Run the declared steps of the proof-bearing tests kibi prove selected and write a per-test report, so a command integration fails only the tests whose own steps failed (use as the integration's command)")
+        .argument("[steps-file]", "JSON array of {test_id, steps: [[argv...]]}", "proof/steps.json")
+        .option("--test <id...>", "Run these tests' steps (default: KIBI_PROOF_TEST_IDS, else every test in the file)")
+        .action(withExitCode(async (stepsFile, options) => {
+        const { runProofSteps } = await import("./proof/step-runner.js");
+        return {
+            exitCode: await runProofSteps({
+                workspaceRoot: process.env.KIBI_PROOF_WORKSPACE ?? process.cwd(),
+                stepsPath: stepsFile,
+                ...(options.test === undefined ? {} : { testIds: options.test }),
+            }),
+        };
+    }));
     proof
         .command("explain")
         .description("Project one requirement or symbol proof, labeling required_proofs, executable_for, and covered_by separately")
@@ -75,13 +94,6 @@ export function registerProofCommand(program) {
             json: options.json === true,
         });
     }));
-    proof
-        .command("impact")
-        .description("Compare current proof state to HEAD:proof/baseline.json")
-        .option("--json", "Emit structured JSON", false)
-        .action(withExitCode(async (options) => {
-        return await (await import("./commands/proof-impact.js")).proofImpactCommand({ json: options.json === true });
-    }));
     proof
         .command("prune")
         .description("Shrink each test's proof_receipts history to its newest entries (re-proving the same snapshot appends duplicates; prune removes the superseded ones)")

package/dist/cli-register-reporting.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli-register-reporting.d.ts","sourceRoot":"","sources":["../src/cli-register-reporting.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAYzC,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CA+QhE"}
+{"version":3,"file":"cli-register-reporting.d.ts","sourceRoot":"","sources":["../src/cli-register-reporting.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAYzC,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAuRhE"}

package/dist/cli-register-reporting.js

@@ -43,6 +43,7 @@ export function registerReportingCommands(program) {
         .option("--open", "Open the generated report in the default browser", false)
         .option("--tag <tags>", "Comma-separated tag filter")
         .option("--limit <n>", "Maximum complete requirement rows (1-100000)", "10000")
+        .option("--certificates <file>", "Publish a kibi check --write-certificates bundle next to the report and link it")
         .action(async (options) => {
         await (await import("./commands/report.js")).reportCommand(options);
     });
@@ -120,6 +121,7 @@ export function registerReportingCommands(program) {
         .option("--min-links <n>", "Minimum number of links required for symbol coverage", "1")
         .option("--dry-run", "Do not modify files; only print what would happen")
         .option("--format <format>", "Output format: text|json", "text")
+        .option("--fresh-evidence", "evidence-floor judges receipts as they are (stale receipts fail) and needs a clean proof snapshot; run it after kibi prove")
         .option("--write-certificates <file>", "Also save the kibi.certificates.v1 bundle the kb-consistency rule re-checked")
         .option("--certificates <file>", "Only re-check a saved kibi.certificates.v1 bundle against the current KB with the independent checker")
         .action(withExitCode(async (options, command) => {

package/dist/commands/check.d.ts

@@ -9,6 +9,7 @@ export interface CheckOptions {
     minLinks?: string | number;
     dryRun?: boolean;
     format?: "text" | "json";
+    freshEvidence?: boolean;
 }
 export declare function requireActiveProlog<E, P>(engine: E | null | undefined, prolog: P | null | undefined): NonNullable<E | P>;
 export declare function checkCommand(options: CheckOptions): Promise<{

package/dist/commands/check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AAqCA,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAqF7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAE3D,YAAY,EAAE,SAAS,EAAE,CAAC;AAE1B,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;CAC1B;AA6hBD,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,CAAC,EACtC,MAAM,EAAE,CAAC,GAAG,IAAI,GAAG,SAAS,EAC5B,MAAM,EAAE,CAAC,GAAG,IAAI,GAAG,SAAS,GAC3B,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAMpB;AAGD,wBAAsB,YAAY,CAChC,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CA6rB/B;AAED,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAoDtB;AAID,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,MAAM,EAAE,CAAC,CAgBnB;AAED,wBAAsB,eAAe,CACnC,MAAM,EAAE,aAAa,EACrB,IAAI,CAAC,EAAE,MAAM,GACZ,OAAO,CAAC,MAAM,EAAE,CAAC,CAiBnB;AAED,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAkEtB;AAID,wBAAsB,aAAa,CACjC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAmGtB;AAED,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,EAAE,GACrB,OAAO,CAAC,SAAS,EAAE,CAAC,CAyCtB;AAED,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAgDtB;AAED,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CA0BtB;AAED,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAqBtB;AAED,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAqBtB;AAED,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAqBtB"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AAqCA,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAsF7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAE3D,YAAY,EAAE,SAAS,EAAE,CAAC;AAE1B,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,aAAa,CAAC,EAAE,OAAO,CAAC;CACzB;AA6hBD,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,CAAC,EACtC,MAAM,EAAE,CAAC,GAAG,IAAI,GAAG,SAAS,EAC5B,MAAM,EAAE,CAAC,GAAG,IAAI,GAAG,SAAS,GAC3B,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAMpB;AAGD,wBAAsB,YAAY,CAChC,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAqsB/B;AAED,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAoDtB;AAID,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,MAAM,EAAE,CAAC,CAgBnB;AAED,wBAAsB,eAAe,CACnC,MAAM,EAAE,aAAa,EACrB,IAAI,CAAC,EAAE,MAAM,GACZ,OAAO,CAAC,MAAM,EAAE,CAAC,CAiBnB;AAED,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAkEtB;AAID,wBAAsB,aAAa,CACjC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAmGtB;AAED,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,EAAE,GACrB,OAAO,CAAC,SAAS,EAAE,CAAC,CAyCtB;AAED,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAgDtB;AAED,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CA0BtB;AAED,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAqBtB;AAED,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAqBtB;AAED,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAqBtB"}

package/dist/commands/check.js

@@ -25,7 +25,8 @@ import { PrologProcess } from "../prolog.js";
 import { escapeAtom, normalizeEntityId, parseTriples, parseViolationRows, } from "../prolog/codec.js";
 import { createSemanticReviewDiagnostics, createSymbolGranularityDiagnostics, createSymbolQualityDiagnostics, hasBlockingImpactDiagnostics, } from "../public/impact-diagnostics.js";
 import { executeCheck } from "../public/operations/check-executor.js";
-import { nodeGit } from "../public/operations/node-ports.js";
+import { EVIDENCE_FLOOR_RULE } from "../public/operations/evidence-floor.js";
+import { nodeFilesystem, nodeGit } from "../public/operations/node-ports.js";
 import { refreshDetachedSnapshot } from "../runtime/detached-snapshot.js";
 import { amendsRootCommit } from "../traceability/commit-amend.js";
 import { KIBI_NO_IMPACT_DECLARATION, KIBI_SYMBOLS_MANIFEST_PATH, KIBI_SYMBOL_COORDINATES_PATH, } from "../traceability/evidence-model.js";
@@ -927,13 +928,18 @@ export async function checkCommand(options) {
             ?.split(",")
             .map((rule) => rule.trim())
             .filter((rule) => rule.length > 0);
-        const result = await executeCheck(rules === undefined ? {} : { rules }, {
+        const result = await executeCheck({
+            ...(rules === undefined ? {} : { rules }),
+            ...(options.freshEvidence === true ? { freshEvidence: true } : {}),
+        }, {
             workspaceRoot: process.cwd(),
             signal: new AbortController().signal,
             clock: () => new Date(),
-            // The workspace snapshot lets quality diagnostics read the same
-            // proof receipt evidence as kibi coverage.
+            // The workspace snapshot lets quality diagnostics and evidence-floor
+            // read the same proof receipt evidence as kibi coverage, with the
+            // same per-contract receipt binding.
             git: nodeGit,
+            fs: nodeFilesystem,
             prolog: {
                 query: (goal) => activeProlog.query(goal),
                 ...(activeProlog instanceof EngineClient
@@ -975,7 +981,10 @@ export async function checkCommand(options) {
                 console.log(`  Source: ${v.source}`);
             }
             console.log(`  ${v.description}`);
-            if (options.fix && v.suggestion) {
+            // An evidence-floor finding names no fix in its description; its
+            // suggestion carries the proof gaps and the tests and symbols behind
+            // them, so it is always shown.
+            if (v.suggestion && (options.fix || v.rule === EVIDENCE_FLOOR_RULE)) {
                 console.log(`  Suggestion: ${v.suggestion}`);
             }
             console.log();

package/dist/commands/discovery-table.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"discovery-table.d.ts","sourceRoot":"","sources":["../../src/commands/discovery-table.ts"],"names":[],"mappings":"AAIA,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAmCvE;AA4ED,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACzC,MAAM,CA+ER"}
+{"version":3,"file":"discovery-table.d.ts","sourceRoot":"","sources":["../../src/commands/discovery-table.ts"],"names":[],"mappings":"AAIA,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAmCvE;AA4ED,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACzC,MAAM,CAyGR"}

package/dist/commands/discovery-table.js

@@ -89,8 +89,30 @@ export function renderCoverageTable(payload) {
         colWidths: [24, 16],
         wordWrap: true,
     });
-    for (const [key, value] of Object.entries(summary)) {
-        summaryTable.push([key, summaryCell(value)]);
+    // Traceability counts (scenario/test links) and proof counts (receipt
+    // evidence) use similar names, e.g. notApplicable vs proofNotApplicable:
+    // group them so the two families read apart.
+    // Link coverage judges only priority: must requirements; say so in the
+    // heading rather than as a row.
+    const mustOnly = summary.linkCoverageScope === "priority_must";
+    const entries = Object.entries(summary).filter(([key]) => key !== "linkCoverageScope");
+    const isProofKey = (key) => key.startsWith("proof") ||
+        key === "evidenceLevels" ||
+        key === "evidenceFloors";
+    const groups = [
+        [
+            mustOnly ? "Links (priority: must)" : "Traceability (links)",
+            entries.filter(([key]) => !isProofKey(key)),
+        ],
+        ["Proof (evidence)", entries.filter(([key]) => isProofKey(key))],
+    ];
+    const grouped = groups.every(([, members]) => members.length > 0);
+    for (const [label, members] of groups) {
+        if (grouped)
+            summaryTable.push([label, ""]);
+        for (const [key, value] of members) {
+            summaryTable.push([grouped ? `  ${key}` : key, summaryCell(value)]);
+        }
     }
     const firstRow = firstFields(rows);
     const isRequirementCoverage = firstRow !== undefined && Object.hasOwn(firstRow, "scenarioCount");
@@ -104,13 +126,14 @@ export function renderCoverageTable(payload) {
                 "Depth",
                 "Proof",
                 "Evidence",
+                "Floor",
                 "Scen",
                 "Tests",
                 "Symbols",
                 "Structural gaps",
                 "Proof gaps",
             ],
-            colWidths: [20, 12, 12, 18, 36, 12, 12, 8, 8, 10, 24, 36],
+            colWidths: [20, 12, 12, 18, 36, 12, 12, 12, 8, 8, 10, 24, 36],
             wordWrap: true,
         })
         : new Table({
@@ -128,7 +151,8 @@ export function renderCoverageTable(payload) {
                 stringifyCell(item.coverageStatus),
                 stringifyCell(item.coverageDepth),
                 stringifyCell(item.proofStatus),
-                stringifyCell(item.evidenceLevel),
+                evidenceCell(item),
+                floorCell(item),
                 stringifyCell(item.scenarioCount),
                 stringifyCell(item.testCount),
                 stringifyCell(item.transitiveSymbolCount),
@@ -290,6 +314,29 @@ function stringifyCell(value) {
     }
     return String(value);
 }
+// implements REQ-kibi-claim-bound-proofs
+// The evidence level, with how many applicable claims a certificate proves.
+function evidenceCell(item) {
+    const level = stringifyCell(item.evidenceLevel);
+    const summary = item.claimSummary;
+    if (summary === null || typeof summary !== "object")
+        return level;
+    const { applicable, proved } = summary;
+    if (typeof applicable !== "number" || applicable === 0)
+        return level;
+    return `${level}\n${typeof proved === "number" ? proved : 0}/${applicable} claims proved`;
+}
+// implements REQ-kibi-evidence-floors
+// The evidence floor and whether the level reaches it; empty without a floor.
+function floorCell(item) {
+    const floor = item.evidenceFloor;
+    if (floor === null || typeof floor !== "object")
+        return "";
+    const { required, status } = floor;
+    if (typeof required !== "string" || required === "unverified")
+        return "";
+    return `${required} ${typeof status === "string" ? status.replaceAll("_", " ") : ""}`.trim();
+}
 // A nested summary count, such as evidenceLevels, reads as key=value pairs.
 function summaryCell(value) {
     if (value !== null && typeof value === "object" && !Array.isArray(value)) {

package/dist/commands/doctor.js

@@ -30,7 +30,7 @@ import { branchStoreCompilation, inspectBranchStore, storeLockTakeoverReason, un
 import { LEGACY_KB_MIGRATION_COMMAND, LEGACY_KB_MIGRATION_NOTE, } from "../utils/config.js";
 import { resolveGitRepository, } from "../utils/git-repository-context.js";
 import { readKbManifestStatus } from "../utils/kb-manifest.js";
-import { MERGE_DRIVER_SETUP, manifestMergeDriverGaps, } from "../utils/merge-driver-setup.js";
+import { manifestMergeDriverGaps, mergeDriverSetup, } from "../utils/merge-driver-setup.js";
 import { LATEST_KB_SCHEMA_VERSION } from "../utils/schema-version.js";
 import { KIBI_HOOK_BEGIN, hasManagedHooks, outdatedManagedHooks, } from "./init-helpers.js";
 import { planLegacyStorageMigration } from "./legacy-storage-migration.js";
@@ -447,14 +447,21 @@ function checkCapabilityPlugins() {
             ...new Set((config.plugins ?? []).map((plugin) => plugin.package)),
         ];
         const missingSecrets = [];
+        // Secrets whose plugin only augments a builtin provider: without them the
+        // plugin is skipped and the builtin keeps working, so doctor warns.
+        const optionalMissingSecrets = [];
         const legacySecrets = [];
         for (const packageName of packages) {
             const secrets = FIRST_PARTY_PLUGIN_SECRETS[packageName] ?? [];
             for (const secret of secrets) {
                 const source = formatSecretSourcePart(secret, bootstrap);
                 parts.push(`${secret}=${source}`);
-                if (source === "missing")
-                    missingSecrets.push(secret);
+                if (source === "missing") {
+                    const augmentOnly = rows
+                        .filter((row) => row.package === packageName)
+                        .every((row) => row.mode === "augment");
+                    (augmentOnly ? optionalMissingSecrets : missingSecrets).push(secret);
+                }
                 if (source === "legacy_env")
                     legacySecrets.push(secret);
             }
@@ -473,6 +480,14 @@ function checkCapabilityPlugins() {
                     : `Set missing plugin secret(s) (${missingSecrets.join(", ")}) in ~/.config/kibi/env or <workspace>/.env.kibi, then restart long-running Kibi MCP/host processes.`,
             };
         }
+        if (optionalMissingSecrets.length > 0) {
+            return {
+                passed: true,
+                warning: true,
+                message,
+                remediation: `${optionalMissingSecrets.join(", ")} is not set, so the augment-mode plugin is skipped and builtin providers answer alone. Set it in ~/.config/kibi/env or <workspace>/.env.kibi to enable the plugin, then restart long-running Kibi MCP/host processes.`,
+            };
+        }
         if (legacySecrets.length > 0) {
             return {
                 passed: true,
@@ -709,7 +724,7 @@ function checkManifestMergeDriver() {
         passed: true,
         warning: true,
         message: `Not configured: ${gaps.join("; ")}. Merges of .kb/symbols.yaml fall back to line conflicts.`,
-        remediation: MERGE_DRIVER_SETUP,
+        remediation: mergeDriverSetup(process.cwd()),
     };
 }
 /**

package/dist/commands/migrate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"migrate.d.ts","sourceRoot":"","sources":["../../src/commands/migrate.ts"],"names":[],"mappings":"AA+DA,OAAO,KAAK,EACV,eAAe,EAGhB,MAAM,wCAAwC,CAAC;AAwBhD,UAAU,cAAc;IACtB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,uFAAuF;IACvF,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,6EAA6E;IAC7E,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,qFAAqF;IACrF,uBAAuB,CAAC,EAAE,OAAO,CAAC;CACnC;AAED,MAAM,WAAW,oBAAoB;IACnC,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,uBAAuB,EAAE,SAAS,GAAG,WAAW,GAAG,gBAAgB,GAAG,IAAI,CAAC;IAC3E,MAAM,EAAE,SAAS,CAAC;IAClB,4BAA4B,EAAE,MAAM,CAAC;IACrC,8EAA8E;IAC9E,oBAAoB,EAAE,MAAM,CAAC;IAC7B,8DAA8D;IAC9D,4BAA4B,EAAE,MAAM,CAAC;IACrC,sEAAsE;IACtE,oBAAoB,EAAE,MAAM,CAAC;IAC7B,4FAA4F;IAC5F,kBAAkB,EAAE,MAAM,CAAC;IAC3B,wHAAwH;IACxH,oBAAoB,EAAE,MAAM,CAAC;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,oEAAoE;IACpE,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1B;AAED,iFAAiF;AACjF,MAAM,WAAW,mBAAmB;IAClC,kEAAkE;IAClE,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,oBAAoB,CAAC;IAC5B,0EAA0E;IAC1E,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAgJD,wBAAgB,mBAAmB,CACjC,gBAAgB,EAAE,OAAO,EACzB,UAAU,EAAE,MAAM,GAAG,IAAI,GACxB,MAAM,CAUR;AAwXD,wBAAgB,+BAA+B,IAAI;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAKtE;AAGD,wBAAsB,cAAc,CAClC,OAAO,GAAE,cAAmB,GAC3B,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,mBAAmB,CAAA;CAAE,CAAC,CAsd9D;AAED;;;;GAIG;AAEH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,mBAAmB,GAAG,MAAM,CAGzE;AA0XD;;;;;GAKG;AAEH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,IAAI,CAAC,eAAe,EAAE,MAAM,CAAC,GACpC,OAAO,CAOT"}
+{"version":3,"file":"migrate.d.ts","sourceRoot":"","sources":["../../src/commands/migrate.ts"],"names":[],"mappings":"AAgEA,OAAO,KAAK,EACV,eAAe,EAGhB,MAAM,wCAAwC,CAAC;AAwBhD,UAAU,cAAc;IACtB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,uFAAuF;IACvF,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,6EAA6E;IAC7E,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,qFAAqF;IACrF,uBAAuB,CAAC,EAAE,OAAO,CAAC;CACnC;AAED,MAAM,WAAW,oBAAoB;IACnC,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,uBAAuB,EAAE,SAAS,GAAG,WAAW,GAAG,gBAAgB,GAAG,IAAI,CAAC;IAC3E,MAAM,EAAE,SAAS,CAAC;IAClB,4BAA4B,EAAE,MAAM,CAAC;IACrC,8EAA8E;IAC9E,oBAAoB,EAAE,MAAM,CAAC;IAC7B,8DAA8D;IAC9D,4BAA4B,EAAE,MAAM,CAAC;IACrC,sEAAsE;IACtE,oBAAoB,EAAE,MAAM,CAAC;IAC7B,4FAA4F;IAC5F,kBAAkB,EAAE,MAAM,CAAC;IAC3B,wHAAwH;IACxH,oBAAoB,EAAE,MAAM,CAAC;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,oEAAoE;IACpE,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1B;AAED,iFAAiF;AACjF,MAAM,WAAW,mBAAmB;IAClC,kEAAkE;IAClE,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,oBAAoB,CAAC;IAC5B,0EAA0E;IAC1E,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAkLD,wBAAgB,mBAAmB,CACjC,gBAAgB,EAAE,OAAO,EACzB,UAAU,EAAE,MAAM,GAAG,IAAI,GACxB,MAAM,CAUR;AAwXD,wBAAgB,+BAA+B,IAAI;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAKtE;AAGD,wBAAsB,cAAc,CAClC,OAAO,GAAE,cAAmB,GAC3B,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,mBAAmB,CAAA;CAAE,CAAC,CAmiB9D;AAED;;;;GAIG;AAEH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,mBAAmB,GAAG,MAAM,CAGzE;AA8YD;;;;;GAKG;AAEH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,IAAI,CAAC,eAAe,EAAE,MAAM,CAAC,GACpC,OAAO,CAOT"}

package/dist/commands/migrate.js

@@ -29,7 +29,7 @@ import { applySymbolLegacyLinks, planSymbolLegacyLinks, } from "../operations/mi
 import { resolveBranchAttachment } from "../utils/branch-resolver.js";
 import { defaultKbManifest, readKbManifest, readKbManifestStatus, writeKbManifest, } from "../utils/kb-manifest.js";
 import { CANONICAL_ENTITY_PATHS } from "../utils/kb-paths.js";
-import { MERGE_DRIVER_SETUP, manifestMergeDriverGaps, } from "../utils/merge-driver-setup.js";
+import { manifestMergeDriverGaps, mergeDriverSetup, } from "../utils/merge-driver-setup.js";
 import { LATEST_KB_SCHEMA_VERSION, getSchemaVersionStatus, normalizeSchemaVersion, } from "../utils/schema-version.js";
 import { updateGitIgnore } from "./init-helpers.js";
 import { applyLegacyStorageMigration, planLegacyStorageMigration, } from "./legacy-storage-migration.js";
@@ -95,6 +95,18 @@ const SCHEMA_MIGRATION_STEPS = [
         to: 10,
         description: "Read a requirement or ADR without firmness as firm unless an agent wrote it, and acknowledge in the manifest the supersedes of such decisions recorded before; no source file is rewritten and no firmness is written.",
     },
+    {
+        id: "evidence-floor-v11",
+        from: 10,
+        to: 11,
+        description: "Check every current requirement's evidence level against its floor (required_evidence, else tested when firm), and record required_evidence: asserted on current firm requirements that have no scenario verified by a test with a proof contract; front matter only.",
+    },
+    {
+        id: "claim-bound-proofs-v12",
+        from: 11,
+        to: 12,
+        description: "Require every certificate-kind proof contract to name the requirement claims it proves, and pin proves on contracts whose test reaches exactly one claim the proof kind can derive an obligation for; front matter only. Other contracts are listed for a person to bind.",
+    },
 ];
 function migrationStepsFor(fromVersion) {
     const start = Math.max(0, fromVersion ?? 0);
@@ -103,6 +115,17 @@ function migrationStepsFor(fromVersion) {
 function printWarning(message) {
     console.log(`Warning: ${message}`);
 }
+function printClaimBindingReview(plan, noStore, dryRun) {
+    const prefix = dryRun ? "dry run: " : "";
+    if (noStore)
+        console.log(`${prefix}no synced store could be read, so no proof_contract.proves was pinned; run kibi sync and rerun kibi migrate, or add proves by hand where kibi check --rules proof-contract-claims reports a contract.`);
+    for (const row of plan.review)
+        console.log(row.candidates.length === 0
+            ? `${prefix}${row.id} (${row.kind}) reaches no claim ${/^[aeiou]/.test(row.kind) ? "an" : "a"} ${row.kind} certificate can derive an obligation for; add proves with the claim it establishes (it will be attested, not proved) or model the claim's fact as a ${row.kind === "exhaustive" || row.kind === "typecheck" ? "set" : "numeric"} fact.`
+            : `${prefix}${row.id} (${row.kind}) could prove any of ${row.candidates.join(", ")}; add proof_contract.proves with the ones its certificate establishes.`);
+    for (const skip of plan.skipped)
+        printWarning(`Cannot pin proves on ${skip.path}: ${skip.reason}.`);
+}
 function toRelativePath(cwd, filePath) {
     const relativePath = path.relative(cwd, filePath);
     return relativePath.length > 0 ? relativePath : path.basename(filePath);
@@ -540,6 +563,18 @@ export async function migrateCommand(options = {}) {
     const bodyContextStep = migrationSteps.some((step) => step.id === "entity-body-context-v8");
     const decisionFirmnessStep = migrationSteps.some((step) => step.id === "decision-firmness-v9");
     const firmnessFromOriginStep = migrationSteps.some((step) => step.id === "firmness-from-origin-v10");
+    const evidenceFloorStep = migrationSteps.some((step) => step.id === "evidence-floor-v11");
+    const { applyEvidenceFloorPins, planEvidenceFloorPins, readLadderFloorVerdicts, } = await import("../operations/migration/evidence-floor.js");
+    // Read before any source rewrite: the store still holds the KB as it was,
+    // and the floors are judged by the same ladder kibi check applies.
+    const ladderFloors = evidenceFloorStep
+        ? await readLadderFloorVerdicts(cwd)
+        : null;
+    const claimBindingStep = migrationSteps.some((step) => step.id === "claim-bound-proofs-v12");
+    const { applyProofContractClaimPins, planProofContractClaimPins, readProofContractClaimCandidates, } = await import("../operations/migration/proof-contract-claims.js");
+    const claimCandidates = claimBindingStep
+        ? await readProofContractClaimCandidates(cwd)
+        : null;
     const { mergeSupersedesAcknowledgements, planSupersedesReasonAcknowledgement, } = await import("../operations/migration/supersedes-reason.js");
     const { mergeFirmSupersedeAcknowledgements, planFirmSupersedeAcknowledgement, } = await import("../operations/migration/firm-supersede.js");
     const { acknowledgedContextIds, applyContextMissingTags, applySemanticTextPins, countByType, planContextMissingTags, planSemanticTextPins, } = await import("../operations/migration/entity-body-context.js");
@@ -568,6 +603,23 @@ export async function migrateCommand(options = {}) {
             if (firmEdges.length > 0)
                 console.log(`dry run: would acknowledge ${firmEdges.length} supersede(s) of decisions that read as firm from schema 10 (manifest only; no firmness is written).`);
         }
+        if (evidenceFloorStep) {
+            const floors = planEvidenceFloorPins(cwd, ladderFloors);
+            if (floors.targets.length > 0)
+                console.log(`dry run: would record required_evidence: asserted on ${floors.targets.length} current firm requirement(s) whose evidence is below tested (front matter only).`);
+            if (floors.kept.length > 0)
+                console.log(floors.decidedBy === "ladder"
+                    ? `dry run: ${floors.kept.length} firm requirement(s) keep the tested floor (${floors.kept.join(", ")}); the evidence ladder on the synced store accepts each, or needs only kibi prove re-run.`
+                    : `dry run: ${floors.kept.length} firm requirement(s) keep the tested floor (${floors.kept.join(", ")}) because their latest end-to-end receipt passed; no synced store could be read, so other proof gaps were not judged. Run kibi sync and rerun the dry run for the ladder's verdict.`);
+            for (const skip of floors.skipped)
+                printWarning(`Cannot edit ${skip.path}: ${skip.reason}.`);
+        }
+        if (claimBindingStep) {
+            const claims = planProofContractClaimPins(cwd, claimCandidates);
+            if (claims.targets.length > 0)
+                console.log(`dry run: would pin proof_contract.proves on ${claims.targets.length} certificate test(s) whose test reaches exactly one provable claim (${claims.targets.map((target) => target.id).join(", ")}); front matter only.`);
+            printClaimBindingReview(claims, claimCandidates === null, true);
+        }
         if (storagePlan.moves.length > 0) {
             console.log(`dry run: would move ${storagePlan.moves.length} legacy knowledge file(s) into .kb/:`);
             for (const move of storagePlan.moves) {
@@ -655,6 +707,15 @@ export async function migrateCommand(options = {}) {
     const firmSupersedes = firmnessFromOriginStep
         ? planFirmSupersedeAcknowledgement(cwd)
         : [];
+    const evidenceFloorPlan = evidenceFloorStep
+        ? planEvidenceFloorPins(cwd, ladderFloors)
+        : null;
+    const evidenceFloorsPinned = evidenceFloorStep
+        ? applyEvidenceFloorPins(cwd, ladderFloors)
+        : 0;
+    const claimPins = claimBindingStep
+        ? applyProofContractClaimPins(cwd, claimCandidates)
+        : null;
     const existingManifest = readKbManifest(cwd) ?? defaultKbManifest();
     writeKbManifest(cwd, {
         ...existingManifest,
@@ -685,6 +746,19 @@ export async function migrateCommand(options = {}) {
         console.log(`Acknowledged ${supersedesUnexplained.length} supersede(s) recorded without a 'Why this changed' section; new supersedes must explain themselves.`);
     if (firmSupersedes.length > 0)
         console.log(`Acknowledged ${firmSupersedes.length} supersede(s) of decisions without firmness that read as firm from schema 10; a new replacement of such a decision must be firm.`);
+    if (evidenceFloorsPinned > 0)
+        console.log(`Recorded required_evidence: asserted on ${evidenceFloorsPinned} current firm requirement(s) whose evidence is below tested; raise it to tested once the requirement has an end-to-end proof.`);
+    if ((evidenceFloorPlan?.kept.length ?? 0) > 0)
+        console.log(evidenceFloorPlan?.decidedBy === "ladder"
+            ? `${evidenceFloorPlan?.kept.length} firm requirement(s) keep the tested floor; the evidence ladder accepts each, or needs only kibi prove re-run (kibi check --fresh-evidence lists those).`
+            : `${evidenceFloorPlan?.kept.length} firm requirement(s) keep the tested floor because their latest end-to-end receipt passed; no synced store could be read, so run kibi sync and kibi check --rules evidence-floor to list any whose proof has other gaps (kibi proof explain <id> names them).`);
+    for (const skip of evidenceFloorPlan?.skipped ?? [])
+        printWarning(`Cannot record required_evidence on ${skip.path}: ${skip.reason}.`);
+    if (claimPins !== null) {
+        if (claimPins.targets.length > 0)
+            console.log(`Pinned proof_contract.proves on ${claimPins.targets.length} certificate test(s) (${claimPins.targets.map((target) => target.id).join(", ")}); run kibi prove for them so their receipts bind the claim.`);
+        printClaimBindingReview(claimPins, claimCandidates === null, false);
+    }
     await refreshMigratedSymbolCoordinates(cwd, generatedManifestsBefore);
     const auditRecord = buildMigrationAuditRecord({
         branch,
@@ -722,7 +796,7 @@ export async function migrateCommand(options = {}) {
         console.log("Migration complete. Future 'kibi migrate' runs will be a no-op.");
     const mergeDriverGaps = manifestMergeDriverGaps(cwd);
     if (mergeDriverGaps !== null && mergeDriverGaps.length > 0) {
-        console.log(`Tip: kibi merge-driver resolves .kb/symbols.yaml merges by record id, but it is not wired up (${mergeDriverGaps.join("; ")}). ${MERGE_DRIVER_SETUP}`);
+        console.log(`Tip: kibi merge-driver resolves .kb/symbols.yaml merges by record id, but it is not wired up (${mergeDriverGaps.join("; ")}). ${mergeDriverSetup(cwd)}`);
     }
     const gitignoreUpdated = updateGitIgnore(cwd);
     return {
@@ -770,9 +844,21 @@ async function buildWorkspaceMigrationPlan(workspaceRoot = process.cwd()) {
     const currentSchemaVersion = status?.schemaStatus?.currentVersion ??
         readKbManifest(workspaceRoot)?.schemaVersion ??
         null;
+    const { EVIDENCE_FLOOR_SCHEMA_VERSION } = await import("../public/operations/evidence-floor.js");
+    const { readLadderFloorVerdicts } = await import("../operations/migration/evidence-floor.js");
+    const { CLAIM_BINDING_SCHEMA_VERSION } = await import("../public/operations/proof-contract-claims.js");
+    const { readProofContractClaimCandidates } = await import("../operations/migration/proof-contract-claims.js");
     const fragment = buildSchema6MigrationFragment({
         workspaceRoot,
         currentSchemaVersion,
+        ladderFloors: currentSchemaVersion === null ||
+            currentSchemaVersion < EVIDENCE_FLOOR_SCHEMA_VERSION
+            ? await readLadderFloorVerdicts(workspaceRoot)
+            : null,
+        claimCandidates: currentSchemaVersion === null ||
+            currentSchemaVersion < CLAIM_BINDING_SCHEMA_VERSION
+            ? await readProofContractClaimCandidates(workspaceRoot)
+            : null,
     });
     const fragmentActions = [...fragment.actions];
     const statusActions = status?.migrationPlan?.actions ?? [];
@@ -944,7 +1030,7 @@ function printApplySummary(content) {
     }
     const remaining = result.remainingPlan;
     if (remaining !== undefined) {
-        const ready = remaining.automaticActions.filter((action) => action.state === "ready" && action.autoApplicable).length;
+        const ready = remaining.automaticSummary.ready;
         console.log(`Remaining plan ${remaining.planHash}: ${remaining.status}; actions: ${remaining.summary.actionCount}; automatic-ready: ${ready}`);
     }
     console.log("Run 'kibi migrate' for the remaining actions, or add --format json for the full result.");

package/dist/commands/prove.d.ts

@@ -1,7 +1,7 @@
 import { executeIngestProof } from "../operations/proof/ingest-proof.js";
 import { type ProofRunAttribution } from "../proof/command-test-report.js";
 import type { ProofIntegration } from "../proof/integrations.js";
-import type { OperationRuntime } from "../public/operations/runtime-types.js";
+import type { OperationContext, OperationRuntime } from "../public/operations/runtime-types.js";
 import { readWorkspaceSnapshot } from "../public/operations/workspace-snapshot.js";
 import { type ProofRunArtifact } from "../public/proof-protocol.js";
 export type ProveCommandOptions = Readonly<{
@@ -10,6 +10,10 @@ export type ProveCommandOptions = Readonly<{
     integration?: string;
     integrationExcept?: string;
     all?: boolean;
+    /** Keep only selected tests without a current passing receipt. */
+    stale?: boolean;
+    /** Skip integrations an interrupted run already ingested at this snapshot. */
+    resume?: boolean;
     workspaceRoot?: string;
 }>;
 export type ProveCommandDependencies = Readonly<{
@@ -31,10 +35,53 @@ export declare function describeWorkspaceDrift(snapshot: Awaited<ReturnType<type
  */
 export declare function parseIntegrationSelector(value: string | undefined, flagName: string): Set<string>;
 export declare function testId(test: SelectedTest): string;
+/** Run a proof integration's command and resolve with its exit code. */
+export declare function runChild(commandArgv: readonly string[], cwd: string, env: NodeJS.ProcessEnv): Promise<number>;
 export declare function commandEnvironment(integration: ProofIntegration, commandArgv: readonly string[], snapshot: string, workspaceRoot: string, testIds: readonly string[], outputPath: string): NodeJS.ProcessEnv;
+/** Where `kibi prove` records which integrations it has ingested. */
+export declare const PROVE_PROGRESS_FILE = "prove-progress.json";
+type ProveProgress = {
+    version: "kibi.prove-progress.v1";
+    snapshot: string;
+    /** Integration id to the test ids whose receipts it wrote. */
+    ingested: Record<string, string[]>;
+};
+/** Read the progress file; anything unreadable counts as no progress. */
+export declare function readProveProgress(runsDir: string): Promise<ProveProgress | null>;
+/**
+ * Integrations a resumed run can skip: ingested at the same snapshot, for
+ * every test this run selects for them.
+ */
+export declare function resumableIntegrations(progress: ProveProgress | null, snapshot: string, groups: ReadonlyMap<string, readonly SelectedTest[]>): Set<string>;
+/**
+ * Narrow a Playwright integration's command to the spec files the selected
+ * tests are bound to, so `kibi prove --test X` runs X's specs instead of the
+ * whole suite. Only a direct `playwright test` invocation is narrowed, and
+ * only when every selected test names its `proof_bindings[].source_file`;
+ * otherwise the command runs unchanged and the reason says why.
+ */
+export declare function narrowedPlaywrightCommand(command: readonly string[], tests: readonly SelectedTest[]): {
+    argv: string[];
+    narrowed: boolean;
+    reason?: string;
+};
+/**
+ * Receipt state per proof-bearing test under the binding mode reports use.
+ * `passed` means the test already has a current passing receipt; anything
+ * else (missing, stale, contract_mismatch, invalid, failed) needs a run.
+ */
+export declare function readTestReceiptStates(context: OperationContext): Promise<ReadonlyMap<string, string>>;
 export declare function proveCommand(options: ProveCommandOptions, deps?: ProveCommandDependencies): Promise<{
     exitCode: number;
 }>;
+/** Read every certificate a run left in its certificate directory. */
+export declare function readCertificateDir(directory: string): Promise<Record<string, unknown>[]>;
+/**
+ * Give each artifact the certificates of its own tests, so a partition is
+ * never evaluated against another test's certificate. A test may leave at
+ * most one certificate per run.
+ */
+export declare function attachCertificates(evaluated: EvaluatedRun, certificates: readonly Record<string, unknown>[]): EvaluatedRun;
 /** The artifacts one integration run is evaluated through. */
 export type EvaluatedRun = Readonly<{
     /** Each artifact is ingested against exactly its own tests. */

package/dist/commands/prove.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"prove.d.ts","sourceRoot":"","sources":["../../src/commands/prove.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAEzE,OAAO,EAIL,KAAK,mBAAmB,EAGzB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AASjE,OAAO,KAAK,EAEV,gBAAgB,EACjB,MAAM,uCAAuC,CAAC;AAE/C,OAAO,EAAE,qBAAqB,EAAE,MAAM,4CAA4C,CAAC;AACnF,OAAO,EAIL,KAAK,gBAAgB,EAGtB,MAAM,6BAA6B,CAAC;AAIrC,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC,CAAC;AAGH,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC9C,OAAO,CAAC,EAAE,gBAAgB,CAAC;IAC3B,WAAW,CAAC,EAAE,OAAO,kBAAkB,CAAC;CACzC,CAAC,CAAC;AAEH,KAAK,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAE5C;;;;;GAKG;AAEH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC,OAAO,qBAAqB,CAAC,CAAC,GAC1D,MAAM,CAiBR;AAED;;;;GAIG;AAEH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,QAAQ,EAAE,MAAM,GACf,GAAG,CAAC,MAAM,CAAC,CAUb;AAQD,wBAAgB,MAAM,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CAEjD;AAkCD,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,gBAAgB,EAC7B,WAAW,EAAE,SAAS,MAAM,EAAE,EAC9B,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,UAAU,EAAE,MAAM,GACjB,MAAM,CAAC,UAAU,CAWnB;AAsKD,wBAAsB,YAAY,CAChC,OAAO,EAAE,mBAAmB,EAC5B,IAAI,GAAE,wBAA6B,GAClC,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAuP/B;AAED,8DAA8D;AAE9D,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,+DAA+D;IAC/D,SAAS,EAAE,SAAS,QAAQ,CAAC;QAC3B,QAAQ,EAAE,gBAAgB,CAAC;QAC3B,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;KAC5B,CAAC,EAAE,CAAC;IACL,qEAAqE;IACrE,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B,WAAW,CAAC,EAAE,mBAAmB,CAAC;CACnC,CAAC,CAAC;AAEH,8EAA8E;AAE9E,wBAAsB,sBAAsB,CAC1C,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,SAAS,MAAM,EAAE,EAClC,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,mBAAmB,CAAC,CAsB9B;AAED,+EAA+E;AAE/E,wBAAgB,qBAAqB,CACnC,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,MAAM,GACd,MAAM,CAKR;AAMD;;;;;;;;;;GAUG;AAEH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE;IAC9C,WAAW,EAAE,gBAAgB,CAAC;IAC9B,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IAC/B,WAAW,EAAE,mBAAmB,CAAC;CAClC,GAAG,YAAY,CAuFf"}
+{"version":3,"file":"prove.d.ts","sourceRoot":"","sources":["../../src/commands/prove.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAEzE,OAAO,EAIL,KAAK,mBAAmB,EAGzB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAajE,OAAO,KAAK,EACV,gBAAgB,EAChB,gBAAgB,EACjB,MAAM,uCAAuC,CAAC;AAM/C,OAAO,EAAE,qBAAqB,EAAE,MAAM,4CAA4C,CAAC;AAEnF,OAAO,EAIL,KAAK,gBAAgB,EAGtB,MAAM,6BAA6B,CAAC;AAKrC,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,kEAAkE;IAClE,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,8EAA8E;IAC9E,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC,CAAC;AAGH,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC9C,OAAO,CAAC,EAAE,gBAAgB,CAAC;IAC3B,WAAW,CAAC,EAAE,OAAO,kBAAkB,CAAC;CACzC,CAAC,CAAC;AAEH,KAAK,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAE5C;;;;;GAKG;AAEH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC,OAAO,qBAAqB,CAAC,CAAC,GAC1D,MAAM,CAiBR;AAED;;;;GAIG;AAEH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,QAAQ,EAAE,MAAM,GACf,GAAG,CAAC,MAAM,CAAC,CAUb;AAQD,wBAAgB,MAAM,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CAEjD;AAaD,wEAAwE;AAExE,wBAAsB,QAAQ,CAC5B,WAAW,EAAE,SAAS,MAAM,EAAE,EAC9B,GAAG,EAAE,MAAM,EACX,GAAG,EAAE,MAAM,CAAC,UAAU,GACrB,OAAO,CAAC,MAAM,CAAC,CA8CjB;AAGD,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,gBAAgB,EAC7B,WAAW,EAAE,SAAS,MAAM,EAAE,EAC9B,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,UAAU,EAAE,MAAM,GACjB,MAAM,CAAC,UAAU,CAWnB;AAED,qEAAqE;AACrE,eAAO,MAAM,mBAAmB,wBAAwB,CAAC;AAEzD,KAAK,aAAa,GAAG;IACnB,OAAO,EAAE,wBAAwB,CAAC;IAClC,QAAQ,EAAE,MAAM,CAAC;IACjB,8DAA8D;IAC9D,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CACpC,CAAC;AAEF,yEAAyE;AACzE,wBAAsB,iBAAiB,CACrC,OAAO,EAAE,MAAM,GACd,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC,CAgB/B;AAcD;;;GAGG;AACH,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,aAAa,GAAG,IAAI,EAC9B,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC,GACnD,GAAG,CAAC,MAAM,CAAC,CASb;AAED;;;;;;GAMG;AAEH,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,KAAK,EAAE,SAAS,YAAY,EAAE,GAC7B;IAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAyBxD;AA8ED;;;;GAIG;AAEH,wBAAsB,qBAAqB,CACzC,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAiBtC;AA2ID,wBAAsB,YAAY,CAChC,OAAO,EAAE,mBAAmB,EAC5B,IAAI,GAAE,wBAA6B,GAClC,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAwV/B;AAED,sEAAsE;AAEtE,wBAAsB,kBAAkB,CACtC,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,CAoBpC;AAED;;;;GAIG;AAEH,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,YAAY,EACvB,YAAY,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GAC/C,YAAY,CAsCd;AAED,8DAA8D;AAE9D,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,+DAA+D;IAC/D,SAAS,EAAE,SAAS,QAAQ,CAAC;QAC3B,QAAQ,EAAE,gBAAgB,CAAC;QAC3B,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;KAC5B,CAAC,EAAE,CAAC;IACL,qEAAqE;IACrE,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B,WAAW,CAAC,EAAE,mBAAmB,CAAC;CACnC,CAAC,CAAC;AAEH,8EAA8E;AAE9E,wBAAsB,sBAAsB,CAC1C,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,SAAS,MAAM,EAAE,EAClC,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,mBAAmB,CAAC,CAsB9B;AAED,+EAA+E;AAE/E,wBAAgB,qBAAqB,CACnC,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,MAAM,GACd,MAAM,CAKR;AAMD;;;;;;;;;;GAUG;AAEH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE;IAC9C,WAAW,EAAE,gBAAgB,CAAC;IAC9B,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IAC/B,WAAW,EAAE,mBAAmB,CAAC;CAClC,GAAG,YAAY,CAuFf"}