kibi-cli 0.17.0 → 0.18.1

package/dist/cli-json-command.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli-json-command.d.ts","sourceRoot":"","sources":["../src/cli-json-command.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAIzC,OAAO,EACL,KAAK,aAAa,EAGnB,MAAM,8BAA8B,CAAC;AAItC,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS;QAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC;KACpC,EAAE,CAAC;CACL,CAAC;AAyBF,wBAAsB,iBAAiB,CACrC,UAAU,EAAE,cAAc,GACzB,OAAO,CAAC,IAAI,CAAC,CAiDf;AAaD,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CA0B/D"}
+{"version":3,"file":"cli-json-command.d.ts","sourceRoot":"","sources":["../src/cli-json-command.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAMzC,OAAO,EACL,KAAK,aAAa,EAGnB,MAAM,8BAA8B,CAAC;AAItC,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS;QAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC;KACpC,EAAE,CAAC;CACL,CAAC;AA0CF,wBAAsB,iBAAiB,CACrC,UAAU,EAAE,cAAc,GACzB,OAAO,CAAC,IAAI,CAAC,CAyGf;AAaD,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CA0B/D"}

package/dist/cli-json-command.js

@@ -1,6 +1,8 @@
 import { InputError } from "./cli-errors.js";
 import { loadInput } from "./cli-input.js";
 import { executeOperation as executeProtocolOperation } from "./cli-protocol.js";
+import { prepareOperationInput } from "./cli-validate.js";
+import { appendCliDiagnosticUsage } from "./public/diagnostic-usage.js";
 import { getSpec, listSpecs, } from "./public/operations/index.js";
 import { createCliRuntime } from "./runtime/cli-runtime.js";
 function writeInputError(error) {
@@ -21,11 +23,42 @@ function findInputConflicts(invocation) {
         .map(({ name }) => name);
     return [...positionalConflicts, ...optionConflicts];
 }
+function diagnosticModeEnabled(command) {
+    return (process.env.KIBI_CLI_DIAGNOSTIC_MODE === "1" ||
+        process.argv.includes("--diagnostic-mode") ||
+        command.optsWithGlobals().diagnosticMode === true);
+}
+function structuredResult(stdout) {
+    if (stdout === undefined)
+        return undefined;
+    try {
+        return JSON.parse(stdout);
+    }
+    catch {
+        return undefined;
+    }
+}
 // implements REQ-kibi-operation-interface-parity
 export async function runJsonInvocation(invocation) {
+    const startedAt = new Date();
+    const diagnostic = diagnosticModeEnabled(invocation.command);
+    const workspaceRoot = process.cwd();
+    const spec = getSpec(invocation.operationName);
     const conflicts = findInputConflicts(invocation);
     if (conflicts.length > 0) {
-        writeInputError(new InputError("CONFLICTING_INPUT", `--input cannot be combined with: ${conflicts.join(", ")}`));
+        const error = new InputError("CONFLICTING_INPUT", `--input cannot be combined with: ${conflicts.join(", ")}`);
+        if (diagnostic) {
+            appendCliDiagnosticUsage({
+                workspaceRoot,
+                tool: invocation.operationName,
+                businessArgs: {},
+                telemetry: null,
+                startedAt,
+                status: "error",
+                error: error.detail,
+            });
+        }
+        writeInputError(error);
         return;
     }
     let input;
@@ -37,23 +70,66 @@ export async function runJsonInvocation(invocation) {
     }
     catch (error) {
         if (error instanceof InputError) {
+            if (diagnostic) {
+                appendCliDiagnosticUsage({
+                    workspaceRoot,
+                    tool: invocation.operationName,
+                    businessArgs: {},
+                    telemetry: null,
+                    startedAt,
+                    status: "error",
+                    error: error.detail,
+                });
+            }
             writeInputError(error);
             return;
         }
         throw error;
     }
-    const workspaceRoot = process.cwd();
-    const spec = getSpec(invocation.operationName);
+    const prepared = prepareOperationInput(input, spec.businessInputSchema);
+    const businessArgs = prepared.valid ? prepared.businessInput : {};
+    const telemetry = prepared.valid ? (prepared.telemetry ?? null) : null;
     const runtime = createCliRuntime({ workspaceRoot });
-    const context = await runtime.open(spec, { workspaceRoot });
-    const result = await executeProtocolOperation(invocation.operationName, input, context);
-    if (result.exitCode === 0 && spec.effects.includes("kb-write")) {
-        await runtime.afterSuccess(spec, context);
+    let result;
+    try {
+        const context = await runtime.open(spec, { workspaceRoot });
+        result = await executeProtocolOperation(invocation.operationName, input, context);
+        if (result.exitCode === 0 && spec.effects.includes("kb-write")) {
+            await runtime.afterSuccess(spec, context);
+        }
+        await runtime.close(context, {
+            status: "success",
+            result,
+        });
+    }
+    catch (error) {
+        if (diagnostic) {
+            appendCliDiagnosticUsage({
+                workspaceRoot,
+                tool: invocation.operationName,
+                businessArgs,
+                telemetry,
+                startedAt,
+                status: "error",
+                error: error instanceof Error ? error.message : String(error),
+            });
+        }
+        throw error;
+    }
+    if (diagnostic) {
+        appendCliDiagnosticUsage({
+            workspaceRoot,
+            tool: invocation.operationName,
+            businessArgs,
+            telemetry,
+            startedAt,
+            status: result.exitCode === 0 ? "success" : "error",
+            result: structuredResult(result.stdout),
+            ...(result.exitCode === 0 || result.stderr === undefined
+                ? {}
+                : { error: result.stderr.trim() }),
+        });
     }
-    await runtime.close(context, {
-        status: "success",
-        result,
-    });
     if (result.stdout !== undefined) {
         process.stdout.write(result.stdout);
     }

package/dist/cli-register-maintenance.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli-register-maintenance.d.ts","sourceRoot":"","sources":["../src/cli-register-maintenance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAQzC,wBAAgB,2BAA2B,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAoClE"}
+{"version":3,"file":"cli-register-maintenance.d.ts","sourceRoot":"","sources":["../src/cli-register-maintenance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AASzC,wBAAgB,2BAA2B,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAsDlE"}

package/dist/cli-register-maintenance.js

@@ -3,6 +3,7 @@ import { branchEnsureCommand } from "./commands/branch.js";
 import { doctorCommand } from "./commands/doctor.js";
 import { gcCommand } from "./commands/gc.js";
 import { usageMetricsCommand } from "./commands/usage-metrics.js";
+import { usageRemediationCommand } from "./commands/usage-remediation.js";
 // implements REQ-kibi-operation-interface-parity
 export function registerMaintenanceCommands(program) {
     program
@@ -22,7 +23,14 @@ export function registerMaintenanceCommands(program) {
         .description("Report usage and quality metrics from .kb/usage.log")
         .option("--format <format>", "Output format: json|table", "table")
         .option("--limit <n>", "Limit top zero-result source files", "10")
+        .option("--require-acceptance", "Exit non-zero unless the telemetry acceptance report passes")
         .action(withExitCode(async (options) => usageMetricsCommand(options)));
+    program
+        .command("usage-remediation")
+        .description("Enumerate exact diagnostic events and report-level evidence gaps requiring repair")
+        .option("--format <format>", "Output format: json|table", "table")
+        .option("--limit <n>", "Limit rendered table rows", "50")
+        .action(withExitCode(async (options) => usageRemediationCommand(options)));
     program
         .command("branch")
         .description("Manage branch KBs")

package/dist/cli-register-reporting.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli-register-reporting.d.ts","sourceRoot":"","sources":["../src/cli-register-reporting.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAUzC,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAuHhE"}
+{"version":3,"file":"cli-register-reporting.d.ts","sourceRoot":"","sources":["../src/cli-register-reporting.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAUzC,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAgJhE"}

package/dist/cli-register-reporting.js

@@ -41,6 +41,11 @@ export function registerReportingCommands(program) {
         .option("--no-include-transitive", "Disable transitive symbol coverage")
         .option("--limit <n>", "Limit results", "100")
         .option("--offset <n>", "Skip results", "0")
+        .option("--include-migration-preview", "Include one read-only legacy semantic migration preview batch", false)
+        .option("--migration-limit <n>", "Maximum migration preview batches (1-10)", "1")
+        .option("--migration-offset <n>", "Skip ready semantic-inventory migration batches", "0")
+        .option("--migration-predicate-limit <n>", "Maximum ranked predicate schemas per proposition", "5")
+        .option("--migration-predicate-min-score <score>", "Minimum predicate schema rank score", "0.35")
         .option("--format <format>", "Output format: json|table", "table")
         .action(async (options, command) => {
         if (options.input !== undefined) {

package/dist/cli.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAOpC,YAAY,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAmBtD,wBAAgB,YAAY,IAAI,OAAO,CAYtC;AAGD,wBAAsB,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,CAgB3C"}
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAOpC,YAAY,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAmBtD,wBAAgB,YAAY,IAAI,OAAO,CAgBtC;AAGD,wBAAsB,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,CAgB3C"}

package/dist/cli.js

@@ -40,7 +40,8 @@ export function buildProgram() {
     const program = new Command()
         .name("kibi")
         .description("Prolog-based project knowledge base")
-        .version(packageVersion(packageJson));
+        .version(packageVersion(packageJson))
+        .option("--diagnostic-mode", "Append diagnostic usage evidence for public JSON operations");
     registerFoundationCommands(program);
     registerReportingCommands(program);
     registerMaintenanceCommands(program);

package/dist/commands/aggregated-checks.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"aggregated-checks.d.ts","sourceRoot":"","sources":["../../src/commands/aggregated-checks.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,aAAa,EAAmB,MAAM,cAAc,CAAC;AAEnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAU5C;;;;;;;GAOG;AACH,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,EACpC,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,EAClC,UAAU,UAAQ,GACjB,OAAO,CAAC,SAAS,EAAE,CAAC,CAuDtB"}
+{"version":3,"file":"aggregated-checks.d.ts","sourceRoot":"","sources":["../../src/commands/aggregated-checks.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,aAAa,EAAmB,MAAM,cAAc,CAAC;AAEnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAW5C;;;;;;;GAOG;AACH,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,EACpC,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,EAClC,UAAU,UAAQ,GACjB,OAAO,CAAC,SAAS,EAAE,CAAC,CAwDtB"}

package/dist/commands/aggregated-checks.js

@@ -50,6 +50,7 @@ export async function runAggregatedChecks(prolog, rulesAllowlist, requireAdr = f
                     description: v.description,
                     ...(v.suggestion ? { suggestion: v.suggestion } : {}),
                     ...(v.source ? { source: v.source } : {}),
+                    ...(v.evidence ? { evidence: v.evidence } : {}),
                 });
             }
         }

package/dist/commands/coverage.d.ts

@@ -5,6 +5,11 @@ interface CoverageOptions {
     includeTransitive?: boolean;
     limit?: string;
     offset?: string;
+    includeMigrationPreview?: boolean;
+    migrationLimit?: string;
+    migrationOffset?: string;
+    migrationPredicateLimit?: string;
+    migrationPredicateMinScore?: string;
     format?: "json" | "table";
 }
 export declare function coverageCommand(options: CoverageOptions): Promise<void>;

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

@@ -1 +1 @@
-{"version":3,"file":"coverage.d.ts","sourceRoot":"","sources":["../../src/commands/coverage.ts"],"names":[],"mappings":"AAMA,UAAU,eAAe;IACvB,EAAE,CAAC,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAC/B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC3B;AAGD,wBAAsB,eAAe,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,CAmB7E"}
+{"version":3,"file":"coverage.d.ts","sourceRoot":"","sources":["../../src/commands/coverage.ts"],"names":[],"mappings":"AAMA,UAAU,eAAe;IACvB,EAAE,CAAC,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAC/B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAClC,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,0BAA0B,CAAC,EAAE,MAAM,CAAC;IACpC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC3B;AAGD,wBAAsB,eAAe,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,CA6B7E"}

package/dist/commands/coverage.js

@@ -14,6 +14,11 @@ export async function coverageCommand(options) {
         includeTransitive: options.includeTransitive ?? true,
         limit: Number.parseInt(options.limit || "100", 10),
         offset: Number.parseInt(options.offset || "0", 10),
+        includeMigrationPreview: options.includeMigrationPreview ?? false,
+        migrationLimit: Number.parseInt(options.migrationLimit || "1", 10),
+        migrationOffset: Number.parseInt(options.migrationOffset || "0", 10),
+        migrationPredicateLimit: Number.parseInt(options.migrationPredicateLimit || "5", 10),
+        migrationPredicateMinScore: Number.parseFloat(options.migrationPredicateMinScore || "0.35"),
     });
     printDiscoveryResult(options.format, result.structuredContent, result.content[0]?.text ?? "Coverage summary unavailable.");
 }

package/dist/commands/discovery-table.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"discovery-table.d.ts","sourceRoot":"","sources":["../../src/commands/discovery-table.ts"],"names":[],"mappings":"AAIA,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAmCvE;AA4ED,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACzC,MAAM,CA+DR"}
+{"version":3,"file":"discovery-table.d.ts","sourceRoot":"","sources":["../../src/commands/discovery-table.ts"],"names":[],"mappings":"AAIA,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAmCvE;AA4ED,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACzC,MAAM,CA4ER"}

package/dist/commands/discovery-table.js

@@ -101,12 +101,14 @@ export function renderCoverageTable(payload) {
                 "Priority",
                 "Coverage",
                 "Depth",
+                "Proof",
                 "Scen",
                 "Tests",
                 "Symbols",
-                "Gaps",
+                "Structural gaps",
+                "Proof gaps",
             ],
-            colWidths: [20, 12, 12, 18, 32, 8, 8, 10, 28],
+            colWidths: [20, 12, 12, 18, 36, 12, 8, 8, 10, 24, 36],
             wordWrap: true,
         })
         : new Table({
@@ -123,23 +125,112 @@ export function renderCoverageTable(payload) {
                 stringifyCell(item.priority),
                 stringifyCell(item.coverageStatus),
                 stringifyCell(item.coverageDepth),
+                stringifyCell(item.proofStatus),
                 stringifyCell(item.scenarioCount),
                 stringifyCell(item.testCount),
                 stringifyCell(item.transitiveSymbolCount),
                 joinCells(item.gaps),
+                joinCells(item.proofGaps),
             ]);
         }
         else {
             table.push([
                 stringifyCell(item.id),
-                stringifyCell(item.type),
+                stringifyCell(item.traceabilityRole ?? item.type),
                 stringifyCell(item.coverageStatus),
-                `req=${stringifyCell(item.directRequirementCount)} test=${stringifyCell(item.testCount)} count=${stringifyCell(item.count)}`,
+                `req=${stringifyCell(item.directRequirementCount)} covered=${stringifyCell(item.testCount)} executable=${stringifyCell(item.executableTestCount)} count=${stringifyCell(item.count)}`,
                 joinCells(item.gaps),
             ]);
         }
     }
-    return [summaryTable.toString(), table.toString()].join("\n\n");
+    const sections = [summaryTable.toString(), table.toString()];
+    const repairPlan = fieldsFrom(payload.repairPlan);
+    if (typeof repairPlan.version === "string") {
+        sections.push(renderRepairPlanTable(repairPlan));
+    }
+    const legacyMigrationPlan = fieldsFrom(payload.legacyMigrationPlan);
+    if (typeof legacyMigrationPlan.version === "string") {
+        sections.push(renderLegacyMigrationPlanTable(legacyMigrationPlan));
+    }
+    return sections.join("\n\n");
+}
+function renderLegacyMigrationPlanTable(plan) {
+    const scope = fieldsFrom(plan.scope);
+    const summary = fieldsFrom(plan.summary);
+    const batches = Array.isArray(plan.batches) ? plan.batches : [];
+    const summaryTable = new Table({
+        head: ["Legacy migration preview", "Value"],
+        colWidths: [28, 72],
+        wordWrap: true,
+    });
+    summaryTable.push(["Plan ID", stringifyCell(plan.planId)], ["Status", stringifyCell(plan.status)], ["Repair scope complete", stringifyCell(scope.repairPlanComplete)], ["Candidate requirements", stringifyCell(scope.candidateRequirements)], ["Selected requirements", stringifyCell(scope.selectedRequirements)], ["Next offset", stringifyCell(scope.nextOffset)], ["Propositions", stringifyCell(summary.propositionCount)], ["Unresolved", stringifyCell(summary.unresolvedPropositionCount)]);
+    const batchTable = new Table({
+        head: [
+            "Requirement",
+            "State",
+            "Source binding",
+            "Claims",
+            "Predicate candidates",
+            "Diagnostics",
+        ],
+        colWidths: [24, 18, 18, 10, 20, 46],
+        wordWrap: true,
+    });
+    for (const rawBatch of batches) {
+        const batch = fieldsFrom(rawBatch);
+        const sourceBinding = fieldsFrom(batch.sourceBinding);
+        const propositions = Array.isArray(batch.propositions)
+            ? batch.propositions
+            : [];
+        const candidateCount = propositions.reduce((count, proposition) => {
+            const candidates = fieldsFrom(proposition).predicateCandidates;
+            return count + (Array.isArray(candidates) ? candidates.length : 0);
+        }, 0);
+        batchTable.push([
+            stringifyCell(batch.requirementId),
+            stringifyCell(batch.state),
+            stringifyCell(sourceBinding.status),
+            propositions.length,
+            candidateCount,
+            joinCells(batch.diagnostics),
+        ]);
+    }
+    return [summaryTable.toString(), batchTable.toString()].join("\n\n");
+}
+function renderRepairPlanTable(repairPlan) {
+    const scope = fieldsFrom(repairPlan.scope);
+    const summary = fieldsFrom(repairPlan.summary);
+    const batches = Array.isArray(repairPlan.batches) ? repairPlan.batches : [];
+    const displayedBatches = batches.slice(0, 25);
+    const summaryTable = new Table({
+        head: ["Repair plan", "Value"],
+        colWidths: [24, 72],
+        wordWrap: true,
+    });
+    summaryTable.push(["Plan ID", stringifyCell(repairPlan.planId)], ["Status", stringifyCell(repairPlan.status)], ["Complete scope", stringifyCell(scope.complete)], ["Requirements", stringifyCell(summary.requirementCount)], ["Repairs", stringifyCell(summary.repairCount)], ["Batches", stringifyCell(summary.batchCount)]);
+    const batchTable = new Table({
+        head: ["Order", "Requirement", "Phase", "State", "Depends on", "Gaps"],
+        colWidths: [8, 24, 24, 10, 28, 32],
+        wordWrap: true,
+    });
+    for (const rawBatch of displayedBatches) {
+        const batch = fieldsFrom(rawBatch);
+        const repairs = Array.isArray(batch.repairs) ? batch.repairs : [];
+        batchTable.push([
+            stringifyCell(batch.order),
+            stringifyCell(batch.requirementId),
+            stringifyCell(batch.phase),
+            stringifyCell(batch.state),
+            joinCells(batch.dependsOn),
+            repairs
+                .map((repair) => stringifyCell(fieldsFrom(repair).gap))
+                .join(", ") || "-",
+        ]);
+    }
+    const suffix = displayedBatches.length < batches.length
+        ? `\nShowing ${displayedBatches.length} of ${batches.length} repair batches; use --format json for the complete plan.`
+        : "";
+    return [summaryTable.toString(), batchTable.toString()].join("\n\n") + suffix;
 }
 function renderGraphTable(payload) {
     const nodes = Array.isArray(payload.nodes) ? payload.nodes : [];

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

@@ -11,6 +11,8 @@ export type SyncCache = {
     version: number;
     hashes: Record<string, string>;
     seenAt: Record<string, string>;
+    semanticHashes: Record<string, string>;
+    semanticContracts: Record<string, boolean>;
 };
 export declare const SYNC_CACHE_VERSION = 1;
 export declare const SYNC_CACHE_TTL_MS: number;

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

@@ -1 +1 @@
-{"version":3,"file":"cache.d.ts","sourceRoot":"","sources":["../../../src/commands/sync/cache.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAG7E,UAAU,aAAa;IACrB,UAAU,EAAE,OAAO,UAAU,CAAC;IAC9B,UAAU,EAAE,OAAO,UAAU,CAAC;IAC9B,SAAS,EAAE,OAAO,SAAS,CAAC;IAC5B,YAAY,EAAE,OAAO,YAAY,CAAC;IAClC,aAAa,EAAE,OAAO,aAAa,CAAC;CACrC;AAaD,MAAM,MAAM,SAAS,GAAG;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAChC,CAAC;AAEF,eAAO,MAAM,kBAAkB,IAAI,CAAC;AACpC,eAAO,MAAM,iBAAiB,QAA2B,CAAC;AAE1D,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAEnD;AAED,wBAAgB,QAAQ,CAEtB,QAAQ,EAAE,MAAM,EAChB,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,MAAM,CAIR;AAED,wBAAgB,aAAa,CAE3B,SAAS,EAAE,MAAM,EACjB,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,SAAS,CAkCX;AAED,wBAAgB,cAAc,CAE5B,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,SAAS,EAChB,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,IAAI,CAaN;AAED,wBAAgB,aAAa,CAE3B,QAAQ,EAAE,MAAM,EAChB,WAAW,EAAE,MAAM,EACnB,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,IAAI,CASN"}
+{"version":3,"file":"cache.d.ts","sourceRoot":"","sources":["../../../src/commands/sync/cache.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAG7E,UAAU,aAAa;IACrB,UAAU,EAAE,OAAO,UAAU,CAAC;IAC9B,UAAU,EAAE,OAAO,UAAU,CAAC;IAC9B,SAAS,EAAE,OAAO,SAAS,CAAC;IAC5B,YAAY,EAAE,OAAO,YAAY,CAAC;IAClC,aAAa,EAAE,OAAO,aAAa,CAAC;CACrC;AAaD,MAAM,MAAM,SAAS,GAAG;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACvC,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC5C,CAAC;AAEF,eAAO,MAAM,kBAAkB,IAAI,CAAC;AACpC,eAAO,MAAM,iBAAiB,QAA2B,CAAC;AAE1D,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAEnD;AAED,wBAAgB,QAAQ,CAEtB,QAAQ,EAAE,MAAM,EAChB,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,MAAM,CAIR;AAED,wBAAgB,aAAa,CAE3B,SAAS,EAAE,MAAM,EACjB,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,SAAS,CA0CX;AAED,wBAAgB,cAAc,CAE5B,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,SAAS,EAChB,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,IAAI,CAaN;AAED,wBAAgB,aAAa,CAE3B,QAAQ,EAAE,MAAM,EAChB,WAAW,EAAE,MAAM,EACnB,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,IAAI,CASN"}

package/dist/commands/sync/cache.js

@@ -49,6 +49,8 @@ cachePath, deps) {
             version: SYNC_CACHE_VERSION,
             hashes: {},
             seenAt: {},
+            semanticHashes: {},
+            semanticContracts: {},
         };
     }
     try {
@@ -58,12 +60,16 @@ cachePath, deps) {
                 version: SYNC_CACHE_VERSION,
                 hashes: {},
                 seenAt: {},
+                semanticHashes: {},
+                semanticContracts: {},
             };
         }
         return {
             version: SYNC_CACHE_VERSION,
             hashes: parsed.hashes ?? {},
             seenAt: parsed.seenAt ?? {},
+            semanticHashes: parsed.semanticHashes ?? {},
+            semanticContracts: parsed.semanticContracts ?? {},
         };
     }
     catch {
@@ -71,6 +77,8 @@ cachePath, deps) {
             version: SYNC_CACHE_VERSION,
             hashes: {},
             seenAt: {},
+            semanticHashes: {},
+            semanticContracts: {},
         };
     }
 }

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,EAEV,qBAAqB,EACrB,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AA8GrD,MAAM,WAAW,iBAAiB;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,OAAO,CAAC;CACrB;AAmCD,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,CA8FvD;AA6BD,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,CA+K7D"}
+{"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;AAgHrD,MAAM,WAAW,iBAAiB;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,OAAO,CAAC;CACrB;AAmCD,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,CAwKvD;AA6BD,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,CA+K7D"}

package/dist/commands/sync/persistence.js

@@ -17,6 +17,8 @@
  */
 import * as path from "node:path";
 import { toPrologAtom, toPrologString } from "../../prolog/codec.js";
+import { loadEntities } from "../../public/operations/discovery-entities.js";
+import { appendOnlyVerificationReceiptHistoryErrors } from "../../public/verification-receipt.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.
@@ -141,6 +143,7 @@ export async function persistEntities(
 prolog, results, entityIds) {
     let entityCount = 0;
     let kbModified = false;
+    const existingEntityIds = new Set();
     // Query existing entity IDs to include unchanged entities
     const existingIdsResult = await prolog.query("findall(Id, kb_entity(Id, _, _), ExistingIds)");
     if (existingIdsResult.success && existingIdsResult.bindings?.ExistingIds) {
@@ -149,8 +152,10 @@ prolog, results, entityIds) {
         if (cleaned) {
             for (const atom of cleaned.split(",")) {
                 const id = atom.trim().replace(/^'|'$/g, "");
-                if (id)
+                if (id) {
                     entityIds.add(id);
+                    existingEntityIds.add(id);
+                }
             }
         }
     }
@@ -159,6 +164,24 @@ prolog, results, entityIds) {
     }
     for (const { entity, sourceFile } of results) {
         try {
+            if (entity.type === "test" && existingEntityIds.has(entity.id)) {
+                const existing = await loadEntities(prolog, {
+                    id: entity.id,
+                    type: "test",
+                });
+                const previous = Array.isArray(existing[0]?.verification_receipts)
+                    ? existing[0].verification_receipts.filter((receipt) => receipt !== null &&
+                        typeof receipt === "object" &&
+                        !Array.isArray(receipt))
+                    : [];
+                const next = Array.isArray(entity.verification_receipts)
+                    ? entity.verification_receipts
+                    : undefined;
+                const receiptErrors = appendOnlyVerificationReceiptHistoryErrors(previous, next);
+                if (receiptErrors.length > 0) {
+                    throw new Error(receiptErrors.join("; "));
+                }
+            }
             const props = [
                 `id=${toPrologAtom(entity.id)}`,
                 `title=${toPrologString(entity.title)}`,
@@ -179,14 +202,45 @@ prolog, results, entityIds) {
                 props.push(`severity=${toPrologAtom(entity.severity)}`);
             if (entity.text_ref)
                 props.push(`text_ref=${toPrologString(entity.text_ref)}`);
+            if (entity.type === "req" && entity.semantic_text) {
+                props.push(`semantic_text=${toPrologString(entity.semantic_text)}`);
+            }
             if (entity.type === "req" && entity.logic_claims) {
                 props.push(`logic_claims=[${entity.logic_claims.map(toPrologAtom).join(",")}]`);
             }
+            if (entity.type === "req" && entity.semantic_clauses) {
+                props.push(`semantic_clauses=[${entity.semantic_clauses.map(toPrologString).join(",")}]`);
+            }
+            if (entity.type === "req" && entity.semantic_inventory_version) {
+                props.push(`semantic_inventory_version=${toPrologString(entity.semantic_inventory_version)}`);
+            }
+            if (entity.type === "req" && entity.semantic_source_field) {
+                props.push(`semantic_source_field=${toPrologString(entity.semantic_source_field)}`);
+            }
+            if (entity.type === "req" && entity.semantic_source_hash) {
+                props.push(`semantic_source_hash=${toPrologString(entity.semantic_source_hash)}`);
+            }
             if (entity.type === "req" && entity.semantic_inventory) {
                 props.push(`semantic_inventory=${toPrologString(JSON.stringify(entity.semantic_inventory))}`);
             }
             if (sourceFile)
                 props.push(`sourceFile=${toPrologString(sourceFile)}`);
+            if (entity.type === "symbol") {
+                if (entity.symbol_role)
+                    props.push(`symbol_role=${toPrologAtom(entity.symbol_role)}`);
+                if (entity.granularity_reason)
+                    props.push(`granularity_reason=${toPrologAtom(entity.granularity_reason)}`);
+                for (const key of [
+                    "sourceLine",
+                    "sourceColumn",
+                    "sourceEndLine",
+                    "sourceEndColumn",
+                ]) {
+                    const value = entity[key];
+                    if (typeof value === "number")
+                        props.push(`${key}=${value}`);
+                }
+            }
             // Add typed fact fields for fact entities
             if (entity.type === "fact") {
                 const factFields = serializeTypedFactFields(entity);
@@ -199,6 +253,9 @@ prolog, results, entityIds) {
                 if (entity.verification_perspective !== undefined) {
                     props.push(`verification_perspective=${toPrologAtom(entity.verification_perspective)}`);
                 }
+                if (entity.verification_receipts !== undefined) {
+                    props.push(`verification_receipts=${toPrologString(JSON.stringify(entity.verification_receipts))}`);
+                }
             }
             const propsList = `[${props.join(", ")}]`;
             const goal = `kb_assert_entity(${entity.type}, ${propsList})`;

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;AAejE,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AA4B7C,qBAAa,SAAU,SAAQ,KAAK;gBACtB,OAAO,EAAE,MAAM;CAI5B;AAGD,MAAM,WAAW,UAAW,SAAQ,WAAW;IAC7C,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,UAAU,yBAAyB;IACjC,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,OAAO,CAAC;CACvB;AAED,UAAU,kBAAkB;IAC1B,WAAW,CAAC,EAAE,CAAC,OAAO,EAAE,yBAAyB,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC3E,UAAU,CAAC,EAAE,CACX,OAAO,EAAE,yBAAyB,GAAG;QAAE,UAAU,EAAE,OAAO,CAAA;KAAE,KACzD,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC1B,YAAY,CAAC,EAAE,CAAC,OAAO,EAAE;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,KAAK,aAAa,CAAC;CAChE;AAGD,wBAAsB,WAAW,CAC/B,OAAO,GAAE;IACP,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,wBAAwB,CAAC,EAAE,OAAO,CAAC;CAC/B,EACN,OAAO,GAAE,kBAAuB,GAC/B,OAAO,CAAC,UAAU,CAAC,CAubrB;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;AAiBjE,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AA4B7C,qBAAa,SAAU,SAAQ,KAAK;gBACtB,OAAO,EAAE,MAAM;CAI5B;AAGD,MAAM,WAAW,UAAW,SAAQ,WAAW;IAC7C,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,UAAU,yBAAyB;IACjC,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,OAAO,CAAC;CACvB;AAED,UAAU,kBAAkB;IAC1B,WAAW,CAAC,EAAE,CAAC,OAAO,EAAE,yBAAyB,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC3E,UAAU,CAAC,EAAE,CACX,OAAO,EAAE,yBAAyB,GAAG;QAAE,UAAU,EAAE,OAAO,CAAA;KAAE,KACzD,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC1B,YAAY,CAAC,EAAE,CAAC,OAAO,EAAE;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,KAAK,aAAa,CAAC;CAChE;AAGD,wBAAsB,WAAW,CAC/B,OAAO,GAAE;IACP,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,wBAAwB,CAAC,EAAE,OAAO,CAAC;CAC/B,EACN,OAAO,GAAE,kBAAuB,GAC/B,OAAO,CAAC,UAAU,CAAC,CAsfrB;AAED,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC"}