kibi-cli 2.38.0 → 2.40.0

package/dist/traceability/symbol-extract.js

@@ -1,7 +1,9 @@
 import { createHash } from "node:crypto";
 import { readManifestWithCoordinateOverlay } from "../extractors/manifest.js";
+import { declarationTitleAliases, matchDeclarationTitle, } from "../extractors/symbol-title-match.js";
 import { createTsMorphSourceAnalysisProvider, isPrivateClassMember, } from "../extractors/symbols-ts.js";
 import { inferSymbolRole, } from "../public/symbol-granularity.js";
+import { analysisObligation } from "./analysis-gate.js";
 const TRACEABILITY_RELATIONSHIP_TYPES = new Set([
     "implements",
     "covered_by",
@@ -103,7 +105,7 @@ function extractRelationshipsFromManifestRecord(record) {
     }
     return relationships;
 }
-function buildSymbolResult(stagedFile, name, kind, span, inlineReqLinks, manifestLookup) {
+function buildSymbolResult(stagedFile, name, kind, span, inlineReqLinks, manifestLookup, nestedSpans = []) {
     const { id, relationships } = resolveSymbolTraceability(stagedFile.path, name, manifestLookup);
     const manifestReqLinks = getRequirementLinks(relationships);
     const mergedReqLinks = inlineReqLinks.length > 0 ? inlineReqLinks : manifestReqLinks;
@@ -117,7 +119,7 @@ function buildSymbolResult(stagedFile, name, kind, span, inlineReqLinks, manifes
             startLine: span.startLine,
             endLine: span.endLine,
         },
-        hunkRanges: intersectingHunks(span.startLine, span.endLine, stagedFile.hunkRanges),
+        hunkRanges: ownedHunks(span, nestedSpans, stagedFile.hunkRanges),
         reqLinks: mergedReqLinks,
         ...(relationships !== undefined ? { relationships } : {}),
     };
@@ -215,11 +217,33 @@ export async function extractSymbolsFromStagedFileAsync(stagedFile, manifestLook
     else {
         analysis = analyzeWithBuiltinFallback(stagedFile.path, content);
     }
+    // A local gap (a macro, an include, a dynamic definition) does not hide the
+    // declarations the parser placed, so those are validated; a changed line
+    // that no placed declaration contains is reviewed at file level instead.
+    if (analysis && partialAnalysisSymbolsUsable(analysis))
+        return symbolsFromAnalysis(stagedFile, analysis, manifestLookup);
     if (analysis?.status === "failed" || analysis?.status === "partial") {
         throw new Error(`Source analysis ${analysis.status} for ${stagedFile.path}; complete symbol validation is unavailable`);
     }
     return symbolsFromAnalysis(stagedFile, analysis, manifestLookup);
 }
+/**
+ * Whether a partial result still places its declarations: every gap is local
+ * (no parser, timeout or integrity finding) and no output cap hid symbols.
+ */
+// implements REQ-cli-staged-impact-enforcement
+export function partialAnalysisSymbolsUsable(analysis) {
+    if (analysis.status !== "partial")
+        return false;
+    const codes = (analysis.diagnostics ?? []).map((item) => item.code);
+    if (codes.some((code) => /LIMIT/i.test(code)))
+        return false;
+    return (analysisObligation("after", {
+        status: "partial",
+        diagnosticCodes: codes,
+        uncoveredRanges: analysis.uncoveredRanges ?? [],
+    }, []).kind !== "blocked");
+}
 function symbolsFromAnalysis(stagedFile, analysis, manifestLookup) {
     if (!analysis)
         return [];
@@ -234,8 +258,9 @@ function symbolsFromAnalysis(stagedFile, analysis, manifestLookup) {
     }
     const results = [];
     for (const symbol of analysis.symbols) {
+        const nested = nestedSpans(symbol, analysis.symbols);
         try {
-            results.push(buildSymbolResult(stagedFile, sourceSymbolLocator(symbol, analysis.symbols, stagedFile.path, manifestLookup), symbol.kind, { startLine: symbol.startLine, endLine: symbol.endLine }, parseReqDirectives(symbol.directiveText ?? ""), manifestLookup));
+            results.push(buildSymbolResult(stagedFile, sourceSymbolLocator(symbol, analysis.symbols, stagedFile.path, manifestLookup), symbol.kind, { startLine: symbol.startLine, endLine: symbol.endLine }, parseReqDirectives(symbol.directiveText ?? ""), manifestLookup, nested));
         }
         catch (error) {
             if (analysis.status !== undefined)
@@ -252,13 +277,37 @@ function symbolsFromAnalysis(stagedFile, analysis, manifestLookup) {
     return results;
 }
 export { isPrivateClassMember };
-function intersectingHunks(startLine, endLine, hunks) {
-    const out = [];
-    for (const h of hunks) {
-        if (rangesIntersect(startLine, endLine, h.start, h.end))
-            out.push(h);
-    }
-    return out;
+/** Spans of the other declarations strictly inside a declaration's span. */
+function nestedSpans(symbol, symbols) {
+    return symbols
+        .filter((other) => other !== symbol &&
+        symbol.startLine <= other.startLine &&
+        other.endLine <= symbol.endLine &&
+        (other.startLine !== symbol.startLine ||
+            other.endLine !== symbol.endLine))
+        .sort((left, right) => left.startLine - right.startLine);
+}
+/**
+ * Hunks with a changed line inside the span that no nested declaration
+ * contains: a line inside a member changes the member, not its class.
+ */
+function ownedHunks(span, nested, hunks) {
+    return hunks.filter((hunk) => {
+        if (!rangesIntersect(span.startLine, span.endLine, hunk.start, hunk.end))
+            return false;
+        const end = Math.min(span.endLine, hunk.end);
+        let line = Math.max(span.startLine, hunk.start);
+        for (const child of nested) {
+            if (child.endLine < line)
+                continue;
+            if (child.startLine > line)
+                return true;
+            line = child.endLine + 1;
+            if (line > end)
+                return false;
+        }
+        return line <= end;
+    });
 }
 // implements REQ-cli-staged-impact-enforcement
 function sourceSymbolLocator(symbol, symbols, filePath, lookup) {
@@ -267,10 +316,15 @@ function sourceSymbolLocator(symbol, symbols, filePath, lookup) {
         return symbol.name;
     if (lookup?.has(`${filePath}:${qualified}`))
         return qualified;
-    // Preserve an authored legacy unqualified locator only when unambiguous.
-    if (symbols.filter((candidate) => candidate.name === symbol.name).length ===
-        1 &&
-        lookup?.has(`${filePath}:${symbol.name}`))
-        return symbol.name;
+    // Another title sync places on this declaration alone: a Terraform
+    // address, a bare name no other declaration shares, a class named like
+    // its constructors.
+    for (const title of [...declarationTitleAliases(symbol), symbol.name]) {
+        if (!lookup?.has(`${filePath}:${title}`))
+            continue;
+        const match = matchDeclarationTitle(title, symbols, filePath);
+        if ("symbol" in match && match.symbol === symbol)
+            return title;
+    }
     return qualified;
 }

package/dist/traceability/temp-kb.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"temp-kb.d.ts","sourceRoot":"","sources":["../../src/traceability/temp-kb.ts"],"names":[],"mappings":"AAMA,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,GACZ,OAAO,CAET;AACD,OAAO,KAAK,EAGV,gBAAgB,EACjB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,aAAa,CAAC;CACvB;AAMD;;;GAGG;AACH,wBAAgB,gBAAgB,IAAI,IAAI,CASvC;AAQD;;;GAGG;AACH,wBAAgB,iBAAiB,CAE/B,OAAO,EAAE,CAAC,IAAI,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,KAAK,CAAA;CAAE,KAAK,aAAa,GACpE,IAAI,CAEN;AA+RD,iBAAe,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAgB/D;AAED,OAAO,EAAE,cAAc,EAAE,CAAC;AAe1B,wBAAsB,qBAAqB,CACzC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,GAC1B,OAAO,CAAC,IAAI,CAAC,CA4Df;AAED,wBAAsB,YAAY,CAChC,UAAU,CAAC,EAAE,MAAM,GAClB,OAAO,CAAC,aAAa,CAAC,CA+CxB;AAGD,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,eAAe,EAAE,GAAG,MAAM,CAkBrE;AAED,wBAAsB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CA2BlE"}
+{"version":3,"file":"temp-kb.d.ts","sourceRoot":"","sources":["../../src/traceability/temp-kb.ts"],"names":[],"mappings":"AAMA,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,GACZ,OAAO,CAET;AACD,OAAO,KAAK,EAGV,gBAAgB,EACjB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,aAAa,CAAC;CACvB;AAMD;;;GAGG;AACH,wBAAgB,gBAAgB,IAAI,IAAI,CASvC;AAQD;;;GAGG;AACH,wBAAgB,iBAAiB,CAE/B,OAAO,EAAE,CAAC,IAAI,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,KAAK,CAAA;CAAE,KAAK,aAAa,GACpE,IAAI,CAEN;AAySD,iBAAe,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAgB/D;AAED,OAAO,EAAE,cAAc,EAAE,CAAC;AAe1B,wBAAsB,qBAAqB,CACzC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,GAC1B,OAAO,CAAC,IAAI,CAAC,CA4Df;AAED,wBAAsB,YAAY,CAChC,UAAU,CAAC,EAAE,MAAM,GAClB,OAAO,CAAC,aAAa,CAAC,CA+CxB;AAGD,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,eAAe,EAAE,GAAG,MAAM,CAkBrE;AAED,wBAAsB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CA2BlE"}

package/dist/traceability/temp-kb.js

@@ -55,6 +55,10 @@ const FACT_STRING_FIELDS = new Set([
     "canonical_key",
     "claim_key",
     "claim_text",
+    "dimension_waiver",
+    "dimension_waiver_approved_by",
+    "case_waiver",
+    "case_waiver_approved_by",
     "predicate_name",
     "predicate_namespace",
     "rule_hash",
@@ -187,7 +191,13 @@ function buildEntityAssertionGoal(entity, sourceFile) {
     if (entity.type === "req" && entity.semantic_inventory) {
         props.push(`semantic_inventory=${toPrologString(JSON.stringify(entity.semantic_inventory))}`);
     }
-    for (const field of ["approved_by", "approval_ref", "rationale"]) {
+    for (const field of [
+        "approved_by",
+        "approval_ref",
+        "failure_side_waiver",
+        "failure_side_waiver_approved_by",
+        "rationale",
+    ]) {
         const value = entity.type === "req" ? entity[field] : undefined;
         if (value !== undefined)
             props.push(`${field}=${toPrologString(value)}`);

package/dist/traceability/validate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/traceability/validate.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,aAAa,EAAmB,MAAM,cAAc,CAAC;AACnE,OAAO,EACL,KAAK,eAAe,EAIrB,MAAM,oBAAoB,CAAC;AAE5B,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,aAAa,CAAC;CACvB;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,iBAAS,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAO1C;AAED,iBAAS,kBAAkB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CA0B/C;AAED,iBAAS,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CA8CnD;AAED,iBAAS,sBAAsB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CAuBzD;AAGD,wBAAsB,qBAAqB,CACzC,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,SAAS,EAAE,CAAC,CAgDtB;AAED;;;;;GAKG;AAEH,wBAAsB,4BAA4B,CAAC,OAAO,EAAE;IAC1D,MAAM,EAAE,aAAa,CAAC;IACtB,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC,CAgB7B;AAED,8EAA8E;AAE9E,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,SAAS,eAAe,EAAE,GACrC,MAAM,CAaR;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,SAAS,EAAE,GAAG,MAAM,CAkBhE;AAGD,eAAO,MAAM,QAAQ;;;;;CAKpB,CAAC"}
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/traceability/validate.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,aAAa,EAAmB,MAAM,cAAc,CAAC;AACnE,OAAO,EACL,KAAK,eAAe,EAIrB,MAAM,oBAAoB,CAAC;AAE5B,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,aAAa,CAAC;CACvB;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,iBAAS,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAO1C;AAED,iBAAS,kBAAkB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CA0B/C;AAED,iBAAS,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CA8CnD;AAED,iBAAS,sBAAsB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CAuBzD;AAGD,wBAAsB,qBAAqB,CACzC,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,SAAS,EAAE,CAAC,CAgDtB;AAED;;;;;GAKG;AAEH,wBAAsB,4BAA4B,CAAC,OAAO,EAAE;IAC1D,MAAM,EAAE,aAAa,CAAC;IACtB,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC,CAgB7B;AAED,8EAA8E;AAE9E,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,SAAS,eAAe,EAAE,GACrC,MAAM,CAaR;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,SAAS,EAAE,GAAG,MAAM,CAoBhE;AAGD,eAAO,MAAM,QAAQ;;;;;CAKpB,CAAC"}

package/dist/traceability/validate.js

@@ -188,15 +188,13 @@ export function formatViolations(violations) {
         return "";
     const total = violations.length;
     const minLinks = violations[0]?.requiredLinks ?? 0;
-    const lines = [];
-    lines.push(`Traceability failed: ${total}/${total} staged symbols unlinked (minLinks=${minLinks})`);
+    const lines = [
+        `Traceability failed: ${total} changed symbol(s) have fewer than ${minLinks} requirement link(s) (minLinks=${minLinks}):`,
+    ];
     for (const v of violations) {
-        const loc = `${v.file}:${v.line}`;
-        const name = `${v.name}()`;
-        // Suggest adding requirement links with role-specific guidance
-        const suggestion = "Add ownership: implements: REQ-<area>-<behavior> (production code), use covered_by for production coverage, or executable_for for executable test code";
-        lines.push(`${loc}  ${name}  -> ${suggestion}`);
+        lines.push(`  ${v.file}:${v.line}  ${v.name}  (${v.currentLinks} of ${v.requiredLinks} link(s))`);
     }
+    lines.push("To link a symbol, give it an owning requirement, stage the change and re-run kibi check --staged:", `  - Add a .kb/symbols.yaml entry with kb_upsert (CLI: kibi upsert --input -): title as listed above (e.g. ${JSON.stringify(violations[0]?.name ?? "")}), sourceFile, and the relationship implements -> REQ-<area>-<behavior> for production code or executable_for -> TEST-<area>-<behavior> for executable test code. Stage .kb/symbols.yaml with the code.`, "  - Or write a comment `implements REQ-<area>-<behavior>` directly above the declaration.", "  If no requirement fits, find one with kb_search or create it with kb_upsert (type req) first; production symbols also need covered_by -> TEST-<area>-<behavior>.");
     return lines.join("\n");
 }
 // Test helpers for edge-case coverage

package/dist/types/entities.d.ts

@@ -37,6 +37,14 @@ export interface FactFields {
     canonical_key?: string;
     claim_key?: string;
     claim_text?: string;
+    /** Why a quantifier word in claim_text ranges over nothing. */
+    dimension_waiver?: string;
+    /** The person who accepted the dimension waiver. */
+    dimension_waiver_approved_by?: string;
+    /** Why the fact's derived edge cases are covered some other way. */
+    case_waiver?: string;
+    /** The person who accepted the case waiver. */
+    case_waiver_approved_by?: string;
     predicate_name?: string;
     predicate_namespace?: string;
     predicate_arity?: number;
@@ -66,6 +74,10 @@ export type Requirement = BaseEntity & {
     approved_by?: string;
     /** Optional reference to the approval decision record. */
     approval_ref?: string;
+    /** Why the requirement has no failure side to test. */
+    failure_side_waiver?: string;
+    /** The person who accepted the failure-side waiver. */
+    failure_side_waiver_approved_by?: string;
     /** Why the requirement exists; explanation, not checked meaning. */
     rationale?: string;
     /** How firmly it was decided; absent reads as `default` when an agent wrote it, else `firm`. */

package/dist/types/entities.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"entities.d.ts","sourceRoot":"","sources":["../../src/types/entities.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC/E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE/D,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iEAAiE;IACjE,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB;AAGD,MAAM,WAAW,UAAU;IACzB,SAAS,CAAC,EACN,SAAS,GACT,gBAAgB,GAChB,aAAa,GACb,MAAM,GACN,kBAAkB,GAClB,WAAW,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EACL,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,KAAK,GACL,SAAS,GACT,UAAU,GACV,WAAW,GACX,UAAU,CAAC;IACf,UAAU,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC;IAC1D,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,CAAC;IACpD,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,uEAAuE;IACvE,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC9C,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1D,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,sBAAsB;IACrC,kBAAkB,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,YAAY,CAAC;IAC3D,wBAAwB,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IACnD,cAAc,CAAC,EAAE,aAAa,CAAC;IAC/B,cAAc,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACzC,cAAc,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;CAC1C;AAED,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG;IACrC,IAAI,EAAE,KAAK,CAAC;IACZ,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,+DAA+D;IAC/D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,0DAA0D;IAC1D,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,oEAAoE;IACpE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gGAAgG;IAChG,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,aAAa,CAAC;IAC9C,gGAAgG;IAChG,iBAAiB,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,UAAU,GAAG,YAAY,CAAC;IACpE,qFAAqF;IACrF,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B,CAAC;AACF,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AACzD,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,sBAAsB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAChF,MAAM,MAAM,GAAG,GAAG,UAAU,GAAG;IAC7B,IAAI,EAAE,KAAK,CAAC;IACZ,gGAAgG;IAChG,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,aAAa,CAAC;CAC/C,CAAC;AACF,MAAM,MAAM,IAAI,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AACjD,MAAM,MAAM,KAAK,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AACnD,MAAM,MAAM,MAAM,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AACrD,MAAM,MAAM,IAAI,GAAG,UAAU,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9D,MAAM,MAAM,MAAM,GACd,WAAW,GACX,QAAQ,GACR,UAAU,GACV,GAAG,GACH,IAAI,GACJ,KAAK,GACL,MAAM,GACN,IAAI,CAAC"}
+{"version":3,"file":"entities.d.ts","sourceRoot":"","sources":["../../src/types/entities.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC/E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE/D,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iEAAiE;IACjE,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB;AAGD,MAAM,WAAW,UAAU;IACzB,SAAS,CAAC,EACN,SAAS,GACT,gBAAgB,GAChB,aAAa,GACb,MAAM,GACN,kBAAkB,GAClB,WAAW,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EACL,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,KAAK,GACL,SAAS,GACT,UAAU,GACV,WAAW,GACX,UAAU,CAAC;IACf,UAAU,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC;IAC1D,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,CAAC;IACpD,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,+DAA+D;IAC/D,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,oDAAoD;IACpD,4BAA4B,CAAC,EAAE,MAAM,CAAC;IACtC,oEAAoE;IACpE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,+CAA+C;IAC/C,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,uEAAuE;IACvE,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC9C,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1D,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,sBAAsB;IACrC,kBAAkB,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,YAAY,CAAC;IAC3D,wBAAwB,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IACnD,cAAc,CAAC,EAAE,aAAa,CAAC;IAC/B,cAAc,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACzC,cAAc,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;CAC1C;AAED,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG;IACrC,IAAI,EAAE,KAAK,CAAC;IACZ,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,+DAA+D;IAC/D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,0DAA0D;IAC1D,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,uDAAuD;IACvD,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,uDAAuD;IACvD,+BAA+B,CAAC,EAAE,MAAM,CAAC;IACzC,oEAAoE;IACpE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gGAAgG;IAChG,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,aAAa,CAAC;IAC9C,gGAAgG;IAChG,iBAAiB,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,UAAU,GAAG,YAAY,CAAC;IACpE,qFAAqF;IACrF,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B,CAAC;AACF,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AACzD,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,sBAAsB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAChF,MAAM,MAAM,GAAG,GAAG,UAAU,GAAG;IAC7B,IAAI,EAAE,KAAK,CAAC;IACZ,gGAAgG;IAChG,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,aAAa,CAAC;CAC/C,CAAC;AACF,MAAM,MAAM,IAAI,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AACjD,MAAM,MAAM,KAAK,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AACnD,MAAM,MAAM,MAAM,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AACrD,MAAM,MAAM,IAAI,GAAG,UAAU,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9D,MAAM,MAAM,MAAM,GACd,WAAW,GACX,QAAQ,GACR,UAAU,GACV,GAAG,GACH,IAAI,GACJ,KAAK,GACL,MAAM,GACN,IAAI,CAAC"}

package/dist/usage-telemetry.d.ts

@@ -1,4 +1,11 @@
 import type { Command } from "commander";
+/**
+ * Name why this command failed with a fixed identifier (an error code, a
+ * failing doctor check), for the event recorded at exit. The first note wins.
+ */
+export declare function noteCliErrorCategory(category: string | undefined): void;
+/** The error code of a failed JSON result printed by a command, if any. */
+export declare function noteCliResultError(stdout: string | undefined): void;
 /** Remember which registered command ran, for the event recorded at exit. */
 export declare function trackCommandPath(program: Command): () => string | undefined;
 export declare function finishCliTelemetry(input: {
@@ -6,6 +13,8 @@ export declare function finishCliTelemetry(input: {
     readonly packageVersion: string;
     readonly startedAt: Date;
     readonly exitCode: number;
+    /** The error the command threw, when it failed by throwing. */
+    readonly error?: unknown;
     readonly env?: NodeJS.ProcessEnv;
 }): Promise<void>;
 //# sourceMappingURL=usage-telemetry.d.ts.map

package/dist/usage-telemetry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"usage-telemetry.d.ts","sourceRoot":"","sources":["../src/usage-telemetry.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAkBzC,6EAA6E;AAC7E,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,MAAM,GAAG,SAAS,CAc3E;AAGD,wBAAsB,kBAAkB,CAAC,KAAK,EAAE;IAC9C,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC;CAClC,GAAG,OAAO,CAAC,IAAI,CAAC,CA2BhB"}
+{"version":3,"file":"usage-telemetry.d.ts","sourceRoot":"","sources":["../src/usage-telemetry.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAqBzC;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAIvE;AAGD,2EAA2E;AAC3E,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAanE;AAgBD,6EAA6E;AAC7E,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,MAAM,GAAG,SAAS,CAc3E;AAGD,wBAAsB,kBAAkB,CAAC,KAAK,EAAE;IAC9C,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,+DAA+D;IAC/D,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC;CAClC,GAAG,OAAO,CAAC,IAAI,CAAC,CAkChB"}

package/dist/usage-telemetry.js

@@ -1,4 +1,4 @@
-import { flushTelemetry, recordOperationTelemetry, takeTelemetryNotice, } from "kibi-agent-core/usage-telemetry";
+import { detectTelemetryHost, flushTelemetry, recordOperationTelemetry, takeTelemetryNotice, } from "kibi-agent-core/usage-telemetry";
 /**
  * Anonymous usage telemetry for the CLI: one summary event per command,
  * named by its registered command path (`sync`, `storage compact`, `search`)
@@ -7,6 +7,45 @@ import { flushTelemetry, recordOperationTelemetry, takeTelemetryNotice, } from "
  */
 /** Commands that manage telemetry itself are not recorded. */
 const UNRECORDED_COMMANDS = new Set(["telemetry"]);
+let notedErrorCategory;
+// implements REQ-kibi-anonymous-usage-telemetry
+/**
+ * Name why this command failed with a fixed identifier (an error code, a
+ * failing doctor check), for the event recorded at exit. The first note wins.
+ */
+export function noteCliErrorCategory(category) {
+    if (category && notedErrorCategory === undefined) {
+        notedErrorCategory = category;
+    }
+}
+// implements REQ-kibi-anonymous-usage-telemetry
+/** The error code of a failed JSON result printed by a command, if any. */
+export function noteCliResultError(stdout) {
+    if (!stdout)
+        return;
+    try {
+        const parsed = JSON.parse(stdout);
+        if (parsed.status === "error" && typeof parsed.error?.code === "string") {
+            noteCliErrorCategory(parsed.error.code);
+        }
+    }
+    catch {
+        // Not a JSON result.
+    }
+}
+/** A thrown error's code or class name; never its message. */
+function thrownErrorCategory(error) {
+    if (error !== null && typeof error === "object") {
+        const code = error.code;
+        if (typeof code === "string" && code !== "")
+            return code;
+        const name = error.name;
+        if (typeof name === "string" && name !== "" && name !== "Error") {
+            return name;
+        }
+    }
+    return "uncaught_error";
+}
 // implements REQ-kibi-anonymous-usage-telemetry
 /** Remember which registered command ran, for the event recorded at exit. */
 export function trackCommandPath(program) {
@@ -24,6 +63,8 @@ export function trackCommandPath(program) {
 export async function finishCliTelemetry(input) {
     const env = input.env ?? process.env;
     const command = input.commandPath;
+    const noted = notedErrorCategory;
+    notedErrorCategory = undefined;
     if (!command || UNRECORDED_COMMANDS.has(command.split(" ")[0] ?? "")) {
         return;
     }
@@ -33,15 +74,20 @@ export async function finishCliTelemetry(input) {
     recordOperationTelemetry({
         packageName: "kibi-cli",
         packageVersion: input.packageVersion,
-        host: env.KIBI_HOST?.trim() ||
-            env.KIBI_MCP_HOST?.trim() ||
-            (env.CLAUDECODE === "1" ? "claude-code" : undefined),
+        host: detectTelemetryHost(env),
+        workspaceRoot: process.cwd(),
     }, {
         interface: "cli",
         operation: command,
         status: input.exitCode === 0 ? "success" : "error",
         durationMs: Date.now() - input.startedAt.getTime(),
         exitCode: input.exitCode,
+        errorCategory: input.exitCode === 0
+            ? undefined
+            : (noted ??
+                (input.error === undefined
+                    ? undefined
+                    : thrownErrorCategory(input.error))),
     }, env);
     await flushTelemetry({}, env);
 }

package/dist/utils/first-sentence.d.ts

@@ -0,0 +1,9 @@
+/**
+ * The first sentence of prose, used to title a requirement. A sentence ends
+ * at `.`, `!` or `?` followed by whitespace and an uppercase letter, or at
+ * the end of the text, so the dot in a path (`src/match.c`), a dotted name
+ * (`console.log`, `exec.Command`), a version (`v1.2`), an abbreviation or
+ * backticks never cuts it. A closing dot is dropped.
+ */
+export declare function firstSentence(text: string): string;
+//# sourceMappingURL=first-sentence.d.ts.map

package/dist/utils/first-sentence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"first-sentence.d.ts","sourceRoot":"","sources":["../../src/utils/first-sentence.ts"],"names":[],"mappings":"AAyBA;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAmBlD"}

package/dist/utils/first-sentence.js

@@ -0,0 +1,52 @@
+/*
+ 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/>.
+*/
+/** Abbreviations whose dot does not end a sentence. */
+const ABBREVIATION = /(?:^|[\s(])(?:e\.g|i\.e|etc|vs|cf|approx)\.$/i;
+/** After a sentence end: whitespace, then an uppercase letter (maybe quoted). */
+const NEXT_SENTENCE = /^\s+["'(“]?\p{Lu}/u;
+// implements REQ-mcp-semantic-advisor-preflight
+/**
+ * The first sentence of prose, used to title a requirement. A sentence ends
+ * at `.`, `!` or `?` followed by whitespace and an uppercase letter, or at
+ * the end of the text, so the dot in a path (`src/match.c`), a dotted name
+ * (`console.log`, `exec.Command`), a version (`v1.2`), an abbreviation or
+ * backticks never cuts it. A closing dot is dropped.
+ */
+export function firstSentence(text) {
+    const value = text.trim();
+    let quoted = false;
+    for (let index = 0; index < value.length; index += 1) {
+        const char = value[index] ?? "";
+        if (char === "`") {
+            quoted = !quoted;
+            continue;
+        }
+        if (quoted || (char !== "." && char !== "!" && char !== "?"))
+            continue;
+        const rest = value.slice(index + 1);
+        const atEnd = rest.trim() === "";
+        if (!atEnd && !NEXT_SENTENCE.test(rest))
+            continue;
+        if (char === "." && ABBREVIATION.test(value.slice(0, index + 1)))
+            continue;
+        return (char === "." ? value.slice(0, index) : value.slice(0, index + 1))
+            .replace(/\.+$/, "")
+            .trim();
+    }
+    return value;
+}

package/dist/utils/rule-registry.generated.d.ts

@@ -18,6 +18,12 @@ export declare const GENERATED_RULES: readonly [{
     readonly description: "A symbol with traceability relationships must not link its source file coarsely while narrower behavioral symbols are available, unless it carries an allowed granularity_reason; the staged gate's symbol_granularity_violation evaluated KB-wide";
     readonly enforcementClass: "canonical";
     readonly category: "traceability";
+}, {
+    readonly name: "symbol-coordinates-missing";
+    readonly description: "Advisory: an active symbol names a source file that exists, but Kibi could not place it there (the declaration was not found, the file is unreadable to the analyzer, or a declared plugin or grammar pack is missing), so its link is checked against no code";
+    readonly enforcementClass: "advisory";
+    readonly category: "traceability";
+    readonly diagnosticSeverity: "warning";
 }, {
     readonly name: "no-dangling-refs";
     readonly description: "All relationship targets must exist in the KB";
@@ -68,6 +74,11 @@ export declare const GENERATED_RULES: readonly [{
     readonly description: "Advisory: a scenario that expects success assumes nothing, assumes values that contradict each other, assumes a property value no governing requirement constrains comparably (type, unit or operator mismatch, or conflicting requirements), leaves a governing rule's conditions undecided, or conflicts only with constraints whose validity window may not cover it, so its feasibility cannot be decided";
     readonly enforcementClass: "advisory";
     readonly category: "integrity";
+}, {
+    readonly name: "scenario-outcome-mismatch";
+    readonly description: "A scenario that expects rejection or error must assume a value or situation a current requirement forbids: when every assumption is governed by current requirements and they permit all of them together, the knowledge base predicts success and the scenario exercises no failure side";
+    readonly enforcementClass: "canonical";
+    readonly category: "integrity";
 }, {
     readonly name: "exception-claim-keys";
     readonly description: "An exception requirement's exempts_claims must name claim keys of a requirement it exempts, and requires an exempts link";

package/dist/utils/rule-registry.generated.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"rule-registry.generated.d.ts","sourceRoot":"","sources":["../../src/utils/rule-registry.generated.ts"],"names":[],"mappings":"AAUA,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAmZlB,CAAC"}
+{"version":3,"file":"rule-registry.generated.d.ts","sourceRoot":"","sources":["../../src/utils/rule-registry.generated.ts"],"names":[],"mappings":"AAUA,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAkalB,CAAC"}

package/dist/utils/rule-registry.generated.js

@@ -32,6 +32,13 @@ export const GENERATED_RULES = [
         enforcementClass: "canonical",
         category: "traceability",
     },
+    {
+        name: "symbol-coordinates-missing",
+        description: "Advisory: an active symbol names a source file that exists, but Kibi could not place it there (the declaration was not found, the file is unreadable to the analyzer, or a declared plugin or grammar pack is missing), so its link is checked against no code",
+        enforcementClass: "advisory",
+        category: "traceability",
+        diagnosticSeverity: "warning",
+    },
     {
         name: "no-dangling-refs",
         description: "All relationship targets must exist in the KB",
@@ -92,6 +99,12 @@ export const GENERATED_RULES = [
         enforcementClass: "advisory",
         category: "integrity",
     },
+    {
+        name: "scenario-outcome-mismatch",
+        description: "A scenario that expects rejection or error must assume a value or situation a current requirement forbids: when every assumption is governed by current requirements and they permit all of them together, the knowledge base predicts success and the scenario exercises no failure side",
+        enforcementClass: "canonical",
+        category: "integrity",
+    },
     {
         name: "exception-claim-keys",
         description: "An exception requirement's exempts_claims must name claim keys of a requirement it exempts, and requires an exempts link",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "kibi-cli",
-  "version": "2.38.0",
+  "version": "2.40.0",
   "type": "module",
   "description": "Kibi CLI for knowledge base management",
   "engines": {
@@ -239,14 +239,14 @@
     "fast-glob": "^3.2.12",
     "gray-matter": "^4.0.3",
     "js-yaml": "^4.1.0",
-    "kibi-core": "^0.27.0",
-    "kibi-plugin-builtin": "^0.5.3",
-    "kibi-plugin-sdk": "^0.5.1",
+    "kibi-core": "^0.29.0",
+    "kibi-plugin-builtin": "^0.5.4",
+    "kibi-plugin-sdk": "^0.6.0",
     "kibi-swipl": "^1.0.1",
     "saxes": "^6.0.0",
     "ignore": "^5.3.0",
     "yaml": "^2.9.1",
-    "kibi-agent-core": "^0.10.0"
+    "kibi-agent-core": "^0.11.1"
   },
   "devDependencies": {
     "@types/node": "latest",

package/schema/entities.pl

@@ -47,6 +47,10 @@ entity_property(req, proof_exempt_reason, string).
 % Only an approved exception makes a success scenario feasible.
 entity_property(req, approved_by, string).
 entity_property(req, approval_ref, string).
+% Why a requirement has no failure side to test (its claims state a
+% capability or output shape), and the human who accepted that.
+entity_property(req, failure_side_waiver, string).
+entity_property(req, failure_side_waiver_approved_by, string).
 % Why the requirement exists, in the words of whoever stated the intent.
 % Explanation only: it is never part of the checked meaning.
 entity_property(req, rationale, string).
@@ -83,6 +87,12 @@ entity_property(fact, valid_to, datetime).
 entity_property(fact, canonical_key, string).
 entity_property(fact, claim_key, string).
 entity_property(fact, claim_text, string).
+% Why a quantifier word in claim_text ranges over nothing, so the claim
+% needs no dimension, and the human who accepted that.
+entity_property(fact, dimension_waiver, string).
+entity_property(fact, dimension_waiver_approved_by, string).
+entity_property(fact, case_waiver, string).
+entity_property(fact, case_waiver_approved_by, string).
 entity_property(fact, predicate_name, string).
 entity_property(fact, predicate_namespace, string).
 entity_property(fact, predicate_arity, integer).
@@ -149,6 +159,8 @@ optional_property(req, semantic_source_hash).
 optional_property(req, semantic_inventory).
 optional_property(req, proof_exempt).
 optional_property(req, proof_exempt_reason).
+optional_property(req, failure_side_waiver).
+optional_property(req, failure_side_waiver_approved_by).
 optional_property(req, approved_by).
 optional_property(req, approval_ref).
 optional_property(req, rationale).

package/src/public/operations/check-executor.ts

@@ -61,6 +61,7 @@ import {
   collectSourcePathDanglingViolations,
 } from "./source-path-dangling.js";
 import { collectSourceRelationshipParityViolations } from "./source-relationship-parity.js";
+import { collectSymbolCoordinatesMissingViolations } from "./symbol-coordinates-check.js";
 import { collectSymbolGranularityViolations } from "./symbol-granularity-check.js";
 import type { OperationResult } from "./types.js";
 import { readWorkspaceSnapshot } from "./workspace-snapshot.js";
@@ -414,6 +415,12 @@ export async function executeCheck(
       rulesAllowlist,
       analysisCacheDir(context, workspaceRoot, options),
     );
+    const symbolCoordinateFindings =
+      await collectSymbolCoordinatesMissingViolations(
+        prolog,
+        workspaceRoot,
+        rulesAllowlist,
+      );
     const originReviewFindings = await collectOriginReviewViolations(
       prolog,
       rulesAllowlist,
@@ -449,6 +456,7 @@ export async function executeCheck(
       ...sourceRelationshipParityViolations,
       ...sourcePathFindings,
       ...symbolGranularityFindings,
+      ...symbolCoordinateFindings,
       ...predicateConformanceFindings,
       ...originReviewFindings,
       ...entityContextFindings,

package/src/public/operations/evidence-floor.ts

@@ -46,6 +46,12 @@ export type EvidenceFloorRow = Readonly<{
   proofGaps: readonly string[];
   /** The tests and symbols behind the gaps; empty lists are left out. */
   gapDetails?: Readonly<Record<string, readonly string[]>>;
+  /** Claims a proof refuted: the test, the claim and what the test read. */
+  refutations?: readonly Readonly<{
+    test: string;
+    claimKey: string;
+    reason: string;
+  }>[];
 }>;
 
 type EvidenceFloorPayload = {
@@ -100,7 +106,28 @@ export function gapDetailLines(row: EvidenceFloorRow): string[] {
   );
 }
 
+/** Gaps a refuted claim leaves that a derived proof would have covered. */
+const REFUTATION_GAPS = new Set(["happy_path_only", "uncovered_case"]);
+
+/** Each refuted claim in plain words: which test refutes it and why. */
+// implements REQ-kibi-claim-bound-proofs
+export function refutationText(row: EvidenceFloorRow): string | undefined {
+  const refutations = row.refutations ?? [];
+  if (refutations.length === 0) return undefined;
+  return refutations
+    .map(
+      (refutation) =>
+        `${refutation.test} refutes ${refutation.claimKey}: ${refutation.reason}`,
+    )
+    .join("; ");
+}
+
 function suggestionFor(row: EvidenceFloorRow): string {
+  const refuted = refutationText(row);
+  if (refuted !== undefined) {
+    const following = row.proofGaps.filter((gap) => REFUTATION_GAPS.has(gap));
+    return `The code breaks a claim of ${row.id} (${refuted}). Fix the code so it keeps the claim, or, with the person who owns the rule, change the requirement, then run kibi prove${following.length > 0 ? `; ${following.join(" and ")} ${following.length > 1 ? "clear" : "clears"} once the proof derives the claim` : ""}. kibi proof explain ${row.id} shows each claim's bindings.`;
+  }
   if (row.status === "pending_reproof")
     return `Run kibi prove for the tests behind ${row.id} so its receipts match the current code, then rerun kibi check --fresh-evidence.`;
   switch (row.requiredEvidence) {
@@ -127,7 +154,7 @@ export function evidenceFloorViolations(
       description:
         row.status === "pending_reproof"
           ? `${row.id} is ${row.evidenceLevel} but needs ${row.requiredEvidence} (${floorSource(row)}); its receipts are older than the code`
-          : `${row.id} is ${row.evidenceLevel} but needs ${row.requiredEvidence} (${floorSource(row)})`,
+          : `${row.id} is ${row.evidenceLevel} but needs ${row.requiredEvidence} (${floorSource(row)})${refutationText(row) === undefined ? "" : `; its proof refutes a claim: ${refutationText(row)}`}`,
       suggestion: suggestionFor(row),
       evidence: {
         evidenceLevel: row.evidenceLevel,
@@ -137,6 +164,7 @@ export function evidenceFloorViolations(
         proofStatus: row.proofStatus,
         proofGaps: row.proofGaps,
         ...(row.gapDetails === undefined ? {} : { gapDetails: row.gapDetails }),
+        ...(row.refutations?.length ? { refutations: row.refutations } : {}),
       },
     }));
 }