kibi-cli 0.12.7 → 0.14.0

package/dist/cli.js

@@ -153,6 +153,7 @@ program
     .option("--staged", "Run check only against staged changes (experimental)")
     .option("--min-links <n>", "Minimum number of links required for symbol coverage", "1")
     .option("--dry-run", "Do not modify files; only print what would happen")
+    .option("--format <format>", "Output format: text|json", "text")
     .action(withExitCode(async (options) => {
     return checkCommand(options);
 }));

package/dist/commands/check.d.ts

@@ -7,6 +7,7 @@ export interface CheckOptions {
     staged?: boolean;
     minLinks?: string | number;
     dryRun?: boolean;
+    format?: "text" | "json";
 }
 export declare function checkCommand(options: CheckOptions): Promise<{
     exitCode: number;

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

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AAiFA,OAAO,EAGL,KAAK,SAAS,EAEf,MAAM,2BAA2B,CAAC;AAEnC,YAAY,EAAE,SAAS,EAAE,CAAC;AAI1B,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;CAClB;AA2bD,wBAAsB,YAAY,CAChC,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CA0V/B"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AAoFA,OAAO,EAGL,KAAK,SAAS,EAEf,MAAM,2BAA2B,CAAC;AAEnC,YAAY,EAAE,SAAS,EAAE,CAAC;AAgB1B,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;AAkZD,wBAAsB,YAAY,CAChC,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAya/B"}

package/dist/commands/check.js

@@ -20,9 +20,9 @@ import * as path from "node:path";
 import { getBranchOverride, isCliTraceOrDebugEnabled } from "../env.js";
 import { extractFromManifest, extractFromManifestString, } from "../extractors/manifest.js";
 import { extractFromMarkdownString, } from "../extractors/markdown.js";
-import { PrologProcess } from "../prolog.js";
+import { PrologProcess, resolveKbPlPath } from "../prolog.js";
 import { escapeAtom, parseTriples, parseViolationRows, } from "../prolog/codec.js";
-import { getBehavioralSymbolNames, getNonBehavioralSymbolNames, isAllowedGranularityReason, isTraceabilityRelationshipType, } from "../public/symbol-granularity.js";
+import { collectFullKbQualityDiagnostics, createSemanticReviewDiagnostics, createSymbolGranularityDiagnostics, createSymbolQualityDiagnostics, hasBlockingImpactDiagnostics, } from "../public/impact-diagnostics.js";
 import { KIBI_NO_IMPACT_DECLARATION, KIBI_SYMBOLS_MANIFEST_PATH, } from "../traceability/evidence-model.js";
 import { getStagedFiles } from "../traceability/git-staged.js";
 import { validateStagedMarkdown } from "../traceability/markdown-validate.js";
@@ -34,9 +34,21 @@ import { cleanupTempKb, consultOverlay, createOverlayFacts, createTempKb, projec
 import { formatViolations as formatStagedViolations, validateStagedSymbols, } from "../traceability/validate.js";
 import { loadConfig } from "../utils/config.js";
 import { safeCleanupProlog } from "../utils/prolog-cleanup.js";
+import { analyzePrologQueryPlanSafety } from "../utils/prolog-query-plan-safety.js";
 import { RULES, getEffectiveRules, } from "../utils/rule-registry.js";
 import { runAggregatedChecks } from "./aggregated-checks.js";
 import { getCurrentBranch } from "./init-helpers.js";
+function collectQueryPlanSafetyViolations() {
+    const checksPlPath = path.join(path.dirname(resolveKbPlPath()), "checks.pl");
+    const source = readFileSync(checksPlPath, "utf8");
+    return analyzePrologQueryPlanSafety(source).map((violation) => ({
+        rule: "query-plan-safety",
+        entityId: violation.predicate,
+        description: violation.description,
+        suggestion: violation.suggestion,
+        source: `${checksPlPath}:${violation.line}`,
+    }));
+}
 function getMatchGroup(match, index = 1) {
     const value = match?.[index];
     return typeof value === "string" ? value : null;
@@ -98,6 +110,9 @@ function buildManifestLookup(stagedFiles) {
                 manifestResults.push({
                     entity: entry.entity,
                     relationships: entry.relationships,
+                    ...(entry.sourceFile !== undefined
+                        ? { sourceFile: entry.sourceFile }
+                        : {}),
                 });
                 const authoredSymbolResult = {
                     entity: entry.entity,
@@ -134,70 +149,6 @@ function buildManifestLookup(stagedFiles) {
         stagedAuthoredSymbolResults,
     };
 }
-function hasTraceabilityRelationship(result) {
-    return result.relationships.some((relationship) => isTraceabilityRelationshipType(relationship.type));
-}
-function hasValidGranularityReason(result) {
-    return isAllowedGranularityReason(result.entity.granularity_reason);
-}
-function createSymbolGranularityDiagnostics(options) {
-    const diagnostics = [];
-    for (const result of options.manifestResults) {
-        if (!result.sourceFile)
-            continue;
-        if (!hasTraceabilityRelationship(result))
-            continue;
-        if (hasValidGranularityReason(result))
-            continue;
-        const granularSymbols = getGranularSymbolsForSourceFile(result.sourceFile, options.symbolsByFile, options.sourceContentByFile);
-        if (granularSymbols.length === 0)
-            continue;
-        const granularNames = [
-            ...new Set(granularSymbols.map((s) => s.name)),
-        ].sort();
-        if (granularNames.includes(result.entity.title))
-            continue;
-        const behavioralNames = getBehavioralSymbolNames(granularSymbols);
-        if (behavioralNames.length === 0)
-            continue;
-        const nonBehavioralNames = getNonBehavioralSymbolNames(granularSymbols);
-        const ignoredSymbolsSuggestion = nonBehavioralNames.length > 0
-            ? ` Non-behavioral symbols ignored for this decision: ${nonBehavioralNames.join(", ")}.`
-            : "";
-        diagnostics.push({
-            id: "symbol_granularity_violation",
-            severity: "error",
-            files: [result.entity.source, result.sourceFile],
-            docs: ["docs/symbol-traceability-taxonomy.md"],
-            message: `Symbol ${result.entity.id} links ${result.sourceFile} coarsely while granular symbols are available (behavioral only): ${behavioralNames.join(", ")}`,
-            suggestion: `Move ownership/coverage/test relationships to the narrow behavioral symbol, add a manifest behavioral anchor, or add granularity_reason with config-artifact, module-level-behavior, extractor-miss, or legacy-link when the coarse symbol is intentional.${ignoredSymbolsSuggestion}`,
-        });
-    }
-    return diagnostics;
-}
-function getGranularSymbolsForSourceFile(sourceFile, symbolsByFile, sourceContentByFile) {
-    const stagedContent = sourceContentByFile.get(sourceFile);
-    if (stagedContent !== undefined) {
-        return extractSymbolsFromStagedFile({
-            path: sourceFile,
-            status: "M",
-            hunkRanges: [{ start: 1, end: Number.MAX_SAFE_INTEGER }],
-            content: stagedContent,
-        });
-    }
-    const absolutePath = path.isAbsolute(sourceFile)
-        ? sourceFile
-        : path.resolve(process.cwd(), sourceFile);
-    if (!existsSync(absolutePath)) {
-        return [];
-    }
-    return extractSymbolsFromStagedFile({
-        path: sourceFile,
-        status: "M",
-        hunkRanges: [{ start: 1, end: Number.MAX_SAFE_INTEGER }],
-        content: readFileSync(absolutePath, "utf8"),
-    });
-}
 const KIBI_ENTITY_TYPES = new Set([
     "req",
     "scenario",
@@ -254,7 +205,9 @@ function getStagedDiffText(stagedFile) {
 function formatStagedKibiDiagnostics(diagnostics) {
     return diagnostics
         .map((diagnostic) => {
-        const lines = [`[${diagnostic.id}] ${diagnostic.message}`];
+        const lines = [
+            `[${diagnostic.severity.toUpperCase()} ${diagnostic.id}] ${diagnostic.message}`,
+        ];
         if (diagnostic.files.length > 0) {
             lines.push(`  Files: ${diagnostic.files.join(", ")}`);
         }
@@ -266,11 +219,48 @@ function formatStagedKibiDiagnostics(diagnostics) {
     })
         .join("\n\n");
 }
+function formatQualityDiagnostics(diagnostics) {
+    if (diagnostics.length === 0) {
+        return "";
+    }
+    const details = diagnostics.map((diagnostic) => {
+        const lines = [
+            `[${diagnostic.severity.toUpperCase()} ${diagnostic.id}] ${diagnostic.message}`,
+        ];
+        if (diagnostic.entityId !== undefined) {
+            lines.push(`  Entity: ${diagnostic.entityId}`);
+        }
+        if (diagnostic.files !== undefined && diagnostic.files.length > 0) {
+            lines.push(`  Files: ${diagnostic.files.join(", ")}`);
+        }
+        if (diagnostic.docs !== undefined && diagnostic.docs.length > 0) {
+            lines.push(`  Docs: ${diagnostic.docs.join(", ")}`);
+        }
+        lines.push(`  Blocking: ${diagnostic.blocking ? "yes" : "no"}`);
+        lines.push(`  Suggestion: ${diagnostic.suggestion}`);
+        return lines.join("\n");
+    });
+    return `Quality diagnostics (${diagnostics.length}):\n${details.join("\n\n")}`;
+}
+function printStructuredCheckResult(input) {
+    console.log(JSON.stringify({
+        structuredContent: {
+            violations: input.violations,
+            count: input.violations.length,
+            diagnostics: [],
+            qualityDiagnostics: input.qualityDiagnostics,
+        },
+    }));
+}
 function uniqueSorted(values) {
     return Array.from(new Set(values)).sort();
 }
+function hasYamlFrontmatter(content) {
+    const trimmed = content.trimStart();
+    return trimmed.startsWith("---") && trimmed.slice(3).includes("\n---");
+}
 function buildStagedKibiImpactEvidence(options) {
-    const { stagedFiles, sourceFiles, markdownFiles, markdownResults, symbolsByFile, symbolsManifestPath, } = options;
+    const { stagedFiles, sourceFiles, markdownFiles, markdownResultsByPath, symbolsByFile, symbolsManifestPath, } = options;
     const sourceChanges = sourceFiles.map((file) => {
         const symbolsForFile = symbolsByFile.get(file.path) ?? [];
         const behaviorCandidate = !isTestOnlySourcePath(file.path) &&
@@ -301,13 +291,6 @@ function buildStagedKibiImpactEvidence(options) {
         stagedFiles,
         sourceFiles: behaviorSourceFiles,
     });
-    const markdownResultsByPath = new Map();
-    for (const [index, file] of markdownFiles.entries()) {
-        const result = markdownResults[index];
-        if (result) {
-            markdownResultsByPath.set(file.path, result);
-        }
-    }
     const resolvedKbArtifacts = [];
     let override = null;
     for (const file of markdownFiles) {
@@ -439,20 +422,34 @@ export async function checkCommand(options) {
                         console.error(`Error extracting symbols from staged file ${f.path}: ${e instanceof Error ? e.message : String(e)}`);
                     }
                 }
-                const markdownResults = markdownFiles.map((file) => extractFromMarkdownString(file.content ?? "", file.path));
+                const markdownResultsByPath = new Map();
+                for (const file of markdownFiles) {
+                    const content = file.content ?? "";
+                    if (hasYamlFrontmatter(content)) {
+                        markdownResultsByPath.set(file.path, extractFromMarkdownString(content, file.path));
+                    }
+                }
+                const stagedSourceFilePaths = new Set(sourceFiles.map((file) => file.path));
+                const scopedManifestResults = manifestResults.filter((result) => result.sourceFile !== undefined &&
+                    stagedSourceFilePaths.has(result.sourceFile));
                 const stagedEntityResults = [
-                    ...manifestResults,
-                    ...markdownResults,
+                    ...scopedManifestResults,
+                    ...markdownResultsByPath.values(),
                 ];
                 const stagedKibiEvidence = buildStagedKibiImpactEvidence({
                     stagedFiles,
                     sourceFiles,
                     markdownFiles,
-                    markdownResults,
+                    markdownResultsByPath,
                     symbolsByFile,
                     symbolsManifestPath,
                 });
                 const stagedKibiDiagnostics = collectStagedKibiDiagnostics(stagedKibiEvidence);
+                const activeStagedSymbolEntityIds = new Set(stagedKibiEvidence.mode.kind === "kb_changes"
+                    ? stagedKibiEvidence.mode.kbArtifacts
+                        .filter((artifact) => artifact.kind === "symbols_manifest")
+                        .flatMap((artifact) => artifact.entityIds)
+                    : []);
                 const stagedAuthoredSymbolSet = new Set(stagedAuthoredSymbolResults);
                 const stagedSourcePaths = new Set(sourceFiles.map((file) => file.path));
                 const activeGranularityResults = authoredSymbolResults.filter((result) => stagedAuthoredSymbolSet.has(result) ||
@@ -460,10 +457,30 @@ export async function checkCommand(options) {
                         stagedSourcePaths.has(result.sourceFile)));
                 stagedKibiDiagnostics.push(...createSymbolGranularityDiagnostics({
                     manifestResults: activeGranularityResults,
+                    ...(activeStagedSymbolEntityIds.size > 0
+                        ? { activeEntityIds: activeStagedSymbolEntityIds }
+                        : {}),
                     symbolsByFile,
                     sourceContentByFile,
-                }));
+                }), ...createSymbolQualityDiagnostics({
+                    manifestResults: activeGranularityResults,
+                    ...(activeStagedSymbolEntityIds.size > 0
+                        ? { activeEntityIds: activeStagedSymbolEntityIds }
+                        : {}),
+                    symbolsByFile,
+                }), ...createSemanticReviewDiagnostics({ symbolsByFile }));
                 if (allSymbols.length === 0 && stagedEntityResults.length === 0) {
+                    if (stagedKibiDiagnostics.length > 0) {
+                        console.log(formatStagedKibiDiagnostics(stagedKibiDiagnostics));
+                        if (options.dryRun) {
+                            return { exitCode: 0 };
+                        }
+                        return {
+                            exitCode: hasBlockingImpactDiagnostics(stagedKibiDiagnostics)
+                                ? 1
+                                : 0,
+                        };
+                    }
                     console.log("No exported symbols or staged entities found in staged files.");
                     return { exitCode: 0 };
                 }
@@ -473,7 +490,11 @@ export async function checkCommand(options) {
                         if (options.dryRun) {
                             return { exitCode: 0 };
                         }
-                        return { exitCode: 1 };
+                        return {
+                            exitCode: hasBlockingImpactDiagnostics(stagedKibiDiagnostics)
+                                ? 1
+                                : 0,
+                        };
                     }
                     console.log("✓ No violations found in staged files.");
                     return { exitCode: 0 };
@@ -510,7 +531,13 @@ export async function checkCommand(options) {
                     if (options.dryRun) {
                         return { exitCode: 0 };
                     }
-                    return { exitCode: 1 };
+                    if (!hasBlockingImpactDiagnostics(stagedKibiDiagnostics)) {
+                        console.log("✓ No violations found in staged symbols.");
+                        return { exitCode: 0 };
+                    }
+                    return {
+                        exitCode: 1,
+                    };
                 }
                 console.log("✓ No violations found in staged symbols.");
                 await cleanupTempKb(tempCtx.tempDir);
@@ -576,6 +603,7 @@ export async function checkCommand(options) {
             "strict-fact-shape",
             "strict-req-fact-pairing",
             "strict-readiness",
+            "query-plan-safety",
         ];
         const canUseAggregated = Array.from(effectiveRules).every((r) => supportedRules.includes(r));
         if (canUseAggregated) {
@@ -602,8 +630,24 @@ export async function checkCommand(options) {
             await runCheck("strict-req-fact-pairing", checkStrictReqFactPairing);
             await runCheck("strict-readiness", checkStrictReadiness);
         }
+        if (effectiveRules.has("query-plan-safety")) {
+            violations.push(...collectQueryPlanSafetyViolations());
+        }
+        const qualityDiagnostics = await collectFullKbQualityDiagnostics({
+            prolog: activeProlog,
+            hardViolationEntityIds: new Set(violations.map((violation) => violation.entityId)),
+        });
+        if (options.format === "json") {
+            printStructuredCheckResult({ violations, qualityDiagnostics });
+            return { exitCode: violations.length === 0 ? 0 : 1 };
+        }
+        const qualityOutput = formatQualityDiagnostics(qualityDiagnostics);
         if (violations.length === 0) {
             console.log("✓ No violations found. KB is valid.");
+            if (qualityOutput.length > 0) {
+                console.log();
+                console.log(qualityOutput);
+            }
             return { exitCode: 0 };
         }
         console.log(`Found ${violations.length} violation(s):`);
@@ -623,6 +667,10 @@ export async function checkCommand(options) {
             }
             console.log();
         }
+        if (qualityOutput.length > 0) {
+            console.log(qualityOutput);
+            console.log();
+        }
         return { exitCode: 1 };
     }
     catch (error) {

package/dist/commands/discovery-shared.d.ts

@@ -1,4 +1,5 @@
 import { PrologProcess, resolveKbPlPath } from "../prolog.js";
+export { renderCoverageTable } from "./discovery-table.js";
 export interface DiscoveryCommandOptions {
     format?: "json" | "table";
 }

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

@@ -1 +1 @@
-{"version":3,"file":"discovery-shared.d.ts","sourceRoot":"","sources":["../../src/commands/discovery-shared.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAK9D,MAAM,WAAW,uBAAuB;IACtC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC3B;AAED,qDAAqD;AACrD,MAAM,WAAW,aAAa;IAC5B,YAAY,EAAE,CAAC,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,KAAK,aAAa,CAAC;IAC3D,WAAW,EAAE,OAAO,eAAe,CAAC;CACrC;AAGD,wBAAsB,wBAAwB,CAAC,CAAC,EAC9C,QAAQ,EAAE,CAAC,MAAM,EAAE,aAAa,KAAK,OAAO,CAAC,CAAC,CAAC,EAC/C,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,OAAO,CAAC,CAAC,CAAC,CAmCZ;AAGD,wBAAsB,iBAAiB,CAAC,CAAC,EACvC,QAAQ,EAAE,CAAC,MAAM,EAAE,aAAa,KAAK,OAAO,CAAC,CAAC,CAAC,EAC/C,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,OAAO,CAAC,CAAC,CAAC,CAmBZ;AAGD,wBAAsB,oBAAoB,IAAI,OAAO,CAAC,MAAM,CAAC,CAS5D;AAGD,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,MAAM,EAChB,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,MAAM,CAGR;AAGD,wBAAsB,kBAAkB,CAAC,CAAC,EACxC,MAAM,EAAE,aAAa,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,EAClB,MAAM,CAAC,EAAE,MAAM,EACf,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,OAAO,CAAC,CAAC,CAAC,CAwBZ;AAGD,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,EACpC,UAAU,EAAE,OAAO,EACnB,YAAY,EAAE,MAAM,GACnB,IAAI,CAQN"}
+{"version":3,"file":"discovery-shared.d.ts","sourceRoot":"","sources":["../../src/commands/discovery-shared.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAM9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAE3D,MAAM,WAAW,uBAAuB;IACtC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC3B;AAED,qDAAqD;AACrD,MAAM,WAAW,aAAa;IAC5B,YAAY,EAAE,CAAC,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,KAAK,aAAa,CAAC;IAC3D,WAAW,EAAE,OAAO,eAAe,CAAC;CACrC;AAGD,wBAAsB,wBAAwB,CAAC,CAAC,EAC9C,QAAQ,EAAE,CAAC,MAAM,EAAE,aAAa,KAAK,OAAO,CAAC,CAAC,CAAC,EAC/C,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,OAAO,CAAC,CAAC,CAAC,CAmCZ;AAGD,wBAAsB,iBAAiB,CAAC,CAAC,EACvC,QAAQ,EAAE,CAAC,MAAM,EAAE,aAAa,KAAK,OAAO,CAAC,CAAC,CAAC,EAC/C,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,OAAO,CAAC,CAAC,CAAC,CAmBZ;AAGD,wBAAsB,oBAAoB,IAAI,OAAO,CAAC,MAAM,CAAC,CAS5D;AAGD,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,MAAM,EAChB,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,MAAM,CAGR;AAGD,wBAAsB,kBAAkB,CAAC,CAAC,EACxC,MAAM,EAAE,aAAa,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,EAClB,MAAM,CAAC,EAAE,MAAM,EACf,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,OAAO,CAAC,CAAC,CAAC,CAwBZ;AAGD,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,EACpC,UAAU,EAAE,OAAO,EACnB,YAAY,EAAE,MAAM,GACnB,IAAI,CAQN"}

package/dist/commands/discovery-shared.js

@@ -1,10 +1,11 @@
 import path from "node:path";
-import Table from "cli-table3";
 import { getBranchOverride } from "../env.js";
 import { PrologProcess, resolveKbPlPath } from "../prolog.js";
 import { escapeAtom } from "../prolog/codec.js";
 import { safeCleanupProlog } from "../utils/prolog-cleanup.js";
+import { renderDiscoveryTable } from "./discovery-table.js";
 import { getCurrentBranch } from "./init-helpers.js";
+export { renderCoverageTable } from "./discovery-table.js";
 // implements REQ-003
 export async function withAttachedBranchProlog(callback, deps) {
     const createProlog = deps?.createProlog ?? ((opts) => new PrologProcess(opts));
@@ -97,193 +98,3 @@ export function printDiscoveryResult(format, structured, fallbackText) {
     const rendered = renderDiscoveryTable(structured);
     console.log(rendered || fallbackText);
 }
-function renderDiscoveryTable(structured) {
-    if (!structured || typeof structured !== "object") {
-        return null;
-    }
-    const payload = structured;
-    if (Array.isArray(payload.results)) {
-        return renderSearchTable(payload);
-    }
-    if (typeof payload.branch === "string" &&
-        typeof payload.syncState === "string") {
-        return renderStatusTable(payload);
-    }
-    if (Array.isArray(payload.nodes) && Array.isArray(payload.edges)) {
-        return renderGraphTable(payload);
-    }
-    if (Array.isArray(payload.rows) &&
-        payload.summary &&
-        typeof payload.summary === "object") {
-        return renderCoverageTable(payload);
-    }
-    if (Array.isArray(payload.rows)) {
-        return renderGapsTable(payload);
-    }
-    return null;
-}
-function renderSearchTable(payload) {
-    const rows = Array.isArray(payload.results) ? payload.results : [];
-    const table = new Table({
-        head: ["ID", "Type", "Title", "Score", "Reasons", "Snippet"],
-        wordWrap: true,
-        colWidths: [20, 10, 32, 8, 28, 44],
-    });
-    for (const row of rows) {
-        const match = row;
-        const entity = (match.entity ?? {});
-        const reasons = Array.isArray(match.reasons)
-            ? match.reasons.join(", ")
-            : "";
-        table.push([
-            stringifyCell(entity.id),
-            stringifyCell(entity.type),
-            stringifyCell(entity.title),
-            stringifyCell(match.score),
-            reasons,
-            stringifyCell(match.snippet),
-        ]);
-    }
-    return [
-        `Search results: ${stringifyCell(payload.count)} total`,
-        table.toString(),
-    ].join("\n");
-}
-function renderStatusTable(payload) {
-    const table = new Table({
-        head: ["Field", "Value"],
-        colWidths: [18, 72],
-        wordWrap: true,
-    });
-    table.push(["Branch", stringifyCell(payload.branch)], ["Sync State", stringifyCell(payload.syncState)], ["Dirty", stringifyCell(payload.dirty)], ["Snapshot", stringifyCell(payload.snapshotId)], ["Synced At", stringifyCell(payload.syncedAt)], ["KB Path", stringifyCell(payload.kbPath)]);
-    return table.toString();
-}
-function renderGapsTable(payload) {
-    const rows = Array.isArray(payload.rows) ? payload.rows : [];
-    const table = new Table({
-        head: ["ID", "Type", "Status", "Missing", "Present", "Source"],
-        colWidths: [20, 10, 12, 24, 24, 40],
-        wordWrap: true,
-    });
-    for (const row of rows) {
-        const item = row;
-        table.push([
-            stringifyCell(item.id),
-            stringifyCell(item.type),
-            stringifyCell(item.status),
-            joinCells(item.missingRelationships),
-            joinCells(item.presentRelationships),
-            stringifyCell(item.source),
-        ]);
-    }
-    return [`Gap rows: ${stringifyCell(payload.count)}`, table.toString()].join("\n");
-}
-function renderCoverageTable(payload) {
-    const summary = (payload.summary ?? {});
-    const rows = Array.isArray(payload.rows) ? payload.rows : [];
-    const summaryTable = new Table({
-        head: ["Metric", "Value"],
-        colWidths: [24, 16],
-    });
-    for (const [key, value] of Object.entries(summary)) {
-        summaryTable.push([key, stringifyCell(value)]);
-    }
-    const firstRow = rows[0];
-    const isRequirementCoverage = firstRow && Object.hasOwn(firstRow, "scenarioCount");
-    const table = isRequirementCoverage
-        ? new Table({
-            head: [
-                "ID",
-                "Status",
-                "Priority",
-                "Coverage",
-                "Scen",
-                "Tests",
-                "Symbols",
-                "Gaps",
-            ],
-            colWidths: [20, 12, 12, 18, 8, 8, 10, 28],
-            wordWrap: true,
-        })
-        : new Table({
-            head: ["ID", "Type", "Coverage", "Details", "Gaps"],
-            colWidths: [20, 10, 18, 28, 28],
-            wordWrap: true,
-        });
-    for (const row of rows) {
-        const item = row;
-        if (isRequirementCoverage) {
-            table.push([
-                stringifyCell(item.id),
-                stringifyCell(item.status),
-                stringifyCell(item.priority),
-                stringifyCell(item.coverageStatus),
-                stringifyCell(item.scenarioCount),
-                stringifyCell(item.testCount),
-                stringifyCell(item.transitiveSymbolCount),
-                joinCells(item.gaps),
-            ]);
-        }
-        else {
-            table.push([
-                stringifyCell(item.id),
-                stringifyCell(item.type),
-                stringifyCell(item.coverageStatus),
-                `req=${stringifyCell(item.directRequirementCount)} test=${stringifyCell(item.testCount)} count=${stringifyCell(item.count)}`,
-                joinCells(item.gaps),
-            ]);
-        }
-    }
-    return [summaryTable.toString(), table.toString()].join("\n\n");
-}
-function renderGraphTable(payload) {
-    const nodes = Array.isArray(payload.nodes) ? payload.nodes : [];
-    const edges = Array.isArray(payload.edges) ? payload.edges : [];
-    const nodeTable = new Table({
-        head: ["Node ID", "Type", "Title", "Status"],
-        colWidths: [22, 10, 36, 12],
-        wordWrap: true,
-    });
-    for (const row of nodes) {
-        const item = row;
-        nodeTable.push([
-            stringifyCell(item.id),
-            stringifyCell(item.type),
-            stringifyCell(item.title),
-            stringifyCell(item.status),
-        ]);
-    }
-    const edgeTable = new Table({
-        head: ["Relationship", "From", "To"],
-        colWidths: [18, 22, 22],
-        wordWrap: true,
-    });
-    for (const row of edges) {
-        const item = row;
-        edgeTable.push([
-            stringifyCell(item.type),
-            stringifyCell(item.from),
-            stringifyCell(item.to),
-        ]);
-    }
-    return [
-        `Nodes: ${nodes.length}  Edges: ${edges.length}  Truncated: ${stringifyCell(payload.truncated)}`,
-        nodeTable.toString(),
-        edgeTable.toString(),
-    ].join("\n\n");
-}
-function stringifyCell(value) {
-    if (value === null || value === undefined || value === "") {
-        return "-";
-    }
-    if (typeof value === "string") {
-        return value;
-    }
-    return String(value);
-}
-function joinCells(value) {
-    if (!Array.isArray(value) || value.length === 0) {
-        return "-";
-    }
-    return value.map((item) => stringifyCell(item)).join(", ");
-}

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

@@ -0,0 +1,3 @@
+export declare function renderDiscoveryTable(structured: unknown): string | null;
+export declare function renderCoverageTable(payload: Readonly<Record<string, unknown>>): string;
+//# sourceMappingURL=discovery-table.d.ts.map

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

@@ -0,0 +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"}