create-quiver 0.12.0 → 0.13.0

package/src/create-quiver/index.js

@@ -9,7 +9,29 @@ const {
   collectDoctorReport,
   formatDoctorFixPlan,
 } = require('./lib/doctor');
-const { runAgent: runAiAgent, runApprovalStatus: runAiApprovalStatus, runApprove: runAiApprove, runDoctor: runAiDoctor, runExecutePlan: runAiExecutePlan, runExecuteSlice: runAiExecuteSlice, runOnboard, runPlan: runAiPlan, runPrepareContext: runAiPrepareContext, runPr: runAiPr, runPromptSlice: runAiPromptSlice, runReviewPlan: runAiReviewPlan } = require('./commands/ai');
+const {
+  runAgent: runAiAgent,
+  runApprovalStatus: runAiApprovalStatus,
+  runApprove: runAiApprove,
+  runDoctor: runAiDoctor,
+  runExecutePlan: runAiExecutePlan,
+  runExecuteSlice: runAiExecuteSlice,
+  runExport: runAiExport,
+  runInspect: runAiInspect,
+  runLifecycleResume: runAiLifecycleResume,
+  runLifecycleRun: runAiLifecycleRun,
+  runLifecycleStatus: runAiLifecycleStatus,
+  runOnboard,
+  runPlan: runAiPlan,
+  runPrepareContext: runAiPrepareContext,
+  runPr: runAiPr,
+  runPromptSlice: runAiPromptSlice,
+  runReviewPlan: runAiReviewPlan,
+  runRevise: runAiRevise,
+  runSlicesList: runAiSlicesList,
+  runSpecsList: runAiSpecsList,
+  runTraceReport: runAiTraceReport,
+} = require('./commands/ai');
 const { runDemo } = require('./commands/demo');
 const { runPrepare } = require('./commands/prepare');
 const { runEvidence } = require('./commands/evidence');
@@ -17,9 +39,14 @@ const { runFlow } = require('./commands/flow');
 const { runGraph } = require('./commands/graph');
 const { runNext } = require('./commands/next');
 const { runPlan } = require('./commands/plan');
-const { runCreateSpec } = require('./commands/spec');
+const { runCreateSpec, runValidateSpec } = require('./commands/spec');
 const { buildInitLayout, formatInitLayoutPlan } = require('./lib/init-layout');
-const { initializeProjectDocs, installSelfAsDevDep, refreshAiContextDoc } = require('./lib/init-docs');
+const {
+  formatInstallSelfCommand,
+  initializeProjectDocs,
+  installSelfAsDevDep,
+  refreshAiContextDoc,
+} = require('./lib/init-docs');
 const { checkPrReadiness, checkScope, checkSliceReadiness } = require('./lib/readiness');
 const { cleanupSlice, refreshActiveSlicesBoard, startSlice } = require('./lib/lifecycle');
 const { buildSpecStatus, closeSpecWorktree, formatSpecCloseResult, formatSpecStartResult, formatSpecStatus, startSpecWorktree } = require('./lib/spec-worktrees');
@@ -80,15 +107,24 @@ const SUPPORTED_AI_COMMANDS = new Set([
   'execute-plan',
   'execute-slice',
   'executor-prompt',
+  'export',
+  'inspect',
   'onboard',
   'plan',
   'prepare-context',
   'pr',
   'prompt-slice',
   'review-plan',
+  'revise',
+  'resume',
+  'run',
+  'slices',
+  'specs',
+  'status',
+  'trace',
 ]);
 
-const SUPPORTED_SPEC_COMMANDS = new Set(['close', 'create', 'start', 'status']);
+const SUPPORTED_SPEC_COMMANDS = new Set(['close', 'create', 'start', 'status', 'validate']);
 const SUPPORTED_DEMO_COMMANDS = new Set(['create']);
 
 function unsupportedCommandMessage(commandName) {
@@ -100,6 +136,104 @@ function unsupportedCommandMessage(commandName) {
   ].join('\n');
 }
 
+const COMMAND_HELP_GROUPS = [
+  {
+    title: 'Bootstrap and project context',
+    commands: [
+      ['init', 'Create the default AI-first Quiver contract in the current project.'],
+      ['analyze', 'Scan the project and write docs/PROJECT_MAP.md plus .quiver scan data.'],
+      ['doctor', 'Validate the Quiver layout, generated docs, environment, and next safe steps.'],
+      ['flow', 'Show the read-only guided workflow stage, blockers, and next safe command.'],
+      ['prepare', 'Run setup diagnostics for providers, GitHub, SSH, and project readiness.'],
+      ['migrate', 'Upgrade an already initialized Quiver project to the current contract.'],
+    ],
+  },
+  {
+    title: 'Planning and slice navigation',
+    commands: [
+      ['plan', 'List slices in execution order with critical path and optional JSON output.'],
+      ['graph', 'Render slice dependencies as tree, Mermaid, DOT, or JSON-ready graph output.'],
+      ['next', 'Print the next ready slice or every ready slice with --all-ready.'],
+    ],
+  },
+  {
+    title: 'AI lifecycle',
+    commands: [
+      ['ai run create', 'Create a durable AI lifecycle run from a requirements file.'],
+      ['ai status', 'Show current AI lifecycle phase, approved versions, blockers, and next command.'],
+      ['ai resume', 'Resume guidance from the last valid lifecycle phase without chat memory.'],
+      ['ai onboard', 'Run or print the planner onboarding prompt with a token-aware context pack.'],
+      ['ai prepare-context', 'Preview or write docs-only AI context updates with assumptions and risks.'],
+      ['ai agent set|list|show', 'Manage planner, executor, reviewer, and doctor provider profiles without secrets; use set --dry-run to preview.'],
+      ['ai plan', 'Generate versioned planner drafts for acceptance criteria, technical plan, or spec phase.'],
+      ['ai revise', 'Create a new planner draft from human feedback without approving it.'],
+      ['ai review-plan', 'Review the technical-plan draft for production readiness before approval.'],
+      ['ai approve', 'Approve a concrete saved draft version for the next planner phase.'],
+      ['ai approvals', 'Inspect approval status and saved planner drafts.'],
+      ['ai prompt-slice', 'Print a minimal executor prompt for one slice without provider execution.'],
+      ['ai execute-slice', 'Execute one slice with scope checks, redacted evidence, closure updates, and optional commit.'],
+      ['ai execute-plan', 'Print or execute dependency-safe waves in manual or delegated mode.'],
+      ['ai doctor', 'Run GitHub, SSH, and PR readiness preflight checks.'],
+      ['ai pr', 'Validate and optionally create a GitHub PR from the generated PR body.'],
+    ],
+  },
+  {
+    title: 'Inspection and export',
+    commands: [
+      ['ai inspect', 'Show dashboard-friendly lifecycle state for specs, slices, runs, agents, and blockers.'],
+      ['ai export', 'Export lifecycle state as JSON or Markdown for dashboards, PRs, or other agents.'],
+      ['ai specs list', 'List specs with status, progress, slice counts, and paths.'],
+      ['ai slices list', 'List slices with status, dependencies, blockers, and optional JSON.'],
+      ['ai trace report', 'Report AI runs, execution waves, and migration guidance.'],
+    ],
+  },
+  {
+    title: 'Specs, slices, and validation',
+    commands: [
+      ['spec create', 'Create the real spec tree from a reviewed approved technical plan.'],
+      ['spec start', 'Create or reuse the dedicated worktree and branch for one spec.'],
+      ['spec status', 'Show spec worktree, branch, slice-00 state, and pending slices.'],
+      ['spec validate', 'Validate spec docs, slices, briefs, evidence, status, dependencies, and safe paths.'],
+      ['spec close', 'Close a merged clean spec worktree and guide local sync.'],
+      ['start-slice', 'Start work on one slice and mark it active.'],
+      ['check-slice', 'Validate slice structure, dependencies, scope, and readiness.'],
+      ['check-pr', 'Validate PR readiness for a slice/spec workflow.'],
+      ['check-scope', 'Compare changed files against a slice scope.'],
+      ['cleanup-slice', 'Clean active-slice state after a slice finishes or is discarded.'],
+      ['refresh-active-slices', 'Refresh generated active-slice boards.'],
+      ['check-handoff', 'Validate a transfer handoff or per-slice execution/closure brief.'],
+      ['new-handoff', 'Create a handoff scaffold for exceptional context transfer.'],
+    ],
+  },
+  {
+    title: 'Evidence and demos',
+    commands: [
+      ['evidence run', 'Run a command and record exit code, duration, redacted output, and Markdown evidence.'],
+      ['demo create spec-viewer', 'Create or preview the optional static Quiver Spec Viewer demo scaffold.'],
+    ],
+  },
+  {
+    title: 'Shortcuts and compatibility',
+    commands: [
+      ['--name "<project>"', 'Compatibility alias for init when bootstrapping a project.'],
+      ['--version / -V', 'Print the installed create-quiver package version.'],
+      ['--help / help', 'Show this command reference.'],
+      ['quiver', 'Local installed alias to the same CLI; use npx create-quiver for bootstrap.'],
+    ],
+  },
+];
+
+function formatCommandHelpGroups() {
+  const lines = ['Commands:'];
+  for (const group of COMMAND_HELP_GROUPS) {
+    lines.push('', `${group.title}:`);
+    for (const [command, description] of group.commands) {
+      lines.push(`  ${command.padEnd(24)} ${description}`);
+    }
+  }
+  return lines.join('\n');
+}
+
 function printUsage() {
   console.log(`Usage:
   npx create-quiver [options]
@@ -108,8 +242,17 @@ function printUsage() {
   npx create-quiver flow [options]
   npx create-quiver plan [options]
   npx create-quiver ai <task> [options]
+  npx create-quiver ai run create --input <requirements.md>
+  npx create-quiver ai status [options]
+  npx create-quiver ai resume [options]
+  npx create-quiver ai inspect [options]
+  npx create-quiver ai export [--format json|markdown]
+  npx create-quiver ai specs list [--json]
+  npx create-quiver ai slices list [--json]
+  npx create-quiver ai trace report [options]
   npx create-quiver ai agent <set|list|show> [role] [options]
   npx create-quiver ai prepare-context [options]
+  npx create-quiver ai revise [options]
   npx create-quiver graph [options]
   npx create-quiver next [options]
   npx create-quiver migrate [options]
@@ -118,7 +261,7 @@ function printUsage() {
   npx create-quiver start-slice [options] <slice.json>
   npx create-quiver check-slice [options] <slice.json>
   npx create-quiver check-pr <slice.json>
-  npx create-quiver check-handoff <handoff.md>
+  npx create-quiver check-handoff <handoff-or-brief.md>
   npx create-quiver new-handoff <spec-slug>
   npx create-quiver cleanup-slice [options] <slice.json>
   npx create-quiver check-scope [options] <slice.json>
@@ -126,15 +269,18 @@ function printUsage() {
   npx create-quiver spec create [options]
   npx create-quiver spec start <spec-dir>
   npx create-quiver spec status <spec-dir>
+  npx create-quiver spec validate <spec-dir>
   npx create-quiver spec close <spec-dir>
   npx create-quiver evidence run [options] -- <command>
   npx create-quiver demo create spec-viewer [options]
 
+${formatCommandHelpGroups()}
+
 Options:
   -n, --name <project-name>   Project name to generate
   -d, --dir <target-dir>      Target directory to scaffold into or inspect
       --spec <slug>           Restrict plan output to one spec
-      --format <name>         Graph output format (tree, mermaid, dot)
+      --format <name>         Graph or AI export output format (tree, mermaid, dot, json, markdown)
       --show-conflicts        Show shared file paths in graph output
       --level <n>             Restrict graph output to one level
       --json                  Emit machine-readable JSON
@@ -143,12 +289,14 @@ Options:
       --all-ready             List every ready slice returned by next
       --auto-start            Prompt for confirmation and run start-slice on next
       --local                 For check-slice, run structural validation without remote/base checks
+      --strict                Treat supported validation warnings as failures
       --unicode               Prefer Unicode output when supported
       --minimal               Plan or run the minimal init profile
       --full                  Plan or run the full compatibility init profile
       --legacy-scripts        Include legacy Bash wrappers in init profile
       --include-templates     Export packaged templates in init profile
-      --dry-run               Preview init, prepare, spec create, demo, or AI work without executing writes/providers
+      --dry-run               Preview init, analyze, migrate, prepare, spec create/start/close, demo, ai agent set, or AI work without executing writes/providers
+      --print-prompt          Print the exact AI prompt and exit without executing provider CLIs
       --fix                   For doctor, apply safe non-destructive repairs
       --execute               For ai execute-plan, run the planned slices instead of printing commands
       --create                For ai pr, create the PR after preflight instead of printing the plan only
@@ -158,14 +306,16 @@ Options:
       --provider <name>       Provider CLI to preflight for prepare or AI commands
       --model <label>         Free-form model label for AI agent profiles
       --version <n>           Draft version to approve for AI planner phases
+      --run <id>              AI lifecycle run id
       --ssh-host-alias <name> SSH host alias to validate for prepare or AI commands
       --identity-file <path>  SSH identity file to validate for prepare or AI commands
       --remote <name>         Git remote name for check-slice or AI PR checks
-      --base <branch>         Base branch for check-slice, ai pr, or spec close (default: main)
+      --base <branch>         Base branch for check-slice, check-scope, ai pr, or spec close (default: main)
       --output <file>         Output file for evidence run
       --max-output <n>        Maximum stdout/stderr chars per evidence section
       --title <text>          Override PR title for ai pr create
   -y, --yes                   Skip prompts and use the provided inputs
+  -V, --version               Show the installed create-quiver version
   -h, --help                  Show this help message
 
 Examples:
@@ -177,15 +327,28 @@ Examples:
   cd ./my-project && npx create-quiver analyze
   cd ./my-project && npx create-quiver plan --json
   cd ./my-project && npx create-quiver ai onboard --dry-run
+  cd ./my-project && npx create-quiver ai onboard --print-prompt
   cd ./my-project && npx create-quiver ai prepare-context --dry-run
+  cd ./my-project && npx create-quiver ai run create --input requirements.md
+  cd ./my-project && npx create-quiver ai status
+  cd ./my-project && npx create-quiver ai resume
+  cd ./my-project && npx create-quiver ai inspect
+  cd ./my-project && npx create-quiver ai export --format json
+  cd ./my-project && npx create-quiver ai export --format markdown
+  cd ./my-project && npx create-quiver ai specs list
+  cd ./my-project && npx create-quiver ai slices list --json
+  cd ./my-project && npx create-quiver ai trace report
+  cd ./my-project && npx create-quiver ai agent set planner --provider codex --model gpt-5.5 --dry-run
   cd ./my-project && npx create-quiver ai agent set planner --provider codex --model gpt-5.5
   cd ./my-project && npx create-quiver ai agent list
   cd ./my-project && npx create-quiver ai plan --phase acceptance --input requirements.md --dry-run
-  cd ./my-project && npx create-quiver ai approve --phase acceptance --input acceptance.md
+  cd ./my-project && npx create-quiver ai revise --phase acceptance --input feedback.md --dry-run
+  cd ./my-project && npx create-quiver ai approve --phase acceptance --version 1
   cd ./my-project && npx create-quiver ai plan --phase technical-plan --dry-run
   cd ./my-project && npx create-quiver ai review-plan --dry-run
   cd ./my-project && npx create-quiver ai approve --phase technical-plan --version 1
   cd ./my-project && npx create-quiver spec create --dry-run
+  cd ./my-project && npx create-quiver spec start specs/my-project --dry-run
   cd ./my-project && npx create-quiver ai approvals
   cd ./my-project && npx create-quiver ai prompt-slice --slice specs/my-project/slices/slice-01/slice.json --dry-run
   cd ./my-project && npx create-quiver ai execute-slice --slice specs/my-project/slices/slice-01/slice.json --dry-run
@@ -207,12 +370,14 @@ Examples:
   cd ./my-project && npx create-quiver check-slice specs/my-project/slices/slice-01/slice.json
   cd ./my-project && npx create-quiver check-pr specs/my-project/slices/slice-01/slice.json
   cd ./my-project && npx create-quiver check-handoff specs/my-project/HANDOFF.md
+  cd ./my-project && npx create-quiver check-handoff specs/my-project/slices/slice-01/EXECUTION_BRIEF.md
   cd ./my-project && npx create-quiver new-handoff my-spec
   cd ./my-project && npx create-quiver cleanup-slice specs/my-project/slices/slice-01/slice.json
   cd ./my-project && npx create-quiver check-scope specs/my-project/slices/slice-01/slice.json
   cd ./my-project && npx create-quiver refresh-active-slices
   cd ./my-project && npx create-quiver spec start specs/my-project
   cd ./my-project && npx create-quiver spec status specs/my-project
+  cd ./my-project && npx create-quiver spec validate specs/my-project
   cd ./my-project && npx create-quiver spec close specs/my-project --dry-run
   cd ./my-project && npx create-quiver evidence run -- npm test
   cd ./my-project && npx create-quiver demo create spec-viewer --dry-run
@@ -232,6 +397,7 @@ function parseArgs(argv) {
     discard: false,
     doctorFix: false,
     dryRun: false,
+    aiPrintPrompt: false,
     gate: 'execution',
     projectName: '',
     targetDir: '.',
@@ -245,12 +411,16 @@ function parseArgs(argv) {
     autoStart: false,
     specSlug: '',
     format: 'tree',
+    formatExplicit: false,
     showConflicts: false,
     level: null,
     unicode: false,
     aiCommand: '',
+    aiSecondaryCommand: '',
     aiAgentCommand: '',
     aiAgentRole: '',
+    aiRunCommand: '',
+    aiRunId: '',
     aiPhase: 'acceptance',
     aiProvider: 'codex',
     aiProviderExplicit: false,
@@ -396,6 +566,11 @@ function parseArgs(argv) {
       continue;
     }
 
+    if (arg === '--print-prompt') {
+      result.aiPrintPrompt = true;
+      continue;
+    }
+
     if (arg === '--commit') {
       result.aiCommit = true;
       continue;
@@ -476,6 +651,7 @@ function parseArgs(argv) {
         throw new Error(formatError('missing value for --format'));
       }
       result.format = value;
+      result.formatExplicit = true;
       continue;
     }
 
@@ -550,6 +726,15 @@ function parseArgs(argv) {
       continue;
     }
 
+    if (arg === '--run') {
+      const value = args[++index];
+      if (!value) {
+        throw new Error(formatError('missing value for --run'));
+      }
+      result.aiRunId = value;
+      continue;
+    }
+
     if (arg === '--role') {
       const value = args[++index];
       if (!value) {
@@ -748,6 +933,18 @@ function parseArgs(argv) {
         result.aiAgentRole = positional.shift();
       }
     }
+    if (result.aiCommand === 'run' && !result.aiRunCommand && positional.length > 0) {
+      result.aiRunCommand = positional.shift();
+    }
+    if ((result.aiCommand === 'specs' || result.aiCommand === 'slices' || result.aiCommand === 'trace') && !result.aiSecondaryCommand && positional.length > 0) {
+      result.aiSecondaryCommand = positional.shift();
+    }
+    if ((result.aiCommand === 'specs' || result.aiCommand === 'slices') && result.aiSecondaryCommand && result.aiSecondaryCommand !== 'list') {
+      throw new Error(formatError(`unsupported ai ${result.aiCommand} subcommand: ${result.aiSecondaryCommand}. Supported tasks: list`));
+    }
+    if (result.aiCommand === 'trace' && result.aiSecondaryCommand && result.aiSecondaryCommand !== 'report') {
+      throw new Error(formatError(`unsupported ai trace subcommand: ${result.aiSecondaryCommand}. Supported tasks: report`));
+    }
     if (positional.length > 0) {
       throw new Error(formatError('ai does not accept extra positional arguments'));
     }
@@ -764,7 +961,7 @@ function parseArgs(argv) {
       result.specCommand = positional.shift();
     }
     if (!result.specCommand) {
-      throw new Error(formatError('missing spec subcommand. Use: npx create-quiver spec <create|start|status|close>'));
+      throw new Error(formatError('missing spec subcommand. Use: npx create-quiver spec <create|start|status|validate|close>'));
     }
     if (result.specCommand !== 'create' && positional.length > 0) {
       result.targetDir = positional.shift();
@@ -1387,8 +1584,8 @@ function detectFrameworks(projectRoot, files, rootEntries, packageJson) {
     },
     {
       name: 'vue',
-      matches: () => dependencies.has('vue') || rootFileSet.has('vue.config.js') || rootFileSet.has('vite.config.js') || rootFileSet.has('vite.config.ts'),
-      signals: ['vue', 'vue.config.*', 'vite.config.*'],
+      matches: () => dependencies.has('vue') || rootFileSet.has('vue.config.js'),
+      signals: ['vue', 'vue.config.*'],
     },
     {
       name: 'react',
@@ -1811,7 +2008,7 @@ function writeProjectScanArtifacts(projectRoot, scan) {
   return { jsonPath, mdPath: scanPaths.projectMapPath };
 }
 
-function runAnalyze(targetDir) {
+function runAnalyze(targetDir, options = {}) {
   const projectRoot = resolveTargetRoot(process.cwd(), targetDir);
 
   if (!fs.existsSync(projectRoot)) {
@@ -1819,6 +2016,26 @@ function runAnalyze(targetDir) {
   }
 
   const scan = buildProjectScan(projectRoot);
+
+  if (options.dryRun) {
+    console.log(`Project analysis dry-run for ${projectRoot}`);
+    console.log('Writes: none');
+    console.log(`Would write ${CURRENT_SCAN_RELATIVE_PATH}`);
+    console.log(`Would write ${PROJECT_MAP_RELATIVE_PATH}`);
+    console.log('Would refresh docs/AI_CONTEXT.md');
+    console.log(`Detected primary stack: ${scan.stack.primary}`);
+    console.log(`Detected frameworks: ${scan.stack.frameworks.length > 0 ? scan.stack.frameworks.join(', ') : 'none detected'}`);
+    console.log(`Detected package manager: ${scan.project.package_manager}`);
+    return {
+      artifacts: {
+        jsonPath: path.join(projectRoot, CURRENT_SCAN_RELATIVE_PATH),
+        mdPath: path.join(projectRoot, PROJECT_MAP_RELATIVE_PATH),
+      },
+      dryRun: true,
+      scan,
+    };
+  }
+
   const artifacts = writeProjectScanArtifacts(projectRoot, scan);
   const aiContextPath = refreshAiContextDoc(projectRoot, scan);
   updateStateForAnalyze(projectRoot, CLI_VERSION);
@@ -1829,6 +2046,13 @@ function runAnalyze(targetDir) {
   console.log(`Wrote ${relativePosixPath(projectRoot, aiContextPath)}`);
   console.log(`Detected primary stack: ${scan.stack.primary}`);
   console.log(`Detected package manager: ${scan.project.package_manager}`);
+
+  return {
+    artifacts,
+    aiContextPath,
+    dryRun: false,
+    scan,
+  };
 }
 
 function runMigrate(targetDir, options = {}) {
@@ -1845,9 +2069,34 @@ function runMigrate(targetDir, options = {}) {
   const packageJson = loadPackageJson(projectRoot);
   const projectName = packageJson.name || path.basename(projectRoot) || 'Quiver Project';
   const packageRoot = path.resolve(__dirname, '../..');
-  const tempRoot = fs.mkdtempSync(path.join(os.tmpdir(), 'quiver-migrate-'));
   const legacyLayout = inspectLegacyMigrationLayout(projectRoot);
 
+  if (options.dryRun) {
+    const migrationPlan = buildInitLayout(projectRoot, {
+      dryRun: true,
+      full: true,
+      legacyScripts: true,
+      projectName,
+      skipInstall: options.skipInstall === true,
+    });
+    console.log('Quiver migration dry-run');
+    console.log(`- Project: ${projectName}`);
+    console.log(`- Target: ${projectRoot}`);
+    console.log('- Writes: none');
+    console.log(`- Planned create: ${migrationPlan.summary.create}`);
+    console.log(`- Planned update: ${migrationPlan.summary.update}`);
+    console.log(`- Planned preserve: ${migrationPlan.summary.preserve}`);
+    if (legacyLayout.hasLegacyLayout) {
+      console.log(`- Legacy layout detected and preserved: ${legacyLayout.legacyPaths.join(', ')}`);
+    }
+    console.log('- Next command: npx create-quiver migrate --skip-install');
+    console.log('');
+    console.log(formatInitLayoutPlan(migrationPlan));
+    return;
+  }
+
+  const tempRoot = fs.mkdtempSync(path.join(os.tmpdir(), 'quiver-migrate-'));
+
   try {
     const templateRoot = packTemplate(packageRoot, tempRoot);
     mergeDirectoryTree(templateRoot, path.join(projectRoot, 'docs-template'));
@@ -1867,7 +2116,7 @@ function runMigrate(targetDir, options = {}) {
       if (installResult === 'installed') {
         console.log(`Added create-quiver@${CLI_VERSION} as dev dependency`);
       } else if (installResult === 'failed') {
-        console.warn(`Warning: could not install create-quiver automatically. Run: npm install -D create-quiver@${CLI_VERSION}`);
+        console.warn(`Warning: could not install create-quiver automatically. Run: ${formatInstallSelfCommand(projectRoot, CLI_VERSION)}`);
       }
     }
 
@@ -1905,6 +2154,11 @@ function runDoctor(targetDir, options = {}) {
 
   const doctorReport = collectDoctorReport(projectRoot);
   const specSlugs = doctorReport.specSlugs;
+  const doctorExampleTarget = doctorReport.exampleTarget || {
+    sliceId: '<slice-id>',
+    source: 'generic',
+    specSlug: '<spec-slug>',
+  };
   const specRequiredFiles = specSlugs.flatMap((projectSlug) => [
     `specs/${projectSlug}/SPEC.md`,
     `specs/${projectSlug}/STATUS.md`,
@@ -1958,6 +2212,11 @@ function runDoctor(targetDir, options = {}) {
     .filter((name) => typeof pkg.scripts?.[name] !== 'string');
   const missingAiScripts = [
     'quiver:ai:agent',
+    'quiver:ai:inspect',
+    'quiver:ai:export',
+    'quiver:ai:specs',
+    'quiver:ai:slices',
+    'quiver:ai:trace',
     'quiver:ai:onboard',
     'quiver:ai:plan',
     'quiver:ai:review-plan',
@@ -2020,16 +2279,22 @@ function runDoctor(targetDir, options = {}) {
   if (!hasQuiverState) {
     console.log('- Run migration first: npx create-quiver migrate');
   } else if (!hasScanArtifacts) {
-  console.log('- Analyze the project first: npx create-quiver analyze');
+    console.log('- Analyze the project first: npx create-quiver analyze');
   } else {
     console.log('- Ask your AI agent: Read AGENTS.md, then docs/AI_ONBOARDING_PROMPT.md and execute it.');
   }
   console.log('- Check the next ready slice: npx create-quiver next');
   if (specSlugs.length > 0) {
-    const projectSlug = specSlugs[0];
-    console.log(`- Start a slice: npx create-quiver start-slice specs/${projectSlug}/slices/<slice-id>/slice.json`);
-    console.log(`- Validate a slice: npx create-quiver check-slice specs/${projectSlug}/slices/<slice-id>/slice.json`);
-    console.log(`- Validate the PR gate: npx create-quiver check-pr specs/${projectSlug}/slices/<slice-id>/slice.json`);
+    const projectSlug = doctorExampleTarget.specSlug;
+    const sliceId = doctorExampleTarget.sliceId || '<slice-id>';
+    if (doctorExampleTarget.source === 'active-slice') {
+      console.log(`- Example target: ${projectSlug}/${sliceId} (${doctorExampleTarget.status})`);
+    } else if (doctorExampleTarget.source === 'generic-multiple-specs') {
+      console.log('- Example target: specs/<spec-slug>/slices/<slice-id>/slice.json (generic because no active slice is obvious)');
+    }
+    console.log(`- Start a slice: npx create-quiver start-slice specs/${projectSlug}/slices/${sliceId}/slice.json`);
+    console.log(`- Validate a slice: npx create-quiver check-slice specs/${projectSlug}/slices/${sliceId}/slice.json`);
+    console.log(`- Validate the PR gate: npx create-quiver check-pr specs/${projectSlug}/slices/${sliceId}/slice.json`);
   } else {
     console.log('- Create real specs and slices only after acceptance criteria are approved and the technical plan is reviewed and approved.');
   }
@@ -2045,6 +2310,16 @@ function printInitNextSteps(targetDir, projectName) {
 }
 
 async function run(argv) {
+  if (argv.length === 1 && argv[0] === 'help') {
+    printUsage();
+    return;
+  }
+
+  if (argv.length === 1 && (argv[0] === '-V' || argv[0] === '--version')) {
+    console.log(CLI_VERSION);
+    return;
+  }
+
   const args = parseArgs(argv);
 
   if (args.help) {
@@ -2053,7 +2328,9 @@ async function run(argv) {
   }
 
   if (args.mode === 'analyze') {
-    runAnalyze(args.targetDir);
+    runAnalyze(args.targetDir, {
+      dryRun: args.dryRun,
+    });
     return;
   }
 
@@ -2087,7 +2364,69 @@ async function run(argv) {
 
   if (args.mode === 'ai') {
     if (!args.aiCommand) {
-      throw new Error(formatError('missing ai subcommand. Use: npx create-quiver ai onboard | prepare-context | plan | review-plan | approve | approvals | agent | prompt-slice | execute-slice | execute-plan | doctor | pr'));
+      throw new Error(formatError('missing ai subcommand. Use: npx create-quiver ai onboard | prepare-context | run | status | resume | inspect | export | specs | slices | trace | plan | revise | review-plan | approve | approvals | agent | prompt-slice | execute-slice | execute-plan | doctor | pr'));
+    }
+
+    if (args.aiCommand === 'run') {
+      runAiLifecycleRun(process.cwd(), {
+        command: args.aiRunCommand,
+        input: args.aiInput || undefined,
+        runId: args.aiRunId || undefined,
+        specSlug: args.specSlug || undefined,
+      });
+      return;
+    }
+
+    if (args.aiCommand === 'status') {
+      runAiLifecycleStatus(process.cwd(), {
+        runId: args.aiRunId || undefined,
+      });
+      return;
+    }
+
+    if (args.aiCommand === 'resume') {
+      runAiLifecycleResume(process.cwd(), {
+        runId: args.aiRunId || undefined,
+      });
+      return;
+    }
+
+    if (args.aiCommand === 'inspect') {
+      runAiInspect(process.cwd(), {
+        includeCompleted: args.includeCompleted,
+      });
+      return;
+    }
+
+    if (args.aiCommand === 'export') {
+      runAiExport(process.cwd(), {
+        format: args.formatExplicit ? args.format : 'json',
+        includeCompleted: args.includeCompleted,
+      });
+      return;
+    }
+
+    if (args.aiCommand === 'specs') {
+      runAiSpecsList(process.cwd(), {
+        includeCompleted: args.includeCompleted,
+        json: args.json,
+      });
+      return;
+    }
+
+    if (args.aiCommand === 'slices') {
+      runAiSlicesList(process.cwd(), {
+        includeCompleted: args.includeCompleted,
+        json: args.json,
+      });
+      return;
+    }
+
+    if (args.aiCommand === 'trace') {
+      runAiTraceReport(process.cwd(), {
+        includeCompleted: args.includeCompleted,
+      });
+      return;
     }
 
     if (args.aiCommand === 'agent') {
@@ -2098,6 +2437,7 @@ async function run(argv) {
         model: args.aiModel || undefined,
         provider: args.aiProviderExplicit ? args.aiProvider : undefined,
         role: args.aiAgentRole || undefined,
+        dryRun: args.dryRun,
       });
       return;
     }
@@ -2107,6 +2447,7 @@ async function run(argv) {
         context: args.aiContext || undefined,
         dryRun: args.dryRun,
         input: args.aiInput || undefined,
+        printPrompt: args.aiPrintPrompt,
         provider: args.aiProvider,
         providerExplicit: args.aiProviderExplicit,
         role: args.aiRole,
@@ -2118,6 +2459,7 @@ async function run(argv) {
     if (args.aiCommand === 'prepare-context') {
       await runAiPrepareContext(process.cwd(), {
         dryRun: args.dryRun,
+        runId: args.aiRunId || undefined,
       });
       return;
     }
@@ -2128,9 +2470,11 @@ async function run(argv) {
         dryRun: args.dryRun,
         input: args.aiInput || undefined,
         phase: args.aiPhase,
+        printPrompt: args.aiPrintPrompt,
         provider: args.aiProvider,
         providerExplicit: args.aiProviderExplicit,
         role: args.aiRole,
+        runId: args.aiRunId || undefined,
         specSlug: args.specSlug || undefined,
         timeout: args.aiTimeout,
       });
@@ -2142,6 +2486,7 @@ async function run(argv) {
         context: args.aiContext || undefined,
         dryRun: args.dryRun,
         input: args.aiInput || undefined,
+        printPrompt: args.aiPrintPrompt,
         provider: args.aiProvider,
         providerExplicit: args.aiProviderExplicit,
         timeout: args.aiTimeout,
@@ -2149,11 +2494,28 @@ async function run(argv) {
       return;
     }
 
+    if (args.aiCommand === 'revise') {
+      await runAiRevise(process.cwd(), {
+        context: args.aiContext || undefined,
+        dryRun: args.dryRun,
+        input: args.aiInput || undefined,
+        phase: args.aiPhase,
+        printPrompt: args.aiPrintPrompt,
+        provider: args.aiProvider,
+        providerExplicit: args.aiProviderExplicit,
+        role: args.aiRole,
+        runId: args.aiRunId || undefined,
+        timeout: args.aiTimeout,
+      });
+      return;
+    }
+
     if (args.aiCommand === 'approve') {
       await runAiApprove(process.cwd(), {
         dryRun: args.dryRun,
         input: args.aiInput || undefined,
         phase: args.aiPhase,
+        runId: args.aiRunId || undefined,
         version: args.aiVersion || undefined,
       });
       return;
@@ -2228,7 +2590,7 @@ async function run(argv) {
       return;
     }
 
-    throw new Error(formatError(`unsupported ai subcommand: ${args.aiCommand}. Supported tasks: onboard, plan, review-plan, approve, approvals, agent, prompt-slice, execute-slice, execute-plan, doctor, pr`));
+    throw new Error(formatError(`unsupported ai subcommand: ${args.aiCommand}. Supported tasks: onboard, prepare-context, run, status, resume, inspect, export, specs, slices, trace, plan, revise, review-plan, approve, approvals, agent, prompt-slice, execute-slice, execute-plan, doctor, pr`));
   }
 
   if (args.mode === 'graph') {
@@ -2278,7 +2640,10 @@ async function run(argv) {
   }
 
   if (args.mode === 'migrate') {
-    runMigrate(args.targetDir, { skipInstall: args.skipInstall });
+    runMigrate(args.targetDir, {
+      dryRun: args.dryRun,
+      skipInstall: args.skipInstall,
+    });
     return;
   }
 
@@ -2315,10 +2680,10 @@ async function run(argv) {
     const repoRoot = process.cwd();
     const handoffInput = args.targetDir;
     if (!handoffInput || handoffInput === '.') {
-      throw new Error(formatError('missing handoff path. Use: npx create-quiver check-handoff specs/<spec-slug>/HANDOFF.md'));
+      throw new Error(formatError('missing handoff or brief path. Use: npx create-quiver check-handoff specs/<spec-slug>/HANDOFF.md or specs/<spec-slug>/slices/<slice-id>/EXECUTION_BRIEF.md'));
     }
     const resolved = checkHandoff(handoffInput, repoRoot);
-    console.log(`PASS: Handoff validated at ${resolved.relativePath}`);
+    console.log(`PASS: ${resolved.label} validated at ${resolved.relativePath}`);
     return;
   }
 
@@ -2341,7 +2706,11 @@ async function run(argv) {
   }
 
   if (args.mode === 'check-scope') {
-    checkScope(args.targetDir, { strict: args.strict });
+    checkScope(args.targetDir, {
+      baseBranch: args.baseBranchExplicit ? args.aiBaseBranch : '',
+      remote: args.aiRemote,
+      strict: args.strict,
+    });
     return;
   }
 
@@ -2362,11 +2731,13 @@ async function run(argv) {
     }
 
     if (!args.targetDir || args.targetDir === '.') {
-      throw new Error(formatError('missing spec directory. Use: npx create-quiver spec <start|status|close> <spec-dir>'));
+      throw new Error(formatError('missing spec directory. Use: npx create-quiver spec <start|status|validate|close> <spec-dir>'));
     }
 
     if (args.specCommand === 'start') {
-      const report = startSpecWorktree(process.cwd(), args.targetDir);
+      const report = startSpecWorktree(process.cwd(), args.targetDir, {
+        dryRun: args.dryRun,
+      });
       process.stdout.write(formatSpecStartResult(report));
       return;
     }
@@ -2377,6 +2748,13 @@ async function run(argv) {
       return;
     }
 
+    if (args.specCommand === 'validate') {
+      runValidateSpec(process.cwd(), args.targetDir, {
+        strict: args.strict,
+      });
+      return;
+    }
+
     if (args.specCommand === 'close') {
       const report = closeSpecWorktree(process.cwd(), args.targetDir, {
         baseBranch: args.aiBaseBranch,
@@ -2389,7 +2767,7 @@ async function run(argv) {
       return;
     }
 
-    throw new Error(formatError(`unsupported spec subcommand: ${args.specCommand}. Supported tasks: create, start, status, close`));
+    throw new Error(formatError(`unsupported spec subcommand: ${args.specCommand}. Supported tasks: create, start, status, validate, close`));
   }
 
   const packageRoot = path.resolve(__dirname, '../..');
@@ -2432,7 +2810,7 @@ async function run(argv) {
       if (installResult === 'installed') {
         console.log(`Added create-quiver@${CLI_VERSION} as dev dependency`);
       } else if (installResult === 'failed') {
-        console.warn(`Warning: could not install create-quiver automatically. Run: npm install -D create-quiver@${CLI_VERSION}`);
+        console.warn(`Warning: could not install create-quiver automatically. Run: ${formatInstallSelfCommand(targetDir, CLI_VERSION)}`);
       }
     }