kibi-cli 0.19.0 → 1.0.1

package/dist/commands/migrate.js

@@ -19,10 +19,49 @@ import { existsSync, mkdirSync, readFileSync, renameSync, writeFileSync, } from
 import * as path from "node:path";
 import { load as parseYAML } from "js-yaml";
 import { extractSymbolsFromStagedFile } from "../traceability/symbol-extract.js";
-import { resolveActiveBranch } from "../utils/branch-resolver.js";
-import { DEFAULT_CONFIG } from "../utils/config.js";
+import { resolveBranchAttachment } from "../utils/branch-resolver.js";
+import { defaultKbManifest, readKbManifest, readKbManifestStatus, writeKbManifest, } from "../utils/kb-manifest.js";
+import { CANONICAL_ENTITY_PATHS } from "../utils/kb-paths.js";
 import { LATEST_KB_SCHEMA_VERSION, getSchemaVersionStatus, normalizeSchemaVersion, } from "../utils/schema-version.js";
+import { updateGitIgnore } from "./init-helpers.js";
+import { applyLegacyStorageMigration, planLegacyStorageMigration, } from "./legacy-storage-migration.js";
 const MIGRATION_AUDIT_VERSION = 1;
+const SCHEMA_MIGRATION_STEPS = [
+    {
+        id: "config-canonical-v1",
+        from: 0,
+        to: 1,
+        description: "Preserve legacy configuration while recording canonical schema metadata.",
+    },
+    {
+        id: "symbol-granularity-v2",
+        from: 1,
+        to: 2,
+        description: "Mark provable coarse traceability links as legacy-link.",
+    },
+    {
+        id: "compatibility-v3",
+        from: 2,
+        to: 3,
+        description: "Record an audited compatibility no-op for schema v3.",
+    },
+    {
+        id: "semantic-backfill-v4",
+        from: 3,
+        to: 4,
+        description: "Mark semantic-advisor backfill as pending without inventing claims.",
+    },
+    {
+        id: "canonical-storage-v5",
+        from: 4,
+        to: 5,
+        description: "Move Kibi knowledge into the canonical .kb/ namespace and retire .kb/config.json.",
+    },
+];
+function migrationStepsFor(fromVersion) {
+    const start = Math.max(0, fromVersion ?? 0);
+    return SCHEMA_MIGRATION_STEPS.filter((step) => step.from >= start);
+}
 function printWarning(message) {
     console.log(`Warning: ${message}`);
 }
@@ -31,59 +70,24 @@ function toRelativePath(cwd, filePath) {
     return relativePath.length > 0 ? relativePath : path.basename(filePath);
 }
 function resolveMigrationBranch(cwd) {
-    const result = resolveActiveBranch(cwd);
+    const result = resolveBranchAttachment(cwd);
     if ("error" in result) {
         const isNonGitContext = result.code === "NOT_A_GIT_REPO" || result.code === "GIT_NOT_AVAILABLE";
         if (isNonGitContext) {
             return {
-                branch: "main",
-                warnings: [
-                    "Not in a git repository; using 'main' for migration audit metadata.",
-                ],
+                error: "Not in a git repository; set KIBI_BRANCH explicitly for migration audit metadata.",
             };
         }
         return {
             error: `Failed to resolve active branch: ${result.error}`,
         };
     }
-    return {
-        branch: result.branch,
-        warnings: [],
-    };
-}
-function loadRawConfigDocument(cwd) {
-    const kbDir = path.join(cwd, ".kb");
-    const configPath = path.join(kbDir, "config.json");
-    if (!existsSync(kbDir)) {
-        return {
-            error: "Missing .kb/ directory. Run 'kibi init' before 'kibi migrate'.",
-        };
-    }
-    if (!existsSync(configPath)) {
+    if (result.migrationRequired) {
         return {
-            error: "Missing .kb/config.json. Run 'kibi init' to create a baseline config before migrating.",
-        };
-    }
-    try {
-        const parsed = JSON.parse(readFileSync(configPath, "utf8"));
-        if (parsed === null ||
-            Array.isArray(parsed) ||
-            typeof parsed !== "object") {
-            return {
-                error: ".kb/config.json must contain a JSON object. Fix the file and retry 'kibi migrate'.",
-            };
-        }
-        return {
-            config: parsed,
-            configPath,
-        };
-    }
-    catch (error) {
-        const message = error instanceof Error ? error.message : String(error);
-        return {
-            error: `Invalid .kb/config.json: ${message}. Fix the JSON or re-run 'kibi init'.`,
+            error: `Legacy branch attachment for '${result.gitBranch}' requires 'kibi branch migrate --from ${result.kbBranch} --to ${result.gitBranch} --apply' before schema migration.`,
         };
     }
+    return { branch: result.kbBranch, warnings: [] };
 }
 function writeJsonAtomically(filePath, value) {
     writeTextAtomically(filePath, `${JSON.stringify(value, null, 2)}\n`);
@@ -107,7 +111,7 @@ function buildMigrationAuditRecord(args) {
     return {
         auditVersion: MIGRATION_AUDIT_VERSION,
         branch: args.branch,
-        configPath: args.configPath,
+        manifestPath: args.manifestPath,
         fromVersion: args.fromVersion,
         migratedAt: args.migratedAt,
         semanticAdvisorBackfill: args.semanticAdvisorBackfill,
@@ -115,6 +119,7 @@ function buildMigrationAuditRecord(args) {
         symbolGranularityLegacyLinks: args.symbolGranularityLegacyLinks,
         toVersion: LATEST_KB_SCHEMA_VERSION,
         warning: args.warning,
+        steps: args.steps,
     };
 }
 function normalizeSemanticAdvisorBackfill(value) {
@@ -203,13 +208,8 @@ function addLegacyReasonsToManifestText(content, symbolIds) {
     return output.join("\n");
 }
 function migrateSymbolGranularity(options) {
-    const configuredSymbolsPath = options.config.paths?.symbols ?? DEFAULT_CONFIG.paths.symbols;
-    if (typeof configuredSymbolsPath !== "string") {
-        return { count: 0, manifestPath: null };
-    }
-    const manifestPath = path.isAbsolute(configuredSymbolsPath)
-        ? configuredSymbolsPath
-        : path.join(options.cwd, configuredSymbolsPath);
+    const manifestPath = options.manifestPath ??
+        path.join(options.cwd, CANONICAL_ENTITY_PATHS.symbols);
     if (!existsSync(manifestPath)) {
         return { count: 0, manifestPath };
     }
@@ -263,100 +263,253 @@ function migrateSymbolGranularity(options) {
 }
 // implements REQ-003
 export async function migrateCommand(options = {}) {
-    const cwd = process.cwd();
+    if (options.applySafe === true ||
+        options.format === "json" ||
+        (options.yes !== true && options.dryRun !== true)) {
+        return migratePlanCommand(options);
+    }
+    const cwd = path.resolve(options.workspaceRoot ?? process.cwd());
     const branchResult = resolveMigrationBranch(cwd);
     if ("error" in branchResult) {
         console.error(branchResult.error);
         return { exitCode: 1 };
     }
-    const configResult = loadRawConfigDocument(cwd);
-    if ("error" in configResult) {
-        console.error(configResult.error);
+    const manifestStatus = readKbManifestStatus(cwd);
+    const storagePlan = planLegacyStorageMigration(cwd);
+    // Baseline for fresh workspaces driven by the internal plan executor.
+    if (options.initializeMissingConfig === true &&
+        manifestStatus.state === "missing") {
+        writeKbManifest(cwd, defaultKbManifest());
+    }
+    if (manifestStatus.state === "missing" &&
+        storagePlan.moves.length === 0 &&
+        storagePlan.legacyConfig === "absent") {
+        console.error("Missing .kb/ lifecycle state. Run 'kibi init' to create the canonical layout before migrating.");
         return { exitCode: 1 };
     }
     const { branch, warnings: branchWarnings } = branchResult;
-    const { config, configPath } = configResult;
-    const configStatus = getSchemaVersionStatus(config);
-    const normalizedVersion = normalizeSchemaVersion(config.schemaVersion);
-    const rawSchemaVersion = config.schemaVersion;
-    const needsCanonicalSchemaWrite = normalizedVersion === LATEST_KB_SCHEMA_VERSION &&
-        rawSchemaVersion !== undefined &&
-        rawSchemaVersion !== LATEST_KB_SCHEMA_VERSION;
-    const migrationWarning = needsCanonicalSchemaWrite
-        ? "KB config schemaVersion should be normalized to the latest numeric version."
+    const currentManifest = readKbManifest(cwd);
+    const legacySchemaVersion = normalizeSchemaVersion(storagePlan.schemaVersion);
+    const currentVersion = currentManifest?.schemaVersion ?? legacySchemaVersion;
+    const normalizedVersion = normalizeSchemaVersion(currentVersion);
+    const configStatus = getSchemaVersionStatus(normalizedVersion === null
+        ? undefined
+        : { schemaVersion: normalizedVersion });
+    const needsStorageMigration = storagePlan.moves.length > 0 || storagePlan.legacyConfig !== "absent";
+    const needsSchemaUpgrade = configStatus.needsMigration || normalizedVersion === null;
+    const migrationWarning = manifestStatus.state === "invalid" || manifestStatus.state === "future"
+        ? manifestStatus.warning
         : configStatus.warning;
     const warnings = [
         ...branchWarnings,
         ...(migrationWarning ? [migrationWarning] : []),
     ];
     const auditPath = path.join(cwd, ".kb", "migrations", `${branch}.json`);
-    const configPathRelative = toRelativePath(cwd, configPath);
-    const auditPathRelative = toRelativePath(cwd, auditPath);
     for (const warning of warnings) {
         printWarning(warning);
     }
+    if (storagePlan.blockers.length > 0) {
+        for (const blocker of storagePlan.blockers) {
+            console.error(`Blocked: ${blocker}`);
+        }
+        return { exitCode: 1 };
+    }
     if (configStatus.currentVersion !== null &&
         configStatus.currentVersion > configStatus.latestVersion) {
         console.error(`Unsupported schemaVersion ${configStatus.currentVersion}. Upgrade kibi-cli before migrating this KB.`);
         return { exitCode: 1 };
     }
-    if (!configStatus.needsMigration && !needsCanonicalSchemaWrite) {
-        console.log(`No migration needed: ${configPathRelative} is already at schemaVersion ${LATEST_KB_SCHEMA_VERSION}.`);
+    if (!needsStorageMigration && !needsSchemaUpgrade) {
+        console.log(`No migration needed: the KB is already at schemaVersion ${LATEST_KB_SCHEMA_VERSION} on the canonical .kb/ layout.`);
         if (existsSync(auditPath)) {
-            console.log(`Existing migration audit metadata: ${auditPathRelative}`);
+            console.log(`Existing migration audit metadata: ${toRelativePath(cwd, auditPath)}`);
+        }
+        if (options.yes === true) {
+            updateGitIgnore(cwd);
         }
         return { exitCode: 0 };
     }
-    const fromVersionLabel = formatSchemaVersion(rawSchemaVersion, normalizedVersion);
-    const symbolGranularityMigration = migrateSymbolGranularity({
-        cwd,
-        config,
-        dryRun: options.dryRun || !options.yes,
-    });
-    const semanticAdvisorBackfill = normalizeSemanticAdvisorBackfill(config.semanticAdvisorBackfill) ??
-        "pending";
+    const fromVersionLabel = formatSchemaVersion(currentVersion, normalizedVersion);
+    const migrationSteps = migrationStepsFor(configStatus.currentVersion);
+    const symbolGranularityStep = migrationSteps.some((step) => step.id === "symbol-granularity-v2");
+    const semanticBackfillStep = migrationSteps.some((step) => step.id === "semantic-backfill-v4");
     if (options.dryRun) {
-        console.log(`dry run: would migrate ${configPathRelative} schemaVersion from ${fromVersionLabel} to ${LATEST_KB_SCHEMA_VERSION}.`);
-        console.log(`dry run: would write migration audit metadata to ${auditPathRelative}.`);
-        if (symbolGranularityMigration.count > 0) {
-            console.log(`dry run: would mark ${symbolGranularityMigration.count} legacy coarse symbol link(s) in ${toRelativePath(cwd, symbolGranularityMigration.manifestPath ?? "symbols.yaml")}.`);
+        if (storagePlan.moves.length > 0) {
+            console.log(`dry run: would move ${storagePlan.moves.length} legacy knowledge file(s) into .kb/:`);
+            for (const move of storagePlan.moves) {
+                console.log(`  ${move.from} -> ${move.to}`);
+            }
+        }
+        if (storagePlan.legacyConfig !== "absent") {
+            console.log("dry run: would retire legacy .kb/config.json after moving knowledge into .kb/.");
         }
-        if (semanticAdvisorBackfill === "pending") {
-            console.log(`dry run: would mark semantic advisor backfill as pending in ${configPathRelative}.`);
+        console.log(`dry run: would set schemaVersion from ${fromVersionLabel} to ${LATEST_KB_SCHEMA_VERSION} in .kb/manifest.json.`);
+        if (symbolGranularityStep) {
+            const symbolsSource = storagePlan.moves.find((move) => move.to === CANONICAL_ENTITY_PATHS.symbols)?.from ?? CANONICAL_ENTITY_PATHS.symbols;
+            const preview = migrateSymbolGranularity({
+                cwd,
+                dryRun: true,
+                manifestPath: path.join(cwd, symbolsSource),
+            });
+            if (preview.count > 0) {
+                console.log(`dry run: would mark ${preview.count} legacy coarse symbol link(s) as legacy-link.`);
+            }
         }
+        console.log(`dry run: would write migration audit metadata to ${toRelativePath(cwd, auditPath)}.`);
         console.log("Re-run with --yes to apply these changes.");
         return { exitCode: 0 };
     }
     if (!options.yes) {
-        printWarning(`Migration required for ${configPathRelative}.`);
+        printWarning("Migration required for this repository.");
         console.log("No changes applied.");
         console.log("Use --dry-run to preview or --yes to apply the migration.");
         return { exitCode: 0 };
     }
-    const nextConfig = {
-        ...config,
+    // One-way storage cutover first: files must reach the canonical layout
+    // before the manifest records the new schema generation.
+    if (needsStorageMigration) {
+        const storageResult = applyLegacyStorageMigration(cwd, storagePlan);
+        if (storageResult.movedFiles.length > 0) {
+            console.log(`Moved ${storageResult.movedFiles.length} knowledge file(s) into the canonical .kb/ layout.`);
+        }
+        if (storageResult.retiredLegacyConfig) {
+            console.log("Retired legacy .kb/config.json.");
+        }
+    }
+    const symbolGranularityMigration = migrateSymbolGranularity({
+        cwd,
+        dryRun: !symbolGranularityStep || options.dryRun || !options.yes,
+    });
+    const semanticAdvisorBackfill = normalizeSemanticAdvisorBackfill(readKbManifest(cwd)?.semanticAdvisorBackfill) ??
+        normalizeSemanticAdvisorBackfill(storagePlan.semanticAdvisorBackfill) ??
+        (semanticBackfillStep || needsStorageMigration
+            ? "pending"
+            : "not_applicable");
+    const existingManifest = readKbManifest(cwd) ?? defaultKbManifest();
+    writeKbManifest(cwd, {
+        ...existingManifest,
         schemaVersion: LATEST_KB_SCHEMA_VERSION,
         semanticAdvisorBackfill,
-    };
+    });
     const migratedAt = new Date().toISOString();
-    writeJsonAtomically(configPath, nextConfig);
     writeJsonAtomically(auditPath, buildMigrationAuditRecord({
         branch,
-        configPath: configPathRelative,
+        manifestPath: KB_MANIFEST_RELATIVE,
         fromVersion: configStatus.currentVersion,
         migratedAt,
         semanticAdvisorBackfill,
         symbolGranularityLegacyLinks: symbolGranularityMigration.count,
         warning: migrationWarning,
+        steps: migrationSteps.map((step) => step.id),
     }));
-    console.log(`Migrated ${configPathRelative} schemaVersion from ${fromVersionLabel} to ${LATEST_KB_SCHEMA_VERSION}.`);
+    console.log(`Migrated the KB to schemaVersion ${LATEST_KB_SCHEMA_VERSION} on the canonical .kb/ layout (was ${fromVersionLabel}).`);
     if (symbolGranularityMigration.count > 0) {
         console.log(`Marked ${symbolGranularityMigration.count} existing coarse symbol link(s) as legacy-link.`);
     }
     if (semanticAdvisorBackfill === "pending") {
-        console.log(`Marked semantic advisor backfill as pending in ${configPathRelative}.`);
+        console.log(`Marked semantic advisor backfill as pending in ${KB_MANIFEST_RELATIVE}.`);
     }
-    console.log(`Wrote migration audit metadata to ${auditPathRelative}.`);
+    console.log(`Wrote migration audit metadata to ${toRelativePath(cwd, auditPath)}.`);
     console.log("Migration complete. Future 'kibi migrate' runs will be a no-op.");
+    updateGitIgnore(cwd);
+    return { exitCode: 0 };
+}
+const KB_MANIFEST_RELATIVE = ".kb/manifest.json";
+async function buildWorkspaceMigrationPlan(workspaceRoot = process.cwd()) {
+    const [{ createCliRuntime }, { executeOperation }, { statusSpec }, { checkSpec }, { coverageSpec }, { mergeMigrationPlans },] = await Promise.all([
+        import("../runtime/cli-runtime.js"),
+        import("../public/operations/runtime-types.js"),
+        import("../public/operations/specs/discovery.js"),
+        import("../public/operations/specs/check.js"),
+        import("../public/operations/specs/reporting.js"),
+        import("../public/operations/migration-plan.js"),
+    ]);
+    const runtime = createCliRuntime({ workspaceRoot });
+    const statusResult = await executeOperation(runtime, statusSpec, {});
+    const status = statusResult.structuredContent;
+    const plans = [];
+    if (status?.migrationPlan !== undefined)
+        plans.push(status.migrationPlan);
+    const storeHealthy = status?.branchStore?.state === "healthy";
+    const schemaCurrent = status?.schemaStatus?.needsMigration !== true;
+    if (storeHealthy &&
+        schemaCurrent &&
+        status?.branchAttachment?.kind === "exact") {
+        const checkResult = await executeOperation(runtime, checkSpec, {});
+        if (checkResult.structuredContent?.migrationPlan !== undefined) {
+            plans.push(checkResult.structuredContent.migrationPlan);
+        }
+        const coverageInputs = [
+            { by: "req", limit: 10_000, offset: 0 },
+            { by: "symbol", limit: 10_000, offset: 0 },
+        ];
+        for (const input of coverageInputs) {
+            const coverageResult = await executeOperation(runtime, coverageSpec, input);
+            if (coverageResult.structuredContent?.migrationPlan !== undefined) {
+                plans.push(coverageResult.structuredContent.migrationPlan);
+            }
+        }
+    }
+    if (plans.length === 0) {
+        const { buildMigrationPlan } = await import("../public/operations/migration-plan.js");
+        return buildMigrationPlan({
+            evaluatedDomains: ["package", "branch", "storage", "schema"],
+            incompleteDomains: ["status"],
+            diagnostics: [
+                "Unable to assemble downstream migration domains from the current workspace state.",
+            ],
+        });
+    }
+    return mergeMigrationPlans(plans);
+}
+async function migratePlanCommand(options) {
+    const workspaceRoot = path.resolve(options.workspaceRoot ?? process.cwd());
+    const plan = await buildWorkspaceMigrationPlan(workspaceRoot);
+    if (options.applySafe === true) {
+        if (!options.approvedPlanHash) {
+            console.error("--apply-safe requires --approved-plan-hash <sha256>.");
+            return { exitCode: 2 };
+        }
+        if (options.approvedPlanHash !== plan.planHash) {
+            console.error("Migration plan changed; regenerate the plan and approve its current hash.");
+            return { exitCode: 2 };
+        }
+        const approvedActionIds = options.approvedActionIds && options.approvedActionIds.length > 0
+            ? options.approvedActionIds
+            : plan.actions
+                .filter((action) => action.state === "ready" && action.autoApplicable)
+                .map((action) => action.id);
+        if (approvedActionIds.length === 0) {
+            console.log("No approved automatic migration actions are ready.");
+            return { exitCode: 0 };
+        }
+        const [{ createCliRuntime }, { executeOperation }, { applyPlanSpec }] = await Promise.all([
+            import("../runtime/cli-runtime.js"),
+            import("../public/operations/runtime-types.js"),
+            import("../public/operations/specs/planning.js"),
+        ]);
+        const result = await executeOperation(createCliRuntime({ workspaceRoot }), applyPlanSpec, { plan, approvedPlanHash: options.approvedPlanHash, approvedActionIds });
+        if (options.format === "json") {
+            console.log(JSON.stringify(result, null, 2));
+        }
+        else {
+            console.log(result.content[0]?.text ?? "Migration applied.");
+            console.log(JSON.stringify(result.structuredContent, null, 2));
+        }
+        return {
+            exitCode: result.structuredContent?.outcome === "applied" ? 0 : 1,
+        };
+    }
+    if (options.format === "json") {
+        console.log(JSON.stringify(plan, null, 2));
+    }
+    else {
+        console.log(`Migration plan ${plan.planHash}`);
+        console.log(`Status: ${plan.status}; actions: ${plan.summary.actionCount}; automatic-ready: ${plan.actions.filter((action) => action.state === "ready" && action.autoApplicable).length}`);
+        for (const action of plan.actions) {
+            console.log(`- ${action.state} ${action.safety} ${action.code}: ${action.id}`);
+        }
+        console.log("Use --format json for structured actions, or --apply-safe with the approved plan hash.");
+    }
     return { exitCode: 0 };
 }

package/dist/commands/report.d.ts

@@ -0,0 +1,24 @@
+import { type HtmlReportCoverage } from "../report/html-report.js";
+import { type ReportRepository } from "../report/repository.js";
+export type ReportOptions = Readonly<{
+    output?: string;
+    open?: boolean;
+    tag?: string;
+    limit?: string;
+}>;
+type ReportCoverage = Readonly<{
+    requirements: HtmlReportCoverage;
+    symbols: HtmlReportCoverage;
+    branch: string;
+}>;
+export type ReportCommandDeps = Readonly<{
+    loadCoverage?: (tags: readonly string[], limit: number) => Promise<ReportCoverage>;
+    openReport?: (filePath: string) => Promise<void>;
+    now?: () => Date;
+    cwd?: () => string;
+    repository?: ReportRepository;
+}>;
+export declare function openReport(filePath: string): Promise<void>;
+export declare function reportCommand(options: ReportOptions, deps?: ReportCommandDeps): Promise<string>;
+export {};
+//# sourceMappingURL=report.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../../src/commands/report.ts"],"names":[],"mappings":"AAYA,OAAO,EACL,KAAK,kBAAkB,EAExB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,KAAK,gBAAgB,EAEtB,MAAM,yBAAyB,CAAC;AAIjC,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,CAAC,CAAC;AAEH,KAAK,cAAc,GAAG,QAAQ,CAAC;IAC7B,YAAY,EAAE,kBAAkB,CAAC;IACjC,OAAO,EAAE,kBAAkB,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC,CAAC;AAEH,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACvC,YAAY,CAAC,EAAE,CACb,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,KAAK,EAAE,MAAM,KACV,OAAO,CAAC,cAAc,CAAC,CAAC;IAC7B,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACjD,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,gBAAgB,CAAC;CAC/B,CAAC,CAAC;AA4HH,wBAAsB,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAoBhE;AAeD,wBAAsB,aAAa,CACjC,OAAO,EAAE,aAAa,EACtB,IAAI,GAAE,iBAAsB,GAC3B,OAAO,CAAC,MAAM,CAAC,CAyEjB"}

package/dist/commands/report.js

@@ -0,0 +1,191 @@
+import { execFileSync, spawn } from "node:child_process";
+import { randomUUID } from "node:crypto";
+import { mkdir, rename, rm, writeFile } from "node:fs/promises";
+import path from "node:path";
+import { pathToFileURL } from "node:url";
+import { coverageSpec } from "../public/operations/specs/reporting.js";
+import { KIBI_BRAND, renderKibiBadge } from "../report/brand.js";
+import { renderHtmlReport, } from "../report/html-report.js";
+import { resolveReportRepository, } from "../report/repository.js";
+import { createCliRuntime } from "../runtime/cli-runtime.js";
+import { listGitRemotes } from "./github-init.js";
+function gitCommitSha(cwd) {
+    try {
+        const sha = execFileSync("git", ["-C", cwd, "rev-parse", "HEAD"], {
+            encoding: "utf8",
+            stdio: ["ignore", "pipe", "pipe"],
+        }).trim();
+        return /^[0-9a-f]{7,64}$/i.test(sha) ? sha : undefined;
+    }
+    catch {
+        return undefined;
+    }
+}
+function loadReportRepository(cwd, branch) {
+    const commitSha = gitCommitSha(cwd);
+    return resolveReportRepository({
+        remotes: listGitRemotes(cwd),
+        ...(commitSha ? { commitSha } : {}),
+        branch,
+    });
+}
+function parseTags(value) {
+    return (value ?? "")
+        .split(",")
+        .map((item) => item.trim())
+        .filter(Boolean);
+}
+function parseLimit(value) {
+    const raw = (value ?? "10000").trim();
+    const limit = /^\d+$/.test(raw) ? Number(raw) : Number.NaN;
+    if (!Number.isSafeInteger(limit) || limit < 1 || limit > 100_000) {
+        throw new Error("Report limit must be an integer between 1 and 100000");
+    }
+    return limit;
+}
+function reportTarget(root, output) {
+    const requested = output?.trim() || "kibi-report";
+    const absolute = path.resolve(root, requested);
+    return [".html", ".htm"].includes(path.extname(absolute).toLowerCase())
+        ? absolute
+        : path.join(absolute, "index.html");
+}
+async function executeCoverageInContext(context, tags, limit) {
+    const requirements = await coverageSpec.execute({
+        by: "req",
+        tags,
+        includePassing: true,
+        includeTransitive: true,
+        limit,
+        offset: 0,
+    }, context);
+    const symbols = await coverageSpec.execute({
+        by: "symbol",
+        tags,
+        includePassing: false,
+        includeTransitive: true,
+        // Only the complete summary is needed for the unowned-code metric.
+        limit: 0,
+        offset: 0,
+    }, context);
+    if (!requirements.structuredContent || !symbols.structuredContent) {
+        throw new Error("Coverage did not return structured report data");
+    }
+    return {
+        requirements: requirements.structuredContent,
+        symbols: symbols.structuredContent,
+        branch: context.branchAttachment?.gitBranch ??
+            String(requirements.structuredContent.meta?.branch ?? "unknown"),
+    };
+}
+async function loadCoverage(tags, limit) {
+    const runtime = createCliRuntime();
+    const runtimeSpec = coverageSpec;
+    const context = await runtime.open(runtimeSpec);
+    let result;
+    try {
+        result = await executeCoverageInContext(context, tags, limit);
+    }
+    catch (error) {
+        await runtime.close(context, { status: "error", error });
+        throw error;
+    }
+    await runtime.close(context, { status: "success", result });
+    return result;
+}
+async function writeAtomically(filePath, contents) {
+    const directory = path.dirname(filePath);
+    const temporaryPath = path.join(directory, `.${path.basename(filePath)}.${randomUUID()}.tmp`);
+    await mkdir(directory, { recursive: true });
+    try {
+        await writeFile(temporaryPath, contents, "utf8");
+        await rename(temporaryPath, filePath);
+    }
+    catch (error) {
+        await rm(temporaryPath, { force: true });
+        throw error;
+    }
+}
+export async function openReport(filePath) {
+    const fileUrl = pathToFileURL(filePath).href;
+    const [command, args] = process.platform === "darwin"
+        ? ["open", [fileUrl]]
+        : process.platform === "win32"
+            ? ["rundll32", ["url.dll,FileProtocolHandler", fileUrl]]
+            : ["xdg-open", [fileUrl]];
+    await new Promise((resolve, reject) => {
+        const child = spawn(command, args, {
+            detached: true,
+            stdio: "ignore",
+        });
+        child.once("error", reject);
+        child.once("spawn", () => {
+            child.unref();
+            resolve();
+        });
+    });
+}
+function assertCompleteRequirementRows(coverage, limit) {
+    const total = Number(coverage.summary.total ?? 0);
+    if (Number.isFinite(total) && coverage.rows.length < total) {
+        throw new Error(`Report requires complete requirement rows, but ${coverage.rows.length} of ${total} were returned. Increase --limit above ${limit}.`);
+    }
+}
+// implements REQ-kibi-html-health-report
+export async function reportCommand(options, deps = {}) {
+    const limit = parseLimit(options.limit);
+    const tags = parseTags(options.tag);
+    const coverage = await (deps.loadCoverage ?? loadCoverage)(tags, limit);
+    assertCompleteRequirementRows(coverage.requirements, limit);
+    const now = (deps.now ?? (() => new Date()))();
+    const workspace = (deps.cwd ?? (() => process.cwd()))();
+    const html = renderHtmlReport({
+        requirements: coverage.requirements,
+        symbols: coverage.symbols,
+        branch: coverage.branch,
+        generatedAt: now,
+        repository: deps.repository ?? loadReportRepository(workspace, coverage.branch),
+    });
+    const outputPath = reportTarget(workspace, options.output);
+    const requestedOutput = options.output?.trim() || "kibi-report";
+    const outputIsHtmlFile = [".html", ".htm"].includes(path.extname(requestedOutput).toLowerCase());
+    const badgePath = outputIsHtmlFile
+        ? path.join(path.dirname(outputPath), `${path.basename(outputPath, path.extname(outputPath))}.badge.svg`)
+        : path.join(path.dirname(outputPath), "badge.svg");
+    const summary = coverage.requirements.summary;
+    const total = Number(summary.total ?? 0);
+    const notApplicable = Number(summary.proofNotApplicable ?? 0);
+    const proven = Number(summary.proofProven ?? 0);
+    const currentRequirements = Math.max(0, total - notApplicable);
+    const proofPercent = currentRequirements === 0
+        ? 0
+        : Math.round((proven / currentRequirements) * 100);
+    const hasContradiction = coverage.requirements.rows.some((row) => Array.isArray(row.proofGaps) &&
+        row.proofGaps.includes("blocking_contradiction"));
+    const snapshotStale = coverage.requirements.meta?.dirty === true ||
+        coverage.requirements.meta?.verificationSnapshotDirty === true;
+    const badgeMessage = currentRequirements === 0 ? "no requirements" : `${proofPercent}% proven`;
+    const badgeColor = currentRequirements === 0
+        ? KIBI_BRAND.rail
+        : hasContradiction
+            ? KIBI_BRAND.danger
+            : snapshotStale
+                ? KIBI_BRAND.warning
+                : proofPercent === 100
+                    ? KIBI_BRAND.success
+                    : proofPercent >= 90
+                        ? KIBI_BRAND.signal
+                        : proofPercent >= 70
+                            ? KIBI_BRAND.warning
+                            : KIBI_BRAND.danger;
+    const badge = renderKibiBadge(badgeMessage, badgeColor);
+    await writeAtomically(outputPath, html);
+    await writeAtomically(badgePath, badge);
+    console.log(`Kibi report written to ${outputPath}`);
+    console.log(`Kibi badge written to ${badgePath}`);
+    if (options.open === true) {
+        await (deps.openReport ?? openReport)(outputPath);
+        console.log("Opened Kibi report in the default browser");
+    }
+    return outputPath;
+}