kibi-cli 2.39.0 → 2.40.0

package/dist/commands/sync.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sync.d.ts","sourceRoot":"","sources":["../../src/commands/sync.ts"],"names":[],"mappings":"AA8BA,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AA6BjE,OAAO,EAEL,yBAAyB,EAE1B,MAAM,gDAAgD,CAAC;AAGxD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EACL,KAAK,gBAAgB,EAGtB,MAAM,6BAA6B,CAAC;AA2BrC,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AAmCxE,qBAAa,SAAU,SAAQ,KAAK;gBACtB,OAAO,EAAE,MAAM;CAI5B;AAmCD;;;;;;;;GAQG;AAEH,wBAAgB,mBAAmB,CAAC,aAAa,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAqBtE;AAkCD,wBAAgB,wBAAwB,CACtC,aAAa,EAAE,MAAM,EACrB,gBAAgB,EAAE,MAAM,EACxB,4BAA4B,UAAQ,EACpC,4BAA4B,GAAE,4BAA4B,EAAO,GAChE,MAAM,EAAE,CAuGV;AAiFD,MAAM,WAAW,UAAW,SAAQ,WAAW;IAC7C,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,UAAU,yBAAyB;IACjC,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,OAAO,CAAC;CACvB;AAED,UAAU,kBAAkB;IAC1B,WAAW,CAAC,EAAE,CAAC,OAAO,EAAE,yBAAyB,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC3E,UAAU,CAAC,EAAE,CACX,OAAO,EAAE,yBAAyB,GAAG;QAAE,UAAU,EAAE,OAAO,CAAA;KAAE,KACzD,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC1B,YAAY,CAAC,EAAE,CAAC,OAAO,EAAE;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,KAAK,aAAa,CAAC;IAC/D,yBAAyB,CAAC,EAAE,OAAO,yBAAyB,CAAC;CAC9D;AA+FD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAGvE;AAGD,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,IAAI,GAChB,IAAI,CAMN;AAED,wBAAgB,4BAA4B,CAC1C,WAAW,EAAE,UAAU,EAAE,EACzB,QAAQ,EAAE,OAAO,EACjB,OAAO,EAAE,OAAO,EAChB,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,GACf,IAAI,CAIN;AAED,wBAAgB,0BAA0B,CAAC,MAAM,EAAE;IACjD,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,GAAG,IAAI,CAMP;AAED,wBAAgB,iCAAiC,CAC/C,WAAW,EAAE,UAAU,EAAE,EACzB,oBAAoB,EAAE,OAAO,EAC7B,iBAAiB,EAAE,MAAM,EACzB,WAAW,EAAE,MAAM,GAClB,IAAI,CAUN;AAGD,wBAAsB,WAAW,CAC/B,OAAO,GAAE;IACP,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,wBAAwB,CAAC,EAAE,OAAO,CAAC;IACnC,2EAA2E;IAC3E,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,wEAAwE;IACxE,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB;;;OAGG;IACH,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IACpC,uEAAuE;IACvE,KAAK,CAAC,EAAE,OAAO,CAAC;CACZ,EACN,OAAO,GAAE,kBAAuB,GAC/B,OAAO,CAAC,UAAU,CAAC,CAywCrB;AAED,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"sync.d.ts","sourceRoot":"","sources":["../../src/commands/sync.ts"],"names":[],"mappings":"AA8BA,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AA6BjE,OAAO,EAEL,yBAAyB,EAE1B,MAAM,gDAAgD,CAAC;AAIxD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EACL,KAAK,gBAAgB,EAGtB,MAAM,6BAA6B,CAAC;AA2BrC,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AAmCxE,qBAAa,SAAU,SAAQ,KAAK;gBACtB,OAAO,EAAE,MAAM;CAI5B;AAmCD;;;;;;;;GAQG;AAEH,wBAAgB,mBAAmB,CAAC,aAAa,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAqBtE;AAkCD,wBAAgB,wBAAwB,CACtC,aAAa,EAAE,MAAM,EACrB,gBAAgB,EAAE,MAAM,EACxB,4BAA4B,UAAQ,EACpC,4BAA4B,GAAE,4BAA4B,EAAO,GAChE,MAAM,EAAE,CAuGV;AAiFD,MAAM,WAAW,UAAW,SAAQ,WAAW;IAC7C,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,UAAU,yBAAyB;IACjC,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,OAAO,CAAC;CACvB;AAED,UAAU,kBAAkB;IAC1B,WAAW,CAAC,EAAE,CAAC,OAAO,EAAE,yBAAyB,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC3E,UAAU,CAAC,EAAE,CACX,OAAO,EAAE,yBAAyB,GAAG;QAAE,UAAU,EAAE,OAAO,CAAA;KAAE,KACzD,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC1B,YAAY,CAAC,EAAE,CAAC,OAAO,EAAE;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,KAAK,aAAa,CAAC;IAC/D,yBAAyB,CAAC,EAAE,OAAO,yBAAyB,CAAC;CAC9D;AA+FD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAGvE;AAGD,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,IAAI,GAChB,IAAI,CAMN;AAED,wBAAgB,4BAA4B,CAC1C,WAAW,EAAE,UAAU,EAAE,EACzB,QAAQ,EAAE,OAAO,EACjB,OAAO,EAAE,OAAO,EAChB,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,GACf,IAAI,CAIN;AAED,wBAAgB,0BAA0B,CAAC,MAAM,EAAE;IACjD,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,GAAG,IAAI,CAMP;AAED,wBAAgB,iCAAiC,CAC/C,WAAW,EAAE,UAAU,EAAE,EACzB,oBAAoB,EAAE,OAAO,EAC7B,iBAAiB,EAAE,MAAM,EACzB,WAAW,EAAE,MAAM,GAClB,IAAI,CAUN;AAGD,wBAAsB,WAAW,CAC/B,OAAO,GAAE;IACP,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,wBAAwB,CAAC,EAAE,OAAO,CAAC;IACnC,2EAA2E;IAC3E,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,wEAAwE;IACxE,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB;;;OAGG;IACH,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IACpC,uEAAuE;IACvE,KAAK,CAAC,EAAE,OAAO,CAAC;CACZ,EACN,OAAO,GAAE,kBAAuB,GAC/B,OAAO,CAAC,UAAU,CAAC,CAkxCrB;AAED,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/commands/sync.js

@@ -27,6 +27,7 @@ import { extractRelationshipShard, validateRelationships, } from "../extractors/
 import { acquireSymbolCompilerLock, releaseSymbolCompilerLock, } from "../operations/mutation/symbol-compiler-lock.js";
 import { analyzeSemanticAdvisorInput } from "../operations/semantic-advisor/analyze-prose.js";
 import { validateSemanticInventoryBoundary } from "../operations/semantic-advisor/ingestion-boundary.js";
+import { sourceAnalyzerInstallProblems } from "../plugins/plugin-install-check.js";
 import { PrologProcess } from "../prolog.js";
 import { detachedHeadWriteRefusal, resolveBranchAttachment, } from "../utils/branch-resolver.js";
 import { branchStoreManifestPath, branchStorePath, branchStoresRoot, ensureBranchStoreManifest, expectedBranchStoreManifest, } from "../utils/branch-store-locator.js";
@@ -573,6 +574,13 @@ export async function syncCommand(options = {}, runtime = {}) {
         // on a partially published compiler dependency.
         const refreshedManifestKeys = new Set();
         if (!validateOnly && options.refreshSymbolCoordinates) {
+            // A declared source analyzer that is missing or not the qualified
+            // build would drop every coordinate it places; refuse the refresh and
+            // keep the stored coordinates instead of reporting success.
+            // implements REQ-symbol-coordinates-derived-locally
+            const installProblems = sourceAnalyzerInstallProblems(workspaceRoot);
+            if (installProblems.length > 0)
+                throw new Error(`Symbol coordinate refresh refused: ${installProblems.map((row) => row.problem).join("; ")}. ${installProblems.map((row) => row.fix).join(" ")} The stored coordinates were kept.`);
             for (const file of manifestFiles) {
                 await refreshManifestCoordinates(file, workspaceRoot, {
                     refreshSymbolCoordinates: options.refreshSymbolCoordinates,

package/dist/commands/telemetry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"telemetry.d.ts","sourceRoot":"","sources":["../../src/commands/telemetry.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEvD,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;AAG9D,4EAA4E;AAC5E,wBAAsB,gBAAgB,CACpC,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,OAAO,GAAE;IAAE,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;CAAO,EAC1C,GAAG,GAAE,MAAM,CAAC,UAAwB,GACnC,OAAO,CAAC,aAAa,CAAC,CAsBxB"}
+{"version":3,"file":"telemetry.d.ts","sourceRoot":"","sources":["../../src/commands/telemetry.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEvD,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;AAU9D,4EAA4E;AAC5E,wBAAsB,gBAAgB,CACpC,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,OAAO,GAAE;IAAE,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;CAAO,EAC1C,GAAG,GAAE,MAAM,CAAC,UAAwB,GACnC,OAAO,CAAC,aAAa,CAAC,CA4BxB"}

package/dist/commands/telemetry.js

@@ -1,5 +1,11 @@
 // implements REQ-kibi-anonymous-usage-telemetry
-import { TELEMETRY_DOCS_URL, setTelemetryPreference, telemetryStatus, } from "kibi-agent-core/usage-telemetry";
+import { TELEMETRY_DOCS_URL, detectTelemetryHost, setTelemetryPreference, telemetryStatus, } from "kibi-agent-core/usage-telemetry";
+/** Where the channel in effect comes from, in words. */
+const CHANNEL_SOURCE_TEXT = {
+    KIBI_TELEMETRY_CHANNEL: "set by KIBI_TELEMETRY_CHANNEL",
+    checkout: "Kibi runs from a checkout of its own repository",
+    installed: "Kibi runs from an installed package",
+};
 // implements REQ-kibi-anonymous-usage-telemetry
 /** `kibi telemetry [status|enable|disable]`: show or persist the choice. */
 export async function telemetryCommand(action, options = {}, env = process.env) {
@@ -12,11 +18,15 @@ export async function telemetryCommand(action, options = {}, env = process.env)
         setTelemetryPreference(chosen === "enable" ? "enabled" : "disabled", env);
     }
     const status = telemetryStatus(env);
+    // The host this shell's events carry comes from KIBI_HOST or the
+    // variables an agent host set for the processes it starts.
+    const host = detectTelemetryHost(env) ?? "unknown";
     if (options.format === "json") {
-        console.log(JSON.stringify({ ...status, docs: TELEMETRY_DOCS_URL }));
+        console.log(JSON.stringify({ ...status, host, docs: TELEMETRY_DOCS_URL }));
         return { exitCode: 0 };
     }
     console.log(`Anonymous usage telemetry is ${status.enabled ? "on" : "off"} (${status.reason}).`);
+    console.log(`Channel: ${status.channel} (${CHANNEL_SOURCE_TEXT[status.channelSource]}). Host: ${host} (set KIBI_HOST to override).`);
     console.log(`Settings and queue: ${status.directory}`);
     console.log(`What is collected: ${TELEMETRY_DOCS_URL}`);
     return { exitCode: 0 };

package/dist/extractors/symbol-title-match.d.ts

@@ -0,0 +1,31 @@
+/** The declaration fields a symbol title is matched against. */
+export type TitledDeclaration = {
+    readonly name: string;
+    readonly qualifiedName?: string;
+    readonly kind?: string;
+    readonly containerName?: string;
+    readonly startLine: number;
+    readonly startColumn: number;
+    readonly endLine: number;
+    readonly endColumn: number;
+};
+export type TitleMatch<T> = {
+    readonly symbol: T;
+} | {
+    readonly failure: string;
+};
+/**
+ * Titles that name a declaration besides its qualified name and name: the
+ * Terraform address of a block (`aws_s3_bucket.this`, `data.x.y`,
+ * `module.m`, `var.v`, `output.o`, `local.l`) and the dotted labels of a
+ * generic HCL block (`source.amazon-ebs.ubuntu`).
+ */
+export declare function declarationTitleAliases(symbol: Pick<TitledDeclaration, "qualifiedName">): string[];
+/**
+ * Place a symbol title: a qualified name first, then a declaration alias,
+ * then a bare name. A bare type name shared with its constructors (a Java
+ * class `OS` and `OS()`) names the type.
+ * Anything else that is not exactly one declaration fails with the reason.
+ */
+export declare function matchDeclarationTitle<T extends TitledDeclaration>(title: string, declared: readonly T[], sourceFile: string, all?: readonly TitledDeclaration[]): TitleMatch<T>;
+//# sourceMappingURL=symbol-title-match.d.ts.map

package/dist/extractors/symbol-title-match.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbol-title-match.d.ts","sourceRoot":"","sources":["../../src/extractors/symbol-title-match.ts"],"names":[],"mappings":"AAkBA,gEAAgE;AAChE,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,UAAU,CAAC,CAAC,IACpB;IAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;CAAE,GACtB;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAmBjC;;;;;GAKG;AAEH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,CAAC,GAC/C,MAAM,EAAE,CA2BV;AAsCD;;;;;GAKG;AAEH,wBAAgB,qBAAqB,CAAC,CAAC,SAAS,iBAAiB,EAC/D,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,SAAS,CAAC,EAAE,EACtB,UAAU,EAAE,MAAM,EAClB,GAAG,GAAE,SAAS,iBAAiB,EAAa,GAC3C,UAAU,CAAC,CAAC,CAAC,CA2Cf"}

package/dist/extractors/symbol-title-match.js

@@ -0,0 +1,133 @@
+/*
+ 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/>.
+*/
+const TERRAFORM_LOCATOR = /^terraform:(resource|data|module|variable|output|local)\[(.*)\]$/;
+const HCL_LOCATOR = /^hcl:(\[.*\])$/;
+function jsonStrings(text) {
+    try {
+        const value = JSON.parse(text);
+        return Array.isArray(value) &&
+            value.length > 0 &&
+            value.every((item) => typeof item === "string")
+            ? value
+            : null;
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * Titles that name a declaration besides its qualified name and name: the
+ * Terraform address of a block (`aws_s3_bucket.this`, `data.x.y`,
+ * `module.m`, `var.v`, `output.o`, `local.l`) and the dotted labels of a
+ * generic HCL block (`source.amazon-ebs.ubuntu`).
+ */
+// implements REQ-symbol-coordinates-derived-locally
+export function declarationTitleAliases(symbol) {
+    const locator = symbol.qualifiedName ?? "";
+    const terraform = TERRAFORM_LOCATOR.exec(locator);
+    if (terraform) {
+        const kind = terraform[1];
+        const labels = jsonStrings(`[${terraform[2]}]`);
+        if (labels === null)
+            return [];
+        const dotted = labels.join(".");
+        switch (kind) {
+            case "resource":
+                return labels.length === 2 ? [dotted, `resource.${dotted}`] : [];
+            case "data":
+                return labels.length === 2 ? [`data.${dotted}`] : [];
+            case "variable":
+                return labels.length === 1
+                    ? [`var.${dotted}`, `variable.${dotted}`]
+                    : [];
+            default:
+                return labels.length === 1 ? [`${kind}.${dotted}`] : [];
+        }
+    }
+    const hcl = HCL_LOCATOR.exec(locator);
+    if (hcl?.[1] !== undefined) {
+        const parts = jsonStrings(hcl[1]);
+        return parts !== null && parts.length > 1 ? [parts.join(".")] : [];
+    }
+    return [];
+}
+/** A constructor: a method named like the type that holds it. */
+function isConstructorOf(member, type) {
+    return (member !== type &&
+        member.kind === "method" &&
+        member.containerName === member.name &&
+        type.name === member.name &&
+        type.kind !== "method" &&
+        type.kind !== "function");
+}
+function lines(symbol) {
+    return symbol.startLine === symbol.endLine
+        ? `line ${symbol.startLine}`
+        : `lines ${symbol.startLine}-${symbol.endLine}`;
+}
+/** The title that places this declaration and no other in the file. */
+function uniqueTitle(symbol, all) {
+    const alias = declarationTitleAliases(symbol)[0];
+    if (alias !== undefined)
+        return alias;
+    const sameName = all.filter((other) => other.name === symbol.name);
+    return sameName.length > 1 && symbol.qualifiedName !== undefined
+        ? symbol.qualifiedName
+        : symbol.name;
+}
+const LISTED_DECLARATIONS = 8;
+/**
+ * Place a symbol title: a qualified name first, then a declaration alias,
+ * then a bare name. A bare type name shared with its constructors (a Java
+ * class `OS` and `OS()`) names the type.
+ * Anything else that is not exactly one declaration fails with the reason.
+ */
+// implements REQ-symbol-coordinates-derived-locally
+export function matchDeclarationTitle(title, declared, sourceFile, all = declared) {
+    const byQualifiedName = declared.filter((symbol) => (symbol.qualifiedName ?? symbol.name) === title);
+    const byAlias = byQualifiedName.length
+        ? byQualifiedName
+        : declared.filter((symbol) => declarationTitleAliases(symbol).includes(title));
+    const byName = byAlias.length
+        ? byAlias
+        : declared.filter((symbol) => symbol.name === title);
+    const candidates = byName.filter((symbol) => !byName.some((other) => isConstructorOf(symbol, other)));
+    const [only] = candidates;
+    if (candidates.length === 1 && only !== undefined)
+        return { symbol: only };
+    if (candidates.length > 1) {
+        const titles = candidates.map((symbol) => uniqueTitle(symbol, all));
+        const distinct = new Set(titles).size === titles.length;
+        return {
+            failure: `'${title}' matches ${candidates.length} declarations in ${sourceFile} (${candidates.map((symbol, index) => `${titles[index]} on ${lines(symbol)}`).join(", ")}); ${distinct ? "use one of those titles" : "no title tells them apart"}`,
+        };
+    }
+    if (all.some((symbol) => symbol.name === title ||
+        symbol.qualifiedName === title ||
+        declarationTitleAliases(symbol).includes(title)))
+        return {
+            failure: `'${title}' is declared in a part of ${sourceFile} the source analysis could not read`,
+        };
+    const titles = [...new Set(all.map((symbol) => uniqueTitle(symbol, all)))];
+    const listed = titles.length === 0
+        ? "the extractor found no declarations there"
+        : `declarations there: ${titles.slice(0, LISTED_DECLARATIONS).join(", ")}${titles.length > LISTED_DECLARATIONS ? `, and ${titles.length - LISTED_DECLARATIONS} more` : ""}`;
+    return {
+        failure: `no declaration titled '${title}' found in ${sourceFile} (${listed})`,
+    };
+}

package/dist/extractors/symbols-coordinator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbols-coordinator.d.ts","sourceRoot":"","sources":["../../src/extractors/symbols-coordinator.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAUnF,OAAO,EACL,KAAK,mBAAmB,EAExB,kCAAkC,EACnC,MAAM,iBAAiB,CAAC;AAEzB,YAAY,EAAE,mBAAmB,EAAE,CAAC;AAEpC,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,UAAU,CAAC;AAEvD,MAAM,MAAM,gBAAgB,GACxB,UAAU,GACV,OAAO,GACP,QAAQ,GACR,UAAU,GACV,UAAU,GACV,WAAW,GACX,MAAM,GACN,MAAM,GACN,UAAU,GACV,SAAS,CAAC;AAEd,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,gBAAgB,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,kBAAkB,CAAC;IACjC,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,oBAAoB;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,OAAO,EAAE,oBAAoB,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC;IACxC,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,oBAAoB,CAAC;CACtE;AAED,MAAM,WAAW,wBAAwB;IACvC,SAAS,CAAC,EAAE,sBAAsB,EAAE,CAAC;IACrC,2EAA2E;IAC3E,QAAQ,CAAC,EAAE,kBAAkB,CAAC;CAC/B;AAED,UAAU,2BAA2B;IACnC,qBAAqB,EAAE,qBAAqB,CAAC;IAC7C,mBAAmB,EAAE,OAAO,kCAAkC,CAAC;IAC/D;mFAC+E;IAC/E,+BAA+B,CAAC,EAAE,OAAO,CAAC;CAC3C;AAMD,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,mBAAmB,EAAE,EAC9B,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,GAC1C,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAC;AAClC,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE,wBAAwB,GACjC,oBAAoB,CAAC;AA8DxB;;;GAGG;AAEH,wBAAsB,6BAA6B,CACjD,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,kBAAkB,GAC3B,OAAO,CAAC,oBAAoB,CAAC,CAO/B;AA+CD,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,mBAAmB,EAAE,EAC9B,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,GAC1C,OAAO,CAAC,mBAAmB,EAAE,CAAC,CA4FhC"}
+{"version":3,"file":"symbols-coordinator.d.ts","sourceRoot":"","sources":["../../src/extractors/symbols-coordinator.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAYnF,OAAO,EACL,KAAK,mBAAmB,EAExB,kCAAkC,EACnC,MAAM,iBAAiB,CAAC;AAEzB,YAAY,EAAE,mBAAmB,EAAE,CAAC;AAEpC,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,UAAU,CAAC;AAEvD,MAAM,MAAM,gBAAgB,GACxB,UAAU,GACV,OAAO,GACP,QAAQ,GACR,UAAU,GACV,UAAU,GACV,WAAW,GACX,MAAM,GACN,MAAM,GACN,UAAU,GACV,SAAS,CAAC;AAEd,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,gBAAgB,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,kBAAkB,CAAC;IACjC,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,oBAAoB;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,OAAO,EAAE,oBAAoB,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC;IACxC,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,oBAAoB,CAAC;CACtE;AAED,MAAM,WAAW,wBAAwB;IACvC,SAAS,CAAC,EAAE,sBAAsB,EAAE,CAAC;IACrC,2EAA2E;IAC3E,QAAQ,CAAC,EAAE,kBAAkB,CAAC;CAC/B;AAED,UAAU,2BAA2B;IACnC,qBAAqB,EAAE,qBAAqB,CAAC;IAC7C,mBAAmB,EAAE,OAAO,kCAAkC,CAAC;IAC/D;mFAC+E;IAC/E,+BAA+B,CAAC,EAAE,OAAO,CAAC;CAC3C;AAMD,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,mBAAmB,EAAE,EAC9B,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,GAC1C,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAC;AAClC,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE,wBAAwB,GACjC,oBAAoB,CAAC;AA8DxB;;;GAGG;AAEH,wBAAsB,6BAA6B,CACjD,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,kBAAkB,GAC3B,OAAO,CAAC,oBAAoB,CAAC,CAO/B;AA0FD,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,mBAAmB,EAAE,EAC9B,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,GAC1C,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAqJhC"}

package/dist/extractors/symbols-coordinator.js

@@ -20,7 +20,9 @@ import * as path from "node:path";
 import { createMaintenanceSourceAnalysisService } from "../plugins/maintenance-source-analysis.js";
 import { createSourceAnalysisService, } from "../plugins/source-analysis-service.js";
 import { extensionLanguage, isTsJsSourcePath, } from "../plugins/source-classification.js";
+import { analysisObligation } from "../traceability/analysis-gate.js";
 import { resolveWorkspaceSourceAbsolute } from "../utils/repo-relative-path.js";
+import { matchDeclarationTitle } from "./symbol-title-match.js";
 import { createTsMorphSourceAnalysisProvider, enrichSymbolCoordinatesWithTsMorph, } from "./symbols-ts.js";
 const DEFAULT_SOURCE_ANALYSIS_PROVIDERS = [
     createTsMorphSourceAnalysisProvider(),
@@ -83,6 +85,31 @@ export async function analyzeSourceTextWithRegistry(filePath, content, registry)
         return analyzeSourceText(filePath, content);
     }
 }
+/**
+ * The uncovered ranges of a partial analysis whose gaps are local (a macro,
+ * an include, a dynamic definition), or null when the gap affects the whole
+ * file (syntax, parse, timeout, integrity, a diagnostic limit) or the provider
+ * named no ranges. A symbol declared outside every local range was parsed in
+ * full, so its span stays trustworthy.
+ */
+// implements REQ-source-analysis-v2
+function localPartialRanges(analysis) {
+    const codes = analysis.diagnostics.map((diagnostic) => diagnostic.code);
+    if (codes.some((code) => /LIMIT/i.test(code)))
+        return null;
+    const obligation = analysisObligation("after", {
+        status: "partial",
+        diagnosticCodes: codes,
+        uncoveredRanges: analysis.uncoveredRanges,
+    }, []);
+    return obligation.kind === "blocked" ? null : analysis.uncoveredRanges;
+}
+/** Diagnostics as `CODE (line N): message`, one per distinct message. */
+function describeAnalysisDiagnostics(diagnostics) {
+    return [
+        ...new Set(diagnostics.map((diagnostic) => `${diagnostic.code}${diagnostic.range ? ` (line ${diagnostic.range.startLine})` : ""}: ${diagnostic.message}`)),
+    ].join("; ");
+}
 function isCoordinateOnlyDecoratorPartial(analysis) {
     if (analysis.status !== "partial" ||
         analysis.language !== "python" ||
@@ -124,8 +151,14 @@ export async function enrichSymbolCoordinates(entries, workspaceRoot, deps) {
         if (!entry)
             continue;
         const resolved = resolveSourcePath(entry.sourceFile, workspaceRoot);
-        if (!resolved || !fs.statSync(resolved.absolutePath).isFile())
+        if (!resolved || !fs.statSync(resolved.absolutePath).isFile()) {
+            if (entry.sourceFile)
+                output[index] = {
+                    ...entry,
+                    coordinateRefreshFailure: unreadableSourceReason(entry.sourceFile, workspaceRoot),
+                };
             continue;
+        }
         const ext = path.extname(resolved.absolutePath).toLowerCase();
         if (isTsJsSourcePath(resolved.absolutePath)) {
             tsIndices.push(index);
@@ -143,27 +176,55 @@ export async function enrichSymbolCoordinates(entries, workspaceRoot, deps) {
         }
         const coordinateOnlyPartial = deps?.allowPythonDecoratorCoordinates === true &&
             isCoordinateOnlyDecoratorPartial(analysis);
+        const localGaps = analysis.status === "partial" && !coordinateOnlyPartial
+            ? localPartialRanges(analysis)
+            : null;
         if (analysis.status === "failed" ||
-            (analysis.status === "partial" && !coordinateOnlyPartial))
-            throw new Error(`Cannot refresh incomplete source analysis for ${logicalPath}: ${analysis.diagnostics.map((d) => d.message).join("; ")}`);
+            (analysis.status === "partial" && !coordinateOnlyPartial && !localGaps)) {
+            // A file the analyzer cannot read as a whole (a syntax error, which a
+            // grammar may also report for valid code, a timeout, a changed grammar)
+            // gives its own symbols no coordinates; every other file still refreshes.
+            const reason = `Cannot refresh incomplete source analysis for ${logicalPath}: ${describeAnalysisDiagnostics(analysis.diagnostics)}`;
+            if (firstAnalysis)
+                console.warn(`[kibi] ${reason}`);
+            output[index] = { ...entry, coordinateRefreshFailure: reason };
+            continue;
+        }
+        if (localGaps && firstAnalysis) {
+            console.warn(`[kibi] ${logicalPath}: source analysis is partial; symbols declared on ${localGaps.map((range) => (range.startLine === range.endLine ? `line ${range.startLine}` : `lines ${range.startLine}-${range.endLine}`)).join(", ")} keep no coordinates (${describeAnalysisDiagnostics(analysis.diagnostics)})`);
+        }
         if (coordinateOnlyPartial && firstAnalysis) {
             console.warn(`[kibi] Coordinate-only refresh for ${logicalPath}; source analysis remains partial: ${analysis.diagnostics.map((diagnostic) => diagnostic.message).join("; ")}`);
         }
         if (analysis.status === "unsupported") {
+            const pack = analysis.diagnostics.find((diagnostic) => diagnostic.code.startsWith("TREESITTER_LANGUAGE_PACK_"));
+            const fileLevel = analysis.diagnostics.find((diagnostic) => diagnostic.code === "source_file_level_only");
+            if (fileLevel && !pack && firstAnalysis)
+                console.warn(`[kibi] ${logicalPath}: symbol coordinates are approximate (placed by text match). ${fileLevel.message}`);
+            if (pack && firstAnalysis)
+                console.warn(`[kibi] ${logicalPath}: symbol coordinates are approximate until its grammar pack is installed. ${pack.message}`);
             // Preserve the legacy coarse heuristic until the file-level migration;
             // it is never exposed as parser-backed symbol evidence.
-            output[index] = enrichWithRegexHeuristic(entry, resolved.absolutePath);
+            const placed = enrichWithRegexHeuristic(entry, resolved.absolutePath);
+            output[index] =
+                placed.sourceLine === undefined
+                    ? {
+                        ...placed,
+                        coordinateRefreshFailure: `no text match for '${entry.title}' in ${logicalPath}, which has no parser-backed declarations (${(pack ?? fileLevel)?.message ?? "no symbol extractor reads this file type"})`,
+                    }
+                    : placed;
             continue;
         }
-        const exact = analysis.symbols.filter((symbol) => (symbol.qualifiedName ?? symbol.name) === entry.title);
-        const candidates = exact.length
-            ? exact
-            : analysis.symbols.filter((symbol) => symbol.name === entry.title);
-        if (candidates.length !== 1)
-            continue;
-        const symbol = candidates[0];
-        if (!symbol)
+        const declared = localGaps
+            ? analysis.symbols.filter((symbol) => !localGaps.some((range) => range.startLine <= symbol.startLine &&
+                symbol.startLine <= range.endLine))
+            : analysis.symbols;
+        const match = matchDeclarationTitle(entry.title, declared, logicalPath, analysis.symbols);
+        if ("failure" in match) {
+            output[index] = { ...entry, coordinateRefreshFailure: match.failure };
             continue;
+        }
+        const symbol = match.symbol;
         output[index] = {
             ...entry,
             sourceLine: symbol.startLine,
@@ -227,6 +288,14 @@ function enrichWithRegexHeuristic(entry, absolutePath) {
         return entry;
     }
 }
+function unreadableSourceReason(sourceFile, workspaceRoot) {
+    const absolute = resolveWorkspaceSourceAbsolute(workspaceRoot, sourceFile);
+    if (absolute === null)
+        return `${sourceFile} is not a file path inside the workspace`;
+    if (!fs.existsSync(absolute))
+        return `${sourceFile} does not exist`;
+    return `${sourceFile} is not a regular file`;
+}
 function resolveSourcePath(sourceFile, workspaceRoot) {
     if (!sourceFile)
         return null;

package/dist/operations/bootstrap/discovery-evidence.js

@@ -10,9 +10,9 @@ const SCAN_PATTERNS = [
     "**/Cargo.toml",
     "**/go.mod",
     "**/opencode.json",
-    "**/*.{ts,tsx,mts,cts,js,jsx,mjs,cjs,py,rb,go,rs,java,kt,swift,php,c,cc,cpp,h,hpp,pl,plt}",
+    "**/*.{ts,tsx,mts,cts,js,jsx,mjs,cjs,py,pyi,rb,go,rs,java,kt,swift,php,c,cc,cpp,cxx,h,hh,hpp,hxx,cs,sh,bash,tf,hcl,pl,plt}",
 ];
-const CODE_EXTENSION = /\.(ts|tsx|mts|cts|js|jsx|mjs|cjs|py|rb|go|rs|java|kt|swift|php|c|cc|cpp|h|hpp|pl|plt)$/i;
+const CODE_EXTENSION = /\.(ts|tsx|mts|cts|js|jsx|mjs|cjs|py|pyi|rb|go|rs|java|kt|swift|php|c|cc|cpp|cxx|h|hh|hpp|hxx|cs|sh|bash|tf|hcl|pl|plt)$/i;
 const LAYOUT_ROOTS = new Set([
     "src",
     "app",

package/dist/operations/bootstrap/guidance-actions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"guidance-actions.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/guidance-actions.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EACV,gBAAgB,EAChB,wBAAwB,EACxB,SAAS,EACT,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAkBpB,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,gBAAgB,EAC5B,QAAQ,EAAE,wBAAwB,EAClC,UAAU,EAAE,SAAS,SAAS,EAAE,EAChC,OAAO,EAAE,SAAS,gBAAgB,EAAE,EACpC,MAAM,GAAE,SAAS,WAAW,EAAO,GAClC,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAgG9C"}
+{"version":3,"file":"guidance-actions.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/guidance-actions.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EACV,gBAAgB,EAChB,wBAAwB,EACxB,SAAS,EACT,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAkBpB,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,gBAAgB,EAC5B,QAAQ,EAAE,wBAAwB,EAClC,UAAU,EAAE,SAAS,SAAS,EAAE,EAChC,OAAO,EAAE,SAAS,gBAAgB,EAAE,EACpC,MAAM,GAAE,SAAS,WAAW,EAAO,GAClC,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CA6G9C"}

package/dist/operations/bootstrap/guidance-actions.js

@@ -94,7 +94,18 @@ export function buildActions(root, activation, declared, candidates, signals, of
             capability: offer.capability,
             mode: offer.mode,
             evidence: offer.evidence,
-            description: `${offer.reason} (${summary(offer.evidence)}). Ask the operator whether to enable the experimental ${offer.package}; on yes, install it as a dev dependency and add it to package.json kibi.plugins with "${offer.capability}": { "mode": "${offer.mode}" }; on no, add "${offer.package}" to kibi.declinedPlugins so bootstrap stops offering it.`,
+            ...(offer.alsoActivate === undefined
+                ? {}
+                : { alsoActivate: offer.alsoActivate }),
+            ...(offer.alsoInstall === undefined
+                ? {}
+                : { alsoInstall: offer.alsoInstall }),
+            description: `${offer.reason} (${summary(offer.evidence)}). Ask the operator whether to enable the experimental ${offer.package}; on yes, install ${offer.alsoInstall === undefined ? "it as a dev dependency" : `it and ${offer.alsoInstall.join(", ")} as dev dependencies`} and add it to package.json kibi.plugins with ${[
+                [offer.capability, offer.mode],
+                ...Object.entries(offer.alsoActivate ?? {}),
+            ]
+                .map(([capability, mode]) => `"${capability}": { "mode": "${mode}" }`)
+                .join(", ")}; on no, add "${offer.package}" to kibi.declinedPlugins so bootstrap stops offering it.`,
         });
     result.push({
         order,

package/dist/operations/bootstrap/plugin-offers.d.ts

@@ -8,6 +8,10 @@ export type PluginOffer = {
     readonly reason: string;
     readonly fileCount: number;
     readonly evidence: readonly string[];
+    /** Further capabilities of the same package to activate, with their modes. */
+    readonly alsoActivate?: Readonly<Record<string, "augment" | "replace">>;
+    /** Data packages to install next to it, such as kibi-lang-* grammar packs. */
+    readonly alsoInstall?: readonly string[];
 };
 /**
  * Below this many requirements a reader can scan the list, and a question
@@ -19,7 +23,9 @@ export declare const SEARCH_HINTS_OFFER_REQUIREMENTS = 50;
  * offered when production React or Angular component files exist, and
  * kibi-plugin-search-hints once the KB holds enough requirements that a
  * question worded differently from them is likely to miss; neither is
- * offered once the project activated or declined it.
+ * offered once the project activated or declined it. kibi-plugin-treesitter
+ * is offered for sources in any language it reads until it is listed, and
+ * for Go, Java, C# and Rust sources until it is active for source proofs.
  */
 export declare function pluginOffers(context: OperationContext, files: readonly string[]): Promise<readonly PluginOffer[]>;
 //# sourceMappingURL=plugin-offers.d.ts.map

package/dist/operations/bootstrap/plugin-offers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"plugin-offers.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/plugin-offers.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAGjF,oFAAoF;AAEpF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,8CAA8C;IAC9C,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,CAAC;AAUF;;;GAGG;AAEH,eAAO,MAAM,+BAA+B,KAAK,CAAC;AAyDlD;;;;;;GAMG;AAEH,wBAAsB,YAAY,CAChC,OAAO,EAAE,gBAAgB,EACzB,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,OAAO,CAAC,SAAS,WAAW,EAAE,CAAC,CA6BjC"}
+{"version":3,"file":"plugin-offers.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/plugin-offers.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAOjF,oFAAoF;AAEpF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,8CAA8C;IAC9C,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,8EAA8E;IAC9E,QAAQ,CAAC,YAAY,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC;IACxE,8EAA8E;IAC9E,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C,CAAC;AAUF;;;GAGG;AAEH,eAAO,MAAM,+BAA+B,KAAK,CAAC;AA0GlD;;;;;;;;GAQG;AAEH,wBAAsB,YAAY,CAChC,OAAO,EAAE,gBAAgB,EACzB,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,OAAO,CAAC,SAAS,WAAW,EAAE,CAAC,CAoEjC"}

package/dist/operations/bootstrap/plugin-offers.js

@@ -1,5 +1,8 @@
 import path from "node:path";
+import { REFERENCE_PLUGIN_PACKAGE } from "../../plugins/proof-reference-extractors.js";
+import { describeReferenceLanguageSuggestion, manifestDeclares, pinnedPackVersions, referenceLanguageSuggestion, workspaceInstalledVersion, } from "../../plugins/reference-language-suggestion.js";
 import { KB_PATHS } from "../../utils/kb-paths.js";
+import { PLUGIN_LANGUAGE_PACKS, pluginReferenceLanguage, } from "../proof/code-languages.js";
 const UI_PLUGIN = "kibi-plugin-ui";
 const UI_CAPABILITY = "kibi.check-policy.v1";
 const UI_SOURCE = /(?:\.(?:tsx|jsx)|\.component\.ts)$/i;
@@ -13,6 +16,47 @@ const HINTS_CAPABILITY = "kibi.search-hints.v1";
  */
 // implements REQ-kibi-plugin-search-hints
 export const SEARCH_HINTS_OFFER_REQUIREMENTS = 50;
+/** The project's kibi block as written, for offers that look at capabilities. */
+function kibiConfigOf(manifest) {
+    if (typeof manifest !== "object" || manifest === null)
+        return {};
+    const kibi = manifest.kibi;
+    if (typeof kibi !== "object" || kibi === null || Array.isArray(kibi))
+        return {};
+    const { plugins, declinedPlugins } = kibi;
+    return {
+        plugins: Array.isArray(plugins)
+            ? plugins.flatMap((entry) => {
+                if (typeof entry !== "object" || entry === null)
+                    return [];
+                const { package: name, capabilities } = entry;
+                return typeof name === "string"
+                    ? [
+                        {
+                            package: name,
+                            capabilities: typeof capabilities === "object" && capabilities !== null
+                                ? capabilities
+                                : {},
+                        },
+                    ]
+                    : [];
+            })
+            : [],
+        declinedPlugins: Array.isArray(declinedPlugins)
+            ? declinedPlugins.filter((name) => typeof name === "string")
+            : [],
+    };
+}
+async function readManifest(context) {
+    try {
+        if (!context.fs)
+            return undefined;
+        return JSON.parse(await context.fs.readFile(path.join(context.workspaceRoot, "package.json")));
+    }
+    catch {
+        return undefined;
+    }
+}
 /** Plugin names the project activated or declined, from its package.json. */
 async function configuredPlugins(context) {
     let manifest;
@@ -70,19 +114,45 @@ async function requirementFiles(context) {
  * offered when production React or Angular component files exist, and
  * kibi-plugin-search-hints once the KB holds enough requirements that a
  * question worded differently from them is likely to miss; neither is
- * offered once the project activated or declined it.
+ * offered once the project activated or declined it. kibi-plugin-treesitter
+ * is offered for sources in any language it reads until it is listed, and
+ * for Go, Java, C# and Rust sources until it is active for source proofs.
  */
-// implements REQ-bootstrap-ui-plugin-offer, REQ-kibi-plugin-search-hints
+// implements REQ-bootstrap-ui-plugin-offer, REQ-kibi-plugin-search-hints, REQ-kibi-tree-sitter-references
 export async function pluginOffers(context, files) {
     const uiFiles = files.filter((file) => UI_SOURCE.test(file) && !NOT_PRODUCTION.test(file));
     const requirements = await requirementFiles(context);
     const wantsHints = requirements.length >= SEARCH_HINTS_OFFER_REQUIREMENTS;
-    if (uiFiles.length === 0 && !wantsHints)
+    // Any language the plugin reads (for symbols, or for proofs too).
+    const wantsReferences = files.some((file) => pluginReferenceLanguage(file) !== null ||
+        PLUGIN_LANGUAGE_PACKS.some((language) => language.pattern.test(file)));
+    if (uiFiles.length === 0 && !wantsHints && !wantsReferences)
         return [];
     const configured = await configuredPlugins(context);
     if (configured === undefined)
         return [];
     const offers = [];
+    const manifest = wantsReferences ? await readManifest(context) : undefined;
+    const references = wantsReferences
+        ? referenceLanguageSuggestion(files, kibiConfigOf(manifest), workspaceInstalledVersion(context.workspaceRoot), pinnedPackVersions(context.workspaceRoot), undefined, manifestDeclares(manifest, REFERENCE_PLUGIN_PACKAGE))
+        : null;
+    if (references !== null && references.capabilities.length > 0) {
+        const [capability, ...more] = references.capabilities;
+        offers.push({
+            package: references.package,
+            capability: capability,
+            mode: "augment",
+            reason: describeReferenceLanguageSuggestion(references),
+            fileCount: references.languages.reduce((total, language) => total + language.files, 0),
+            evidence: references.evidence,
+            ...(references.packs.length > 0 ? { alsoInstall: references.packs } : {}),
+            ...(more.length > 0
+                ? {
+                    alsoActivate: Object.fromEntries(more.map((name) => [name, "augment"])),
+                }
+                : {}),
+        });
+    }
     if (uiFiles.length > 0 && !configured.has(UI_PLUGIN))
         offers.push({
             package: UI_PLUGIN,

package/dist/operations/modeling/logic-modeling.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"logic-modeling.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/logic-modeling.ts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,WAAW,EAIjB,MAAM,mBAAmB,CAAC;AAS3B,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACpD;AAUD,wBAAgB,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAE3D;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,mBAAmB,GACzB,oBAAoB,CAoHtB"}
+{"version":3,"file":"logic-modeling.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/logic-modeling.ts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,WAAW,EAIjB,MAAM,mBAAmB,CAAC;AAU3B,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACpD;AAUD,wBAAgB,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAE3D;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,mBAAmB,GACzB,oBAAoB,CAoHtB"}

package/dist/operations/modeling/logic-modeling.js

@@ -1,5 +1,6 @@
 import { createHash } from "node:crypto";
 import { logicSemanticKey, utf8Span, validateLogicIr, } from "../../logic/ir.js";
+import { firstSentence } from "../../utils/first-sentence.js";
 import { modeledClaimRole, normalizeSemanticClause, semanticClaimKey, } from "../semantic-advisor/clauses.js";
 import { advisorPropositionRole } from "../semantic-advisor/proposition-role.js";
 import { semanticSourceHash } from "../semantic-advisor/shared.js";
@@ -86,7 +87,7 @@ export function buildLogicApplyPlan(input) {
                 type: "req",
                 id: input.requirementId ?? `REQ-LOGIC-${shortId(claimText)}`,
                 properties: {
-                    title: claimText.split(/[.!?]/, 1)[0] || "Typed logical requirement",
+                    title: firstSentence(claimText) || "Typed logical requirement",
                     status: "open",
                     source: input.source,
                     semantic_text: input.text.trim(),

package/dist/operations/modeling/model-requirement.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"model-requirement.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/model-requirement.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,cAAc,EAEpB,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAiBjF,OAAO,EACL,yBAAyB,EACzB,uBAAuB,EACxB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,oBAAoB,EACpB,sBAAsB,EACvB,MAAM,wBAAwB,CAAC;AAUhC,YAAY,EACV,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAuBhC,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,cAAc,EACxB,cAAc,EAAE,MAAM,GACrB;IAAE,QAAQ,EAAE,cAAc,CAAC;IAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAuBhE;AA2KD,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACvB,yBAAyB,EACzB,uBAAuB,GACxB,CAAC;AAIF,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,OAAO,EAAE;IACP,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB,GACA,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA+CzB;AAwOD,wBAAsB,4BAA4B,CAChD,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAIxB;AAED,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,oBAAoB,EAC1B,aAAa,EAAE,MAAM,EACrB,OAAO,CAAC,EAAE,gBAAgB,GACzB,OAAO,CAAC,sBAAsB,CAAC,CAwHjC;AAED,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,oBAAoB,EAC1B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,sBAAsB,CAAC,CAajC"}
+{"version":3,"file":"model-requirement.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/model-requirement.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,cAAc,EAEpB,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAkBjF,OAAO,EACL,yBAAyB,EACzB,uBAAuB,EACxB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,oBAAoB,EACpB,sBAAsB,EACvB,MAAM,wBAAwB,CAAC;AAUhC,YAAY,EACV,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAuBhC,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,cAAc,EACxB,cAAc,EAAE,MAAM,GACrB;IAAE,QAAQ,EAAE,cAAc,CAAC;IAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAuBhE;AA2KD,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACvB,yBAAyB,EACzB,uBAAuB,GACxB,CAAC;AAIF,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,OAAO,EAAE;IACP,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB,GACA,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA+CzB;AAuOD,wBAAsB,4BAA4B,CAChD,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAIxB;AAED,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,oBAAoB,EAC1B,aAAa,EAAE,MAAM,EACrB,OAAO,CAAC,EAAE,gBAAgB,GACzB,OAAO,CAAC,sBAAsB,CAAC,CAwHjC;AAED,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,oBAAoB,EAC1B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,sBAAsB,CAAC,CAajC"}

package/dist/operations/modeling/model-requirement.js

@@ -1,4 +1,5 @@
 import { buildStrictWriteSet, } from "../../public/check-types.js";
+import { firstSentence } from "../../utils/first-sentence.js";
 import { readKbManifestStatus } from "../../utils/kb-manifest.js";
 import { factSourcePath, isConventionalSubjectKey, normalizeSubjectKey, } from "../../utils/strict-modeling.js";
 import { modeledClaimRole, normalizeSemanticClause, semanticClaimKey, } from "../semantic-advisor/clauses.js";
@@ -345,7 +346,7 @@ async function unresolvedConditionalResult(args, extracted, reason, workspaceRoo
                 type: "req",
                 id: args.requirementId,
                 properties: {
-                    title: claimText.split(/[.!?]/, 1)[0] || "Conditional requirement",
+                    title: firstSentence(claimText) || "Conditional requirement",
                     status: "open",
                     source: extracted.source,
                     semantic_text: semanticText,

package/dist/operations/mutation/symbol-refresh.d.ts

@@ -5,6 +5,8 @@ export type RefreshResult = {
     readonly found: boolean;
     readonly outcome?: TargetedRefreshOutcome;
     readonly publication?: ArtifactPublicationReceipt;
+    /** Why the symbol got no coordinates, when the refresh could not place it. */
+    readonly unplaced?: string;
 };
 export type ArtifactPublicationReceipt = {
     readonly path: string;