kibi-cli 2.38.0 → 2.40.0

package/dist/plugins/plugin-install-check.js

@@ -0,0 +1,62 @@
+import { SYMBOL_EXTRACTOR_V2_CAPABILITY_ID } from "kibi-plugin-sdk";
+import { APPROVED_SOURCE_ANALYZERS } from "./approved-source-analyzers.js";
+import { verifyApprovedSourceAnalyzer } from "./maintenance-source-analysis.js";
+import { readProjectKibiConfig } from "./project-config.js";
+import { resolveProjectLocalPackage } from "./resolve-package.js";
+/**
+ * Each plugin package.json#kibi.plugins declares must be installed in the
+ * workspace, and a release-qualified source analyzer must be the exact build
+ * this Kibi pins: otherwise every refresh drops symbol coordinates and every
+ * proof that needs the plugin is refused. Resolution reads package.json and
+ * hashes the pinned files; it never imports plugin code.
+ */
+// implements REQ-cli-doctor, REQ-capability-plugin-activation-disclosure-v1
+export function pluginInstallProblems(workspaceRoot, packages) {
+    const problems = [];
+    for (const packageName of packages) {
+        let resolved;
+        try {
+            resolved = resolveProjectLocalPackage(workspaceRoot, packageName);
+        }
+        catch {
+            problems.push({
+                problem: `${packageName} is declared but not installed`,
+                fix: `Install the declared plugins (npm install in ${workspaceRoot}); until then kibi sync --refresh-symbol-coordinates drops the coordinates it places and proofs that need ${packageName} are refused.`,
+            });
+            continue;
+        }
+        const approval = APPROVED_SOURCE_ANALYZERS.find((item) => item.packageName === packageName);
+        if (approval === undefined)
+            continue;
+        try {
+            verifyApprovedSourceAnalyzer(resolved.packageRoot, approval);
+        }
+        catch (error) {
+            // Resolution already parsed the package.json; its version only names
+            // the build, since the hash check already failed.
+            const installed = typeof resolved.packageJson.version === "string"
+                ? resolved.packageJson.version
+                : "unknown version";
+            const reason = error instanceof Error ? error.message : String(error);
+            problems.push({
+                problem: `installed ${packageName} ${installed} is not the release-qualified build this Kibi pins (${packageName} ${approval.version}: ${reason})`,
+                fix: `Remove node_modules/${packageName} and install the build qualified with this Kibi release (npm install --save-dev ${packageName}@${approval.version}); if the registry's ${approval.version} is another build, upgrade kibi-cli and ${packageName} together. Until then symbol refresh and proofs through ${packageName} fail.`,
+            });
+        }
+    }
+    return problems;
+}
+/**
+ * The install problems of the plugins package.json#kibi.plugins activates
+ * for symbol extraction. An explicit coordinate refresh refuses on any of
+ * them rather than replacing every coordinate those plugins place.
+ */
+// implements REQ-symbol-coordinates-derived-locally
+export function sourceAnalyzerInstallProblems(workspaceRoot) {
+    const packages = [
+        ...new Set((readProjectKibiConfig(workspaceRoot).plugins ?? [])
+            .filter((entry) => entry.capabilities[SYMBOL_EXTRACTOR_V2_CAPABILITY_ID])
+            .map((entry) => entry.package)),
+    ];
+    return pluginInstallProblems(workspaceRoot, packages);
+}

package/dist/plugins/proof-reference-extractors.d.ts

@@ -0,0 +1,20 @@
+import { type ReferenceExtractorV1 } from "kibi-plugin-sdk";
+/** The plugin Kibi suggests for reading references of these languages. */
+export declare const REFERENCE_PLUGIN_PACKAGE = "kibi-plugin-treesitter";
+export type ProofReferenceExtractors = Readonly<{
+    extractors: readonly ReferenceExtractorV1[];
+    /** Why a configured provider was not used, for the refusal text. */
+    problems: readonly string[];
+}>;
+/**
+ * Load the reference extractors a proof may use: providers activated for
+ * kibi.reference-extractor.v1 whose installed bytes match a release-qualified
+ * closure. A proof is evidence, so an unqualified or modified provider is
+ * never imported; the read is refused instead and names the reason.
+ */
+export declare function loadProofReferenceExtractors(workspaceRoot: string): Promise<ProofReferenceExtractors>;
+/** Replaceable loader, so tests can supply providers without installing a package. */
+export declare const proofReferenceExtractorLoader: {
+    load: (workspaceRoot: string) => Promise<ProofReferenceExtractors>;
+};
+//# sourceMappingURL=proof-reference-extractors.d.ts.map

package/dist/plugins/proof-reference-extractors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-reference-extractors.d.ts","sourceRoot":"","sources":["../../src/plugins/proof-reference-extractors.ts"],"names":[],"mappings":"AAoBA,OAAO,EAGL,KAAK,oBAAoB,EAC1B,MAAM,iBAAiB,CAAC;AAOzB,0EAA0E;AAC1E,eAAO,MAAM,wBAAwB,2BAA2B,CAAC;AAEjE,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC9C,UAAU,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC5C,oEAAoE;IACpE,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7B,CAAC,CAAC;AAEH;;;;;GAKG;AAEH,wBAAsB,4BAA4B,CAChD,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,wBAAwB,CAAC,CA6CnC;AAYD,sFAAsF;AACtF,eAAO,MAAM,6BAA6B,EAAE;IAC1C,IAAI,EAAE,CAAC,aAAa,EAAE,MAAM,KAAK,OAAO,CAAC,wBAAwB,CAAC,CAAC;CA+BpE,CAAC"}

package/dist/plugins/proof-reference-extractors.js

@@ -0,0 +1,104 @@
+/*
+ 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/>.
+*/
+import { statSync } from "node:fs";
+import { join, relative } from "node:path";
+import { REFERENCE_EXTRACTOR_CAPABILITY_ID, } from "kibi-plugin-sdk";
+import { APPROVED_SOURCE_ANALYZERS } from "./approved-source-analyzers.js";
+import { loadPluginPackage } from "./load-plugin.js";
+import { verifyApprovedSourceAnalyzer } from "./maintenance-source-analysis.js";
+import { readProjectKibiConfig } from "./project-config.js";
+import { resolveProjectLocalPackage } from "./resolve-package.js";
+/** The plugin Kibi suggests for reading references of these languages. */
+export const REFERENCE_PLUGIN_PACKAGE = "kibi-plugin-treesitter";
+/**
+ * Load the reference extractors a proof may use: providers activated for
+ * kibi.reference-extractor.v1 whose installed bytes match a release-qualified
+ * closure. A proof is evidence, so an unqualified or modified provider is
+ * never imported; the read is refused instead and names the reason.
+ */
+// implements REQ-kibi-tree-sitter-references
+export async function loadProofReferenceExtractors(workspaceRoot) {
+    const problems = [];
+    let entries;
+    try {
+        entries = (readProjectKibiConfig(workspaceRoot).plugins ?? []).filter((entry) => entry.capabilities[REFERENCE_EXTRACTOR_CAPABILITY_ID]);
+    }
+    catch (error) {
+        return {
+            extractors: [],
+            problems: [error instanceof Error ? error.message : String(error)],
+        };
+    }
+    const extractors = [];
+    for (const entry of entries) {
+        try {
+            const approval = APPROVED_SOURCE_ANALYZERS.find((item) => item.packageName === entry.package);
+            if (!approval)
+                throw new Error(`${entry.package} is not a release-qualified reference reader`);
+            const resolved = resolveProjectLocalPackage(workspaceRoot, entry.package);
+            const entryRelative = relative(resolved.packageRoot, resolved.entryPath).replaceAll("\\", "/");
+            if (!approval.files[entryRelative])
+                throw new Error(`${entry.package}'s entrypoint is outside its qualified closure`);
+            verifyApprovedSourceAnalyzer(resolved.packageRoot, approval);
+            const loaded = await loadPluginPackage(workspaceRoot, entry.package);
+            const extractor = loaded.plugin.capabilities.referenceExtractor;
+            if (extractor === undefined)
+                throw new Error(`${entry.package} ${loaded.plugin.version} has no reference extractor`);
+            extractors.push(extractor);
+        }
+        catch (error) {
+            problems.push(error instanceof Error ? error.message : String(error));
+        }
+    }
+    return { extractors, problems };
+}
+const cache = new Map();
+function mtimeOf(path) {
+    try {
+        return String(statSync(path).mtimeMs);
+    }
+    catch {
+        return "none";
+    }
+}
+/** Replaceable loader, so tests can supply providers without installing a package. */
+export const proofReferenceExtractorLoader = {
+    load(workspaceRoot) {
+        // A changed package.json (a plugin activated) or an installed plugin
+        // whose manifest changed (installed, upgraded) loads afresh.
+        const key = [
+            workspaceRoot,
+            mtimeOf(join(workspaceRoot, "package.json")),
+            mtimeOf(join(workspaceRoot, "node_modules", REFERENCE_PLUGIN_PACKAGE, "package.json")),
+        ].join("\0");
+        let loaded = cache.get(key);
+        if (loaded === undefined) {
+            loaded = loadProofReferenceExtractors(workspaceRoot);
+            cache.set(key, loaded);
+            // Only a load that found every provider is kept: a refusal is read
+            // again next time, so a fix is seen without restarting the host.
+            const pending = loaded;
+            void pending.then((result) => {
+                if (result.problems.length > 0 || result.extractors.length === 0)
+                    if (cache.get(key) === pending)
+                        cache.delete(key);
+            });
+        }
+        return loaded;
+    },
+};

package/dist/plugins/reference-language-suggestion.d.ts

@@ -0,0 +1,51 @@
+import { type ProjectKibiConfig } from "kibi-plugin-sdk";
+export type ReferenceLanguageSuggestion = Readonly<{
+    package: string;
+    /** Capabilities to activate, each in augment mode; empty when all are active. */
+    capabilities: readonly string[];
+    languages: readonly Readonly<{
+        name: string;
+        files: number;
+    }>[];
+    evidence: readonly string[];
+    /** The project already lists the plugin, but not for proofs. */
+    activeForSymbolsOnly: boolean;
+    /** The plugin package is declared in package.json and resolves. */
+    pluginInstalled: boolean;
+    /** kibi-lang-* packs the tracked sources need that are not installed. */
+    packs: readonly string[];
+    /** Installed packs whose grammar bytes differ from the pinned SHA-256. */
+    modified: readonly string[];
+}>;
+/** Whether a package.json lists a package in any dependency field. */
+export declare function manifestDeclares(manifest: unknown, packageName: string): boolean;
+/** Whether a package resolves from the workspace root, and at which version. */
+export type InstalledVersion = (packageName: string) => string | null;
+/** The version of a package installed for the workspace, or null. */
+export declare function workspaceInstalledVersion(workspaceRoot: string): InstalledVersion;
+/** The pack versions the installed kibi-plugin-treesitter pins. */
+export declare function pinnedPackVersions(workspaceRoot: string | undefined): ReadonlyMap<string, string>;
+/**
+ * The installed kibi-lang-* packs, at the version the installed plugin pins,
+ * whose grammar file does not hash to the SHA-256 the plugin pins. Doctor
+ * names them so a changed grammar is not shown as healthy.
+ */
+export declare function modifiedPacks(workspaceRoot: string | undefined): ReadonlySet<string>;
+/**
+ * Whether the project has sources kibi-plugin-treesitter must read for it:
+ * Go, Java, C# or Rust files whose references source proofs read only
+ * through the plugin while it is not activated for that, or files of a
+ * language whose kibi-lang-* pack is not installed (at the version the
+ * installed plugin pins) while the plugin is listed or being suggested.
+ * Reads file names and package manifests only; never imports a plugin.
+ */
+export declare function referenceLanguageSuggestion(files: readonly string[], config: ProjectKibiConfig, installedVersion?: InstalledVersion, pinned?: ReadonlyMap<string, string>, modified?: ReadonlySet<string>, pluginDeclared?: boolean): ReferenceLanguageSuggestion | null;
+/** One line naming the languages and what to install or activate. */
+export declare function describeReferenceLanguageSuggestion(suggestion: ReferenceLanguageSuggestion): string;
+/**
+ * The suggestion for a workspace, from its tracked files, as one line for
+ * `kibi init` and `kibi doctor`, or null when nothing is missing. A project
+ * without a package.json is told to create a minimal one first.
+ */
+export declare function workspaceReferenceLanguageNote(workspaceRoot: string): string | null;
+//# sourceMappingURL=reference-language-suggestion.d.ts.map

package/dist/plugins/reference-language-suggestion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reference-language-suggestion.d.ts","sourceRoot":"","sources":["../../src/plugins/reference-language-suggestion.ts"],"names":[],"mappings":"AAuBA,OAAO,EACL,KAAK,iBAAiB,EAGvB,MAAM,iBAAiB,CAAC;AAWzB,MAAM,MAAM,2BAA2B,GAAG,QAAQ,CAAC;IACjD,OAAO,EAAE,MAAM,CAAC;IAChB,iFAAiF;IACjF,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,SAAS,EAAE,SAAS,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,EAAE,CAAC;IAChE,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,gEAAgE;IAChE,oBAAoB,EAAE,OAAO,CAAC;IAC9B,mEAAmE;IACnE,eAAe,EAAE,OAAO,CAAC;IACzB,yEAAyE;IACzE,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,0EAA0E;IAC1E,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7B,CAAC,CAAC;AAEH,sEAAsE;AACtE,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,OAAO,EACjB,WAAW,EAAE,MAAM,GAClB,OAAO,CAYT;AAED,gFAAgF;AAChF,MAAM,MAAM,gBAAgB,GAAG,CAAC,WAAW,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;AAEtE,qEAAqE;AACrE,wBAAgB,yBAAyB,CACvC,aAAa,EAAE,MAAM,GACpB,gBAAgB,CAuBlB;AAED,mEAAmE;AACnE,wBAAgB,kBAAkB,CAChC,aAAa,EAAE,MAAM,GAAG,SAAS,GAChC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAoB7B;AAED;;;;GAIG;AAEH,wBAAgB,aAAa,CAC3B,aAAa,EAAE,MAAM,GAAG,SAAS,GAChC,WAAW,CAAC,MAAM,CAAC,CAmDrB;AAED;;;;;;;GAOG;AAEH,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,MAAM,EAAE,iBAAiB,EACzB,gBAAgB,GAAE,gBAA6B,EAC/C,MAAM,GAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAa,EAC/C,QAAQ,GAAE,WAAW,CAAC,MAAM,CAAa,EACzC,cAAc,UAAO,GACpB,2BAA2B,GAAG,IAAI,CAoEpC;AAED,qEAAqE;AACrE,wBAAgB,mCAAmC,CACjD,UAAU,EAAE,2BAA2B,GACtC,MAAM,CAyCR;AAYD;;;;GAIG;AAEH,wBAAgB,8BAA8B,CAC5C,aAAa,EAAE,MAAM,GACpB,MAAM,GAAG,IAAI,CA0Cf"}

package/dist/plugins/reference-language-suggestion.js

@@ -0,0 +1,277 @@
+/*
+ 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/>.
+*/
+import { execFileSync } from "node:child_process";
+import { createHash } from "node:crypto";
+import { existsSync, readFileSync } from "node:fs";
+import { createRequire } from "node:module";
+import { dirname, join } from "node:path";
+import { REFERENCE_EXTRACTOR_CAPABILITY_ID, SYMBOL_EXTRACTOR_V2_CAPABILITY_ID, } from "kibi-plugin-sdk";
+import { PLUGIN_LANGUAGE_PACKS, PLUGIN_REFERENCE_LANGUAGES, } from "../operations/proof/code-languages.js";
+import { readProjectKibiConfig } from "./project-config.js";
+import { REFERENCE_PLUGIN_PACKAGE } from "./proof-reference-extractors.js";
+const NOT_PRODUCTION = /(?:^|\/)(?:node_modules|dist|build|target|bin|obj|vendor|coverage|tests?|__tests__|e2e|fixtures?)\/|^\.kb\/|(?:_test\.go|Tests?\.(?:java|cs)|\.(?:test|spec)\.[^/]+)$/i;
+/** Whether a package.json lists a package in any dependency field. */
+export function manifestDeclares(manifest, packageName) {
+    if (typeof manifest !== "object" || manifest === null)
+        return false;
+    return ["dependencies", "devDependencies", "optionalDependencies"].some((field) => {
+        const dependencies = manifest[field];
+        return (typeof dependencies === "object" &&
+            dependencies !== null &&
+            Object.hasOwn(dependencies, packageName));
+    });
+}
+/** The version of a package installed for the workspace, or null. */
+export function workspaceInstalledVersion(workspaceRoot) {
+    const resolve = createRequire(join(workspaceRoot, "package.json")).resolve;
+    return (packageName) => {
+        // A package whose exports omit ./package.json (kibi-plugin-treesitter)
+        // is found through the node_modules lookup directories instead.
+        const manifests = [
+            () => resolve(`${packageName}/package.json`),
+            ...(resolve.paths(packageName) ?? []).map((directory) => () => join(directory, packageName, "package.json")),
+        ];
+        for (const manifestPath of manifests) {
+            try {
+                const manifest = JSON.parse(readFileSync(manifestPath(), "utf8"));
+                return typeof manifest.version === "string" ? manifest.version : null;
+            }
+            catch {
+                // Try the next lookup directory.
+            }
+        }
+        return null;
+    };
+}
+/** The pack versions the installed kibi-plugin-treesitter pins. */
+export function pinnedPackVersions(workspaceRoot) {
+    if (workspaceRoot === undefined)
+        return new Map();
+    try {
+        const catalogPath = createRequire(join(workspaceRoot, "package.json")).resolve(`${REFERENCE_PLUGIN_PACKAGE}/catalog.json`);
+        const catalog = JSON.parse(readFileSync(catalogPath, "utf8"));
+        return new Map((catalog.languages ?? []).flatMap((language) => typeof language.pack === "string" &&
+            typeof language.packVersion === "string"
+            ? [[language.pack, language.packVersion]]
+            : []));
+    }
+    catch {
+        return new Map();
+    }
+}
+/**
+ * The installed kibi-lang-* packs, at the version the installed plugin pins,
+ * whose grammar file does not hash to the SHA-256 the plugin pins. Doctor
+ * names them so a changed grammar is not shown as healthy.
+ */
+// implements REQ-kibi-tree-sitter-language-packs
+export function modifiedPacks(workspaceRoot) {
+    if (workspaceRoot === undefined)
+        return new Set();
+    const resolve = createRequire(join(workspaceRoot, "package.json")).resolve;
+    let languages;
+    try {
+        languages =
+            JSON.parse(readFileSync(resolve(`${REFERENCE_PLUGIN_PACKAGE}/catalog.json`), "utf8")).languages ?? [];
+    }
+    catch {
+        return new Set();
+    }
+    const modified = new Set();
+    for (const language of languages) {
+        const { pack, packVersion, asset, assetSha256 } = language;
+        if (typeof pack !== "string" ||
+            typeof asset !== "string" ||
+            typeof assetSha256 !== "string")
+            continue;
+        let manifestPath;
+        try {
+            manifestPath = resolve(`${pack}/package.json`);
+        }
+        catch {
+            continue;
+        }
+        try {
+            const manifest = JSON.parse(readFileSync(manifestPath, "utf8"));
+            if (manifest.version !== packVersion)
+                continue;
+            const digest = createHash("sha256")
+                .update(readFileSync(join(dirname(manifestPath), asset)))
+                .digest("hex");
+            if (digest !== assetSha256)
+                modified.add(pack);
+        }
+        catch {
+            modified.add(pack);
+        }
+    }
+    return modified;
+}
+/**
+ * Whether the project has sources kibi-plugin-treesitter must read for it:
+ * Go, Java, C# or Rust files whose references source proofs read only
+ * through the plugin while it is not activated for that, or files of a
+ * language whose kibi-lang-* pack is not installed (at the version the
+ * installed plugin pins) while the plugin is listed or being suggested.
+ * Reads file names and package manifests only; never imports a plugin.
+ */
+// implements REQ-kibi-tree-sitter-references, REQ-kibi-tree-sitter-language-packs
+export function referenceLanguageSuggestion(files, config, installedVersion = () => null, pinned = new Map(), modified = new Set(), pluginDeclared = true) {
+    const production = files.filter((file) => !NOT_PRODUCTION.test(file));
+    const references = PLUGIN_REFERENCE_LANGUAGES.map((language) => ({
+        name: language.name,
+        found: production.filter((file) => language.pattern.test(file)),
+    })).filter((language) => language.found.length > 0);
+    const entry = (config.plugins ?? []).find((plugin) => plugin.package === REFERENCE_PLUGIN_PACKAGE);
+    if ((config.declinedPlugins ?? []).includes(REFERENCE_PLUGIN_PACKAGE))
+        return null;
+    const activate = references.length > 0 &&
+        entry?.capabilities[REFERENCE_EXTRACTOR_CAPABILITY_ID] === undefined;
+    const packLanguages = PLUGIN_LANGUAGE_PACKS.map((language) => ({
+        ...language,
+        found: production.filter((file) => language.pattern.test(file)),
+    })).filter((language) => language.found.length > 0);
+    // Without the plugin, any language it reads is a reason to suggest it for
+    // symbols. `.pl` alone is shared with Perl, so Prolog counts only with a
+    // `.plt` file or a `pack.pl`.
+    const confirmed = packLanguages.filter((language) => language.pack !== "kibi-lang-prolog" ||
+        language.found.some((file) => /(?:\.plt|(?:^|\/)pack\.pl)$/i.test(file)));
+    const symbolLanguages = confirmed;
+    const suggestSymbols = entry === undefined && symbolLanguages.length > 0;
+    if (entry === undefined && !activate && !suggestSymbols)
+        return null;
+    const missing = confirmed.filter((language) => {
+        const installed = installedVersion(language.pack);
+        const wanted = pinned.get(language.pack);
+        return (installed === null ||
+            (wanted !== undefined && installed !== wanted) ||
+            modified.has(language.pack));
+    });
+    if (!activate && !suggestSymbols && missing.length === 0)
+        return null;
+    const shown = activate
+        ? references
+        : suggestSymbols
+            ? symbolLanguages
+            : missing;
+    return {
+        package: REFERENCE_PLUGIN_PACKAGE,
+        capabilities: [
+            ...(activate ? [REFERENCE_EXTRACTOR_CAPABILITY_ID] : []),
+            ...(entry === undefined ? [SYMBOL_EXTRACTOR_V2_CAPABILITY_ID] : []),
+        ],
+        languages: shown.map((language) => ({
+            name: language.name,
+            files: language.found.length,
+        })),
+        evidence: shown.flatMap((language) => language.found).slice(0, 5),
+        activeForSymbolsOnly: entry !== undefined,
+        pluginInstalled: pluginDeclared && installedVersion(REFERENCE_PLUGIN_PACKAGE) !== null,
+        packs: missing.map((language) => {
+            const version = pinned.get(language.pack);
+            return version === undefined
+                ? language.pack
+                : `${language.pack}@${version}`;
+        }),
+        modified: missing
+            .filter((language) => modified.has(language.pack))
+            .map((language) => language.pack),
+    };
+}
+/** One line naming the languages and what to install or activate. */
+export function describeReferenceLanguageSuggestion(suggestion) {
+    const found = suggestion.languages
+        .map((language) => `${language.files} ${language.name}`)
+        .join(", ");
+    const activation = suggestion.capabilities
+        .map((capability) => `"${capability}": { "mode": "augment" }`)
+        .join(", ");
+    const packs = suggestion.packs.length === 0
+        ? ""
+        : ` and the grammar pack(s) ${suggestion.packs.join(", ")}`;
+    if (suggestion.capabilities.length === 0)
+        return `${found} source file(s); ${suggestion.package} reads them only with${packs.slice(4)} installed: npm install --save-dev ${suggestion.packs.join(" ")}`;
+    if (suggestion.activeForSymbolsOnly)
+        return `${found} source file(s); ${suggestion.package} is active for symbols but not for source proofs: add ${activation} to its package.json kibi.plugins entry${packs === "" ? "" : `, and install${packs.slice(4)}`}`;
+    const what = suggestion.capabilities.includes(REFERENCE_EXTRACTOR_CAPABILITY_ID)
+        ? "source proofs and symbols"
+        : "symbols";
+    const entry = JSON.stringify({
+        package: suggestion.package,
+        capabilities: Object.fromEntries(suggestion.capabilities.map((capability) => [
+            capability,
+            { mode: "augment" },
+        ])),
+    });
+    const activate = `add this entry to package.json "kibi": { "plugins": [ ${entry} ] }`;
+    // An installed plugin only lacks its kibi.plugins entry.
+    const install = [
+        ...(suggestion.pluginInstalled ? [] : [suggestion.package]),
+        ...suggestion.packs,
+    ];
+    const needs = suggestion.pluginInstalled
+        ? `${suggestion.package}, which is installed but not activated${packs === "" ? "" : `,${packs}`}`
+        : `${suggestion.package}${packs}`;
+    return install.length === 0
+        ? `${found} source file(s); ${what} for them need ${needs}: ${activate}`
+        : `${found} source file(s); ${what} for them need ${needs}: npm install --save-dev ${install.join(" ")}, then ${activate}`;
+}
+function readManifestOrNull(workspaceRoot) {
+    try {
+        return JSON.parse(readFileSync(join(workspaceRoot, "package.json"), "utf8"));
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * The suggestion for a workspace, from its tracked files, as one line for
+ * `kibi init` and `kibi doctor`, or null when nothing is missing. A project
+ * without a package.json is told to create a minimal one first.
+ */
+// implements REQ-kibi-tree-sitter-references, REQ-kibi-tree-sitter-language-packs
+export function workspaceReferenceLanguageNote(workspaceRoot) {
+    let files;
+    let config;
+    try {
+        files = execFileSync("git", ["ls-files", "-z"], {
+            cwd: workspaceRoot,
+            encoding: "utf8",
+            stdio: ["ignore", "pipe", "ignore"],
+            maxBuffer: 64 * 1024 * 1024,
+        })
+            .split("\0")
+            .filter((file) => file.length > 0);
+        config = readProjectKibiConfig(workspaceRoot);
+    }
+    catch {
+        return null;
+    }
+    const suggestion = referenceLanguageSuggestion(files, config, workspaceInstalledVersion(workspaceRoot), pinnedPackVersions(workspaceRoot), modifiedPacks(workspaceRoot), manifestDeclares(readManifestOrNull(workspaceRoot), REFERENCE_PLUGIN_PACKAGE));
+    if (suggestion === null)
+        return null;
+    const noManifest = !existsSync(join(workspaceRoot, "package.json"));
+    const changed = suggestion.modified.length === 0
+        ? ""
+        : ` The installed grammar of ${suggestion.modified.join(", ")} does not match the SHA-256 ${suggestion.package} pins; reinstall it.`;
+    return `${describeReferenceLanguageSuggestion(suggestion)}.${changed}${noManifest
+        ? " This project has no package.json: run npm init -y first to create a minimal one (Kibi reads only its devDependencies and kibi.plugins), then run the install and add the kibi.plugins entry above, and add node_modules/ to .gitignore."
+        : ""} ${suggestion.capabilities.includes(REFERENCE_EXTRACTOR_CAPABILITY_ID)
+        ? "Without it, references proofs on those files are refused."
+        : "Until then, symbols in those files are placed by text match and are approximate."}`;
+}

package/dist/plugins/registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/plugins/registry.ts"],"names":[],"mappings":"AAkBA,OAAO,EAGL,KAAK,YAAY,EAGjB,KAAK,YAAY,EAEjB,KAAK,cAAc,EACnB,KAAK,UAAU,EACf,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EAMtB,KAAK,aAAa,EAClB,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EAEtB,KAAK,qBAAqB,EAG3B,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,KAAK,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAK7E,MAAM,MAAM,oBAAoB,GAAG,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;AAG9E,MAAM,MAAM,yBAAyB,CAAC,CAAC,IAAI,QAAQ,CAAC;IAClD,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,IAAI,EAAE,UAAU,GAAG,SAAS,CAAC;IAC7B,WAAW,EAAE,iBAAiB,CAAC;IAC/B,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,CAAC,CAAC;IACd,KAAK,EAAE,mBAAmB,CAAC;CAC5B,CAAC,CAAC;AAGH,MAAM,MAAM,wBAAwB,CAAC,CAAC,IAAI,QAAQ,CAAC;IACjD,OAAO,EAAE,yBAAyB,CAAC,CAAC,CAAC,CAAC;IACtC,wDAAwD;IACxD,OAAO,EAAE,yBAAyB,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;IAC7C,0DAA0D;IAC1D,OAAO,EAAE,SAAS,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;IACjD,+DAA+D;IAC/D,MAAM,EAAE,SAAS,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;CACjD,CAAC,CAAC;AAGH,MAAM,MAAM,yBAAyB,GAAG,QAAQ,CAAC;IAC/C,aAAa,EAAE,MAAM,CAAC;IACtB,yDAAyD;IACzD,cAAc,CAAC,EAAE,oBAAoB,CAAC;IACtC,sEAAsE;IACtE,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAClC,kDAAkD;IAClD,UAAU,CAAC,EAAE,CAAC,aAAa,EAAE,MAAM,KAAK,iBAAiB,CAAC;IAC1D,0CAA0C;IAC1C,UAAU,CAAC,EAAE,CACX,aAAa,EAAE,MAAM,EACrB,WAAW,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE,iBAAiB,KACxB,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC,CAAC;IAC5D,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;CACvC,CAAC,CAAC;AAqBH;;;;GAIG;AAEH,eAAO,MAAM,eAAe,EAAE,aAI7B,CAAC;AAEF;;;GAGG;AAEH,wBAAgB,uBAAuB,IAAI,YAAY,CAgEtD;AA6GD;;;;GAIG;AAEH,qBAAa,kBAAkB;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAuB;IACtD,OAAO,CAAC,QAAQ,CAAC,UAAU,CAA+C;IAC1E,OAAO,CAAC,QAAQ,CAAC,UAAU,CAEzB;IACF,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAgC;IAClE,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAgC;IAE/D,OAAO,CAAC,oBAAoB,CAAoC;IAChE,OAAO,CAAC,aAAa,CAAyC;IAC9D,OAAO,CAAC,QAAQ,CAAC,cAAc,CAG3B;IACJ,OAAO,CAAC,QAAQ,CAAC,eAAe,CAG5B;gBAEQ,OAAO,EAAE,yBAAyB;IASxC,gBAAgB,IAAI,OAAO,CAAC,YAAY,CAAC;IAOzC,gBAAgB,IAAI,OAAO,CAAC,iBAAiB,CAAC;IAQ9C,0BAA0B,IAAI,OAAO,CACzC,wBAAwB,CAAC,oBAAoB,CAAC,CAC/C;IAMK,oBAAoB,IAAI,OAAO,CACnC,wBAAwB,CAAC,cAAc,CAAC,CACzC;IAMK,uBAAuB,IAAI,OAAO,CACtC,wBAAwB,CAAC,iBAAiB,CAAC,CAC5C;IAOK,yBAAyB,IAAI,OAAO,CACxC,wBAAwB,CAAC,iBAAiB,CAAC,CAC5C;IAMK,0BAA0B,IAAI,OAAO,CACzC,wBAAwB,CAAC,qBAAqB,CAAC,CAChD;IAOK,kBAAkB,IAAI,OAAO,CAAC,wBAAwB,CAAC,aAAa,CAAC,CAAC;IAMtE,iBAAiB,CACrB,YAAY,EAAE,YAAY,GACzB,OAAO,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAc7C;;;OAGG;IACH,kBAAkB,CAAC,CAAC,EAClB,UAAU,EAAE,wBAAwB,CAAC,CAAC,CAAC,GACtC,SAAS,yBAAyB,CAAC,CAAC,CAAC,EAAE;YAO5B,yBAAyB;YA6FzB,mBAAmB;CAsBlC;AAED;;GAEG;AAEH,qBAAa,uBAAuB;IAClC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAyC;IAEpE,GAAG,CAAC,aAAa,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS;IAI1D,WAAW,CACT,aAAa,EAAE,MAAM,EACrB,OAAO,CAAC,EAAE,IAAI,CAAC,yBAAyB,EAAE,eAAe,CAAC,GACzD,kBAAkB;IAWrB,GAAG,CAAC,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,kBAAkB,GAAG,IAAI;IAI9D,KAAK,IAAI,IAAI;CAGd;AAGD,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,yBAAyB,GACjC,kBAAkB,CAEpB;AAGD,wBAAgB,6BAA6B,IAAI,uBAAuB,CAEvE;AAGD,MAAM,MAAM,+BAA+B,GAAG,yBAAyB,GAAG;IACxE,QAAQ,CAAC,KAAK,CAAC,EAAE,uBAAuB,CAAC;CAC1C,CAAC;AAEF;;;GAGG;AAEH,wBAAgB,wBAAwB,CACtC,sBAAsB,EAAE,MAAM,GAAG,+BAA+B,EAChE,OAAO,CAAC,EAAE,IAAI,CAAC,yBAAyB,EAAE,eAAe,CAAC,GAAG;IAC3D,QAAQ,CAAC,KAAK,CAAC,EAAE,uBAAuB,CAAC;CAC1C,GACA,kBAAkB,CAoBpB"}
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/plugins/registry.ts"],"names":[],"mappings":"AAkBA,OAAO,EAGL,KAAK,YAAY,EAGjB,KAAK,YAAY,EAEjB,KAAK,cAAc,EACnB,KAAK,UAAU,EACf,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EAQtB,KAAK,aAAa,EAClB,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EAEtB,KAAK,qBAAqB,EAG3B,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,KAAK,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAK7E,MAAM,MAAM,oBAAoB,GAAG,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;AAG9E,MAAM,MAAM,yBAAyB,CAAC,CAAC,IAAI,QAAQ,CAAC;IAClD,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,IAAI,EAAE,UAAU,GAAG,SAAS,CAAC;IAC7B,WAAW,EAAE,iBAAiB,CAAC;IAC/B,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,CAAC,CAAC;IACd,KAAK,EAAE,mBAAmB,CAAC;CAC5B,CAAC,CAAC;AAGH,MAAM,MAAM,wBAAwB,CAAC,CAAC,IAAI,QAAQ,CAAC;IACjD,OAAO,EAAE,yBAAyB,CAAC,CAAC,CAAC,CAAC;IACtC,wDAAwD;IACxD,OAAO,EAAE,yBAAyB,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;IAC7C,0DAA0D;IAC1D,OAAO,EAAE,SAAS,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;IACjD,+DAA+D;IAC/D,MAAM,EAAE,SAAS,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;CACjD,CAAC,CAAC;AAGH,MAAM,MAAM,yBAAyB,GAAG,QAAQ,CAAC;IAC/C,aAAa,EAAE,MAAM,CAAC;IACtB,yDAAyD;IACzD,cAAc,CAAC,EAAE,oBAAoB,CAAC;IACtC,sEAAsE;IACtE,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAClC,kDAAkD;IAClD,UAAU,CAAC,EAAE,CAAC,aAAa,EAAE,MAAM,KAAK,iBAAiB,CAAC;IAC1D,0CAA0C;IAC1C,UAAU,CAAC,EAAE,CACX,aAAa,EAAE,MAAM,EACrB,WAAW,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE,iBAAiB,KACxB,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC,CAAC;IAC5D,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;CACvC,CAAC,CAAC;AAwBH;;;;GAIG;AAEH,eAAO,MAAM,eAAe,EAAE,aAI7B,CAAC;AAEF;;;GAGG;AAEH,wBAAgB,uBAAuB,IAAI,YAAY,CAgEtD;AA8GD;;;;GAIG;AAEH,qBAAa,kBAAkB;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAuB;IACtD,OAAO,CAAC,QAAQ,CAAC,UAAU,CAA+C;IAC1E,OAAO,CAAC,QAAQ,CAAC,UAAU,CAEzB;IACF,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAgC;IAClE,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAgC;IAE/D,OAAO,CAAC,oBAAoB,CAAoC;IAChE,OAAO,CAAC,aAAa,CAAyC;IAC9D,OAAO,CAAC,QAAQ,CAAC,cAAc,CAG3B;IACJ,OAAO,CAAC,QAAQ,CAAC,eAAe,CAG5B;gBAEQ,OAAO,EAAE,yBAAyB;IASxC,gBAAgB,IAAI,OAAO,CAAC,YAAY,CAAC;IAOzC,gBAAgB,IAAI,OAAO,CAAC,iBAAiB,CAAC;IAQ9C,0BAA0B,IAAI,OAAO,CACzC,wBAAwB,CAAC,oBAAoB,CAAC,CAC/C;IAMK,oBAAoB,IAAI,OAAO,CACnC,wBAAwB,CAAC,cAAc,CAAC,CACzC;IAMK,uBAAuB,IAAI,OAAO,CACtC,wBAAwB,CAAC,iBAAiB,CAAC,CAC5C;IAOK,yBAAyB,IAAI,OAAO,CACxC,wBAAwB,CAAC,iBAAiB,CAAC,CAC5C;IAMK,0BAA0B,IAAI,OAAO,CACzC,wBAAwB,CAAC,qBAAqB,CAAC,CAChD;IAOK,kBAAkB,IAAI,OAAO,CAAC,wBAAwB,CAAC,aAAa,CAAC,CAAC;IAMtE,iBAAiB,CACrB,YAAY,EAAE,YAAY,GACzB,OAAO,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAc7C;;;OAGG;IACH,kBAAkB,CAAC,CAAC,EAClB,UAAU,EAAE,wBAAwB,CAAC,CAAC,CAAC,GACtC,SAAS,yBAAyB,CAAC,CAAC,CAAC,EAAE;YAO5B,yBAAyB;YA6FzB,mBAAmB;CAsBlC;AAED;;GAEG;AAEH,qBAAa,uBAAuB;IAClC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAyC;IAEpE,GAAG,CAAC,aAAa,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS;IAI1D,WAAW,CACT,aAAa,EAAE,MAAM,EACrB,OAAO,CAAC,EAAE,IAAI,CAAC,yBAAyB,EAAE,eAAe,CAAC,GACzD,kBAAkB;IAWrB,GAAG,CAAC,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,kBAAkB,GAAG,IAAI;IAI9D,KAAK,IAAI,IAAI;CAGd;AAGD,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,yBAAyB,GACjC,kBAAkB,CAEpB;AAGD,wBAAgB,6BAA6B,IAAI,uBAAuB,CAEvE;AAGD,MAAM,MAAM,+BAA+B,GAAG,yBAAyB,GAAG;IACxE,QAAQ,CAAC,KAAK,CAAC,EAAE,uBAAuB,CAAC;CAC1C,CAAC;AAEF;;;GAGG;AAEH,wBAAgB,wBAAwB,CACtC,sBAAsB,EAAE,MAAM,GAAG,+BAA+B,EAChE,OAAO,CAAC,EAAE,IAAI,CAAC,yBAAyB,EAAE,eAAe,CAAC,GAAG;IAC3D,QAAQ,CAAC,KAAK,CAAC,EAAE,uBAAuB,CAAC;CAC1C,GACA,kBAAkB,CAoBpB"}

package/dist/plugins/registry.js

@@ -15,7 +15,7 @@
  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 { CHECK_POLICY_CAPABILITY_ID, CHECK_POLICY_CONTRACT_VERSION, KIBI_PLUGIN_API_VERSION, ONTOLOGY_PACK_CAPABILITY_ID, SEARCH_HINTS_CAPABILITY_ID, SEMANTIC_CLASSIFIER_CAPABILITY_ID, SYMBOL_EXTRACTOR_CAPABILITY_ID, SYMBOL_EXTRACTOR_V2_CAPABILITY_ID, VOCABULARY_ALIGNMENT_CAPABILITY_ID, defineKibiPlugin, validateKibiPlugin, } from "kibi-plugin-sdk";
+import { CHECK_POLICY_CAPABILITY_ID, CHECK_POLICY_CONTRACT_VERSION, KIBI_PLUGIN_API_VERSION, ONTOLOGY_PACK_CAPABILITY_ID, REFERENCE_EXTRACTOR_CAPABILITY_ID, SEARCH_HINTS_CAPABILITY_ID, SEMANTIC_CLASSIFIER_CAPABILITY_ID, SYMBOL_EXTRACTOR_CAPABILITY_ID, SYMBOL_EXTRACTOR_V2_CAPABILITY_ID, VOCABULARY_ALIGNMENT_CAPABILITY_ID, defineKibiPlugin, validateKibiPlugin, } from "kibi-plugin-sdk";
 import { loadPluginPackage } from "./load-plugin.js";
 import { readProjectKibiConfig } from "./project-config.js";
 import { PluginResolutionError } from "./resolve-package.js";
@@ -27,6 +27,8 @@ const CAPABILITY_SLOT = {
     [VOCABULARY_ALIGNMENT_CAPABILITY_ID]: "vocabularyAlignment",
     [CHECK_POLICY_CAPABILITY_ID]: "checkPolicy",
     [SEARCH_HINTS_CAPABILITY_ID]: "searchHints",
+    // Read only by source proofs, through the qualified loader.
+    [REFERENCE_EXTRACTOR_CAPABILITY_ID]: "referenceExtractor",
 };
 /**
  * Search hints have no builtin answer: without a configured provider there

package/dist/plugins/source-analysis-service.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"source-analysis-service.d.ts","sourceRoot":"","sources":["../../src/plugins/source-analysis-service.ts"],"names":[],"mappings":"AAoBA,OAAO,EACL,KAAK,mBAAmB,EAGxB,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAC3B,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EAKvB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,KAAK,EACV,wBAAwB,EACxB,kBAAkB,EACnB,MAAM,eAAe,CAAC;AAIvB,MAAM,MAAM,kCAAkC,GAAG,QAAQ,CAAC;IACxD,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,mBAAmB,CAAC;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,EAAE,EAAE,OAAO,CAAC;IACZ,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,CAAC,CAAC;AAGH,MAAM,MAAM,wBAAwB,GAAG,oBAAoB,GACzD,QAAQ,CAAC;IACP,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,KAAK,EAAE,mBAAmB,GAAG,IAAI,CAAC;IAClC,YAAY,EAAE,OAAO,CAAC;IACtB,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,oEAAoE;IACpE,iBAAiB,EAAE,SAAS,kCAAkC,EAAE,CAAC;CAClE,CAAC,CAAC;AAGL,MAAM,MAAM,4BAA4B,GAAG,QAAQ,CAAC;IAClD,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,kFAAkF;IAClF,mBAAmB,CAAC,EAAE,MAAM,OAAO,CACjC,wBAAwB,CAAC,iBAAiB,CAAC,CAC5C,CAAC;IACF,mGAAmG;IACnG,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,gFAAgF;IAChF,oBAAoB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACxD,uCAAuC;IACvC,iBAAiB,CAAC,EAAE,MAAM,OAAO,CAC/B,wBAAwB,CAAC,iBAAiB,CAAC,CAC5C,CAAC;CACH,CAAC,CAAC;AA8EH;;;;GAIG;AAEH,wBAAgB,gBAAgB,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAG9D;AASD,wBAAgB,kCAAkC,CAChD,QAAQ,EAAE,MAAM,EAChB,cAAc,EAAE,MAAM,GACrB,wBAAwB,CAkB1B;AAuBD;;;;;;;GAOG;AAEH,qBAAa,qBAAqB;IAChC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAqB;IAC9C,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA+B;IACvD,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAEhC;gBAEU,OAAO,EAAE,4BAA4B;IAQjD;;;;;;;OAOG;IAEG,aAAa,CACjB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,oBAAoB,CAAC,EAAE,MAAM,GAC5B,OAAO,CAAC,0BAA0B,CAAC;IAwEtC;;;OAGG;YACW,cAAc;IA0DtB,WAAW,CACf,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,GACd,OAAO,CAAC,wBAAwB,CAAC;CAiIrC;AAED;;GAEG;AAEH,wBAAsB,qBAAqB,CACzC,UAAU,EAAE,wBAAwB,CAAC,iBAAiB,CAAC,EACvD,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,GACd,OAAO,CAAC,wBAAwB,CAAC,CAQnC;AAGD,wBAAgB,2BAA2B,CACzC,OAAO,EAAE,4BAA4B,GACpC,qBAAqB,CAEvB;AAED,2FAA2F;AAE3F,MAAM,MAAM,0BAA0B,GAAG,sBAAsB,GAC7D,QAAQ,CAAC;IACP,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,KAAK,EAAE,mBAAmB,GAAG,IAAI,CAAC;IAClC,gBAAgB,EAAE,MAAM,CAAC;IACzB,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,iBAAiB,EAAE,SAAS,kCAAkC,EAAE,CAAC;CAClE,CAAC,CAAC"}
+{"version":3,"file":"source-analysis-service.d.ts","sourceRoot":"","sources":["../../src/plugins/source-analysis-service.ts"],"names":[],"mappings":"AAoBA,OAAO,EACL,KAAK,mBAAmB,EAGxB,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAC3B,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EAKvB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,KAAK,EACV,wBAAwB,EACxB,kBAAkB,EACnB,MAAM,eAAe,CAAC;AAIvB,MAAM,MAAM,kCAAkC,GAAG,QAAQ,CAAC;IACxD,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,mBAAmB,CAAC;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,EAAE,EAAE,OAAO,CAAC;IACZ,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,CAAC,CAAC;AAGH,MAAM,MAAM,wBAAwB,GAAG,oBAAoB,GACzD,QAAQ,CAAC;IACP,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,KAAK,EAAE,mBAAmB,GAAG,IAAI,CAAC;IAClC,YAAY,EAAE,OAAO,CAAC;IACtB,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,oEAAoE;IACpE,iBAAiB,EAAE,SAAS,kCAAkC,EAAE,CAAC;CAClE,CAAC,CAAC;AAGL,MAAM,MAAM,4BAA4B,GAAG,QAAQ,CAAC;IAClD,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,kFAAkF;IAClF,mBAAmB,CAAC,EAAE,MAAM,OAAO,CACjC,wBAAwB,CAAC,iBAAiB,CAAC,CAC5C,CAAC;IACF,mGAAmG;IACnG,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,gFAAgF;IAChF,oBAAoB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACxD,uCAAuC;IACvC,iBAAiB,CAAC,EAAE,MAAM,OAAO,CAC/B,wBAAwB,CAAC,iBAAiB,CAAC,CAC5C,CAAC;CACH,CAAC,CAAC;AA8EH;;;;GAIG;AAEH,wBAAgB,gBAAgB,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAG9D;AASD,wBAAgB,kCAAkC,CAChD,QAAQ,EAAE,MAAM,EAChB,cAAc,EAAE,MAAM,GACrB,wBAAwB,CAkB1B;AAuBD;;;;;;;GAOG;AAEH,qBAAa,qBAAqB;IAChC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAqB;IAC9C,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA+B;IACvD,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAEhC;gBAEU,OAAO,EAAE,4BAA4B;IAQjD;;;;;;;OAOG;IAEG,aAAa,CACjB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,oBAAoB,CAAC,EAAE,MAAM,GAC5B,OAAO,CAAC,0BAA0B,CAAC;IAgFtC;;;OAGG;YACW,cAAc;IA0DtB,WAAW,CACf,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,GACd,OAAO,CAAC,wBAAwB,CAAC;CAiIrC;AAED;;GAEG;AAEH,wBAAsB,qBAAqB,CACzC,UAAU,EAAE,wBAAwB,CAAC,iBAAiB,CAAC,EACvD,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,GACd,OAAO,CAAC,wBAAwB,CAAC,CAQnC;AAGD,wBAAgB,2BAA2B,CACzC,OAAO,EAAE,4BAA4B,GACpC,qBAAqB,CAEvB;AAED,2FAA2F;AAE3F,MAAM,MAAM,0BAA0B,GAAG,sBAAsB,GAC7D,QAAQ,CAAC;IACP,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,KAAK,EAAE,mBAAmB,GAAG,IAAI,CAAC;IAClC,gBAAgB,EAAE,MAAM,CAAC;IACzB,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,iBAAiB,EAAE,SAAS,kCAAkC,EAAE,CAAC;CAClE,CAAC,CAAC"}

package/dist/plugins/source-analysis-service.js

@@ -159,6 +159,10 @@ export class SourceAnalysisService {
     async analyzeTextV2(filePath, content, explicitLanguageHint) {
         const request = createV2Request(filePath, content, explicitLanguageHint);
         const { classification } = request;
+        // Kibi's own knowledge-base files (its Prolog schema included) are not
+        // project source, so they never ask for a grammar pack.
+        if (/^(?:\.\/)?\.kb\//.test(filePath.replaceAll("\\", "/")))
+            return request.fallback("unsupported", "kibi_knowledge_base_file", "Kibi's own knowledge-base files are not analyzed as project source.");
         if (content.length > SOURCE_ANALYSIS_V2_MAX_INPUT_CODE_UNITS ||
             Buffer.byteLength(content, "utf8") > 8 * 1024 * 1024)
             return request.fallback("failed", "input_limit", `Source input exceeds the ${SOURCE_ANALYSIS_V2_MAX_INPUT_CODE_UNITS} UTF-16 code unit or 8 MiB UTF-8 analysis limit`);

package/dist/plugins/source-change-analysis.d.ts

@@ -10,6 +10,31 @@ export interface SourceChangeAnalysis {
 export declare function analyzeSourceChanges(inventory: readonly StagedPath[], service: SourceAnalysisService): Promise<Map<string, SourceChangeAnalysis>>;
 /** Adapt a host result to the shared analysis gate. */
 export declare function gateAnalysis(result: HostSourceAnalysisResultV2 | null): GateAnalysis<HostSourceAnalysisResultV2["uncoveredRanges"][number]> | null;
-/** Enforce the shared analysis gate when no impact policy accepts reviews. */
+/** Staged lines of a partially analyzed file that need a file-level review. */
+export interface PartialAnalysisReview {
+    path: string;
+    /** Staged lines inside the gaps and outside every placed declaration. */
+    lines: {
+        startLine: number;
+        endLine: number;
+    }[];
+    ranges: {
+        startLine: number;
+        endLine: number;
+        reason: string;
+    }[];
+    detail: string;
+}
+/**
+ * The after-side gaps a staged change touches outside every declaration the
+ * analyzer placed. A changed line inside a placed declaration is validated
+ * against that symbol instead.
+ */
+export declare function partialAnalysisReviews(inventory: readonly StagedPath[], analyses: ReadonlyMap<string, SourceChangeAnalysis>): PartialAnalysisReview[];
+/**
+ * Enforce the shared analysis gate when no impact policy accepts reviews:
+ * failed analysis and non-local gaps block; a local gap is left to
+ * {@link partialAnalysisReviews}.
+ */
 export declare function assertSourceAnalysisGate(inventory: readonly StagedPath[], analyses: ReadonlyMap<string, SourceChangeAnalysis>): void;
 //# sourceMappingURL=source-change-analysis.d.ts.map

package/dist/plugins/source-change-analysis.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"source-change-analysis.d.ts","sourceRoot":"","sources":["../../src/plugins/source-change-analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,YAAY,EAElB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,EACV,0BAA0B,EAC1B,qBAAqB,EACtB,MAAM,8BAA8B,CAAC;AAGtC,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,0BAA0B,GAAG,IAAI,CAAC;IAC1C,KAAK,EAAE,0BAA0B,GAAG,IAAI,CAAC;CAC1C;AAKD,wFAAwF;AAExF,wBAAsB,oBAAoB,CACxC,SAAS,EAAE,SAAS,UAAU,EAAE,EAChC,OAAO,EAAE,qBAAqB,GAC7B,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAgC5C;AAED,uDAAuD;AAEvD,wBAAgB,YAAY,CAC1B,MAAM,EAAE,0BAA0B,GAAG,IAAI,GACxC,YAAY,CAAC,0BAA0B,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAQ5E;AAED,8EAA8E;AAE9E,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,SAAS,UAAU,EAAE,EAChC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,oBAAoB,CAAC,GAClD,IAAI,CAkBN"}
+{"version":3,"file":"source-change-analysis.d.ts","sourceRoot":"","sources":["../../src/plugins/source-change-analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,YAAY,EAElB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAEhE,OAAO,KAAK,EACV,0BAA0B,EAC1B,qBAAqB,EACtB,MAAM,8BAA8B,CAAC;AAGtC,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,0BAA0B,GAAG,IAAI,CAAC;IAC1C,KAAK,EAAE,0BAA0B,GAAG,IAAI,CAAC;CAC1C;AAKD,wFAAwF;AAExF,wBAAsB,oBAAoB,CACxC,SAAS,EAAE,SAAS,UAAU,EAAE,EAChC,OAAO,EAAE,qBAAqB,GAC7B,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAgC5C;AAED,uDAAuD;AAEvD,wBAAgB,YAAY,CAC1B,MAAM,EAAE,0BAA0B,GAAG,IAAI,GACxC,YAAY,CAAC,0BAA0B,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAQ5E;AAED,+EAA+E;AAE/E,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,yEAAyE;IACzE,KAAK,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAChD,MAAM,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACjE,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;GAIG;AAEH,wBAAgB,sBAAsB,CACpC,SAAS,EAAE,SAAS,UAAU,EAAE,EAChC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,oBAAoB,CAAC,GAClD,qBAAqB,EAAE,CA8DzB;AA4CD;;;;GAIG;AAEH,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,SAAS,UAAU,EAAE,EAChC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,oBAAoB,CAAC,GAClD,IAAI,CAeN"}