feat(cli): implement standalone ProofCode CLI executable with staged, live, and markdown modes

src/cli.ts

@@ -0,0 +1,102 @@
+import * as fs from 'node:fs';
+import * as path from 'node:path';
+import { ProofCodeEngine } from './engine/proofCodeEngine';
+import { ReportFormatter } from './engine/reportFormatter';
+import { ProjectRulesEngine } from './rules/projectRulesEngine';
+
+async function runCli(): Promise<void> {
+  const args = process.argv.slice(2);
+  const cwd = process.cwd();
+
+  const isHelp = args.includes('--help') || args.includes('-h');
+  const isJson = args.includes('--json');
+  const isMarkdown = args.includes('--markdown') || args.includes('-m');
+  const isStaged = args.includes('--staged');
+  const isLive = args.includes('--live');
+  const command = args[0] && !args[0].startsWith('-') ? args[0] : 'verify';
+
+  if (isHelp) {
+    console.log(`
+ProofCode CLI - Code Change Verification
+AI writes code. ProofCode proves the change.
+
+Usage:
+  proofcode [command] [options]
+
+Commands:
+  verify       Verify working tree or git diff (default)
+  init         Initialize default .proofcode/rules.md in project
+  rules        List and check configured project rules
+
+Options:
+  --staged     Verify only staged git changes
+  --live       Run full live test and build checks (npm test, tsc, etc.)
+  --json       Output report as structured JSON
+  --markdown   Output report as formatted GitHub Markdown
+  --help, -h   Show this help message
+`);
+    process.exit(0);
+  }
+
+  if (command === 'init') {
+    const rulesEngine = new ProjectRulesEngine(cwd);
+    const created = await rulesEngine.initDefaultRulesFile();
+    console.log(`Initialized ProofCode rules at: ${created}`);
+    process.exit(0);
+  }
+
+  if (command === 'rules') {
+    const rulesEngine = new ProjectRulesEngine(cwd);
+    const rules = rulesEngine.parseRules();
+    console.log(`\nConfigured Rules (${rules.length}):`);
+    rules.forEach((r, idx) => {
+      console.log(`  ${idx + 1}. [${r.severity}] ${r.title}: ${r.description}`);
+    });
+    console.log('');
+    process.exit(0);
+  }
+
+  // Default: Verify
+  try {
+    const engine = new ProofCodeEngine(cwd);
+    const report = await engine.verify({
+      staged: isStaged,
+      runLiveTests: isLive
+    });
+
+    if (isJson) {
+      console.log(ReportFormatter.toJson(report));
+    } else if (isMarkdown) {
+      console.log(ReportFormatter.toMarkdown(report));
+    } else {
+      console.log(ReportFormatter.toTerminal(report));
+    }
+
+    // Write artifact report if .proofcode dir exists
+    const proofcodeDir = path.join(cwd, '.proofcode');
+    if (fs.existsSync(proofcodeDir)) {
+      fs.writeFileSync(
+        path.join(proofcodeDir, 'report.md'),
+        ReportFormatter.toMarkdown(report),
+        'utf8'
+      );
+      fs.writeFileSync(
+        path.join(proofcodeDir, 'report.json'),
+        ReportFormatter.toJson(report),
+        'utf8'
+      );
+    }
+
+    // Exit code: 0 if ready or needs review, 1 if blocked
+    if (report.verdict === 'BLOCKED') {
+      process.exit(1);
+    } else {
+      process.exit(0);
+    }
+  } catch (err: unknown) {
+    console.error(`Verification failed: ${(err as Error).message}`);
+    process.exit(1);
+  }
+}
+
+runCli();