kibi-cli 1.0.1 → 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/diagnostic-usage.js

@@ -59,12 +59,12 @@ function appendSemanticFields(fields, receipt) {
     }
 }
 const RECEIPT_GAP_CODES = new Set([
-    "missing_verification_receipt",
-    "stale_verification_receipt",
-    "failed_verification_receipt",
-    "invalid_verification_receipt",
-    "verification_contract_mismatch",
-    "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) {

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", "verification_contract", "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,2KAQpC,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,8 +15,8 @@ export const REQUIREMENT_COMPILER_CAPABILITIES = [
     "contradiction_witnesses",
     "conservative_proof",
     "repair_plan",
-    "verification_receipts",
-    "verification_contract",
+    "proof_receipts",
+    "proof_contract",
     "telemetry_acceptance",
 ];
 const DEFAULT_VOLATILE_KEYS = new Set([
@@ -46,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 {
@@ -66,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();
@@ -149,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) {

package/dist/public/impact/coverage-depth-quality.d.ts

@@ -1,5 +1,6 @@
 import type { ExtractionResult } from "../../extractors/markdown.js";
 import type { QualityDiagnostic } from "./types.js";
+export declare function uniqueStrings(values: readonly string[]): readonly string[];
 export declare function createCoverageDepthQualityDiagnostics(manifestResults: readonly ExtractionResult[], proofByRequirement?: ReadonlyMap<string, Readonly<{
     readonly proofStatus?: string;
     readonly passingE2eStatus?: string;

package/dist/public/impact/coverage-depth-quality.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"coverage-depth-quality.d.ts","sourceRoot":"","sources":["../../../src/public/impact/coverage-depth-quality.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAkRpD,wBAAgB,qCAAqC,CACnD,eAAe,EAAE,SAAS,gBAAgB,EAAE,EAC5C,kBAAkB,GAAE,WAAW,CAC7B,MAAM,EACN,QAAQ,CAAC;IACP,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C,CAAC,CACS,GACZ,SAAS,iBAAiB,EAAE,CAc9B"}
+{"version":3,"file":"coverage-depth-quality.d.ts","sourceRoot":"","sources":["../../../src/public/impact/coverage-depth-quality.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAsIpD,wBAAgB,aAAa,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE,CAI1E;AAwID,wBAAgB,qCAAqC,CACnD,eAAe,EAAE,SAAS,gBAAgB,EAAE,EAC5C,kBAAkB,GAAE,WAAW,CAC7B,MAAM,EACN,QAAQ,CAAC;IACP,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C,CAAC,CACS,GACZ,SAAS,iBAAiB,EAAE,CAc9B"}

package/dist/public/impact/coverage-depth-quality.js

@@ -71,7 +71,7 @@ function isReviewableCoverageDepth(coverageDepth) {
         coverageDepth === "scenario_only_no_test" ||
         coverageDepth === "no_test_evidence");
 }
-function uniqueStrings(values) {
+export function uniqueStrings(values) {
     return [...new Set(values)].toSorted((left, right) => left.localeCompare(right));
 }
 function coverageDepthSuggestion(coverageDepth) {

package/dist/public/impact/diagnostics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../../../src/public/impact/diagnostics.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AAWrF,OAAO,KAAK,EACV,iBAAiB,EACjB,gCAAgC,EAChC,mCAAmC,EACpC,MAAM,YAAY,CAAC;AA2FpB,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,mCAAmC,GAC3C,oBAAoB,EAAE,CA+CxB;AAED,wBAAgB,+BAA+B,CAC7C,OAAO,EAAE,gCAAgC,GACxC,oBAAoB,EAAE,CAsBxB;AAED,wBAAgB,4BAA4B,CAC1C,WAAW,EAAE,SAAS,oBAAoB,EAAE,GAC3C,OAAO,CAET;AAED,wBAAgB,6BAA6B,CAC3C,WAAW,EAAE,SAAS,iBAAiB,EAAE,GACxC,OAAO,CAIT"}
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../../../src/public/impact/diagnostics.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AAYrF,OAAO,KAAK,EACV,iBAAiB,EACjB,gCAAgC,EAChC,mCAAmC,EACpC,MAAM,YAAY,CAAC;AA2FpB,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,mCAAmC,GAC3C,oBAAoB,EAAE,CA+CxB;AAED,wBAAgB,+BAA+B,CAC7C,OAAO,EAAE,gCAAgC,GACxC,oBAAoB,EAAE,CAsBxB;AAED,wBAAgB,4BAA4B,CAC1C,WAAW,EAAE,SAAS,oBAAoB,EAAE,GAC3C,OAAO,CAET;AAED,wBAAgB,6BAA6B,CAC3C,WAAW,EAAE,SAAS,iBAAiB,EAAE,GACxC,OAAO,CAIT"}

package/dist/public/impact/diagnostics.js

@@ -1,7 +1,7 @@
 import { existsSync, readFileSync } from "node:fs";
 import * as path from "node:path";
 import { extractSymbolsFromStagedFile, } from "../../traceability/symbol-extract.js";
-import { getBehavioralSymbolNames, getNonBehavioralSymbolNames, isAllowedGranularityReason, isTraceabilityRelationshipType, } from "../symbol-granularity.js";
+import { ALLOWED_GRANULARITY_REASONS_PROSE, getBehavioralSymbolNames, getNonBehavioralSymbolNames, isAllowedGranularityReason, isTraceabilityRelationshipType, } from "../symbol-granularity.js";
 function isNarrowerSymbol(manifestSymbolName, candidate, sourceSymbols) {
     if (candidate.name === manifestSymbolName)
         return false;
@@ -92,7 +92,7 @@ export function createSymbolGranularityDiagnostics(options) {
             files: [result.entity.source, result.sourceFile],
             docs: ["docs/symbol-traceability-taxonomy.md"],
             message: `Symbol ${result.entity.id} links ${result.sourceFile} coarsely while granular symbols are available (behavioral only): ${behavioralNames.join(", ")}`,
-            suggestion: `Move ownership/coverage/test relationships to the narrow behavioral symbol, add a manifest behavioral anchor, or add granularity_reason with config-artifact, module-level-behavior, extractor-miss, or legacy-link when the coarse symbol is intentional.${ignoredSymbolsSuggestion}`,
+            suggestion: `Move ownership/coverage/test relationships to the narrow behavioral symbol, add a manifest behavioral anchor, or add granularity_reason with ${ALLOWED_GRANULARITY_REASONS_PROSE} when the coarse symbol is intentional.${ignoredSymbolsSuggestion}`,
         });
     }
     return diagnostics;

package/dist/public/impact/diff-meaning.d.ts

@@ -1,2 +1,3 @@
+export declare function isTrailingCommaBeforeCloser(character: string, nextCharacter: string | undefined): boolean;
 export declare function hasMeaningfulSourceDiff(diffText: string): boolean;
 //# sourceMappingURL=diff-meaning.d.ts.map

package/dist/public/impact/diff-meaning.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"diff-meaning.d.ts","sourceRoot":"","sources":["../../../src/public/impact/diff-meaning.ts"],"names":[],"mappings":"AAyGA,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAejE"}
+{"version":3,"file":"diff-meaning.d.ts","sourceRoot":"","sources":["../../../src/public/impact/diff-meaning.ts"],"names":[],"mappings":"AAAA,wBAAgB,2BAA2B,CACzC,SAAS,EAAE,MAAM,EACjB,aAAa,EAAE,MAAM,GAAG,SAAS,GAChC,OAAO,CAKT;AAwGD,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAejE"}

package/dist/public/impact/diff-meaning.js

@@ -1,3 +1,7 @@
+export function isTrailingCommaBeforeCloser(character, nextCharacter) {
+    return (character === "," &&
+        (nextCharacter === ")" || nextCharacter === "]" || nextCharacter === "}"));
+}
 function normalizeDiffContent(line) {
     let normalized = "";
     let quote = null;
@@ -55,8 +59,7 @@ function removeSyntacticTrailingCommas(content) {
             continue;
         }
         const nextCharacter = content[index + 1];
-        if (character === "," &&
-            (nextCharacter === ")" || nextCharacter === "]" || nextCharacter === "}")) {
+        if (isTrailingCommaBeforeCloser(character, nextCharacter)) {
             continue;
         }
         normalized += character;

package/dist/public/impact/full-kb-quality.d.ts

@@ -1,14 +1,17 @@
+import type { ExtractionResult } from "../../extractors/markdown.js";
 import type { PrologPort } from "../operations/runtime-types.js";
 import type { QualityDiagnostic } from "./types.js";
 type FullKbQualityDiagnosticsOptions = {
-    readonly prolog: Pick<PrologPort, "query">;
+    readonly prolog: Pick<PrologPort, "query" | "queryEntities">;
     readonly hardViolationEntityIds?: ReadonlySet<string>;
     readonly maxDiagnostics?: number;
     readonly workspaceRoot?: string;
     readonly now?: Date;
-    readonly verificationSnapshot?: string;
+    readonly proofSnapshot?: string;
     readonly checkedAt?: string;
 };
+export declare function loadKbExtractionResults(prolog: Pick<PrologPort, "query" | "queryEntities">): Promise<ExtractionResult[]>;
+export declare function passingE2eStage(passingE2e: unknown): Readonly<Record<string, unknown>> | undefined;
 export declare function collectFullKbQualityDiagnostics(options: FullKbQualityDiagnosticsOptions): Promise<readonly QualityDiagnostic[]>;
 export {};
 //# sourceMappingURL=full-kb-quality.d.ts.map

package/dist/public/impact/full-kb-quality.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"full-kb-quality.d.ts","sourceRoot":"","sources":["../../../src/public/impact/full-kb-quality.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAUjE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAqBpD,KAAK,+BAA+B,GAAG;IACrC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC3C,QAAQ,CAAC,sBAAsB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtD,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B,CAAC;AAoUF,wBAAsB,+BAA+B,CACnD,OAAO,EAAE,+BAA+B,GACvC,OAAO,CAAC,SAAS,iBAAiB,EAAE,CAAC,CAkCvC"}
+{"version":3,"file":"full-kb-quality.d.ts","sourceRoot":"","sources":["../../../src/public/impact/full-kb-quality.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAEV,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AAatC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAWjE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AASpD,KAAK,+BAA+B,GAAG;IACrC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,GAAG,eAAe,CAAC,CAAC;IAC7D,QAAQ,CAAC,sBAAsB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtD,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B,CAAC;AAmgBF,wBAAsB,uBAAuB,CAC3C,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,GAAG,eAAe,CAAC,GAClD,OAAO,CAAC,gBAAgB,EAAE,CAAC,CA0D7B;AAED,wBAAgB,eAAe,CAC7B,UAAU,EAAE,OAAO,GAClB,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,SAAS,CAM/C;AA2ID,wBAAsB,+BAA+B,CACnD,OAAO,EAAE,+BAA+B,GACvC,OAAO,CAAC,SAAS,iBAAiB,EAAE,CAAC,CAkCvC"}