kibi-cli 1.0.1 → 2.1.0

package/dist/traceability/symbol-extract.js

@@ -1,6 +1,6 @@
 import { createHash } from "node:crypto";
-import { Project, Scope, ScriptKind } from "ts-morph";
 import { readManifestWithCoordinateOverlay } from "../extractors/manifest.js";
+import { createTsMorphSourceAnalysisProvider, isPrivateClassMember, } from "../extractors/symbols-ts.js";
 import { inferSymbolRole, } from "../public/symbol-granularity.js";
 const TRACEABILITY_RELATIONSHIP_TYPES = new Set([
     "implements",
@@ -122,24 +122,13 @@ function buildSymbolResult(stagedFile, name, kind, span, inlineReqLinks, manifes
     };
 }
 // Simple in-memory cache keyed by blob sha with 30s TTL
-const sourceFileCache = new Map();
+const analysisCache = new Map();
 const CACHE_TTL_MS = 30 * 1000;
-const project = new Project({ skipAddingFilesFromTsConfig: true });
 function computeContentSha(content) {
     const h = createHash("sha256");
     h.update(content);
     return h.digest("hex");
 }
-function chooseScriptKind(path) {
-    const lower = path.toLowerCase();
-    if (lower.endsWith(".tsx"))
-        return ScriptKind.TSX;
-    if (lower.endsWith(".ts") || lower.endsWith(".mts") || lower.endsWith(".cts"))
-        return ScriptKind.TS;
-    if (lower.endsWith(".jsx"))
-        return ScriptKind.JSX;
-    return ScriptKind.JS;
-}
 function parseReqDirectives(text) {
     // look for lines containing implements REQ-123 or implements: REQ-1, REQ-2
     // Stop at end-of-line and only accept IDs starting with an uppercase letter
@@ -167,210 +156,92 @@ function parseReqDirectives(text) {
 function rangesIntersect(aStart, aEnd, bStart, bEnd) {
     return aStart <= bEnd && bStart <= aEnd;
 }
+function analyzeWithBuiltinFallback(filePath, content) {
+    const provider = createTsMorphSourceAnalysisProvider();
+    if (!provider.supportsFile(filePath))
+        return null;
+    return provider.analyzeText(filePath, content);
+}
 export function extractSymbolsFromStagedFile(
 // implements REQ-008
-stagedFile, manifestLookup) {
+stagedFile, manifestLookup, options) {
     const content = stagedFile.content ?? "";
-    const sha = computeContentSha(`${content}|${stagedFile.path}`);
+    const sha = computeContentSha(`${content}|${stagedFile.path}|${options?.analyzeText ? "custom" : "builtin"}`);
     // TTL cache lookup
     const now = Date.now();
-    let cached = sourceFileCache.get(sha);
+    let cached = analysisCache.get(sha);
     if (!cached || now - cached.ts > CACHE_TTL_MS) {
-        // create or recreate SourceFile in project (in-memory)
         try {
-            const scriptKind = chooseScriptKind(stagedFile.path);
-            const sf = project.createSourceFile(`${stagedFile.path}::staged`, content, {
-                overwrite: true,
-                scriptKind,
-            });
-            cached = { tsf: sf, ts: now };
-            sourceFileCache.set(sha, cached);
+            const analyze = options?.analyzeText ?? analyzeWithBuiltinFallback;
+            const raw = analyze(stagedFile.path, content);
+            if (raw instanceof Promise) {
+                throw new Error("extractSymbolsFromStagedFile received async analyzeText; use extractSymbolsFromStagedFileAsync");
+            }
+            cached = { result: raw, ts: now };
+            analysisCache.set(sha, cached);
         }
-        catch (err) {
+        catch (error) {
+            if (error instanceof Error &&
+                error.message.includes("extractSymbolsFromStagedFileAsync")) {
+                throw error;
+            }
             // on parse error, cache null to avoid retry storms briefly
-            cached = { tsf: null, ts: now };
-            sourceFileCache.set(sha, cached);
-        }
-    }
-    const sf = cached.tsf;
-    if (!sf)
-        return [];
-    const results = [];
-    // helpers to compute line spans
-    const getSpan = (startPos, endPos) => {
-        const start = sf.getLineAndColumnAtPos(startPos);
-        const end = sf.getLineAndColumnAtPos(endPos);
-        return { startLine: start.line, endLine: end.line };
-    };
-    // Functions
-    for (const fn of sf.getFunctions()) {
-        if (!fn.isExported())
-            continue;
-        try {
-            const name = fn.getName() ?? "<anonymous>";
-            const nameNode = fn.getNameNode();
-            const start = nameNode ? nameNode.getStart() : fn.getStart();
-            const end = fn.getEnd();
-            const span = getSpan(start, end);
-            const reqLinks = parseReqDirectives(`${fn.getFullText()}\n${fn
-                .getJsDocs()
-                .map((d) => d.getFullText())
-                .join("\n")}`);
-            results.push(buildSymbolResult(stagedFile, name, "function", span, reqLinks, manifestLookup));
-        }
-        catch {
-            void stagedFile.path;
+            cached = { result: null, ts: now };
+            analysisCache.set(sha, cached);
         }
     }
-    // Classes
-    for (const cls of sf.getClasses()) {
-        if (!cls.isExported())
-            continue;
+    return symbolsFromAnalysis(stagedFile, cached.result, manifestLookup);
+}
+/**
+ * Async staged symbol extraction. Defaults to deterministic builtin analysis.
+ * Pass an explicit `registry` only from allowlisted async surfaces that compose
+ * replace/augment/shadow (e.g. symbol repair). Maintenance paths (`check`,
+ * impact, sync, status, proof) must omit `registry` so external extractors
+ * never participate.
+ */
+// implements REQ-capability-plugin-activation-disclosure-v1
+export async function extractSymbolsFromStagedFileAsync(stagedFile, manifestLookup, options) {
+    const content = stagedFile.content ?? "";
+    const sha = computeContentSha(`${content}|${stagedFile.path}|async|${options.registry ? "registry" : "custom"}`);
+    const now = Date.now();
+    let cached = analysisCache.get(sha);
+    if (!cached || now - cached.ts > CACHE_TTL_MS) {
         try {
-            const name = cls.getName() ?? "<anonymous>";
-            const start = cls.getNameNode()?.getStart() ?? cls.getStart();
-            const end = cls.getEnd();
-            const span = getSpan(start, end);
-            const reqLinks = parseReqDirectives(getJsDocText(cls.getJsDocs()));
-            results.push(buildSymbolResult(stagedFile, name, "class", span, reqLinks, manifestLookup));
-        }
-        catch {
-            void stagedFile.path;
-        }
-        for (const method of typeof cls.getMethods === "function"
-            ? cls.getMethods()
-            : []) {
-            try {
-                if (isPrivateClassMember(method))
-                    continue;
-                const name = formatMethodSymbolName(cls.getName(), method.getName());
-                const start = method.getNameNode()?.getStart() ?? method.getStart();
-                const end = method.getEnd();
-                const span = getSpan(start, end);
-                const reqLinks = parseReqDirectives(`${method.getFullText()}\n${method
-                    .getJsDocs()
-                    .map((d) => d.getFullText())
-                    .join("\n")}`);
-                results.push(buildSymbolResult(stagedFile, name, "method", span, reqLinks, manifestLookup));
-            }
-            catch {
-                void stagedFile.path;
-            }
-        }
-        for (const property of typeof cls.getProperties === "function"
-            ? cls.getProperties()
-            : []) {
-            try {
-                if (isPrivateClassMember(property))
-                    continue;
-                const name = formatMethodSymbolName(cls.getName(), property.getName());
-                const start = property.getNameNode()?.getStart() ?? property.getStart();
-                const end = property.getEnd();
-                const span = getSpan(start, end);
-                const reqLinks = parseReqDirectives(`${property.getFullText()}\n${property
-                    .getJsDocs()
-                    .map((d) => d.getFullText())
-                    .join("\n")}`);
-                results.push(buildSymbolResult(stagedFile, name, "property", span, reqLinks, manifestLookup));
-            }
-            catch {
-                void stagedFile.path;
+            let analysis = null;
+            if (options.analyzeText) {
+                analysis = await options.analyzeText(stagedFile.path, content);
             }
-        }
-        for (const accessor of [
-            ...(typeof cls.getGetAccessors === "function"
-                ? cls.getGetAccessors()
-                : []),
-            ...(typeof cls.getSetAccessors === "function"
-                ? cls.getSetAccessors()
-                : []),
-        ]) {
-            try {
-                if (isPrivateClassMember(accessor))
-                    continue;
-                const name = formatMethodSymbolName(cls.getName(), accessor.getName());
-                const start = accessor.getNameNode()?.getStart() ?? accessor.getStart();
-                const end = accessor.getEnd();
-                const span = getSpan(start, end);
-                const reqLinks = parseReqDirectives(`${accessor.getFullText()}\n${accessor
-                    .getJsDocs()
-                    .map((d) => d.getFullText())
-                    .join("\n")}`);
-                results.push(buildSymbolResult(stagedFile, name, "accessor", span, reqLinks, manifestLookup));
+            else if (options.registry) {
+                const { createSourceAnalysisService } = await import("../plugins/source-analysis-service.js");
+                analysis = await createSourceAnalysisService({
+                    registry: options.registry,
+                }).analyzeText(stagedFile.path, content);
             }
-            catch {
-                void stagedFile.path;
+            else {
+                analysis = analyzeWithBuiltinFallback(stagedFile.path, content);
             }
-        }
-    }
-    // Enums
-    for (const en of sf.getEnums()) {
-        if (!en.isExported())
-            continue;
-        try {
-            const name = en.getName() ?? "<anonymous>";
-            const start = en.getNameNode()?.getStart() ?? en.getStart();
-            const end = en.getEnd();
-            const span = getSpan(start, end);
-            const reqLinks = parseReqDirectives(en.getText());
-            results.push(buildSymbolResult(stagedFile, name, "enum", span, reqLinks, manifestLookup));
-        }
-        catch {
-            void stagedFile.path;
-        }
-    }
-    for (const iface of typeof sf.getInterfaces === "function"
-        ? sf.getInterfaces()
-        : []) {
-        if (!iface.isExported())
-            continue;
-        try {
-            const name = iface.getName();
-            const start = iface.getNameNode().getStart();
-            const end = iface.getEnd();
-            const span = getSpan(start, end);
-            const reqLinks = parseReqDirectives(iface.getText());
-            results.push(buildSymbolResult(stagedFile, name, "interface", span, reqLinks, manifestLookup));
+            cached = { result: analysis, ts: now };
+            analysisCache.set(sha, cached);
         }
         catch {
-            void stagedFile.path;
+            cached = { result: null, ts: now };
+            analysisCache.set(sha, cached);
         }
     }
-    for (const alias of typeof sf.getTypeAliases === "function"
-        ? sf.getTypeAliases()
-        : []) {
-        if (!alias.isExported())
-            continue;
+    return symbolsFromAnalysis(stagedFile, cached.result, manifestLookup);
+}
+function symbolsFromAnalysis(stagedFile, analysis, manifestLookup) {
+    if (!analysis)
+        return [];
+    const results = [];
+    for (const symbol of analysis.symbols) {
         try {
-            const name = alias.getName();
-            const start = alias.getNameNode().getStart();
-            const end = alias.getEnd();
-            const span = getSpan(start, end);
-            const reqLinks = parseReqDirectives(alias.getText());
-            results.push(buildSymbolResult(stagedFile, name, "type", span, reqLinks, manifestLookup));
+            results.push(buildSymbolResult(stagedFile, symbol.name, symbol.kind, { startLine: symbol.startLine, endLine: symbol.endLine }, parseReqDirectives(symbol.directiveText ?? ""), manifestLookup));
         }
         catch {
             void stagedFile.path;
         }
     }
-    // Variable statements (exported)
-    for (const vs of sf.getVariableStatements()) {
-        if (!vs.isExported())
-            continue;
-        for (const decl of vs.getDeclarations()) {
-            try {
-                const name = decl.getName();
-                const start = decl.getNameNode()?.getStart() ?? decl.getStart();
-                const end = decl.getEnd();
-                const span = getSpan(start, end);
-                const reqLinks = parseReqDirectives(decl.getText());
-                results.push(buildSymbolResult(stagedFile, name, "variable", span, reqLinks, manifestLookup));
-            }
-            catch {
-                void stagedFile.path;
-            }
-        }
-    }
     // Filter to only include symbols that intersect with at least one hunk
     // (unless it's a new file or rename, in which case we include all)
     const shouldFilterByHunks = stagedFile.status === "M" && stagedFile.hunkRanges.length > 0;
@@ -379,22 +250,7 @@ stagedFile, manifestLookup) {
     }
     return results;
 }
-function isPrivateClassMember(member) {
-    const name = typeof member.getName === "function" ? member.getName() : "";
-    if (name.startsWith("#")) {
-        return true;
-    }
-    if (typeof member.getScope === "function") {
-        return member.getScope() === Scope.Private;
-    }
-    return false;
-}
-function formatMethodSymbolName(className, methodName) {
-    return className ? `${className}.${methodName}` : methodName;
-}
-function getJsDocText(jsDocs) {
-    return jsDocs.map((d) => d.getFullText()).join("\n");
-}
+export { isPrivateClassMember };
 function intersectingHunks(startLine, endLine, hunks) {
     const out = [];
     for (const h of hunks) {

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

@@ -1,3 +1,4 @@
+export declare function skipNonIntegerFactNumber(field: string, value: number): boolean;
 import type { ExtractionResult } from "../extractors/markdown.js";
 import { PrologProcess } from "../prolog.js";
 import type { ExtractedSymbol } from "./symbol-extract";
@@ -18,6 +19,7 @@ export declare function resetModuleState(): void;
  */
 export declare function _setPrologFactory(factory: (opts: {
     timeout: number;
+    oneShot: false;
 }) => PrologProcess): void;
 declare function consultOverlay(ctx: TempKbContext): Promise<void>;
 export { consultOverlay };

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":"AAKA,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;AAOD;;;GAGG;AACH,wBAAgB,iBAAiB,CAE/B,OAAO,EAAE,CAAC,IAAI,EAAE;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,KAAK,aAAa,GACpD,IAAI,CAEN;AAyPD,iBAAe,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAgB/D;AAED,OAAO,EAAE,cAAc,EAAE,CAAC;AAG1B,wBAAsB,qBAAqB,CACzC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,GAC1B,OAAO,CAAC,IAAI,CAAC,CA2Bf;AAED,wBAAsB,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,CA6C7E;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;AAmQD,iBAAe,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAgB/D;AAED,OAAO,EAAE,cAAc,EAAE,CAAC;AAG1B,wBAAsB,qBAAqB,CACzC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,GAC1B,OAAO,CAAC,IAAI,CAAC,CA2Bf;AAED,wBAAsB,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,CA6C7E;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

@@ -3,6 +3,9 @@ import { cp, mkdir, rm, writeFile } from "node:fs/promises";
 import { tmpdir } from "node:os";
 import path from "node:path";
 import { isCliTraceOrDebugEnabled } from "../env.js";
+export function skipNonIntegerFactNumber(field, value) {
+    return field === "value_int" && !Number.isInteger(value);
+}
 import { PrologProcess } from "../prolog.js";
 import { toPrologAtom, toPrologString } from "../prolog/codec.js";
 const prologByTempDir = new Map();
@@ -113,7 +116,7 @@ function serializeTypedFactFields(entity) {
     for (const field of FACT_NUMBER_FIELDS) {
         const value = getEntityField(entity, field);
         if (value !== undefined && value !== null && typeof value === "number") {
-            if (field === "value_int" && !Number.isInteger(value)) {
+            if (skipNonIntegerFactNumber(field, value)) {
                 continue;
             }
             fields.push(`${field}=${value}`);
@@ -202,8 +205,14 @@ function buildEntityAssertionGoal(entity, sourceFile) {
         if (entity.verification_perspective !== undefined) {
             props.push(`verification_perspective=${toPrologAtom(entity.verification_perspective)}`);
         }
-        if (entity.verification_contract !== undefined) {
-            props.push(`verification_contract=${toPrologString(JSON.stringify(entity.verification_contract))}`);
+        if (entity.proof_contract !== undefined) {
+            props.push(`proof_contract=${toPrologString(JSON.stringify(entity.proof_contract))}`);
+        }
+        if (entity.proof_bindings !== undefined) {
+            props.push(`proof_bindings=${toPrologString(JSON.stringify(entity.proof_bindings))}`);
+        }
+        if (entity.proof_receipts !== undefined) {
+            props.push(`proof_receipts=${toPrologString(JSON.stringify(entity.proof_receipts))}`);
         }
     }
     return `kb_assert_entity_no_audit(${entity.type}, [${props.join(", ")}])`;
@@ -283,7 +292,7 @@ export async function createTempKb(baseKbPath) {
     trace(`copying base KB ${baseKbPath} -> ${kbPath}`);
     await cp(baseKbPath, kbPath, { recursive: true });
     await writeFile(overlayPath, "", "utf8");
-    const prolog = _createProlog({ timeout: 120000 });
+    const prolog = _createProlog({ timeout: 120000, oneShot: false });
     await prolog.start();
     prologByTempDir.set(tempDir, prolog);
     // ctx includes prolog so callers can use it directly

package/dist/types/entities.d.ts

@@ -1,4 +1,5 @@
-import type { VerificationContract, VerificationReceipt } from "../public/verification-receipt.js";
+import type { ProofBinding, ProofContract } from "../public/proof-protocol.js";
+import type { ProofReceipt } from "../public/proof-receipt.js";
 export interface BaseEntity {
     id: string;
     title: string;
@@ -45,8 +46,9 @@ export interface FactFields {
 export interface TestVerificationFields {
     verification_scope?: "unit" | "integration" | "end_to_end";
     verification_perspective?: "internal" | "consumer";
-    verification_contract?: VerificationContract;
-    verification_receipts?: readonly VerificationReceipt[];
+    proof_contract?: ProofContract;
+    proof_bindings?: readonly ProofBinding[];
+    proof_receipts?: readonly ProofReceipt[];
 }
 export type Requirement = BaseEntity & {
     type: "req";

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,EACV,oBAAoB,EACpB,mBAAmB,EACpB,MAAM,mCAAmC,CAAC;AAE3C,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;CACnB;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,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IACtD,UAAU,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAClD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,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,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,qBAAqB,CAAC,EAAE,oBAAoB,CAAC;IAC7C,qBAAqB,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACxD;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;CACzB,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;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC;AAC/C,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,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;CACnB;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,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IACtD,UAAU,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAClD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,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,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;CACzB,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;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC;AAC/C,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/utils/branch-resolver.d.ts

@@ -6,6 +6,7 @@ export type BranchResolutionError = {
     code: BranchErrorCode;
 };
 export type BranchResolutionResult = BranchResolutionSuccess | BranchResolutionError;
+export declare function unreadableMigrationJournalError(journalName: string): BranchResolutionError;
 export type BranchAttachment = {
     gitBranch: string;
     kbBranch: string;

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

@@ -1 +1 @@
-{"version":3,"file":"branch-resolver.d.ts","sourceRoot":"","sources":["../../src/utils/branch-resolver.ts"],"names":[],"mappings":"AAsCA,MAAM,MAAM,uBAAuB,GAAG;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AACzD,MAAM,MAAM,qBAAqB,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAC7E,MAAM,MAAM,sBAAsB,GAC9B,uBAAuB,GACvB,qBAAqB,CAAC;AAE1B,MAAM,MAAM,gBAAgB,GAAG;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,8EAA8E;IAC9E,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,OAAO,GAAG,mBAAmB,GAAG,eAAe,CAAC;IACtD,iBAAiB,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,eAAe,GACvB,cAAc,GACd,eAAe,GACf,eAAe,GACf,mBAAmB,GACnB,gBAAgB,GAChB,sBAAsB,GACtB,6BAA6B,GAC7B,eAAe,CAAC;AAEpB,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,cAAc,oBAAoB,EAAE,QAAQ,CAAC;IACvD,YAAY,EAAE,cAAc,oBAAoB,EAAE,YAAY,CAAC;CAChE;AAOD,wBAAgB,8BAA8B,CAC5C,IAAI,EAAE,OAAO,CAAC,kBAAkB,CAAC,GAChC,IAAI,CAIN;AA8BD;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CACjC,aAAa,GAAE,MAAsB,GACpC,sBAAsB,CAoHxB;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CACrC,aAAa,GAAE,MAAsB,GACpC,gBAAgB,GAAG,qBAAqB,CAoE1C;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,aAAa,GAAE,MAAsB,GAAG,OAAO,CAgB7E;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,KAAK,EAAE,MAAM,GACZ,MAAM,CAuBR;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAkDvD;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,GACjB,IAAI,CAUN;AA6BD;;;;;GAKG;AACH,wBAAgB,2BAA2B,IAAI,MAAM,EAAE,CAMtD;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,oBAAoB,CAClC,GAAG,GAAE,MAAsB,EAC3B,OAAO,CAAC,EAAE;IAAE,aAAa,CAAC,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CA+BtD"}
+{"version":3,"file":"branch-resolver.d.ts","sourceRoot":"","sources":["../../src/utils/branch-resolver.ts"],"names":[],"mappings":"AAsCA,MAAM,MAAM,uBAAuB,GAAG;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AACzD,MAAM,MAAM,qBAAqB,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC;AAC7E,MAAM,MAAM,sBAAsB,GAC9B,uBAAuB,GACvB,qBAAqB,CAAC;AAE1B,wBAAgB,+BAA+B,CAC7C,WAAW,EAAE,MAAM,GAClB,qBAAqB,CAKvB;AAED,MAAM,MAAM,gBAAgB,GAAG;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,8EAA8E;IAC9E,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,OAAO,GAAG,mBAAmB,GAAG,eAAe,CAAC;IACtD,iBAAiB,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,eAAe,GACvB,cAAc,GACd,eAAe,GACf,eAAe,GACf,mBAAmB,GACnB,gBAAgB,GAChB,sBAAsB,GACtB,6BAA6B,GAC7B,eAAe,CAAC;AAEpB,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,cAAc,oBAAoB,EAAE,QAAQ,CAAC;IACvD,YAAY,EAAE,cAAc,oBAAoB,EAAE,YAAY,CAAC;CAChE;AAOD,wBAAgB,8BAA8B,CAC5C,IAAI,EAAE,OAAO,CAAC,kBAAkB,CAAC,GAChC,IAAI,CAIN;AA8BD;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CACjC,aAAa,GAAE,MAAsB,GACpC,sBAAsB,CAoHxB;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CACrC,aAAa,GAAE,MAAsB,GACpC,gBAAgB,GAAG,qBAAqB,CAiE1C;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,aAAa,GAAE,MAAsB,GAAG,OAAO,CAgB7E;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,KAAK,EAAE,MAAM,GACZ,MAAM,CAuBR;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAkDvD;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,GACjB,IAAI,CAUN;AA6BD;;;;;GAKG;AACH,wBAAgB,2BAA2B,IAAI,MAAM,EAAE,CAMtD;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,oBAAoB,CAClC,GAAG,GAAE,MAAsB,EAC3B,OAAO,CAAC,EAAE;IAAE,aAAa,CAAC,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CA+BtD"}

package/dist/utils/branch-resolver.js

@@ -20,6 +20,12 @@ import { copyFileSync, existsSync, mkdirSync, readFileSync, readdirSync, statSyn
 import * as path from "node:path";
 import { getBranchOverride } from "../env.js";
 import { branchStoreManifestMatches, branchStorePath, legacyBranchStorePath, } from "./branch-store-locator.js";
+export function unreadableMigrationJournalError(journalName) {
+    return {
+        error: `Unreadable branch migration journal '${journalName}' blocks attachment; recover it explicitly before continuing.`,
+        code: "MIGRATION_RECOVERY_REQUIRED",
+    };
+}
 const defaultDeps = {
     execSync: rawExecSync,
     execFileSync: rawExecFileSync,
@@ -185,10 +191,7 @@ export function resolveBranchAttachment(workspaceRoot = process.cwd()) {
                 }
             }
             catch {
-                return {
-                    error: `Unreadable branch migration journal '${journalName}' blocks attachment; recover it explicitly before continuing.`,
-                    code: "MIGRATION_RECOVERY_REQUIRED",
-                };
+                return unreadableMigrationJournalError(journalName);
             }
         }
     }

package/dist/utils/branch-store.d.ts

@@ -11,5 +11,11 @@ export type BranchStoreInspection = Readonly<{
  * attaches Prolog, so callers can still explain a broken branch store.
  */
 export declare function inspectBranchStore(workspaceRoot: string, branch: string): BranchStoreInspection;
+/**
+ * Surface a stale branch-store lock journal: the recorded holder is
+ * provably dead (crashed engine, killed prove run). The next attach will
+ * auto-heal; the reason exists so operators see the state before it bites.
+ */
+export declare function storeLockJournalReason(storePath: string): Record<string, unknown> | null;
 export declare function branchStoreReason(inspection: BranchStoreInspection): Record<string, unknown> | null;
 //# sourceMappingURL=branch-store.d.ts.map

package/dist/utils/branch-store.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"branch-store.d.ts","sourceRoot":"","sources":["../../src/utils/branch-store.ts"],"names":[],"mappings":"AAaA,MAAM,MAAM,gBAAgB,GACxB,SAAS,GACT,SAAS,GACT,YAAY,GACZ,YAAY,CAAC;AAEjB,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAC3C,KAAK,EAAE,gBAAgB,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,OAAO,CAAC;CAC3B,CAAC,CAAC;AAEH;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,MAAM,GACb,qBAAqB,CA0GvB;AAED,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,qBAAqB,GAChC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAWhC"}
+{"version":3,"file":"branch-store.d.ts","sourceRoot":"","sources":["../../src/utils/branch-store.ts"],"names":[],"mappings":"AAiBA,MAAM,MAAM,gBAAgB,GACxB,SAAS,GACT,SAAS,GACT,YAAY,GACZ,YAAY,CAAC;AAEjB,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAC3C,KAAK,EAAE,gBAAgB,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,OAAO,CAAC;CAC3B,CAAC,CAAC;AAEH;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,MAAM,GACb,qBAAqB,CA0GvB;AAED;;;;GAIG;AAEH,wBAAgB,sBAAsB,CACpC,SAAS,EAAE,MAAM,GAChB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAiBhC;AAED,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,qBAAqB,GAChC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAWhC"}

package/dist/utils/branch-store.js

@@ -4,6 +4,7 @@
 */
 import { existsSync, readFileSync, statSync } from "node:fs";
 import * as path from "node:path";
+import { classifyStoreLockHolder, readStoreLockOwner, } from "../prolog/store-lock.js";
 import { branchStoreManifestMatches, branchStorePath, legacyBranchStorePath, } from "./branch-store-locator.js";
 /**
  * Performs only filesystem checks. It deliberately never starts the engine or
@@ -115,6 +116,32 @@ export function inspectBranchStore(workspaceRoot, branch) {
         };
     }
 }
+/**
+ * Surface a stale branch-store lock journal: the recorded holder is
+ * provably dead (crashed engine, killed prove run). The next attach will
+ * auto-heal; the reason exists so operators see the state before it bites.
+ */
+// implements REQ-core-journaled-engine-persistence
+export function storeLockJournalReason(storePath) {
+    const journal = readStoreLockOwner(storePath);
+    if (journal === null)
+        return null;
+    const owner = journal.owner;
+    // Same boot-id-aware classification as the janitor and the attach
+    // takeover, so all three surfaces reach the same verdict on a journal.
+    if (classifyStoreLockHolder(owner) !== "dead")
+        return null;
+    return {
+        code: "store_lock_stale",
+        path: journal.journalPath,
+        entityIds: [],
+        detail: `Branch store lock journal records holder pid ${owner.pid} for ${owner.workspaceRoot ?? "unknown"}, which is no longer running.`,
+        remediation: {
+            command_argv: ["kibi", "engine", "janitor", "--apply"],
+            applyRequired: false,
+        },
+    };
+}
 export function branchStoreReason(inspection) {
     if (inspection.state === "healthy")
         return null;

package/dist/utils/kb-paths.d.ts

@@ -29,7 +29,7 @@ export declare const KB_PATHS: {
     readonly relationships: ".kb/relationships";
 };
 /** Derived runtime trees. Authored knowledge and relationship shards stay writable. */
-export declare const DERIVED_KB_PREFIXES: readonly [".kb/branches", ".kb/recovery", ".kb/verification", ".kb/briefs", ".kb/migrations"];
+export declare const DERIVED_KB_PREFIXES: readonly [".kb/branches", ".kb/recovery", ".kb/proof/runs", ".kb/briefs", ".kb/migrations"];
 export type KbEntityPaths = Readonly<{
     requirements: string;
     scenarios: string;

package/dist/utils/kb-paths.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"kb-paths.d.ts","sourceRoot":"","sources":["../../src/utils/kb-paths.ts"],"names":[],"mappings":"AAkBA;;;;;;;GAOG;AAEH,eAAO,MAAM,OAAO,QAAQ,CAAC;AAE7B,uEAAuE;AACvE,eAAO,MAAM,YAAY,oFAQf,CAAC;AAEX,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD,+EAA+E;AAC/E,eAAO,MAAM,uBAAuB,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAQxE,CAAC;AAMF,eAAO,MAAM,QAAQ;IACnB,6DAA6D;;;;;;;;;;;;;;CAcrD,CAAC;AAEX,uFAAuF;AACvF,eAAO,MAAM,mBAAmB,+FAMtB,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC,CAAC;AAEH,uDAAuD;AACvD,eAAO,MAAM,sBAAsB,EAAE,aASpC,CAAC;AAEF,kFAAkF;AAClF,eAAO,MAAM,2BAA2B,EAAE,aASzC,CAAC;AAEF,wBAAgB,gBAAgB,CAAC,gBAAgB,EAAE,MAAM,GAAG,OAAO,CAKlE;AAED,wBAAgB,iBAAiB,CAAC,gBAAgB,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI,CAO7E;AAED,wBAAgB,qBAAqB,CAAC,gBAAgB,EAAE,MAAM,GAAG,OAAO,CAKvE;AAED,uEAAuE;AACvE,wBAAgB,iBAAiB,CAAC,gBAAgB,EAAE,MAAM,GAAG,OAAO,CAKnE;AAMD,gFAAgF;AAChF,wBAAgB,eAAe,CAAC,gBAAgB,EAAE,MAAM,GAAG,OAAO,CAKjE"}
+{"version":3,"file":"kb-paths.d.ts","sourceRoot":"","sources":["../../src/utils/kb-paths.ts"],"names":[],"mappings":"AAkBA;;;;;;;GAOG;AAEH,eAAO,MAAM,OAAO,QAAQ,CAAC;AAE7B,uEAAuE;AACvE,eAAO,MAAM,YAAY,oFAQf,CAAC;AAEX,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD,+EAA+E;AAC/E,eAAO,MAAM,uBAAuB,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAQxE,CAAC;AAMF,eAAO,MAAM,QAAQ;IACnB,6DAA6D;;;;;;;;;;;;;;CAcrD,CAAC;AAEX,uFAAuF;AACvF,eAAO,MAAM,mBAAmB,6FAMtB,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC,CAAC;AAEH,uDAAuD;AACvD,eAAO,MAAM,sBAAsB,EAAE,aASpC,CAAC;AAEF,kFAAkF;AAClF,eAAO,MAAM,2BAA2B,EAAE,aASzC,CAAC;AAEF,wBAAgB,gBAAgB,CAAC,gBAAgB,EAAE,MAAM,GAAG,OAAO,CAKlE;AAED,wBAAgB,iBAAiB,CAAC,gBAAgB,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI,CAO7E;AAED,wBAAgB,qBAAqB,CAAC,gBAAgB,EAAE,MAAM,GAAG,OAAO,CAKvE;AAED,uEAAuE;AACvE,wBAAgB,iBAAiB,CAAC,gBAAgB,EAAE,MAAM,GAAG,OAAO,CAKnE;AAMD,gFAAgF;AAChF,wBAAgB,eAAe,CAAC,gBAAgB,EAAE,MAAM,GAAG,OAAO,CAKjE"}

package/dist/utils/kb-paths.js

@@ -65,7 +65,7 @@ export const KB_PATHS = {
 export const DERIVED_KB_PREFIXES = [
     ".kb/branches",
     ".kb/recovery",
-    ".kb/verification",
+    ".kb/proof/runs",
     ".kb/briefs",
     ".kb/migrations",
 ];

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

@@ -1,10 +1,3 @@
-/**
- * Central registry of KB check rules.
- *
- * Kibi — not the repository — owns each rule's enforcement class. Projects
- * can no longer disable canonical checks. `--rules` remains an
- * invocation-time diagnostic selector only and never persists policy.
- */
 export type RuleEnforcementClass = 
 /**
  * Canonical blocking correctness checks. Always evaluated by
@@ -39,10 +32,7 @@ export interface Violation {
     /** Exact source-bound proof evidence, when the check can produce it. */
     evidence?: Readonly<Record<string, unknown>>;
 }
-/**
- * All known check rules.
- * When adding a new rule, add it here.
- */
+/** All known check rules, generated from the shared registry JSON. */
 export declare const RULES: readonly RuleDefinition[];
 /**
  * Set of all rule names for quick lookups.

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

@@ -1 +1 @@
-{"version":3,"file":"rule-registry.d.ts","sourceRoot":"","sources":["../../src/utils/rule-registry.ts"],"names":[],"mappings":"AAkBA;;;;;;GAMG;AAEH,MAAM,MAAM,oBAAoB;AAC9B;;;;GAIG;AACD,WAAW;AACb;;;GAGG;GACD,UAAU;AACZ;;;GAGG;GACD,WAAW,CAAC;AAEhB,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,gEAAgE;IAChE,gBAAgB,EAAE,oBAAoB,CAAC;IACvC,QAAQ,EAAE,UAAU,GAAG,WAAW,GAAG,WAAW,GAAG,cAAc,CAAC;CACnE;AAED,mCAAmC;AACnC,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,wEAAwE;IACxE,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC9C;AAED;;;GAGG;AACH,eAAO,MAAM,KAAK,EAAE,SAAS,cAAc,EA6HjC,CAAC;AAIX;;GAEG;AACH,eAAO,MAAM,UAAU,aAAoC,CAAC;AAE5D,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAE1E;AAED,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,MAAM,GACX,oBAAoB,GAAG,SAAS,CAElC;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,gBAAgB,EAAE,oBAAoB,GACrC,OAAO,CAET;AAED;;;GAGG;AACH,wBAAgB,eAAe,IAAI,GAAG,CAAC,MAAM,CAAC,CAM7C;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,IAAI,GAAG,CAAC,MAAM,CAAC,CAM/C;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAErD;AAED;;;;;;;;GAQG;AAEH,wBAAgB,iBAAiB,CAC/B,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,GACjC,GAAG,CAAC,MAAM,CAAC,CAOb;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAK5D"}
+{"version":3,"file":"rule-registry.d.ts","sourceRoot":"","sources":["../../src/utils/rule-registry.ts"],"names":[],"mappings":"AAgCA,MAAM,MAAM,oBAAoB;AAC9B;;;;GAIG;AACD,WAAW;AACb;;;GAGG;GACD,UAAU;AACZ;;;GAGG;GACD,WAAW,CAAC;AAEhB,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,gEAAgE;IAChE,gBAAgB,EAAE,oBAAoB,CAAC;IACvC,QAAQ,EAAE,UAAU,GAAG,WAAW,GAAG,WAAW,GAAG,cAAc,CAAC;CACnE;AAED,mCAAmC;AACnC,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,wEAAwE;IACxE,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC9C;AAED,sEAAsE;AACtE,eAAO,MAAM,KAAK,EAAE,SAAS,cAAc,EAAoB,CAAC;AAIhE;;GAEG;AACH,eAAO,MAAM,UAAU,aAAoC,CAAC;AAE5D,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAE1E;AAED,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,MAAM,GACX,oBAAoB,GAAG,SAAS,CAElC;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,gBAAgB,EAAE,oBAAoB,GACrC,OAAO,CAET;AAED;;;GAGG;AACH,wBAAgB,eAAe,IAAI,GAAG,CAAC,MAAM,CAAC,CAM7C;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,IAAI,GAAG,CAAC,MAAM,CAAC,CAM/C;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAErD;AAED;;;;;;;;GAQG;AAEH,wBAAgB,iBAAiB,CAC/B,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,GACjC,GAAG,CAAC,MAAM,CAAC,CAOb;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAK5D"}