test(extension): verify extension lifecycle activation, command registration, and cleanup

tests/extension.test.ts

@@ -0,0 +1,33 @@
+import { describe, expect, it } from 'vitest';
+import * as vscode from 'vscode';
+import { activate, deactivate } from '../src/extension/index';
+
+describe('Extension Lifecycle', () => {
+  it('should activate extension and register commands, views, and subscriptions', () => {
+    const registeredCommands: string[] = [];
+    (vscode.commands.registerCommand as any) = (cmd: string, _callback: any) => {
+      registeredCommands.push(cmd);
+      return { dispose: () => {} };
+    };
+
+    const mockContext: any = {
+      subscriptions: [],
+      extensionUri: vscode.Uri.file('/extension')
+    };
+
+    expect(() => activate(mockContext)).not.toThrow();
+
+    // Verify key commands registered
+    expect(registeredCommands).toContain('proofcode.verifyChange');
+    expect(registeredCommands).toContain('proofcode.openDashboard');
+    expect(registeredCommands).toContain('proofcode.initRules');
+    expect(registeredCommands).toContain('proofcode.openEvidence');
+    expect(registeredCommands).toContain('proofcode.exportReport');
+
+    // Verify subscriptions registered
+    expect(mockContext.subscriptions.length).toBeGreaterThan(0);
+
+    // Verify deactivate does not throw
+    expect(() => deactivate()).not.toThrow();
+  });
+});