kibi-cli 0.18.1 → 1.0.1

package/dist/prolog.js

@@ -91,12 +91,16 @@ export class PrologProcess {
     interactiveQueryTail = Promise.resolve();
     terminationPromise = null;
     oneShotProcesses = new Set();
-    useOneShotMode = typeof globalThis.Bun !== "undefined";
+    useOneShotMode;
     attachedKbPath = null;
     onProcessExit = null;
     constructor(options = {}) {
         this.swiplPath = options.swiplPath || "swipl";
         this.timeout = options.timeout || 30000;
+        this.useOneShotMode =
+            options.oneShot ??
+                (process.env.NODE_ENV === "test" &&
+                    typeof globalThis.Bun !== "undefined");
     }
     async start() {
         if (!existsSync(this.swiplPath) && this.swiplPath !== "swipl") {
@@ -189,10 +193,21 @@ export class PrologProcess {
             return oneShotResult;
         }
         if (!isSingleGoal) {
-            const batchGoal = `(${goal.map((item) => this.normalizeGoal(item)).join(", ")})`;
+            // A batch is one logical write.  Wrapping it here keeps RDF mutations
+            // atomic in the long-lived process; persistence is appended by the
+            // interactive wrapper once the transaction succeeds.
+            const batchGoal = `rdf_transaction((${goal.map((item) => this.normalizeGoal(item)).join(", ")}))`;
             return this.query(batchGoal);
         }
         if (!this.isProcessUsable()) {
+            // Keep the low-level PrologPort useful for isolated callers that only
+            // need a single read (and for legacy unit fixtures).  Normal CLI/MCP
+            // runtimes provide an EngineClient, while explicitly attached callers
+            // call start() and stay interactive; this fallback never participates
+            // in the engine-backed workflow.
+            if (this.process === null) {
+                return this.execOneShot(goal, this.attachedKbPath);
+            }
             throw new Error("Prolog process not started");
         }
         const runInteractiveQuery = async () => {
@@ -200,9 +215,15 @@ export class PrologProcess {
             const debug = isPrologDebugEnabled();
             const normalizedGoal = this.normalizeGoal(goal);
             const goalLabel = this.goalLabel(normalizedGoal);
-            const wrappedGoal = /^once\s*\(/.test(normalizedGoal)
-                ? `catch(${normalizedGoal}, _E, (print_message(error, _E), fail))`
-                : `catch(once((${normalizedGoal})), _E, (print_message(error, _E), fail))`;
+            const shouldPersist = this.isMutatingGoal(normalizedGoal) &&
+                !normalizedGoal.includes("kb_save") &&
+                !normalizedGoal.includes("kb_commit_upsert");
+            const goalWithPersistence = shouldPersist
+                ? `(${normalizedGoal}, kb_save)`
+                : normalizedGoal;
+            const wrappedGoal = /^once\s*\(/.test(goalWithPersistence)
+                ? `catch(${goalWithPersistence}, _E, (print_message(error, _E), fail))`
+                : `catch(once((${goalWithPersistence})), _E, (print_message(error, _E), fail))`;
             const start = Date.now();
             if (debug) {
                 console.error(`[prolog debug] start query: ${goalLabel}`);
@@ -321,14 +342,26 @@ export class PrologProcess {
             releaseQuery();
         }
     }
+    /** Execute a group of goals as one transaction and one durable save. */
+    async queryBatch(goals) {
+        return this.query([...goals]);
+    }
     invalidateCache() {
         this.cache.clear();
     }
     isCacheableGoal(goal) {
         const trimmed = goal.trim();
+        if (trimmed.startsWith("rdf_transaction(") ||
+            this.isMutatingGoal(trimmed)) {
+            return false;
+        }
         return !(trimmed.startsWith("kb_attach(") ||
             trimmed.startsWith("kb_detach") ||
             trimmed.startsWith("kb_save") ||
+            trimmed.startsWith("kb_storage_status") ||
+            trimmed.startsWith("kb_storage_compact") ||
+            trimmed.startsWith("kb_storage_export") ||
+            trimmed.startsWith("status:") ||
             trimmed.startsWith("kb_commit_upsert(") ||
             trimmed.startsWith("kb_assert_") ||
             trimmed.startsWith("kb_delete_") ||
@@ -336,9 +369,7 @@ export class PrologProcess {
     }
     // implements REQ-009
     isMutatingGoal(goal) {
-        return (goal.includes("kb_assert_") ||
-            goal.includes("kb_delete_") ||
-            goal.includes("kb_retract_"));
+        return /(?:kb_(?:assert|delete|retract|commit|save|log)_|\bkb_save\b|\brdf_(?:assert|retract))/u.test(goal);
     }
     // implements REQ-009
     isExplicitSaveGoal(goal) {
@@ -658,16 +689,35 @@ export class PrologProcess {
     }
     extractBindings(output) {
         const bindings = {};
-        const lines = output.split("\n");
-        for (const line of lines) {
-            const match = line.match(/^([A-Z_][A-Za-z0-9_]*)\s*=\s*(.+)\.?\s*$/);
-            if (match) {
-                const [, varName, value] = match;
-                if (varName !== undefined && value !== undefined) {
-                    bindings[varName] = value.trim().replace(/\.$/, "").replace(/,$/, "");
-                }
+        let variableName;
+        let valueLines = [];
+        const flush = () => {
+            if (variableName === undefined)
+                return;
+            bindings[variableName] = valueLines
+                .join("\n")
+                .trim()
+                .replace(/\.$/, "")
+                .replace(/,$/, "");
+            variableName = undefined;
+            valueLines = [];
+        };
+        // Prolog may print a quoted string over multiple physical lines when the
+        // long-lived session's answer formatting is configured for readable JSON.
+        // Parse assignment records as blocks instead of dropping every continuation
+        // line after the first one (which previously reduced JsonString to "{").
+        for (const line of output.split("\n")) {
+            const match = line.match(/^([A-Z_][A-Za-z0-9_]*)\s*=\s*(.*)$/);
+            if (match?.[1] !== undefined && match[2] !== undefined) {
+                flush();
+                variableName = match[1];
+                valueLines = [match[2]];
+                continue;
             }
+            if (variableName !== undefined)
+                valueLines.push(line);
         }
+        flush();
         return bindings;
     }
     // implements REQ-core-prolog-process-management

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)
@@ -56,8 +63,46 @@ const RECEIPT_GAP_CODES = new Set([
     "stale_verification_receipt",
     "failed_verification_receipt",
     "invalid_verification_receipt",
+    "verification_contract_mismatch",
     "verification_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", "verification_receipts", "verification_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";

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,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"}

package/dist/public/distribution-parity.js

@@ -16,6 +16,7 @@ export const REQUIREMENT_COMPILER_CAPABILITIES = [
     "conservative_proof",
     "repair_plan",
     "verification_receipts",
+    "verification_contract",
     "telemetry_acceptance",
 ];
 const DEFAULT_VOLATILE_KEYS = new Set([

package/dist/public/ignore-policy.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ignore-policy.d.ts","sourceRoot":"","sources":["../../src/public/ignore-policy.ts"],"names":[],"mappings":"AAoBA,MAAM,WAAW,YAAY;IAC3B,SAAS,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC;IACtC,sBAAsB,IAAI,MAAM,EAAE,CAAC;IACnC,OAAO,CAAC,SAAS,EAAE,MAAM,GAAG;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CACnE;AAoBD,wBAAgB,sBAAsB,CAAC,aAAa,EAAE,MAAM,GAAG,YAAY,CAwM1E"}
+{"version":3,"file":"ignore-policy.d.ts","sourceRoot":"","sources":["../../src/public/ignore-policy.ts"],"names":[],"mappings":"AAiBA,MAAM,WAAW,YAAY;IAC3B,SAAS,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC;IACtC,sBAAsB,IAAI,MAAM,EAAE,CAAC;IACnC,OAAO,CAAC,SAAS,EAAE,MAAM,GAAG;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CACnE;AAoBD,wBAAgB,sBAAsB,CAAC,aAAa,EAAE,MAAM,GAAG,YAAY,CAiN1E"}

package/dist/public/ignore-policy.js

@@ -1,8 +1,8 @@
-import { existsSync, readFileSync, readdirSync, } from "node:fs";
+import { existsSync, readFileSync, readdirSync } from "node:fs";
 import * as path from "node:path";
 import ignore from "ignore";
+import { DERIVED_KB_PREFIXES } from "../utils/kb-paths.js";
 const HARD_DENYLIST = [
-    ".kb",
     ".git",
     "node_modules",
     "vendor",
@@ -10,6 +10,8 @@ const HARD_DENYLIST = [
     ".sisyphus",
     ".opencode",
 ];
+/** Derived .kb/ runtime trees. Authored knowledge lanes stay visible. */
+const HARD_DENY_KB_PREFIXES = DERIVED_KB_PREFIXES;
 function readIgnoreFileLines(filePath) {
     if (!existsSync(filePath))
         return [];
@@ -27,7 +29,7 @@ function readIgnoreFileLines(filePath) {
 function toPosix(p) {
     return p.split(path.sep).join("/");
 }
-// implements REQ-001
+// implements REQ-cli-canonical-runtime
 export function createRepoIgnorePolicy(workspaceRoot) {
     const root = path.resolve(workspaceRoot);
     // Load root .gitignore
@@ -53,7 +55,8 @@ export function createRepoIgnorePolicy(workspaceRoot) {
                 // avoid descending into common heavy or control directories
                 if (HARD_DENYLIST.includes(name))
                     continue;
-                // also avoid .git itself to prevent reading internal excludes as nested
+                if (name === ".kb")
+                    continue;
                 if (name === ".git")
                     continue;
                 walk(abs);
@@ -94,6 +97,11 @@ export function createRepoIgnorePolicy(workspaceRoot) {
     }
     function matchesHardDeny(relPosix) {
         const segments = relPosix.split("/").filter(Boolean);
+        for (const prefix of HARD_DENY_KB_PREFIXES) {
+            if (relPosix === prefix || relPosix.startsWith(`${prefix}/`)) {
+                return true;
+            }
+        }
         for (const deny of HARD_DENYLIST) {
             if (segments.includes(deny))
                 return true;
@@ -160,6 +168,10 @@ export function createRepoIgnorePolicy(workspaceRoot) {
             globs.push(`**/${d}/**`);
             globs.push(`**/${d}`);
         }
+        for (const prefix of HARD_DENY_KB_PREFIXES) {
+            globs.push(`**/${prefix}/**`);
+            globs.push(`**/${prefix}`);
+        }
         // Root .gitignore patterns (convert to simple globs)
         for (const p of rootGitPatterns) {
             if (!p || p.startsWith("#") || p.startsWith("!"))

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

@@ -1,4 +1,9 @@
 import type { ExtractionResult } from "../../extractors/markdown.js";
 import type { QualityDiagnostic } from "./types.js";
-export declare function createCoverageDepthQualityDiagnostics(manifestResults: readonly ExtractionResult[]): readonly QualityDiagnostic[];
+export declare function createCoverageDepthQualityDiagnostics(manifestResults: readonly ExtractionResult[], proofByRequirement?: ReadonlyMap<string, Readonly<{
+    readonly proofStatus?: string;
+    readonly passingE2eStatus?: string;
+    readonly passingE2eTests?: readonly string[];
+    readonly receiptGapCodes?: readonly string[];
+}>>): readonly QualityDiagnostic[];
 //# sourceMappingURL=coverage-depth-quality.d.ts.map

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;AAwPpD,wBAAgB,qCAAqC,CACnD,eAAe,EAAE,SAAS,gBAAgB,EAAE,GAC3C,SAAS,iBAAiB,EAAE,CAa9B"}
+{"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"}

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

@@ -80,10 +80,16 @@ function coverageDepthSuggestion(coverageDepth) {
     }
     return "Add or link passing tests, preferably end-to-end or scenario-backed when this behavior warrants e2e confidence.";
 }
-function createDiagnostic(coverage) {
+function createDiagnostic(coverage, proofEvidence) {
     const coverageDepth = classifyCoverageDepth(coverage);
     if (!isReviewableCoverageDepth(coverageDepth))
         return undefined;
+    // Structural coverage and conservative proof are separate lanes. A current
+    // scenario-backed E2E receipt is strong execution evidence even when the
+    // requirement remains unresolved for ontology, symbol, or coordinate gaps.
+    // Do not emit a contradictory weak-depth review in that case.
+    if (proofEvidence?.passingE2eStatus === "passed")
+        return undefined;
     const allTests = uniqueEntities([
         ...coverage.directTests,
         ...coverage.scenarioTests,
@@ -107,6 +113,18 @@ function createDiagnostic(coverage) {
             scenarioTests: coverage.scenarioTests.map((test) => test.id),
             testStatuses: uniqueStrings(allTests.map((test) => test.status)),
             verificationScopes: uniqueStrings(allTests.map(testScope)),
+            ...(proofEvidence?.proofStatus !== undefined
+                ? { proofStatus: proofEvidence.proofStatus }
+                : {}),
+            ...(proofEvidence?.passingE2eStatus !== undefined
+                ? { passingE2eStatus: proofEvidence.passingE2eStatus }
+                : {}),
+            ...(proofEvidence?.passingE2eTests !== undefined
+                ? { passingE2eTests: [...proofEvidence.passingE2eTests] }
+                : {}),
+            ...(proofEvidence?.receiptGapCodes !== undefined
+                ? { receiptGapCodes: [...proofEvidence.receiptGapCodes] }
+                : {}),
         },
     };
 }
@@ -167,12 +185,12 @@ function coverageForRequirement(result, manifestResults, entities) {
         scenarioTests,
     };
 }
-export function createCoverageDepthQualityDiagnostics(manifestResults) {
+export function createCoverageDepthQualityDiagnostics(manifestResults, proofByRequirement = new Map()) {
     const entities = entitiesById(manifestResults);
     return manifestResults
         .filter((result) => result.entity.type === "req")
         .flatMap((result) => {
-        const diagnostic = createDiagnostic(coverageForRequirement(result, manifestResults, entities));
+        const diagnostic = createDiagnostic(coverageForRequirement(result, manifestResults, entities), proofByRequirement.get(result.entity.id));
         return diagnostic === undefined ? [] : [diagnostic];
     })
         .toSorted((left, right) => (left.entityId ?? "").localeCompare(right.entityId ?? ""));

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

@@ -1,11 +1,13 @@
-import type { PrologProcess } from "../../prolog.js";
+import type { PrologPort } from "../operations/runtime-types.js";
 import type { QualityDiagnostic } from "./types.js";
 type FullKbQualityDiagnosticsOptions = {
-    readonly prolog: Pick<PrologProcess, "query">;
+    readonly prolog: Pick<PrologPort, "query">;
     readonly hardViolationEntityIds?: ReadonlySet<string>;
     readonly maxDiagnostics?: number;
     readonly workspaceRoot?: string;
     readonly now?: Date;
+    readonly verificationSnapshot?: string;
+    readonly checkedAt?: string;
 };
 export declare function collectFullKbQualityDiagnostics(options: FullKbQualityDiagnosticsOptions): Promise<readonly QualityDiagnostic[]>;
 export {};

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":"AAMA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAcrD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAqBpD,KAAK,+BAA+B,GAAG;IACrC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IAC9C,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;CACrB,CAAC;AAmOF,wBAAsB,+BAA+B,CACnD,OAAO,EAAE,+BAA+B,GACvC,OAAO,CAAC,SAAS,iBAAiB,EAAE,CAAC,CA0BvC"}
+{"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"}

package/dist/public/impact/full-kb-quality.js

@@ -1,7 +1,9 @@
 import { readFile } from "node:fs/promises";
 import path from "node:path";
 import { parseEntityFromList, parseListOfLists, parseTriples, } from "../../prolog/codec.js";
+import { runOperationJsonQuery, toPrologAtom, toPrologList, } from "../operations/prolog-json.js";
 import { analyzeTelemetryAcceptance, createTelemetryAcceptanceDiagnostics, parseTelemetryUsageLog, } from "../telemetry-acceptance.js";
+import { VERIFICATION_RECEIPT_MAX_AGE_SECONDS } from "../verification-receipt.js";
 import { createCoverageDepthQualityDiagnostics } from "./coverage-depth-quality.js";
 import { createRequirementQualityDiagnostics } from "./requirement-quality.js";
 import { createSymbolQualityDiagnostics } from "./symbol-quality.js";
@@ -172,6 +174,63 @@ async function loadKbExtractionResults(prolog) {
         return result;
     });
 }
+function stringArrayField(value) {
+    return Array.isArray(value) ? value.map(String) : undefined;
+}
+function proofStage(row) {
+    const stages = row.proofStages;
+    if (!stages || typeof stages !== "object" || Array.isArray(stages)) {
+        return undefined;
+    }
+    const passingE2e = stages.passingE2e;
+    return passingE2e &&
+        typeof passingE2e === "object" &&
+        !Array.isArray(passingE2e)
+        ? passingE2e
+        : undefined;
+}
+async function loadCoverageProofEvidence(prolog, requirementCount, verificationSnapshot, checkedAt) {
+    if (verificationSnapshot === undefined ||
+        checkedAt === undefined ||
+        requirementCount === 0) {
+        return new Map();
+    }
+    let payload;
+    try {
+        payload = await runOperationJsonQuery(prolog, "discovery.pl", `discovery:coverage_report_json('req', ${toPrologList([])}, true, true, ${requirementCount}, 0, ${toPrologAtom(verificationSnapshot)}, ${toPrologAtom(checkedAt)}, ${VERIFICATION_RECEIPT_MAX_AGE_SECONDS}, JsonString)`, "Quality diagnostic coverage evidence");
+    }
+    catch {
+        // Quality diagnostics must fail closed when the optional proof readback is
+        // unavailable; a failed advisory query must not make kb_check fail.
+        return new Map();
+    }
+    const evidence = new Map();
+    for (const row of payload.rows ?? []) {
+        const id = typeof row.id === "string" ? row.id : undefined;
+        if (id === undefined)
+            continue;
+        const passingE2e = proofStage(row);
+        const proofGaps = stringArrayField(row.proofGaps);
+        const passingE2eTests = stringArrayField(passingE2e?.tests);
+        evidence.set(id, {
+            ...(typeof row.proofStatus === "string"
+                ? { proofStatus: row.proofStatus }
+                : {}),
+            ...(typeof passingE2e?.status === "string"
+                ? { passingE2eStatus: passingE2e.status }
+                : {}),
+            ...(passingE2eTests !== undefined ? { passingE2eTests } : {}),
+            ...(proofGaps !== undefined
+                ? {
+                    receiptGapCodes: proofGaps.filter((gap) => gap.includes("verification_receipt") ||
+                        gap.includes("verification_contract") ||
+                        gap.includes("verification_snapshot")),
+                }
+                : {}),
+        });
+    }
+    return evidence;
+}
 function capDiagnostics(diagnostics, maxDiagnostics) {
     return maxDiagnostics !== undefined && maxDiagnostics >= 0
         ? diagnostics.slice(0, maxDiagnostics)
@@ -224,7 +283,8 @@ export async function collectFullKbQualityDiagnostics(options) {
         loadKbExtractionResults(options.prolog),
         collectTelemetryDiagnostics(options.workspaceRoot, options.now ?? new Date()),
     ]);
-    const coverageDepthDiagnostics = createCoverageDepthQualityDiagnostics(manifestResults);
+    const proofEvidence = await loadCoverageProofEvidence(options.prolog, manifestResults.filter((result) => result.entity.type === "req").length, options.verificationSnapshot, options.checkedAt);
+    const coverageDepthDiagnostics = createCoverageDepthQualityDiagnostics(manifestResults, proofEvidence);
     const diagnostics = [
         ...telemetryDiagnostics,
         ...createRequirementQualityDiagnostics({

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

@@ -1 +1 @@
-{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../../../src/public/impact/manifest.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAC;AAc3E,wBAAgB,yBAAyB,CACvC,aAAa,EAAE,MAAM,GACpB,SAAS,gBAAgB,EAAE,CAoB7B;AAED,wBAAgB,0BAA0B,CACxC,eAAe,EAAE,SAAS,gBAAgB,EAAE,GAC3C,cAAc,CAYhB"}
+{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../../../src/public/impact/manifest.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAC;AAc3E,wBAAgB,yBAAyB,CACvC,aAAa,EAAE,MAAM,GACpB,SAAS,gBAAgB,EAAE,CAkB7B;AAED,wBAAgB,0BAA0B,CACxC,eAAe,EAAE,SAAS,gBAAgB,EAAE,GAC3C,cAAc,CAYhB"}

package/dist/public/impact/manifest.js

@@ -1,7 +1,7 @@
 import { existsSync } from "node:fs";
 import * as path from "node:path";
 import { extractFromManifest } from "../../extractors/manifest.js";
-import { loadConfig } from "../../utils/config.js";
+import { CANONICAL_ENTITY_PATHS } from "../../utils/kb-paths.js";
 import { isTraceabilityRelationshipType } from "../symbol-granularity.js";
 import { normalizeSourceFile } from "./source-changes.js";
 function toTraceabilityRelationships(relationships) {
@@ -10,10 +10,7 @@ function toTraceabilityRelationships(relationships) {
         .map((relationship) => ({ type: relationship.type, to: relationship.to }));
 }
 export function readImpactManifestResults(workspaceRoot) {
-    const config = loadConfig(workspaceRoot);
-    const symbolsPath = config.paths.symbols;
-    if (!symbolsPath)
-        return [];
+    const symbolsPath = CANONICAL_ENTITY_PATHS.symbols;
     const absolutePath = path.isAbsolute(symbolsPath)
         ? symbolsPath
         : path.resolve(workspaceRoot, symbolsPath);

package/dist/public/operational-artifacts.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"operational-artifacts.d.ts","sourceRoot":"","sources":["../../src/public/operational-artifacts.ts"],"names":[],"mappings":"AAAA,wBAAgB,yBAAyB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAKnE"}
+{"version":3,"file":"operational-artifacts.d.ts","sourceRoot":"","sources":["../../src/public/operational-artifacts.ts"],"names":[],"mappings":"AAAA,wBAAgB,yBAAyB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAanE"}