kibi-cli 0.14.0 → 0.17.0

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();
@@ -259,6 +261,8 @@ stagedFile, manifestLookup) {
             ? 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();
@@ -282,6 +286,8 @@ stagedFile, manifestLookup) {
                 : []),
         ]) {
             try {
+                if (isPrivateClassMember(accessor))
+                    continue;
                 const name = formatMethodSymbolName(cls.getName(), accessor.getName());
                 const start = accessor.getNameNode()?.getStart() ?? accessor.getStart();
                 const end = accessor.getEnd();
@@ -373,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;AAuMD,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,31 @@ const FACT_STRING_FIELDS = new Set([
     "valid_from",
     "valid_to",
     "canonical_key",
+    "claim_key",
+    "claim_text",
+    "predicate_name",
+    "predicate_namespace",
+    "rule_hash",
+    "rule_schema_id",
+    "rule_name",
+    "semantic_key",
+]);
+const FACT_NUMBER_FIELDS = new Set([
+    "value_int",
+    "value_number",
+    "predicate_arity",
+    "claim_span_start",
+    "claim_span_end",
 ]);
-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();
 }
@@ -78,6 +100,10 @@ function serializeTypedFactFields(entity) {
             fields.push(`${field}=${toPrologString(String(value))}`);
         }
     }
+    const ruleIr = getEntityField(entity, "rule_ir");
+    if (ruleIr !== undefined && ruleIr !== null) {
+        fields.push(`rule_ir=${toPrologString(JSON.stringify(ruleIr))}`);
+    }
     for (const field of FACT_ATOM_FIELDS) {
         const value = getEntityField(entity, field);
         if (value !== undefined && value !== null) {
@@ -99,6 +125,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 +153,23 @@ 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 === "req" && entity.semantic_inventory) {
+        props.push(`semantic_inventory=${toPrologString(JSON.stringify(entity.semantic_inventory))}`);
+    }
     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/types/relationships.d.ts

@@ -1,5 +1,5 @@
 export interface BaseRelationship {
-    type: "depends_on" | "specified_by" | "verified_by" | "validates" | "implements" | "covered_by" | "executable_for" | "constrained_by" | "constrains" | "requires_property" | "requires_predicate" | "guards" | "publishes" | "consumes" | "supersedes" | "relates_to";
+    type: "depends_on" | "specified_by" | "verified_by" | "validates" | "implements" | "covered_by" | "executable_for" | "constrained_by" | "constrains" | "requires_property" | "requires_predicate" | "requires_rule" | "guards" | "publishes" | "consumes" | "supersedes" | "relates_to";
     from: string;
     to: string;
     created_at?: string;

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

@@ -1 +1 @@
-{"version":3,"file":"relationships.d.ts","sourceRoot":"","sources":["../../src/types/relationships.ts"],"names":[],"mappings":"AAkBA,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EACA,YAAY,GACZ,cAAc,GACd,aAAa,GACb,WAAW,GACX,YAAY,GACZ,YAAY,GACZ,gBAAgB,GAChB,gBAAgB,GAChB,YAAY,GACZ,mBAAmB,GACnB,oBAAoB,GACpB,QAAQ,GACR,WAAW,GACX,UAAU,GACV,YAAY,GACZ,YAAY,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,eAAe,gBAAgB,CAAC"}
+{"version":3,"file":"relationships.d.ts","sourceRoot":"","sources":["../../src/types/relationships.ts"],"names":[],"mappings":"AAkBA,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EACA,YAAY,GACZ,cAAc,GACd,aAAa,GACb,WAAW,GACX,YAAY,GACZ,YAAY,GACZ,gBAAgB,GAChB,gBAAgB,GAChB,YAAY,GACZ,mBAAmB,GACnB,oBAAoB,GACpB,eAAe,GACf,QAAQ,GACR,WAAW,GACX,UAAU,GACV,YAAY,GACZ,YAAY,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,eAAe,gBAAgB,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,EAsHjC,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,30 @@ 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: "rule-safety",
+        description: "Stored Logic IR rules use only the typed, bounded, stratified vocabulary",
+        defaultEnabled: true,
+        category: "integrity",
+    },
+    {
+        name: "rule-verifiability",
+        description: "Requirement rule links resolve to safe rules and registered rule schemas",
+        defaultEnabled: true,
+        category: "integrity",
+    },
+    {
+        name: "semantic-completeness",
+        description: "Every inventoried assertive proposition is modeled or explicitly classified",
+        defaultEnabled: false,
+        category: "integrity",
+    },
     {
         name: "query-plan-safety",
         description: "Detect Prolog validation clauses that place negation before generator calls",

package/dist/utils/schema-version.d.ts

@@ -1,5 +1,5 @@
 import type { KbConfig } from "./config.js";
-export declare const LATEST_KB_SCHEMA_VERSION = 3;
+export declare const LATEST_KB_SCHEMA_VERSION = 4;
 export interface SchemaVersionStatus {
     status: "missing" | "invalid" | "older" | "current" | "newer";
     currentVersion: number | null;

package/dist/utils/schema-version.js

@@ -1,5 +1,5 @@
 // implements REQ-003
-export const LATEST_KB_SCHEMA_VERSION = 3;
+export const LATEST_KB_SCHEMA_VERSION = 4;
 // implements REQ-003
 export function normalizeSchemaVersion(schemaVersion) {
     if (schemaVersion === undefined || schemaVersion === null) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "kibi-cli",
-  "version": "0.14.0",
+  "version": "0.17.0",
   "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,47 @@
       "types": "./dist/public/skills.d.ts",
       "default": "./dist/public/skills.js"
     },
+    "./operations": "./dist/public/operations/index.js",
+    "./logic/ir": {
+      "types": "./dist/logic/ir.d.ts",
+      "default": "./dist/logic/ir.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 +161,7 @@
     "fast-glob": "^3.2.12",
     "gray-matter": "^4.0.3",
     "js-yaml": "^4.1.0",
-    "kibi-core": "^0.7.0",
+    "kibi-core": "^0.8.0",
     "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;
+}