kibi-cli 0.2.7 → 0.3.0

package/dist/search-ranking.js

@@ -0,0 +1,143 @@
+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(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/git-staged.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"git-staged.d.ts","sourceRoot":"","sources":["../../src/traceability/git-staged.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,MAAM,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;AAE3C,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,KAAK,MAAM,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,KAAK,MAAM,CAAC;AAalE;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,MAAM,GACZ,KAAK,CAAC;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC,CAS5C;AAsCD;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,MAAM,EAChB,SAAS,UAAQ,GAChB,SAAS,EAAE,CAoBb;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,IAAI,GAAE,MAAiB,GAAG,UAAU,EAAE,CA4FpE;AAED,eAAe,cAAc,CAAC"}
+{"version":3,"file":"git-staged.d.ts","sourceRoot":"","sources":["../../src/traceability/git-staged.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,MAAM,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;AAE3C,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,KAAK,MAAM,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,KAAK,MAAM,CAAC;AAalE;;GAEG;AAEH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,MAAM,GACZ,KAAK,CAAC;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC,CAwB5C;AAiDD;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,MAAM,EAChB,SAAS,UAAQ,GAChB,SAAS,EAAE,CAoBb;AAED;;GAEG;AAEH,wBAAgB,cAAc,CAAC,IAAI,GAAE,MAAiB,GAAG,UAAU,EAAE,CA6FpE;AAED,eAAe,cAAc,CAAC"}

package/dist/traceability/git-staged.js

@@ -13,16 +13,28 @@ function runGit(cmd, exec) {
 /**
  * Parse null-separated name-status output from git
  */
+// implements REQ-014
 export function parseNameStatusNull(input) {
     if (!input)
         return [];
     const entries = input.split("\0").filter(Boolean);
-    return entries.map((entry) => {
-        const cols = entry.split("\t");
-        const status = cols[0];
-        const parts = cols.slice(1);
-        return { status, parts };
-    });
+    const rows = [];
+    for (let i = 0; i < entries.length;) {
+        const entry = entries[i] ?? "";
+        if (entry.includes("\t")) {
+            const cols = entry.split("\t");
+            rows.push({ status: cols[0] ?? "", parts: cols.slice(1) });
+            i += 1;
+            continue;
+        }
+        const status = entry;
+        const isRenameOrCopy = /^[RC]\d*$/.test(status);
+        const partCount = isRenameOrCopy ? 2 : 1;
+        const parts = entries.slice(i + 1, i + 1 + partCount);
+        rows.push({ status, parts });
+        i += 1 + partCount;
+    }
+    return rows;
 }
 const SUPPORTED_EXT = new Set([
     ".ts",
@@ -34,6 +46,7 @@ const SUPPORTED_EXT = new Set([
     ".mjs",
     ".cjs",
 ]);
+const SUPPORTED_MANIFEST = new Set(["symbols.yaml", "symbols.yml"]);
 const ENTITY_MARKDOWN_DIRS = ["/requirements/", "/scenarios/", "/tests/"];
 function shouldLogTraceDebug() {
     return Boolean(process.env.KIBI_TRACE || process.env.KIBI_DEBUG);
@@ -57,6 +70,16 @@ function isEntityMarkdown(p) {
     }
     return false;
 }
+function isManifestFile(p) {
+    const base = p.split(/[\/]/).pop();
+    if (!base)
+        return false;
+    for (const name of SUPPORTED_MANIFEST) {
+        if (base === name)
+            return true;
+    }
+    return false;
+}
 /**
  * Parse unified diff hunks (new-file coordinates) from git diff output
  */
@@ -86,6 +109,7 @@ export function parseHunksFromDiff(diffText, isNewFile = false) {
 /**
  * Get staged files with statuses, hunks and content.
  */
+// implements REQ-014
 export function getStagedFiles(exec = execSync) {
     // 1. get staged name-status -z
     let nameStatus;
@@ -115,7 +139,9 @@ export function getStagedFiles(exec = execSync) {
                 path = entry.parts[1];
             }
         }
-        if (!hasSupportedExt(path) && !isEntityMarkdown(path)) {
+        if (!hasSupportedExt(path) &&
+            !isEntityMarkdown(path) &&
+            !isManifestFile(path)) {
             if (shouldLogTraceDebug()) {
                 console.debug(`Skipping unsupported extension: ${path}`);
             }

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

@@ -11,5 +11,10 @@ export interface ExtractedSymbol {
     hunkRanges: HunkRange[];
     reqLinks: string[];
 }
-export declare function extractSymbolsFromStagedFile(stagedFile: StagedFile): ExtractedSymbol[];
+export interface ManifestLookupEntry {
+    id: string;
+    links?: string[];
+}
+export type ManifestLookup = Map<string, ManifestLookupEntry>;
+export declare function extractSymbolsFromStagedFile(stagedFile: StagedFile, manifestLookup?: ManifestLookup): ExtractedSymbol[];
 //# sourceMappingURL=symbol-extract.d.ts.map

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;AA0DD,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,UAAU,GACrB,eAAe,EAAE,CAuLnB"}
+{"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"}

package/dist/traceability/symbol-extract.js

@@ -28,7 +28,10 @@ function parseReqDirectives(text) {
     const regex = new RegExp(`implements\\s*:?\\s*(${REQ_ID}(?:\\s*,\\s*${REQ_ID})*)\\s*$`, "gim");
     const reqs = new Set();
     let m;
-    while ((m = regex.exec(text))) {
+    while (true) {
+        m = regex.exec(text);
+        if (!m)
+            break;
         const list = m[1];
         for (const part of list.split(/[,\s]+/)) {
             const p = part.trim();
@@ -42,9 +45,9 @@ function parseReqDirectives(text) {
 function rangesIntersect(aStart, aEnd, bStart, bEnd) {
     return aStart <= bEnd && bStart <= aEnd;
 }
-export function extractSymbolsFromStagedFile(stagedFile) {
+export function extractSymbolsFromStagedFile(stagedFile, manifestLookup) {
     const content = stagedFile.content ?? "";
-    const sha = computeContentSha(content + "|" + stagedFile.path);
+    const sha = computeContentSha(`${content}|${stagedFile.path}`);
     // TTL cache lookup
     const now = Date.now();
     let cached = sourceFileCache.get(sha);
@@ -52,7 +55,7 @@ export function extractSymbolsFromStagedFile(stagedFile) {
         // create or recreate SourceFile in project (in-memory)
         try {
             const scriptKind = chooseScriptKind(stagedFile.path);
-            const sf = project.createSourceFile(stagedFile.path + "::staged", content, {
+            const sf = project.createSourceFile(`${stagedFile.path}::staged`, content, {
                 overwrite: true,
                 scriptKind,
             });
@@ -85,13 +88,13 @@ export function extractSymbolsFromStagedFile(stagedFile) {
             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"));
-            const id = resolveSymbolId(stagedFile.path, name);
+            const reqLinks = parseReqDirectives(`${fn.getFullText()}\n${fn
+                .getJsDocs()
+                .map((d) => d.getFullText())
+                .join("\n")}`);
+            const { id, reqLinks: manifestLinks } = resolveSymbolId(stagedFile.path, name, manifestLookup);
+            // Merge manifest links with inline directive links (manifest links as fallback)
+            const mergedReqLinks = reqLinks.length > 0 ? reqLinks : (manifestLinks ?? []);
             results.push({
                 id,
                 name,
@@ -102,7 +105,7 @@ export function extractSymbolsFromStagedFile(stagedFile) {
                     endLine: span.endLine,
                 },
                 hunkRanges: intersectingHunks(span.startLine, span.endLine, stagedFile.hunkRanges),
-                reqLinks,
+                reqLinks: mergedReqLinks,
             });
         }
         catch { }
@@ -116,13 +119,13 @@ export function extractSymbolsFromStagedFile(stagedFile) {
             const start = cls.getNameNode()?.getStart() ?? cls.getStart();
             const end = cls.getEnd();
             const span = getSpan(start, end);
-            const reqLinks = parseReqDirectives(cls.getText() +
-                "\n" +
-                cls
-                    .getJsDocs()
-                    .map((d) => d.getFullText())
-                    .join("\n"));
-            const id = resolveSymbolId(stagedFile.path, name);
+            const reqLinks = parseReqDirectives(`${cls.getText()}\n${cls
+                .getJsDocs()
+                .map((d) => d.getFullText())
+                .join("\n")}`);
+            const { id, reqLinks: manifestLinks } = resolveSymbolId(stagedFile.path, name, manifestLookup);
+            // Merge manifest links with inline directive links (manifest links as fallback)
+            const mergedReqLinks = reqLinks.length > 0 ? reqLinks : (manifestLinks ?? []);
             results.push({
                 id,
                 name,
@@ -133,7 +136,7 @@ export function extractSymbolsFromStagedFile(stagedFile) {
                     endLine: span.endLine,
                 },
                 hunkRanges: intersectingHunks(span.startLine, span.endLine, stagedFile.hunkRanges),
-                reqLinks,
+                reqLinks: mergedReqLinks,
             });
         }
         catch { }
@@ -148,7 +151,9 @@ export function extractSymbolsFromStagedFile(stagedFile) {
             const end = en.getEnd();
             const span = getSpan(start, end);
             const reqLinks = parseReqDirectives(en.getText());
-            const id = resolveSymbolId(stagedFile.path, name);
+            const { id, reqLinks: manifestLinks } = resolveSymbolId(stagedFile.path, name, manifestLookup);
+            // Merge manifest links with inline directive links (manifest links as fallback)
+            const mergedReqLinks = reqLinks.length > 0 ? reqLinks : (manifestLinks ?? []);
             results.push({
                 id,
                 name,
@@ -159,7 +164,7 @@ export function extractSymbolsFromStagedFile(stagedFile) {
                     endLine: span.endLine,
                 },
                 hunkRanges: intersectingHunks(span.startLine, span.endLine, stagedFile.hunkRanges),
-                reqLinks,
+                reqLinks: mergedReqLinks,
             });
         }
         catch { }
@@ -175,7 +180,9 @@ export function extractSymbolsFromStagedFile(stagedFile) {
                 const end = decl.getEnd();
                 const span = getSpan(start, end);
                 const reqLinks = parseReqDirectives(decl.getText());
-                const id = resolveSymbolId(stagedFile.path, name);
+                const { id, reqLinks: manifestLinks } = resolveSymbolId(stagedFile.path, name, manifestLookup);
+                // Merge manifest links with inline directive links (manifest links as fallback)
+                const mergedReqLinks = reqLinks.length > 0 ? reqLinks : (manifestLinks ?? []);
                 results.push({
                     id,
                     name,
@@ -186,7 +193,7 @@ export function extractSymbolsFromStagedFile(stagedFile) {
                         endLine: span.endLine,
                     },
                     hunkRanges: intersectingHunks(span.startLine, span.endLine, stagedFile.hunkRanges),
-                    reqLinks,
+                    reqLinks: mergedReqLinks,
                 });
             }
             catch { }
@@ -208,21 +215,42 @@ function intersectingHunks(startLine, endLine, hunks) {
     }
     return out;
 }
-function resolveSymbolId(filePath, name) {
+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 lookupKey = `${normalizedSource}:${name}`;
+        const entry = manifestLookup.get(lookupKey);
+        if (entry) {
+            return { id: entry.id, reqLinks: entry.links };
+        }
+    }
+    // Fallback: attempt to read manifest entries from a local symbols.yaml (best-effort)
     try {
-        // attempt to read manifest entries for explicit id (best-effort)
-        // extractFromManifest expects a file path; if manifest not present it will throw — catch it
-        const ents = extractFromManifest(filePath);
-        for (const e of ents) {
-            if (e.entity.title === name)
-                return e.entity.id;
+        // Try to find a symbols.yaml in the same directory as the file
+        const dir = filePath.substring(0, filePath.lastIndexOf("/"));
+        if (dir) {
+            const manifestPath = `${dir}/symbols.yaml`;
+            const ents = extractFromManifest(manifestPath);
+            for (const e of ents) {
+                if (e.entity.title === name) {
+                    // Extract requirement links from relationships
+                    const reqLinks = e.relationships
+                        .filter((r) => r.type === "implements" && r.to.match(/^[A-Z][A-Z0-9\-_]*$/))
+                        .map((r) => r.to);
+                    return { id: e.entity.id, reqLinks };
+                }
+            }
         }
     }
     catch {
-        // ignore
+        // ignore - no local manifest or parse error
     }
-    // deterministic id: sha(file:path:name)
+    // Final fallback: deterministic id: sha(file:path:name)
     const h = createHash("sha256");
     h.update(`${filePath}:${name}`);
-    return h.digest("hex").slice(0, 16);
+    return { id: h.digest("hex").slice(0, 16) };
 }

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":"AAIA,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,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;AAmDD,iBAAe,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAe/D;AAED,OAAO,EAAE,cAAc,EAAE,CAAC;AAE1B,wBAAsB,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,CA2C7E;AAED,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":"AAIA,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,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;AAmDD,iBAAe,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAe/D;AAED,OAAO,EAAE,cAAc,EAAE,CAAC;AAE1B,wBAAsB,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,CA2C7E;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

@@ -82,14 +82,15 @@ export async function createTempKb(baseKbPath) {
     trace(`temporary KB ready at ${kbPath}`);
     return ctx;
 }
+// implements REQ-014
 export function createOverlayFacts(symbols) {
     const lines = [];
     for (const symbol of symbols) {
-        lines.push(`changed_symbol(${escapePrologAtom(symbol.id)}).`);
-        lines.push(`changed_symbol_loc(${escapePrologAtom(symbol.id)}, ${escapePrologAtom(symbol.location.file)}, ${symbol.location.startLine}, 0, ${escapePrologAtom(symbol.name)}).`);
+        lines.push(`kb:changed_symbol(${escapePrologAtom(symbol.id)}).`);
+        lines.push(`kb:changed_symbol_loc(${escapePrologAtom(symbol.id)}, ${escapePrologAtom(symbol.location.file)}, ${symbol.location.startLine}, 0, ${escapePrologAtom(symbol.name)}).`);
         // Emit overlay facts for requirement links from code-comment directives.
         for (const reqId of symbol.reqLinks) {
-            lines.push(`changed_symbol_req(${escapePrologAtom(symbol.id)}, ${escapePrologAtom(reqId)}).`);
+            lines.push(`kb:changed_symbol_req(${escapePrologAtom(symbol.id)}, ${escapePrologAtom(reqId)}).`);
         }
     }
     return lines.join("\n");

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

@@ -1 +1 @@
-{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/traceability/validate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAElD,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;AAgHD,wBAAsB,qBAAqB,CACzC,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,SAAS,EAAE,CAAC,CAqCtB;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,SAAS,EAAE,GAAG,MAAM,CAiBhE"}
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/traceability/validate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAElD,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;AAiHD,wBAAsB,qBAAqB,CACzC,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,SAAS,EAAE,CAAC,CAqCtB;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,SAAS,EAAE,GAAG,MAAM,CAiBhE"}

package/dist/traceability/validate.js

@@ -1,10 +1,10 @@
-function unquoteAtom(v) {
+function unquoteAtom(value) {
     // remove surrounding single quotes and unescape doubled quotes
-    v = v.trim();
-    if (v.startsWith("'") && v.endsWith("'")) {
-        v = v.slice(1, -1).replace(/''/g, "'");
+    const trimmed = value.trim();
+    if (trimmed.startsWith("'") && trimmed.endsWith("'")) {
+        return trimmed.slice(1, -1).replace(/''/g, "'");
     }
-    return v;
+    return trimmed;
 }
 function splitTopLevelComma(s) {
     const parts = [];
@@ -98,14 +98,15 @@ function parsePrologListOfLists(value) {
     }
     return out;
 }
+// implements REQ-014
 export async function validateStagedSymbols(options) {
     const { minLinks, prolog } = options;
-    const goal = `findall([Sym,Count,File,Line,Col,Name], changed_symbol_violation(Sym, ${minLinks}, Count, File, Line, Col, Name), Rows)`;
+    const goal = `findall([Sym,Count,File,Line,Col,Name], kb:changed_symbol_violation(Sym, ${minLinks}, Count, File, Line, Col, Name), Rows)`;
     const res = await prolog.query(goal);
     if (!res.success) {
         throw new Error(`Prolog query failed: ${res.error || "unknown error"}`);
     }
-    const rowsRaw = res.bindings["Rows"] ?? "[]";
+    const rowsRaw = res.bindings.Rows ?? "[]";
     const lists = parsePrologListOfLists(rowsRaw);
     const violations = [];
     for (const row of lists) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "kibi-cli",
-  "version": "0.2.7",
+  "version": "0.3.0",
   "type": "module",
   "description": "Kibi CLI for knowledge base management",
   "engines": {
@@ -58,6 +58,10 @@
     "./diagnostics": {
       "types": "./dist/diagnostics.d.ts",
       "default": "./dist/diagnostics.js"
+    },
+    "./search-ranking": {
+      "types": "./dist/search-ranking.d.ts",
+      "default": "./dist/search-ranking.js"
     }
   },
   "types": "./dist/cli.d.ts",
@@ -68,9 +72,13 @@
     "fast-glob": "^3.2.12",
     "gray-matter": "^4.0.3",
     "js-yaml": "^4.1.0",
-    "kibi-core": "^0.1.10",
+    "kibi-core": "^0.2.0",
     "ts-morph": "^23.0.0"
   },
+  "devDependencies": {
+    "@types/node": "latest",
+    "typescript": "^5.7.0"
+  },
   "license": "AGPL-3.0-or-later",
   "author": "Piotr Franczyk",
   "repository": {

package/src/public/extractors/symbols-coordinator.ts

@@ -14,9 +14,8 @@
 
  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 of symbols coordinator
 export {
   enrichSymbolCoordinates,
   type ManifestSymbolEntry,

package/src/public/prolog/index.ts

@@ -14,7 +14,6 @@
 
  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 of PrologProcess
 export { PrologProcess } from "../../prolog.js";

package/src/public/schemas/entity.ts

@@ -14,10 +14,8 @@
 
  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 export of entity schema
-// Generated from entity.schema.json
 const entitySchema = {
   $id: "entity.schema.json",
   title: "Entity",

package/src/public/schemas/relationship.ts

@@ -14,10 +14,8 @@
 
  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 export of relationship schema
-// Generated from relationship.schema.json
 const relationshipSchema = {
   $id: "relationship.schema.json",
   title: "Relationship",