kibi-cli 0.2.8 → 0.4.0

package/dist/search-ranking.js

@@ -0,0 +1,149 @@
+import fs from "node:fs/promises";
+import path from "node:path";
+import matter from "gray-matter";
+// implements REQ-mcp-search-discovery, REQ-002, REQ-003
+export async function rankEntities(entities, query, workspaceRoot) {
+    const matches = [];
+    for (const entity of entities) {
+        const match = await rankEntity(entity, query, workspaceRoot);
+        if (match) {
+            matches.push(match);
+        }
+    }
+    matches.sort((left, right) => {
+        if (right.score !== left.score) {
+            return right.score - left.score;
+        }
+        const leftType = String(left.entity.type ?? "");
+        const rightType = String(right.entity.type ?? "");
+        if (leftType !== rightType) {
+            return leftType.localeCompare(rightType);
+        }
+        return String(left.entity.id ?? "").localeCompare(String(right.entity.id ?? ""));
+    });
+    return matches;
+}
+async function rankEntity(entity, query, workspaceRoot) {
+    const normalizedQuery = normalize(query);
+    const tokens = normalizedQuery.split(/\s+/).filter(Boolean);
+    const reasons = [];
+    let score = 0;
+    const id = String(entity.id ?? "");
+    const title = String(entity.title ?? "");
+    const type = String(entity.type ?? "");
+    const source = String(entity.source ?? "");
+    const owner = String(entity.owner ?? "");
+    const priority = String(entity.priority ?? "");
+    const severity = String(entity.severity ?? "");
+    const tags = Array.isArray(entity.tags)
+        ? entity.tags.map((tag) => String(tag))
+        : [];
+    const normalizedTitle = normalize(title);
+    const normalizedId = normalize(id);
+    if (normalizedTitle === normalizedQuery) {
+        score += 100;
+        reasons.push("exact title match");
+    }
+    else if (normalizedTitle.includes(normalizedQuery)) {
+        score += 60;
+        reasons.push("title phrase match");
+    }
+    if (normalizedId === normalizedQuery) {
+        score += 90;
+        reasons.push("exact ID match");
+    }
+    else if (normalizedId.includes(normalizedQuery)) {
+        score += 55;
+        reasons.push("ID match");
+    }
+    const metadataFields = [type, source, owner, priority, severity];
+    const metadataMatched = metadataFields.some((field) => normalize(field).includes(normalizedQuery));
+    if (metadataMatched) {
+        score += 20;
+        reasons.push("metadata match");
+    }
+    const matchingTags = tags.filter((tag) => normalize(tag).includes(normalizedQuery));
+    if (matchingTags.length > 0) {
+        score += 30;
+        reasons.push("tag match");
+    }
+    const titleTokenMatches = countTokenMatches(normalizedTitle, tokens);
+    if (titleTokenMatches > 0) {
+        score += titleTokenMatches * 8;
+        reasons.push("title token coverage");
+    }
+    const bodyText = await loadMarkdownBody(source, workspaceRoot);
+    let snippet;
+    if (bodyText) {
+        const normalizedBody = normalize(bodyText);
+        if (normalizedBody.includes(normalizedQuery)) {
+            score += 15;
+            reasons.push("markdown body match");
+            snippet = buildSnippet(bodyText, query);
+        }
+        else {
+            const bodyTokenMatches = countTokenMatches(normalizedBody, tokens);
+            if (bodyTokenMatches > 0) {
+                score += bodyTokenMatches * 3;
+                reasons.push("markdown body token coverage");
+                snippet = buildSnippet(bodyText, query);
+            }
+        }
+    }
+    if (score === 0) {
+        return null;
+    }
+    return {
+        entity,
+        score,
+        reasons: Array.from(new Set(reasons)),
+        snippet,
+    };
+}
+export async function loadMarkdownBody(
+// implements REQ-007, REQ-mcp-search-discovery
+source, workspaceRoot) {
+    if (!source) {
+        return null;
+    }
+    const normalizedSource = source.split("#", 1)[0]?.trim() ?? "";
+    if (!normalizedSource.endsWith(".md")) {
+        return null;
+    }
+    // Resolve to absolute path; relative paths are resolved against workspaceRoot.
+    const resolved = path.resolve(path.isAbsolute(normalizedSource)
+        ? normalizedSource
+        : path.join(workspaceRoot, normalizedSource));
+    // Reject paths that escape the workspace root to prevent path traversal.
+    const normalizedRoot = path.resolve(workspaceRoot);
+    if (!resolved.startsWith(normalizedRoot + path.sep)) {
+        return null;
+    }
+    try {
+        const fileContent = await fs.readFile(resolved, "utf8");
+        return matter(fileContent).content;
+    }
+    catch {
+        return null;
+    }
+}
+function normalize(value) {
+    return value.trim().toLowerCase();
+}
+function countTokenMatches(haystack, tokens) {
+    return tokens.filter((token) => haystack.includes(token)).length;
+}
+function buildSnippet(bodyText, query) {
+    const lines = bodyText
+        .split(/\r?\n/)
+        .map((line) => line.trim())
+        .filter(Boolean);
+    const normalizedQuery = normalize(query);
+    const matchedLine = lines.find((line) => normalize(line).includes(normalizedQuery)) ?? lines[0];
+    if (!matchedLine) {
+        return undefined;
+    }
+    return matchedLine.length > 160
+        ? `${matchedLine.slice(0, 157)}...`
+        : matchedLine;
+}

package/dist/traceability/symbol-extract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbol-extract.d.ts","sourceRoot":"","sources":["../../src/traceability/symbol-extract.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7D,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,UAAU,GAAG,OAAO,GAAG,UAAU,GAAG,MAAM,GAAG,SAAS,CAAC;IAC7D,QAAQ,EAAE;QACR,IAAI,EAAE,MAAM,CAAC;QACb,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,MAAM,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;AA4D9D,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,UAAU,EACtB,cAAc,CAAC,EAAE,cAAc,GAC9B,eAAe,EAAE,CA+MnB"}
+{"version":3,"file":"symbol-extract.d.ts","sourceRoot":"","sources":["../../src/traceability/symbol-extract.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7D,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,UAAU,GAAG,OAAO,GAAG,UAAU,GAAG,MAAM,GAAG,SAAS,CAAC;IAC7D,QAAQ,EAAE;QACR,IAAI,EAAE,MAAM,CAAC;QACb,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,MAAM,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;AA4D9D,wBAAgB,4BAA4B,CAE1C,UAAU,EAAE,UAAU,EACtB,cAAc,CAAC,EAAE,cAAc,GAC9B,eAAe,EAAE,CAuNnB"}

package/dist/traceability/symbol-extract.js

@@ -45,7 +45,9 @@ function parseReqDirectives(text) {
 function rangesIntersect(aStart, aEnd, bStart, bEnd) {
     return aStart <= bEnd && bStart <= aEnd;
 }
-export function extractSymbolsFromStagedFile(stagedFile, manifestLookup) {
+export function extractSymbolsFromStagedFile(
+// implements REQ-008
+stagedFile, manifestLookup) {
     const content = stagedFile.content ?? "";
     const sha = computeContentSha(`${content}|${stagedFile.path}`);
     // TTL cache lookup
@@ -108,7 +110,9 @@ export function extractSymbolsFromStagedFile(stagedFile, manifestLookup) {
                 reqLinks: mergedReqLinks,
             });
         }
-        catch { }
+        catch {
+            // skip: individual declaration extraction may fail on malformed AST nodes
+        }
     }
     // Classes
     for (const cls of sf.getClasses()) {
@@ -139,7 +143,9 @@ export function extractSymbolsFromStagedFile(stagedFile, manifestLookup) {
                 reqLinks: mergedReqLinks,
             });
         }
-        catch { }
+        catch {
+            // skip: individual declaration extraction may fail on malformed AST nodes
+        }
     }
     // Enums
     for (const en of sf.getEnums()) {
@@ -167,7 +173,9 @@ export function extractSymbolsFromStagedFile(stagedFile, manifestLookup) {
                 reqLinks: mergedReqLinks,
             });
         }
-        catch { }
+        catch {
+            // skip: individual declaration extraction may fail on malformed AST nodes
+        }
     }
     // Variable statements (exported)
     for (const vs of sf.getVariableStatements()) {
@@ -196,7 +204,9 @@ export function extractSymbolsFromStagedFile(stagedFile, manifestLookup) {
                     reqLinks: mergedReqLinks,
                 });
             }
-            catch { }
+            catch {
+                // skip: individual declaration extraction may fail on malformed AST nodes
+            }
         }
     }
     // Filter to only include symbols that intersect with at least one hunk
@@ -219,9 +229,7 @@ function resolveSymbolId(filePath, name, manifestLookup) {
     // First, check the provided manifest lookup if available
     if (manifestLookup) {
         // Normalize the source file path for consistent lookup
-        const normalizedSource = filePath.startsWith("/")
-            ? filePath
-            : `${filePath}`;
+        const normalizedSource = filePath;
         const lookupKey = `${normalizedSource}:${name}`;
         const entry = manifestLookup.get(lookupKey);
         if (entry) {

package/dist/types/entities.d.ts

@@ -12,6 +12,24 @@ export interface BaseEntity {
     links?: string[];
     text_ref?: string;
 }
+export interface FactFields {
+    fact_kind?: "subject" | "property_value" | "observation" | "meta";
+    subject_key?: string;
+    property_key?: string;
+    operator?: "eq" | "neq" | "lt" | "lte" | "gt" | "gte";
+    value_type?: "string" | "int" | "number" | "bool";
+    value_string?: string;
+    value_int?: number;
+    value_number?: number;
+    value_bool?: boolean;
+    unit?: string;
+    scope?: string;
+    polarity?: "require" | "forbid";
+    closed_world?: boolean;
+    valid_from?: string;
+    valid_to?: string;
+    canonical_key?: string;
+}
 export type Requirement = BaseEntity & {
     type: "req";
 };
@@ -33,7 +51,7 @@ export type Event = BaseEntity & {
 export type Symbol = BaseEntity & {
     type: "symbol";
 };
-export type Fact = BaseEntity & {
+export type Fact = BaseEntity & FactFields & {
     type: "fact";
 };
 export type Entity = Requirement | Scenario | TestEntity | ADR | Flag | Event | Symbol | Fact;

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

@@ -1 +1 @@
-{"version":3,"file":"entities.d.ts","sourceRoot":"","sources":["../../src/types/entities.ts"],"names":[],"mappings":"AAkBA,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;AAED,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC;AACvD,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AACzD,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AACvD,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;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjD,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,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,EAAE,SAAS,GAAG,gBAAgB,GAAG,aAAa,GAAG,MAAM,CAAC;IAClE,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,CAAC;IAChC,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC;AACvD,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AACzD,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AACvD,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/prolog-cleanup.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Best-effort Prolog process cleanup.
+ * Detaches the KB and terminates the process, swallowing any errors.
+ * Safe to call in finally blocks where the process may already be dead.
+ */
+export declare function safeCleanupProlog(prolog: {
+    query: (q: string) => Promise<unknown>;
+    terminate: () => Promise<void>;
+} | null | undefined): Promise<void>;
+//# sourceMappingURL=prolog-cleanup.d.ts.map

package/dist/utils/prolog-cleanup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prolog-cleanup.d.ts","sourceRoot":"","sources":["../../src/utils/prolog-cleanup.ts"],"names":[],"mappings":"AAkBA;;;;GAIG;AACH,wBAAsB,iBAAiB,CACrC,MAAM,EACF;IAAE,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IAAC,SAAS,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAA;CAAE,GAC1E,IAAI,GACJ,SAAS,GACZ,OAAO,CAAC,IAAI,CAAC,CAaf"}

package/dist/utils/prolog-cleanup.js

@@ -0,0 +1,39 @@
+/*
+ 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/>.
+ */
+/**
+ * Best-effort Prolog process cleanup.
+ * Detaches the KB and terminates the process, swallowing any errors.
+ * Safe to call in finally blocks where the process may already be dead.
+ */
+export async function safeCleanupProlog(prolog) {
+    // implements REQ-003
+    if (!prolog)
+        return;
+    try {
+        await prolog.query("kb_detach");
+    }
+    catch {
+        // best-effort: process may already be dead or KB was never attached
+    }
+    try {
+        await prolog.terminate();
+    }
+    catch {
+        // best-effort: process may already be dead
+    }
+}

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

@@ -11,6 +11,14 @@ export interface RuleDefinition {
 export interface SymbolTraceabilityOptions {
     requireAdr: boolean;
 }
+/** A single KB check violation. */
+export interface Violation {
+    rule: string;
+    entityId: string;
+    description: string;
+    suggestion?: string;
+    source?: string;
+}
 export interface ChecksConfig {
     rules: Record<string, boolean>;
     symbolTraceability: SymbolTraceabilityOptions;

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;;;GAGG;AAEH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,OAAO,CAAC;IACxB,QAAQ,EAAE,UAAU,GAAG,WAAW,GAAG,WAAW,GAAG,cAAc,CAAC;CACnE;AAED,MAAM,WAAW,yBAAyB;IACxC,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,kBAAkB,EAAE,yBAAyB,CAAC;CAC/C;AAED;;;GAGG;AACH,eAAO,MAAM,KAAK,EAAE,SAAS,cAAc,EAsDjC,CAAC;AAEX;;GAEG;AACH,eAAO,MAAM,UAAU,aAAoC,CAAC;AAE5D;;GAEG;AACH,eAAO,MAAM,qBAAqB,EAAE,YAKnC,CAAC;AAEF;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACrC,QAAQ,CAAC,EAAE,MAAM,GAChB,GAAG,CAAC,MAAM,CAAC,CA4Bb;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAK5D;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,OAAO,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAC9B,YAAY,CAWd"}
+{"version":3,"file":"rule-registry.d.ts","sourceRoot":"","sources":["../../src/utils/rule-registry.ts"],"names":[],"mappings":"AAkBA;;;GAGG;AAEH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,OAAO,CAAC;IACxB,QAAQ,EAAE,UAAU,GAAG,WAAW,GAAG,WAAW,GAAG,cAAc,CAAC;CACnE;AAED,MAAM,WAAW,yBAAyB;IACxC,UAAU,EAAE,OAAO,CAAC;CACrB;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;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,kBAAkB,EAAE,yBAAyB,CAAC;CAC/C;AAED;;;GAGG;AACH,eAAO,MAAM,KAAK,EAAE,SAAS,cAAc,EA8DjC,CAAC;AAEX;;GAEG;AACH,eAAO,MAAM,UAAU,aAAoC,CAAC;AAE5D;;GAEG;AACH,eAAO,MAAM,qBAAqB,EAAE,YAKnC,CAAC;AAEF;;;;;GAKG;AAEH,wBAAgB,iBAAiB,CAC/B,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACrC,QAAQ,CAAC,EAAE,MAAM,GAChB,GAAG,CAAC,MAAM,CAAC,CAsBb;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAK5D;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,OAAO,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAC9B,YAAY,CAWd"}

package/dist/utils/rule-registry.js

@@ -20,6 +20,7 @@
  * When adding a new rule, add it here.
  */
 export const RULES = [
+    // implements REQ-006
     {
         name: "must-priority-coverage",
         description: "Every must-priority requirement must have a scenario and a test",
@@ -68,6 +69,12 @@ export const RULES = [
         defaultEnabled: true,
         category: "integrity",
     },
+    {
+        name: "strict-fact-shape",
+        description: "Detect malformed strict facts (facts with fact_kind that are missing required fields)",
+        defaultEnabled: false,
+        category: "integrity",
+    },
 ];
 /**
  * Set of all rule names for quick lookups.
@@ -88,7 +95,14 @@ export const DEFAULT_CHECKS_CONFIG = {
  * @param cliRules Optional comma-separated list from --rules CLI flag
  * @returns Set of rule names that should run
  */
+// implements REQ-006
 export function getEffectiveRules(configRules, cliRules) {
+    if (cliRules) {
+        return new Set(cliRules
+            .split(",")
+            .map((s) => s.trim())
+            .filter((s) => RULE_NAMES.has(s)));
+    }
     // Start with all known rules
     const effective = new Set();
     for (const rule of RULES) {
@@ -98,18 +112,6 @@ export function getEffectiveRules(configRules, cliRules) {
             effective.add(rule.name);
         }
     }
-    // CLI --rules is an intersection filter (narrows to specified rules)
-    if (cliRules) {
-        const allowed = new Set(cliRules
-            .split(",")
-            .map((s) => s.trim())
-            .filter((s) => RULE_NAMES.has(s)));
-        for (const rule of effective) {
-            if (!allowed.has(rule)) {
-                effective.delete(rule);
-            }
-        }
-    }
     return effective;
 }
 /**

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "kibi-cli",
-  "version": "0.2.8",
+  "version": "0.4.0",
   "type": "module",
   "description": "Kibi CLI for knowledge base management",
   "engines": {
@@ -58,6 +58,14 @@
     "./diagnostics": {
       "types": "./dist/diagnostics.d.ts",
       "default": "./dist/diagnostics.js"
+    },
+    "./search-ranking": {
+      "types": "./dist/search-ranking.d.ts",
+      "default": "./dist/search-ranking.js"
+    },
+    "./public/check-types": {
+      "types": "./dist/public/check-types.d.ts",
+      "default": "./dist/public/check-types.js"
     }
   },
   "types": "./dist/cli.d.ts",
@@ -68,7 +76,7 @@
     "fast-glob": "^3.2.12",
     "gray-matter": "^4.0.3",
     "js-yaml": "^4.1.0",
-    "kibi-core": "^0.1.10",
+    "kibi-core": "^0.3.0",
     "ts-morph": "^23.0.0"
   },
   "devDependencies": {

package/schema/config.json

@@ -108,6 +108,11 @@
               "type": "boolean",
               "description": "Detect contradictions between requirements constraining the same fact",
               "default": true
+            },
+            "strict-fact-shape": {
+              "type": "boolean",
+              "description": "Detect malformed strict facts (facts with fact_kind that are missing required fields)",
+              "default": false
             }
           },
           "additionalProperties": false
@@ -150,7 +155,8 @@
           "no-cycles": true,
           "required-fields": true,
           "deprecated-adr-no-successor": true,
-          "domain-contradictions": true
+          "domain-contradictions": true,
+          "strict-fact-shape": false
         },
         "symbolTraceability": {
           "requireAdr": false

package/schema/entities.pl

@@ -29,6 +29,24 @@ entity_property(_, severity, atom).
 entity_property(_, links, list).
 entity_property(_, text_ref, uri).
 
+% Typed fact fields - only valid for fact entities
+entity_property(fact, fact_kind, atom).
+entity_property(fact, subject_key, string).
+entity_property(fact, property_key, string).
+entity_property(fact, operator, atom).
+entity_property(fact, value_type, atom).
+entity_property(fact, value_string, string).
+entity_property(fact, value_int, integer).
+entity_property(fact, value_number, number).
+entity_property(fact, value_bool, boolean).
+entity_property(fact, unit, string).
+entity_property(fact, scope, string).
+entity_property(fact, polarity, atom).
+entity_property(fact, closed_world, boolean).
+entity_property(fact, valid_from, datetime).
+entity_property(fact, valid_to, datetime).
+entity_property(fact, canonical_key, string).
+
 % Required properties for all entity types
 required_property(Type, id) :- entity_type(Type).
 required_property(Type, title) :- entity_type(Type).

package/schema/validation.pl

@@ -17,7 +17,9 @@ validate_entity(Type, Props) :-
     % required properties present
     forall(required_property(Type, P), memberchk(P=_Val, Props)),
     % all properties have correct types
-    forall(member(Key=Val, Props), validate_property_type(Type, Key, Val)).
+    forall(member(Key=Val, Props), validate_property_type(Type, Key, Val)),
+    % validate entity-specific shape constraints
+    validate_entity_shape(Type, Props).
 
 % validate_relationship(+RelType, +From, +To)
 % From and To are pairs Type=Id or structures type(Type) - allow Type or Type=Id
@@ -33,9 +35,8 @@ type_of(Type, Type) :- atom(Type), entity_type(Type), !.
 type_of(Type=_Id, Type) :- atom(Type), entity_type(Type), !.
 
 % validate_property_type(+EntityType, +Prop, +Value)
-validate_property_type(_Type, Prop, Value) :-
-    % find declared property type, default to atom
-    ( entity_property(_Any, Prop, Kind) -> true ; Kind = atom ),
+validate_property_type(Type, Prop, Value) :-
+    entity_property(Type, Prop, Kind),
     check_kind(Kind, Value), !.
 
 % check_kind(Kind, Value) succeeds if Value matches Kind
@@ -44,6 +45,116 @@ check_kind(string, V) :- string(V).
 check_kind(datetime, V) :- string(V). % accept ISO strings for now
 check_kind(list, V) :- is_list(V).
 check_kind(uri, V) :- string(V).
+check_kind(integer, V) :- integer(V).
+check_kind(number, V) :- number(V).
+check_kind(boolean, true).
+check_kind(boolean, false).
 
 % Fallback false
 check_kind(_, _) :- fail.
+
+% validate_entity_shape(+Type, +Props)
+% Validates entity-specific shape constraints (e.g., strict fact shapes)
+validate_entity_shape(fact, Props) :-
+    !,
+    valid_optional_fact_enums(Props),
+    valid_polarity_in_props(Props),
+    ( memberchk(fact_kind=RawKind, Props) -> validate_fact_shape(RawKind, Props) ; true ).
+validate_entity_shape(Type, Props) :-
+    Type \= fact,
+    % Non-fact entities cannot have fact-only fields
+    forall(member(Key=_Val, Props), \+ is_fact_only_field(Key)).
+
+% is_fact_only_field(+Key) - true if Key is a fact-specific field
+is_fact_only_field(fact_kind).
+is_fact_only_field(subject_key).
+is_fact_only_field(property_key).
+is_fact_only_field(operator).
+is_fact_only_field(value_type).
+is_fact_only_field(value_string).
+is_fact_only_field(value_int).
+is_fact_only_field(value_number).
+is_fact_only_field(value_bool).
+is_fact_only_field(unit).
+is_fact_only_field(scope).
+is_fact_only_field(polarity).
+is_fact_only_field(closed_world).
+is_fact_only_field(valid_from).
+is_fact_only_field(valid_to).
+is_fact_only_field(canonical_key).
+
+% validate_fact_shape(+Kind, +Props)
+validate_fact_shape(subject, Props) :-
+    memberchk(subject_key=_Val, Props),
+    valid_optional_fact_enums(Props),
+    valid_polarity_in_props(Props).
+validate_fact_shape(property_value, Props) :-
+    memberchk(subject_key=_Subject, Props),
+    memberchk(property_key=_Property, Props),
+    memberchk(operator=Op, Props),
+    valid_operator(Op),
+    memberchk(value_type=VT, Props),
+    valid_value_type(VT),
+    exactly_one_value_field(Props),
+    value_type_matches_field(VT, Props),
+    valid_optional_fact_enums(Props),
+    valid_polarity_in_props(Props).
+validate_fact_shape(observation, Props) :-
+    % Observation facts are allowed but don't require full strict property tuple yet
+    valid_optional_fact_enums(Props),
+    valid_polarity_in_props(Props).
+validate_fact_shape(meta, Props) :-
+    % Meta facts are allowed but don't require full strict property tuple yet
+    valid_optional_fact_enums(Props),
+    valid_polarity_in_props(Props).
+validate_fact_shape(Kind, _Props) :-
+    % Unknown fact_kind values fail validation
+    \+ memberchk(Kind, [subject, property_value, observation, meta]),
+    fail.
+
+% valid_operator(+Op)
+valid_operator(eq).
+valid_operator(neq).
+valid_operator(lt).
+valid_operator(lte).
+valid_operator(gt).
+valid_operator(gte).
+
+% valid_value_type(+VT)
+valid_value_type(string).
+valid_value_type(int).
+valid_value_type(number).
+valid_value_type(bool).
+
+% valid_polarity_in_props(+Props)
+% Validates polarity if present; succeeds if no polarity in props
+valid_polarity_in_props(Props) :-
+    ( memberchk(polarity=P, Props) -> valid_polarity(P) ; true ).
+
+% valid_optional_fact_enums(+Props)
+% Validates enum-typed fact fields whenever they are present
+valid_optional_fact_enums(Props) :-
+    ( memberchk(operator=Op, Props) -> valid_operator(Op) ; true ),
+    ( memberchk(value_type=VT, Props) -> valid_value_type(VT) ; true ).
+
+% valid_polarity(+P)
+valid_polarity(require).
+valid_polarity(forbid).
+
+% exactly_one_value_field(+Props)
+exactly_one_value_field(Props) :-
+    findall(F, (member(F=_, Props), is_value_field(F)), Fields),
+    length(Fields, 1).
+
+% is_value_field(+Field)
+is_value_field(value_string).
+is_value_field(value_int).
+is_value_field(value_number).
+is_value_field(value_bool).
+
+% value_type_matches_field(+ValueType, +Props)
+% Ensures that value_type matches the actual value field present
+value_type_matches_field(string, Props) :- memberchk(value_string=_, Props), !.
+value_type_matches_field(int, Props) :- memberchk(value_int=_, Props), !.
+value_type_matches_field(number, Props) :- memberchk(value_number=_, Props), !.
+value_type_matches_field(bool, Props) :- memberchk(value_bool=_, Props), !.

package/src/public/check-types.ts

@@ -0,0 +1,37 @@
+/*
+ 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/>.
+ */
+
+/**
+ * Public re-export barrel for shared check types.
+ * Import from "kibi-cli/public/check-types" in MCP or external consumers.
+ */
+export type {
+  ChecksConfig,
+  RuleDefinition,
+  SymbolTraceabilityOptions,
+  Violation,
+} from "../utils/rule-registry.js";
+
+export {
+  DEFAULT_CHECKS_CONFIG,
+  RULE_NAMES,
+  RULES,
+  getEffectiveRules,
+  mergeChecksConfig,
+  validateRuleName,
+} from "../utils/rule-registry.js";