ai-spec-dev 0.46.0 → 0.56.0

package/README.md

@@ -12,8 +12,8 @@
 <p align="center">
   <a href="https://github.com/hzhongzhong/ai-spec"><img src="https://img.shields.io/badge/GitHub-ai--spec-181717?logo=github" alt="GitHub" /></a>
   <a href="https://www.npmjs.com/package/ai-spec-dev"><img src="https://img.shields.io/npm/v/ai-spec-dev?color=cb3837&logo=npm" alt="npm" /></a>
-  <img src="https://img.shields.io/badge/version-0.45.0-blue" alt="version" />
-  <img src="https://img.shields.io/badge/tests-409%20passed-brightgreen" alt="tests" />
+  <img src="https://img.shields.io/badge/version-0.55.0-blue" alt="version" />
+  <img src="https://img.shields.io/badge/tests-913%20passed-brightgreen" alt="tests" />
   <img src="https://img.shields.io/badge/providers-9-orange" alt="providers" />
   <img src="https://img.shields.io/badge/license-MIT-green" alt="license" />
 </p>
@@ -122,20 +122,35 @@ ai-spec create "Add login functionality to user module"
 ### Commands
 
 ```
-ai-spec init                 Register repos, generate project + global constitutions
-ai-spec init --add-repo      Quick-add a single repo
-ai-spec create [idea]        Select repo(s) → full pipeline: spec → DSL → codegen → review
-ai-spec update [change]      Incremental update: modify spec → re-extract DSL → regenerate affected files
-ai-spec learn [lesson]       Inject knowledge directly into constitution §9
-ai-spec review [file]        3-pass AI code review (architecture + implementation + impact)
-ai-spec export               DSL → OpenAPI 3.1.0 YAML/JSON
-ai-spec types                DSL → TypeScript types (models + endpoint types + API_ENDPOINTS)
-ai-spec mock                 DSL → Mock server + MSW handlers + proxy config
-ai-spec dashboard            Generate static HTML harness dashboard
-ai-spec restore <runId>      Rollback all files modified by a specific run
-ai-spec model                Interactive provider/model switcher
-ai-spec config               View/modify project configuration
-ai-spec workspace init       Initialize multi-repo workspace
+# Core workflow
+ai-spec init                       Register repos, generate constitutions (auto-scans projects)
+ai-spec init --add-repo            Quick-add a single repo
+ai-spec init --status              Show registered repos and constitution health
+ai-spec create [idea]              Full pipeline: spec → DSL → codegen → review
+ai-spec create [idea] --openapi    Also auto-generate OpenAPI 3.1.0 YAML after DSL
+ai-spec create [idea] --types      Also auto-generate TypeScript types after DSL
+ai-spec update [change]            Incremental: modify spec → re-extract DSL → regen affected files
+ai-spec review [file]              3-pass AI code review (architecture + implementation + impact)
+
+# Knowledge & constitution
+ai-spec learn [lesson]             Inject a lesson directly into constitution §9
+
+# DSL-derived artifacts
+ai-spec export                     DSL → OpenAPI 3.1.0 YAML/JSON
+ai-spec types                      DSL → TypeScript types (models + endpoint types + API_ENDPOINTS)
+ai-spec mock                       DSL → Mock server + MSW handlers + proxy config
+
+# Configuration (run without flags for interactive model/provider picker)
+ai-spec config                     Interactive provider/model setup (merged from `model`)
+ai-spec config --show              Print current configuration
+ai-spec config --list              List all available providers and models
+
+# Observability
+ai-spec logs [runId]               View run history or stage breakdown
+ai-spec trend                      Harness score trend across runs
+ai-spec dashboard                  Generate static HTML harness dashboard
+ai-spec restore <runId>            Rollback all files modified by a specific run
+ai-spec vcr list                   List VCR recordings
 ```
 
 ### Architecture
@@ -318,20 +333,35 @@ ai-spec create "给用户模块增加登录功能"
 ### 命令总览
 
 ```
-ai-spec init                 注册仓库，生成项目宪法 + 全局宪法
-ai-spec init --add-repo      快速添加单个仓库
-ai-spec create [idea]        选择仓库 → 完整流水线：spec → DSL → 代码生成 → 审查
-ai-spec update [change]      增量更新：修改 Spec → 重提取 DSL → 重新生成受影响文件
-ai-spec learn [lesson]       零摩擦知识注入，直接写入宪法 §9
-ai-spec review [file]        3-pass AI 代码审查（架构 + 实现 + 影响面）
-ai-spec export               DSL → OpenAPI 3.1.0 YAML/JSON
-ai-spec types                DSL → TypeScript 类型文件
-ai-spec mock                 DSL → Mock 服务器 + MSW Handlers + 代理配置
-ai-spec dashboard            生成静态 HTML Harness Dashboard
-ai-spec restore <runId>      回滚指定 run 修改的所有文件
-ai-spec model                交互式切换 AI provider/model
-ai-spec config               查看/修改项目配置
-ai-spec workspace init       初始化多 Repo 工作区
+# 核心开发流程
+ai-spec init                       注册仓库，生成项目宪法 + 全局宪法（自动扫描项目）
+ai-spec init --add-repo            快速添加单个仓库
+ai-spec init --status              查看已注册仓库和宪法状态
+ai-spec create [idea]              完整流水线：spec → DSL → 代码生成 → 审查
+ai-spec create [idea] --openapi    DSL 提取后自动生成 OpenAPI 3.1.0 YAML
+ai-spec create [idea] --types      DSL 提取后自动生成 TypeScript 类型文件
+ai-spec update [change]            增量更新：修改 Spec → 重提取 DSL → 重新生成受影响文件
+ai-spec review [file]              3-pass AI 代码审查（架构 + 实现 + 影响面）
+
+# 知识 & 宪法
+ai-spec learn [lesson]             零摩擦知识注入，直接写入宪法 §9
+
+# DSL 衍生产物
+ai-spec export                     DSL → OpenAPI 3.1.0 YAML/JSON
+ai-spec types                      DSL → TypeScript 类型文件
+ai-spec mock                       DSL → Mock 服务器 + MSW Handlers + 代理配置
+
+# 配置（无参数运行进入交互式 provider/model 选择）
+ai-spec config                     交互式 provider/model 配置（已合并原 model 命令）
+ai-spec config --show              查看当前配置
+ai-spec config --list              列出所有可用 provider 和模型
+
+# 可观测性
+ai-spec logs [runId]               查看 run 历史 / 指定 run 的 stage 详情
+ai-spec trend                      Harness score 趋势分析
+ai-spec dashboard                  生成静态 HTML Harness Dashboard
+ai-spec restore <runId>            回滚指定 run 修改的所有文件
+ai-spec vcr list                   列出 VCR 录制
 ```
 
 <details>

package/cli/commands/config.ts

@@ -2,14 +2,21 @@ import { Command } from "commander";
 import * as path from "path";
 import * as fs from "fs-extra";
 import chalk from "chalk";
+import { input, select, confirm } from "@inquirer/prompts";
 import { CodeGenMode } from "../../core/code-generator";
 import { clearAllKeys, clearKey, getSavedKey, KEY_STORE_FILE } from "../../core/key-store";
 import { AiSpecConfig, CONFIG_FILE, loadConfig } from "../utils";
+import {
+  DEFAULT_MODELS,
+  ENV_KEY_MAP,
+  PROVIDER_CATALOG,
+} from "../../core/spec-generator";
+import { AiSpecGlobalConfig, GLOBAL_CONFIG_FILE, loadGlobalConfig, saveGlobalConfig } from "../utils";
 
 export function registerConfig(program: Command): void {
   program
     .command("config")
-    .description(`Set default configuration for this project (saved to ${CONFIG_FILE})`)
+    .description(`Configure ai-spec: run without flags for interactive model/provider setup`)
     .option("--provider <name>", "Default AI provider for spec generation")
     .option("--model <name>", "Default model for spec generation")
     .option("--codegen <mode>", "Default code generation mode (claude-code|api|plan)")
@@ -18,7 +25,9 @@ export function registerConfig(program: Command): void {
     .option("--min-spec-score <score>", "Minimum overall spec score (1-10) to pass Approval Gate (0 = disabled)")
     .option("--min-harness-score <score>", "Minimum harness score (1-10) for pipeline success (0 = disabled)")
     .option("--max-error-cycles <n>", "Maximum error-feedback fix cycles (1-10, default: 2)")
+    .option("--max-codegen-concurrency <n>", "Max concurrent tasks per batch in api codegen mode (1-10, default: 3)")
     .option("--show", "Print current configuration")
+    .option("--list", "List all available providers and models")
     .option("--reset", "Reset configuration to empty")
     .option("--clear-keys", "Delete all saved API keys from ~/.ai-spec-keys.json")
     .option("--clear-key <provider>", "Delete saved API key for a specific provider")
@@ -27,6 +36,117 @@ export function registerConfig(program: Command): void {
       const currentDir = process.cwd();
       const configPath = path.join(currentDir, CONFIG_FILE);
 
+      // ── --list: show all providers ──────────────────────────────────────────
+      if (opts.list) {
+        console.log(chalk.bold("\nAvailable providers & models:\n"));
+        for (const [key, meta] of Object.entries(PROVIDER_CATALOG)) {
+          console.log(`  ${chalk.bold.cyan(key.padEnd(10))} ${chalk.white(meta.displayName)}`);
+          console.log(chalk.gray(`             ${meta.description}`));
+          console.log(chalk.gray(`             env: ${meta.envKey}  |  models: ${meta.models.join(", ")}`));
+          console.log();
+        }
+        return;
+      }
+
+      // ── No flags → interactive model/provider picker ────────────────────────
+      const anyFlagSet = opts.provider || opts.model || opts.codegen || opts.codegenProvider ||
+        opts.codegenModel || opts.minSpecScore !== undefined || opts.minHarnessScore !== undefined ||
+        opts.maxErrorCycles !== undefined || opts.maxCodegenConcurrency !== undefined ||
+        opts.show || opts.reset || opts.clearKeys || opts.clearKey || opts.listKeys;
+
+      if (!anyFlagSet) {
+        const existing: AiSpecGlobalConfig = await loadGlobalConfig();
+
+        console.log(chalk.blue("\n─── ai-spec config ─────────────────────────────"));
+        console.log(chalk.gray(`  Global config: ${GLOBAL_CONFIG_FILE}`));
+        if (Object.keys(existing).length > 0) {
+          console.log(chalk.gray(
+            `  Current: spec=${existing.provider ?? "gemini"}/${existing.model ?? DEFAULT_MODELS[existing.provider ?? "gemini"]}` +
+            (existing.codegenProvider ? `  codegen=${existing.codegenProvider}/${existing.codegenModel ?? ""}` : "")
+          ));
+        }
+        console.log();
+
+        const target = await select({
+          message: "Configure model for:",
+          choices: [
+            { name: "Spec generation  (spec writing & refinement)", value: "spec" },
+            { name: "Code generation  (used when --codegen api is active)", value: "codegen" },
+            { name: "Both             (same provider/model for all tasks)", value: "both" },
+          ],
+        });
+
+        async function pickProviderAndModel(label: string): Promise<{ provider: string; model: string }> {
+          const providerKey = await select({
+            message: `${label} — select provider:`,
+            choices: Object.entries(PROVIDER_CATALOG).map(([key, meta]) => ({
+              name: `${meta.displayName.padEnd(22)} ${chalk.gray(meta.description)}`,
+              value: key,
+              short: meta.displayName,
+            })),
+          });
+          const meta = PROVIDER_CATALOG[providerKey];
+          const modelChoices = [
+            ...meta.models.map((m) => ({ name: m, value: m })),
+            { name: chalk.italic("✎  Enter custom model name..."), value: "__custom__" },
+          ];
+          let chosenModel = await select({
+            message: `${label} — select model (${meta.displayName}):`,
+            choices: modelChoices,
+          });
+          if (chosenModel === "__custom__") {
+            chosenModel = await input({
+              message: "Enter model name:",
+              validate: (v) => v.trim().length > 0 || "Model name cannot be empty",
+            });
+          }
+          return { provider: providerKey, model: chosenModel };
+        }
+
+        const updated: AiSpecGlobalConfig = { ...existing };
+
+        if (target === "spec" || target === "both") {
+          const { provider, model } = await pickProviderAndModel("Spec");
+          updated.provider = provider;
+          updated.model = model;
+        }
+        if (target === "codegen" || target === "both") {
+          if (target === "both") {
+            updated.codegenProvider = updated.provider;
+            updated.codegenModel = updated.model;
+          } else {
+            const { provider, model } = await pickProviderAndModel("Codegen");
+            updated.codegenProvider = provider;
+            updated.codegenModel = model;
+          }
+          const effectiveCodegenProvider = updated.codegenProvider ?? updated.provider ?? "gemini";
+          if (effectiveCodegenProvider !== "claude" && updated.codegen === "claude-code") {
+            updated.codegen = "api";
+            console.log(chalk.yellow(`\n  ⚠  provider "${effectiveCodegenProvider}" does not support "claude-code" mode.`));
+            console.log(chalk.gray(`  codegen mode auto-set to "api".`));
+          }
+        }
+
+        console.log(chalk.blue("\n  Preview:"));
+        console.log(chalk.gray(`    spec    → ${updated.provider}/${updated.model}`));
+        if (updated.codegenProvider) {
+          console.log(chalk.gray(`    codegen → ${updated.codegenProvider}/${updated.codegenModel}  (mode: ${updated.codegen ?? "api"})`));
+        }
+
+        const ok = await confirm({ message: `Save to ${GLOBAL_CONFIG_FILE}?`, default: true });
+        if (!ok) { console.log(chalk.gray("  Cancelled.")); return; }
+
+        await saveGlobalConfig(updated);
+        console.log(chalk.green(`\n  ✔ Saved to ${GLOBAL_CONFIG_FILE}`));
+
+        const providerToCheck = updated.provider ?? "gemini";
+        const envKey = ENV_KEY_MAP[providerToCheck];
+        if (envKey && !process.env[envKey]) {
+          console.log(chalk.yellow(`  ⚠  Remember to set ${envKey} in your environment or .env file.`));
+        }
+        return;
+      }
+
       if (opts.clearKeys) {
         await clearAllKeys();
         console.log(chalk.green(`✔ All saved API keys cleared.`));
@@ -95,6 +215,14 @@ export function registerConfig(program: Command): void {
         }
         updated.minHarnessScore = score;
       }
+      if (opts.maxCodegenConcurrency !== undefined) {
+        const n = parseInt(opts.maxCodegenConcurrency, 10);
+        if (isNaN(n) || n < 1 || n > 10) {
+          console.error(chalk.red("  --max-codegen-concurrency must be a number between 1 and 10"));
+          process.exit(1);
+        }
+        updated.maxCodegenConcurrency = n;
+      }
       if (opts.maxErrorCycles !== undefined) {
         const cycles = parseInt(opts.maxErrorCycles, 10);
         if (isNaN(cycles) || cycles < 1 || cycles > 10) {

package/cli/commands/create.ts

@@ -205,6 +205,8 @@ export function registerCreate(program: Command): void {
     .option("--serve", "After workspace pipeline completes, auto-start mock server + patch frontend proxy")
     .option("--vcr-record", "Record all AI responses to .ai-spec-vcr/ for offline replay")
     .option("--vcr-replay <runId>", "Replay AI responses from a previous recording (zero API calls)")
+    .option("--openapi", "Auto-generate OpenAPI 3.1.0 YAML after DSL extraction")
+    .option("--types", "Auto-generate TypeScript types after DSL extraction")
     .action(async (idea: string | undefined, opts) => {
       const currentDir = process.cwd();
       const config = await loadConfig(currentDir);
@@ -237,6 +239,18 @@ export function registerCreate(program: Command): void {
       const apiKey = await resolveApiKey(providerName, opts.key as string | undefined);
       const specProvider = createProvider(providerName, apiKey, modelName);
 
+      // Persist the resolved key on opts so downstream pipelines (single/multi-repo)
+      // short-circuit `resolveApiKey` via the cliKey path and skip a duplicate prompt.
+      // Without this, the user gets prompted twice for the same provider when
+      // create.ts and the pipeline both call resolveApiKey independently.
+      if (!opts.key) opts.key = apiKey;
+      // If user did NOT specify a separate codegen provider/key, the pipeline will
+      // fall back to spec provider — pre-fill codegenKey too so that path is silent.
+      const codegenProviderName = (opts.codegenProvider as string) || config.codegenProvider || providerName;
+      if (codegenProviderName === providerName && !opts.codegenKey) {
+        opts.codegenKey = apiKey;
+      }
+
       // ── Select repo(s) from registered list ────────────────────────────────
       const registeredRepos = await getRegisteredRepos();
 

package/cli/commands/fix-history.ts

@@ -0,0 +1,176 @@
+import { Command } from "commander";
+import chalk from "chalk";
+import { confirm } from "@inquirer/prompts";
+import {
+  loadFixHistory,
+  pruneFixHistory,
+  aggregateFixPatterns,
+  detectPromotionCandidates,
+  computeFixHistoryStats,
+  FIX_HISTORY_FILE,
+} from "../../core/fix-history";
+import { appendDirectLesson } from "../../core/knowledge-memory";
+import { loadConfig } from "../utils";
+
+export function registerFixHistory(program: Command): void {
+  program
+    .command("fix-history")
+    .description("Inspect and manage the import auto-fix history ledger")
+    .option("--list", "List raw entries instead of the aggregated summary")
+    .option("--prune <days>", "Remove entries older than N days")
+    .option("--promote", "Review patterns above threshold and promote to constitution §9")
+    .option("--threshold <n>", "Override promotion threshold (default from config, usually 5)")
+    .action(async (opts) => {
+      const currentDir = process.cwd();
+      const config = await loadConfig(currentDir);
+      const history = await loadFixHistory(currentDir);
+
+      // ── --prune ────────────────────────────────────────────────────────────
+      if (opts.prune !== undefined) {
+        const days = parseInt(opts.prune, 10);
+        if (isNaN(days) || days < 0) {
+          console.error(chalk.red(`  --prune must be a non-negative integer (days)`));
+          process.exit(1);
+        }
+        const removed = await pruneFixHistory(currentDir, days);
+        if (removed === 0) {
+          console.log(chalk.gray(`  No entries older than ${days} day(s) to remove.`));
+        } else {
+          console.log(chalk.green(`  ✔ Removed ${removed} entry/entries older than ${days} day(s).`));
+        }
+        return;
+      }
+
+      // ── Empty ledger ──────────────────────────────────────────────────────
+      if (history.entries.length === 0) {
+        console.log(chalk.gray(`\nNo fix history found. Ledger: ${FIX_HISTORY_FILE}`));
+        console.log(chalk.gray(`  The ledger is populated automatically when import-fixer repairs broken imports.`));
+        return;
+      }
+
+      // ── --promote ─────────────────────────────────────────────────────────
+      if (opts.promote) {
+        const threshold = opts.threshold
+          ? parseInt(opts.threshold, 10)
+          : config.fixHistoryPromotionThreshold ?? 5;
+
+        const candidates = detectPromotionCandidates(history, threshold);
+        if (candidates.length === 0) {
+          console.log(chalk.gray(`\n  No patterns have crossed the promotion threshold (${threshold}x).`));
+          console.log(chalk.gray(`  Run the pipeline more to accumulate patterns, or lower the threshold with --threshold <n>.`));
+          return;
+        }
+
+        console.log(
+          chalk.bold(`\n─── Promotion Candidates (threshold: ${threshold}x) ────────────────`)
+        );
+        console.log(
+          chalk.gray(`  ${candidates.length} pattern(s) seen at least ${threshold} time(s).`)
+        );
+        console.log(
+          chalk.gray(`  Accepted lessons are written to constitution §9 (accumulated lessons).\n`)
+        );
+
+        let accepted = 0;
+        for (const c of candidates) {
+          console.log(
+            chalk.cyan(`\n  Pattern: ${c.aggregate.source}`) +
+              chalk.gray(`  (${c.aggregate.count}x, ${c.aggregate.uniqueRunIds} run(s))`)
+          );
+          console.log(chalk.gray(`  Names: { ${c.aggregate.names.join(", ")} }`));
+          console.log(chalk.gray(`  Reason: ${c.aggregate.reason}`));
+          console.log(chalk.gray(`  Lesson text:`));
+          console.log(chalk.white(`    ${c.lessonText}`));
+
+          const ok = await confirm({
+            message: `Promote this pattern to constitution §9?`,
+            default: true,
+          });
+          if (!ok) {
+            console.log(chalk.gray(`  skipped.`));
+            continue;
+          }
+          const result = await appendDirectLesson(currentDir, c.lessonText);
+          if (result.appended) {
+            console.log(chalk.green(`  ✔ Appended to constitution §9.`));
+            accepted++;
+          } else {
+            console.log(chalk.yellow(`  ⚠ Not appended: ${result.reason}`));
+          }
+        }
+
+        console.log(
+          chalk.green(`\n  ✔ Promotion complete: ${accepted}/${candidates.length} pattern(s) added to §9.`)
+        );
+        return;
+      }
+
+      // ── --list: raw entries ───────────────────────────────────────────────
+      if (opts.list) {
+        console.log(chalk.bold(`\n─── Fix History Entries (${history.entries.length}) ────────────────`));
+        console.log(chalk.gray(`  File: ${FIX_HISTORY_FILE}\n`));
+        // Show newest first
+        const sorted = [...history.entries].sort((a, b) => b.ts.localeCompare(a.ts));
+        for (const e of sorted.slice(0, 50)) {
+          const tsShort = e.ts.slice(0, 19).replace("T", " ");
+          const stageTag = e.fix.stage === "deterministic" ? chalk.green("[DSL]") : chalk.cyan("[AI ]");
+          console.log(
+            `  ${stageTag} ${chalk.gray(tsShort)}  ${chalk.white(e.brokenImport.source)}  ${chalk.gray(`{ ${e.brokenImport.names.join(", ")} }`)}`
+          );
+          console.log(
+            chalk.gray(`          ${e.fix.kind} → ${e.fix.target}  (run: ${e.runId}, ${e.brokenImport.file}:${e.brokenImport.line})`)
+          );
+        }
+        if (history.entries.length > 50) {
+          console.log(chalk.gray(`\n  ... ${history.entries.length - 50} older entry(ies) not shown`));
+        }
+        return;
+      }
+
+      // ── Default: aggregated summary ───────────────────────────────────────
+      const stats = computeFixHistoryStats(history);
+      const patterns = aggregateFixPatterns(history);
+
+      console.log(chalk.bold(`\n─── Fix History Summary ────────────────────────────`));
+      console.log(chalk.gray(`  File: ${FIX_HISTORY_FILE}\n`));
+      console.log(`  Total fixes applied   : ${chalk.white(String(stats.totalEntries))}`);
+      console.log(`  Unique patterns       : ${chalk.white(String(stats.uniquePatterns))}`);
+      console.log(`  Runs that triggered   : ${chalk.white(String(stats.uniqueRunIds))}`);
+      console.log(
+        `  Stage A (deterministic): ${chalk.green(String(stats.byStage.deterministic))}  ·  Stage B (AI): ${chalk.cyan(String(stats.byStage.ai))}`
+      );
+      console.log(
+        `  Reasons                : file_not_found ${stats.byReason.file_not_found}  ·  missing_export ${stats.byReason.missing_export}`
+      );
+      if (stats.lastEntryTs) {
+        console.log(`  Last fix              : ${chalk.gray(stats.lastEntryTs.slice(0, 19).replace("T", " "))}`);
+      }
+
+      console.log(chalk.bold(`\n  Top patterns (by frequency):`));
+      const top = patterns.slice(0, 10);
+      for (const p of top) {
+        const stageTag = p.fix.stage === "deterministic" ? chalk.green("[DSL]") : chalk.cyan("[AI ]");
+        const countColor = p.count >= 5 ? chalk.red : p.count >= 3 ? chalk.yellow : chalk.gray;
+        console.log(
+          `  ${stageTag} ${countColor(`${p.count}x`.padStart(4))}  ${chalk.white(p.source)}  ${chalk.gray(`{ ${p.names.join(", ")} }`)}`
+        );
+        console.log(chalk.gray(`          last seen: ${p.lastSeen.slice(0, 10)}  ·  ${p.uniqueRunIds} run(s)`));
+      }
+
+      const promotionThreshold = config.fixHistoryPromotionThreshold ?? 5;
+      const promotable = patterns.filter((p) => p.count >= promotionThreshold).length;
+      if (promotable > 0) {
+        console.log(
+          chalk.yellow(
+            `\n  ⚠ ${promotable} pattern(s) have crossed the promotion threshold (${promotionThreshold}x). ` +
+              `Run \`ai-spec fix-history --promote\` to review.`
+          )
+        );
+      }
+
+      console.log(chalk.gray(`\n  Hints:`));
+      console.log(chalk.gray(`    ai-spec fix-history --list         Show raw entries (newest first)`));
+      console.log(chalk.gray(`    ai-spec fix-history --promote      Promote repeated patterns to constitution §9`));
+      console.log(chalk.gray(`    ai-spec fix-history --prune 30     Remove entries older than 30 days`));
+    });
+}

package/cli/commands/init.ts

@@ -18,7 +18,7 @@ import {
   buildGlobalConstitutionPrompt,
 } from "../../prompts/global-constitution.prompt";
 import { loadConfig, resolveApiKey } from "../utils";
-import { loadIndex, ProjectEntry } from "../../core/project-index";
+import { loadIndex, runScan, saveIndex, ProjectEntry } from "../../core/project-index";
 import { detectRepoType } from "../../core/workspace-loader";
 import {
   RegisteredRepo,
@@ -224,8 +224,30 @@ export function registerInit(program: Command): void {
     .option("--consolidate", "Consolidate §9 accumulated lessons into §1–§8 core rules")
     .option("--dry-run", "Preview consolidation result without writing (use with --consolidate)")
     .option("--add-repo", "Add a new repo to the registered list")
+    .option("--status", "Show registered repos and constitution status (no changes made)")
     .action(async (opts) => {
       const currentDir = process.cwd();
+
+      // ── --status: show registered repos and constitution health ───────────
+      if (opts.status) {
+        const repos = await getRegisteredRepos();
+        if (repos.length === 0) {
+          console.log(chalk.yellow("\nNo repos registered. Run `ai-spec init` to add repos."));
+          return;
+        }
+        console.log(chalk.bold(`\n─── Registered Repos (${repos.length}) ──────────────────────`));
+        for (const r of repos) {
+          const constitutionIcon = r.hasConstitution ? chalk.green("✔ §C") : chalk.gray("○ §C");
+          const roleColor = r.role === "frontend" ? chalk.green : r.role === "backend" ? chalk.blue : r.role === "mobile" ? chalk.magenta : chalk.gray;
+          const pathExists = await fs.pathExists(r.path);
+          const pathStatus = pathExists ? chalk.gray(r.path) : chalk.red(`${r.path} (not found)`);
+          console.log(`  ${constitutionIcon}  ${roleColor(r.role.padEnd(9))} ${chalk.white(r.name.padEnd(20))} ${pathStatus}`);
+        }
+        console.log(chalk.gray(`\n  Store: ${REPO_STORE_FILE}`));
+        console.log(chalk.gray("  Run `ai-spec init` to add repos or regenerate constitutions."));
+        return;
+      }
+
       const config = await loadConfig(currentDir);
 
       const providerName = opts.provider || config.provider || "gemini";
@@ -388,6 +410,19 @@ export function registerInit(program: Command): void {
       }
       console.log(chalk.gray(`\n  Repo store: ${REPO_STORE_FILE}`));
       console.log(chalk.gray(`  Next step: ai-spec create "your feature idea"`));
+
+      // ── Auto-scan: silently update project index ───────────────────────────
+      try {
+        const { index, added, updated: upd, nowMissing } = await runScan(currentDir, 2);
+        await saveIndex(currentDir, index);
+        const changes = added.length + upd.length + nowMissing.length;
+        if (changes > 0) {
+          console.log(chalk.gray(`  Project index updated (${index.projects.filter((p: ProjectEntry) => !p.missing).length} projects found).`));
+        }
+      } catch {
+        // scan failure is non-blocking
+      }
+
       process.exit(0);
     });
 }

package/cli/index.ts

@@ -8,8 +8,6 @@ import { registerCreate } from "./commands/create";
 import { registerReview } from "./commands/review";
 import { registerInit } from "./commands/init";
 import { registerConfig } from "./commands/config";
-import { registerModel } from "./commands/model";
-import { registerWorkspace } from "./commands/workspace";
 import { registerUpdate } from "./commands/update";
 import { registerExport } from "./commands/export";
 import { registerMock } from "./commands/mock";
@@ -20,7 +18,7 @@ import { registerLogs } from "./commands/logs";
 import { registerTypes } from "./commands/types";
 import { registerDashboard } from "./commands/dashboard";
 import { registerVcr } from "./commands/vcr";
-import { registerScan } from "./commands/scan";
+import { registerFixHistory } from "./commands/fix-history";
 
 const program = new Command();
 
@@ -33,8 +31,6 @@ registerCreate(program);
 registerReview(program);
 registerInit(program);
 registerConfig(program);
-registerModel(program);
-registerWorkspace(program);
 registerUpdate(program);
 registerExport(program);
 registerMock(program);
@@ -45,6 +41,6 @@ registerLogs(program);
 registerTypes(program);
 registerDashboard(program);
 registerVcr(program);
-registerScan(program);
+registerFixHistory(program);
 
 program.parse();

package/cli/pipeline/helpers.ts

@@ -10,6 +10,12 @@ export type MultiRepoResult = {
   dsl: SpecDSL | null;
   repoAbsPath: string;
   role: string;
+  /** Files written by codegen during this run. Empty when codegen failed or never ran. */
+  generatedFiles: string[];
+  /** Human-readable reason when status === "failed". */
+  failureReason?: string;
+  /** Per-repo run ID (when RunLogger was created for this repo). */
+  runId?: string;
 };
 
 // ─── Banner ──────────────────────────────────────────────────────────────────