kibi-cli 2.39.0 → 2.40.0

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"}

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

@@ -1,4 +1,5 @@
 import { analysisObligation, } from "../traceability/analysis-gate.js";
+import { partialAnalysisSymbolsUsable } from "../traceability/symbol-extract.js";
 /** Files analyzed at once; pooled providers bound their own worker count. */
 const SOURCE_ANALYSIS_CONCURRENCY = 4;
 /** Analyze both versions without changing the complete inventory or assigning proof. */
@@ -37,18 +38,89 @@ export function gateAnalysis(result) {
         }
         : null;
 }
-/** Enforce the shared analysis gate when no impact policy accepts reviews. */
+/**
+ * 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.
+ */
+// implements REQ-source-analysis-v2
+export function partialAnalysisReviews(inventory, analyses) {
+    const reviews = [];
+    for (const file of inventory) {
+        const after = analyses.get(file.path)?.after ?? null;
+        const obligation = analysisObligation("after", gateAnalysis(after), file.hunkRanges);
+        if (obligation.kind !== "partial_review" || !after)
+            continue;
+        const placed = partialAnalysisSymbolsUsable(after) ? after.symbols : [];
+        const ranges = obligation.ranges.filter((range) => file.hunkRanges.some((hunk) => linesOutside(Math.max(range.startLine, hunk.start), Math.min(range.endLine, hunk.end), placed).length > 0));
+        if (ranges.length === 0)
+            continue;
+        const lines = mergeLineRanges(ranges.flatMap((range) => file.hunkRanges.flatMap((hunk) => linesOutside(Math.max(range.startLine, hunk.start), Math.min(range.endLine, hunk.end), placed))));
+        const detail = [
+            ...new Set(after.diagnostics
+                .filter((item) => item.range === undefined ||
+                ranges.some((range) => item.range !== undefined &&
+                    item.range.startLine <= range.endLine &&
+                    range.startLine <= item.range.endLine))
+                .map((item) => item.message)),
+        ].join(" ");
+        reviews.push({
+            path: file.path,
+            lines,
+            ranges: ranges.map((range) => ({
+                startLine: range.startLine,
+                endLine: range.endLine,
+                reason: range.reason,
+            })),
+            detail: detail || [...new Set(ranges.map((range) => range.reason))].join(", "),
+        });
+    }
+    return reviews;
+}
+/** The parts of the lines [start, end] that no span contains. */
+function linesOutside(start, end, spans) {
+    const out = [];
+    let line = start;
+    while (line <= end) {
+        const cover = spans.find((span) => span.startLine <= line && line <= span.endLine);
+        if (cover) {
+            line = cover.endLine + 1;
+            continue;
+        }
+        const next = Math.min(end + 1, ...spans
+            .filter((span) => span.startLine > line)
+            .map((span) => span.startLine));
+        out.push({ startLine: line, endLine: next - 1 });
+        line = next;
+    }
+    return out;
+}
+function mergeLineRanges(ranges) {
+    const sorted = [...ranges].sort((a, b) => a.startLine - b.startLine);
+    const merged = [];
+    for (const range of sorted) {
+        const last = merged.at(-1);
+        if (last && range.startLine <= last.endLine + 1)
+            last.endLine = Math.max(last.endLine, range.endLine);
+        else
+            merged.push({ ...range });
+    }
+    return merged;
+}
+/**
+ * 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}.
+ */
 // implements REQ-source-analysis-v2
 export function assertSourceAnalysisGate(inventory, analyses) {
     for (const file of inventory) {
         const analysis = analyses.get(file.path);
         const after = analysis?.after ?? null;
         const obligation = analysisObligation("after", gateAnalysis(after), file.hunkRanges);
-        if (obligation.kind !== "blocked" && obligation.kind !== "partial_review")
+        if (obligation.kind !== "blocked")
             continue;
         const detail = after?.diagnostics.map((d) => d.message).join("; ") ?? "";
-        throw new Error(obligation.kind === "blocked"
-            ? `Source analysis ${after?.status} for ${file.path}: ${detail}`
-            : `Source analysis partial for ${file.path} where the staged change touches uncovered lines (${obligation.ranges.map((range) => `${range.startLine}-${range.endLine}`).join(", ")}): ${detail}`);
+        throw new Error(`Source analysis ${after?.status} for ${file.path}: ${detail}`);
     }
 }

package/dist/plugins/source-classification.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"source-classification.d.ts","sourceRoot":"","sources":["../../src/plugins/source-classification.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,oBAAoB,GAC5B,QAAQ,CAAC;IACP,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,WAAW,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,CAAC;CAC1D,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,YAAY,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,WAAW,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,CAAC;IACzD,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,WAAW,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,SAAS,CAAC;IACpB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,SAAS,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC,CAAC;AAwGP;;;;GAIG;AAEH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED,6EAA6E;AAE7E,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAG1D;AAED,wEAAwE;AAExE,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAM/D;AAED,+EAA+E;AAE/E,wBAAgB,oBAAoB,IAAI,SAAS,MAAM,EAAE,CAExD;AA2RD,qGAAqG;AACrG,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,oBAAoB,CAAC,EAAE,MAAM,GAC5B,oBAAoB,CAiKtB"}
+{"version":3,"file":"source-classification.d.ts","sourceRoot":"","sources":["../../src/plugins/source-classification.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,oBAAoB,GAC5B,QAAQ,CAAC;IACP,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,WAAW,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,CAAC;CAC1D,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,YAAY,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,WAAW,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,CAAC;IACzD,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,WAAW,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,SAAS,CAAC;IACpB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,SAAS,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC,CAAC;AAwGP;;;;GAIG;AAEH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED,6EAA6E;AAE7E,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAG1D;AAED,wEAAwE;AAExE,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAM/D;AAED,+EAA+E;AAE/E,wBAAgB,oBAAoB,IAAI,SAAS,MAAM,EAAE,CAExD;AA8SD,qGAAqG;AACrG,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,oBAAoB,CAAC,EAAE,MAAM,GAC5B,oBAAoB,CAqKtB"}

package/dist/plugins/source-classification.js

@@ -360,6 +360,22 @@ function perlOrPrologByContent(content) {
         return undefined;
     return prolog ? "prolog" : "perl";
 }
+// C++-only constructs; `extern "C"` guards and C23 attributes are not among them.
+const CPP_ONLY = /^\s*(?:class|namespace|template\s*<|using\s+namespace)\b|^\s*(?:public|private|protected)\s*:|\b(?:virtual|constexpr|nullptr|operator\s*[^\w\s]|static_cast|dynamic_cast|reinterpret_cast|noexcept)\b|\bstd::|[A-Za-z_]\w*::[A-Za-z_~]/m;
+/**
+ * Resolves a `.h` header without a shebang: C++ when its code uses a
+ * construct only C++ has, otherwise C (a C header also parses as C++, but
+ * the reverse does not hold, so C is the reading that stays exact).
+ */
+// implements REQ-multilingual-language-catalog
+function cOrCppByContent(content) {
+    const code = content
+        .slice(0, MAX_CONTENT_SNIFF_LENGTH)
+        .replace(/\/\*[\s\S]*?\*\//g, " ")
+        .replace(/\/\/[^\n]*/g, " ")
+        .replace(/"(?:[^"\\\n]|\\.)*"/g, '""');
+    return CPP_ONLY.test(code) ? "cpp" : "c";
+}
 function classificationForLanguage(language, source) {
     if (FILE_LEVEL_LANGUAGES.has(language)) {
         return {
@@ -417,9 +433,13 @@ export function classifySource(filePath, content, explicitLanguageHint) {
         return classificationForLanguage(explicit, "explicit");
     }
     if (extension?.kind === "ambiguous") {
-        const contentLanguage = shebang === undefined && extension.language === "perl-or-prolog"
-            ? perlOrPrologByContent(content)
-            : undefined;
+        const contentLanguage = shebang !== undefined
+            ? undefined
+            : extension.language === "perl-or-prolog"
+                ? perlOrPrologByContent(content)
+                : extension.language === "c-or-cpp"
+                    ? cOrCppByContent(content)
+                    : undefined;
         if (contentLanguage !== undefined)
             return classificationForLanguage(contentLanguage, "content");
         if (shebang === undefined) {