kibi-cli 0.16.1 → 0.18.1

package/dist/extractors/markdown.js

@@ -20,6 +20,7 @@ import { readFileSync } from "node:fs";
 import Ajv from "ajv";
 import { load as yamlLoad } from "js-yaml";
 import { semanticClaimKey } from "../operations/semantic-advisor/clauses.js";
+import { verificationReceiptHistoryErrors, } from "../public/verification-receipt.js";
 import entitySchema from "../schemas/entity.schema.json" with { type: "json" };
 // Typed fact field constants for extraction
 const FACT_STRING_FIELDS = [
@@ -39,11 +40,18 @@ const FACT_STRING_FIELDS = [
     "claim_text",
     "predicate_name",
     "predicate_namespace",
+    "rule_ir",
+    "rule_hash",
+    "rule_schema_id",
+    "rule_name",
+    "semantic_key",
 ];
 const FACT_NUMBER_FIELDS = [
     "value_int",
     "value_number",
     "predicate_arity",
+    "claim_span_start",
+    "claim_span_end",
 ];
 const FACT_BOOLEAN_FIELDS = ["value_bool", "closed_world"];
 const FACT_STRING_ARRAY_FIELDS = [
@@ -63,6 +71,7 @@ const FACT_ONLY_FIELDS = [
 const TEST_ENUM_FIELDS = [
     "verification_scope",
     "verification_perspective",
+    "verification_receipts",
 ];
 const ajv = new Ajv({ strict: false, allErrors: true });
 const validateExtractedEntity = ajv.compile(entitySchema);
@@ -88,6 +97,7 @@ const VALID_RELATIONSHIP_TYPES = new Set([
     "constrains",
     "requires_property",
     "requires_predicate",
+    "requires_rule",
     "guards",
     "publishes",
     "consumes",
@@ -108,6 +118,7 @@ const VALID_RELATIONSHIP_DIRECTIONS = [
     { type: "constrains", from: "req", to: "fact" },
     { type: "requires_property", from: "req", to: "fact" },
     { type: "requires_predicate", from: "req", to: "fact" },
+    { type: "requires_rule", from: "req", to: "fact" },
     { type: "guards", from: "flag", to: "symbol" },
     { type: "guards", from: "flag", to: "event" },
     { type: "guards", from: "flag", to: "req" },
@@ -221,6 +232,16 @@ function parseFrontmatter(content) {
         content: parts.slice(2).join("---"),
     };
 }
+// implements REQ-kibi-legacy-migration-preview-v2
+export function requirementSemanticText(body) {
+    return body
+        .replace(/\r\n?/g, "\n")
+        .split("\n")
+        .filter((line) => !/^\s{0,3}#{1,6}(?:\s+|$)/.test(line))
+        .map((line) => line.replace(/^\s*(?:(?:[-*+]|\d+[.)])\s+|>\s*)/, ""))
+        .join("\n")
+        .trim();
+}
 function hasLikelyUnquotedColonInTitle(content) {
     if (!content.trim().startsWith("---")) {
         return false;
@@ -285,7 +306,7 @@ data, entityType) {
 // implements REQ-007, REQ-004
 function extractFromMarkdownContent(content, filePath) {
     try {
-        const { data } = parseFrontmatter(content);
+        const { data, content: body } = parseFrontmatter(content);
         if (content.trim().startsWith("---")) {
             const parts = content.split("---");
             if (parts.length < 3) {
@@ -361,11 +382,32 @@ function extractFromMarkdownContent(content, filePath) {
             entity.priority = data.priority;
         if (data.severity !== undefined)
             entity.severity = data.severity;
-        if (data.text_ref !== undefined)
+        if (data.text_ref !== undefined) {
             entity.text_ref = data.text_ref;
+        }
+        if (type === "req" && data.semantic_text !== undefined) {
+            entity.semantic_text = data.semantic_text;
+        }
+        else if (type === "req") {
+            const semanticText = requirementSemanticText(body);
+            if (semanticText)
+                entity.semantic_text = semanticText;
+        }
         if (type === "req" && Array.isArray(data.logic_claims)) {
             entity.logic_claims = data.logic_claims.filter((value) => typeof value === "string");
         }
+        if (type === "req" && Array.isArray(data.semantic_clauses)) {
+            entity.semantic_clauses = data.semantic_clauses.filter((value) => typeof value === "string");
+        }
+        if (type === "req" && data.semantic_inventory_version !== undefined) {
+            entity.semantic_inventory_version = data.semantic_inventory_version;
+        }
+        if (type === "req" && data.semantic_source_field !== undefined) {
+            entity.semantic_source_field = data.semantic_source_field;
+        }
+        if (type === "req" && data.semantic_source_hash !== undefined) {
+            entity.semantic_source_hash = data.semantic_source_hash;
+        }
         if (type !== "fact") {
             const invalidFactField = FACT_ONLY_FIELDS.find((field) => data[field] !== undefined);
             if (invalidFactField) {
@@ -403,6 +445,40 @@ function extractFromMarkdownContent(content, filePath) {
                 }
                 entity.verification_perspective = data.verification_perspective;
             }
+            if (data.verification_receipts !== undefined) {
+                if (!Array.isArray(data.verification_receipts)) {
+                    throw new FrontmatterError("Invalid verification_receipts; expected an array", filePath, {
+                        classification: "Invalid Test Verification Receipts",
+                        hint: "Use append-only kibi.verification-receipt.v1 objects.",
+                    });
+                }
+                const normalizedReceipts = data.verification_receipts.map((value) => {
+                    if (typeof value !== "object" ||
+                        value === null ||
+                        Array.isArray(value)) {
+                        return value;
+                    }
+                    return {
+                        ...value,
+                        ...(normalizeDateLike(value.started_at) !== undefined
+                            ? { started_at: normalizeDateLike(value.started_at) }
+                            : {}),
+                        ...(normalizeDateLike(value.finished_at) !== undefined
+                            ? { finished_at: normalizeDateLike(value.finished_at) }
+                            : {}),
+                    };
+                });
+                entity.verification_receipts = normalizedReceipts;
+                const errors = verificationReceiptHistoryErrors(entity.id, entity.verification_scope, normalizedReceipts.filter((value) => typeof value === "object" &&
+                    value !== null &&
+                    !Array.isArray(value)));
+                if (errors.length > 0) {
+                    throw new FrontmatterError(errors.join("; "), filePath, {
+                        classification: "Invalid Test Verification Receipts",
+                        hint: "Bind every receipt to this test and its typed verification_scope, with unique IDs and ordered ISO-8601 timestamps.",
+                    });
+                }
+            }
         }
         // Add typed fact fields only for fact entities
         //
@@ -444,6 +520,9 @@ function extractFromMarkdownContent(content, filePath) {
                 }
             }
         }
+        if (type === "req" && Array.isArray(data.semantic_inventory)) {
+            entity.semantic_inventory = data.semantic_inventory.filter((value) => isObjectRecord(value));
+        }
         if (!validateExtractedEntity(entity)) {
             const messages = (validateExtractedEntity.errors || [])
                 .map((e) => `${e.instancePath || "root"}: ${e.message}`)

package/dist/logic/ir.d.ts

@@ -0,0 +1,112 @@
+/** The only serialized logic language accepted by Kibi. */
+export declare const LOGIC_IR_VERSION: "kibi.logic.v1";
+export declare const LOGIC_RULE_MAX_DEPTH = 16;
+export declare const LOGIC_RULE_MAX_ATOMS = 64;
+export declare const LOGIC_RULE_MAX_VARIABLES = 32;
+export type LogicModality = "assert" | "deny" | "oblige" | "permit" | "forbid";
+export type LogicRuleKind = "atom" | "rule" | "constraint";
+export type LogicVariableQuantifier = "forall" | "exists";
+export type LogicTerm = {
+    readonly kind: "var";
+    readonly name: string;
+    readonly type: string;
+} | {
+    readonly kind: "const";
+    readonly value: string;
+    readonly type?: string;
+} | {
+    readonly kind: "number";
+    readonly value: number;
+    readonly unit?: string;
+} | {
+    readonly kind: "duration";
+    readonly value: number;
+    readonly unit: "ms" | "s" | "m" | "h" | "d" | "w";
+} | {
+    readonly kind: "timestamp";
+    readonly value: string;
+} | {
+    readonly kind: "interval";
+    readonly start: string;
+    readonly end: string;
+};
+export interface LogicAtom {
+    readonly kind: "atom";
+    readonly namespace?: string;
+    readonly name: string;
+    readonly args: readonly LogicTerm[];
+    /** Explicit positive/negative information. This is not negation-as-failure. */
+    readonly polarity?: "positive" | "negative";
+    /** Required when the atom is used beneath `not`. */
+    readonly closedWorld?: boolean;
+}
+export type LogicExpression = LogicAtom | {
+    readonly kind: "all";
+    readonly items: readonly LogicExpression[];
+} | {
+    readonly kind: "any";
+    readonly items: readonly LogicExpression[];
+} | {
+    readonly kind: "not";
+    readonly item: LogicAtom;
+} | {
+    readonly kind: "compare";
+    readonly operator: "eq" | "neq" | "lt" | "lte" | "gt" | "gte";
+    readonly left: LogicTerm;
+    readonly right: LogicTerm;
+} | {
+    readonly kind: "count";
+    readonly atom: LogicAtom;
+    readonly operator: "eq" | "neq" | "lt" | "lte" | "gt" | "gte";
+    readonly value: number;
+} | {
+    readonly kind: "temporal";
+    readonly relation: "before" | "after" | "during" | "overlaps" | "starts" | "finishes";
+    readonly left: LogicTerm;
+    readonly right: LogicTerm;
+};
+export interface LogicVariable {
+    readonly name: string;
+    readonly type: string;
+    readonly quantifier?: LogicVariableQuantifier;
+}
+export interface LogicScope {
+    readonly authority?: string;
+    readonly name?: string;
+    readonly tags?: readonly string[];
+}
+export interface LogicRuleIR {
+    readonly version: typeof LOGIC_IR_VERSION;
+    readonly kind: LogicRuleKind;
+    readonly modality: LogicModality;
+    readonly head?: LogicAtom;
+    readonly body?: LogicExpression;
+    readonly variables?: readonly LogicVariable[];
+    readonly exceptions?: readonly LogicExpression[];
+    readonly scope?: LogicScope;
+    readonly validFrom?: string;
+    readonly validTo?: string;
+    readonly ruleSchemaId?: string;
+}
+export interface LogicValidationResult {
+    readonly valid: boolean;
+    readonly errors: readonly string[];
+    readonly warnings: readonly string[];
+    readonly normalized?: LogicRuleIR;
+    readonly canonicalJson?: string;
+    readonly ruleHash?: string;
+    readonly semanticKey?: string;
+    readonly renderedProlog?: string;
+}
+/** Canonical JSON is the persistence and semantic-identity boundary. */
+export declare function canonicalLogicJson(ir: LogicRuleIR): string;
+export declare function logicRuleHash(ir: LogicRuleIR): string;
+export declare function logicSemanticKey(ir: LogicRuleIR): string;
+/** Rendered output is an audit preview only; it is never evaluated as source. */
+export declare function renderLogicProlog(ir: LogicRuleIR): string;
+export declare function validateLogicIr(input: unknown): LogicValidationResult;
+export declare function utf8Span(text: string, start: number, end: number): {
+    readonly start: number;
+    readonly end: number;
+};
+//# sourceMappingURL=ir.d.ts.map

package/dist/logic/ir.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../../src/logic/ir.ts"],"names":[],"mappings":"AAGA,2DAA2D;AAC3D,eAAO,MAAM,gBAAgB,EAAG,eAAwB,CAAC;AACzD,eAAO,MAAM,oBAAoB,KAAK,CAAC;AACvC,eAAO,MAAM,oBAAoB,KAAK,CAAC;AACvC,eAAO,MAAM,wBAAwB,KAAK,CAAC;AAE3C,MAAM,MAAM,aAAa,GAAG,QAAQ,GAAG,MAAM,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAC/E,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,MAAM,GAAG,YAAY,CAAC;AAC3D,MAAM,MAAM,uBAAuB,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAC1D,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACtE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1E;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC3E;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;CACnD,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACtD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEN,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,SAAS,EAAE,CAAC;IACpC,+EAA+E;IAC/E,QAAQ,CAAC,QAAQ,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IAC5C,oDAAoD;IACpD,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC;AAED,MAAM,MAAM,eAAe,GACvB,SAAS,GACT;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAA;CAAE,GACpE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAA;CAAE,GACpE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAClD;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IAC9D,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;CAC3B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IAC9D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EACb,QAAQ,GACR,OAAO,GACP,QAAQ,GACR,UAAU,GACV,QAAQ,GACR,UAAU,CAAC;IACf,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;CAC3B,CAAC;AAEN,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,uBAAuB,CAAC;CAC/C;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,gBAAgB,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IACjD,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC;AAwCD,wEAAwE;AACxE,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,WAAW,GAAG,MAAM,CAE1D;AAED,wBAAgB,aAAa,CAAC,EAAE,EAAE,WAAW,GAAG,MAAM,CAErD;AAED,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,WAAW,GAAG,MAAM,CAExD;AA6nBD,iFAAiF;AACjF,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,WAAW,GAAG,MAAM,CAIzD;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,qBAAqB,CAoNrE;AAED,wBAAgB,QAAQ,CACtB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,GACV;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAKlD"}