kibi-cli 0.12.7 → 0.14.0

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

@@ -143,9 +143,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
@@ -268,7 +290,7 @@ export function collectStagedAuthoredSymbolsManifestEvidence(options) {
         }
         entries.push({
             sourcePath: sourceFile.path,
-            entityIds: getEntityIdsForSourceFile(stagedManifestRecords, sourceFile.path),
+            entityIds: getChangedAuthoredEntityIds(headSymbols, stagedSymbols),
         });
     }
     return { path: paths.symbolsPath, entries };

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

package/dist/traceability/symbol-extract.js

@@ -255,6 +255,47 @@ stagedFile, manifestLookup) {
                 void stagedFile.path;
             }
         }
+        for (const property of typeof cls.getProperties === "function"
+            ? cls.getProperties()
+            : []) {
+            try {
+                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 {
+                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()) {

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,CA6Bf;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;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"}

package/dist/types/entities.d.ts

@@ -39,13 +39,17 @@ 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";
 };
 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,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;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,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,EA0FjC,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,18 @@ 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: "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.7",
+  "version": "0.14.0",
   "type": "module",
   "description": "Kibi CLI for knowledge base management",
   "engines": {
@@ -11,13 +11,7 @@
   "bin": {
     "kibi": "bin/kibi"
   },
-  "files": [
-    "dist",
-    "bin",
-    "schema",
-    "src/schemas",
-    "src/public"
-  ],
+  "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/",
     "prepack": "npm run build"
@@ -75,6 +69,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"
@@ -105,7 +103,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.0",
     "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),
+  };
+}

package/src/public/impact/coverage-depth-quality.ts

@@ -0,0 +1,268 @@
+import type {
+  ExtractedEntity,
+  ExtractionResult,
+} from "../../extractors/markdown.js";
+import type { QualityDiagnostic } from "./types.js";
+
+type ReviewableCoverageDepth =
+  | "unit_only"
+  | "open_or_nonpassing_tests_only"
+  | "scenario_only_no_test"
+  | "no_test_evidence";
+
+type CoverageDepth =
+  | ReviewableCoverageDepth
+  | "direct_passing_integration"
+  | "scenario_passing_integration"
+  | "direct_passing_e2e"
+  | "scenario_passing_e2e";
+
+type RequirementCoverage = {
+  readonly requirement: ExtractedEntity;
+  readonly scenarioCount: number;
+  readonly directTests: readonly ExtractedEntity[];
+  readonly scenarioTests: readonly ExtractedEntity[];
+};
+
+type RelationshipLookup = {
+  readonly result: ExtractionResult;
+  readonly relationshipType: string;
+  readonly type: string;
+  readonly entities: ReadonlyMap<string, ExtractedEntity>;
+};
+
+type IncomingLookup = {
+  readonly manifestResults: readonly ExtractionResult[];
+  readonly targetId: string;
+  readonly relationshipType: string;
+  readonly type: string;
+};
+
+function entitiesById(
+  manifestResults: readonly ExtractionResult[],
+): ReadonlyMap<string, ExtractedEntity> {
+  return new Map(
+    manifestResults.map((result) => [result.entity.id, result.entity]),
+  );
+}
+
+function outgoingTargets(
+  lookup: RelationshipLookup,
+): readonly ExtractedEntity[] {
+  return lookup.result.relationships.flatMap((relationship) => {
+    if (relationship.type !== lookup.relationshipType) return [];
+    const target = lookup.entities.get(relationship.to);
+    return target?.type === lookup.type ? [target] : [];
+  });
+}
+
+function incomingSources(lookup: IncomingLookup): readonly ExtractedEntity[] {
+  return lookup.manifestResults.flatMap((result) => {
+    if (result.entity.type !== lookup.type) return [];
+    return result.relationships.some(
+      (relationship) =>
+        relationship.type === lookup.relationshipType &&
+        relationship.to === lookup.targetId,
+    )
+      ? [result.entity]
+      : [];
+  });
+}
+
+function uniqueEntities(
+  entities: readonly ExtractedEntity[],
+): readonly ExtractedEntity[] {
+  return [
+    ...new Map(entities.map((entity) => [entity.id, entity])).values(),
+  ].toSorted((left, right) => left.id.localeCompare(right.id));
+}
+
+function testScope(test: ExtractedEntity): string {
+  if (test.verification_scope !== undefined) return test.verification_scope;
+  if (test.tags?.some((tag) => tag.toLowerCase() === "e2e") === true) {
+    return "end_to_end";
+  }
+  return test.source.toLowerCase().includes("e2e") ? "end_to_end" : "unknown";
+}
+
+function passingTests(
+  tests: readonly ExtractedEntity[],
+): readonly ExtractedEntity[] {
+  return tests.filter((test) => test.status === "passing");
+}
+
+function classifyCoverageDepth(coverage: RequirementCoverage): CoverageDepth {
+  const allTests = uniqueEntities([
+    ...coverage.directTests,
+    ...coverage.scenarioTests,
+  ]);
+  const directPassingTests = passingTests(coverage.directTests);
+  if (directPassingTests.some((test) => testScope(test) === "end_to_end")) {
+    return "direct_passing_e2e";
+  }
+  if (directPassingTests.some((test) => testScope(test) === "integration")) {
+    return "direct_passing_integration";
+  }
+
+  const scenarioPassingTests = passingTests(coverage.scenarioTests);
+  if (scenarioPassingTests.some((test) => testScope(test) === "end_to_end")) {
+    return "scenario_passing_e2e";
+  }
+  if (scenarioPassingTests.some((test) => testScope(test) === "integration")) {
+    return "scenario_passing_integration";
+  }
+
+  const allPassingTests = passingTests(allTests);
+  if (
+    allPassingTests.length > 0 &&
+    allPassingTests.every((test) => testScope(test) === "unit")
+  ) {
+    return "unit_only";
+  }
+
+  if (allTests.length > 0) return "open_or_nonpassing_tests_only";
+  if (coverage.scenarioCount > 0) return "scenario_only_no_test";
+  return "no_test_evidence";
+}
+
+function isReviewableCoverageDepth(
+  coverageDepth: CoverageDepth,
+): coverageDepth is ReviewableCoverageDepth {
+  return (
+    coverageDepth === "unit_only" ||
+    coverageDepth === "open_or_nonpassing_tests_only" ||
+    coverageDepth === "scenario_only_no_test" ||
+    coverageDepth === "no_test_evidence"
+  );
+}
+
+function uniqueStrings(values: readonly string[]): readonly string[] {
+  return [...new Set(values)].toSorted((left, right) =>
+    left.localeCompare(right),
+  );
+}
+
+function coverageDepthSuggestion(
+  coverageDepth: ReviewableCoverageDepth,
+): string {
+  if (coverageDepth === "unit_only") {
+    return "Keep unit coverage where appropriate; add or link a passing end-to-end or scenario-backed test when this behavior warrants e2e confidence.";
+  }
+  return "Add or link passing tests, preferably end-to-end or scenario-backed when this behavior warrants e2e confidence.";
+}
+
+function createDiagnostic(
+  coverage: RequirementCoverage,
+): QualityDiagnostic | undefined {
+  const coverageDepth = classifyCoverageDepth(coverage);
+  if (!isReviewableCoverageDepth(coverageDepth)) return undefined;
+
+  const allTests = uniqueEntities([
+    ...coverage.directTests,
+    ...coverage.scenarioTests,
+  ]);
+  return {
+    id: "coverage_depth_review",
+    severity: "review",
+    blocking: false,
+    category: "coverage",
+    entityId: coverage.requirement.id,
+    source: coverage.requirement.source,
+    files: [coverage.requirement.source],
+    message: `Requirement ${coverage.requirement.id} (${coverage.requirement.title}) has ${coverageDepth} coverage depth and may need stronger behavior-level evidence.`,
+    suggestion: coverageDepthSuggestion(coverageDepth),
+    evidence: {
+      requirementId: coverage.requirement.id,
+      title: coverage.requirement.title,
+      source: coverage.requirement.source,
+      coverageDepth,
+      directTests: coverage.directTests.map((test) => test.id),
+      scenarioTests: coverage.scenarioTests.map((test) => test.id),
+      testStatuses: uniqueStrings(allTests.map((test) => test.status)),
+      verificationScopes: uniqueStrings(allTests.map(testScope)),
+    },
+  };
+}
+
+function coverageForRequirement(
+  result: ExtractionResult,
+  manifestResults: readonly ExtractionResult[],
+  entities: ReadonlyMap<string, ExtractedEntity>,
+): RequirementCoverage {
+  const resultsById = new Map(
+    manifestResults.map((manifestResult) => [
+      manifestResult.entity.id,
+      manifestResult,
+    ]),
+  );
+  const scenarios = outgoingTargets({
+    result,
+    relationshipType: "specified_by",
+    type: "scenario",
+    entities,
+  });
+  const directTests = uniqueEntities([
+    ...outgoingTargets({
+      result,
+      relationshipType: "verified_by",
+      type: "test",
+      entities,
+    }),
+    ...outgoingTargets({
+      result,
+      relationshipType: "covered_by",
+      type: "test",
+      entities,
+    }),
+    ...incomingSources({
+      manifestResults,
+      targetId: result.entity.id,
+      relationshipType: "validates",
+      type: "test",
+    }),
+  ]);
+  const scenarioTests = uniqueEntities(
+    scenarios.flatMap((scenario) => {
+      const scenarioResult = resultsById.get(scenario.id);
+      return [
+        ...incomingSources({
+          manifestResults,
+          targetId: scenario.id,
+          relationshipType: "validates",
+          type: "test",
+        }),
+        ...(scenarioResult === undefined
+          ? []
+          : outgoingTargets({
+              result: scenarioResult,
+              relationshipType: "verified_by",
+              type: "test",
+              entities,
+            })),
+      ];
+    }),
+  );
+  return {
+    requirement: result.entity,
+    scenarioCount: scenarios.length,
+    directTests,
+    scenarioTests,
+  };
+}
+
+export function createCoverageDepthQualityDiagnostics(
+  manifestResults: readonly ExtractionResult[],
+): readonly QualityDiagnostic[] {
+  const entities = entitiesById(manifestResults);
+  return manifestResults
+    .filter((result) => result.entity.type === "req")
+    .flatMap((result) => {
+      const diagnostic = createDiagnostic(
+        coverageForRequirement(result, manifestResults, entities),
+      );
+      return diagnostic === undefined ? [] : [diagnostic];
+    })
+    .toSorted((left, right) =>
+      (left.entityId ?? "").localeCompare(right.entityId ?? ""),
+    );
+}