kibi-cli 0.19.0 → 2.0.0

package/dist/proof/producers/playwright-reporter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"playwright-reporter.d.ts","sourceRoot":"","sources":["../../../src/proof/producers/playwright-reporter.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,iBAAiB,EAIlB,MAAM,gCAAgC,CAAC;AAOxC,OAAO,EAAE,iBAAiB,EAAE,CAAC;AAG7B,MAAM,MAAM,6BAA6B,GAAG,QAAQ,CAAC;IACnD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC;CAClB,CAAC,CAAC;AAwCH;;;;;GAKG;AACH,qBAAa,sBAAsB;IACjC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAgC;IACxD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAkC;IAC1D,OAAO,CAAC,SAAS,CAAS;gBAEd,OAAO,GAAE,6BAAkC;IAMvD,OAAO,IAAI,IAAI;IAKf,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,GAAG,IAAI;IAoDzC,KAAK,CAAC,MAAM,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;CAkC7C;AAED,eAAe,sBAAsB,CAAC"}

package/dist/proof/producers/playwright-reporter.js

@@ -0,0 +1,138 @@
+import { mkdir, writeFile } from "node:fs/promises";
+import path from "node:path";
+import { PROOF_RUN_VERSION, } from "../../public/proof-protocol.js";
+import { normalizePlaywrightSourceFile, playwrightCaseId, } from "./playwright-case-id.js";
+// implements REQ-kibi-proof-evidence-protocol
+export { PROOF_RUN_VERSION };
+function outputPath(options) {
+    const configured = options.outputPath ?? process.env.KIBI_PROOF_OUTPUT;
+    if (!configured)
+        throw new Error("KIBI_PROOF_OUTPUT is required");
+    return path.resolve(configured);
+}
+function titlePath(test) {
+    const candidate = test;
+    const value = candidate.titlePath?.();
+    return Array.isArray(value) ? value.map(String).filter(Boolean) : [];
+}
+function sourceLocation(test) {
+    const location = test
+        .location;
+    return {
+        file: typeof location?.file === "string" ? location.file : "unknown",
+        line: Number.isInteger(location?.line) ? Number(location?.line) : 1,
+    };
+}
+function targetName(test, result) {
+    const project = test.project?.();
+    if (typeof project?.name === "string" && project.name)
+        return project.name;
+    const resultProject = result.projectName;
+    return typeof resultProject === "string" && resultProject
+        ? resultProject
+        : "default";
+}
+function environment() {
+    return {
+        os: process.platform,
+        arch: process.arch,
+        runtime: { name: "node", version: process.version },
+    };
+}
+/**
+ * First-party Playwright producer. It reports what happened as a
+ * kibi.proof-run.v1 artifact with complete attempt history; Kibi evaluates
+ * proof obligations and policies. Structural callback surface only — no
+ * Playwright dependency.
+ */
+export class KibiPlaywrightProducer {
+    options;
+    results = new Map();
+    startedAt;
+    constructor(options = {}) {
+        this.options = options;
+        this.startedAt = (options.now ?? (() => new Date()))().toISOString();
+    }
+    // implements REQ-kibi-proof-evidence-protocol
+    onBegin() {
+        this.startedAt = (this.options.now ?? (() => new Date()))().toISOString();
+    }
+    // implements REQ-kibi-proof-evidence-protocol
+    onTestEnd(test, result) {
+        const resultValue = result;
+        const titles = titlePath(test);
+        const title = titles.join(" > ");
+        const status = resultValue.status;
+        const attempt = {
+            outcome: status === "passed"
+                ? "passed"
+                : status === "timedOut"
+                    ? "timed_out"
+                    : status === "skipped"
+                        ? "skipped"
+                        : status === "interrupted"
+                            ? "interrupted"
+                            : "failed",
+            ...(Number.isInteger(resultValue.duration)
+                ? { duration_ms: Number(resultValue.duration) }
+                : {}),
+        };
+        const location = sourceLocation(test);
+        const sourceFile = normalizePlaywrightSourceFile(location.file, this.options.workspaceRoot ?? process.cwd());
+        const symbol_id = playwrightCaseId(sourceFile, title);
+        const target = targetName(test, result);
+        const key = `${target}\0${symbol_id}`;
+        const existing = this.results.get(key);
+        if (existing && existing.attempts.status === "complete") {
+            this.results.set(key, {
+                ...existing,
+                attempts: {
+                    status: "complete",
+                    entries: [...existing.attempts.entries, attempt],
+                },
+            });
+            return;
+        }
+        this.results.set(key, {
+            symbol_id,
+            target,
+            outcome: attempt.outcome,
+            binding: "native_case",
+            attempts: { status: "complete", entries: [attempt] },
+        });
+    }
+    // implements REQ-kibi-proof-evidence-protocol
+    async onEnd(result) {
+        const now = this.options.now ?? (() => new Date());
+        const status = result?.status;
+        const commandArgv = this.options.commandArgv ??
+            (process.env.KIBI_PROOF_COMMAND_ARGV
+                ? JSON.parse(process.env.KIBI_PROOF_COMMAND_ARGV)
+                : []);
+        const artifact = {
+            version: PROOF_RUN_VERSION,
+            producer: { name: "kibi-playwright-producer" },
+            executor: { name: "playwright" },
+            ...((this.options.integration ?? process.env.KIBI_PROOF_INTEGRATION)
+                ? {
+                    integration: (this.options.integration ??
+                        process.env.KIBI_PROOF_INTEGRATION),
+                }
+                : {}),
+            command_argv: [...commandArgv],
+            code_snapshot: this.options.codeSnapshot ?? process.env.KIBI_PROOF_SNAPSHOT ?? "",
+            environment: environment(),
+            run: {
+                outcome: status === "passed" ? "passed" : "failed",
+                exit_code: status === "passed" ? 0 : 1,
+                started_at: this.startedAt,
+                finished_at: now().toISOString(),
+            },
+            proof_results: [...this.results.values()],
+        };
+        const target = outputPath(this.options);
+        await mkdir(path.dirname(target), { recursive: true });
+        await writeFile(target, `${JSON.stringify(artifact, null, 2)}\n`, "utf8");
+    }
+}
+export default KibiPlaywrightProducer;

package/dist/proof/producers/tap-adapter.d.ts

@@ -0,0 +1,10 @@
+import { type NativeBinding, type NativeConversion } from "./junit-adapter.js";
+/**
+ * TAP converter: maps assertions to bound proof symbols. Indented subtests
+ * retain their `parent > child` identity, while a leaf binding remains a
+ * compatibility fallback for reports that did not publish the hierarchy.
+ * Plans are checked per indentation scope; bailouts, malformed plans, and
+ * conflicting duplicate observations discard the whole projection.
+ */
+export declare function convertTap(tap: string, bindings: readonly NativeBinding[]): NativeConversion;
+//# sourceMappingURL=tap-adapter.d.ts.map

package/dist/proof/producers/tap-adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tap-adapter.d.ts","sourceRoot":"","sources":["../../../src/proof/producers/tap-adapter.ts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,aAAa,EAClB,KAAK,gBAAgB,EAGtB,MAAM,oBAAoB,CAAC;AAmE5B;;;;;;GAMG;AAEH,wBAAgB,UAAU,CACxB,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,SAAS,aAAa,EAAE,GACjC,gBAAgB,CAqKlB"}

package/dist/proof/producers/tap-adapter.js

@@ -0,0 +1,200 @@
+import { ambiguousNativeBindings, bindingLookup, } from "./junit-adapter.js";
+function splitDirective(line) {
+    const match = line.match(/\s+#\s*(SKIP|TODO)\b(?:.*)$/i);
+    if (!match || match.index === undefined)
+        return { body: line };
+    return {
+        body: line.slice(0, match.index).trimEnd(),
+        directive: match[1]?.toUpperCase(),
+    };
+}
+function parseAssertion(line) {
+    const directive = splitDirective(line);
+    const match = directive.body.match(/^(not ok|ok)\b(?:\s+\d+)?(?:\s*-?\s*(.*))?$/i);
+    if (!match)
+        return null;
+    const outcome = directive.directive === "SKIP" || directive.directive === "TODO"
+        ? "skipped"
+        : match[1]?.toLowerCase() === "ok"
+            ? "passed"
+            : "failed";
+    return { outcome, name: (match[2] ?? "").trim() };
+}
+function parsePlan(line) {
+    const match = line.match(/^(\d+)\.\.(\d+)(?:\s+#\s*(SKIP|TODO)\b.*)?$/i);
+    if (!match)
+        return null;
+    const start = Number(match[1]);
+    const end = Number(match[2]);
+    const directive = match[3]?.toUpperCase();
+    if (start === 1 && end === 0 && directive === "SKIP")
+        return 0;
+    if (start > end || (start !== 0 && start !== 1))
+        return -1;
+    return end;
+}
+function indentOf(line) {
+    const match = line.match(/^[ \t]*/)?.[0] ?? "";
+    return match.replace(/\t/g, "    ").length;
+}
+function nativeIdCandidates(path, name) {
+    if (!path)
+        return [name];
+    const full = `${path} > ${name}`;
+    return full === name ? [name] : [full, name];
+}
+function failClosed(diagnostics) {
+    return { results: [], diagnostics, fatal: true };
+}
+/**
+ * TAP converter: maps assertions to bound proof symbols. Indented subtests
+ * retain their `parent > child` identity, while a leaf binding remains a
+ * compatibility fallback for reports that did not publish the hierarchy.
+ * Plans are checked per indentation scope; bailouts, malformed plans, and
+ * conflicting duplicate observations discard the whole projection.
+ */
+// implements REQ-kibi-verification-evidence-contract
+export function convertTap(tap, bindings) {
+    const lookup = bindingLookup(bindings);
+    const diagnostics = [];
+    const results = [];
+    const seen = new Map();
+    const root = { indent: -1, path: "", assertions: 0 };
+    const contexts = [root];
+    const allContexts = [root];
+    let pendingSubtest = null;
+    let sawTap = false;
+    let fatal = false;
+    for (const rawLine of tap.split(/\r?\n/)) {
+        const indent = indentOf(rawLine);
+        const line = rawLine.trim();
+        if (line === "")
+            continue;
+        while (contexts.length > 1 &&
+            indent <= (contexts[contexts.length - 1]?.indent ?? -1)) {
+            contexts.pop();
+        }
+        if (/^TAP version\s+\d+$/i.test(line)) {
+            sawTap = true;
+            continue;
+        }
+        if (pendingSubtest && indent > pendingSubtest.indent) {
+            const child = {
+                indent: pendingSubtest.indent,
+                path: pendingSubtest.path,
+                assertions: 0,
+            };
+            contexts.push(child);
+            allContexts.push(child);
+            pendingSubtest = null;
+        }
+        const subtest = line.match(/^#\s*Subtest:\s*(.+)$/i);
+        if (subtest) {
+            pendingSubtest = null;
+            const parent = contexts[contexts.length - 1] ?? root;
+            const name = subtest[1]?.trim() ?? "";
+            pendingSubtest = {
+                indent,
+                path: parent.path ? `${parent.path} > ${name}` : name,
+            };
+            sawTap = true;
+            continue;
+        }
+        if (pendingSubtest)
+            pendingSubtest = null;
+        const context = contexts[contexts.length - 1] ?? root;
+        if (/^Bail out!/i.test(line)) {
+            diagnostics.push(`TAP bailout${context.path ? ` in ${context.path}` : ""}: ${line.slice(9).trim() || "no reason"}`);
+            fatal = true;
+            sawTap = true;
+            continue;
+        }
+        const plan = parsePlan(line);
+        if (plan !== null) {
+            sawTap = true;
+            if (plan < 0) {
+                diagnostics.push(`invalid TAP plan${context.path ? ` in ${context.path}` : ""}: ${line}`);
+                fatal = true;
+            }
+            else if (context.plan !== undefined) {
+                diagnostics.push(`duplicate TAP plan${context.path ? ` in ${context.path}` : ""}`);
+                fatal = true;
+            }
+            else {
+                context.plan = plan;
+            }
+            continue;
+        }
+        if (line.startsWith("#") || /^---$/.test(line) || /^\.\.\.$/.test(line))
+            continue;
+        const parsed = parseAssertion(line);
+        if (!parsed)
+            continue;
+        sawTap = true;
+        context.assertions += 1;
+        if (!parsed.name) {
+            diagnostics.push("TAP assertion has no test name; ignored");
+            continue;
+        }
+        const candidates = nativeIdCandidates(context.path, parsed.name);
+        const nativeId = candidates.find((candidate) => lookup(candidate) !== null);
+        if (!nativeId) {
+            diagnostics.push(`unbound TAP assertion ignored: ${candidates[0]}`);
+            continue;
+        }
+        const bound = lookup(nativeId);
+        if (!bound) {
+            diagnostics.push(`ambiguous TAP binding for ${nativeId}`);
+            fatal = true;
+            continue;
+        }
+        const key = `${bound.target}\0${bound.symbol_id}`;
+        const previous = seen.get(key);
+        if (previous) {
+            if (previous.nativeId !== nativeId ||
+                previous.outcome !== parsed.outcome) {
+                diagnostics.push(`ambiguous duplicate TAP result for ${nativeId}`);
+                fatal = true;
+            }
+            else {
+                diagnostics.push(`duplicate TAP result for ${nativeId}; ignored`);
+            }
+            continue;
+        }
+        seen.set(key, { nativeId, outcome: parsed.outcome });
+        results.push({
+            symbol_id: bound.symbol_id,
+            target: bound.target,
+            outcome: parsed.outcome,
+            binding: "native_case",
+            native_id: nativeId,
+            attempts: { status: "unavailable" },
+        });
+    }
+    if (!sawTap)
+        return failClosed(["not a TAP report"]);
+    if (pendingSubtest) {
+        diagnostics.push(`TAP subtest has no indented body: ${pendingSubtest.path}`);
+        fatal = true;
+    }
+    for (const context of allContexts) {
+        if (context.plan === undefined) {
+            if (context.assertions > 0) {
+                diagnostics.push(`missing TAP plan${context.path ? ` in ${context.path}` : ""}`);
+                fatal = true;
+            }
+            continue;
+        }
+        if (context.plan !== context.assertions) {
+            diagnostics.push(`TAP plan mismatch${context.path ? ` in ${context.path}` : ""}: expected ${context.plan} assertion(s), observed ${context.assertions}`);
+            fatal = true;
+        }
+    }
+    const ambiguous = ambiguousNativeBindings(bindings);
+    if (ambiguous.length > 0) {
+        for (const nativeId of ambiguous)
+            diagnostics.push(`ambiguous TAP binding for ${nativeId}`);
+        fatal = true;
+    }
+    return fatal ? failClosed(diagnostics) : { results, diagnostics };
+}

package/dist/proof/receipt-outcome.d.ts

@@ -0,0 +1,2 @@
+export type ProofReceiptOutcome = "passed" | "failed" | "errored" | "cancelled" | "timed_out" | "interrupted";
+//# sourceMappingURL=receipt-outcome.d.ts.map

package/dist/proof/receipt-outcome.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"receipt-outcome.d.ts","sourceRoot":"","sources":["../../src/proof/receipt-outcome.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,mBAAmB,GAC3B,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,WAAW,GACX,WAAW,GACX,aAAa,CAAC"}

package/dist/proof/receipt-outcome.js

@@ -0,0 +1 @@
+export {};

package/dist/public/branch-resolver.d.ts

@@ -1,2 +1,3 @@
 export * from "../utils/branch-resolver.js";
+export * from "../utils/branch-store-locator.js";
 //# sourceMappingURL=branch-resolver.d.ts.map

package/dist/public/branch-resolver.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"branch-resolver.d.ts","sourceRoot":"","sources":["../../src/public/branch-resolver.ts"],"names":[],"mappings":"AAAA,cAAc,6BAA6B,CAAC"}
+{"version":3,"file":"branch-resolver.d.ts","sourceRoot":"","sources":["../../src/public/branch-resolver.ts"],"names":[],"mappings":"AAAA,cAAc,6BAA6B,CAAC;AAC5C,cAAc,kCAAkC,CAAC"}

package/dist/public/branch-resolver.js

@@ -1 +1,2 @@
 export * from "../utils/branch-resolver.js";
+export * from "../utils/branch-store-locator.js";

package/dist/public/check-types.d.ts

@@ -2,8 +2,8 @@
  * Public re-export barrel for shared check types and MCP-consumed modeling helpers.
  * Import from "kibi-cli/public/check-types" in MCP or external consumers.
  */
-export type { ChecksConfig, RuleDefinition, SymbolTraceabilityOptions, Violation, } from "../utils/rule-registry.js";
+export type { RuleDefinition, RuleEnforcementClass, Violation, } from "../utils/rule-registry.js";
 export type { SemanticClaim, StableRequirementIds, StrictModelInput, StrictWriteSet, } from "../utils/strict-modeling.js";
-export { DEFAULT_CHECKS_CONFIG, RULE_NAMES, RULES, getEffectiveRules, mergeChecksConfig, validateRuleName, } from "../utils/rule-registry.js";
+export { RULE_NAMES, RULES, getCanonicalRules, getDefaultRules, getEffectiveRules, getRuleDefinition, getRuleEnforcementClass, isCanonicalRule, ruleRunsByDefault, validateRuleName, } from "../utils/rule-registry.js";
 export { buildStableRequirementIds, buildStrictWriteSet, modelRequirementClaims, normalizePropertyKey, normalizeSubjectKey, } from "../utils/strict-modeling.js";
 //# sourceMappingURL=check-types.d.ts.map

package/dist/public/check-types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check-types.d.ts","sourceRoot":"","sources":["../../src/public/check-types.ts"],"names":[],"mappings":"AAkBA;;;GAGG;AACH,YAAY,EACV,YAAY,EACZ,cAAc,EACd,yBAAyB,EACzB,SAAS,GACV,MAAM,2BAA2B,CAAC;AACnC,YAAY,EACV,aAAa,EACb,oBAAoB,EACpB,gBAAgB,EAChB,cAAc,GACf,MAAM,6BAA6B,CAAC;AAErC,OAAO,EACL,qBAAqB,EACrB,UAAU,EACV,KAAK,EACL,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EACL,yBAAyB,EACzB,mBAAmB,EACnB,sBAAsB,EACtB,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,6BAA6B,CAAC"}
+{"version":3,"file":"check-types.d.ts","sourceRoot":"","sources":["../../src/public/check-types.ts"],"names":[],"mappings":"AAkBA;;;GAGG;AACH,YAAY,EACV,cAAc,EACd,oBAAoB,EACpB,SAAS,GACV,MAAM,2BAA2B,CAAC;AACnC,YAAY,EACV,aAAa,EACb,oBAAoB,EACpB,gBAAgB,EAChB,cAAc,GACf,MAAM,6BAA6B,CAAC;AAErC,OAAO,EACL,UAAU,EACV,KAAK,EACL,iBAAiB,EACjB,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,uBAAuB,EACvB,eAAe,EACf,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EACL,yBAAyB,EACzB,mBAAmB,EACnB,sBAAsB,EACtB,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,6BAA6B,CAAC"}

package/dist/public/check-types.js

@@ -1,19 +1,19 @@
 /*
- Kibi — repo-local, per-branch, queryable long-term memory for software projects
- Copyright (C) 2026 Piotr Franczyk
-
- This program is free software: you can redistribute it and/or modify
- it under the terms of the GNU Affero General Public License as published by
- the Free Software Foundation, either version 3 of the License, or
- (at your option) any later version.
-
- This program is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- GNU Affero General Public License for more details.
-
- You should have received a copy of the GNU Affero General Public License
- along with this program.  If not, see <https://www.gnu.org/licenses/>.
+ * Kibi — repo-local, per-branch, queryable long-term memory for software projects
+ * Copyright (C) 2026 Piotr Franczyk
+ *
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU Affero General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU Affero General Public License for more details.
+ *
+ * You should have received a copy of the GNU Affero General Public License
+ * along with this program.  If not, see <https://www.gnu.org/licenses/>.
  */
-export { DEFAULT_CHECKS_CONFIG, RULE_NAMES, RULES, getEffectiveRules, mergeChecksConfig, validateRuleName, } from "../utils/rule-registry.js";
+export { RULE_NAMES, RULES, getCanonicalRules, getDefaultRules, getEffectiveRules, getRuleDefinition, getRuleEnforcementClass, isCanonicalRule, ruleRunsByDefault, validateRuleName, } from "../utils/rule-registry.js";
 export { buildStableRequirementIds, buildStrictWriteSet, modelRequirementClaims, normalizePropertyKey, normalizeSubjectKey, } from "../utils/strict-modeling.js";

package/dist/public/diagnostic-usage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"diagnostic-usage.d.ts","sourceRoot":"","sources":["../../src/public/diagnostic-usage.ts"],"names":[],"mappings":"AAIA,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACzD,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC;IAC7D,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC;IACrC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AA4BD,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACtC,MAAM,CAIR;AAiED,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACvC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,IAAI,EACnD,MAAM,EAAE,OAAO,GACd,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAmDzB;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,oBAAoB,GAAG,IAAI,CAgC1E"}
+{"version":3,"file":"diagnostic-usage.d.ts","sourceRoot":"","sources":["../../src/public/diagnostic-usage.ts"],"names":[],"mappings":"AAIA,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACzD,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC;IAC7D,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC;IACrC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAiCD,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACtC,MAAM,CAIR;AAkHD,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACvC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,IAAI,EACnD,MAAM,EAAE,OAAO,GACd,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA2EzB;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,oBAAoB,GAAG,IAAI,CAgC1E"}

package/dist/public/diagnostic-usage.js

@@ -7,7 +7,14 @@ function isRecord(value) {
 function resultRecord(result) {
     if (!isRecord(result))
         return undefined;
-    return isRecord(result.structuredContent) ? result.structuredContent : result;
+    if (isRecord(result.structuredContent))
+        return result.structuredContent;
+    // CLI JSON operations return the same versioned KibiResult envelope as MCP
+    // structuredContent.  Unwrap its data before deriving operation-specific
+    // telemetry fields (coverage/proof fields in particular).
+    if (result.kibiProtocol === 1 && isRecord(result.data))
+        return result.data;
+    return result;
 }
 function stringArray(value) {
     return Array.isArray(value)
@@ -52,12 +59,50 @@ function appendSemanticFields(fields, receipt) {
     }
 }
 const RECEIPT_GAP_CODES = new Set([
-    "missing_verification_receipt",
-    "stale_verification_receipt",
-    "failed_verification_receipt",
-    "invalid_verification_receipt",
-    "verification_snapshot_unavailable",
+    "missing_proof_receipt",
+    "stale_proof_receipt",
+    "failed_proof_receipt",
+    "invalid_proof_receipt",
+    "proof_contract_mismatch",
+    "proof_snapshot_unavailable",
 ]);
+const MAX_COVERAGE_RECEIPT_GAPS = 50;
+function coverageReceiptGapDetails(rows) {
+    const details = rows
+        .flatMap((row) => {
+        const codes = [...new Set(stringArray(row.proofGaps))]
+            .filter((code) => RECEIPT_GAP_CODES.has(code))
+            .sort();
+        if (codes.length === 0)
+            return [];
+        const stages = isRecord(row.proofStages) ? row.proofStages : undefined;
+        const passingE2e = isRecord(stages?.passingE2e)
+            ? stages.passingE2e
+            : undefined;
+        const testIds = [
+            "missingReceiptTests",
+            "staleReceiptTests",
+            "failedReceiptTests",
+            "invalidReceiptTests",
+            "contractMismatchReceiptTests",
+            "snapshotUnavailableTests",
+        ].flatMap((key) => stringArray(passingE2e?.[key]));
+        const requirementId = typeof row.id === "string" ? row.id : "unknown";
+        return [
+            {
+                requirementId,
+                testIds: [...new Set(testIds)].sort(),
+                codes,
+            },
+        ];
+    })
+        .sort((left, right) => left.requirementId.localeCompare(right.requirementId));
+    return {
+        details: details.slice(0, MAX_COVERAGE_RECEIPT_GAPS),
+        total: details.length,
+        truncated: details.length > MAX_COVERAGE_RECEIPT_GAPS,
+    };
+}
 function appendCoverageFields(fields, args, result) {
     const rows = Array.isArray(result.rows) ? result.rows.filter(isRecord) : [];
     const summary = isRecord(result.summary) ? result.summary : {};
@@ -73,6 +118,10 @@ function appendCoverageFields(fields, args, result) {
     fields.coverage_proof_gap_count = gapCodes.length;
     fields.coverage_gap_codes = [...new Set(gapCodes)].sort();
     fields.coverage_receipt_gap_count = gapCodes.filter((code) => RECEIPT_GAP_CODES.has(code)).length;
+    const receiptGaps = coverageReceiptGapDetails(rows);
+    fields.coverage_receipt_gaps = receiptGaps.details;
+    fields.coverage_receipt_gap_total = receiptGaps.total;
+    fields.coverage_receipt_gaps_truncated = receiptGaps.truncated;
     if (typeof scope?.complete === "boolean") {
         fields.coverage_scope_complete = scope.complete;
     }
@@ -93,6 +142,25 @@ export function deriveDiagnosticUsageFields(tool, args, telemetry, result) {
         }
     }
     const structured = resultRecord(result);
+    const envelope = isRecord(structured) && structured.kibiProtocol === 1
+        ? structured
+        : undefined;
+    if (envelope) {
+        fields.protocol_version = envelope.kibiProtocol;
+        fields.result_version =
+            typeof envelope.resultVersion === "string"
+                ? envelope.resultVersion
+                : null;
+        fields.result_status =
+            typeof envelope.status === "string" ? envelope.status : null;
+        fields.effect_failures = Array.isArray(envelope.effects)
+            ? envelope.effects.filter((effect) => isRecord(effect) && effect.status === "failed")
+            : [];
+        fields.followed_next_actions = Array.isArray(telemetry?.followed_next_actions)
+            ? telemetry.followed_next_actions
+            : [];
+        fields.unsafe_original_retry = telemetry?.unsafe_original_retry === true;
+    }
     if (tool === "kb_query" || tool === "kb_search") {
         const resultCount = Number(structured?.count ?? 0);
         fields.result_count = resultCount;

package/dist/public/distribution-parity.d.ts

@@ -1,5 +1,5 @@
 export declare const DISTRIBUTION_PARITY_VERSION: "kibi.distribution-parity.v1";
-export declare const REQUIREMENT_COMPILER_CAPABILITIES: readonly ["semantic_inventory", "contradiction_witnesses", "conservative_proof", "repair_plan", "verification_receipts", "telemetry_acceptance"];
+export declare const REQUIREMENT_COMPILER_CAPABILITIES: readonly ["semantic_inventory", "contradiction_witnesses", "conservative_proof", "repair_plan", "proof_receipts", "proof_contract", "telemetry_acceptance"];
 export type RequirementCompilerCapability = (typeof REQUIREMENT_COMPILER_CAPABILITIES)[number];
 export type DistributionRuntimeKind = "source_checkout" | "packed_artifact" | "project_resolved";
 export type DistributionSurface = "cli" | "mcp";
@@ -83,8 +83,14 @@ export interface DistributionParityOptions {
     readonly workspaceRoots?: readonly string[];
     readonly volatileKeys?: ReadonlySet<string>;
 }
+export declare function nextAncestorDirectory(current: string): string | undefined;
+export declare function nearestPackageInfo(entrypoint: string): {
+    readonly packageRoot?: string;
+    readonly version?: string;
+};
 export declare function resolveDistributionRuntimeProvenance(executable: string): DistributionRuntimeProvenance;
 export declare function normalizeDistributionParityValue(value: unknown, options?: DistributionParityOptions): unknown;
+export declare function sortedUnique(values: readonly string[] | undefined): string[];
 export declare function buildDistributionParityReport(runtimes: readonly DistributionRuntime[], observations: readonly DistributionParityObservation[], options?: DistributionParityOptions): DistributionParityReport;
 export declare function runDistributionParityMatrix(adapters: readonly DistributionRuntimeAdapter[], options?: DistributionParityOptions): Promise<DistributionParityReport>;
 //# sourceMappingURL=distribution-parity.d.ts.map

package/dist/public/distribution-parity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"distribution-parity.d.ts","sourceRoot":"","sources":["../../src/public/distribution-parity.ts"],"names":[],"mappings":"AAaA,eAAO,MAAM,2BAA2B,EACtC,6BAAsC,CAAC;AAEzC,eAAO,MAAM,iCAAiC,kJAOpC,CAAC;AAEX,MAAM,MAAM,6BAA6B,GACvC,CAAC,OAAO,iCAAiC,CAAC,CAAC,MAAM,CAAC,CAAC;AACrD,MAAM,MAAM,uBAAuB,GAC/B,iBAAiB,GACjB,iBAAiB,GACjB,kBAAkB,CAAC;AACvB,MAAM,MAAM,mBAAmB,GAAG,KAAK,GAAG,KAAK,CAAC;AAChD,MAAM,MAAM,eAAe,GAAG,WAAW,GAAG,aAAa,GAAG,QAAQ,CAAC;AAErE,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,YAAY,CAAC;IAC3C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,uBAAuB,GAAG,uBAAuB,CAAC;IACrE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,6BAA6B,CAAC;IACnD,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CACxB,MAAM,CAAC,6BAA6B,EAAE,wBAAwB,CAAC,CAChE,CAAC;CACH;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,eAAe,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,CAChB,UAAU,EAAE,6BAA6B,KACtC,OAAO,CAAC,4BAA4B,CAAC,CAAC;CAC5C;AAED,MAAM,WAAW,6BACf,SAAQ,4BAA4B;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,6BAA6B,CAAC;CACpD;AAED,MAAM,MAAM,sBAAsB,GAC9B,OAAO,GACP,UAAU,GACV,aAAa,GACb,QAAQ,GACR,cAAc,CAAC;AAEnB,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,6BAA6B,CAAC;IACnD,QAAQ,CAAC,KAAK,EAAE,eAAe,GAAG,SAAS,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,sBAAsB,CAAC;IAC5C,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IACrC,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,MAAM,CAAC,EAAE,wBAAwB,CAAC;IAC3C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,MAAM,2BAA2B,GACnC,sBAAsB,GACtB,yBAAyB,GACzB,+BAA+B,GAC/B,gCAAgC,GAChC,kCAAkC,GAClC,gCAAgC,GAChC,6BAA6B,GAC7B,wBAAwB,GACxB,mCAAmC,CAAC;AAExC,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,2BAA2B,CAAC;IAC3C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,UAAU,CAAC,EAAE,6BAA6B,CAAC;IACpD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,OAAO,EAAE,OAAO,2BAA2B,CAAC;IACrD,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,QAAQ,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,SAAS,6BAA6B,EAAE,CAAC;IAChE,QAAQ,CAAC,QAAQ,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAClD,QAAQ,CAAC,IAAI,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACpD,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;QAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;QACjC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;QAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,CAAC;CACH;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC7C;AAyED,wBAAgB,oCAAoC,CAClD,UAAU,EAAE,MAAM,GACjB,6BAA6B,CAoC/B;AAqBD,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,OAAO,EACd,OAAO,GAAE,yBAA8B,GACtC,OAAO,CAuBT;AA6CD,wBAAgB,6BAA6B,CAC3C,QAAQ,EAAE,SAAS,mBAAmB,EAAE,EACxC,YAAY,EAAE,SAAS,6BAA6B,EAAE,EACtD,OAAO,GAAE,yBAA8B,GACtC,wBAAwB,CAsM1B;AAGD,wBAAsB,2BAA2B,CAC/C,QAAQ,EAAE,SAAS,0BAA0B,EAAE,EAC/C,OAAO,GAAE,yBAA8B,GACtC,OAAO,CAAC,wBAAwB,CAAC,CA0BnC"}
+{"version":3,"file":"distribution-parity.d.ts","sourceRoot":"","sources":["../../src/public/distribution-parity.ts"],"names":[],"mappings":"AAaA,eAAO,MAAM,2BAA2B,EACtC,6BAAsC,CAAC;AAEzC,eAAO,MAAM,iCAAiC,6JAQpC,CAAC;AAEX,MAAM,MAAM,6BAA6B,GACvC,CAAC,OAAO,iCAAiC,CAAC,CAAC,MAAM,CAAC,CAAC;AACrD,MAAM,MAAM,uBAAuB,GAC/B,iBAAiB,GACjB,iBAAiB,GACjB,kBAAkB,CAAC;AACvB,MAAM,MAAM,mBAAmB,GAAG,KAAK,GAAG,KAAK,CAAC;AAChD,MAAM,MAAM,eAAe,GAAG,WAAW,GAAG,aAAa,GAAG,QAAQ,CAAC;AAErE,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,YAAY,CAAC;IAC3C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,uBAAuB,GAAG,uBAAuB,CAAC;IACrE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,6BAA6B,CAAC;IACnD,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CACxB,MAAM,CAAC,6BAA6B,EAAE,wBAAwB,CAAC,CAChE,CAAC;CACH;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,eAAe,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,CAChB,UAAU,EAAE,6BAA6B,KACtC,OAAO,CAAC,4BAA4B,CAAC,CAAC;CAC5C;AAED,MAAM,WAAW,6BACf,SAAQ,4BAA4B;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,6BAA6B,CAAC;CACpD;AAED,MAAM,MAAM,sBAAsB,GAC9B,OAAO,GACP,UAAU,GACV,aAAa,GACb,QAAQ,GACR,cAAc,CAAC;AAEnB,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,6BAA6B,CAAC;IACnD,QAAQ,CAAC,KAAK,EAAE,eAAe,GAAG,SAAS,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,sBAAsB,CAAC;IAC5C,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IACrC,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,MAAM,CAAC,EAAE,wBAAwB,CAAC;IAC3C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,MAAM,2BAA2B,GACnC,sBAAsB,GACtB,yBAAyB,GACzB,+BAA+B,GAC/B,gCAAgC,GAChC,kCAAkC,GAClC,gCAAgC,GAChC,6BAA6B,GAC7B,wBAAwB,GACxB,mCAAmC,CAAC;AAExC,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,2BAA2B,CAAC;IAC3C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,UAAU,CAAC,EAAE,6BAA6B,CAAC;IACpD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,OAAO,EAAE,OAAO,2BAA2B,CAAC;IACrD,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,QAAQ,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,SAAS,6BAA6B,EAAE,CAAC;IAChE,QAAQ,CAAC,QAAQ,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAClD,QAAQ,CAAC,IAAI,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACpD,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;QAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;QACjC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;QAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,CAAC;CACH;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC7C;AAwCD,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAGzE;AAED,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,MAAM,GAAG;IACtD,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B,CAsBA;AAUD,wBAAgB,oCAAoC,CAClD,UAAU,EAAE,MAAM,GACjB,6BAA6B,CAoC/B;AAqBD,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,OAAO,EACd,OAAO,GAAE,yBAA8B,GACtC,OAAO,CAuBT;AAMD,wBAAgB,YAAY,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,GAAG,MAAM,EAAE,CAI5E;AAmCD,wBAAgB,6BAA6B,CAC3C,QAAQ,EAAE,SAAS,mBAAmB,EAAE,EACxC,YAAY,EAAE,SAAS,6BAA6B,EAAE,EACtD,OAAO,GAAE,yBAA8B,GACtC,wBAAwB,CAsM1B;AAGD,wBAAsB,2BAA2B,CAC/C,QAAQ,EAAE,SAAS,0BAA0B,EAAE,EAC/C,OAAO,GAAE,yBAA8B,GACtC,OAAO,CAAC,wBAAwB,CAAC,CA0BnC"}

package/dist/public/distribution-parity.js

@@ -15,7 +15,8 @@ export const REQUIREMENT_COMPILER_CAPABILITIES = [
     "contradiction_witnesses",
     "conservative_proof",
     "repair_plan",
-    "verification_receipts",
+    "proof_receipts",
+    "proof_contract",
     "telemetry_acceptance",
 ];
 const DEFAULT_VOLATILE_KEYS = new Set([
@@ -45,11 +46,18 @@ const DEFAULT_VOLATILE_KEYS = new Set([
     "updated_at",
     "updatedAt",
     "usageLogLineNumber",
-    "verificationSnapshot",
+    "proofSnapshot",
+    // Per-workspace filesystem identity; CLI and MCP parity runs use two temp trees.
+    "attachedIno",
+    "attachedDev",
 ]);
-function nearestPackageInfo(entrypoint) {
+export function nextAncestorDirectory(current) {
+    const parent = path.dirname(current);
+    return parent === current ? undefined : parent;
+}
+export function nearestPackageInfo(entrypoint) {
     let current = path.dirname(entrypoint);
-    while (true) {
+    while (current !== undefined) {
         const manifestPath = path.join(current, "package.json");
         if (existsSync(manifestPath)) {
             try {
@@ -65,11 +73,9 @@ function nearestPackageInfo(entrypoint) {
                 return { packageRoot: current };
             }
         }
-        const parent = path.dirname(current);
-        if (parent === current)
-            return {};
-        current = parent;
+        current = nextAncestorDirectory(current);
     }
+    return {};
 }
 function declaredEntrypoint(contents) {
     const shimTarget = contents.match(/^# cmd-shim-target=(.+)$/m)?.[1]?.trim();
@@ -148,7 +154,7 @@ export function normalizeDistributionParityValue(value, options = {}) {
 function semanticFingerprint(value) {
     return JSON.stringify(value);
 }
-function sortedUnique(values) {
+export function sortedUnique(values) {
     return [...new Set(values ?? [])].sort((left, right) => left.localeCompare(right));
 }
 function currentRuntime(runtimes, kind, surface) {