kibi-cli 2.0.0 → 2.2.0

package/dist/public/symbol-granularity.generated.js

@@ -7,11 +7,44 @@
  * and proof production. Regenerate with: bun run symbols:generate
  */
 // implements REQ-core-extractors
-export const ALLOWED_GRANULARITY_REASONS = ["config-artifact", "module-level-behavior", "extractor-miss", "legacy-link", "test-suite"];
-export const COARSE_GRANULARITY_REASONS = ["config-artifact", "module-level-behavior", "extractor-miss", "test-suite"];
-export const SYMBOL_ROLES = ["behavioral", "structural", "type-shape", "config", "module", "unknown"];
-export const ROLE_INFERENCE = { "function": "behavioral", "class": "behavioral", "method": "behavioral", "property": "behavioral", "accessor": "behavioral", "interface": "type-shape", "type": "type-shape", "enum": "type-shape", "variable": "unknown", "unknown": "unknown" };
-export const TRACEABILITY_RELATIONSHIP_TYPES = ["implements", "covered_by", "executable_for"];
+export const ALLOWED_GRANULARITY_REASONS = [
+    "config-artifact",
+    "module-level-behavior",
+    "extractor-miss",
+    "legacy-link",
+    "test-suite",
+];
+export const COARSE_GRANULARITY_REASONS = [
+    "config-artifact",
+    "module-level-behavior",
+    "extractor-miss",
+    "test-suite",
+];
+export const SYMBOL_ROLES = [
+    "behavioral",
+    "structural",
+    "type-shape",
+    "config",
+    "module",
+    "unknown",
+];
+export const ROLE_INFERENCE = {
+    function: "behavioral",
+    class: "behavioral",
+    method: "behavioral",
+    property: "behavioral",
+    accessor: "behavioral",
+    interface: "type-shape",
+    type: "type-shape",
+    enum: "type-shape",
+    variable: "unknown",
+    unknown: "unknown",
+};
+export const TRACEABILITY_RELATIONSHIP_TYPES = [
+    "implements",
+    "covered_by",
+    "executable_for",
+];
 /** Comma-or list of every allowed granularity reason ("a, b, or c"). */
 export const ALLOWED_GRANULARITY_REASONS_PROSE = "config-artifact, module-level-behavior, extractor-miss, legacy-link, or test-suite";
 /** Comma-or list of the coarse granularity reasons ("a, b, or c"). */

package/dist/public/telemetry-acceptance.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"telemetry-acceptance.d.ts","sourceRoot":"","sources":["../../src/public/telemetry-acceptance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,KAAK,EAEV,yBAAyB,EACzB,yBAAyB,EAGzB,qBAAqB,EACrB,mBAAmB,EACpB,MAAM,iCAAiC,CAAC;AAEzC,YAAY,EACV,yBAAyB,EACzB,yBAAyB,EACzB,yBAAyB,EACzB,yBAAyB,EACzB,iBAAiB,EACjB,qBAAqB,EACrB,mBAAmB,GACpB,MAAM,iCAAiC,CAAC;AAEzC,eAAO,MAAM,4BAA4B,EACvC,8BAAuC,CAAC;AAE1C,eAAO,MAAM,mCAAmC;;;;;;;;;;;;CAYF,CAAC;AAgB/C,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,MAAM,GACf,mBAAmB,EAAE,CAsBvB;AA0DD,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,QAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,GAAG,EAC3B,QAAQ,EAAE,MAAM,GACf,qBAAqB,CAKvB;AA2bD,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,SAAS,mBAAmB,EAAE,EACtC,GAAG,GAAE,IAAiB,EACtB,MAAM,GAAE,yBAA+D,GACtE,yBAAyB,CA6D3B;AA+DD,wBAAgB,oCAAoC,CAClD,MAAM,EAAE,yBAAyB,GAChC,SAAS,iBAAiB,EAAE,CA+E9B"}
+{"version":3,"file":"telemetry-acceptance.d.ts","sourceRoot":"","sources":["../../src/public/telemetry-acceptance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,KAAK,EAEV,yBAAyB,EACzB,yBAAyB,EAGzB,qBAAqB,EACrB,mBAAmB,EACpB,MAAM,iCAAiC,CAAC;AAEzC,YAAY,EACV,yBAAyB,EACzB,yBAAyB,EACzB,yBAAyB,EACzB,yBAAyB,EACzB,iBAAiB,EACjB,qBAAqB,EACrB,mBAAmB,GACpB,MAAM,iCAAiC,CAAC;AAEzC,eAAO,MAAM,4BAA4B,EACvC,8BAAuC,CAAC;AAE1C,eAAO,MAAM,mCAAmC;;;;;;;;;;;;CAYF,CAAC;AAgB/C,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,MAAM,GACf,mBAAmB,EAAE,CAsBvB;AA0DD,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,QAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,GAAG,EAC3B,QAAQ,EAAE,MAAM,GACf,qBAAqB,CAKvB;AA0dD,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,SAAS,mBAAmB,EAAE,EACtC,GAAG,GAAE,IAAiB,EACtB,MAAM,GAAE,yBAA+D,GACtE,yBAAyB,CA6D3B;AA+DD,wBAAgB,oCAAoC,CAClD,MAAM,EAAE,yBAAyB,GAChC,SAAS,iBAAiB,EAAE,CA+E9B"}

package/dist/public/telemetry-acceptance.js

@@ -251,14 +251,30 @@ function advisorBeforeRequirementWriteMetric(all, recentStart, policy) {
         },
     };
 }
+function sourceLookupMessage(zeroResults, lookups, unobservable) {
+    const unreadable = unobservable > 0
+        ? `${unobservable} source-linked lookups recorded no readable result count.`
+        : "";
+    if (lookups === 0) {
+        return (unreadable ||
+            "No source-linked query or search calls occurred in the evaluated window.");
+    }
+    const observed = `${zeroResults}/${lookups} source-linked lookups returned zero results.`;
+    return unreadable ? `${observed} ${unreadable}` : observed;
+}
 function sourceLookupMetric(recent, policy) {
-    const lookups = recent.filter(({ event }) => {
+    const sourceLinked = recent.filter(({ event }) => {
         if ((event.tool !== "kb_query" && event.tool !== "kb_search") ||
             !eventSucceeded(event)) {
             return false;
         }
         return typeof eventArgs(event).sourceFile === "string";
     });
+    // A row whose count could not be read is unobservable, not a hit.  Counting
+    // it as a non-zero result would let a broken logger report a healthy rate.
+    const lookups = sourceLinked.filter(({ event }) => typeof event.result_count === "number" ||
+        typeof event.zero_results === "boolean");
+    const unobservable = sourceLinked.length - lookups.length;
     const zeroResults = lookups.filter(({ event }) => event.zero_results === true || event.result_count === 0);
     const actual = rate(zeroResults.length, lookups.length);
     const sourceCounts = new Map();
@@ -268,7 +284,9 @@ function sourceLookupMetric(recent, policy) {
     }
     return {
         id: "source_lookup_zero_result_rate",
-        status: thresholdStatus(actual, "<=", policy.sourceLookupZeroResultMaximum),
+        status: lookups.length === 0 && unobservable > 0
+            ? "insufficient_evidence"
+            : thresholdStatus(actual, "<=", policy.sourceLookupZeroResultMaximum),
         numerator: zeroResults.length,
         denominator: lookups.length,
         ...(actual !== undefined ? { rate: actual } : {}),
@@ -276,9 +294,7 @@ function sourceLookupMetric(recent, policy) {
             operator: "<=",
             value: policy.sourceLookupZeroResultMaximum,
         },
-        message: lookups.length === 0
-            ? "No source-linked query or search calls occurred in the evaluated window."
-            : `${zeroResults.length}/${lookups.length} source-linked lookups returned zero results.`,
+        message: sourceLookupMessage(zeroResults.length, lookups.length, unobservable),
         evidence: {
             zeroResultSourceFiles: [...sourceCounts.entries()]
                 .sort(([leftFile, leftCount], [rightFile, rightCount]) => rightCount - leftCount || leftFile.localeCompare(rightFile))

package/dist/relationships/shards.d.ts

@@ -50,6 +50,12 @@ export type RemovedRelationshipRecords = Readonly<{
  * Remove exact legacy-shard relationships using an atomic temp-file rename.
  * The caller is responsible for retracting the compiled RDF edge afterwards.
  */
+/**
+ * A shard's YAML without the selected relationships. The sequence is patched in
+ * place so comments, ordering, and unrelated records survive; callers that must
+ * approve the bytes before writing (deletion plans) render without writing.
+ */
+export declare function renderShardWithout(text: string, selectors: readonly RelationshipSelector[], shardPath: string): string;
 export declare function removeRelationshipsFromShards(kbRoot: string, selectors: readonly RelationshipSelector[]): RemovedRelationshipRecords[];
 /**
  * Appends a relationship to the appropriate shard.

package/dist/relationships/shards.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"shards.d.ts","sourceRoot":"","sources":["../../src/relationships/shards.ts"],"names":[],"mappings":"AAwBA;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAGrD;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAGzE;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,SAAS,EAAE,MAAM,GAAG,kBAAkB,EAAE,CAsFjE;AAED;;;GAGG;AACH,wBAAgB,UAAU,CACxB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,kBAAkB,EAAE,GAC5B,IAAI,CAoBN;AAwBD,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC,CAAC;AAEH,MAAM,MAAM,0BAA0B,GAAG,QAAQ,CAAC;IAChD,QAAQ,EAAE,oBAAoB,CAAC;IAC/B,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC,CAAC;AAEH;;;GAGG;AACH,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,SAAS,oBAAoB,EAAE,GACzC,0BAA0B,EAAE,CAwD9B;AAqCD;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,IAAI,CAAC,kBAAkB,EAAE,IAAI,CAAC,GAC3C;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAwCzC;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAUnD;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,kBAAkB,EAAE,CAUlE;AAED;;GAEG;AACH,wBAAgB,aAAa,CAC3B,OAAO,EAAE,kBAAkB,EAAE,EAC7B,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,GAC1B,kBAAkB,EAAE,CAKtB;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,MAAM,GACT,MAAM,CAMR;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAE1B,QAAQ,EAAE,kBAAkB,EAAE,EAC9B,QAAQ,EAAE,kBAAkB,EAAE,GAC7B,kBAAkB,EAAE,CAgCtB"}
+{"version":3,"file":"shards.d.ts","sourceRoot":"","sources":["../../src/relationships/shards.ts"],"names":[],"mappings":"AAwBA;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAGrD;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAGzE;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,SAAS,EAAE,MAAM,GAAG,kBAAkB,EAAE,CAsFjE;AAED;;;GAGG;AACH,wBAAgB,UAAU,CACxB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,kBAAkB,EAAE,GAC5B,IAAI,CAoBN;AAwBD,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC,CAAC;AAEH,MAAM,MAAM,0BAA0B,GAAG,QAAQ,CAAC;IAChD,QAAQ,EAAE,oBAAoB,CAAC;IAC/B,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC,CAAC;AAEH;;;GAGG;AACH;;;;GAIG;AAEH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,SAAS,oBAAoB,EAAE,EAC1C,SAAS,EAAE,MAAM,GAChB,MAAM,CA2BR;AAED,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,SAAS,oBAAoB,EAAE,GACzC,0BAA0B,EAAE,CAwC9B;AAqCD;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,IAAI,CAAC,kBAAkB,EAAE,IAAI,CAAC,GAC3C;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAwCzC;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAUnD;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,kBAAkB,EAAE,CAUlE;AAED;;GAEG;AACH,wBAAgB,aAAa,CAC3B,OAAO,EAAE,kBAAkB,EAAE,EAC7B,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,GAC1B,kBAAkB,EAAE,CAKtB;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,MAAM,GACT,MAAM,CAMR;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAE1B,QAAQ,EAAE,kBAAkB,EAAE,EAC9B,QAAQ,EAAE,kBAAkB,EAAE,GAC7B,kBAAkB,EAAE,CAgCtB"}

package/dist/relationships/shards.js

@@ -163,6 +163,31 @@ function atomicWriteText(targetPath, body) {
  * Remove exact legacy-shard relationships using an atomic temp-file rename.
  * The caller is responsible for retracting the compiled RDF edge afterwards.
  */
+/**
+ * A shard's YAML without the selected relationships. The sequence is patched in
+ * place so comments, ordering, and unrelated records survive; callers that must
+ * approve the bytes before writing (deletion plans) render without writing.
+ */
+// implements REQ-kibi-operation-interface-parity
+export function renderShardWithout(text, selectors, shardPath) {
+    const wanted = new Set(selectors.map((selector) => `${selector.type}\0${selector.from}\0${selector.to}`));
+    const document = parseDocument(text);
+    const sequence = document.get("relationships", true);
+    if (!sequence || typeof sequence !== "object" || !("items" in sequence)) {
+        throw new Error(`Invalid shard file: missing 'relationships' array at ${shardPath}`);
+    }
+    const items = sequence.items;
+    for (let index = items.length - 1; index >= 0; index -= 1) {
+        const item = items[index];
+        if (!item || typeof item !== "object" || !("get" in item))
+            continue;
+        const get = item.get.bind(item);
+        if (wanted.has(`${String(get("type"))}\0${String(get("from"))}\0${String(get("to"))}`)) {
+            document.deleteIn(["relationships", index]);
+        }
+    }
+    return document.toString();
+}
 export function removeRelationshipsFromShards(kbRoot, selectors) {
     const wanted = new Set(selectors.map((selector) => `${selector.type}\0${selector.from}\0${selector.to}`));
     const removed = new Map();
@@ -171,25 +196,7 @@ export function removeRelationshipsFromShards(kbRoot, selectors) {
         const matching = records.filter((record) => wanted.has(`${record.type}\0${record.from}\0${record.to}`));
         if (matching.length === 0)
             continue;
-        // Patch the YAML sequence in place so comments, ordering, and unrelated
-        // records survive a relationship deletion. The compiled store is never
-        // the mutation target; this shard remains the canonical source artifact.
-        const document = parseDocument(fs.readFileSync(shardPath, "utf8"));
-        const sequence = document.get("relationships", true);
-        if (!sequence || typeof sequence !== "object" || !("items" in sequence)) {
-            throw new Error(`Invalid shard file: missing 'relationships' array at ${shardPath}`);
-        }
-        const items = sequence.items;
-        for (let index = items.length - 1; index >= 0; index -= 1) {
-            const item = items[index];
-            if (!item || typeof item !== "object" || !("get" in item))
-                continue;
-            const get = item.get.bind(item);
-            if (wanted.has(`${String(get("type"))}\0${String(get("from"))}\0${String(get("to"))}`)) {
-                document.deleteIn(["relationships", index]);
-            }
-        }
-        atomicWriteText(shardPath, document.toString());
+        atomicWriteText(shardPath, renderShardWithout(fs.readFileSync(shardPath, "utf8"), selectors, shardPath));
         for (const record of matching) {
             const key = `${record.type}\0${record.from}\0${record.to}`;
             const entry = removed.get(key) ?? { paths: [], sources: [] };