kibi-cli 0.12.8 → 0.16.1

package/dist/traceability/staged-symbols-manifest.js

@@ -97,9 +97,17 @@ function normalizeRelationships(relationships) {
     })
         .sort((left, right) => JSON.stringify(left).localeCompare(JSON.stringify(right)));
 }
-function normalizeManifestSymbolsForSourceFile(records, sourceFile) {
+function normalizeManifestSymbolsForSourceFile(records, sourceFile, expectedTitles) {
     return records
         .filter((record) => {
+        const title = typeof record.title === "string" ? record.title : null;
+        const isDocumentedModuleSymbol = typeof record.granularity_reason === "string" &&
+            record.granularity_reason.length > 0;
+        if (title !== null &&
+            isDocumentedModuleSymbol &&
+            !expectedTitles.has(title)) {
+            return false;
+        }
         const recordSource = typeof record.sourceFile === "string"
             ? record.sourceFile
             : typeof record.source === "string"
@@ -143,9 +151,31 @@ function normalizeAuthoredManifestSymbolsForSourceFile(records, sourceFile) {
         priority: typeof record.priority === "string" ? record.priority : null,
         severity: typeof record.severity === "string" ? record.severity : null,
         textRef: typeof record.text_ref === "string" ? record.text_ref : null,
+        granularityReason: typeof record.granularity_reason === "string"
+            ? record.granularity_reason
+            : null,
     }))
         .sort((left, right) => JSON.stringify(left).localeCompare(JSON.stringify(right)));
 }
+function getAuthoredSymbolComparisonKey(symbol) {
+    return symbol.id ?? `${symbol.sourceFile}:${symbol.title}`;
+}
+function getChangedAuthoredEntityIds(headSymbols, stagedSymbols) {
+    const headSignatures = new Map(headSymbols.map((symbol) => [
+        getAuthoredSymbolComparisonKey(symbol),
+        JSON.stringify(symbol),
+    ]));
+    const changedIds = stagedSymbols.flatMap((symbol) => {
+        if (symbol.id === null)
+            return [];
+        const stagedSignature = JSON.stringify(symbol);
+        return headSignatures.get(getAuthoredSymbolComparisonKey(symbol)) ===
+            stagedSignature
+            ? []
+            : [symbol.id];
+    });
+    return uniqueSorted(changedIds);
+}
 function normalizeExpectedSymbolsForStagedFile(stagedFile) {
     const analysis = analyzeSourceText(stagedFile.path, stagedFile.content ?? "");
     return analysis.symbols
@@ -205,7 +235,8 @@ export function assessStagedSymbolsManifest(options) {
     const freshPaths = new Set();
     for (const sourceFile of sourceFiles) {
         const expectedSymbols = normalizeExpectedSymbolsForStagedFile(sourceFile);
-        const baselineSymbols = normalizeManifestSymbolsForSourceFile(baselineMergedRecords, sourceFile.path);
+        const expectedTitles = new Set(expectedSymbols.map((symbol) => symbol.title));
+        const baselineSymbols = normalizeManifestSymbolsForSourceFile(baselineMergedRecords, sourceFile.path, expectedTitles);
         if (signaturesEqual(expectedSymbols, baselineSymbols)) {
             continue;
         }
@@ -213,7 +244,7 @@ export function assessStagedSymbolsManifest(options) {
         if (!stagedCoordinatesFile || stagedCoordinateArtifact === null) {
             continue;
         }
-        const stagedSymbols = normalizeManifestSymbolsForSourceFile(stagedMergedRecords, sourceFile.path);
+        const stagedSymbols = normalizeManifestSymbolsForSourceFile(stagedMergedRecords, sourceFile.path, expectedTitles);
         if (signaturesEqual(expectedSymbols, stagedSymbols)) {
             freshPaths.add(sourceFile.path);
         }
@@ -234,42 +265,44 @@ export function assessStagedSymbolsManifest(options) {
     }
     return { state: "stale", sourcePaths, path: paths.coordinatesPath };
 }
-function getEntityIdsForSourceFile(records, sourceFile) {
-    return records
-        .filter((record) => {
-        const recordSource = typeof record.sourceFile === "string"
-            ? record.sourceFile
-            : typeof record.source === "string"
-                ? record.source
-                : null;
-        return recordSource === sourceFile && typeof record.id === "string";
-    })
-        .map((record) => record.id)
-        .sort();
-}
 export function collectStagedAuthoredSymbolsManifestEvidence(options) {
     const { sourceFiles, stagedFiles } = options;
     const paths = resolveRelativeManifestPaths();
     const stagedManifestFile = stagedFiles.find((file) => file.path === paths.symbolsPath);
     if (!stagedManifestFile) {
-        return { path: paths.symbolsPath, entries: [] };
+        return { path: paths.symbolsPath, entries: [], changedEntityIds: [] };
     }
     const headManifestRecords = parseManifestRecords(readHeadFileContent(paths.symbolsPath), paths.symbolsPath) ?? [];
     const stagedManifestRecords = parseManifestRecords(stagedManifestFile.content, paths.symbolsPath);
     if (stagedManifestRecords === null) {
-        return { path: paths.symbolsPath, entries: [] };
+        return { path: paths.symbolsPath, entries: [], changedEntityIds: [] };
     }
+    const sourcePaths = uniqueSorted([...headManifestRecords, ...stagedManifestRecords].flatMap((record) => {
+        const sourceFile = typeof record.sourceFile === "string"
+            ? record.sourceFile
+            : typeof record.source === "string"
+                ? record.source
+                : null;
+        return sourceFile === null ? [] : [sourceFile];
+    }));
+    const changedEntityIdsBySourcePath = new Map(sourcePaths.map((sourcePath) => {
+        const headSymbols = normalizeAuthoredManifestSymbolsForSourceFile(headManifestRecords, sourcePath);
+        const stagedSymbols = normalizeAuthoredManifestSymbolsForSourceFile(stagedManifestRecords, sourcePath);
+        return [
+            sourcePath,
+            getChangedAuthoredEntityIds(headSymbols, stagedSymbols),
+        ];
+    }));
     const entries = [];
     for (const sourceFile of sourceFiles) {
-        const headSymbols = normalizeAuthoredManifestSymbolsForSourceFile(headManifestRecords, sourceFile.path);
-        const stagedSymbols = normalizeAuthoredManifestSymbolsForSourceFile(stagedManifestRecords, sourceFile.path);
-        if (signaturesEqual(headSymbols, stagedSymbols)) {
+        const entityIds = changedEntityIdsBySourcePath.get(sourceFile.path) ?? [];
+        if (entityIds.length === 0)
             continue;
-        }
-        entries.push({
-            sourcePath: sourceFile.path,
-            entityIds: getEntityIdsForSourceFile(stagedManifestRecords, sourceFile.path),
-        });
+        entries.push({ sourcePath: sourceFile.path, entityIds });
     }
-    return { path: paths.symbolsPath, entries };
+    return {
+        path: paths.symbolsPath,
+        entries,
+        changedEntityIds: uniqueSorted(Array.from(changedEntityIdsBySourcePath.values()).flat()),
+    };
 }

package/dist/traceability/symbol-extract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbol-extract.d.ts","sourceRoot":"","sources":["../../src/traceability/symbol-extract.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,KAAK,UAAU,EACf,KAAK,UAAU,EAEhB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7D,KAAK,wBAAwB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAU7D,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE;QACR,IAAI,EAAE,MAAM,CAAC;QACb,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,aAAa,CAAC,EAAE,wBAAwB,EAAE,CAAC;CAC5C;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,aAAa,CAAC,EAAE,wBAAwB,EAAE,CAAC;CAC5C;AAED,MAAM,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;AAE9D,wBAAgB,+BAA+B,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAG5E;AAmOD,wBAAgB,4BAA4B,CAE1C,UAAU,EAAE,UAAU,EACtB,cAAc,CAAC,EAAE,cAAc,GAC9B,eAAe,EAAE,CAyOnB"}
+{"version":3,"file":"symbol-extract.d.ts","sourceRoot":"","sources":["../../src/traceability/symbol-extract.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,KAAK,UAAU,EACf,KAAK,UAAU,EAEhB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7D,KAAK,wBAAwB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAU7D,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE;QACR,IAAI,EAAE,MAAM,CAAC;QACb,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,aAAa,CAAC,EAAE,wBAAwB,EAAE,CAAC;CAC5C;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,aAAa,CAAC,EAAE,wBAAwB,EAAE,CAAC;CAC5C;AAED,MAAM,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;AAE9D,wBAAgB,+BAA+B,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAG5E;AAmOD,wBAAgB,4BAA4B,CAE1C,UAAU,EAAE,UAAU,EACtB,cAAc,CAAC,EAAE,cAAc,GAC9B,eAAe,EAAE,CA2SnB"}

package/dist/traceability/symbol-extract.js

@@ -1,5 +1,5 @@
 import { createHash } from "node:crypto";
-import { Project, ScriptKind } from "ts-morph";
+import { Project, Scope, ScriptKind } from "ts-morph";
 import { readManifestWithCoordinateOverlay } from "../extractors/manifest.js";
 import { inferSymbolRole, } from "../public/symbol-granularity.js";
 const TRACEABILITY_RELATIONSHIP_TYPES = new Set([
@@ -241,6 +241,8 @@ stagedFile, manifestLookup) {
             ? cls.getMethods()
             : []) {
             try {
+                if (isPrivateClassMember(method))
+                    continue;
                 const name = formatMethodSymbolName(cls.getName(), method.getName());
                 const start = method.getNameNode()?.getStart() ?? method.getStart();
                 const end = method.getEnd();
@@ -255,6 +257,51 @@ stagedFile, manifestLookup) {
                 void stagedFile.path;
             }
         }
+        for (const property of typeof cls.getProperties === "function"
+            ? cls.getProperties()
+            : []) {
+            try {
+                if (isPrivateClassMember(property))
+                    continue;
+                const name = formatMethodSymbolName(cls.getName(), property.getName());
+                const start = property.getNameNode()?.getStart() ?? property.getStart();
+                const end = property.getEnd();
+                const span = getSpan(start, end);
+                const reqLinks = parseReqDirectives(`${property.getFullText()}\n${property
+                    .getJsDocs()
+                    .map((d) => d.getFullText())
+                    .join("\n")}`);
+                results.push(buildSymbolResult(stagedFile, name, "property", span, reqLinks, manifestLookup));
+            }
+            catch {
+                void stagedFile.path;
+            }
+        }
+        for (const accessor of [
+            ...(typeof cls.getGetAccessors === "function"
+                ? cls.getGetAccessors()
+                : []),
+            ...(typeof cls.getSetAccessors === "function"
+                ? cls.getSetAccessors()
+                : []),
+        ]) {
+            try {
+                if (isPrivateClassMember(accessor))
+                    continue;
+                const name = formatMethodSymbolName(cls.getName(), accessor.getName());
+                const start = accessor.getNameNode()?.getStart() ?? accessor.getStart();
+                const end = accessor.getEnd();
+                const span = getSpan(start, end);
+                const reqLinks = parseReqDirectives(`${accessor.getFullText()}\n${accessor
+                    .getJsDocs()
+                    .map((d) => d.getFullText())
+                    .join("\n")}`);
+                results.push(buildSymbolResult(stagedFile, name, "accessor", span, reqLinks, manifestLookup));
+            }
+            catch {
+                void stagedFile.path;
+            }
+        }
     }
     // Enums
     for (const en of sf.getEnums()) {
@@ -332,6 +379,16 @@ stagedFile, manifestLookup) {
     }
     return results;
 }
+function isPrivateClassMember(member) {
+    const name = typeof member.getName === "function" ? member.getName() : "";
+    if (name.startsWith("#")) {
+        return true;
+    }
+    if (typeof member.getScope === "function") {
+        return member.getScope() === Scope.Private;
+    }
+    return false;
+}
 function formatMethodSymbolName(className, methodName) {
     return className ? `${className}.${methodName}` : methodName;
 }

package/dist/traceability/temp-kb.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"temp-kb.d.ts","sourceRoot":"","sources":["../../src/traceability/temp-kb.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAGV,gBAAgB,EACjB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,aAAa,CAAC;CACvB;AAMD;;;GAGG;AACH,wBAAgB,gBAAgB,IAAI,IAAI,CASvC;AAOD;;;GAGG;AACH,wBAAgB,iBAAiB,CAE/B,OAAO,EAAE,CAAC,IAAI,EAAE;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,KAAK,aAAa,GACpD,IAAI,CAEN;AA4ID,iBAAe,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAgB/D;AAED,OAAO,EAAE,cAAc,EAAE,CAAC;AAG1B,wBAAsB,qBAAqB,CACzC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,GAC1B,OAAO,CAAC,IAAI,CAAC,CA2Bf;AAED,wBAAsB,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,CA6C7E;AAGD,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,eAAe,EAAE,GAAG,MAAM,CAkBrE;AAED,wBAAsB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CA2BlE"}
+{"version":3,"file":"temp-kb.d.ts","sourceRoot":"","sources":["../../src/traceability/temp-kb.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAGV,gBAAgB,EACjB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,aAAa,CAAC;CACvB;AAMD;;;GAGG;AACH,wBAAgB,gBAAgB,IAAI,IAAI,CASvC;AAOD;;;GAGG;AACH,wBAAgB,iBAAiB,CAE/B,OAAO,EAAE,CAAC,IAAI,EAAE;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,KAAK,aAAa,GACpD,IAAI,CAEN;AAuLD,iBAAe,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAgB/D;AAED,OAAO,EAAE,cAAc,EAAE,CAAC;AAG1B,wBAAsB,qBAAqB,CACzC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,GAC1B,OAAO,CAAC,IAAI,CAAC,CA2Bf;AAED,wBAAsB,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,CA6C7E;AAGD,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,eAAe,EAAE,GAAG,MAAM,CAkBrE;AAED,wBAAsB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CA2BlE"}

package/dist/traceability/temp-kb.js

@@ -50,9 +50,25 @@ const FACT_STRING_FIELDS = new Set([
     "valid_from",
     "valid_to",
     "canonical_key",
+    "claim_key",
+    "claim_text",
+    "predicate_name",
+    "predicate_namespace",
+]);
+const FACT_NUMBER_FIELDS = new Set([
+    "value_int",
+    "value_number",
+    "predicate_arity",
 ]);
-const FACT_NUMBER_FIELDS = new Set(["value_int", "value_number"]);
 const FACT_BOOLEAN_FIELDS = new Set(["value_bool", "closed_world"]);
+const FACT_STRING_ARRAY_FIELDS = new Set([
+    "argument_names",
+    "argument_types",
+    "argument_descriptions",
+    "aliases",
+    "examples",
+    "predicate_args",
+]);
 function isTraceEnabled() {
     return isCliTraceOrDebugEnabled();
 }
@@ -99,6 +115,12 @@ function serializeTypedFactFields(entity) {
             fields.push(`${field}=${value}`);
         }
     }
+    for (const field of FACT_STRING_ARRAY_FIELDS) {
+        const value = getEntityField(entity, field);
+        if (Array.isArray(value)) {
+            fields.push(`${field}=[${value.map((item) => toPrologString(String(item))).join(",")}]`);
+        }
+    }
     return fields;
 }
 function buildEntityAssertionGoal(entity) {
@@ -121,9 +143,20 @@ function buildEntityAssertionGoal(entity) {
         props.push(`severity=${toPrologAtom(entity.severity)}`);
     if (entity.text_ref)
         props.push(`text_ref=${toPrologString(entity.text_ref)}`);
+    if (entity.type === "req" && entity.logic_claims) {
+        props.push(`logic_claims=[${entity.logic_claims.map(toPrologAtom).join(",")}]`);
+    }
     if (entity.type === "fact") {
         props.push(...serializeTypedFactFields(entity));
     }
+    if (entity.type === "test") {
+        if (entity.verification_scope !== undefined) {
+            props.push(`verification_scope=${toPrologAtom(entity.verification_scope)}`);
+        }
+        if (entity.verification_perspective !== undefined) {
+            props.push(`verification_perspective=${toPrologAtom(entity.verification_perspective)}`);
+        }
+    }
     return `kb_assert_entity_no_audit(${entity.type}, [${props.join(", ")}])`;
 }
 function buildRelationshipAssertionGoal(relationship) {

package/dist/types/entities.d.ts

@@ -29,6 +29,8 @@ export interface FactFields {
     valid_from?: string;
     valid_to?: string;
     canonical_key?: string;
+    claim_key?: string;
+    claim_text?: string;
     predicate_name?: string;
     predicate_namespace?: string;
     predicate_arity?: number;
@@ -39,13 +41,18 @@ export interface FactFields {
     examples?: string[];
     predicate_args?: string[];
 }
+export interface TestVerificationFields {
+    verification_scope?: "unit" | "integration" | "end_to_end";
+    verification_perspective?: "internal" | "consumer";
+}
 export type Requirement = BaseEntity & {
     type: "req";
+    logic_claims?: string[];
 };
 export type Scenario = BaseEntity & {
     type: "scenario";
 };
-export type TestEntity = BaseEntity & {
+export type TestEntity = BaseEntity & TestVerificationFields & {
     type: "test";
 };
 export type ADR = BaseEntity & {

package/dist/types/entities.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"entities.d.ts","sourceRoot":"","sources":["../../src/types/entities.ts"],"names":[],"mappings":"AAkBA,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAGD,MAAM,WAAW,UAAU;IACzB,SAAS,CAAC,EACN,SAAS,GACT,gBAAgB,GAChB,aAAa,GACb,MAAM,GACN,kBAAkB,GAClB,WAAW,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IACtD,UAAU,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAClD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,CAAC;IACpD,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC;AACvD,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AACzD,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AACvD,MAAM,MAAM,GAAG,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC;AAC/C,MAAM,MAAM,IAAI,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AACjD,MAAM,MAAM,KAAK,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AACnD,MAAM,MAAM,MAAM,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AACrD,MAAM,MAAM,IAAI,GAAG,UAAU,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9D,MAAM,MAAM,MAAM,GACd,WAAW,GACX,QAAQ,GACR,UAAU,GACV,GAAG,GACH,IAAI,GACJ,KAAK,GACL,MAAM,GACN,IAAI,CAAC"}
+{"version":3,"file":"entities.d.ts","sourceRoot":"","sources":["../../src/types/entities.ts"],"names":[],"mappings":"AAkBA,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAGD,MAAM,WAAW,UAAU;IACzB,SAAS,CAAC,EACN,SAAS,GACT,gBAAgB,GAChB,aAAa,GACb,MAAM,GACN,kBAAkB,GAClB,WAAW,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IACtD,UAAU,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAClD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,CAAC;IACpD,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,sBAAsB;IACrC,kBAAkB,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,YAAY,CAAC;IAC3D,wBAAwB,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;CACpD;AAED,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG;IACrC,IAAI,EAAE,KAAK,CAAC;IACZ,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;CACzB,CAAC;AACF,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AACzD,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,sBAAsB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAChF,MAAM,MAAM,GAAG,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC;AAC/C,MAAM,MAAM,IAAI,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AACjD,MAAM,MAAM,KAAK,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AACnD,MAAM,MAAM,MAAM,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AACrD,MAAM,MAAM,IAAI,GAAG,UAAU,GAAG,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9D,MAAM,MAAM,MAAM,GACd,WAAW,GACX,QAAQ,GACR,UAAU,GACV,GAAG,GACH,IAAI,GACJ,KAAK,GACL,MAAM,GACN,IAAI,CAAC"}

package/dist/utils/prolog-query-plan-safety.d.ts

@@ -0,0 +1,8 @@
+export interface PrologQueryPlanSafetyViolation {
+    readonly predicate: string;
+    readonly line: number;
+    readonly description: string;
+    readonly suggestion: string;
+}
+export declare function analyzePrologQueryPlanSafety(source: string): PrologQueryPlanSafetyViolation[];
+//# sourceMappingURL=prolog-query-plan-safety.d.ts.map

package/dist/utils/prolog-query-plan-safety.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prolog-query-plan-safety.d.ts","sourceRoot":"","sources":["../../src/utils/prolog-query-plan-safety.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAMD,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,MAAM,GACb,8BAA8B,EAAE,CAyBlC"}

package/dist/utils/prolog-query-plan-safety.js

@@ -0,0 +1,47 @@
+const GENERATOR_PATTERN = /\b(?:kb_entity|kb_relationship|member|memberchk|findall|setof|bagof)\s*\(/;
+const NEGATION_PATTERN = /\\\+\s*/;
+export function analyzePrologQueryPlanSafety(source) {
+    const lines = source.split(/\r?\n/);
+    const violations = [];
+    let clauseStart = 0;
+    let predicate = "unknown";
+    let clauseLines = [];
+    for (let index = 0; index < lines.length; index += 1) {
+        const line = lines[index] ?? "";
+        if (clauseLines.length === 0 && line.trim().length === 0) {
+            continue;
+        }
+        if (clauseLines.length === 0) {
+            clauseStart = index + 1;
+            predicate = predicateNameFrom(line) ?? "unknown";
+        }
+        clauseLines.push(line);
+        if (line.trim().endsWith(".")) {
+            const violation = analyzeClause(predicate, clauseStart, clauseLines);
+            if (violation)
+                violations.push(violation);
+            clauseLines = [];
+        }
+    }
+    return violations;
+}
+function predicateNameFrom(line) {
+    const match = line.match(/^\s*([a-z][a-zA-Z0-9_]*)\s*\(/);
+    return match?.[1] ?? null;
+}
+function analyzeClause(predicate, startLine, lines) {
+    const negationIndex = lines.findIndex((line) => NEGATION_PATTERN.test(line));
+    if (negationIndex < 0)
+        return null;
+    const hasLaterGenerator = lines
+        .slice(negationIndex + 1)
+        .some((line) => GENERATOR_PATTERN.test(line));
+    if (!hasLaterGenerator)
+        return null;
+    return {
+        predicate,
+        line: startLine + negationIndex,
+        description: "Negation appears before later generator calls in the same clause.",
+        suggestion: "Move kb_entity/kb_relationship/member/findall generators before \\+/1 so variables are bound before negation.",
+    };
+}

package/dist/utils/rule-registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"rule-registry.d.ts","sourceRoot":"","sources":["../../src/utils/rule-registry.ts"],"names":[],"mappings":"AAkBA;;;GAGG;AAEH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,OAAO,CAAC;IACxB,QAAQ,EAAE,UAAU,GAAG,WAAW,GAAG,WAAW,GAAG,cAAc,CAAC;CACnE;AAED,MAAM,WAAW,yBAAyB;IACxC,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,mCAAmC;AACnC,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,kBAAkB,EAAE,yBAAyB,CAAC;CAC/C;AAED;;;GAGG;AACH,eAAO,MAAM,KAAK,EAAE,SAAS,cAAc,EA4EjC,CAAC;AAEX;;GAEG;AACH,eAAO,MAAM,UAAU,aAAoC,CAAC;AAE5D;;GAEG;AACH,eAAO,MAAM,qBAAqB,EAAE,YAKnC,CAAC;AAEF;;;;;GAKG;AAEH,wBAAgB,iBAAiB,CAC/B,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACrC,QAAQ,CAAC,EAAE,MAAM,GAChB,GAAG,CAAC,MAAM,CAAC,CAsBb;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAK5D;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,OAAO,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAC9B,YAAY,CAWd"}
+{"version":3,"file":"rule-registry.d.ts","sourceRoot":"","sources":["../../src/utils/rule-registry.ts"],"names":[],"mappings":"AAkBA;;;GAGG;AAEH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,OAAO,CAAC;IACxB,QAAQ,EAAE,UAAU,GAAG,WAAW,GAAG,WAAW,GAAG,cAAc,CAAC;CACnE;AAED,MAAM,WAAW,yBAAyB;IACxC,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,mCAAmC;AACnC,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,kBAAkB,EAAE,yBAAyB,CAAC;CAC/C;AAED;;;GAGG;AACH,eAAO,MAAM,KAAK,EAAE,SAAS,cAAc,EAiGjC,CAAC;AAEX;;GAEG;AACH,eAAO,MAAM,UAAU,aAAoC,CAAC;AAE5D;;GAEG;AACH,eAAO,MAAM,qBAAqB,EAAE,YAKnC,CAAC;AAEF;;;;;GAKG;AAEH,wBAAgB,iBAAiB,CAC/B,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACrC,QAAQ,CAAC,EAAE,MAAM,GAChB,GAAG,CAAC,MAAM,CAAC,CAsBb;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAK5D;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,OAAO,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAC9B,YAAY,CAWd"}

package/dist/utils/rule-registry.js

@@ -87,6 +87,24 @@ export const RULES = [
         defaultEnabled: false,
         category: "integrity",
     },
+    {
+        name: "predicate-verifiability",
+        description: "Detect requires_predicate links that do not target ground fact_kind: predicate facts",
+        defaultEnabled: false,
+        category: "integrity",
+    },
+    {
+        name: "logic-coverage",
+        description: "Require every explicitly declared atomic requirement claim to be grounded by a linked strict-property or predicate fact",
+        defaultEnabled: true,
+        category: "integrity",
+    },
+    {
+        name: "query-plan-safety",
+        description: "Detect Prolog validation clauses that place negation before generator calls",
+        defaultEnabled: true,
+        category: "integrity",
+    },
 ];
 /**
  * Set of all rule names for quick lookups.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "kibi-cli",
-  "version": "0.12.8",
+  "version": "0.16.1",
   "type": "module",
   "description": "Kibi CLI for knowledge base management",
   "engines": {
@@ -14,6 +14,7 @@
   "files": ["dist", "bin", "schema", "src/schemas", "src/public"],
   "scripts": {
     "build": "tsc -p tsconfig.json && mkdir -p dist/public/skills && cp -r src/public/skills/. dist/public/skills/",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
     "prepack": "npm run build"
   },
   "exports": {
@@ -29,6 +30,22 @@
       "types": "./dist/prolog/codec.d.ts",
       "default": "./dist/prolog/codec.js"
     },
+    "./operations/runtime-types": {
+      "types": "./dist/public/operations/runtime-types.d.ts",
+      "default": "./dist/public/operations/runtime-types.js"
+    },
+    "./operations/semantic-advisor/analyze-prose": {
+      "types": "./dist/operations/semantic-advisor/analyze-prose.d.ts",
+      "default": "./dist/operations/semantic-advisor/analyze-prose.js"
+    },
+    "./operations/semantic-advisor/prose-coverage-evaluator": {
+      "types": "./dist/operations/semantic-advisor/prose-coverage-evaluator.d.ts",
+      "default": "./dist/operations/semantic-advisor/prose-coverage-evaluator.js"
+    },
+    "./operations/semantic-advisor/types": {
+      "types": "./dist/operations/semantic-advisor/types.d.ts",
+      "default": "./dist/operations/semantic-advisor/types.js"
+    },
     "./extractors/symbols-coordinator": {
       "types": "./dist/public/extractors/symbols-coordinator.d.ts",
       "default": "./dist/public/extractors/symbols-coordinator.js"
@@ -69,6 +86,10 @@
       "types": "./dist/public/check-types.d.ts",
       "default": "./dist/public/check-types.js"
     },
+    "./public/impact-diagnostics": {
+      "types": "./dist/public/impact-diagnostics.d.ts",
+      "default": "./dist/public/impact-diagnostics.js"
+    },
     "./public/symbol-granularity": {
       "types": "./dist/public/symbol-granularity.d.ts",
       "default": "./dist/public/symbol-granularity.js"
@@ -85,6 +106,43 @@
       "types": "./dist/public/skills.d.ts",
       "default": "./dist/public/skills.js"
     },
+    "./operations": "./dist/public/operations/index.js",
+    "./operations/mutation/relationships": {
+      "types": "./dist/operations/mutation/relationships.d.ts",
+      "default": "./dist/operations/mutation/relationships.js"
+    },
+    "./operations/mutation/symbol-refresh": {
+      "types": "./dist/operations/mutation/symbol-refresh.d.ts",
+      "default": "./dist/operations/mutation/symbol-refresh.js"
+    },
+    "./operations/mutation/types": {
+      "types": "./dist/operations/mutation/types.d.ts",
+      "default": "./dist/operations/mutation/types.js"
+    },
+    "./operations/mutation/delete": {
+      "types": "./dist/operations/mutation/delete.d.ts",
+      "default": "./dist/operations/mutation/delete.js"
+    },
+    "./operations/mutation/upsert": {
+      "types": "./dist/operations/mutation/upsert.d.ts",
+      "default": "./dist/operations/mutation/upsert.js"
+    },
+    "./operations/mutation/validate-upsert": {
+      "types": "./dist/operations/mutation/validate-upsert.d.ts",
+      "default": "./dist/operations/mutation/validate-upsert.js"
+    },
+    "./operations/mutation/validation": {
+      "types": "./dist/operations/mutation/validation.d.ts",
+      "default": "./dist/operations/mutation/validation.js"
+    },
+    "./operations/modeling/model-requirement": {
+      "types": "./dist/operations/modeling/model-requirement.d.ts",
+      "default": "./dist/operations/modeling/model-requirement.js"
+    },
+    "./operations/modeling/suggest-predicates": {
+      "types": "./dist/operations/modeling/suggest-predicates.d.ts",
+      "default": "./dist/operations/modeling/suggest-predicates.js"
+    },
     "./ignore-policy": {
       "types": "./dist/public/ignore-policy.d.ts",
       "import": "./dist/public/ignore-policy.js",
@@ -99,7 +157,7 @@
     "fast-glob": "^3.2.12",
     "gray-matter": "^4.0.3",
     "js-yaml": "^4.1.0",
-    "kibi-core": "^0.6.2",
+    "kibi-core": "^0.7.1",
     "ts-morph": "^23.0.0",
     "ignore": "^5.3.0"
   },

package/schema/entities.pl

@@ -48,6 +48,10 @@ entity_property(fact, valid_from, datetime).
 entity_property(fact, valid_to, datetime).
 entity_property(fact, canonical_key, string).
 
+% Typed symbol metadata fields - only valid for symbol entities
+entity_property(symbol, symbol_role, atom).
+entity_property(symbol, granularity_reason, atom).
+
 % Required properties for all entity types
 required_property(Type, id) :- entity_type(Type).
 required_property(Type, title) :- entity_type(Type).

package/src/public/impact/analyzer.ts

@@ -0,0 +1,90 @@
+import * as path from "node:path";
+import type { ExtractedSymbol } from "../../traceability/symbol-extract.js";
+import { extractSymbolsFromStagedFile } from "../../traceability/symbol-extract.js";
+import {
+  createSemanticReviewDiagnostics,
+  createSymbolGranularityDiagnostics,
+} from "./diagnostics.js";
+import {
+  createImpactManifestLookup,
+  readImpactManifestResults,
+} from "./manifest.js";
+import { collectSourceChanges, uniqueSorted } from "./source-changes.js";
+import {
+  buildNextActions,
+  collectLinkedEntities,
+  formatExtractedSymbols,
+} from "./summaries.js";
+import { createSymbolQualityDiagnostics } from "./symbol-quality.js";
+import type {
+  ChangedFileImpactOptions,
+  ChangedFileImpactResult,
+} from "./types.js";
+
+export function analyzeChangedFileImpact(
+  options: ChangedFileImpactOptions,
+): ChangedFileImpactResult {
+  const workspaceRoot = path.resolve(options.workspaceRoot);
+  const sourceChanges = collectSourceChanges({ ...options, workspaceRoot });
+  const sourceFiles = uniqueSorted(sourceChanges.map((change) => change.file));
+  const manifestResults = readImpactManifestResults(workspaceRoot);
+  const manifestLookup = createImpactManifestLookup(manifestResults);
+  const symbolsByFile = new Map<string, ExtractedSymbol[]>();
+  const sourceContentByFile = new Map<string, string>();
+
+  for (const change of sourceChanges) {
+    sourceContentByFile.set(change.file, change.content);
+    symbolsByFile.set(
+      change.file,
+      extractSymbolsFromStagedFile(
+        {
+          path: change.file,
+          status: change.status,
+          hunkRanges: [...change.hunkRanges],
+          content: change.content,
+        },
+        manifestLookup,
+      ).filter((symbol) => symbol.hunkRanges.length > 0),
+    );
+  }
+
+  const activeSourceFiles = new Set(sourceFiles);
+  const activeManifestResults = manifestResults.filter(
+    (result) =>
+      result.sourceFile !== undefined &&
+      activeSourceFiles.has(result.sourceFile),
+  );
+  const impactDiagnostics =
+    options.includeImpactDiagnostics === false
+      ? []
+      : [
+          ...createSymbolGranularityDiagnostics({
+            manifestResults: activeManifestResults,
+            symbolsByFile,
+            sourceContentByFile,
+            workspaceRoot,
+          }),
+          ...createSymbolQualityDiagnostics({
+            manifestResults: activeManifestResults,
+            symbolsByFile,
+          }),
+          ...createSemanticReviewDiagnostics({ symbolsByFile }),
+        ];
+  const maxDiagnostics = options.maxDiagnostics;
+  const cappedDiagnostics =
+    maxDiagnostics !== undefined && maxDiagnostics >= 0
+      ? impactDiagnostics.slice(0, maxDiagnostics)
+      : impactDiagnostics;
+
+  return {
+    impactDiagnostics: cappedDiagnostics,
+    sourceFiles,
+    extractedSymbols: formatExtractedSymbols(symbolsByFile),
+    linkedEntities: collectLinkedEntities(
+      symbolsByFile,
+      manifestResults,
+      activeSourceFiles,
+    ),
+    nextActions: buildNextActions(sourceFiles),
+  };
+}