kibi-cli 0.16.1 → 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/check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AAmFA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAE3D,YAAY,EAAE,SAAS,EAAE,CAAC;AAG1B,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;CAC1B;AA2bD,wBAAsB,YAAY,CAChC,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAmW/B"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AAkFA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAE3D,YAAY,EAAE,SAAS,EAAE,CAAC;AAG1B,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;CAC1B;AA2bD,wBAAsB,YAAY,CAChC,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAqW/B"}

package/dist/commands/check.js

@@ -453,7 +453,7 @@ export async function checkCommand(options) {
                     symbolsByFile,
                     symbolsManifestPath,
                 });
-                const stagedKibiDiagnostics = collectStagedKibiDiagnostics(stagedKibiEvidence);
+                const stagedKibiDiagnostics = collectStagedKibiDiagnostics(stagedKibiEvidence, symbolsManifestPath);
                 const activeStagedSymbolEntityIds = new Set(stagedKibiEvidence.mode.kind === "kb_changes"
                     ? stagedKibiEvidence.mode.kbArtifacts
                         .filter((artifact) => artifact.kind === "symbols_manifest")

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/manifest.d.ts

@@ -2,6 +2,7 @@ import { existsSync, readFileSync, writeFileSync } from "node:fs";
 import { dump as dumpYAML, load as parseYAML } from "js-yaml";
 import { writeCoordinateArtifact } from "../../extractors/symbol-coordinates.js";
 import { type ManifestSymbolEntry, enrichSymbolCoordinates } from "../../extractors/symbols-coordinator.js";
+import { COARSE_GRANULARITY_REASONS } from "../../public/symbol-granularity.js";
 import { resolveSymbolsManifestPaths } from "../../utils/manifest-paths.js";
 interface ManifestDeps {
     dumpYAML: typeof dumpYAML;
@@ -14,10 +15,20 @@ interface ManifestDeps {
     resolveSymbolsManifestPaths: typeof resolveSymbolsManifestPaths;
 }
 export declare const SYMBOLS_MANIFEST_COMMENT_BLOCK = "# symbols.yaml\n# AUTHORED fields (edit freely):\n#   id, title, sourceFile, links, status, tags, owner, priority\n# Generated coordinates are stored separately in symbol-coordinates.yaml.\n# Run `kibi sync --refresh-symbol-coordinates` to refresh them.\n";
+/**
+ * Coarse symbol anchors for which per-symbol coordinates are not expected.
+ *
+ * Test-suite, module-level-behavior, and config-artifact symbols represent a
+ * whole file or configuration unit, and `extractor-miss` explicitly documents
+ * that the extractor cannot locate a declaration. These entries legitimately
+ * carry no generated coordinates, so coordinate refresh counts them as
+ * unchanged instead of flagging them as failures.
+ */
+export { COARSE_GRANULARITY_REASONS };
+export declare function isCoarseGranularityAnchor(entry: ManifestSymbolEntry): boolean;
 export declare function refreshManifestCoordinates(manifestPath: string, workspaceRoot: string, deps?: Partial<ManifestDeps> & {
     refreshSymbolCoordinates?: boolean;
 }): Promise<void>;
 export declare function hasAllGeneratedCoordinates(entry: ManifestSymbolEntry): boolean;
 export declare function isEligibleForCoordinateRefresh(sourceFile: string | undefined, workspaceRoot: string, deps?: Partial<ManifestDeps>): boolean;
-export {};
 //# sourceMappingURL=manifest.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../../../src/commands/sync/manifest.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAElE,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,SAAS,CAAC;AAC9D,OAAO,EAEL,uBAAuB,EACxB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EACL,KAAK,mBAAmB,EACxB,uBAAuB,EACxB,MAAM,yCAAyC,CAAC;AACjD,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAE5E,UAAU,YAAY;IACpB,QAAQ,EAAE,OAAO,QAAQ,CAAC;IAC1B,uBAAuB,EAAE,OAAO,uBAAuB,CAAC;IACxD,UAAU,EAAE,OAAO,UAAU,CAAC;IAC9B,SAAS,EAAE,OAAO,SAAS,CAAC;IAC5B,YAAY,EAAE,OAAO,YAAY,CAAC;IAClC,aAAa,EAAE,OAAO,aAAa,CAAC;IACpC,uBAAuB,EAAE,OAAO,uBAAuB,CAAC;IACxD,2BAA2B,EAAE,OAAO,2BAA2B,CAAC;CACjE;AAgBD,eAAO,MAAM,8BAA8B,oQAK1C,CAAC;AAwBF,wBAAsB,0BAA0B,CAE9C,YAAY,EAAE,MAAM,EACpB,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAAG;IAAE,wBAAwB,CAAC,EAAE,OAAO,CAAA;CAAE,GACpE,OAAO,CAAC,IAAI,CAAC,CAmIf;AAED,wBAAgB,0BAA0B,CAExC,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAOT;AAED,wBAAgB,8BAA8B,CAE5C,UAAU,EAAE,MAAM,GAAG,SAAS,EAC9B,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAC3B,OAAO,CAUT"}
+{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../../../src/commands/sync/manifest.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAElE,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,SAAS,CAAC;AAC9D,OAAO,EAEL,uBAAuB,EACxB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EACL,KAAK,mBAAmB,EACxB,uBAAuB,EACxB,MAAM,yCAAyC,CAAC;AACjD,OAAO,EACL,0BAA0B,EAE3B,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAE5E,UAAU,YAAY;IACpB,QAAQ,EAAE,OAAO,QAAQ,CAAC;IAC1B,uBAAuB,EAAE,OAAO,uBAAuB,CAAC;IACxD,UAAU,EAAE,OAAO,UAAU,CAAC;IAC9B,SAAS,EAAE,OAAO,SAAS,CAAC;IAC5B,YAAY,EAAE,OAAO,YAAY,CAAC;IAClC,aAAa,EAAE,OAAO,aAAa,CAAC;IACpC,uBAAuB,EAAE,OAAO,uBAAuB,CAAC;IACxD,2BAA2B,EAAE,OAAO,2BAA2B,CAAC;CACjE;AAgBD,eAAO,MAAM,8BAA8B,oQAK1C,CAAC;AAwBF;;;;;;;;GAQG;AACH,OAAO,EAAE,0BAA0B,EAAE,CAAC;AAEtC,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,mBAAmB,GAAG,OAAO,CAG7E;AAED,wBAAsB,0BAA0B,CAE9C,YAAY,EAAE,MAAM,EACpB,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAAG;IAAE,wBAAwB,CAAC,EAAE,OAAO,CAAA;CAAE,GACpE,OAAO,CAAC,IAAI,CAAC,CAuIf;AAED,wBAAgB,0BAA0B,CAExC,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAOT;AAED,wBAAgB,8BAA8B,CAE5C,UAAU,EAAE,MAAM,GAAG,SAAS,EAC9B,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAC3B,OAAO,CAUT"}

package/dist/commands/sync/manifest.js

@@ -20,6 +20,7 @@ import * as path from "node:path";
 import { dump as dumpYAML, load as parseYAML } from "js-yaml";
 import { writeCoordinateArtifact, } from "../../extractors/symbol-coordinates.js";
 import { enrichSymbolCoordinates, } from "../../extractors/symbols-coordinator.js";
+import { COARSE_GRANULARITY_REASONS, isCoarseGranularityReason, } from "../../public/symbol-granularity.js";
 import { resolveSymbolsManifestPaths } from "../../utils/manifest-paths.js";
 function resolveDeps(overrides) {
     return {
@@ -60,6 +61,20 @@ const GENERATED_MANIFEST_FIELDS = new Set([
     ...GENERATED_COORD_FIELDS,
     "coordinatesGeneratedAt",
 ]);
+/**
+ * Coarse symbol anchors for which per-symbol coordinates are not expected.
+ *
+ * Test-suite, module-level-behavior, and config-artifact symbols represent a
+ * whole file or configuration unit, and `extractor-miss` explicitly documents
+ * that the extractor cannot locate a declaration. These entries legitimately
+ * carry no generated coordinates, so coordinate refresh counts them as
+ * unchanged instead of flagging them as failures.
+ */
+export { COARSE_GRANULARITY_REASONS };
+export function isCoarseGranularityAnchor(entry) {
+    const reason = entry.granularity_reason;
+    return isCoarseGranularityReason(reason);
+}
 export async function refreshManifestCoordinates(
 // implements REQ-003
 manifestPath, workspaceRoot, deps) {
@@ -127,11 +142,13 @@ manifestPath, workspaceRoot, deps) {
             refreshed++;
             continue;
         }
-        const eligible = isEligibleForCoordinateRefresh(typeof current.sourceFile === "string"
-            ? current.sourceFile
-            : typeof previous.sourceFile === "string"
-                ? previous.sourceFile
-                : undefined, workspaceRoot, resolved);
+        const coarseAnchor = isCoarseGranularityAnchor(current);
+        const eligible = !coarseAnchor &&
+            isEligibleForCoordinateRefresh(typeof current.sourceFile === "string"
+                ? current.sourceFile
+                : typeof previous.sourceFile === "string"
+                    ? previous.sourceFile
+                    : undefined, workspaceRoot, resolved);
         if (eligible && !hasAllGeneratedCoordinates(current)) {
             failed++;
         }

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;AA+FrD,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,CAyFvD;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"}