kibi-cli 0.2.8 → 0.4.0

package/dist/commands/search.js

@@ -0,0 +1,38 @@
+import { VALID_ENTITY_TYPES, queryEntities } from "../query/service.js";
+import { rankEntities } from "../search-ranking.js";
+import { printDiscoveryResult, withAttachedBranchProlog, } from "./discovery-shared.js";
+// implements REQ-mcp-search-discovery, REQ-003
+export async function searchCommand(query, options) {
+    if (!query?.trim()) {
+        console.error("Error: search query is required");
+        process.exitCode = 1;
+        return;
+    }
+    if (options.type && !VALID_ENTITY_TYPES.includes(options.type)) {
+        console.error(`Error: invalid type '${options.type}'. Valid types: ${VALID_ENTITY_TYPES.join(", ")}`);
+        process.exitCode = 1;
+        return;
+    }
+    await withAttachedBranchProlog(async (prolog) => {
+        const limit = Number.parseInt(options.limit || "20", 10);
+        const offset = Number.parseInt(options.offset || "0", 10);
+        const result = await executeSearch(prolog, query, options.type, limit, offset);
+        printDiscoveryResult(options.format, result, buildSearchText(query, result));
+    });
+}
+async function executeSearch(prolog, query, type, limit, offset) {
+    const entitiesResult = await queryEntities(prolog, {
+        type,
+        limit: 100000,
+        offset: 0,
+    });
+    const matches = await rankEntities(entitiesResult.entities, query, process.cwd());
+    const paginated = matches.slice(offset, offset + limit);
+    return { results: paginated, count: matches.length };
+}
+function buildSearchText(query, result) {
+    if (result.count === 0) {
+        return `No search results for '${query}'.`;
+    }
+    return `Found ${result.count} search results for '${query}'. Showing ${result.results.length}: ${result.results.map((match) => match.entity.id).join(", ")}`;
+}

package/dist/commands/status.d.ts

@@ -0,0 +1,6 @@
+interface StatusOptions {
+    format?: "json" | "table";
+}
+export declare function statusCommand(options: StatusOptions): Promise<void>;
+export {};
+//# sourceMappingURL=status.d.ts.map

package/dist/commands/status.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"status.d.ts","sourceRoot":"","sources":["../../src/commands/status.ts"],"names":[],"mappings":"AAOA,UAAU,aAAa;IACrB,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC3B;AAGD,wBAAsB,aAAa,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAgBzE"}

package/dist/commands/status.js

@@ -0,0 +1,9 @@
+import { printDiscoveryResult, resolveCurrentKbPath, runJsonModuleQuery, withPrologProcess, } from "./discovery-shared.js";
+// implements REQ-002, REQ-003
+export async function statusCommand(options) {
+    await withPrologProcess(async (prolog) => {
+        const kbPath = await resolveCurrentKbPath();
+        const result = await runJsonModuleQuery(prolog, "status.pl", "status:kb_status_json(JsonString)", "status query failed", kbPath);
+        printDiscoveryResult(options.format, result, `Branch ${result.branch} is ${result.syncState} (dirty=${result.dirty})`);
+    });
+}

package/dist/commands/sync/persistence.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"persistence.d.ts","sourceRoot":"","sources":["../../../src/commands/sync/persistence.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EACV,qBAAqB,EACrB,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAGrD,MAAM,WAAW,iBAAiB;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,wBAAsB,eAAe,CACnC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,EAC3B,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,GACrB,OAAO,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAAC,CA0DvD;AAED,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,EAC3B,kBAAkB,EAAE,qBAAqB,EAAE,GAC1C,OAAO,CAAC;IAAE,iBAAiB,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAAC,CAiI7D"}
+{"version":3,"file":"persistence.d.ts","sourceRoot":"","sources":["../../../src/commands/sync/persistence.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAEV,qBAAqB,EACrB,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAqErD,MAAM,WAAW,iBAAiB;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,wBAAsB,eAAe,CAEnC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,EAC3B,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,GACrB,OAAO,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAAC,CAoEvD;AAED,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,EAC3B,kBAAkB,EAAE,qBAAqB,EAAE,GAC1C,OAAO,CAAC;IAAE,iBAAiB,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAAC,CAiI7D"}

package/dist/commands/sync/persistence.js

@@ -16,8 +16,69 @@
  along with this program.  If not, see <https://www.gnu.org/licenses/>.
  */
 import * as path from "node:path";
-import { toPrologAtom } from "../../prolog/codec.js";
-export async function persistEntities(prolog, results, entityIds) {
+import { toPrologAtom, toPrologString } from "../../prolog/codec.js";
+// Field categorization for typed fact serialization
+// NOTE: base entity fields (status, owner, priority, severity) are NOT listed here —
+// they are emitted in the base props block above. Only fact-specific atom fields go here.
+const ATOM_FIELDS = new Set([
+    "fact_kind",
+    "operator",
+    "value_type",
+    "polarity",
+]);
+// Typed fact fields only (exclude base entity fields like id, title, etc.)
+const STRING_FIELDS = new Set([
+    "subject_key",
+    "property_key",
+    "value_string",
+    "unit",
+    "scope",
+    "valid_from",
+    "valid_to",
+    "canonical_key",
+]);
+const NUMBER_FIELDS = new Set(["value_int", "value_number"]);
+const BOOLEAN_FIELDS = new Set(["value_bool", "closed_world"]);
+// Serialize typed fact fields from entity
+function serializeTypedFactFields(entity) {
+    const fields = [];
+    const entityRecord = entity;
+    // String fields (safely escaped double-quoted Prolog strings)
+    for (const field of STRING_FIELDS) {
+        const value = entityRecord[field];
+        if (value !== undefined && value !== null) {
+            fields.push(`${field}=${toPrologString(String(value))}`);
+        }
+    }
+    // Atom fields (possibly unquoted if simple)
+    for (const field of ATOM_FIELDS) {
+        const value = entityRecord[field];
+        if (value !== undefined && value !== null) {
+            fields.push(`${field}=${toPrologAtom(String(value))}`);
+        }
+    }
+    // Number fields (unquoted); value_int must be a true integer
+    for (const field of NUMBER_FIELDS) {
+        const value = entityRecord[field];
+        if (value !== undefined && value !== null && typeof value === "number") {
+            if (field === "value_int" && !Number.isInteger(value)) {
+                continue; // silently drop non-integer value_int
+            }
+            fields.push(`${field}=${value}`);
+        }
+    }
+    // Boolean fields (true/false atoms)
+    for (const field of BOOLEAN_FIELDS) {
+        const value = entityRecord[field];
+        if (value !== undefined && value !== null && typeof value === "boolean") {
+            fields.push(`${field}=${value}`);
+        }
+    }
+    return fields;
+}
+export async function persistEntities(
+// implements REQ-009
+prolog, results, entityIds) {
     let entityCount = 0;
     let kbModified = false;
     // Query existing entity IDs to include unchanged entities
@@ -39,12 +100,12 @@ export async function persistEntities(prolog, results, entityIds) {
     for (const { entity } of results) {
         try {
             const props = [
-                `id='${entity.id}'`,
-                `title="${entity.title.replace(/"/g, '\\"')}"`,
+                `id=${toPrologAtom(entity.id)}`,
+                `title=${toPrologString(entity.title)}`,
                 `status=${toPrologAtom(entity.status)}`,
-                `created_at="${entity.created_at}"`,
-                `updated_at="${entity.updated_at}"`,
-                `source="${entity.source.replace(/"/g, '\\"')}"`,
+                `created_at=${toPrologString(entity.created_at)}`,
+                `updated_at=${toPrologString(entity.updated_at)}`,
+                `source=${toPrologString(entity.source)}`,
             ];
             if (entity.tags && entity.tags.length > 0) {
                 const tagsList = entity.tags.map(toPrologAtom).join(",");
@@ -57,18 +118,24 @@ export async function persistEntities(prolog, results, entityIds) {
             if (entity.severity)
                 props.push(`severity=${toPrologAtom(entity.severity)}`);
             if (entity.text_ref)
-                props.push(`text_ref="${entity.text_ref}"`);
+                props.push(`text_ref=${toPrologString(entity.text_ref)}`);
+            // Add typed fact fields for fact entities
+            if (entity.type === "fact") {
+                const factFields = serializeTypedFactFields(entity);
+                props.push(...factFields);
+            }
             const propsList = `[${props.join(", ")}]`;
             const goal = `kb_assert_entity(${entity.type}, ${propsList})`;
             const result = await prolog.query(goal);
-            if (result.success) {
-                entityCount++;
-                kbModified = true;
+            if (!result.success) {
+                throw new Error(result.error || `kb_assert_entity failed for ${entity.id}`);
             }
+            entityCount++;
+            kbModified = true;
         }
         catch (error) {
             const message = error instanceof Error ? error.message : String(error);
-            console.warn(`Warning: Failed to upsert entity ${entity.id}: ${message}`);
+            throw new Error(`Failed to upsert entity ${entity.id}: ${message}`);
         }
     }
     return { entityCount, kbModified };

package/dist/commands/sync.d.ts

@@ -2,9 +2,12 @@ import type { SyncSummary } from "../diagnostics.js";
 export declare class SyncError extends Error {
     constructor(message: string);
 }
+export interface SyncResult extends SyncSummary {
+    exitCode?: number;
+}
 export declare function syncCommand(options?: {
     validateOnly?: boolean;
     rebuild?: boolean;
-}): Promise<SyncSummary>;
+}): Promise<SyncResult>;
 export { normalizeMarkdownPath } from "./sync/discovery.js";
 //# sourceMappingURL=sync.d.ts.map

package/dist/commands/sync.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sync.d.ts","sourceRoot":"","sources":["../../src/commands/sync.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAc,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAyCjE,qBAAa,SAAU,SAAQ,KAAK;gBACtB,OAAO,EAAE,MAAM;CAI5B;AAGD,wBAAsB,WAAW,CAC/B,OAAO,GAAE;IACP,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,OAAO,CAAC,EAAE,OAAO,CAAC;CACd,GACL,OAAO,CAAC,WAAW,CAAC,CA4VtB;AAED,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"sync.d.ts","sourceRoot":"","sources":["../../src/commands/sync.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAc,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAyCjE,qBAAa,SAAU,SAAQ,KAAK;gBACtB,OAAO,EAAE,MAAM;CAI5B;AAGD,MAAM,WAAW,UAAW,SAAQ,WAAW;IAC7C,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAGD,wBAAsB,WAAW,CAC/B,OAAO,GAAE;IACP,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,OAAO,CAAC,EAAE,OAAO,CAAC;CACd,GACL,OAAO,CAAC,UAAU,CAAC,CAmZrB;AAED,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/commands/sync.js

@@ -68,23 +68,17 @@ export async function syncCommand(options = {}) {
         }
         currentBranch = branchResult.branch;
         if (process.env.KIBI_DEBUG) {
-            try {
-                // eslint-disable-next-line no-console
-                console.log("[kibi-debug] currentBranch:", currentBranch);
-            }
-            catch { }
+            // eslint-disable-next-line no-console
+            console.log("[kibi-debug] currentBranch:", currentBranch);
         }
         const config = loadSyncConfig(process.cwd());
         const paths = config.paths;
         const { markdownFiles, manifestFiles, relationshipsDir } = await discoverSourceFiles(process.cwd(), paths);
         if (process.env.KIBI_DEBUG) {
-            try {
-                // eslint-disable-next-line no-console
-                console.log("[kibi-debug] markdownFiles:", markdownFiles.length);
-                // eslint-disable-next-line no-console
-                console.log("[kibi-debug] manifestFiles:", manifestFiles.length);
-            }
-            catch { }
+            // eslint-disable-next-line no-console
+            console.log("[kibi-debug] markdownFiles:", markdownFiles.length);
+            // eslint-disable-next-line no-console
+            console.log("[kibi-debug] manifestFiles:", manifestFiles.length);
         }
         const sourceFiles = [...markdownFiles, ...manifestFiles].sort();
         const cachePath = path.join(process.cwd(), `.kb/branches/${currentBranch}/sync-cache.json`);
@@ -142,27 +136,34 @@ export async function syncCommand(options = {}) {
                 diagnostics.push(createInvalidAuthoringDiagnostic(err.file, embeddedTypes));
             }
         }
-        if (validateOnly) {
-            if (errors.length > 0) {
-                for (const err of errors) {
-                    console.error(`${err.file}: ${err.message}`);
+        if (!validateOnly) {
+            for (const file of manifestFiles) {
+                try {
+                    await refreshManifestCoordinates(file, process.cwd());
+                }
+                catch (error) {
+                    const message = error instanceof Error ? error.message : String(error);
+                    console.warn(`Warning: Failed to refresh symbol coordinates in ${file}: ${message}`);
                 }
-                console.error(`FAILED: ${errors.length} errors found`);
-                process.exit(1);
-            }
-            else {
-                console.log(`OK: Validation passed (${results.length} entities)`);
-                process.exit(0);
             }
         }
-        for (const file of manifestFiles) {
-            try {
-                await refreshManifestCoordinates(file, process.cwd());
-            }
-            catch (error) {
-                const message = error instanceof Error ? error.message : String(error);
-                console.warn(`Warning: Failed to refresh symbol coordinates in ${file}: ${message}`);
+        if (validateOnly && errors.length > 0 && results.length === 0) {
+            for (const err of errors) {
+                console.error(`${err.file}: ${err.message}`);
             }
+            console.error(`FAILED: ${errors.length} errors found`);
+            return {
+                branch: currentBranch,
+                commit: getCurrentCommit(),
+                timestamp: new Date().toISOString(),
+                entityCounts,
+                relationshipCount: 0,
+                success: false,
+                published: false,
+                failures: diagnostics,
+                durationMs: Date.now() - startTime,
+                exitCode: 1,
+            };
         }
         if (results.length === 0 && allRelationships.length === 0 && !rebuild) {
             const evictedHashes = {};
@@ -180,7 +181,18 @@ export async function syncCommand(options = {}) {
                 seenAt: evictedSeenAt,
             });
             console.log("✓ Imported 0 entities, 0 relationships (no changes)");
-            process.exit(0);
+            return {
+                branch: currentBranch,
+                commit: getCurrentCommit(),
+                timestamp: new Date().toISOString(),
+                entityCounts,
+                relationshipCount: 0,
+                success: true,
+                published: false,
+                failures: diagnostics,
+                durationMs: Date.now() - startTime,
+                exitCode: 0,
+            };
         }
         const livePath = path.join(process.cwd(), `.kb/branches/${currentBranch}`);
         const kbExists = existsSync(livePath);
@@ -214,6 +226,42 @@ export async function syncCommand(options = {}) {
             // Persist relationships
             const { relationshipCount, kbModified: relationshipsModified } = await persistRelationships(prolog, results, validRelationships);
             const kbModified = entitiesModified || relationshipsModified;
+            if (validateOnly) {
+                await prolog.query("kb_detach");
+                await prolog.terminate();
+                cleanupStaging(stagingPath);
+                if (errors.length > 0) {
+                    for (const err of errors) {
+                        console.error(`${err.file}: ${err.message}`);
+                    }
+                    console.error(`FAILED: ${errors.length} errors found`);
+                    return {
+                        branch: currentBranch,
+                        commit: getCurrentCommit(),
+                        timestamp: new Date().toISOString(),
+                        entityCounts,
+                        relationshipCount: 0,
+                        success: false,
+                        published: false,
+                        failures: diagnostics,
+                        durationMs: Date.now() - startTime,
+                        exitCode: 1,
+                    };
+                }
+                console.log(`OK: Validation passed (${entityCount} entities)`);
+                return {
+                    branch: currentBranch,
+                    commit: getCurrentCommit(),
+                    timestamp: new Date().toISOString(),
+                    entityCounts,
+                    relationshipCount: 0,
+                    success: true,
+                    published: false,
+                    failures: diagnostics,
+                    durationMs: Date.now() - startTime,
+                    exitCode: 0,
+                };
+            }
             if (kbModified) {
                 prolog.invalidateCache();
             }
@@ -259,7 +307,7 @@ export async function syncCommand(options = {}) {
                 durationMs: Date.now() - startTime,
             };
             console.log(formatSyncSummary(summary));
-            return summary;
+            return { ...summary, exitCode: 0 };
         }
         catch (error) {
             cleanupStaging(stagingPath);

package/dist/extractors/markdown.d.ts

@@ -11,6 +11,22 @@ export interface ExtractedEntity {
     priority?: string;
     severity?: string;
     text_ref?: string;
+    fact_kind?: "subject" | "property_value" | "observation" | "meta";
+    subject_key?: string;
+    property_key?: string;
+    operator?: "eq" | "neq" | "lt" | "lte" | "gt" | "gte";
+    value_type?: "string" | "int" | "number" | "bool";
+    value_string?: string;
+    value_int?: number;
+    value_number?: number;
+    value_bool?: boolean;
+    unit?: string;
+    scope?: string;
+    polarity?: "require" | "forbid";
+    closed_world?: boolean;
+    valid_from?: string;
+    valid_to?: string;
+    canonical_key?: string;
 }
 export interface ExtractedRelationship {
     type: string;
@@ -36,4 +52,5 @@ export declare class FrontmatterError extends Error {
 export declare function detectEmbeddedEntities(data: Record<string, unknown>, entityType: string): string[];
 export declare function extractFromMarkdown(filePath: string): ExtractionResult;
 export declare function inferTypeFromPath(filePath: string): string | null;
+export declare function normalizeDateLike(value: unknown): string | undefined;
 //# sourceMappingURL=markdown.d.ts.map

package/dist/extractors/markdown.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"markdown.d.ts","sourceRoot":"","sources":["../../src/extractors/markdown.ts"],"names":[],"mappings":"AAsBA,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,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,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,eAAe,CAAC;IACxB,aAAa,EAAE,qBAAqB,EAAE,CAAC;CACxC;AAaD,qBAAa,gBAAiB,SAAQ,KAAK;IAOhC,QAAQ,EAAE,MAAM;IANlB,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,CAAC,EAAE,MAAM,CAAC;gBAG5B,OAAO,EAAE,MAAM,EACR,QAAQ,EAAE,MAAM,EACvB,OAAO,CAAC,EAAE;QACR,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,aAAa,CAAC,EAAE,MAAM,CAAC;KACxB;IASM,QAAQ;CAUlB;AAED,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,UAAU,EAAE,MAAM,GACjB,MAAM,EAAE,CA8CV;AAGD,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,CA4JtE;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CASjE"}
+{"version":3,"file":"markdown.d.ts","sourceRoot":"","sources":["../../src/extractors/markdown.ts"],"names":[],"mappings":"AAmDA,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,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,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,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,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,eAAe,CAAC;IACxB,aAAa,EAAE,qBAAqB,EAAE,CAAC;CACxC;AAaD,qBAAa,gBAAiB,SAAQ,KAAK;IAOhC,QAAQ,EAAE,MAAM;IANlB,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,CAAC,EAAE,MAAM,CAAC;gBAG5B,OAAO,EAAE,MAAM,EACR,QAAQ,EAAE,MAAM,EACvB,OAAO,CAAC,EAAE;QACR,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,aAAa,CAAC,EAAE,MAAM,CAAC;KACxB;IASM,QAAQ;CAUlB;AAED,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,UAAU,EAAE,MAAM,GACjB,MAAM,EAAE,CA8CV;AAGD,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,CA+NtE;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CASjE;AASD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAQpE"}

package/dist/extractors/markdown.js

@@ -17,7 +17,33 @@
 */
 import { createHash } from "node:crypto";
 import { readFileSync } from "node:fs";
+import Ajv from "ajv";
 import matter from "gray-matter";
+import entitySchema from "../schemas/entity.schema.json" with { type: "json" };
+// Typed fact field constants for extraction
+const FACT_STRING_FIELDS = [
+    "fact_kind",
+    "subject_key",
+    "property_key",
+    "operator",
+    "value_type",
+    "value_string",
+    "unit",
+    "scope",
+    "polarity",
+    "valid_from",
+    "valid_to",
+    "canonical_key",
+];
+const FACT_NUMBER_FIELDS = ["value_int", "value_number"];
+const FACT_BOOLEAN_FIELDS = ["value_bool", "closed_world"];
+const FACT_ONLY_FIELDS = [
+    ...FACT_STRING_FIELDS,
+    ...FACT_NUMBER_FIELDS,
+    ...FACT_BOOLEAN_FIELDS,
+];
+const ajv = new Ajv({ strict: false, allErrors: true });
+const validateExtractedEntity = ajv.compile(entitySchema);
 const DEFAULT_STATUS_BY_TYPE = {
     req: "open",
     scenario: "draft",
@@ -156,21 +182,75 @@ export function extractFromMarkdown(filePath) {
                 }
             }
         }
+        // Build base entity with explicit field list
+        const entity = {
+            id,
+            type,
+            title: data.title,
+            status: data.status || DEFAULT_STATUS_BY_TYPE[String(type)] || "active",
+            created_at: normalizeDateLike(data.created_at) || new Date().toISOString(),
+            updated_at: normalizeDateLike(data.updated_at) || new Date().toISOString(),
+            source: filePath,
+        };
+        // Add optional base fields only if present
+        if (data.tags !== undefined)
+            entity.tags = data.tags;
+        if (data.owner !== undefined)
+            entity.owner = data.owner;
+        if (data.priority !== undefined)
+            entity.priority = data.priority;
+        if (data.severity !== undefined)
+            entity.severity = data.severity;
+        if (data.text_ref !== undefined)
+            entity.text_ref = data.text_ref;
+        if (type !== "fact") {
+            const invalidFactField = FACT_ONLY_FIELDS.find((field) => data[field] !== undefined);
+            if (invalidFactField) {
+                throw new FrontmatterError(`Fact-only fields are only allowed on type: fact (found ${invalidFactField})`, filePath, {
+                    classification: "Fact Field on Non-Fact Entity",
+                    hint: "Remove fact-only fields or change the entity type to fact.",
+                });
+            }
+        }
+        // Add typed fact fields only for fact entities
+        if (type === "fact") {
+            // String fields
+            for (const field of FACT_STRING_FIELDS) {
+                if (data[field] !== undefined) {
+                    // Normalize date fields
+                    if (field === "valid_from" || field === "valid_to") {
+                        entity[field] =
+                            normalizeDateLike(data[field]);
+                    }
+                    else {
+                        entity[field] = data[field];
+                    }
+                }
+            }
+            // Number fields
+            for (const field of FACT_NUMBER_FIELDS) {
+                if (data[field] !== undefined) {
+                    entity[field] = data[field];
+                }
+            }
+            // Boolean fields
+            for (const field of FACT_BOOLEAN_FIELDS) {
+                if (data[field] !== undefined) {
+                    entity[field] = data[field];
+                }
+            }
+        }
+        if (!validateExtractedEntity(entity)) {
+            const messages = (validateExtractedEntity.errors || [])
+                .map((e) => `${e.instancePath || "root"}: ${e.message}`)
+                .join("; ");
+            throw new FrontmatterError(`Entity validation failed: ${messages}`, filePath, {
+                classification: "Entity Validation Error",
+                hint: "Fix the entity fields so they match the public schema.",
+            });
+        }
         return {
-            entity: {
-                id,
-                type,
-                title: data.title,
-                status: data.status || DEFAULT_STATUS_BY_TYPE[String(type)] || "active",
-                created_at: data.created_at || new Date().toISOString(),
-                updated_at: data.updated_at || new Date().toISOString(),
-                source: filePath,
-                tags: data.tags,
-                owner: data.owner,
-                priority: data.priority,
-                severity: data.severity,
-                text_ref: data.text_ref,
-            },
+            entity,
             relationships,
         };
     }
@@ -234,3 +314,13 @@ function generateId(filePath, title) {
     hash.update(`${filePath}:${title}`);
     return hash.digest("hex").substring(0, 16);
 }
+// implements REQ-007
+export function normalizeDateLike(value) {
+    if (value instanceof Date) {
+        return value.toISOString();
+    }
+    if (typeof value === "string") {
+        return value;
+    }
+    return undefined;
+}

package/dist/prolog/codec.d.ts

@@ -12,16 +12,17 @@ export declare function escapeAtom(value: string): string;
  * Simple atoms (lowercase start, alphanumeric + underscore) pass through.
  */
 export declare function toPrologAtom(value: string): string;
+/**
+ * Escape a string value for use inside a Prolog double-quoted string literal.
+ * Escapes: backslash, double-quote, newline, carriage-return, tab.
+ * Returns the full quoted literal including surrounding double-quotes.
+ */
+export declare function toPrologString(value: string): string;
 /**
  * Escape a string for embedding inside a single-quoted Prolog atom.
  * Alias for escapeAtom for semantic clarity.
  */
 export declare function escapeAtomContent(value: string): string;
-/**
- * Split a string by delimiter at the top level (not inside brackets or quotes).
- * This is the general-purpose version that splits at depth 0.
- */
-export declare function splitTopLevel(str: string, delimiter: string): string[];
 /**
  * Parse a Prolog list of lists into a JavaScript array.
  * Input: "[[a,b,c],[d,e,f]]"
@@ -47,6 +48,16 @@ export declare function parsePropertyList(propsStr: string): Record<string, unkn
  * Parse a single Prolog value, handling typed literals and URIs.
  */
 export declare function parsePrologValue(valueInput: string): unknown;
+/**
+ * General-purpose split at top level (not inside brackets or quotes).
+ * More robust version used by property parsing.
+ */
+export declare function splitTopLevelGeneral(str: string, delimiter: string): string[];
+/**
+ * Split a string by delimiter at the top level (not inside brackets or quotes).
+ * @see splitTopLevelGeneral
+ */
+export declare function splitTopLevel(str: string, delimiter: string): string[];
 /**
  * Parse an atom list from Prolog response.
  * Input: "[a, b, c]" or atom string
@@ -60,4 +71,20 @@ export declare function parsePairList(raw: string): Array<[string, string]>;
  * Parse a list of triples from Prolog response.
  */
 export declare function parseTriples(raw: string): Array<[string, string, string]>;
+/**
+ * Parsed violation from Prolog check output.
+ */
+export interface ParsedViolation {
+    rule: string;
+    entityId: string;
+    description: string;
+    suggestion: string;
+    source?: string;
+}
+/**
+ * Parse a Prolog list of violation/5 terms into JavaScript objects.
+ * Handles descriptions and suggestions that contain commas or nested parens.
+ * Input: "[violation(rule,'EntityId',\"Desc\",\"Sugg\",'src')]"
+ */
+export declare function parseViolationRows(raw: string): ParsedViolation[];
 //# sourceMappingURL=codec.d.ts.map

package/dist/prolog/codec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../../src/prolog/codec.ts"],"names":[],"mappings":"AAUA;;;GAGG;AAEH;;;GAGG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEhD;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAKlD;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEvD;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAwDtE;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CA6C5D;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,MAAM,GACjB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAczB;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAW3E;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA6B3E;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CA2E5D;AAmED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAcnD;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAclE;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAczE"}
+{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../../src/prolog/codec.ts"],"names":[],"mappings":"AAUA;;;GAGG;AAEH;;;GAGG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEhD;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAKlD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CASpD;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEvD;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CA6C5D;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,MAAM,GACjB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAczB;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAW3E;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA6B3E;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAwF5D;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAoD7E;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAGtE;AA2BD;;;GAGG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAcnD;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAclE;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAczE;AA6DD;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,eAAe,EAAE,CA0CjE"}