kibi-cli 0.1.0

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

@@ -0,0 +1,58 @@
+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;
+        };
+        type: {
+            type: string;
+            enum: string[];
+        };
+    };
+    required: string[];
+    additionalProperties: boolean;
+};
+export default entitySchema;
+//# sourceMappingURL=entity.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"entity.d.ts","sourceRoot":"","sources":["../../../src/public/schemas/entity.ts"],"names":[],"mappings":"AA+CA,QAAA,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAsDjB,CAAC;AAEF,eAAe,YAAY,CAAC"}

package/dist/public/schemas/entity.js

@@ -0,0 +1,102 @@
+/*
+ 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/>.
+*/
+/*
+ How to apply this header to source files (examples)
+
+ 1) Prepend header to a single file (POSIX shells):
+
+    cat LICENSE_HEADER.txt "$FILE" > "$FILE".with-header && mv "$FILE".with-header "$FILE"
+
+ 2) Apply to multiple files (example: the project's main entry files):
+
+    for f in packages/cli/bin/kibi packages/mcp/bin/kibi-mcp packages/cli/src/*.ts packages/mcp/src/*.ts; do
+      if [ -f "$f" ]; then
+        cp "$f" "$f".bak
+        (cat LICENSE_HEADER.txt; echo; cat "$f" ) > "$f".new && mv "$f".new "$f"
+      fi
+    done
+
+ 3) Avoid duplicating the header: run a quick guard to only add if missing
+
+    for f in packages/cli/bin/kibi packages/mcp/bin/kibi-mcp; do
+      if [ -f "$f" ]; then
+        if ! head -n 5 "$f" | grep -q "Copyright (C) 2026 Piotr Franczyk"; then
+          cp "$f" "$f".bak
+          (cat LICENSE_HEADER.txt; echo; cat "$f" ) > "$f".new && mv "$f".new "$f"
+        fi
+      fi
+    done
+*/
+// Public export of entity schema
+// Generated from entity.schema.json
+const entitySchema = {
+    $id: "entity.schema.json",
+    title: "Entity",
+    type: "object",
+    properties: {
+        id: { type: "string" },
+        title: { type: "string" },
+        status: {
+            type: "string",
+            enum: [
+                "active",
+                "draft",
+                "archived",
+                "deleted",
+                "approved",
+                "rejected",
+                "pending",
+                "in_progress",
+                "superseded",
+            ],
+        },
+        created_at: { type: "string" },
+        updated_at: { type: "string" },
+        source: { type: "string" },
+        tags: { type: "array", items: { type: "string" } },
+        owner: { type: "string" },
+        priority: { type: "string" },
+        severity: { type: "string" },
+        links: { type: "array", items: { type: "string" } },
+        text_ref: { type: "string" },
+        type: {
+            type: "string",
+            enum: [
+                "req",
+                "scenario",
+                "test",
+                "adr",
+                "flag",
+                "event",
+                "symbol",
+                "fact",
+            ],
+        },
+    },
+    required: [
+        "id",
+        "title",
+        "status",
+        "created_at",
+        "updated_at",
+        "source",
+        "type",
+    ],
+    additionalProperties: false,
+};
+export default entitySchema;

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

@@ -0,0 +1,35 @@
+declare const relationshipSchema: {
+    $id: string;
+    title: string;
+    type: string;
+    properties: {
+        type: {
+            type: string;
+            enum: string[];
+        };
+        from: {
+            type: string;
+        };
+        to: {
+            type: string;
+        };
+        created_at: {
+            type: string;
+        };
+        created_by: {
+            type: string;
+        };
+        source: {
+            type: string;
+        };
+        confidence: {
+            type: string;
+            minimum: number;
+            maximum: number;
+        };
+    };
+    required: string[];
+    additionalProperties: boolean;
+};
+export default relationshipSchema;
+//# sourceMappingURL=relationship.d.ts.map

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

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

package/dist/public/schemas/relationship.js

@@ -0,0 +1,81 @@
+/*
+ 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/>.
+*/
+/*
+ How to apply this header to source files (examples)
+
+ 1) Prepend header to a single file (POSIX shells):
+
+    cat LICENSE_HEADER.txt "$FILE" > "$FILE".with-header && mv "$FILE".with-header "$FILE"
+
+ 2) Apply to multiple files (example: the project's main entry files):
+
+    for f in packages/cli/bin/kibi packages/mcp/bin/kibi-mcp packages/cli/src/*.ts packages/mcp/src/*.ts; do
+      if [ -f "$f" ]; then
+        cp "$f" "$f".bak
+        (cat LICENSE_HEADER.txt; echo; cat "$f" ) > "$f".new && mv "$f".new "$f"
+      fi
+    done
+
+ 3) Avoid duplicating the header: run a quick guard to only add if missing
+
+    for f in packages/cli/bin/kibi packages/mcp/bin/kibi-mcp; do
+      if [ -f "$f" ]; then
+        if ! head -n 5 "$f" | grep -q "Copyright (C) 2026 Piotr Franczyk"; then
+          cp "$f" "$f".bak
+          (cat LICENSE_HEADER.txt; echo; cat "$f" ) > "$f".new && mv "$f".new "$f"
+        fi
+      fi
+    done
+*/
+// Public export of relationship schema
+// Generated from relationship.schema.json
+const relationshipSchema = {
+    $id: "relationship.schema.json",
+    title: "Relationship",
+    type: "object",
+    properties: {
+        type: {
+            type: "string",
+            enum: [
+                "depends_on",
+                "specified_by",
+                "verified_by",
+                "validates",
+                "implements",
+                "covered_by",
+                "constrained_by",
+                "constrains",
+                "requires_property",
+                "guards",
+                "publishes",
+                "consumes",
+                "supersedes",
+                "relates_to",
+            ],
+        },
+        from: { type: "string" },
+        to: { type: "string" },
+        created_at: { type: "string" },
+        created_by: { type: "string" },
+        source: { type: "string" },
+        confidence: { type: "number", minimum: 0, maximum: 1 },
+    },
+    required: ["type", "from", "to"],
+    additionalProperties: false,
+};
+export default relationshipSchema;

package/dist/types/changeset.d.ts

@@ -0,0 +1,22 @@
+import type { Entity } from "./entities";
+import type BaseRelationship from "./relationships";
+export interface UpsertOperation {
+    operation: "upsert";
+    entity: Entity;
+    relationships?: BaseRelationship[];
+}
+export interface DeleteOperation {
+    operation: "delete";
+    id: string;
+}
+export type ChangesetOperation = UpsertOperation | DeleteOperation;
+export interface Changeset {
+    operations: ChangesetOperation[];
+    metadata?: {
+        timestamp: string;
+        author?: string;
+        source?: string;
+    };
+}
+export default Changeset;
+//# sourceMappingURL=changeset.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"changeset.d.ts","sourceRoot":"","sources":["../../src/types/changeset.ts"],"names":[],"mappings":"AA6CA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,KAAK,gBAAgB,MAAM,iBAAiB,CAAC;AAEpD,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,QAAQ,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,gBAAgB,EAAE,CAAC;CACpC;AAED,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,QAAQ,CAAC;IACpB,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,MAAM,kBAAkB,GAAG,eAAe,GAAG,eAAe,CAAC;AAEnE,MAAM,WAAW,SAAS;IACxB,UAAU,EAAE,kBAAkB,EAAE,CAAC;IACjC,QAAQ,CAAC,EAAE;QACT,SAAS,EAAE,MAAM,CAAC;QAClB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC;CACH;AAED,eAAe,SAAS,CAAC"}

package/dist/types/changeset.js

@@ -0,0 +1,18 @@
+/*
+ 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/>.
+*/
+export {};

package/dist/types/entities.d.ts

@@ -0,0 +1,40 @@
+export interface BaseEntity {
+    id: string;
+    title: string;
+    status: string;
+    created_at: string;
+    updated_at: string;
+    source: string;
+    tags?: string[];
+    owner?: string;
+    priority?: string;
+    severity?: string;
+    links?: string[];
+    text_ref?: string;
+}
+export type Requirement = BaseEntity & {
+    type: "req";
+};
+export type Scenario = BaseEntity & {
+    type: "scenario";
+};
+export type TestEntity = BaseEntity & {
+    type: "test";
+};
+export type ADR = BaseEntity & {
+    type: "adr";
+};
+export type Flag = BaseEntity & {
+    type: "flag";
+};
+export type Event = BaseEntity & {
+    type: "event";
+};
+export type Symbol = BaseEntity & {
+    type: "symbol";
+};
+export type Fact = BaseEntity & {
+    type: "fact";
+};
+export type Entity = Requirement | Scenario | TestEntity | ADR | Flag | Event | Symbol | Fact;
+//# sourceMappingURL=entities.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"entities.d.ts","sourceRoot":"","sources":["../../src/types/entities.ts"],"names":[],"mappings":"AA6CA,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;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;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjD,MAAM,MAAM,MAAM,GACd,WAAW,GACX,QAAQ,GACR,UAAU,GACV,GAAG,GACH,IAAI,GACJ,KAAK,GACL,MAAM,GACN,IAAI,CAAC"}

package/dist/types/entities.js

@@ -0,0 +1,18 @@
+/*
+ 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/>.
+*/
+export {};

package/dist/types/relationships.d.ts

@@ -0,0 +1,11 @@
+export interface BaseRelationship {
+    type: "depends_on" | "specified_by" | "verified_by" | "implements" | "covered_by" | "constrained_by" | "constrains" | "requires_property" | "guards" | "publishes" | "consumes" | "supersedes" | "relates_to";
+    from: string;
+    to: string;
+    created_at?: string;
+    created_by?: string;
+    source?: string;
+    confidence?: number;
+}
+export default BaseRelationship;
+//# sourceMappingURL=relationships.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"relationships.d.ts","sourceRoot":"","sources":["../../src/types/relationships.ts"],"names":[],"mappings":"AA6CA,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"}

package/dist/types/relationships.js

@@ -0,0 +1,18 @@
+/*
+ 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/>.
+*/
+export {};

package/package.json

@@ -0,0 +1,57 @@
+{
+  "name": "kibi-cli",
+  "version": "0.1.0",
+  "type": "module",
+  "description": "Kibi CLI for knowledge base management",
+  "engines": {
+    "node": ">=18",
+    "bun": ">=1.0"
+  },
+  "main": "./dist/cli.js",
+  "bin": {
+    "kibi": "./bin/kibi"
+  },
+  "files": ["dist", "bin", "schema", "src/schemas", "src/public"],
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "prepublishOnly": "npm run build"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/cli.d.ts",
+      "default": "./dist/cli.js"
+    },
+    "./prolog": {
+      "types": "./dist/public/prolog/index.d.ts",
+      "default": "./dist/public/prolog/index.js"
+    },
+    "./extractors/symbols-coordinator": {
+      "types": "./dist/public/extractors/symbols-coordinator.d.ts",
+      "default": "./dist/public/extractors/symbols-coordinator.js"
+    },
+    "./schemas/entity": {
+      "types": "./dist/public/schemas/entity.d.ts",
+      "default": "./dist/public/schemas/entity.js"
+    },
+    "./schemas/relationship": {
+      "types": "./dist/public/schemas/relationship.d.ts",
+      "default": "./dist/public/schemas/relationship.js"
+    }
+  },
+  "types": "./dist/cli.d.ts",
+  "dependencies": {
+    "ajv": "^8.12.0",
+    "cli-table3": "^0.6.5",
+    "commander": "^11.0.0",
+    "fast-glob": "^3.2.12",
+    "gray-matter": "^4.0.3",
+    "js-yaml": "^4.1.0",
+    "ts-morph": "^23.0.0"
+  },
+  "license": "AGPL-3.0-or-later",
+  "author": "Piotr Franczyk",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/Looted/kibi.git"
+  }
+}

package/schema/entities.pl

@@ -0,0 +1,50 @@
+% Module: kibi_entities
+% Entity type and property definitions for Kibi knowledge base
+:- module(kibi_entities, [entity_type/1, entity_property/3, required_property/2, optional_property/2]).
+
+% Entity types
+entity_type(req).
+entity_type(scenario).
+entity_type(test).
+entity_type(adr).
+entity_type(flag).
+entity_type(event).
+entity_type(symbol).
+entity_type(fact).
+
+% entity_property(EntityType, Property, Type).
+% Basic typing hints (atom, string, datetime, list, uri)
+entity_property(_, id, atom).
+entity_property(_, title, string).
+entity_property(_, status, atom).
+entity_property(_, created_at, datetime).
+entity_property(_, updated_at, datetime).
+entity_property(_, source, uri).
+
+% Optional properties
+entity_property(_, tags, list).
+entity_property(_, owner, atom).
+entity_property(_, priority, atom).
+entity_property(_, severity, atom).
+entity_property(_, links, list).
+entity_property(_, text_ref, uri).
+
+% Required properties for all entity types
+required_property(Type, id) :- entity_type(Type).
+required_property(Type, title) :- entity_type(Type).
+required_property(Type, status) :- entity_type(Type).
+required_property(Type, created_at) :- entity_type(Type).
+required_property(Type, updated_at) :- entity_type(Type).
+required_property(Type, source) :- entity_type(Type).
+
+% Optional properties for all entity types
+optional_property(Type, tags) :- entity_type(Type).
+optional_property(Type, owner) :- entity_type(Type).
+optional_property(Type, priority) :- entity_type(Type).
+optional_property(Type, severity) :- entity_type(Type).
+optional_property(Type, links) :- entity_type(Type).
+optional_property(Type, text_ref) :- entity_type(Type).
+
+% Documentation helpers
+% list all entity types
+all_entity_types(Ts) :- findall(T, entity_type(T), Ts).

package/schema/relationships.pl

@@ -0,0 +1,47 @@
+% Module: kibi_relationships
+% Relationship type definitions and valid entity combinations
+:- module(kibi_relationships, [relationship_type/1, valid_relationship/3, relationship_metadata/1]).
+
+% Relationship types
+relationship_type(depends_on).
+relationship_type(specified_by).
+relationship_type(verified_by).
+relationship_type(validates).
+relationship_type(implements).
+relationship_type(covered_by).
+relationship_type(constrained_by).
+relationship_type(guards).
+relationship_type(publishes).
+relationship_type(consumes).
+relationship_type(relates_to).
+relationship_type(supersedes).
+relationship_type(constrains).
+relationship_type(requires_property).
+
+% valid_relationship(RelType, FromType, ToType).
+valid_relationship(depends_on, req, req).
+valid_relationship(specified_by, req, scenario).
+valid_relationship(verified_by, req, test).
+valid_relationship(validates, test, req).
+valid_relationship(implements, symbol, req).
+valid_relationship(covered_by, symbol, test).
+valid_relationship(constrained_by, symbol, adr).
+% guards can target symbol, event, or req
+valid_relationship(guards, flag, symbol).
+valid_relationship(guards, flag, event).
+valid_relationship(guards, flag, req).
+valid_relationship(publishes, symbol, event).
+valid_relationship(consumes, symbol, event).
+valid_relationship(constrains, req, fact).
+valid_relationship(requires_property, req, fact).
+
+%% supersedes(+NewAdrId, +OldAdrId)
+%% NewAdrId is the decision that replaces OldAdrId.
+%% OldAdrId's status should be archived or deprecated as a consequence.
+valid_relationship(supersedes, adr, adr).
+valid_relationship(supersedes, req, req).
+% escape hatch - allow any to any
+valid_relationship(relates_to, _, _).
+
+% Relationship metadata fields (some optional)
+relationship_metadata([created_at, created_by, source, confidence]).

package/schema/validation.pl

@@ -0,0 +1,49 @@
+% Module: kibi_validation
+% Validation rules for entities and relationships in Kibi
+:- module(kibi_validation,
+          [ validate_entity/2,        % +Type, +Props
+            validate_relationship/3,  % +RelType, +FromEntity, +ToEntity
+            validate_property_type/3  % +Type, +Prop, +Value
+          ]).
+
+:- use_module('entities.pl').
+:- use_module('relationships.pl').
+
+% validate_entity(+Type, +Props:list)
+% Props is a list of Property=Value pairs (e.g. id=ID, title=Title)
+validate_entity(Type, Props) :-
+    % check entity type exists
+    entity_type(Type),
+    % required properties present
+    forall(required_property(Type, P), memberchk(P=_Val, Props)),
+    % all properties have correct types
+    forall(member(Key=Val, Props), validate_property_type(Type, Key, Val)).
+
+% validate_relationship(+RelType, +From, +To)
+% From and To are pairs Type=Id or structures type(Type) - allow Type or Type=Id
+validate_relationship(RelType, From, To) :-
+    relationship_type(RelType),
+    % extract types
+    type_of(From, FromType),
+    type_of(To, ToType),
+    % valid combination
+    valid_relationship(RelType, FromType, ToType).
+
+type_of(Type, Type) :- atom(Type), entity_type(Type), !.
+type_of(Type=_Id, Type) :- atom(Type), entity_type(Type), !.
+
+% validate_property_type(+EntityType, +Prop, +Value)
+validate_property_type(_Type, Prop, Value) :-
+    % find declared property type, default to atom
+    ( entity_property(_Any, Prop, Kind) -> true ; Kind = atom ),
+    check_kind(Kind, Value), !.
+
+% check_kind(Kind, Value) succeeds if Value matches Kind
+check_kind(atom, V) :- atom(V).
+check_kind(string, V) :- string(V).
+check_kind(datetime, V) :- string(V). % accept ISO strings for now
+check_kind(list, V) :- is_list(V).
+check_kind(uri, V) :- string(V).
+
+% Fallback false
+check_kind(_, _) :- fail.