diff --git a/tests/proofCodeEngine.test.ts b/tests/proofCodeEngine.test.ts
new file mode 100644
index 0000000..dade6d9
--- /dev/null
+++ b/tests/proofCodeEngine.test.ts
@@ -0,0 +1,137 @@
+import { describe, expect, it } from 'vitest';
+import { ProofCodeEngine } from '../src/engine/proofCodeEngine';
+import { ReportFormatter } from '../src/engine/reportFormatter';
+import { VerificationReport } from '../src/types';
+
+describe('ProofCodeEngine & ReportFormatter', () => {
+  it('should run verification on current project without crashing', async () => {
+    const engine = new ProofCodeEngine(process.cwd());
+    const report = await engine.verify();
+
+    expect(report).toBeDefined();
+    expect(report.score.total).toBeGreaterThanOrEqual(0);
+    expect(report.score.total).toBeLessThanOrEqual(100);
+    expect(['READY_TO_SHIP', 'NEEDS_REVIEW', 'BLOCKED']).toContain(report.verdict);
+    expect(report.summary).toBeDefined();
+  });
+
+  it('should format report to clean markdown', () => {
+    const sampleReport: VerificationReport = {
+      timestamp: new Date().toISOString(),
+      repoRoot: '/workspace',
+      branch: 'main',
+      score: {
+        total: 82,
+        deductions: [{ reason: '1 Medium Risk detected', amount: 7 }]
+      },
+      verdict: 'NEEDS_REVIEW',
+      summary: {
+        filesChanged: 2,
+        linesAdded: 45,
+        linesDeleted: 12,
+        symbolsAffected: 5,
+        apiRoutesAffected: 1,
+        testsAdded: 1,
+        testsAffected: 2,
+        highRiskCount: 0,
+        mediumRiskCount: 1,
+        lowRiskCount: 0
+      },
+      impact: {
+        changedFiles: ['src/user.ts'],
+        changedSymbols: [
+          {
+            symbolName: 'getUser',
+            kind: 'function',
+            filePath: 'src/user.ts',
+            callers: [
+              {
+                callerName: 'renderDashboard',
+                filePath: 'src/dashboard.ts',
+                line: 25,
+                hasTest: false
+              }
+            ],
+            isApiRoute: false
+          }
+        ],
+        affectedFiles: ['src/dashboard.ts'],
+        affectedCallers: [],
+        affectedRoutes: [],
+        totalCallersCount: 1,
+        untestedCallersCount: 1
+      },
+      risks: [
+        {
+          id: 'RISK-1',
+          ruleId: 'PC-SEC-005',
+          category: 'security',
+          title: 'Unsafe User-Controlled URL',
+          severity: 'MEDIUM',
+          description: 'Parameter passed to fetch without validation',
+          file: 'src/proxy.ts',
+          line: 14,
+          snippet: 'fetch(req.body.url)',
+          evidenceTrace: [
+            {
+              file: 'src/proxy.ts',
+              line: 14,
+              description: 'fetch called with req.body.url'
+            }
+          ],
+          recommendation: 'Validate url parameter'
+        }
+      ],
+      rules: [
+        {
+          rule: {
+            id: 'RULE-1',
+            title: 'API Authentication',
+            description: 'Authenticate all routes',
+            severity: 'HIGH'
+          },
+          status: 'PASS'
+        }
+      ],
+      checks: {
+        typescript: { name: 'TypeScript', status: 'PASS' },
+        eslint: { name: 'ESLint', status: 'PASS' },
+        unitTests: { name: 'Unit Tests', status: 'PASS' },
+        build: { name: 'Build Check', status: 'PASS' }
+      }
+    };
+
+    const md = ReportFormatter.toMarkdown(sampleReport);
+    expect(md).toContain('# 🛡️ ProofCode Verification Report');
+    expect(md).toContain('82%');
+    expect(md).toContain('NEEDS REVIEW');
+    expect(md).toContain('Unsafe User-Controlled URL');
+    expect(md).toContain('getUser');
+
+    const terminal = ReportFormatter.toTerminal(sampleReport);
+    expect(terminal).toContain('PROOFCODE CHANGE VERIFICATION');
+    expect(terminal).toContain('82%');
+
+    const json = ReportFormatter.toJson(sampleReport);
+    expect(JSON.parse(json).score.total).toBe(82);
+
+    sampleReport.breakageRisks = [
+      {
+        id: 'BRK-1',
+        severity: 'HIGH',
+        area: 'Authentication & Session Flow',
+        trigger: 'Symbol auth was modified',
+        detail: '3 downstream callers depend on this behavior.',
+        affectedCallersOrRoutes: ['login (route.ts)', 'AdminPanel.tsx']
+      }
+    ];
+
+    const mdWithBreakage = ReportFormatter.toMarkdown(sampleReport);
+    expect(mdWithBreakage).toContain('## 💥 What Could This Change Break?');
+    expect(mdWithBreakage).toContain('Authentication & Session Flow');
+
+    const termWithBreakage = ReportFormatter.toTerminal(sampleReport);
+    expect(termWithBreakage).toContain('WHAT COULD THIS CHANGE BREAK?');
+    expect(termWithBreakage).toContain('Authentication & Session Flow');
+  });
+});