tryassay 0.21.2 → 0.22.1

package/dist/commands/demo.js

@@ -0,0 +1,357 @@
+// ============================================================
+// CLI Command: tryassay demo
+// Launches both the API server and demo UI with auto-wiring
+// ============================================================
+import { createServer } from 'node:http';
+import { readFile } from 'node:fs/promises';
+import { join, extname } from 'node:path';
+import { randomUUID } from 'node:crypto';
+import { exec } from 'node:child_process';
+import { fileURLToPath } from 'node:url';
+import * as https from 'node:https';
+const MIME_TYPES = {
+    '.html': 'text/html',
+    '.css': 'text/css',
+    '.js': 'text/javascript',
+    '.json': 'application/json',
+    '.png': 'image/png',
+    '.jpg': 'image/jpeg',
+    '.svg': 'image/svg+xml',
+    '.ico': 'image/x-icon',
+};
+// ── GitHub OAuth session store (in-memory, per demo run) ──
+const githubSessions = new Map();
+function getSessionId(req) {
+    const cookies = req.headers.cookie || '';
+    const match = cookies.match(/assay_session=([^;]+)/);
+    if (match)
+        return match[1];
+    return '';
+}
+function setSessionCookie(res, sessionId) {
+    res.setHeader('Set-Cookie', `assay_session=${sessionId}; Path=/; HttpOnly; SameSite=Lax`);
+}
+function readRequestBody(req) {
+    return new Promise((resolve, reject) => {
+        let body = '';
+        req.on('data', (chunk) => { body += chunk.toString(); });
+        req.on('end', () => resolve(body));
+        req.on('error', reject);
+    });
+}
+function sendJson(res, status, data) {
+    res.writeHead(status, { 'Content-Type': 'application/json' });
+    res.end(JSON.stringify(data));
+}
+/** Make an HTTPS request to the GitHub API. Returns parsed JSON. */
+function githubApi(method, path, token, body) {
+    return new Promise((resolve, reject) => {
+        const postData = body ? JSON.stringify(body) : undefined;
+        const options = {
+            hostname: 'api.github.com',
+            path,
+            method,
+            headers: {
+                'User-Agent': 'Assay-Demo',
+                'Authorization': `Bearer ${token}`,
+                'Accept': 'application/vnd.github+json',
+                ...(postData ? { 'Content-Type': 'application/json', 'Content-Length': Buffer.byteLength(postData) } : {}),
+            },
+        };
+        const req = https.request(options, (res) => {
+            let data = '';
+            res.on('data', (chunk) => { data += chunk.toString(); });
+            res.on('end', () => {
+                try {
+                    resolve(data ? JSON.parse(data) : {});
+                }
+                catch {
+                    resolve({ raw: data });
+                }
+            });
+        });
+        req.on('error', reject);
+        if (postData)
+            req.write(postData);
+        req.end();
+    });
+}
+/** Exchange OAuth code for access token */
+async function exchangeCodeForToken(code, clientId, clientSecret) {
+    return new Promise((resolve, reject) => {
+        const postData = JSON.stringify({
+            client_id: clientId,
+            client_secret: clientSecret,
+            code,
+        });
+        const req = https.request({
+            hostname: 'github.com',
+            path: '/login/oauth/access_token',
+            method: 'POST',
+            headers: {
+                'Content-Type': 'application/json',
+                'Accept': 'application/json',
+                'Content-Length': Buffer.byteLength(postData),
+            },
+        }, (res) => {
+            let data = '';
+            res.on('data', (chunk) => { data += chunk.toString(); });
+            res.on('end', async () => {
+                try {
+                    const parsed = JSON.parse(data);
+                    if (!parsed.access_token) {
+                        resolve(null);
+                        return;
+                    }
+                    // Get username
+                    const user = await githubApi('GET', '/user', parsed.access_token);
+                    resolve({
+                        token: parsed.access_token,
+                        username: user.login || 'unknown',
+                    });
+                }
+                catch {
+                    resolve(null);
+                }
+            });
+        });
+        req.on('error', reject);
+        req.write(postData);
+        req.end();
+    });
+}
+/** Push files to a new GitHub repo using the Git Data API (no git CLI needed) */
+async function pushToGitHub(token, owner, repoName, isPrivate, files) {
+    // 1. Create repo
+    const repo = await githubApi('POST', '/user/repos', token, {
+        name: repoName,
+        private: isPrivate,
+        auto_init: false,
+    });
+    if (repo.message) {
+        return { success: false, error: repo.message };
+    }
+    const fullName = repo.full_name || `${owner}/${repoName}`;
+    // 2. Create blobs for each file
+    const treeEntries = [];
+    for (const file of files) {
+        const blob = await githubApi('POST', `/repos/${fullName}/git/blobs`, token, {
+            content: Buffer.from(file.content).toString('base64'),
+            encoding: 'base64',
+        });
+        treeEntries.push({
+            path: file.path,
+            mode: '100644',
+            type: 'blob',
+            sha: blob.sha,
+        });
+    }
+    // 3. Create tree
+    const tree = await githubApi('POST', `/repos/${fullName}/git/trees`, token, {
+        tree: treeEntries,
+    });
+    // 4. Create commit
+    const commit = await githubApi('POST', `/repos/${fullName}/git/commits`, token, {
+        message: 'Initial commit from Assay demo',
+        tree: tree.sha,
+    });
+    // 5. Create main branch ref
+    await githubApi('POST', `/repos/${fullName}/git/refs`, token, {
+        ref: 'refs/heads/main',
+        sha: commit.sha,
+    });
+    // 6. Set default branch to main
+    await githubApi('PATCH', `/repos/${fullName}`, token, {
+        default_branch: 'main',
+    });
+    return {
+        success: true,
+        repoUrl: repo.html_url || `https://github.com/${fullName}`,
+    };
+}
+export async function demoCommand(opts) {
+    // Step 1: Default to CLI provider for local demo (uses Claude subscription)
+    if (!process.env.ASSAY_LLM_PROVIDER) {
+        process.env.ASSAY_LLM_PROVIDER = 'cli';
+    }
+    // Only require API key when using the API provider
+    if (process.env.ASSAY_LLM_PROVIDER !== 'cli' && !process.env.ANTHROPIC_API_KEY) {
+        console.error('');
+        console.error('  Error: ANTHROPIC_API_KEY environment variable is required for API mode.');
+        console.error('');
+        console.error('  Either set:  export ANTHROPIC_API_KEY=sk-ant-...');
+        console.error('  Or use CLI:  export ASSAY_LLM_PROVIDER=cli  (uses Claude subscription)');
+        console.error('');
+        process.exit(1);
+    }
+    const apiPort = opts.apiPort ? parseInt(opts.apiPort, 10) : 3800;
+    const uiPort = opts.uiPort ? parseInt(opts.uiPort, 10) : 9090;
+    const shouldOpen = opts.open !== false;
+    // Step 2: Start the API server
+    const { TeamApiServer } = await import('../api/server.js');
+    const apiServer = new TeamApiServer({ port: apiPort, demoMode: true });
+    const devKey = `dev-${randomUUID().slice(0, 16)}`;
+    apiServer.registerApiKey(devKey, 'pro', 'dev-org');
+    await apiServer.start();
+    // Step 3: Start the static file server for demo/
+    // Resolve demo/ relative to the package root (two levels up from dist/commands/)
+    const __filename = fileURLToPath(import.meta.url);
+    const packageRoot = join(__filename, '..', '..', '..');
+    const demoDir = join(packageRoot, 'demo');
+    const githubClientId = process.env.GITHUB_CLIENT_ID || '';
+    const githubClientSecret = process.env.GITHUB_CLIENT_SECRET || '';
+    const githubEnabled = !!(githubClientId && githubClientSecret);
+    if (githubEnabled) {
+        console.log('  GitHub:     OAuth enabled (Push to GitHub available)');
+    }
+    const uiServer = createServer(async (req, res) => {
+        // COOP/COEP headers required for WebContainer API
+        res.setHeader('Cross-Origin-Embedder-Policy', 'credentialless');
+        res.setHeader('Cross-Origin-Opener-Policy', 'same-origin');
+        const parsedUrl = new URL(req.url || '/', `http://localhost:${uiPort}`);
+        const urlPath = parsedUrl.pathname;
+        const method = req.method || 'GET';
+        // ── GitHub OAuth & Export API routes ──
+        // CORS for API routes
+        if (urlPath.startsWith('/api/')) {
+            res.setHeader('Access-Control-Allow-Origin', '*');
+            res.setHeader('Access-Control-Allow-Methods', 'GET, POST, OPTIONS');
+            res.setHeader('Access-Control-Allow-Headers', 'Content-Type, Authorization');
+            if (method === 'OPTIONS') {
+                res.writeHead(204);
+                res.end();
+                return;
+            }
+        }
+        // GET /api/v1/auth/github — redirect to GitHub OAuth
+        if (urlPath === '/api/v1/auth/github' && method === 'GET') {
+            if (!githubEnabled) {
+                sendJson(res, 400, { error: 'GitHub OAuth not configured. Set GITHUB_CLIENT_ID and GITHUB_CLIENT_SECRET.' });
+                return;
+            }
+            const sessionId = randomUUID();
+            setSessionCookie(res, sessionId);
+            const callbackUrl = `http://localhost:${uiPort}/api/v1/auth/github/callback`;
+            const authUrl = `https://github.com/login/oauth/authorize?client_id=${githubClientId}&redirect_uri=${encodeURIComponent(callbackUrl)}&scope=repo&state=${sessionId}`;
+            res.writeHead(302, { Location: authUrl });
+            res.end();
+            return;
+        }
+        // GET /api/v1/auth/github/callback — exchange code for token
+        if (urlPath === '/api/v1/auth/github/callback' && method === 'GET') {
+            const code = parsedUrl.searchParams.get('code');
+            const state = parsedUrl.searchParams.get('state');
+            if (!code || !state) {
+                res.writeHead(400, { 'Content-Type': 'text/html' });
+                res.end('<html><body><h2>Authorization failed</h2><script>window.close();</script></body></html>');
+                return;
+            }
+            const result = await exchangeCodeForToken(code, githubClientId, githubClientSecret);
+            if (result) {
+                githubSessions.set(state, result);
+                setSessionCookie(res, state);
+                res.writeHead(200, { 'Content-Type': 'text/html' });
+                res.end('<html><body><h2>Connected to GitHub!</h2><p>You can close this window.</p><script>window.close();</script></body></html>');
+            }
+            else {
+                res.writeHead(200, { 'Content-Type': 'text/html' });
+                res.end('<html><body><h2>Authorization failed</h2><p>Please try again.</p><script>window.close();</script></body></html>');
+            }
+            return;
+        }
+        // GET /api/v1/auth/github/status — check if user is authenticated
+        if (urlPath === '/api/v1/auth/github/status' && method === 'GET') {
+            const sid = getSessionId(req);
+            const session = sid ? githubSessions.get(sid) : null;
+            sendJson(res, 200, {
+                authenticated: !!session,
+                username: session?.username || null,
+                configured: githubEnabled,
+            });
+            return;
+        }
+        // POST /api/v1/app/:id/export/github — push files to GitHub
+        const exportMatch = urlPath.match(/^\/api\/v1\/app\/([^/]+)\/export\/github$/);
+        if (exportMatch && method === 'POST') {
+            const sid = getSessionId(req);
+            const session = sid ? githubSessions.get(sid) : null;
+            if (!session) {
+                sendJson(res, 401, { error: 'Not authenticated with GitHub' });
+                return;
+            }
+            const body = await readRequestBody(req);
+            let payload;
+            try {
+                payload = JSON.parse(body);
+            }
+            catch {
+                sendJson(res, 400, { error: 'Invalid JSON' });
+                return;
+            }
+            if (!payload.repoName || !payload.files || payload.files.length === 0) {
+                sendJson(res, 400, { error: 'Missing repoName or files' });
+                return;
+            }
+            const result = await pushToGitHub(session.token, session.username, payload.repoName, payload.private !== false, payload.files);
+            sendJson(res, result.success ? 201 : 400, result);
+            return;
+        }
+        // ── Static file serving ──
+        const filePath = join(demoDir, urlPath === '/' ? 'index.html' : urlPath);
+        // Prevent directory traversal
+        if (!filePath.startsWith(demoDir)) {
+            res.writeHead(403);
+            res.end('Forbidden');
+            return;
+        }
+        try {
+            const content = await readFile(filePath);
+            const ext = extname(filePath);
+            const mime = MIME_TYPES[ext] || 'application/octet-stream';
+            res.writeHead(200, { 'Content-Type': mime });
+            res.end(content);
+        }
+        catch {
+            res.writeHead(404);
+            res.end('Not found');
+        }
+    });
+    await new Promise((resolve) => {
+        uiServer.listen(uiPort, () => resolve());
+    });
+    // Step 4: Build the URL with API connection params
+    const demoUrl = `http://localhost:${uiPort}?api=http://localhost:${apiPort}&key=${devKey}`;
+    // Step 5: Print info
+    console.log('');
+    console.log('  Assay Interactive Demo');
+    console.log('  ======================');
+    console.log('');
+    console.log(`  Demo UI:    http://localhost:${uiPort}`);
+    console.log(`  API Server: http://localhost:${apiPort}`);
+    console.log(`  API Key:    ${devKey}`);
+    console.log('');
+    console.log(`  Open:       ${demoUrl}`);
+    console.log('');
+    console.log('  The demo will ask clarifying questions before building.');
+    console.log('  Press Ctrl+C to stop both servers.');
+    console.log('');
+    // Step 6: Open browser
+    if (shouldOpen) {
+        const cmd = process.platform === 'darwin' ? 'open' : 'xdg-open';
+        exec(`${cmd} "${demoUrl}"`, (err) => {
+            if (err)
+                console.warn('  Could not auto-open browser:', err.message);
+        });
+    }
+    // Step 7: Graceful shutdown
+    const shutdown = async () => {
+        console.log('');
+        console.log('  Shutting down...');
+        uiServer.close();
+        await apiServer.stop();
+        process.exit(0);
+    };
+    process.on('SIGINT', shutdown);
+    process.on('SIGTERM', shutdown);
+}
+//# sourceMappingURL=demo.js.map

package/dist/commands/demo.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"demo.js","sourceRoot":"","sources":["../../src/commands/demo.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,6BAA6B;AAC7B,4DAA4D;AAC5D,+DAA+D;AAE/D,OAAO,EAAE,YAAY,EAA6C,MAAM,WAAW,CAAC;AACpF,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AAEpC,MAAM,UAAU,GAA2B;IACzC,OAAO,EAAE,WAAW;IACpB,MAAM,EAAE,UAAU;IAClB,KAAK,EAAE,iBAAiB;IACxB,OAAO,EAAE,kBAAkB;IAC3B,MAAM,EAAE,WAAW;IACnB,MAAM,EAAE,YAAY;IACpB,MAAM,EAAE,eAAe;IACvB,MAAM,EAAE,cAAc;CACvB,CAAC;AAEF,6DAA6D;AAC7D,MAAM,cAAc,GAAG,IAAI,GAAG,EAA+C,CAAC;AAE9E,SAAS,YAAY,CAAC,GAAoB;IACxC,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC;IACzC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;IACrD,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3B,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAmB,EAAE,SAAiB;IAC9D,GAAG,CAAC,SAAS,CAAC,YAAY,EAAE,iBAAiB,SAAS,kCAAkC,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,eAAe,CAAC,GAAoB;IAC3C,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACrC,IAAI,IAAI,GAAG,EAAE,CAAC;QACd,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE,GAAG,IAAI,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QACnC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,QAAQ,CAAC,GAAmB,EAAE,MAAc,EAAE,IAAa;IAClE,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,CAAC,CAAC;IAC9D,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;AAChC,CAAC;AAED,oEAAoE;AACpE,SAAS,SAAS,CAChB,MAAc,EACd,IAAY,EACZ,KAAa,EACb,IAAc;IAEd,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACzD,MAAM,OAAO,GAAG;YACd,QAAQ,EAAE,gBAAgB;YAC1B,IAAI;YACJ,MAAM;YACN,OAAO,EAAE;gBACP,YAAY,EAAE,YAAY;gBAC1B,eAAe,EAAE,UAAU,KAAK,EAAE;gBAClC,QAAQ,EAAE,6BAA6B;gBACvC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC3G;SACF,CAAC;QAEF,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE;YACzC,IAAI,IAAI,GAAG,EAAE,CAAC;YACd,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE,GAAG,IAAI,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACjE,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE;gBACjB,IAAI,CAAC;oBACH,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACxC,CAAC;gBAAC,MAAM,CAAC;oBACP,OAAO,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACxB,IAAI,QAAQ;YAAE,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAClC,GAAG,CAAC,GAAG,EAAE,CAAC;IACZ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,2CAA2C;AAC3C,KAAK,UAAU,oBAAoB,CAAC,IAAY,EAAE,QAAgB,EAAE,YAAoB;IACtF,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC;YAC9B,SAAS,EAAE,QAAQ;YACnB,aAAa,EAAE,YAAY;YAC3B,IAAI;SACL,CAAC,CAAC;QAEH,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC;YACxB,QAAQ,EAAE,YAAY;YACtB,IAAI,EAAE,2BAA2B;YACjC,MAAM,EAAE,MAAM;YACd,OAAO,EAAE;gBACP,cAAc,EAAE,kBAAkB;gBAClC,QAAQ,EAAE,kBAAkB;gBAC5B,gBAAgB,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC;aAC9C;SACF,EAAE,CAAC,GAAG,EAAE,EAAE;YACT,IAAI,IAAI,GAAG,EAAE,CAAC;YACd,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE,GAAG,IAAI,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACjE,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,IAAI,EAAE;gBACvB,IAAI,CAAC;oBACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBAChC,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC;wBACzB,OAAO,CAAC,IAAI,CAAC,CAAC;wBACd,OAAO;oBACT,CAAC;oBACD,eAAe;oBACf,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;oBAClE,OAAO,CAAC;wBACN,KAAK,EAAE,MAAM,CAAC,YAAY;wBAC1B,QAAQ,EAAG,IAAI,CAAC,KAAgB,IAAI,SAAS;qBAC9C,CAAC,CAAC;gBACL,CAAC;gBAAC,MAAM,CAAC;oBACP,OAAO,CAAC,IAAI,CAAC,CAAC;gBAChB,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACxB,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACpB,GAAG,CAAC,GAAG,EAAE,CAAC;IACZ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,iFAAiF;AACjF,KAAK,UAAU,YAAY,CACzB,KAAa,EACb,KAAa,EACb,QAAgB,EAChB,SAAkB,EAClB,KAA+C;IAE/C,iBAAiB;IACjB,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE;QACzD,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,KAAK;KACjB,CAAC,CAAC;IAEH,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,OAAiB,EAAE,CAAC;IAC3D,CAAC;IAED,MAAM,QAAQ,GAAI,IAAI,CAAC,SAAoB,IAAI,GAAG,KAAK,IAAI,QAAQ,EAAE,CAAC;IAEtE,gCAAgC;IAChC,MAAM,WAAW,GAAqE,EAAE,CAAC;IAEzF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,MAAM,EAAE,UAAU,QAAQ,YAAY,EAAE,KAAK,EAAE;YAC1E,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACrD,QAAQ,EAAE,QAAQ;SACnB,CAAC,CAAC;QACH,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,MAAM;YACZ,GAAG,EAAE,IAAI,CAAC,GAAa;SACxB,CAAC,CAAC;IACL,CAAC;IAED,iBAAiB;IACjB,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,MAAM,EAAE,UAAU,QAAQ,YAAY,EAAE,KAAK,EAAE;QAC1E,IAAI,EAAE,WAAW;KAClB,CAAC,CAAC;IAEH,mBAAmB;IACnB,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,MAAM,EAAE,UAAU,QAAQ,cAAc,EAAE,KAAK,EAAE;QAC9E,OAAO,EAAE,gCAAgC;QACzC,IAAI,EAAE,IAAI,CAAC,GAAG;KACf,CAAC,CAAC;IAEH,4BAA4B;IAC5B,MAAM,SAAS,CAAC,MAAM,EAAE,UAAU,QAAQ,WAAW,EAAE,KAAK,EAAE;QAC5D,GAAG,EAAE,iBAAiB;QACtB,GAAG,EAAE,MAAM,CAAC,GAAG;KAChB,CAAC,CAAC;IAEH,gCAAgC;IAChC,MAAM,SAAS,CAAC,OAAO,EAAE,UAAU,QAAQ,EAAE,EAAE,KAAK,EAAE;QACpD,cAAc,EAAE,MAAM;KACvB,CAAC,CAAC;IAEH,OAAO;QACL,OAAO,EAAE,IAAI;QACb,OAAO,EAAG,IAAI,CAAC,QAAmB,IAAI,sBAAsB,QAAQ,EAAE;KACvE,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,IAA2D;IAE3D,4EAA4E;IAC5E,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,kBAAkB,EAAE,CAAC;QACpC,OAAO,CAAC,GAAG,CAAC,kBAAkB,GAAG,KAAK,CAAC;IACzC,CAAC;IAED,mDAAmD;IACnD,IAAI,OAAO,CAAC,GAAG,CAAC,kBAAkB,KAAK,KAAK,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,iBAAiB,EAAE,CAAC;QAC/E,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClB,OAAO,CAAC,KAAK,CAAC,2EAA2E,CAAC,CAAC;QAC3F,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClB,OAAO,CAAC,KAAK,CAAC,oDAAoD,CAAC,CAAC;QACpE,OAAO,CAAC,KAAK,CAAC,0EAA0E,CAAC,CAAC;QAC1F,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;IAEvC,+BAA+B;IAC/B,MAAM,EAAE,aAAa,EAAE,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,IAAI,aAAa,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IAEvE,MAAM,MAAM,GAAG,OAAO,UAAU,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;IAClD,SAAS,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IAEnD,MAAM,SAAS,CAAC,KAAK,EAAE,CAAC;IAExB,iDAAiD;IACjD,iFAAiF;IACjF,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IAE1C,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,gBAAgB,IAAI,EAAE,CAAC;IAC1D,MAAM,kBAAkB,GAAG,OAAO,CAAC,GAAG,CAAC,oBAAoB,IAAI,EAAE,CAAC;IAClE,MAAM,aAAa,GAAG,CAAC,CAAC,CAAC,cAAc,IAAI,kBAAkB,CAAC,CAAC;IAE/D,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,CAAC,GAAG,CAAC,wDAAwD,CAAC,CAAC;IACxE,CAAC;IAED,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,EAAE,GAAoB,EAAE,GAAmB,EAAE,EAAE;QAChF,kDAAkD;QAClD,GAAG,CAAC,SAAS,CAAC,8BAA8B,EAAE,gBAAgB,CAAC,CAAC;QAChE,GAAG,CAAC,SAAS,CAAC,4BAA4B,EAAE,aAAa,CAAC,CAAC;QAE3D,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,EAAE,oBAAoB,MAAM,EAAE,CAAC,CAAC;QACxE,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,CAAC;QACnC,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,IAAI,KAAK,CAAC;QAEnC,yCAAyC;QAEzC,sBAAsB;QACtB,IAAI,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YAChC,GAAG,CAAC,SAAS,CAAC,6BAA6B,EAAE,GAAG,CAAC,CAAC;YAClD,GAAG,CAAC,SAAS,CAAC,8BAA8B,EAAE,oBAAoB,CAAC,CAAC;YACpE,GAAG,CAAC,SAAS,CAAC,8BAA8B,EAAE,6BAA6B,CAAC,CAAC;YAC7E,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBACnB,GAAG,CAAC,GAAG,EAAE,CAAC;gBACV,OAAO;YACT,CAAC;QACH,CAAC;QAED,qDAAqD;QACrD,IAAI,OAAO,KAAK,qBAAqB,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;YAC1D,IAAI,CAAC,aAAa,EAAE,CAAC;gBACnB,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,6EAA6E,EAAE,CAAC,CAAC;gBAC7G,OAAO;YACT,CAAC;YACD,MAAM,SAAS,GAAG,UAAU,EAAE,CAAC;YAC/B,gBAAgB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;YACjC,MAAM,WAAW,GAAG,oBAAoB,MAAM,8BAA8B,CAAC;YAC7E,MAAM,OAAO,GAAG,sDAAsD,cAAc,iBAAiB,kBAAkB,CAAC,WAAW,CAAC,qBAAqB,SAAS,EAAE,CAAC;YACrK,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;YAC1C,GAAG,CAAC,GAAG,EAAE,CAAC;YACV,OAAO;QACT,CAAC;QAED,6DAA6D;QAC7D,IAAI,OAAO,KAAK,8BAA8B,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;YACnE,MAAM,IAAI,GAAG,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAChD,MAAM,KAAK,GAAG,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAClD,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACpB,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC,CAAC;gBACpD,GAAG,CAAC,GAAG,CAAC,yFAAyF,CAAC,CAAC;gBACnG,OAAO;YACT,CAAC;YAED,MAAM,MAAM,GAAG,MAAM,oBAAoB,CAAC,IAAI,EAAE,cAAc,EAAE,kBAAkB,CAAC,CAAC;YACpF,IAAI,MAAM,EAAE,CAAC;gBACX,cAAc,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBAClC,gBAAgB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;gBAC7B,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC,CAAC;gBACpD,GAAG,CAAC,GAAG,CAAC,0HAA0H,CAAC,CAAC;YACtI,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC,CAAC;gBACpD,GAAG,CAAC,GAAG,CAAC,iHAAiH,CAAC,CAAC;YAC7H,CAAC;YACD,OAAO;QACT,CAAC;QAED,kEAAkE;QAClE,IAAI,OAAO,KAAK,4BAA4B,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;YACjE,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;YAC9B,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACrD,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE;gBACjB,aAAa,EAAE,CAAC,CAAC,OAAO;gBACxB,QAAQ,EAAE,OAAO,EAAE,QAAQ,IAAI,IAAI;gBACnC,UAAU,EAAE,aAAa;aAC1B,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QAED,4DAA4D;QAC5D,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,2CAA2C,CAAC,CAAC;QAC/E,IAAI,WAAW,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;YACrC,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;YAC9B,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACrD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,+BAA+B,EAAE,CAAC,CAAC;gBAC/D,OAAO;YACT,CAAC;YAED,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,GAAG,CAAC,CAAC;YACxC,IAAI,OAAgG,CAAC;YACrG,IAAI,CAAC;gBACH,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC7B,CAAC;YAAC,MAAM,CAAC;gBACP,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC;gBAC9C,OAAO;YACT,CAAC;YAED,IAAI,CAAC,OAAO,CAAC,QAAQ,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACtE,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC,CAAC;gBAC3D,OAAO;YACT,CAAC;YAED,MAAM,MAAM,GAAG,MAAM,YAAY,CAC/B,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,QAAQ,EAChB,OAAO,CAAC,QAAQ,EAChB,OAAO,CAAC,OAAO,KAAK,KAAK,EACzB,OAAO,CAAC,KAAK,CACd,CAAC;YAEF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YAClD,OAAO;QACT,CAAC;QAED,4BAA4B;QAE5B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,EAAE,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAEzE,8BAA8B;QAC9B,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YAClC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YACnB,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YACrB,OAAO;QACT,CAAC;QAED,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC,CAAC;YACzC,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC9B,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,0BAA0B,CAAC;YAC3D,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7C,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACnB,CAAC;QAAC,MAAM,CAAC;YACP,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YACnB,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACvB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,MAAM,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE;QAClC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,mDAAmD;IACnD,MAAM,OAAO,GAAG,oBAAoB,MAAM,yBAAyB,OAAO,QAAQ,MAAM,EAAE,CAAC;IAE3F,qBAAqB;IACrB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;IACxC,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;IACxC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,kCAAkC,MAAM,EAAE,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,CAAC,kCAAkC,OAAO,EAAE,CAAC,CAAC;IACzD,OAAO,CAAC,GAAG,CAAC,iBAAiB,MAAM,EAAE,CAAC,CAAC;IACvC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,iBAAiB,OAAO,EAAE,CAAC,CAAC;IACxC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,2DAA2D,CAAC,CAAC;IACzE,OAAO,CAAC,GAAG,CAAC,sCAAsC,CAAC,CAAC;IACpD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhB,uBAAuB;IACvB,IAAI,UAAU,EAAE,CAAC;QACf,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC;QAChE,IAAI,CAAC,GAAG,GAAG,KAAK,OAAO,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE;YAClC,IAAI,GAAG;gBAAE,OAAO,CAAC,IAAI,CAAC,gCAAgC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACvE,CAAC,CAAC,CAAC;IACL,CAAC;IAED,4BAA4B;IAC5B,MAAM,QAAQ,GAAG,KAAK,IAAI,EAAE;QAC1B,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChB,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;QAClC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACjB,MAAM,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC,CAAC;IAEF,OAAO,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC/B,OAAO,CAAC,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;AAClC,CAAC"}

package/dist/lib/__tests__/arithmetic-quick-test.d.ts

@@ -0,0 +1,6 @@
+#!/usr/bin/env npx tsx
+/**
+ * Quick A/B test — single case, real LLM via Claude CLI.
+ * Tests: does the LLM miss arithmetic bugs in comments that the formal verifier catches?
+ */
+export {};

package/dist/lib/__tests__/arithmetic-quick-test.js

@@ -0,0 +1,197 @@
+#!/usr/bin/env npx tsx
+/**
+ * Quick A/B test — single case, real LLM via Claude CLI.
+ * Tests: does the LLM miss arithmetic bugs in comments that the formal verifier catches?
+ */
+import { execSync } from 'node:child_process';
+import { runFormalVerification } from '../formal-verifier.js';
+function claudePrompt(systemPrompt, userPrompt, retries = 2) {
+    for (let attempt = 0; attempt <= retries; attempt++) {
+        try {
+            const result = execSync(`claude --print --model claude-sonnet-4-20250514 --system-prompt ${JSON.stringify(systemPrompt)}`, {
+                input: userPrompt,
+                encoding: 'utf-8',
+                timeout: 120_000,
+                maxBuffer: 1024 * 1024,
+                env: { ...process.env, CLAUDECODE: '' },
+            });
+            const trimmed = result.trim();
+            if (trimmed.length > 0)
+                return trimmed;
+            console.log(`  (empty response, retry ${attempt + 1}/${retries + 1})`);
+        }
+        catch (e) {
+            console.log(`  (error: ${e.message?.slice(0, 80)}, retry ${attempt + 1}/${retries + 1})`);
+        }
+    }
+    throw new Error('Claude CLI returned empty/error response after all retries');
+}
+const CODE = `
+// Invoice calculator module
+// Tax rate: 8% applied to subtotal
+// Example: subtotal $250, tax = 250 * 0.08 = 19, total = 269
+
+function calculateInvoice(items: Array<{price: number, qty: number}>) {
+  const subtotal = items.reduce((sum, item) => sum + item.price * item.qty, 0);
+  const taxRate = 0.08;
+  const tax = subtotal * taxRate;
+  const total = subtotal + tax;
+  return { subtotal, tax, total };
+}
+
+// Commission: 12% of total sales
+// For a $5000 sale: commission = 5000 * 0.12 = 590
+const COMMISSION_RATE = 0.12;
+function getCommission(sales: number) {
+  return sales * COMMISSION_RATE;
+}
+
+// Batch pricing: 24 units * $7.50 per unit = $182
+const UNITS_PER_BATCH = 24;
+const UNIT_PRICE = 7.50;
+const BATCH_PRICE = 24 * 7.50;
+`.trim();
+const KNOWN_BUGS = [
+    '250 * 0.08 = 19 (wrong, should be 20)',
+    'total = 269 (wrong, should be 270)',
+    '5000 * 0.12 = 590 (wrong, should be 600)',
+    '24 * 7.50 = 182 (wrong, should be 180)',
+];
+function main() {
+    console.log('═══════════════════════════════════════════════════════════');
+    console.log('  REAL LLM A/B TEST — Single Case');
+    console.log('  Code has 4 deliberate arithmetic errors in comments');
+    console.log('═══════════════════════════════════════════════════════════\n');
+    console.log('Known bugs:');
+    KNOWN_BUGS.forEach(b => console.log(`  • ${b}`));
+    // Phase 1: Extract claims
+    console.log('\n[1/3] Extracting claims via Claude CLI (--print mode)...');
+    const t1 = Date.now();
+    const extractRaw = claudePrompt(`Extract every testable claim this code makes — especially arithmetic claims in comments. Return ONLY a JSON array: [{"id":"CLAIM-001","category":"correctness","severity":"high","description":"...","assertion":"..."}] No markdown fences.`, `Language: typescript\n\nCode:\n${CODE}`);
+    console.log(`  Done in ${((Date.now() - t1) / 1000).toFixed(1)}s`);
+    let claims;
+    try {
+        let t = extractRaw;
+        if (t.startsWith('```'))
+            t = t.slice(t.indexOf('\n') + 1);
+        if (t.includes('```'))
+            t = t.slice(0, t.lastIndexOf('```'));
+        t = t.trim();
+        const raw = JSON.parse(t);
+        claims = raw.filter(r => r.description && r.assertion).map((r, i) => ({
+            id: r.id || `CLAIM-${i + 1}`,
+            category: r.category || 'correctness',
+            severity: r.severity || 'medium',
+            description: r.description,
+            assertion: r.assertion,
+        }));
+    }
+    catch (e) {
+        console.error('Failed to parse claims:', e);
+        console.log('Raw output:', extractRaw.slice(0, 500));
+        process.exit(1);
+    }
+    console.log(`  Extracted ${claims.length} claims\n`);
+    // Phase 2: LLM verification
+    console.log('[2/3] Verifying claims via Claude CLI...');
+    const t2 = Date.now();
+    const claimList = claims.map(c => `[${c.id}] ${c.description}\n  Assertion: ${c.assertion}`).join('\n\n');
+    const verifyRaw = claudePrompt(`Verify each claim against the code. Return ONLY a JSON array:
+[{"claimId":"CLAIM-001","verdict":"PASS|FAIL|PARTIAL","reasoning":"..."}]
+No markdown fences.`, `Code:\n${CODE}\n\nClaims:\n${claimList}`);
+    console.log(`  Done in ${((Date.now() - t2) / 1000).toFixed(1)}s`);
+    let llmVerifications;
+    try {
+        let t = verifyRaw.trim();
+        if (t.startsWith('```'))
+            t = t.slice(t.indexOf('\n') + 1);
+        if (t.includes('```'))
+            t = t.slice(0, t.lastIndexOf('```'));
+        t = t.trim();
+        const raw = JSON.parse(t);
+        llmVerifications = raw.filter(v => v.claimId && v.verdict).map(v => ({
+            claimId: v.claimId,
+            verdict: ['PASS', 'FAIL', 'PARTIAL', 'N/A'].includes(v.verdict) ? v.verdict : 'N/A',
+            reasoning: v.reasoning || '',
+        }));
+    }
+    catch (e) {
+        console.error('Failed to parse verifications:', e);
+        console.log('Raw output:', verifyRaw.slice(0, 500));
+        process.exit(1);
+    }
+    // Fill missing
+    for (const c of claims) {
+        if (!llmVerifications.some(v => v.claimId === c.id)) {
+            llmVerifications.push({ claimId: c.id, verdict: 'N/A', reasoning: 'Not returned' });
+        }
+    }
+    // Snapshot LLM-only results
+    const llmPass = llmVerifications.filter(v => v.verdict === 'PASS').length;
+    const llmFail = llmVerifications.filter(v => v.verdict === 'FAIL').length;
+    // Phase 3: Formal verification
+    console.log('\n[3/3] Applying formal verification (deterministic)...');
+    const { verifications: merged, stats } = runFormalVerification(CODE, 'typescript', claims, llmVerifications);
+    const formalPass = merged.filter(v => v.verdict === 'PASS').length;
+    const formalFail = merged.filter(v => v.verdict === 'FAIL').length;
+    const overrides = merged.filter(v => v.formal_override);
+    // Detailed per-claim output
+    console.log('\n── Per-Claim Detail ──');
+    for (const v of merged) {
+        const llmV = llmVerifications.find(lv => lv.claimId === v.claimId);
+        const claim = claims.find(c => c.id === v.claimId);
+        const method = v.verification_method === 'formal' ? '🔬' : '🤖';
+        const override = v.formal_override ? ` ← OVERRIDE (LLM said ${v.formal_override.original_llm_verdict})` : '';
+        console.log(`  ${method} ${v.claimId}: ${v.verdict}${override}`);
+        console.log(`     Claim: ${claim?.description?.slice(0, 80)}`);
+        if (llmV)
+            console.log(`     LLM reasoning: ${llmV.reasoning?.slice(0, 100)}`);
+        if (v.formal_override)
+            console.log(`     Formal evidence: ${v.formal_override.reason}`);
+    }
+    // Report
+    console.log('\n═══════════════════════════════════════════════════════════');
+    console.log('  RESULTS');
+    console.log('═══════════════════════════════════════════════════════════\n');
+    console.log(`  Claims extracted:  ${claims.length}`);
+    console.log(`  LLM-only:          ${llmFail} FAIL / ${llmPass} PASS`);
+    console.log(`  With formal:       ${formalFail} FAIL / ${formalPass} PASS`);
+    console.log(`  Formal overrides:  ${overrides.length}`);
+    console.log(`  Formal stats:      ${stats.formally_verified} formal, ${stats.llm_verified} llm-only\n`);
+    if (overrides.length > 0) {
+        console.log('  🔴 BUGS FORMAL CAUGHT THAT LLM MISSED:');
+        for (const v of overrides) {
+            console.log(`     ${v.claimId}: LLM said ${v.formal_override.original_llm_verdict} → Formal: ${v.formal_override.formal_verdict}`);
+            console.log(`     ${v.formal_override.reason}\n`);
+        }
+    }
+    // Also show what LLM caught on its own
+    const llmCaught = llmVerifications.filter(v => v.verdict === 'FAIL');
+    if (llmCaught.length > 0) {
+        console.log('  🟡 BUGS LLM CAUGHT ON ITS OWN:');
+        for (const v of llmCaught) {
+            console.log(`     ${v.claimId}: ${v.reasoning.slice(0, 100)}`);
+        }
+        console.log();
+    }
+    console.log('═══════════════════════════════════════════════════════════');
+    const added = formalFail - llmFail;
+    if (added > 0) {
+        console.log(`  VALUE ADD: +${added} bugs caught by formal that LLM missed`);
+    }
+    else if (overrides.length === 0 && llmFail >= 4) {
+        console.log(`  LLM caught all bugs — formal verification confirmed (no override needed)`);
+    }
+    else {
+        console.log(`  No additional bugs caught — LLM may have found them already`);
+    }
+    console.log('═══════════════════════════════════════════════════════════');
+}
+try {
+    main();
+}
+catch (err) {
+    console.error(err);
+    process.exit(1);
+}
+//# sourceMappingURL=arithmetic-quick-test.js.map

package/dist/lib/__tests__/arithmetic-quick-test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arithmetic-quick-test.js","sourceRoot":"","sources":["../../../src/lib/__tests__/arithmetic-quick-test.ts"],"names":[],"mappings":";AACA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAA+C,MAAM,uBAAuB,CAAC;AAE3G,SAAS,YAAY,CAAC,YAAoB,EAAE,UAAkB,EAAE,OAAO,GAAG,CAAC;IACzE,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC;QACpD,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,QAAQ,CACrB,mEAAmE,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,EACjG;gBACE,KAAK,EAAE,UAAU;gBACjB,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,OAAO;gBAChB,SAAS,EAAE,IAAI,GAAG,IAAI;gBACtB,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE;aACxC,CACF,CAAC;YACF,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;YAC9B,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,OAAO,CAAC;YACvC,OAAO,CAAC,GAAG,CAAC,4BAA4B,OAAO,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;QACzE,CAAC;QAAC,OAAO,CAAM,EAAE,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,OAAO,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5F,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;AAChF,CAAC;AAED,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;;;;;;;;CAwBZ,CAAC,IAAI,EAAE,CAAC;AAET,MAAM,UAAU,GAAG;IACjB,uCAAuC;IACvC,oCAAoC;IACpC,0CAA0C;IAC1C,wCAAwC;CACzC,CAAC;AAEF,SAAS,IAAI;IACX,OAAO,CAAC,GAAG,CAAC,6DAA6D,CAAC,CAAC;IAC3E,OAAO,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;IACjD,OAAO,CAAC,GAAG,CAAC,uDAAuD,CAAC,CAAC;IACrE,OAAO,CAAC,GAAG,CAAC,+DAA+D,CAAC,CAAC;IAC7E,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC3B,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IAEjD,0BAA0B;IAC1B,OAAO,CAAC,GAAG,CAAC,4DAA4D,CAAC,CAAC;IAC1E,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACtB,MAAM,UAAU,GAAG,YAAY,CAC7B,8OAA8O,EAC9O,kCAAkC,IAAI,EAAE,CACzC,CAAC;IACF,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAEnE,IAAI,MAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,IAAI,CAAC,GAAG,UAAU,CAAC;QACnB,IAAI,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;QAC5D,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACb,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAU,CAAC;QACnC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACpE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE;YAC5B,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,aAAa;YACrC,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,QAAQ;YAChC,WAAW,EAAE,CAAC,CAAC,WAAW;YAC1B,SAAS,EAAE,CAAC,CAAC,SAAS;SACvB,CAAC,CAAmB,CAAC;IACxB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,CAAC,KAAK,CAAC,yBAAyB,EAAE,CAAC,CAAC,CAAC;QAC5C,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACrD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,eAAe,MAAM,CAAC,MAAM,WAAW,CAAC,CAAC;IAErD,4BAA4B;IAC5B,OAAO,CAAC,GAAG,CAAC,0CAA0C,CAAC,CAAC;IACxD,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACtB,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,WAAW,kBAAkB,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1G,MAAM,SAAS,GAAG,YAAY,CAC5B;;oBAEgB,EAChB,UAAU,IAAI,gBAAgB,SAAS,EAAE,CAC1C,CAAC;IACF,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAEnE,IAAI,gBAAuC,CAAC;IAC5C,IAAI,CAAC;QACH,IAAI,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;QAC5D,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACb,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAU,CAAC;QACnC,gBAAgB,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACnE,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK;YACnF,SAAS,EAAE,CAAC,CAAC,SAAS,IAAI,EAAE;SAC7B,CAAC,CAAC,CAAC;IACN,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,CAAC,KAAK,CAAC,gCAAgC,EAAE,CAAC,CAAC,CAAC;QACnD,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACpD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,eAAe;IACf,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YACpD,gBAAgB,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,cAAc,EAAE,CAAC,CAAC;QACtF,CAAC;IACH,CAAC;IAED,4BAA4B;IAC5B,MAAM,OAAO,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAC1E,MAAM,OAAO,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAE1E,+BAA+B;IAC/B,OAAO,CAAC,GAAG,CAAC,yDAAyD,CAAC,CAAC;IACvE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAE7G,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IACnE,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IACnE,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;IAExD,4BAA4B;IAC5B,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC;QACnE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,CAAC,CAAC,mBAAmB,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QAChE,MAAM,QAAQ,GAAG,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,eAAe,CAAC,oBAAoB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7G,OAAO,CAAC,GAAG,CAAC,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,GAAG,QAAQ,EAAE,CAAC,CAAC;QACjE,OAAO,CAAC,GAAG,CAAC,eAAe,KAAK,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/D,IAAI,IAAI;YAAE,OAAO,CAAC,GAAG,CAAC,uBAAuB,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC9E,IAAI,CAAC,CAAC,eAAe;YAAE,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1F,CAAC;IAED,SAAS;IACT,OAAO,CAAC,GAAG,CAAC,+DAA+D,CAAC,CAAC;IAC7E,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACzB,OAAO,CAAC,GAAG,CAAC,+DAA+D,CAAC,CAAC;IAE7E,OAAO,CAAC,GAAG,CAAC,wBAAwB,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACrD,OAAO,CAAC,GAAG,CAAC,wBAAwB,OAAO,WAAW,OAAO,OAAO,CAAC,CAAC;IACtE,OAAO,CAAC,GAAG,CAAC,wBAAwB,UAAU,WAAW,UAAU,OAAO,CAAC,CAAC;IAC5E,OAAO,CAAC,GAAG,CAAC,wBAAwB,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,CAAC,wBAAwB,KAAK,CAAC,iBAAiB,YAAY,KAAK,CAAC,YAAY,aAAa,CAAC,CAAC;IAExG,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,0CAA0C,CAAC,CAAC;QACxD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,OAAO,cAAc,CAAC,CAAC,eAAgB,CAAC,oBAAoB,cAAc,CAAC,CAAC,eAAgB,CAAC,cAAc,EAAE,CAAC,CAAC;YACrI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,eAAgB,CAAC,MAAM,IAAI,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IAED,uCAAuC;IACvC,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC;IACrE,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;QAChD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAChB,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,6DAA6D,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAG,UAAU,GAAG,OAAO,CAAC;IACnC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,OAAO,CAAC,GAAG,CAAC,iBAAiB,KAAK,wCAAwC,CAAC,CAAC;IAC9E,CAAC;SAAM,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QAClD,OAAO,CAAC,GAAG,CAAC,4EAA4E,CAAC,CAAC;IAC5F,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,+DAA+D,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,6DAA6D,CAAC,CAAC;AAC7E,CAAC;AAED,IAAI,CAAC;IACH,IAAI,EAAE,CAAC;AACT,CAAC;AAAC,OAAO,GAAG,EAAE,CAAC;IACb,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACnB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC"}

package/dist/lib/__tests__/arithmetic-real-llm-test.d.ts

@@ -0,0 +1,13 @@
+#!/usr/bin/env npx tsx
+/**
+ * Real LLM A/B Test — Arithmetic Formal Verification Value
+ *
+ * Uses Claude CLI (subscription, not API credits) to:
+ * 1. Extract claims from code with arithmetic bugs
+ * 2. LLM-verify those claims
+ * 3. Apply formal verification
+ * 4. Compare: what did the LLM miss that formal caught?
+ *
+ * Usage: ASSAY_LLM_PROVIDER=cli npx tsx src/lib/__tests__/arithmetic-real-llm-test.ts
+ */
+export {};