kibi-cli 0.11.3 → 0.12.0

package/dist/public/schemas/entity.d.ts

@@ -1,129 +1,3 @@
-declare const entitySchema: {
-    $id: string;
-    title: string;
-    type: string;
-    properties: {
-        id: {
-            type: string;
-        };
-        title: {
-            type: string;
-        };
-        status: {
-            type: string;
-            enum: string[];
-        };
-        created_at: {
-            type: string;
-        };
-        updated_at: {
-            type: string;
-        };
-        source: {
-            type: string;
-        };
-        tags: {
-            type: string;
-            items: {
-                type: string;
-            };
-        };
-        owner: {
-            type: string;
-        };
-        priority: {
-            type: string;
-        };
-        severity: {
-            type: string;
-        };
-        links: {
-            type: string;
-            items: {
-                type: string;
-            };
-        };
-        text_ref: {
-            type: string;
-        };
-        sourceFile: {
-            type: string;
-        };
-        type: {
-            type: string;
-            enum: string[];
-        };
-        fact_kind: {
-            type: string;
-            enum: string[];
-        };
-        subject_key: {
-            type: string;
-        };
-        property_key: {
-            type: string;
-        };
-        operator: {
-            type: string;
-            enum: string[];
-        };
-        value_type: {
-            type: string;
-            enum: string[];
-        };
-        value_string: {
-            type: string;
-        };
-        value_int: {
-            type: string;
-        };
-        value_number: {
-            type: string;
-        };
-        value_bool: {
-            type: string;
-        };
-        unit: {
-            type: string;
-        };
-        scope: {
-            type: string;
-        };
-        polarity: {
-            type: string;
-            enum: string[];
-        };
-        closed_world: {
-            type: string;
-        };
-        valid_from: {
-            type: string;
-        };
-        valid_to: {
-            type: string;
-        };
-        canonical_key: {
-            type: string;
-        };
-    };
-    required: string[];
-    allOf: {
-        if: {
-            properties: {
-                type: {
-                    const: string;
-                };
-            };
-        };
-        else: {
-            not: {
-                anyOf: {
-                    required: string[];
-                }[];
-            };
-        };
-    }[];
-    additionalProperties: boolean;
-};
+declare const entitySchema: Record<string, unknown>;
 export default entitySchema;
 //# sourceMappingURL=entity.d.ts.map

package/dist/public/schemas/entity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"entity.d.ts","sourceRoot":"","sources":["../../../src/public/schemas/entity.ts"],"names":[],"mappings":"AAwBA,QAAA,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqHjB,CAAC;AAEF,eAAe,YAAY,CAAC"}
+{"version":3,"file":"entity.d.ts","sourceRoot":"","sources":["../../../src/public/schemas/entity.ts"],"names":[],"mappings":"AA+EA,QAAA,MAAM,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAkJzC,CAAC;AAEF,eAAe,YAAY,CAAC"}

package/dist/public/schemas/entity.js

@@ -15,6 +15,54 @@
  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/>.
  */
+const factConditionals = JSON.parse(`[
+  {
+    "if": {
+      "properties": {
+        "type": { "const": "fact" },
+        "fact_kind": { "const": "predicate_schema" }
+      },
+      "required": ["type", "fact_kind"]
+    },
+    "then": {
+      "required": [
+        "predicate_name",
+        "predicate_arity",
+        "argument_names",
+        "argument_types"
+      ]
+    }
+  },
+  {
+    "if": {
+      "properties": {
+        "type": { "const": "fact" },
+        "fact_kind": { "const": "predicate" }
+      },
+      "required": ["type", "fact_kind"]
+    },
+    "then": {
+      "required": ["predicate_name", "predicate_args", "canonical_key"],
+      "properties": {
+        "polarity": { "enum": ["assert", "deny"] }
+      }
+    }
+  },
+  {
+    "if": {
+      "properties": {
+        "type": { "const": "fact" },
+        "fact_kind": { "const": "property_value" }
+      },
+      "required": ["type", "fact_kind"]
+    },
+    "then": {
+      "properties": {
+        "polarity": { "enum": ["require", "forbid"] }
+      }
+    }
+  }
+]`);
 const entitySchema = {
     $id: "entity.schema.json",
     title: "Entity",
@@ -72,7 +120,14 @@ const entitySchema = {
         // Typed fact fields - only valid when type === "fact"
         fact_kind: {
             type: "string",
-            enum: ["subject", "property_value", "observation", "meta"],
+            enum: [
+                "subject",
+                "property_value",
+                "observation",
+                "meta",
+                "predicate_schema",
+                "predicate",
+            ],
         },
         subject_key: { type: "string" },
         property_key: { type: "string" },
@@ -84,11 +139,23 @@ const entitySchema = {
         value_bool: { type: "boolean" },
         unit: { type: "string" },
         scope: { type: "string" },
-        polarity: { type: "string", enum: ["require", "forbid"] },
+        polarity: {
+            type: "string",
+            enum: ["require", "forbid", "assert", "deny"],
+        },
         closed_world: { type: "boolean" },
         valid_from: { type: "string" },
         valid_to: { type: "string" },
         canonical_key: { type: "string" },
+        predicate_name: { type: "string" },
+        predicate_namespace: { type: "string" },
+        predicate_arity: { type: "integer", minimum: 1 },
+        argument_names: { type: "array", items: { type: "string" } },
+        argument_types: { type: "array", items: { type: "string" } },
+        argument_descriptions: { type: "array", items: { type: "string" } },
+        aliases: { type: "array", items: { type: "string" } },
+        examples: { type: "array", items: { type: "string" } },
+        predicate_args: { type: "array", items: { type: "string" } },
     },
     required: [
         "id",
@@ -126,10 +193,20 @@ const entitySchema = {
                         { required: ["valid_from"] },
                         { required: ["valid_to"] },
                         { required: ["canonical_key"] },
+                        { required: ["predicate_name"] },
+                        { required: ["predicate_namespace"] },
+                        { required: ["predicate_arity"] },
+                        { required: ["argument_names"] },
+                        { required: ["argument_types"] },
+                        { required: ["argument_descriptions"] },
+                        { required: ["aliases"] },
+                        { required: ["examples"] },
+                        { required: ["predicate_args"] },
                     ],
                 },
             },
         },
+        ...factConditionals,
     ],
     additionalProperties: false,
 };

package/dist/public/schemas/relationship.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"relationship.d.ts","sourceRoot":"","sources":["../../../src/public/schemas/relationship.ts"],"names":[],"mappings":"AAkBA,QAAA,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAkCvB,CAAC;AAEF,eAAe,kBAAkB,CAAC"}
+{"version":3,"file":"relationship.d.ts","sourceRoot":"","sources":["../../../src/public/schemas/relationship.ts"],"names":[],"mappings":"AAkBA,QAAA,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAmCvB,CAAC;AAEF,eAAe,kBAAkB,CAAC"}

package/dist/public/schemas/relationship.js

@@ -33,6 +33,7 @@ const relationshipSchema = {
                 "constrained_by",
                 "constrains",
                 "requires_property",
+                "requires_predicate",
                 "guards",
                 "publishes",
                 "consumes",

package/dist/schemas/entity.schema.json

@@ -62,7 +62,14 @@
         },
         "fact_kind": {
             "type": "string",
-            "enum": ["subject", "property_value", "observation", "meta"]
+            "enum": [
+                "subject",
+                "property_value",
+                "observation",
+                "meta",
+                "predicate_schema",
+                "predicate"
+            ]
         },
         "subject_key": { "type": "string" },
         "property_key": { "type": "string" },
@@ -80,11 +87,26 @@
         "value_bool": { "type": "boolean" },
         "unit": { "type": "string" },
         "scope": { "type": "string" },
-        "polarity": { "type": "string", "enum": ["require", "forbid"] },
+        "polarity": {
+            "type": "string",
+            "enum": ["require", "forbid", "assert", "deny"]
+        },
         "closed_world": { "type": "boolean" },
         "valid_from": { "type": "string" },
         "valid_to": { "type": "string" },
-        "canonical_key": { "type": "string" }
+        "canonical_key": { "type": "string" },
+        "predicate_name": { "type": "string" },
+        "predicate_namespace": { "type": "string" },
+        "predicate_arity": { "type": "integer", "minimum": 1 },
+        "argument_names": { "type": "array", "items": { "type": "string" } },
+        "argument_types": { "type": "array", "items": { "type": "string" } },
+        "argument_descriptions": {
+            "type": "array",
+            "items": { "type": "string" }
+        },
+        "aliases": { "type": "array", "items": { "type": "string" } },
+        "examples": { "type": "array", "items": { "type": "string" } },
+        "predicate_args": { "type": "array", "items": { "type": "string" } }
     },
     "required": [
         "id",
@@ -133,10 +155,65 @@
                         { "required": ["closed_world"] },
                         { "required": ["valid_from"] },
                         { "required": ["valid_to"] },
-                        { "required": ["canonical_key"] }
+                        { "required": ["canonical_key"] },
+                        { "required": ["predicate_name"] },
+                        { "required": ["predicate_namespace"] },
+                        { "required": ["predicate_arity"] },
+                        { "required": ["argument_names"] },
+                        { "required": ["argument_types"] },
+                        { "required": ["argument_descriptions"] },
+                        { "required": ["aliases"] },
+                        { "required": ["examples"] },
+                        { "required": ["predicate_args"] }
                     ]
                 }
             }
+        },
+        {
+            "if": {
+                "properties": {
+                    "type": { "const": "fact" },
+                    "fact_kind": { "const": "predicate_schema" }
+                },
+                "required": ["type", "fact_kind"]
+            },
+            "then": {
+                "required": [
+                    "predicate_name",
+                    "predicate_arity",
+                    "argument_names",
+                    "argument_types"
+                ]
+            }
+        },
+        {
+            "if": {
+                "properties": {
+                    "type": { "const": "fact" },
+                    "fact_kind": { "const": "predicate" }
+                },
+                "required": ["type", "fact_kind"]
+            },
+            "then": {
+                "required": ["predicate_name", "predicate_args", "canonical_key"],
+                "properties": {
+                    "polarity": { "enum": ["assert", "deny"] }
+                }
+            }
+        },
+        {
+            "if": {
+                "properties": {
+                    "type": { "const": "fact" },
+                    "fact_kind": { "const": "property_value" }
+                },
+                "required": ["type", "fact_kind"]
+            },
+            "then": {
+                "properties": {
+                    "polarity": { "enum": ["require", "forbid"] }
+                }
+            }
         }
     ],
     "additionalProperties": false

package/dist/types/entities.d.ts

@@ -13,7 +13,7 @@ export interface BaseEntity {
     text_ref?: string;
 }
 export interface FactFields {
-    fact_kind?: "subject" | "property_value" | "observation" | "meta";
+    fact_kind?: "subject" | "property_value" | "observation" | "meta" | "predicate_schema" | "predicate";
     subject_key?: string;
     property_key?: string;
     operator?: "eq" | "neq" | "lt" | "lte" | "gt" | "gte";
@@ -24,11 +24,20 @@ export interface FactFields {
     value_bool?: boolean;
     unit?: string;
     scope?: string;
-    polarity?: "require" | "forbid";
+    polarity?: "require" | "forbid" | "assert" | "deny";
     closed_world?: boolean;
     valid_from?: string;
     valid_to?: string;
     canonical_key?: string;
+    predicate_name?: string;
+    predicate_namespace?: string;
+    predicate_arity?: number;
+    argument_names?: string[];
+    argument_types?: string[];
+    argument_descriptions?: string[];
+    aliases?: string[];
+    examples?: string[];
+    predicate_args?: string[];
 }
 export type Requirement = BaseEntity & {
     type: "req";

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,EAAE,SAAS,GAAG,gBAAgB,GAAG,aAAa,GAAG,MAAM,CAAC;IAClE,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,CAAC;IAChC,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;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,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"}

package/dist/types/relationships.d.ts

@@ -1,5 +1,5 @@
 export interface BaseRelationship {
-    type: "depends_on" | "specified_by" | "verified_by" | "implements" | "covered_by" | "constrained_by" | "constrains" | "requires_property" | "guards" | "publishes" | "consumes" | "supersedes" | "relates_to";
+    type: "depends_on" | "specified_by" | "verified_by" | "implements" | "covered_by" | "constrained_by" | "constrains" | "requires_property" | "requires_predicate" | "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,YAAY,GACZ,YAAY,GACZ,gBAAgB,GAChB,YAAY,GACZ,mBAAmB,GACnB,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,YAAY,GACZ,YAAY,GACZ,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"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "kibi-cli",
-  "version": "0.11.3",
+  "version": "0.12.0",
   "type": "module",
   "description": "Kibi CLI for knowledge base management",
   "engines": {
@@ -95,7 +95,7 @@
     "fast-glob": "^3.2.12",
     "gray-matter": "^4.0.3",
     "js-yaml": "^4.1.0",
-    "kibi-core": "^0.5.3",
+    "kibi-core": "^0.6.0",
     "ts-morph": "^23.0.0",
     "ignore": "^5.3.0"
   },

package/src/public/schemas/entity.ts

@@ -17,12 +17,67 @@
  */
 
 // Typed fact field enums per proposal
-type FactKind = "subject" | "property_value" | "observation" | "meta";
+type FactKind =
+  | "subject"
+  | "property_value"
+  | "observation"
+  | "meta"
+  | "predicate_schema"
+  | "predicate";
 type Operator = "eq" | "neq" | "lt" | "lte" | "gt" | "gte";
 type ValueType = "string" | "int" | "number" | "bool";
-type Polarity = "require" | "forbid";
+type Polarity = "require" | "forbid" | "assert" | "deny";
 
-const entitySchema = {
+const factConditionals = JSON.parse(`[
+  {
+    "if": {
+      "properties": {
+        "type": { "const": "fact" },
+        "fact_kind": { "const": "predicate_schema" }
+      },
+      "required": ["type", "fact_kind"]
+    },
+    "then": {
+      "required": [
+        "predicate_name",
+        "predicate_arity",
+        "argument_names",
+        "argument_types"
+      ]
+    }
+  },
+  {
+    "if": {
+      "properties": {
+        "type": { "const": "fact" },
+        "fact_kind": { "const": "predicate" }
+      },
+      "required": ["type", "fact_kind"]
+    },
+    "then": {
+      "required": ["predicate_name", "predicate_args", "canonical_key"],
+      "properties": {
+        "polarity": { "enum": ["assert", "deny"] }
+      }
+    }
+  },
+  {
+    "if": {
+      "properties": {
+        "type": { "const": "fact" },
+        "fact_kind": { "const": "property_value" }
+      },
+      "required": ["type", "fact_kind"]
+    },
+    "then": {
+      "properties": {
+        "polarity": { "enum": ["require", "forbid"] }
+      }
+    }
+  }
+]`) as Array<Record<string, unknown>>;
+
+const entitySchema: Record<string, unknown> = {
   $id: "entity.schema.json",
   title: "Entity",
   type: "object",
@@ -79,7 +134,14 @@ const entitySchema = {
     // Typed fact fields - only valid when type === "fact"
     fact_kind: {
       type: "string",
-      enum: ["subject", "property_value", "observation", "meta"],
+      enum: [
+        "subject",
+        "property_value",
+        "observation",
+        "meta",
+        "predicate_schema",
+        "predicate",
+      ] satisfies FactKind[],
     },
     subject_key: { type: "string" },
     property_key: { type: "string" },
@@ -91,11 +153,23 @@ const entitySchema = {
     value_bool: { type: "boolean" },
     unit: { type: "string" },
     scope: { type: "string" },
-    polarity: { type: "string", enum: ["require", "forbid"] },
+    polarity: {
+      type: "string",
+      enum: ["require", "forbid", "assert", "deny"] satisfies Polarity[],
+    },
     closed_world: { type: "boolean" },
     valid_from: { type: "string" },
     valid_to: { type: "string" },
     canonical_key: { type: "string" },
+    predicate_name: { type: "string" },
+    predicate_namespace: { type: "string" },
+    predicate_arity: { type: "integer", minimum: 1 },
+    argument_names: { type: "array", items: { type: "string" } },
+    argument_types: { type: "array", items: { type: "string" } },
+    argument_descriptions: { type: "array", items: { type: "string" } },
+    aliases: { type: "array", items: { type: "string" } },
+    examples: { type: "array", items: { type: "string" } },
+    predicate_args: { type: "array", items: { type: "string" } },
   },
   required: [
     "id",
@@ -133,10 +207,20 @@ const entitySchema = {
             { required: ["valid_from"] },
             { required: ["valid_to"] },
             { required: ["canonical_key"] },
+            { required: ["predicate_name"] },
+            { required: ["predicate_namespace"] },
+            { required: ["predicate_arity"] },
+            { required: ["argument_names"] },
+            { required: ["argument_types"] },
+            { required: ["argument_descriptions"] },
+            { required: ["aliases"] },
+            { required: ["examples"] },
+            { required: ["predicate_args"] },
           ],
         },
       },
     },
+    ...factConditionals,
   ],
   additionalProperties: false,
 };

package/src/public/schemas/relationship.ts

@@ -34,6 +34,7 @@ const relationshipSchema = {
         "constrained_by",
         "constrains",
         "requires_property",
+        "requires_predicate",
         "guards",
         "publishes",
         "consumes",

package/src/schemas/entity.schema.json

@@ -62,7 +62,14 @@
     },
     "fact_kind": {
       "type": "string",
-      "enum": ["subject", "property_value", "observation", "meta"]
+      "enum": [
+        "subject",
+        "property_value",
+        "observation",
+        "meta",
+        "predicate_schema",
+        "predicate"
+      ]
     },
     "subject_key": { "type": "string" },
     "property_key": { "type": "string" },
@@ -80,11 +87,26 @@
     "value_bool": { "type": "boolean" },
     "unit": { "type": "string" },
     "scope": { "type": "string" },
-    "polarity": { "type": "string", "enum": ["require", "forbid"] },
+    "polarity": {
+      "type": "string",
+      "enum": ["require", "forbid", "assert", "deny"]
+    },
     "closed_world": { "type": "boolean" },
     "valid_from": { "type": "string" },
     "valid_to": { "type": "string" },
-    "canonical_key": { "type": "string" }
+    "canonical_key": { "type": "string" },
+    "predicate_name": { "type": "string" },
+    "predicate_namespace": { "type": "string" },
+    "predicate_arity": { "type": "integer", "minimum": 1 },
+    "argument_names": { "type": "array", "items": { "type": "string" } },
+    "argument_types": { "type": "array", "items": { "type": "string" } },
+    "argument_descriptions": {
+      "type": "array",
+      "items": { "type": "string" }
+    },
+    "aliases": { "type": "array", "items": { "type": "string" } },
+    "examples": { "type": "array", "items": { "type": "string" } },
+    "predicate_args": { "type": "array", "items": { "type": "string" } }
   },
   "required": [
     "id",
@@ -133,10 +155,65 @@
             { "required": ["closed_world"] },
             { "required": ["valid_from"] },
             { "required": ["valid_to"] },
-            { "required": ["canonical_key"] }
+            { "required": ["canonical_key"] },
+            { "required": ["predicate_name"] },
+            { "required": ["predicate_namespace"] },
+            { "required": ["predicate_arity"] },
+            { "required": ["argument_names"] },
+            { "required": ["argument_types"] },
+            { "required": ["argument_descriptions"] },
+            { "required": ["aliases"] },
+            { "required": ["examples"] },
+            { "required": ["predicate_args"] }
           ]
         }
       }
+    },
+    {
+      "if": {
+        "properties": {
+          "type": { "const": "fact" },
+          "fact_kind": { "const": "predicate_schema" }
+        },
+        "required": ["type", "fact_kind"]
+      },
+      "then": {
+        "required": [
+          "predicate_name",
+          "predicate_arity",
+          "argument_names",
+          "argument_types"
+        ]
+      }
+    },
+    {
+      "if": {
+        "properties": {
+          "type": { "const": "fact" },
+          "fact_kind": { "const": "predicate" }
+        },
+        "required": ["type", "fact_kind"]
+      },
+      "then": {
+        "required": ["predicate_name", "predicate_args", "canonical_key"],
+        "properties": {
+          "polarity": { "enum": ["assert", "deny"] }
+        }
+      }
+    },
+    {
+      "if": {
+        "properties": {
+          "type": { "const": "fact" },
+          "fact_kind": { "const": "property_value" }
+        },
+        "required": ["type", "fact_kind"]
+      },
+      "then": {
+        "properties": {
+          "polarity": { "enum": ["require", "forbid"] }
+        }
+      }
     }
   ],
   "additionalProperties": false

package/src/schemas/relationship.schema.json

@@ -16,6 +16,7 @@
         "constrained_by",
         "constrains",
         "requires_property",
+        "requires_predicate",
         "guards",
         "publishes",
         "consumes",