kibi-cli 0.19.0 → 2.0.0

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,10 @@
 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 uniqueStrings(values: readonly string[]): readonly string[];
+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;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) {
@@ -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/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,12 +1,17 @@
-import type { PrologProcess } from "../../prolog.js";
+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<PrologProcess, "query">;
+    readonly prolog: Pick<PrologPort, "query" | "queryEntities">;
     readonly hardViolationEntityIds?: ReadonlySet<string>;
     readonly maxDiagnostics?: number;
     readonly workspaceRoot?: string;
     readonly now?: Date;
+    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":"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":"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"}