kibi-cli 0.17.0 → 0.18.1

package/dist/commands/sync.js

@@ -21,6 +21,8 @@ import * as path from "node:path";
 import { branchErrorToDiagnostic, createDocsNotIndexedDiagnostic, createInvalidAuthoringDiagnostic, createKbMissingDiagnostic, formatSyncSummary, } from "../diagnostics.js";
 import { isCliDebugEnabled } from "../env.js";
 import { extractFromRelationshipShards, flattenRelationships, validateRelationships, } from "../extractors/relationships.js";
+import { analyzeSemanticAdvisorInput } from "../operations/semantic-advisor/analyze-prose.js";
+import { validateSemanticInventoryBoundary } from "../operations/semantic-advisor/ingestion-boundary.js";
 import { PrologProcess } from "../prolog.js";
 import { resolveActiveBranch, } from "../utils/branch-resolver.js";
 import { loadSyncConfig } from "../utils/config.js";
@@ -90,6 +92,13 @@ export async function syncCommand(options = {}, runtime = {}) {
         const nowMs = Date.now();
         const nextHashes = {};
         const nextSeenAt = {};
+        const nextSemanticHashes = {
+            ...syncCache.semanticHashes,
+        };
+        const nextSemanticContracts = {
+            ...syncCache.semanticContracts,
+        };
+        const initialSemanticBaseline = Object.keys(syncCache.hashes).length === 0;
         const shardResults = extractFromRelationshipShards(relationshipsDir);
         const allRelationships = flattenRelationships(shardResults);
         const changedMarkdownFiles = [];
@@ -120,9 +129,56 @@ export async function syncCommand(options = {}, runtime = {}) {
                 console.warn(`Warning: Failed to hash ${file}: ${message}`);
             }
         }
+        // Coordinate refresh must precede extraction so the manifest overlay that
+        // is persisted into RDF observes the newly generated coordinates. Force
+        // each refreshed manifest through extraction even when its authored YAML
+        // hash is unchanged; the generated coordinate artifact is an input too.
+        if (!validateOnly && options.refreshSymbolCoordinates) {
+            for (const file of manifestFiles) {
+                try {
+                    await refreshManifestCoordinates(file, process.cwd(), {
+                        refreshSymbolCoordinates: options.refreshSymbolCoordinates,
+                    });
+                    if (!changedManifestFiles.includes(file)) {
+                        changedManifestFiles.push(file);
+                    }
+                }
+                catch (error) {
+                    const message = error instanceof Error ? error.message : String(error);
+                    console.warn(`Warning: Failed to refresh symbol coordinates in ${file}: ${message}`);
+                }
+            }
+        }
         const performedFullReindex = changedMarkdownFiles.length === markdownFiles.length &&
             changedManifestFiles.length === manifestFiles.length;
         const { results, failedCacheKeys, errors } = await processExtractions(changedMarkdownFiles, changedManifestFiles, validateOnly);
+        for (const result of results) {
+            if (result.entity.type !== "req")
+                continue;
+            const key = toCacheKey(result.entity.source);
+            const payload = {
+                type: result.entity.type,
+                id: result.entity.id,
+                properties: result.entity,
+                relationships: result.relationships,
+            };
+            const semantic = analyzeSemanticAdvisorInput({ payload });
+            const boundary = validateSemanticInventoryBoundary(payload, result.relationships, semantic.receipt);
+            const previousSemanticHash = syncCache.semanticHashes[key];
+            const advertisedContract = result.entity.semantic_inventory_version !== undefined ||
+                result.entity.semantic_source_hash !== undefined ||
+                result.entity.semantic_inventory !== undefined;
+            const enforceBoundary = (!initialSemanticBaseline && syncCache.hashes[key] === undefined) ||
+                syncCache.semanticContracts[key] === true ||
+                (previousSemanticHash !== undefined &&
+                    previousSemanticHash !== boundary.sourceHash) ||
+                advertisedContract;
+            if (enforceBoundary && boundary.errors.length > 0) {
+                throw new SyncError(`${key}: proposition-complete ingestion failed: ${boundary.errors.join("; ")}. Run kb_semantic_advisor with the complete requirement prose and preserve its inventory contract.`);
+            }
+            nextSemanticHashes[key] = boundary.sourceHash;
+            nextSemanticContracts[key] = advertisedContract;
+        }
         // Collect INVALID_AUTHORING diagnostics
         for (const err of errors) {
             const error = new Error(err.message);
@@ -139,21 +195,6 @@ export async function syncCommand(options = {}, runtime = {}) {
                 diagnostics.push(createInvalidAuthoringDiagnostic(err.file, embeddedTypes));
             }
         }
-        if (!validateOnly) {
-            if (options.refreshSymbolCoordinates) {
-                for (const file of manifestFiles) {
-                    try {
-                        await refreshManifestCoordinates(file, process.cwd(), {
-                            refreshSymbolCoordinates: options.refreshSymbolCoordinates,
-                        });
-                    }
-                    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}`);
@@ -174,17 +215,25 @@ export async function syncCommand(options = {}, runtime = {}) {
         if (results.length === 0 && allRelationships.length === 0 && !rebuild) {
             const evictedHashes = {};
             const evictedSeenAt = {};
+            const evictedSemanticHashes = {};
+            const evictedSemanticContracts = {};
             for (const [key, hash] of Object.entries(nextHashes)) {
                 if (failedCacheKeys.has(key)) {
                     continue;
                 }
                 evictedHashes[key] = hash;
                 evictedSeenAt[key] = nextSeenAt[key] ?? nowIso;
+                if (nextSemanticHashes[key] !== undefined) {
+                    evictedSemanticHashes[key] = nextSemanticHashes[key];
+                    evictedSemanticContracts[key] = nextSemanticContracts[key] === true;
+                }
             }
             writeSyncCache(cachePath, {
                 version: SYNC_CACHE_VERSION,
                 hashes: evictedHashes,
                 seenAt: evictedSeenAt,
+                semanticHashes: evictedSemanticHashes,
+                semanticContracts: evictedSemanticContracts,
             });
             console.log("✓ Imported 0 entities, 0 relationships (no changes)");
             return withOptionalCommit({
@@ -288,18 +337,26 @@ export async function syncCommand(options = {}, runtime = {}) {
             cleanupStaging(stagingPath);
             const evictedHashes = {};
             const evictedSeenAt = {};
+            const evictedSemanticHashes = {};
+            const evictedSemanticContracts = {};
             for (const [key, hash] of Object.entries(nextHashes)) {
                 if (failedCacheKeys.has(key)) {
                     continue;
                 }
                 evictedHashes[key] = hash;
                 evictedSeenAt[key] = nextSeenAt[key] ?? nowIso;
+                if (nextSemanticHashes[key] !== undefined) {
+                    evictedSemanticHashes[key] = nextSemanticHashes[key];
+                    evictedSemanticContracts[key] = nextSemanticContracts[key] === true;
+                }
             }
             const liveCachePath = path.join(livePath, "sync-cache.json");
             writeSyncCache(liveCachePath, {
                 version: SYNC_CACHE_VERSION,
                 hashes: evictedHashes,
                 seenAt: evictedSeenAt,
+                semanticHashes: evictedSemanticHashes,
+                semanticContracts: evictedSemanticContracts,
             });
             published = true;
             if (performedFullReindex &&

package/dist/commands/usage-metrics.d.ts

@@ -1,8 +1,72 @@
 import type { CommandResult } from "../cli.js";
-interface UsageMetricsOptions {
+import { type TelemetryAcceptanceReport, type TelemetryUsageEvent } from "../public/telemetry-acceptance.js";
+export interface UsageMetricsOptions {
     format?: "json" | "table";
     limit?: string;
+    requireAcceptance?: boolean;
+}
+export interface UsageLogRow extends TelemetryUsageEvent {
+    branch?: string;
+    active_branch?: string;
+    sourceFile?: string;
+    args?: {
+        sourceFile?: string;
+        [key: string]: unknown;
+    };
+    business_args?: Readonly<{
+        sourceFile?: string;
+        [key: string]: unknown;
+    }>;
+    result_summary?: string;
+    violation_count?: number;
+    error?: string;
+    error_message?: string;
+    error_category?: string;
+    error_stage?: string;
+}
+export interface UsageMetricsReport {
+    rowCount: number;
+    dateRange: {
+        first: string | null;
+        last: string | null;
+    };
+    toolCounts: Record<string, number>;
+    branchCounts: Record<string, number>;
+    outcomeCounts: {
+        success: number;
+        error: number;
+    };
+    telemetry: {
+        completeCount: number;
+        missingCount: number;
+        completenessRate: number;
+    };
+    zeroResults: {
+        count: number;
+        rate: number;
+        byTool: Record<string, number>;
+        topSourceFiles: Array<{
+            sourceFile: string;
+            count: number;
+        }>;
+    };
+    kbCheck: {
+        violationTrend: Array<{
+            timestamp: string;
+            violationCount: number;
+        }>;
+    };
+    upsertErrors: {
+        categories: Record<string, number>;
+    };
+    errors: {
+        categories: Record<string, number>;
+        stages: Record<string, number>;
+        byTool: Record<string, number>;
+    };
+    acceptance: TelemetryAcceptanceReport;
 }
 export declare function usageMetricsCommand(options: UsageMetricsOptions): Promise<CommandResult | undefined>;
-export {};
+export declare function parseUsageLog(contents: string): UsageLogRow[];
+export declare function buildUsageMetricsReport(rows: UsageLogRow[], limit: number, now?: Date): UsageMetricsReport;
 //# sourceMappingURL=usage-metrics.d.ts.map

package/dist/commands/usage-metrics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"usage-metrics.d.ts","sourceRoot":"","sources":["../../src/commands/usage-metrics.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAE/C,UAAU,mBAAmB;IAC3B,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAyED,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,aAAa,GAAG,SAAS,CAAC,CAuBpC"}
+{"version":3,"file":"usage-metrics.d.ts","sourceRoot":"","sources":["../../src/commands/usage-metrics.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EACL,KAAK,yBAAyB,EAC9B,KAAK,mBAAmB,EAGzB,MAAM,mCAAmC,CAAC;AAE3C,MAAM,WAAW,mBAAmB;IAClC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED,MAAM,WAAW,WAAY,SAAQ,mBAAmB;IACtD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,IAAI,CAAC,EAAE;QACL,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;KACxB,CAAC;IACF,aAAa,CAAC,EAAE,QAAQ,CAAC;QACvB,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;KACxB,CAAC,CAAC;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE;QACT,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;QACrB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;KACrB,CAAC;IACF,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrC,aAAa,EAAE;QACb,OAAO,EAAE,MAAM,CAAC;QAChB,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;IACF,SAAS,EAAE;QACT,aAAa,EAAE,MAAM,CAAC;QACtB,YAAY,EAAE,MAAM,CAAC;QACrB,gBAAgB,EAAE,MAAM,CAAC;KAC1B,CAAC;IACF,WAAW,EAAE;QACX,KAAK,EAAE,MAAM,CAAC;QACd,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC/B,cAAc,EAAE,KAAK,CAAC;YACpB,UAAU,EAAE,MAAM,CAAC;YACnB,KAAK,EAAE,MAAM,CAAC;SACf,CAAC,CAAC;KACJ,CAAC;IACF,OAAO,EAAE;QACP,cAAc,EAAE,KAAK,CAAC;YACpB,SAAS,EAAE,MAAM,CAAC;YAClB,cAAc,EAAE,MAAM,CAAC;SACxB,CAAC,CAAC;KACJ,CAAC;IACF,YAAY,EAAE;QACZ,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;KACpC,CAAC;IACF,MAAM,EAAE;QACN,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACnC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC/B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;KAChC,CAAC;IACF,UAAU,EAAE,yBAAyB,CAAC;CACvC;AAGD,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,aAAa,GAAG,SAAS,CAAC,CAgCpC;AAED,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,EAAE,CAE7D;AAED,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,WAAW,EAAE,EACnB,KAAK,EAAE,MAAM,EACb,GAAG,GAAE,IAAiB,GACrB,kBAAkB,CA4HpB"}

package/dist/commands/usage-metrics.js

@@ -1,6 +1,7 @@
 import { existsSync, readFileSync } from "node:fs";
 import path from "node:path";
 import Table from "cli-table3";
+import { analyzeTelemetryAcceptance, parseTelemetryUsageLog, } from "../public/telemetry-acceptance.js";
 // implements REQ-003
 export async function usageMetricsCommand(options) {
     const limit = Number.parseInt(options.limit || "10", 10);
@@ -15,36 +16,23 @@ export async function usageMetricsCommand(options) {
     }
     const rows = parseUsageLog(readFileSync(usageLogPath, "utf8"));
     const report = buildUsageMetricsReport(rows, limit);
+    const gateResult = options.requireAcceptance === true && report.acceptance.status !== "passed"
+        ? { exitCode: 1 }
+        : undefined;
     if (options.format === "json") {
         console.log(JSON.stringify(report, null, 2));
-        return;
+        return gateResult;
     }
     console.log(renderUsageMetricsReport(report));
-    return;
-}
-function parseUsageLog(contents) {
-    const rows = [];
-    for (const [index, line] of contents.split(/\r?\n/).entries()) {
-        const trimmed = line.trim();
-        if (!trimmed) {
-            continue;
-        }
-        let parsed;
-        try {
-            parsed = JSON.parse(trimmed);
-        }
-        catch (error) {
-            const message = error instanceof Error ? error.message : String(error);
-            throw new Error(`Failed to parse .kb/usage.log line ${index + 1}: ${message}`);
-        }
-        if (!parsed || typeof parsed !== "object") {
-            throw new Error(`Failed to parse .kb/usage.log line ${index + 1}: expected object`);
-        }
-        rows.push(parsed);
+    if (gateResult) {
+        console.error(`Telemetry acceptance gate: ${report.acceptance.status}. Review the acceptance metrics and quality diagnostics before completion.`);
     }
-    return rows;
+    return gateResult;
+}
+export function parseUsageLog(contents) {
+    return parseTelemetryUsageLog(contents);
 }
-function buildUsageMetricsReport(rows, limit) {
+export function buildUsageMetricsReport(rows, limit, now = new Date()) {
     const timestamps = rows
         .map((row) => row.timestamp)
         .filter((value) => typeof value === "string")
@@ -140,6 +128,7 @@ function buildUsageMetricsReport(rows, limit) {
             stages: mapToSortedObject(errorStages),
             byTool: mapToSortedObject(errorsByTool),
         },
+        acceptance: analyzeTelemetryAcceptance(rows, now),
     };
 }
 function hasCompleteTelemetry(row) {
@@ -271,6 +260,7 @@ function mapToSortedObject(counts) {
 function renderUsageMetricsReport(report) {
     const sections = [
         renderSummaryTable(report),
+        renderAcceptanceTable(report.acceptance),
         renderCountsTable("Tool Counts", "Tool", report.toolCounts),
         renderCountsTable("Branch Counts", "Branch", report.branchCounts),
         renderCountsTable("Outcome Counts", "Outcome", report.outcomeCounts),
@@ -284,6 +274,26 @@ function renderUsageMetricsReport(report) {
     ].filter(Boolean);
     return sections.join("\n\n");
 }
+function renderAcceptanceTable(report) {
+    const table = new Table({
+        head: ["Metric", "Status", "Observed", "Rate"],
+        colWidths: [36, 24, 18, 14],
+        wordWrap: true,
+    });
+    for (const metric of report.metrics) {
+        table.push([
+            metric.id,
+            metric.status,
+            `${metric.numerator}/${metric.denominator}`,
+            metric.rate === undefined ? "-" : formatRate(metric.rate),
+        ]);
+    }
+    return [
+        `Telemetry Acceptance (${report.version})`,
+        `Status: ${report.status}; evidence fresh: ${report.scope.fresh ? "yes" : "no"}`,
+        table.toString(),
+    ].join("\n");
+}
 function renderSummaryTable(report) {
     const table = new Table({
         head: ["Field", "Value"],

package/dist/commands/usage-remediation.d.ts

@@ -0,0 +1,9 @@
+import type { CommandResult } from "../cli.js";
+import { type TelemetryRemediationReport } from "../public/telemetry-remediation.js";
+export interface UsageRemediationOptions {
+    readonly format?: "json" | "table";
+    readonly limit?: string;
+}
+export declare function renderUsageRemediationReport(report: TelemetryRemediationReport, limit: number): string;
+export declare function usageRemediationCommand(options: UsageRemediationOptions): Promise<CommandResult | undefined>;
+//# sourceMappingURL=usage-remediation.d.ts.map

package/dist/commands/usage-remediation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"usage-remediation.d.ts","sourceRoot":"","sources":["../../src/commands/usage-remediation.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAE/C,OAAO,EACL,KAAK,0BAA0B,EAEhC,MAAM,oCAAoC,CAAC;AAE5C,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,0BAA0B,EAClC,KAAK,EAAE,MAAM,GACZ,MAAM,CA0BR;AAED,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,uBAAuB,GAC/B,OAAO,CAAC,aAAa,GAAG,SAAS,CAAC,CA0BpC"}

package/dist/commands/usage-remediation.js

@@ -0,0 +1,52 @@
+import { existsSync, readFileSync } from "node:fs";
+import path from "node:path";
+import Table from "cli-table3";
+import { parseTelemetryUsageLog } from "../public/telemetry-acceptance.js";
+import { buildTelemetryRemediationReport, } from "../public/telemetry-remediation.js";
+export function renderUsageRemediationReport(report, limit) {
+    const table = new Table({
+        head: ["Rank", "Metric", "Line", "Target", "Reason", "Repair"],
+        colWidths: [7, 28, 8, 26, 42, 48],
+        wordWrap: true,
+    });
+    for (const item of report.items.slice(0, limit)) {
+        table.push([
+            item.rank,
+            item.metric,
+            item.event?.logLine ?? "report",
+            item.target,
+            item.reason,
+            item.action,
+        ]);
+    }
+    const suffix = report.items.length > limit
+        ? `\nShowing ${limit}/${report.items.length} remediation items.`
+        : "";
+    return ([
+        `Telemetry remediation: ${report.status} (${report.summary.eventItems} event, ${report.summary.reportItems} report-level)`,
+        table.toString(),
+    ].join("\n") + suffix);
+}
+export async function usageRemediationCommand(options) {
+    const limit = Number.parseInt(options.limit ?? "50", 10);
+    if (!Number.isFinite(limit) || limit < 1) {
+        console.error("Error: --limit must be a positive integer");
+        return { exitCode: 1 };
+    }
+    if (options.format !== undefined &&
+        !["json", "table"].includes(options.format)) {
+        console.error("Error: --format must be json or table");
+        return { exitCode: 1 };
+    }
+    const usageLogPath = path.join(process.cwd(), ".kb", "usage.log");
+    if (!existsSync(usageLogPath)) {
+        console.error(`Error: usage log not found at ${usageLogPath}`);
+        return { exitCode: 1 };
+    }
+    const events = parseTelemetryUsageLog(readFileSync(usageLogPath, "utf8"));
+    const report = buildTelemetryRemediationReport(events);
+    console.log(options.format === "json"
+        ? JSON.stringify(report, null, 2)
+        : renderUsageRemediationReport(report, limit));
+    return undefined;
+}

package/dist/extractors/markdown.d.ts

@@ -1,3 +1,4 @@
+import { type VerificationReceipt } from "../public/verification-receipt.js";
 export interface ExtractedEntity {
     id: string;
     type: string;
@@ -11,7 +12,12 @@ export interface ExtractedEntity {
     priority?: string;
     severity?: string;
     text_ref?: string;
+    semantic_text?: string;
     logic_claims?: string[];
+    semantic_clauses?: string[];
+    semantic_inventory_version?: "kibi.semantic-inventory.v1";
+    semantic_source_field?: "semantic_text" | "text_ref" | "title";
+    semantic_source_hash?: string;
     granularity_reason?: string;
     symbol_kind?: string;
     symbol_role?: string;
@@ -21,6 +27,7 @@ export interface ExtractedEntity {
     sourceEndColumn?: number;
     verification_scope?: "unit" | "integration" | "end_to_end";
     verification_perspective?: "internal" | "consumer";
+    verification_receipts?: readonly VerificationReceipt[];
     fact_kind?: "subject" | "property_value" | "observation" | "meta" | "predicate_schema" | "predicate" | "rule_schema" | "rule";
     subject_key?: string;
     property_key?: string;
@@ -79,6 +86,7 @@ export declare class FrontmatterError extends Error {
     });
     toString(): string;
 }
+export declare function requirementSemanticText(body: string): string;
 export declare function detectEmbeddedEntities(data: Record<string, unknown>, entityType: string): string[];
 export declare function extractFromMarkdownString(content: string, filePath: string): ExtractionResult;
 export declare function extractFromMarkdown(filePath: string): ExtractionResult;

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

@@ -1 +1 @@
-{"version":3,"file":"markdown.d.ts","sourceRoot":"","sources":["../../src/extractors/markdown.ts"],"names":[],"mappings":"AAiFA,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;IAClB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,YAAY,CAAC;IAC3D,wBAAwB,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IAEnD,SAAS,CAAC,EACN,SAAS,GACT,gBAAgB,GAChB,aAAa,GACb,MAAM,GACN,kBAAkB,GAClB,WAAW,GACX,aAAa,GACb,MAAM,CAAC;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IACtD,UAAU,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAClD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,CAAC;IACpD,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,kBAAkB,CAAC,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;CACzD;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;IACvC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AA8LD,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;IAYM,QAAQ;CAUlB;AA8DD,wBAAgB,sBAAsB,CAEpC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,UAAU,EAAE,MAAM,GACjB,MAAM,EAAE,CAkDV;AA+TD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,gBAAgB,CAElB;AAGD,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,CAatE;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CASjE;AASD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAQpE"}
+{"version":3,"file":"markdown.d.ts","sourceRoot":"","sources":["../../src/extractors/markdown.ts"],"names":[],"mappings":"AAuBA,OAAO,EACL,KAAK,mBAAmB,EAEzB,MAAM,mCAAmC,CAAC;AA4D3C,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;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,0BAA0B,CAAC,EAAE,4BAA4B,CAAC;IAC1D,qBAAqB,CAAC,EAAE,eAAe,GAAG,UAAU,GAAG,OAAO,CAAC;IAC/D,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,YAAY,CAAC;IAC3D,wBAAwB,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IACnD,qBAAqB,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAEvD,SAAS,CAAC,EACN,SAAS,GACT,gBAAgB,GAChB,aAAa,GACb,MAAM,GACN,kBAAkB,GAClB,WAAW,GACX,aAAa,GACb,MAAM,CAAC;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IACtD,UAAU,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAClD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,CAAC;IACpD,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,kBAAkB,CAAC,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;CACzD;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;IACvC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AA8LD,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;IAYM,QAAQ;CAUlB;AA+CD,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQ5D;AAkBD,wBAAgB,sBAAsB,CAEpC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,UAAU,EAAE,MAAM,GACjB,MAAM,EAAE,CAkDV;AAqYD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,gBAAgB,CAElB;AAGD,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,CAatE;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

@@ -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 = [
@@ -70,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);
@@ -230,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;
@@ -294,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) {
@@ -370,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) {
@@ -412,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
         //

package/dist/operations/modeling/logic-modeling.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"logic-modeling.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/logic-modeling.ts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,WAAW,EAIjB,MAAM,mBAAmB,CAAC;AAG3B,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACpD;AAUD,wBAAgB,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAE3D;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,mBAAmB,GACzB,oBAAoB,CAwGtB"}
+{"version":3,"file":"logic-modeling.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/logic-modeling.ts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,WAAW,EAIjB,MAAM,mBAAmB,CAAC;AAO3B,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACpD;AAUD,wBAAgB,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAE3D;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,mBAAmB,GACzB,oBAAoB,CAsHtB"}

package/dist/operations/modeling/logic-modeling.js

@@ -1,6 +1,7 @@
 import { createHash } from "node:crypto";
 import { logicSemanticKey, utf8Span, validateLogicIr, } from "../../logic/ir.js";
-import { semanticClaimKey } from "../semantic-advisor/clauses.js";
+import { normalizeSemanticClause, semanticClaimKey, } from "../semantic-advisor/clauses.js";
+import { semanticSourceHash } from "../semantic-advisor/shared.js";
 function shortId(value) {
     return createHash("sha256")
         .update(value)
@@ -20,12 +21,14 @@ export function buildLogicApplyPlan(input) {
         !validation.renderedProlog) {
         throw new Error(`Logic IR validation failed: ${validation.errors.join("; ")}`);
     }
-    const claimText = input.claimText?.trim() || input.text.trim();
+    const sourceText = input.claimText?.trim() || input.text.trim();
+    const claimText = normalizeSemanticClause(sourceText);
     const claimKey = input.claimKey || semanticClaimKey(claimText);
     const semanticKey = logicSemanticKey(validation.normalized);
     const schemaId = validation.normalized.ruleSchemaId ?? "FACT-RULE-SCHEMA-LOGIC-V1";
     const ruleId = logicRuleFactId(semanticKey);
-    const span = utf8Span(input.text, 0, input.text.length);
+    const claimStart = input.text.indexOf(claimText);
+    const span = utf8Span(input.text, claimStart >= 0 ? claimStart : 0, claimStart >= 0 ? claimStart + claimText.length : claimText.length);
     const logicClaims = Array.from(new Set([...(input.existingLogicClaims ?? []), claimKey]));
     const schemaPlan = input.logic.ruleSchemaId
         ? []
@@ -85,13 +88,19 @@ export function buildLogicApplyPlan(input) {
                     title: claimText.split(/[.!?]/, 1)[0] || "Typed logical requirement",
                     status: "open",
                     source: input.source,
-                    text_ref: claimText,
+                    semantic_text: input.text.trim(),
                     logic_claims: logicClaims,
+                    semantic_clauses: [claimText],
+                    semantic_inventory_version: "kibi.semantic-inventory.v1",
+                    semantic_source_field: "semantic_text",
+                    semantic_source_hash: semanticSourceHash(input.text.trim()),
                     semantic_inventory: [
                         {
                             claim_key: claimKey,
                             claim_text: claimText,
-                            role: "normative",
+                            role: /\b(?:must|shall|should|required|requires?)\b/i.test(claimText)
+                                ? "normative"
+                                : "descriptive",
                             status: "modeled",
                             span,
                             semantic_key: semanticKey,

package/dist/operations/modeling/model-requirement.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"model-requirement.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/model-requirement.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAIjF,OAAO,EACL,yBAAyB,EACzB,uBAAuB,EACxB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,oBAAoB,EACpB,sBAAsB,EACvB,MAAM,wBAAwB,CAAC;AAMhC,YAAY,EACV,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACvB,yBAAyB,EACzB,uBAAuB,GACxB,CAAC;AAEF,wBAAsB,4BAA4B,CAChD,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAgBxB;AAED,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,oBAAoB,EAC1B,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,sBAAsB,CAAC,CA4IjC;AAED,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,oBAAoB,EAC1B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,sBAAsB,CAAC,CAEjC"}
+{"version":3,"file":"model-requirement.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/model-requirement.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAQjF,OAAO,EACL,yBAAyB,EACzB,uBAAuB,EACxB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,oBAAoB,EACpB,sBAAsB,EACvB,MAAM,wBAAwB,CAAC;AAMhC,YAAY,EACV,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACvB,yBAAyB,EACzB,uBAAuB,GACxB,CAAC;AAEF,wBAAsB,4BAA4B,CAChD,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAgBxB;AAED,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,oBAAoB,EAC1B,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,sBAAsB,CAAC,CAsKjC;AAED,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,oBAAoB,EAC1B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,sBAAsB,CAAC,CAEjC"}