kibi-cli 1.0.1 → 2.1.0

package/dist/extractors/symbols-ts.js

@@ -15,451 +15,56 @@
  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/>.
 */
-import { access, readFile } from "node:fs/promises";
-import * as path from "node:path";
-import { Project, ScriptKind, SyntaxKind, } from "ts-morph";
-const SUPPORTED_SOURCE_EXTENSIONS = new Set([
-    ".ts",
-    ".tsx",
-    ".js",
-    ".jsx",
-    ".mts",
-    ".cts",
-    ".mjs",
-    ".cjs",
-]);
+import { createBuiltinTsMorphSourceAnalysisProvider, enrichSymbolCoordinatesWithTsMorph as enrichBuiltinSymbolCoordinates, isPrivateClassMember as isBuiltinPrivateClassMember, onlyCandidate as onlyBuiltinCandidate, } from "kibi-plugin-builtin";
+// implements REQ-capability-plugin-builtin-parity-v1
+export const isPrivateClassMember = isBuiltinPrivateClassMember;
+/**
+ * Thin host adapter over kibi-plugin-builtin's ts-morph extractor.
+ * Preserves the historical `ts-morph` provider id for sync callers and tests.
+ */
 // implements REQ-001
 export function createTsMorphSourceAnalysisProvider() {
-    const project = new Project({
-        skipAddingFilesFromTsConfig: true,
-    });
+    const provider = createBuiltinTsMorphSourceAnalysisProvider();
     return {
         id: "ts-morph",
         supportsFile(filePath) {
-            return SUPPORTED_SOURCE_EXTENSIONS.has(path.extname(filePath).toLowerCase());
+            return provider.supportsFile(filePath);
         },
         analyzeText(filePath, content) {
-            const sourceFile = project.createSourceFile(filePath, content, {
-                overwrite: true,
-                scriptKind: chooseScriptKind(filePath),
-            });
+            const result = provider.analyzeText(filePath, content);
             return {
-                sourceFile: filePath,
-                language: inferSourceLanguage(filePath),
+                sourceFile: result.sourceFile,
+                language: result.language,
                 providerId: "ts-morph",
                 module: {
-                    title: inferModuleTitle(filePath),
-                    language: inferSourceLanguage(filePath),
-                    analysisMode: "parser",
+                    title: result.module.title,
+                    language: result.module.language,
+                    analysisMode: result.module.analysisMode,
+                    ...(result.module.fallbackReason
+                        ? { fallbackReason: result.module.fallbackReason }
+                        : {}),
                 },
-                symbols: collectSourceSymbols(sourceFile),
+                symbols: result.symbols.map((symbol) => ({
+                    name: symbol.name,
+                    kind: symbol.kind,
+                    startLine: symbol.startLine,
+                    startColumn: symbol.startColumn,
+                    endLine: symbol.endLine,
+                    endColumn: symbol.endColumn,
+                    ...(symbol.directiveText
+                        ? { directiveText: symbol.directiveText }
+                        : {}),
+                })),
             };
         },
     };
 }
+// implements REQ-capability-plugin-builtin-parity-v1
 export async function enrichSymbolCoordinatesWithTsMorph(entries, workspaceRoot) {
     // implements REQ-vscode-traceability
-    const project = new Project({
-        skipAddingFilesFromTsConfig: true,
-    });
-    const sourceFileCache = new Map();
-    const enriched = [];
-    for (const entry of entries) {
-        try {
-            const absolutePath = await resolveSourcePath(entry.sourceFile, workspaceRoot);
-            if (!absolutePath) {
-                enriched.push(entry);
-                continue;
-            }
-            const sourceFile = getOrAddSourceFile(project, sourceFileCache, absolutePath);
-            if (!sourceFile) {
-                enriched.push(await enrichWithTextFallback(entry, absolutePath));
-                continue;
-            }
-            const match = findNamedDeclaration(sourceFile, entry.title);
-            if (!match) {
-                enriched.push(entry);
-                continue;
-            }
-            const nameStart = match.getNameNode().getStart();
-            const end = match.node.getEnd();
-            const startLc = sourceFile.getLineAndColumnAtPos(nameStart);
-            const endLc = sourceFile.getLineAndColumnAtPos(end);
-            const coordinates = {
-                sourceLine: startLc.line,
-                sourceColumn: Math.max(0, startLc.column - 1),
-                sourceEndLine: endLc.line,
-                sourceEndColumn: Math.max(0, endLc.column - 1),
-                coordinatesGeneratedAt: new Date().toISOString(),
-            };
-            enriched.push({
-                ...entry,
-                ...coordinates,
-            });
-        }
-        catch (error) {
-            const message = error instanceof Error ? error.message : String(error);
-            console.warn(`[kibi] Failed to enrich symbol coordinates for ${entry.id}: ${message}`);
-            const absolutePath = await resolveSourcePath(entry.sourceFile, workspaceRoot);
-            if (!absolutePath) {
-                enriched.push(entry);
-                continue;
-            }
-            enriched.push(await enrichWithTextFallback(entry, absolutePath));
-        }
-    }
-    return enriched;
-}
-async function resolveSourcePath(sourceFile, workspaceRoot) {
-    if (!sourceFile)
-        return null;
-    const absolute = path.isAbsolute(sourceFile)
-        ? sourceFile
-        : path.resolve(workspaceRoot, sourceFile);
-    const ext = path.extname(absolute).toLowerCase();
-    if (!SUPPORTED_SOURCE_EXTENSIONS.has(ext))
-        return null;
-    try {
-        await access(absolute);
-    }
-    catch {
-        return null;
-    }
-    return absolute;
-}
-function getOrAddSourceFile(project, cache, absolutePath) {
-    const cached = cache.get(absolutePath);
-    if (cached)
-        return cached;
-    try {
-        const sourceFile = project.addSourceFileAtPath(absolutePath);
-        cache.set(absolutePath, sourceFile);
-        return sourceFile;
-    }
-    catch {
-        return null;
-    }
-}
-function enrichWithTextFallback(entry, absolutePath) {
-    return enrichWithTextFallbackInternal(entry, absolutePath);
-}
-async function enrichWithTextFallbackInternal(entry, absolutePath) {
-    try {
-        const content = await readFile(absolutePath, "utf8");
-        const lines = content.split(/\r?\n/);
-        const escapedTitle = entry.title.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
-        const pattern = new RegExp(`\\b${escapedTitle}\\b`);
-        for (let index = 0; index < lines.length; index++) {
-            const line = lines[index];
-            if (!line)
-                continue;
-            const match = pattern.exec(line);
-            if (!match || match.index < 0)
-                continue;
-            return {
-                ...entry,
-                sourceLine: index + 1,
-                sourceColumn: match.index,
-                sourceEndLine: index + 1,
-                sourceEndColumn: match.index + entry.title.length,
-                coordinatesGeneratedAt: new Date().toISOString(),
-            };
-        }
-        return entry;
-    }
-    catch {
-        return entry;
-    }
-}
-function collectSourceSymbols(sourceFile) {
-    const symbols = [];
-    for (const decl of sourceFile.getFunctions()) {
-        if (!decl.isExported())
-            continue;
-        symbols.push(toSourceSymbolAnalysis(sourceFile, decl.getName() ?? "<anonymous>", "function", decl.getNameNode() ?? decl, decl, `${decl.getFullText()}\n${decl
-            .getJsDocs()
-            .map((doc) => doc.getFullText())
-            .join("\n")}`));
-    }
-    for (const decl of sourceFile.getClasses()) {
-        if (!decl.isExported())
-            continue;
-        symbols.push(toSourceSymbolAnalysis(sourceFile, decl.getName() ?? "<anonymous>", "class", decl.getNameNode() ?? decl, decl, decl
-            .getJsDocs()
-            .map((doc) => doc.getFullText())
-            .join("\n")));
-        for (const method of decl.getMethods()) {
-            if (isPrivateClassMember(method))
-                continue;
-            symbols.push(toSourceSymbolAnalysis(sourceFile, formatMethodSymbolName(decl.getName(), method.getName()), "method", method.getNameNode() ?? method, method, `${method.getFullText()}\n${method
-                .getJsDocs()
-                .map((doc) => doc.getFullText())
-                .join("\n")}`));
-        }
-        for (const property of decl.getProperties()) {
-            if (isPrivateClassMember(property))
-                continue;
-            symbols.push(toSourceSymbolAnalysis(sourceFile, formatMethodSymbolName(decl.getName(), property.getName()), "property", property.getNameNode() ?? property, property, `${property.getFullText()}\n${property
-                .getJsDocs()
-                .map((doc) => doc.getFullText())
-                .join("\n")}`));
-        }
-        for (const accessor of [
-            ...decl.getGetAccessors(),
-            ...decl.getSetAccessors(),
-        ]) {
-            if (isPrivateClassMember(accessor))
-                continue;
-            symbols.push(toSourceSymbolAnalysis(sourceFile, formatMethodSymbolName(decl.getName(), accessor.getName()), "accessor", accessor.getNameNode() ?? accessor, accessor, `${accessor.getFullText()}\n${accessor
-                .getJsDocs()
-                .map((doc) => doc.getFullText())
-                .join("\n")}`));
-        }
-    }
-    for (const decl of sourceFile.getInterfaces()) {
-        if (!decl.isExported())
-            continue;
-        symbols.push(toSourceSymbolAnalysis(sourceFile, decl.getName() ?? "<anonymous>", "interface", decl.getNameNode() ?? decl, decl, decl.getText()));
-    }
-    for (const decl of sourceFile.getTypeAliases()) {
-        if (!decl.isExported())
-            continue;
-        symbols.push(toSourceSymbolAnalysis(sourceFile, decl.getName() ?? "<anonymous>", "type", decl.getNameNode() ?? decl, decl, decl.getText()));
-    }
-    for (const decl of sourceFile.getEnums()) {
-        if (!decl.isExported())
-            continue;
-        symbols.push(toSourceSymbolAnalysis(sourceFile, decl.getName() ?? "<anonymous>", "enum", decl.getNameNode() ?? decl, decl, decl.getText()));
-    }
-    for (const statement of sourceFile.getVariableStatements()) {
-        if (!statement.isExported())
-            continue;
-        for (const declaration of statement.getDeclarations()) {
-            symbols.push(toSourceSymbolAnalysis(sourceFile, declaration.getName(), "variable", declaration.getNameNode() ?? declaration, declaration, declaration.getText()));
-        }
-    }
-    return symbols;
+    return enrichBuiltinSymbolCoordinates(entries, workspaceRoot);
 }
-function isPrivateClassMember(member) {
-    return (member.hasModifier(SyntaxKind.PrivateKeyword) ||
-        member.getName().startsWith("#"));
-}
-function toSourceSymbolAnalysis(sourceFile, name, kind, startNode, endNode, directiveText) {
-    const start = sourceFile.getLineAndColumnAtPos(startNode.getStart());
-    const end = sourceFile.getLineAndColumnAtPos(endNode.getEnd());
-    return {
-        name,
-        kind,
-        startLine: start.line,
-        startColumn: Math.max(0, start.column - 1),
-        endLine: end.line,
-        endColumn: Math.max(0, end.column - 1),
-        directiveText,
-    };
-}
-function formatMethodSymbolName(className, methodName) {
-    return className ? `${className}.${methodName}` : methodName;
-}
-function chooseScriptKind(filePath) {
-    const lower = filePath.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 inferSourceLanguage(filePath) {
-    const extension = path.extname(filePath).toLowerCase();
-    if ([".ts", ".tsx", ".mts", ".cts"].includes(extension)) {
-        return "typescript";
-    }
-    return "javascript";
-}
-function inferModuleTitle(filePath) {
-    const extension = path.extname(filePath);
-    const basename = path.basename(filePath, extension);
-    return basename.length > 0 ? basename : path.basename(filePath);
-}
-function findNamedDeclaration(sourceFile, title) {
-    const qualifiedMethod = parseQualifiedMethodTitle(title);
-    if (qualifiedMethod) {
-        for (const cls of sourceFile.getClasses()) {
-            if (cls.getName() !== qualifiedMethod.className)
-                continue;
-            for (const method of cls.getMethods()) {
-                if (method.getName() !== qualifiedMethod.methodName)
-                    continue;
-                const nameNode = method.getNameNode();
-                if (!nameNode)
-                    continue;
-                return { node: method, getNameNode: () => nameNode };
-            }
-            for (const property of cls.getProperties()) {
-                if (property.getName() !== qualifiedMethod.methodName)
-                    continue;
-                const nameNode = property.getNameNode();
-                if (!nameNode)
-                    continue;
-                return { node: property, getNameNode: () => nameNode };
-            }
-            for (const accessor of [
-                ...cls.getGetAccessors(),
-                ...cls.getSetAccessors(),
-            ]) {
-                if (accessor.getName() !== qualifiedMethod.methodName)
-                    continue;
-                const nameNode = accessor.getNameNode();
-                if (!nameNode)
-                    continue;
-                return { node: accessor, getNameNode: () => nameNode };
-            }
-        }
-        return null;
-    }
-    const candidates = [];
-    for (const decl of sourceFile.getFunctions()) {
-        if (!decl.isExported())
-            continue;
-        if (decl.getName() !== title)
-            continue;
-        const nameNode = decl.getNameNode();
-        if (!nameNode)
-            continue;
-        candidates.push({ node: decl, getNameNode: () => nameNode });
-    }
-    for (const decl of sourceFile.getClasses()) {
-        if (!decl.isExported())
-            continue;
-        if (decl.getName() !== title)
-            continue;
-        const nameNode = decl.getNameNode();
-        if (!nameNode)
-            continue;
-        candidates.push({ node: decl, getNameNode: () => nameNode });
-    }
-    for (const decl of sourceFile.getInterfaces()) {
-        if (!decl.isExported())
-            continue;
-        if (decl.getName() !== title)
-            continue;
-        const nameNode = decl.getNameNode();
-        if (!nameNode)
-            continue;
-        candidates.push({ node: decl, getNameNode: () => nameNode });
-    }
-    for (const decl of sourceFile.getTypeAliases()) {
-        if (!decl.isExported())
-            continue;
-        if (decl.getName() !== title)
-            continue;
-        const nameNode = decl.getNameNode();
-        if (!nameNode)
-            continue;
-        candidates.push({ node: decl, getNameNode: () => nameNode });
-    }
-    for (const decl of sourceFile.getEnums()) {
-        if (!decl.isExported())
-            continue;
-        if (decl.getName() !== title)
-            continue;
-        const nameNode = decl.getNameNode();
-        if (!nameNode)
-            continue;
-        candidates.push({ node: decl, getNameNode: () => nameNode });
-    }
-    for (const statement of sourceFile.getVariableStatements()) {
-        if (!statement.isExported())
-            continue;
-        for (const declaration of statement.getDeclarations()) {
-            if (declaration.getName() !== title)
-                continue;
-            const nameNode = declaration.getNameNode();
-            candidates.push({ node: declaration, getNameNode: () => nameNode });
-        }
-    }
-    if (candidates.length === 0) {
-        // Second pass: unique non-exported top-level functions only
-        const internalCandidates = [];
-        for (const decl of sourceFile.getFunctions()) {
-            if (decl.isExported())
-                continue; // Already scanned in first pass
-            if (decl.getName() !== title)
-                continue;
-            const nameNode = decl.getNameNode();
-            if (!nameNode)
-                continue;
-            internalCandidates.push({ node: decl, getNameNode: () => nameNode });
-        }
-        // Fail closed: only return if exactly one unique match
-        if (internalCandidates.length === 1) {
-            const candidate = internalCandidates[0];
-            if (candidate) {
-                return candidate;
-            }
-        }
-        // Third pass: unique class methods
-        const methodCandidates = [];
-        for (const cls of sourceFile.getClasses()) {
-            for (const method of cls.getMethods()) {
-                if (method.getName() !== title)
-                    continue;
-                const nameNode = method.getNameNode();
-                if (!nameNode)
-                    continue;
-                methodCandidates.push({ node: method, getNameNode: () => nameNode });
-            }
-        }
-        // Fail closed: only return if exactly one unique match
-        if (methodCandidates.length === 1) {
-            const candidate = methodCandidates[0];
-            if (candidate) {
-                return candidate;
-            }
-        }
-        const memberCandidates = [];
-        for (const cls of sourceFile.getClasses()) {
-            for (const property of cls.getProperties()) {
-                if (property.getName() !== title)
-                    continue;
-                const nameNode = property.getNameNode();
-                if (!nameNode)
-                    continue;
-                memberCandidates.push({ node: property, getNameNode: () => nameNode });
-            }
-            for (const accessor of [
-                ...cls.getGetAccessors(),
-                ...cls.getSetAccessors(),
-            ]) {
-                if (accessor.getName() !== title)
-                    continue;
-                const nameNode = accessor.getNameNode();
-                if (!nameNode)
-                    continue;
-                memberCandidates.push({ node: accessor, getNameNode: () => nameNode });
-            }
-        }
-        if (memberCandidates.length === 1) {
-            const candidate = memberCandidates[0];
-            if (candidate) {
-                return candidate;
-            }
-        }
-        return null;
-    }
-    candidates.sort((a, b) => a.getNameNode().getStart() - b.getNameNode().getStart());
-    return candidates[0] ?? null;
-}
-function parseQualifiedMethodTitle(title) {
-    const separatorIndex = title.lastIndexOf(".");
-    if (separatorIndex <= 0 || separatorIndex === title.length - 1)
-        return null;
-    return {
-        className: title.slice(0, separatorIndex),
-        methodName: title.slice(separatorIndex + 1),
-    };
+// implements REQ-capability-plugin-builtin-parity-v1
+export function onlyCandidate(candidates) {
+    return onlyBuiltinCandidate(candidates);
 }

package/dist/intent-search.d.ts

@@ -54,6 +54,7 @@ type GraphEdge = Readonly<{
     to: string;
 }>;
 export declare function rankIntentEntities(entities: readonly Record<string, unknown>[], options: IntentSearchOptions, workspaceRoot: string, graphEdges?: readonly GraphEdge[]): Promise<IntentSearchResult>;
+export declare function graphGoal(seedIds: readonly string[], depth: 1 | 2): string;
 export declare function executeIntentSearch(options: IntentSearchOptions, prolog: PrologPort, workspaceRoot: string): Promise<IntentSearchResult>;
 export declare function validateIntentSearchInput(input: IntentSearchOptions): void;
 export {};

package/dist/intent-search.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"intent-search.d.ts","sourceRoot":"","sources":["../src/intent-search.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,KAAK,kBAAkB,EAExB,MAAM,2CAA2C,CAAC;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAIvD,MAAM,MAAM,qBAAqB,GAC7B,QAAQ,GACR,SAAS,GACT,SAAS,GACT,aAAa,GACb,SAAS,CAAC;AAGd,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CACvC,OAAO,CAAC,MAAM,CAAC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAC1D,CAAC;AAGF,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CAAC,CAAC;AAGH,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC;IACpD,cAAc,CAAC,EAAE,kBAAkB,CAAC;IACpC,eAAe,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC,CAAC;AAGH,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC,CAAC;AAGH,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC,CAAC;AAGH,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,aAAa,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC5C,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;IACvC,kBAAkB,EAAE,OAAO,CAAC;CAC7B,CAAC,CAAC;AAGH,MAAM,MAAM,iBAAiB,GAAG,WAAW,GAAG;IAC5C,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;CACzC,CAAC;AAGF,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,WAAW,EAAE,WAAW,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,SAAS,EAAE,OAAO,CAAC;CACpB,CAAC,CAAC;AAGH,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACtC,QAAQ,EAAE,oBAAoB,CAAC;CAChC,CAAC,CAAC;AAEH,KAAK,SAAS,GAAG,QAAQ,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC,CAAC;AA+RH,wBAAsB,kBAAkB,CACtC,QAAQ,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAC5C,OAAO,EAAE,mBAAmB,EAC5B,aAAa,EAAE,MAAM,EACrB,UAAU,GAAE,SAAS,SAAS,EAAO,GACpC,OAAO,CAAC,kBAAkB,CAAC,CA8F7B;AAyFD,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,mBAAmB,EAC5B,MAAM,EAAE,UAAU,EAClB,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,kBAAkB,CAAC,CAuC7B;AAGD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,mBAAmB,GAAG,IAAI,CA0C1E"}
+{"version":3,"file":"intent-search.d.ts","sourceRoot":"","sources":["../src/intent-search.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,KAAK,kBAAkB,EAGxB,MAAM,2CAA2C,CAAC;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAIvD,MAAM,MAAM,qBAAqB,GAC7B,QAAQ,GACR,SAAS,GACT,SAAS,GACT,aAAa,GACb,SAAS,CAAC;AAGd,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CACvC,OAAO,CAAC,MAAM,CAAC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAC1D,CAAC;AAGF,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CAAC,CAAC;AAGH,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC;IACpD,cAAc,CAAC,EAAE,kBAAkB,CAAC;IACpC,eAAe,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC,CAAC;AAGH,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC,CAAC;AAGH,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC,CAAC;AAGH,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,aAAa,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC5C,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;IACvC,kBAAkB,EAAE,OAAO,CAAC;CAC7B,CAAC,CAAC;AAGH,MAAM,MAAM,iBAAiB,GAAG,WAAW,GAAG;IAC5C,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;CACzC,CAAC;AAGF,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,WAAW,EAAE,WAAW,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,SAAS,EAAE,OAAO,CAAC;CACpB,CAAC,CAAC;AAGH,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACtC,QAAQ,EAAE,oBAAoB,CAAC;CAChC,CAAC,CAAC;AAEH,KAAK,SAAS,GAAG,QAAQ,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC,CAAC;AA+RH,wBAAsB,kBAAkB,CACtC,QAAQ,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAC5C,OAAO,EAAE,mBAAmB,EAC5B,aAAa,EAAE,MAAM,EACrB,UAAU,GAAE,SAAS,SAAS,EAAO,GACpC,OAAO,CAAC,kBAAkB,CAAC,CA8F7B;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,GAAG,MAAM,CAO1E;AAmFD,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,mBAAmB,EAC5B,MAAM,EAAE,UAAU,EAClB,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,kBAAkB,CAAC,CAuC7B;AAGD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,mBAAmB,GAAG,IAAI,CA0C1E"}

package/dist/intent-search.js

@@ -1,6 +1,6 @@
 import path from "node:path";
-import { escapeAtom, parseTriples } from "./prolog/codec.js";
-import { loadEntities, } from "./public/operations/discovery-entities.js";
+import { escapeAtom, normalizeEntityId, parseTriples } from "./prolog/codec.js";
+import { loadEntities, loadSearchCandidates, } from "./public/operations/discovery-entities.js";
 import { loadMarkdownBody } from "./search-ranking.js";
 const GRAPH_RELATIONSHIPS = [
     "implements",
@@ -315,7 +315,7 @@ export async function rankIntentEntities(entities, options, workspaceRoot, graph
         },
     };
 }
-function graphGoal(seedIds, depth) {
+export function graphGoal(seedIds, depth) {
     const ids = seedIds.map((id) => `'${escapeAtom(id)}'`).join(",");
     const relationships = GRAPH_RELATIONSHIPS.join(",");
     if (depth === 1) {
@@ -331,7 +331,11 @@ async function queryGraphEdges(prolog, seedIds) {
         return [];
     return parseTriples(result.bindings.Edges ?? "[]")
         .slice(0, MAX_GRAPH_EDGES)
-        .map(([relationship, from, to]) => ({ relationship, from, to }));
+        .map(([relationship, from, to]) => ({
+        relationship,
+        from: normalizeEntityId(from),
+        to: normalizeEntityId(to),
+    }));
 }
 async function loadIntentCandidates(prolog, options) {
     const terms = [
@@ -343,13 +347,12 @@ async function loadIntentCandidates(prolog, options) {
         (options.sourceLocations === undefined ||
             options.sourceLocations.length === 0)) {
         for (const term of terms) {
-            const page = await prolog.searchEntities({
+            const page = await loadSearchCandidates(prolog, {
                 query: term,
                 ...(options.type !== undefined ? { type: options.type } : {}),
-                limit: MAX_CANDIDATES,
-                offset: 0,
+                maxCandidates: MAX_CANDIDATES,
             });
-            for (const entity of page.entities) {
+            for (const entity of page) {
                 candidates.set(`${String(entity.type ?? "")}::${String(entity.id ?? "")}`, { ...entity });
             }
         }

package/dist/logic/ir.d.ts

@@ -102,6 +102,7 @@ export interface LogicValidationResult {
 export declare function canonicalLogicJson(ir: LogicRuleIR): string;
 export declare function logicRuleHash(ir: LogicRuleIR): string;
 export declare function logicSemanticKey(ir: LogicRuleIR): string;
+export declare function termVariables(term: LogicTerm): Set<string>;
 /** Rendered output is an audit preview only; it is never evaluated as source. */
 export declare function renderLogicProlog(ir: LogicRuleIR): string;
 export declare function validateLogicIr(input: unknown): LogicValidationResult;

package/dist/logic/ir.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../../src/logic/ir.ts"],"names":[],"mappings":"AAGA,2DAA2D;AAC3D,eAAO,MAAM,gBAAgB,EAAG,eAAwB,CAAC;AACzD,eAAO,MAAM,oBAAoB,KAAK,CAAC;AACvC,eAAO,MAAM,oBAAoB,KAAK,CAAC;AACvC,eAAO,MAAM,wBAAwB,KAAK,CAAC;AAE3C,MAAM,MAAM,aAAa,GAAG,QAAQ,GAAG,MAAM,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAC/E,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,MAAM,GAAG,YAAY,CAAC;AAC3D,MAAM,MAAM,uBAAuB,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAC1D,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACtE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1E;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC3E;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;CACnD,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACtD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEN,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,SAAS,EAAE,CAAC;IACpC,+EAA+E;IAC/E,QAAQ,CAAC,QAAQ,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IAC5C,oDAAoD;IACpD,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC;AAED,MAAM,MAAM,eAAe,GACvB,SAAS,GACT;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAA;CAAE,GACpE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAA;CAAE,GACpE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAClD;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IAC9D,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;CAC3B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IAC9D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EACb,QAAQ,GACR,OAAO,GACP,QAAQ,GACR,UAAU,GACV,QAAQ,GACR,UAAU,CAAC;IACf,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;CAC3B,CAAC;AAEN,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,uBAAuB,CAAC;CAC/C;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,gBAAgB,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IACjD,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC;AAwCD,wEAAwE;AACxE,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,WAAW,GAAG,MAAM,CAE1D;AAED,wBAAgB,aAAa,CAAC,EAAE,EAAE,WAAW,GAAG,MAAM,CAErD;AAED,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,WAAW,GAAG,MAAM,CAExD;AA6nBD,iFAAiF;AACjF,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,WAAW,GAAG,MAAM,CAIzD;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,qBAAqB,CAoNrE;AAED,wBAAgB,QAAQ,CACtB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,GACV;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAKlD"}
+{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../../src/logic/ir.ts"],"names":[],"mappings":"AAGA,2DAA2D;AAC3D,eAAO,MAAM,gBAAgB,EAAG,eAAwB,CAAC;AACzD,eAAO,MAAM,oBAAoB,KAAK,CAAC;AACvC,eAAO,MAAM,oBAAoB,KAAK,CAAC;AACvC,eAAO,MAAM,wBAAwB,KAAK,CAAC;AAE3C,MAAM,MAAM,aAAa,GAAG,QAAQ,GAAG,MAAM,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAC/E,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,MAAM,GAAG,YAAY,CAAC;AAC3D,MAAM,MAAM,uBAAuB,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAC1D,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACtE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1E;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC3E;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;CACnD,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACtD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEN,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,SAAS,EAAE,CAAC;IACpC,+EAA+E;IAC/E,QAAQ,CAAC,QAAQ,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IAC5C,oDAAoD;IACpD,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC;AAED,MAAM,MAAM,eAAe,GACvB,SAAS,GACT;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAA;CAAE,GACpE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAA;CAAE,GACpE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAClD;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IAC9D,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;CAC3B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IAC9D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EACb,QAAQ,GACR,OAAO,GACP,QAAQ,GACR,UAAU,GACV,QAAQ,GACR,UAAU,CAAC;IACf,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;CAC3B,CAAC;AAEN,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,uBAAuB,CAAC;CAC/C;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,gBAAgB,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IACjD,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC;AAwCD,wEAAwE;AACxE,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,WAAW,GAAG,MAAM,CAE1D;AAED,wBAAgB,aAAa,CAAC,EAAE,EAAE,WAAW,GAAG,MAAM,CAErD;AAED,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,WAAW,GAAG,MAAM,CAExD;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,CAE1D;AAynBD,iFAAiF;AACjF,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,WAAW,GAAG,MAAM,CAIzD;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,qBAAqB,CAoNrE;AAED,wBAAgB,QAAQ,CACtB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,GACV;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAKlD"}

package/dist/logic/ir.js

@@ -43,7 +43,7 @@ export function logicRuleHash(ir) {
 export function logicSemanticKey(ir) {
     return `SEM-${logicRuleHash(ir).slice(0, 24).toUpperCase()}`;
 }
-function termVariables(term) {
+export function termVariables(term) {
     return term.kind === "var" ? new Set([term.name]) : new Set();
 }
 function mergeInto(target, source) {

package/dist/operations/bootstrap/activation.d.ts

@@ -1,4 +1,5 @@
 import type { OperationContext } from "../../public/operations/runtime-types.js";
 import type { ActivationPolicy } from "./types.js";
-export declare function classifyActivation(context: OperationContext, files: readonly string[]): Promise<ActivationPolicy>;
+export declare function missingManifestActivation(vendored: boolean, projectSignal: boolean): ActivationPolicy;
+export declare function classifyActivation(context: OperationContext, files?: readonly string[]): Promise<ActivationPolicy>;
 //# sourceMappingURL=activation.d.ts.map

package/dist/operations/bootstrap/activation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"activation.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/activation.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAGjF,OAAO,KAAK,EAAE,gBAAgB,EAAmB,MAAM,YAAY,CAAC;AAmHpE,wBAAsB,kBAAkB,CACtC,OAAO,EAAE,gBAAgB,EACzB,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,OAAO,CAAC,gBAAgB,CAAC,CAwE3B"}
+{"version":3,"file":"activation.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/activation.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAGjF,OAAO,KAAK,EAAE,gBAAgB,EAAmB,MAAM,YAAY,CAAC;AAIpE,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,OAAO,EACjB,aAAa,EAAE,OAAO,GACrB,gBAAgB,CAIlB;AAmHD,wBAAsB,kBAAkB,CACtC,OAAO,EAAE,gBAAgB,EACzB,KAAK,GAAE,SAAS,MAAM,EAAO,GAC5B,OAAO,CAAC,gBAAgB,CAAC,CAyE3B"}

package/dist/operations/bootstrap/activation.js

@@ -1,6 +1,11 @@
 import path from "node:path";
 import { readKbManifestStatus } from "../../utils/kb-manifest.js";
 import { KB_PATHS } from "../../utils/kb-paths.js";
+// implements REQ-KIBI-BOOTSTRAP-PLAN
+// covered_by TEST-KIBI-BOOTSTRAP-PLAN-APPLY
+export function missingManifestActivation(vendored, projectSignal) {
+    return activationFor(vendored && !projectSignal ? "vendored_only" : "root_uninitialized");
+}
 function activationFor(state) {
     switch (state) {
         case "root_uninitialized":
@@ -93,12 +98,15 @@ function sourceCoverageState(files) {
     return coverageState(Object.entries(counts).map(([type, count]) => ({ type, count })));
 }
 // implements REQ-KIBI-BOOTSTRAP-PLAN
-export async function classifyActivation(context, files) {
+export async function classifyActivation(context, files = []) {
     // Discovery callers do not all use the same path base.  The CLI globber
     // returns workspace-relative paths, while host adapters may pass absolute
     // paths.  Normalize before source-lane classification so a seeded source
     // KB has the same posture on every peer surface.
-    const normalizedFiles = files.map((file) => {
+    // Hosts (and leaked fast-glob mocks) may omit or return a non-array; treat
+    // that as "no source files" rather than crashing status/bootstrap.
+    const sourceFiles = Array.isArray(files) ? files : [];
+    const normalizedFiles = sourceFiles.map((file) => {
         const relative = path.isAbsolute(file)
             ? path.relative(context.workspaceRoot, file)
             : file;
@@ -111,7 +119,7 @@ export async function classifyActivation(context, files) {
             /^(README\.md|package\.json|src\/|app\/|packages\/|tests\/)/.test(file));
         const projectSignalFromDirectories = await Promise.all(["README.md", "package.json", "src", "app", "packages", "tests"].map((target) => exists(context, path.resolve(context.workspaceRoot, target))));
         const projectSignal = projectSignalFromFiles || projectSignalFromDirectories.some(Boolean);
-        return activationFor(vendored && !projectSignal ? "vendored_only" : "root_uninitialized");
+        return missingManifestActivation(vendored, projectSignal);
     }
     if (manifestStatus.state !== "ok")
         return activationFor("root_partial");

package/dist/operations/bootstrap/generate.d.ts

@@ -1,5 +1,6 @@
 import type { OperationContext } from "../../public/operations/runtime-types.js";
-import type { Candidate, PlanBootstrapArgs, PlanBootstrapResult } from "./types.js";
+import type { Candidate, PlanBootstrapArgs, PlanBootstrapResult, SourceOnlySignal } from "./types.js";
+export declare function filterSourceOnlySignals(signals: readonly SourceOnlySignal[], entityTypes: readonly string[] | undefined): readonly SourceOnlySignal[];
 export declare function selectBootstrapCandidates(input: readonly Candidate[], existingIds: ReadonlySet<string>, entityTypes: readonly string[] | undefined, maximum: number): {
     readonly candidates: readonly Candidate[];
     readonly suppressed: readonly Readonly<Record<string, unknown>>[];

package/dist/operations/bootstrap/generate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"generate.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/generate.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAKjF,OAAO,KAAK,EACV,SAAS,EACT,iBAAiB,EACjB,mBAAmB,EACpB,MAAM,YAAY,CAAC;AA2BpB,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,WAAW,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,EAC1C,OAAO,EAAE,MAAM,GACd;IACD,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;CACnE,CAiDA;AAkHD,wBAAsB,oBAAoB,CACxC,IAAI,EAAE,iBAAiB,EACvB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,mBAAmB,CAAC,CA2D9B"}
+{"version":3,"file":"generate.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/generate.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAKjF,OAAO,KAAK,EACV,SAAS,EACT,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAEpB,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,SAAS,gBAAgB,EAAE,EACpC,WAAW,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,GACzC,SAAS,gBAAgB,EAAE,CAI7B;AA2BD,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,WAAW,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,EAC1C,OAAO,EAAE,MAAM,GACd;IACD,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;CACnE,CAiDA;AAgHD,wBAAsB,oBAAoB,CACxC,IAAI,EAAE,iBAAiB,EACvB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,mBAAmB,CAAC,CAyD9B"}