kibi-cli 0.14.0 → 0.16.1

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;
@@ -45,6 +47,7 @@ export interface TestVerificationFields {
 }
 export type Requirement = BaseEntity & {
     type: "req";
+    logic_claims?: string[];
 };
 export type Scenario = BaseEntity & {
     type: "scenario";

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,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"}
+{"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/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,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"}
+{"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

@@ -93,6 +93,12 @@ export const RULES = [
         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",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "kibi-cli",
-  "version": "0.14.0",
+  "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"
@@ -89,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",
@@ -103,7 +157,7 @@
     "fast-glob": "^3.2.12",
     "gray-matter": "^4.0.3",
     "js-yaml": "^4.1.0",
-    "kibi-core": "^0.7.0",
+    "kibi-core": "^0.7.1",
     "ts-morph": "^23.0.0",
     "ignore": "^5.3.0"
   },

package/src/public/impact/diagnostics.ts

@@ -69,15 +69,22 @@ function readSourceSymbols(
 function getGranularSymbolsForSourceFile(
   sourceFile: string,
   options: SymbolGranularityDiagnosticsOptions,
-): readonly ExtractedSymbol[] {
-  return (
-    options.symbolsByFile.get(sourceFile) ??
-    readSourceSymbols(
-      sourceFile,
-      options.sourceContentByFile,
-      options.workspaceRoot ?? process.cwd(),
-    )
+): {
+  readonly candidateSymbols: readonly ExtractedSymbol[];
+  readonly sourceSymbols: readonly ExtractedSymbol[];
+} {
+  const sourceSymbols = readSourceSymbols(
+    sourceFile,
+    options.sourceContentByFile,
+    options.workspaceRoot ?? process.cwd(),
   );
+  const changedSymbols = options.symbolsByFile.get(sourceFile);
+
+  return {
+    candidateSymbols: changedSymbols ?? sourceSymbols,
+    sourceSymbols:
+      sourceSymbols.length > 0 ? sourceSymbols : (changedSymbols ?? []),
+  };
 }
 
 function formatRelationshipTargets(symbol: ExtractedSymbol): string {
@@ -116,12 +123,12 @@ export function createSymbolGranularityDiagnostics(
     if (!hasTraceabilityRelationship(result)) continue;
     if (hasValidGranularityReason(result)) continue;
 
-    const granularSymbols = getGranularSymbolsForSourceFile(
+    const { candidateSymbols, sourceSymbols } = getGranularSymbolsForSourceFile(
       result.sourceFile,
       options,
     );
-    const narrowerSymbols = granularSymbols.filter((symbol) =>
-      isNarrowerSymbol(result.entity.title, symbol, granularSymbols),
+    const narrowerSymbols = candidateSymbols.filter((symbol) =>
+      isNarrowerSymbol(result.entity.title, symbol, sourceSymbols),
     );
     if (narrowerSymbols.length === 0) continue;
 

package/src/public/impact/full-kb-quality.ts

@@ -33,7 +33,7 @@ const RELATIONSHIP_TYPES = [
 ] as const;
 
 type FullKbQualityDiagnosticsOptions = {
-  readonly prolog: PrologProcess;
+  readonly prolog: Pick<PrologProcess, "query">;
   readonly hardViolationEntityIds?: ReadonlySet<string>;
   readonly maxDiagnostics?: number;
 };
@@ -88,6 +88,8 @@ function toExtractedEntity(entity: Record<string, unknown>): ExtractedEntity {
   if (severity !== undefined) extracted.severity = severity;
   const textRef = optionalStringField(entity, "text_ref");
   if (textRef !== undefined) extracted.text_ref = textRef;
+  const logicClaims = optionalStringArrayField(entity, "logic_claims");
+  if (logicClaims !== undefined) extracted.logic_claims = logicClaims;
   const granularityReason = optionalStringField(entity, "granularity_reason");
   if (granularityReason !== undefined) {
     extracted.granularity_reason = granularityReason;
@@ -118,10 +120,35 @@ function toExtractedEntity(entity: Record<string, unknown>): ExtractedEntity {
     factKind === "subject" ||
     factKind === "property_value" ||
     factKind === "observation" ||
-    factKind === "meta"
+    factKind === "meta" ||
+    factKind === "predicate_schema" ||
+    factKind === "predicate"
   ) {
     extracted.fact_kind = factKind;
   }
+  const claimKey = optionalStringField(entity, "claim_key");
+  if (claimKey !== undefined) extracted.claim_key = claimKey;
+  const claimText = optionalStringField(entity, "claim_text");
+  if (claimText !== undefined) extracted.claim_text = claimText;
+  const predicateName = optionalStringField(entity, "predicate_name");
+  if (predicateName !== undefined) extracted.predicate_name = predicateName;
+  const predicateNamespace = optionalStringField(entity, "predicate_namespace");
+  if (predicateNamespace !== undefined) {
+    extracted.predicate_namespace = predicateNamespace;
+  }
+  const predicateArity = optionalNumberField(entity, "predicate_arity");
+  if (predicateArity !== undefined) extracted.predicate_arity = predicateArity;
+  for (const field of [
+    "argument_names",
+    "argument_types",
+    "argument_descriptions",
+    "aliases",
+    "examples",
+    "predicate_args",
+  ] as const) {
+    const values = optionalStringArrayField(entity, field);
+    if (values !== undefined) extracted[field] = values;
+  }
   return extracted;
 }
 
@@ -133,7 +160,7 @@ function sourceFileFor(entity: Record<string, unknown>): string | undefined {
 }
 
 async function loadKbExtractionResults(
-  prolog: PrologProcess,
+  prolog: Pick<PrologProcess, "query">,
 ): Promise<ExtractionResult[]> {
   const entityResult = await prolog.query(
     "findall([Id,Type,Props], kb_entity(Id, Type, Props), Results)",

package/src/public/impact/requirement-quality.ts

@@ -29,17 +29,6 @@ const BROAD_REQUIREMENT_THRESHOLDS = {
   dependentRequirements: 5,
 } as const;
 
-const NORMATIVE_INDICATOR_PATTERNS: readonly [string, RegExp][] = [
-  ["must", /\bmust\b/i],
-  ["only", /\bonly\b/i],
-  ["never", /\bnever\b/i],
-  ["limit", /\blimits?\b/i],
-  ["minimum", /\bminimum\b/i],
-  ["maximum", /\bmaximum\b/i],
-  ["at least", /\bat\s+least\b/i],
-  ["at most", /\bat\s+most\b/i],
-];
-
 type RequirementFanout = {
   readonly implementingSymbolIds: readonly string[];
   readonly scenarioIds: readonly string[];
@@ -232,26 +221,18 @@ function strictRelationshipTypes(result: ExtractionResult): readonly string[] {
   );
 }
 
-function matchedNormativeIndicators(text: string): readonly string[] {
-  return NORMATIVE_INDICATOR_PATTERNS.filter((entry) =>
-    entry[1].test(text),
-  ).map((entry) => entry[0]);
-}
-
-function createStrictFactModelingDiagnostics(
+function createLogicalCoverageDiagnostics(
   options: RequirementQualityDiagnosticsOptions,
 ): readonly KibiImpactDiagnostic[] {
   return options.manifestResults.flatMap((result) => {
     if (!isCurrentRequirement(result)) return [];
     if (options.hardViolationEntityIds?.has(result.entity.id)) return [];
     const relationshipTypes = strictRelationshipTypes(result);
-    if (relationshipTypes.length > 0) return [];
-    const indicators = matchedNormativeIndicators(result.entity.title);
-    if (indicators.length === 0) return [];
+    if ((result.entity.logic_claims?.length ?? 0) > 0) return [];
 
     return [
       {
-        id: "strict_fact_modeling_review",
+        id: "logical_coverage_review",
         severity: "review",
         blocking: false,
         category: "fact",
@@ -259,11 +240,10 @@ function createStrictFactModelingDiagnostics(
         source: result.entity.source,
         files: [result.entity.source],
         docs: ["docs/modeling-cheatsheet.md", "docs/error-reference.md"],
-        message: `Requirement ${result.entity.id} contains normative prose but has no strict fact or predicate relationship.`,
+        message: `Current requirement ${result.entity.id} has no atomic logic_claims manifest, so prose and existing fact links cannot prove complete logical coverage.`,
         suggestion:
-          "Use kb_model_requirement for strict property facts, or kb_suggest_predicates when the claim fits a predicate schema.",
+          "Call kb_semantic_advisor with the complete requirement prose and atomic clauses, ground each returned claim key through kb_model_requirement or kb_suggest_predicates, and persist all keys in logic_claims.",
         evidence: {
-          matchedIndicators: indicators,
           strictRelationshipTypes: relationshipTypes,
         },
       },
@@ -277,6 +257,6 @@ export function createRequirementQualityDiagnostics(
   return [
     ...createBroadRequirementDiagnostics(options.manifestResults),
     ...createRequirementStatusDiagnostics(options.manifestResults),
-    ...createStrictFactModelingDiagnostics(options),
+    ...createLogicalCoverageDiagnostics(options),
   ];
 }

package/src/public/operations/catalog.ts

@@ -0,0 +1,60 @@
+import { autopilotGenerateSpec } from "./specs/autopilot.js";
+import { checkSpec } from "./specs/check.js";
+import { querySpec, searchSpec, statusSpec } from "./specs/discovery.js";
+import {
+  modelRequirementSpec,
+  suggestPredicatesSpec,
+} from "./specs/modeling.js";
+import {
+  deleteSpec,
+  upsertSpec,
+  validateUpsertSpec,
+} from "./specs/mutation.js";
+import { coverageSpec, findGapsSpec, graphSpec } from "./specs/reporting.js";
+import { semanticAdvisorSpec } from "./specs/semantic.js";
+import {
+  skillsListSpec,
+  skillsLoadSpec,
+  skillsReadSpec,
+} from "./specs/skills.js";
+import { sparqlRemoteSpec } from "./specs/sparql.js";
+import type { OperationName, OperationSpec } from "./types.js";
+
+export const OPERATION_CATALOG = [
+  skillsListSpec,
+  skillsLoadSpec,
+  skillsReadSpec,
+  querySpec,
+  searchSpec,
+  statusSpec,
+  findGapsSpec,
+  coverageSpec,
+  graphSpec,
+  semanticAdvisorSpec,
+  modelRequirementSpec,
+  suggestPredicatesSpec,
+  autopilotGenerateSpec,
+  validateUpsertSpec,
+  upsertSpec,
+  deleteSpec,
+  checkSpec,
+  sparqlRemoteSpec,
+] as const satisfies readonly OperationSpec[];
+
+const SPECS_BY_NAME: ReadonlyMap<OperationName, OperationSpec> = new Map(
+  OPERATION_CATALOG.map((spec) => [spec.name, spec]),
+);
+
+// implements REQ-kibi-operation-interface-parity
+export function getSpec(name: OperationName): OperationSpec {
+  const spec = SPECS_BY_NAME.get(name);
+  if (!spec) {
+    throw new RangeError(`Unknown Kibi operation: ${name}`);
+  }
+  return spec;
+}
+
+// implements REQ-kibi-operation-interface-parity
+export function listSpecs(): readonly OperationSpec[] {
+  return OPERATION_CATALOG;
+}

package/src/public/operations/check-executor.ts

@@ -0,0 +1,185 @@
+import { runAggregatedChecks } from "../../commands/aggregated-checks.js";
+/*
+ Kibi — repo-local, per-branch, queryable long-term memory for software projects
+ Copyright (C) 2026 Piotr Franczyk
+
+ This program is free software: you can redistribute it and/or modify
+ it under the terms of the GNU Affero General Public License as published by
+ the Free Software Foundation, either version 3 of the License, or
+ (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ GNU Affero General Public License for more details.
+
+ You should have received a copy of the GNU Affero General Public License
+ along with this program.  If not, see <https://www.gnu.org/licenses/>.
+ */
+import type { Violation } from "../check-types.js";
+import { collectFullKbQualityDiagnostics } from "../impact-diagnostics.js";
+import {
+  type CheckDiagnostic,
+  type CheckStructuredContent,
+  buildStructuredContent,
+  buildSummary,
+} from "./check-format-shared.js";
+import {
+  analyzeKbCheckImpact,
+  collectQueryPlanSafetyViolations,
+  getEffectiveRules,
+  loadChecksConfig,
+  qualityDiagnosticsFromImpact,
+} from "./check-helpers.js";
+import type { OperationContext, PrologPort } from "./runtime-types.js";
+import type { OperationResult } from "./types.js";
+
+// implements REQ-kibi-operation-interface-parity, REQ-002
+export type CheckInput = {
+  readonly rules?: readonly string[];
+  readonly workspaceRoot?: string;
+  readonly sourceFiles?: readonly string[];
+  readonly staged?: boolean;
+  readonly includeWorkingTreeDiff?: boolean;
+  readonly includeImpactDiagnostics?: boolean;
+  readonly maxDiagnostics?: number;
+};
+
+export type CheckPayload = CheckStructuredContent;
+export type { CheckDiagnostic, CheckStructuredContent };
+export {
+  buildStructuredContent,
+  buildSummary,
+  getEffectiveRules,
+  loadChecksConfig,
+};
+
+export type CheckExecutionOptions = {
+  readonly collectFullQualityDiagnosticsForExplicitRules?: boolean;
+};
+
+function requireProlog(context: OperationContext): PrologPort {
+  if (context.prolog === undefined) {
+    throw new Error("Check operation requires a Prolog runtime");
+  }
+  return context.prolog;
+}
+
+function invalidatePrologCache(prolog: PrologPort): void {
+  prolog.invalidateCache?.();
+}
+
+// implements REQ-kibi-operation-interface-parity, REQ-002
+export async function executeCheck(
+  args: CheckInput,
+  context: OperationContext,
+  options: CheckExecutionOptions = {},
+): Promise<OperationResult<CheckPayload>> {
+  try {
+    const workspaceRoot = args.workspaceRoot ?? context.workspaceRoot;
+    const prolog = requireProlog(context);
+    const checksConfig = await loadChecksConfig(workspaceRoot);
+    const rulesAllowlist =
+      args.rules === undefined
+        ? getEffectiveRules(checksConfig.rules)
+        : args.rules.length === 0
+          ? new Set<string>()
+          : getEffectiveRules(undefined, args.rules.join(","));
+    const hasExplicitRules = args.rules !== undefined;
+    const impactResult = analyzeKbCheckImpact(workspaceRoot, args);
+    const impactQualityDiagnostics = qualityDiagnosticsFromImpact(impactResult);
+    const maxDiagnosticsOption =
+      args.maxDiagnostics !== undefined
+        ? { maxDiagnostics: args.maxDiagnostics }
+        : {};
+
+    if (rulesAllowlist.size === 0) {
+      const qualityDiagnostics =
+        hasExplicitRules &&
+        options.collectFullQualityDiagnosticsForExplicitRules !== true
+          ? []
+          : impactResult
+            ? impactQualityDiagnostics
+            : await collectFullKbQualityDiagnostics({
+                prolog,
+                ...maxDiagnosticsOption,
+              });
+      return {
+        content: [
+          {
+            type: "text",
+            text: buildSummary({
+              violations: [],
+              impactResult,
+              qualityDiagnostics,
+            }),
+          },
+        ],
+        structuredContent: buildStructuredContent({
+          violations: [],
+          diagnostics: [],
+          qualityDiagnostics,
+          impactResult,
+        }),
+      };
+    }
+
+    invalidatePrologCache(prolog);
+
+    const aggregatedViolations = await runAggregatedChecks(
+      prolog,
+      rulesAllowlist,
+      checksConfig.symbolTraceability.requireAdr,
+    );
+    const queryPlanViolations = rulesAllowlist.has("query-plan-safety")
+      ? collectQueryPlanSafetyViolations()
+      : [];
+    const violations: Violation[] = [
+      ...aggregatedViolations,
+      ...queryPlanViolations,
+    ];
+
+    const diagnostics: CheckDiagnostic[] = violations.map((v) => ({
+      category: "SYNC_ERROR",
+      severity: "error",
+      message: v.description,
+      ...(v.source !== undefined ? { file: v.source } : {}),
+      ...(v.suggestion !== undefined ? { suggestion: v.suggestion } : {}),
+    }));
+
+    const collectFullQualityDiagnostics =
+      !hasExplicitRules ||
+      options.collectFullQualityDiagnosticsForExplicitRules === true;
+    const qualityDiagnostics = !collectFullQualityDiagnostics
+      ? impactQualityDiagnostics
+      : impactResult
+        ? impactQualityDiagnostics
+        : await collectFullKbQualityDiagnostics({
+            prolog,
+            hardViolationEntityIds: new Set(violations.map((v) => v.entityId)),
+            ...maxDiagnosticsOption,
+          });
+
+    return {
+      content: [
+        {
+          type: "text",
+          text: buildSummary({
+            violations,
+            impactResult,
+            qualityDiagnostics,
+          }),
+        },
+      ],
+      structuredContent: buildStructuredContent({
+        violations,
+        diagnostics,
+        qualityDiagnostics,
+        impactResult,
+      }),
+    };
+  } catch (error) {
+    const message = error instanceof Error ? error.message : String(error);
+    throw new Error(`Check execution failed: ${message}`);
+  }
+}