tryassay 0.1.0

package/dist/commands/reverse.js

@@ -0,0 +1,115 @@
+import { readFile, writeFile, mkdir } from 'node:fs/promises';
+import { dirname } from 'node:path';
+import { synthesizeSpecs } from '../lib/spec-synthesizer.js';
+import { generateConstraints } from '../lib/constraint-engine.js';
+import { generateWithConstraints } from '../lib/guided-generator.js';
+export async function reverseCommand(options) {
+    const startTime = Date.now();
+    // Resolve task description
+    let task;
+    if (options.task) {
+        task = options.task;
+    }
+    else if (options.taskFile) {
+        try {
+            task = (await readFile(options.taskFile, 'utf-8')).trim();
+        }
+        catch {
+            console.error(`Error: Cannot read task file: ${options.taskFile}`);
+            process.exit(1);
+        }
+    }
+    else {
+        console.error('Error: Provide --task or --task-file');
+        process.exit(1);
+    }
+    if (!task) {
+        console.error('Error: Task description is empty');
+        process.exit(1);
+    }
+    const language = options.lang;
+    const verbose = options.verbose ?? false;
+    const progress = (msg) => {
+        if (verbose) {
+            console.error(`  ${msg}`);
+        }
+    };
+    // ── Phase 1: Spec Synthesis ──────────────────────────────
+    console.error('\n┌─ REVERSE ASSAY ─────────────────────────────────┐');
+    console.error(`│ Task: ${task.slice(0, 45)}${task.length > 45 ? '...' : ''}`);
+    console.error(`│ Language: ${language}`);
+    console.error('└─────────────────────────────────────────────────┘\n');
+    console.error('▸ Phase 1/3: Synthesizing specifications...');
+    const specResult = await synthesizeSpecs(task, language, progress);
+    console.error(`  ✓ ${specResult.totalSpecs} specs generated`);
+    if (verbose) {
+        for (const spec of specResult.specs) {
+            console.error(`    [${spec.id}] (${spec.severity}/${spec.category}) ${spec.description}`);
+        }
+    }
+    // ── Phase 2: Constraint Generation ───────────────────────
+    console.error('\n▸ Phase 2/3: Generating constraints...');
+    const constraintResult = await generateConstraints(task, language, specResult.specs, progress);
+    console.error(`  ✓ ${constraintResult.totalConstraints} constraints generated`);
+    if (verbose) {
+        const musts = constraintResult.constraints.filter(c => c.type === 'must');
+        const mustNots = constraintResult.constraints.filter(c => c.type === 'must-not');
+        const prefers = constraintResult.constraints.filter(c => c.type === 'prefer');
+        console.error(`    MUST: ${musts.length} | MUST-NOT: ${mustNots.length} | PREFER: ${prefers.length}`);
+    }
+    // ── Phase 3: Guided Generation ───────────────────────────
+    console.error('\n▸ Phase 3/3: Generating code with constraints...');
+    const codeResult = await generateWithConstraints(task, language, specResult.specs, constraintResult.constraints, progress);
+    const satisfiedPct = codeResult.totalSpecs > 0
+        ? ((codeResult.satisfiedCount / codeResult.totalSpecs) * 100).toFixed(1)
+        : '0.0';
+    console.error(`  ✓ Code generated — ${codeResult.satisfiedCount}/${codeResult.totalSpecs} specs satisfied (${satisfiedPct}%)`);
+    if (verbose) {
+        for (const sv of codeResult.selfVerification) {
+            const icon = sv.status === 'satisfied' ? '✓'
+                : sv.status === 'partial' ? '◐'
+                    : sv.status === 'unsatisfied' ? '✗'
+                        : '?';
+            console.error(`    ${icon} ${sv.specId}: ${sv.reasoning.slice(0, 80)}`);
+        }
+    }
+    // ── Output ───────────────────────────────────────────────
+    const totalDurationMs = Date.now() - startTime;
+    const totalInputTokens = specResult.inputTokens + constraintResult.inputTokens + codeResult.inputTokens;
+    const totalOutputTokens = specResult.outputTokens + constraintResult.outputTokens + codeResult.outputTokens;
+    if (options.output) {
+        // Ensure output directory exists
+        await mkdir(dirname(options.output), { recursive: true });
+        await writeFile(options.output, codeResult.code, 'utf-8');
+        console.error(`\n✓ Code written to: ${options.output}`);
+    }
+    else {
+        // Write code to stdout
+        process.stdout.write(codeResult.code);
+    }
+    // ── Summary ──────────────────────────────────────────────
+    console.error('\n┌─ SUMMARY ───────────────────────────────────────┐');
+    console.error(`│ Specs:       ${specResult.totalSpecs} synthesized`);
+    console.error(`│ Constraints: ${constraintResult.totalConstraints} generated`);
+    console.error(`│ Satisfied:   ${codeResult.satisfiedCount}/${codeResult.totalSpecs} (${satisfiedPct}%)`);
+    console.error(`│ Tokens:      ${totalInputTokens.toLocaleString()} in / ${totalOutputTokens.toLocaleString()} out`);
+    console.error(`│ Duration:    ${(totalDurationMs / 1000).toFixed(1)}s`);
+    console.error('└─────────────────────────────────────────────────┘');
+    // ── Write full result as JSON sidecar ────────────────────
+    if (options.output) {
+        const result = {
+            task,
+            language,
+            specSynthesis: specResult,
+            constraintSet: constraintResult,
+            generatedCode: codeResult,
+            totalInputTokens,
+            totalOutputTokens,
+            totalDurationMs,
+        };
+        const sidecarPath = options.output.replace(/\.[^.]+$/, '.reverse-assay.json');
+        await writeFile(sidecarPath, JSON.stringify(result, null, 2), 'utf-8');
+        console.error(`✓ Full result written to: ${sidecarPath}`);
+    }
+}
+//# sourceMappingURL=reverse.js.map

package/dist/commands/reverse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reverse.js","sourceRoot":"","sources":["../../src/commands/reverse.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAWrE,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,OAAuB;IAC1D,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAE7B,2BAA2B;IAC3B,IAAI,IAAY,CAAC;IACjB,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACjB,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IACtB,CAAC;SAAM,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC;YACH,IAAI,GAAG,CAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5D,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,CAAC,KAAK,CAAC,iCAAiC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;YACnE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC;QACtD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,CAAC,KAAK,CAAC,kCAAkC,CAAC,CAAC;QAClD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IAC9B,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,KAAK,CAAC;IAEzC,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,EAAE;QAC/B,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC,CAAC;IAEF,4DAA4D;IAC5D,OAAO,CAAC,KAAK,CAAC,uDAAuD,CAAC,CAAC;IACvE,OAAO,CAAC,KAAK,CAAC,WAAW,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC9E,OAAO,CAAC,KAAK,CAAC,eAAe,QAAQ,EAAE,CAAC,CAAC;IACzC,OAAO,CAAC,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAEvE,OAAO,CAAC,KAAK,CAAC,6CAA6C,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,MAAM,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACnE,OAAO,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,UAAU,kBAAkB,CAAC,CAAC;IAE9D,IAAI,OAAO,EAAE,CAAC;QACZ,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACpC,OAAO,CAAC,KAAK,CAAC,QAAQ,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAC5F,CAAC;IACH,CAAC;IAED,4DAA4D;IAC5D,OAAO,CAAC,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC1D,MAAM,gBAAgB,GAAG,MAAM,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC/F,OAAO,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,gBAAgB,wBAAwB,CAAC,CAAC;IAEhF,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,KAAK,GAAG,gBAAgB,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAC1E,MAAM,QAAQ,GAAG,gBAAgB,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QACjF,MAAM,OAAO,GAAG,gBAAgB,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QAC9E,OAAO,CAAC,KAAK,CAAC,aAAa,KAAK,CAAC,MAAM,gBAAgB,QAAQ,CAAC,MAAM,cAAc,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACxG,CAAC;IAED,4DAA4D;IAC5D,OAAO,CAAC,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,MAAM,uBAAuB,CAC9C,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,KAAK,EAAE,gBAAgB,CAAC,WAAW,EAAE,QAAQ,CACzE,CAAC;IAEF,MAAM,YAAY,GAAG,UAAU,CAAC,UAAU,GAAG,CAAC;QAC5C,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,cAAc,GAAG,UAAU,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QACxE,CAAC,CAAC,KAAK,CAAC;IAEV,OAAO,CAAC,KAAK,CAAC,wBAAwB,UAAU,CAAC,cAAc,IAAI,UAAU,CAAC,UAAU,qBAAqB,YAAY,IAAI,CAAC,CAAC;IAE/H,IAAI,OAAO,EAAE,CAAC;QACZ,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,gBAAgB,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,GAAG;gBAC1C,CAAC,CAAC,EAAE,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG;oBAC/B,CAAC,CAAC,EAAE,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,CAAC,GAAG;wBACnC,CAAC,CAAC,GAAG,CAAC;YACR,OAAO,CAAC,KAAK,CAAC,OAAO,IAAI,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IAED,4DAA4D;IAC5D,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;IAC/C,MAAM,gBAAgB,GAAG,UAAU,CAAC,WAAW,GAAG,gBAAgB,CAAC,WAAW,GAAG,UAAU,CAAC,WAAW,CAAC;IACxG,MAAM,iBAAiB,GAAG,UAAU,CAAC,YAAY,GAAG,gBAAgB,CAAC,YAAY,GAAG,UAAU,CAAC,YAAY,CAAC;IAE5G,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,iCAAiC;QACjC,MAAM,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1D,MAAM,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC1D,OAAO,CAAC,KAAK,CAAC,wBAAwB,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1D,CAAC;SAAM,CAAC;QACN,uBAAuB;QACvB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IAED,4DAA4D;IAC5D,OAAO,CAAC,KAAK,CAAC,uDAAuD,CAAC,CAAC;IACvE,OAAO,CAAC,KAAK,CAAC,kBAAkB,UAAU,CAAC,UAAU,cAAc,CAAC,CAAC;IACrE,OAAO,CAAC,KAAK,CAAC,kBAAkB,gBAAgB,CAAC,gBAAgB,YAAY,CAAC,CAAC;IAC/E,OAAO,CAAC,KAAK,CAAC,kBAAkB,UAAU,CAAC,cAAc,IAAI,UAAU,CAAC,UAAU,KAAK,YAAY,IAAI,CAAC,CAAC;IACzG,OAAO,CAAC,KAAK,CAAC,kBAAkB,gBAAgB,CAAC,cAAc,EAAE,SAAS,iBAAiB,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IACpH,OAAO,CAAC,KAAK,CAAC,kBAAkB,CAAC,eAAe,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACxE,OAAO,CAAC,KAAK,CAAC,qDAAqD,CAAC,CAAC;IAErE,4DAA4D;IAC5D,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,MAAM,MAAM,GAAuB;YACjC,IAAI;YACJ,QAAQ;YACR,aAAa,EAAE,UAAU;YACzB,aAAa,EAAE,gBAAgB;YAC/B,aAAa,EAAE,UAAU;YACzB,gBAAgB;YAChB,iBAAiB;YACjB,eAAe;SAChB,CAAC;QAEF,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,qBAAqB,CAAC,CAAC;QAC9E,MAAM,SAAS,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACvE,OAAO,CAAC,KAAK,CAAC,6BAA6B,WAAW,EAAE,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC"}

package/dist/commands/verify.d.ts

@@ -0,0 +1,4 @@
+export declare function verifyCommand(options: {
+    repo?: string;
+    iteration?: string;
+}): Promise<void>;

package/dist/commands/verify.js

@@ -0,0 +1,112 @@
+import { readdir, readFile, writeFile } from 'node:fs/promises';
+import { join, resolve } from 'node:path';
+import { getIterationsDir } from '../lib/config.js';
+import { exists } from '../lib/fs-utils.js';
+import { indexCodebase } from '../lib/codebase-indexer.js';
+import { verifyClaims } from '../lib/code-verifier.js';
+async function findLatestIteration(iterDir) {
+    if (!(await exists(iterDir)))
+        return null;
+    const entries = await readdir(iterDir, { withFileTypes: true });
+    const nums = entries
+        .filter((e) => e.isDirectory())
+        .map((e) => parseInt(e.name, 10))
+        .filter((n) => !isNaN(n));
+    return nums.length === 0 ? null : Math.max(...nums);
+}
+export async function verifyCommand(options) {
+    const iterDir = getIterationsDir();
+    const repoPath = resolve(options.repo || '.');
+    // Determine iteration
+    let iteration;
+    if (options.iteration) {
+        iteration = parseInt(options.iteration, 10);
+        if (isNaN(iteration)) {
+            console.error(`  Error: Invalid iteration "${options.iteration}".`);
+            process.exit(1);
+        }
+    }
+    else {
+        const latest = await findLatestIteration(iterDir);
+        if (latest === null) {
+            console.error('  Error: No iterations found. Run `assay extract` first.');
+            process.exit(1);
+        }
+        iteration = latest;
+    }
+    const iterPath = join(iterDir, String(iteration));
+    const claimsPath = join(iterPath, 'claims.json');
+    if (!(await exists(claimsPath))) {
+        console.error(`  Error: No claims.json found for iteration ${iteration}.`);
+        console.error('  Run `assay extract` first.');
+        process.exit(1);
+    }
+    const extraction = JSON.parse(await readFile(claimsPath, 'utf-8'));
+    console.log(`\n  Assay — Verifying claims against codebase (iteration ${iteration})`);
+    console.log(`  Codebase: ${repoPath}`);
+    console.log(`  Claims:   ${extraction.totalClaims} (${extraction.testableClaims} testable)`);
+    console.log(`  ─────────────────────────────────────\n`);
+    // Index the codebase
+    console.log(`  Indexing codebase...`);
+    const index = await indexCodebase(repoPath);
+    console.log(`  ${index.summary.split('\n').join('\n  ')}\n`);
+    // Run verification
+    const startTime = Date.now();
+    const { verifications, inputTokens, outputTokens } = await verifyClaims(extraction.claims, index, (msg) => console.log(`  ${msg}`));
+    const durationMs = Date.now() - startTime;
+    // Count verdicts
+    const verdicts = { pass: 0, partial: 0, fail: 0, na: 0 };
+    for (const v of verifications) {
+        const key = v.verdict.toLowerCase().replace('/', '');
+        if (key in verdicts) {
+            verdicts[key]++;
+        }
+    }
+    // Build report
+    const report = {
+        iteration,
+        codebasePath: repoPath,
+        verdicts,
+        verifications,
+        generatedAt: new Date().toISOString(),
+    };
+    const reportPath = join(iterPath, 'verification.json');
+    await writeFile(reportPath, JSON.stringify(report, null, 2) + '\n', 'utf-8');
+    // Print verdict table
+    const total = verifications.length;
+    const passRate = total > 0
+        ? (((verdicts.pass + verdicts.partial * 0.5) / (total - verdicts.na)) * 100).toFixed(1)
+        : '0.0';
+    console.log(`\n  ─────────────────────────────────────`);
+    console.log(`  Saved: .assay/iterations/${iteration}/verification.json`);
+    console.log(`\n  Verdict Distribution:`);
+    console.log(`    PASS       ${String(verdicts.pass).padStart(4)}  ${bar(verdicts.pass, total)}`);
+    console.log(`    PARTIAL    ${String(verdicts.partial).padStart(4)}  ${bar(verdicts.partial, total)}`);
+    console.log(`    FAIL       ${String(verdicts.fail).padStart(4)}  ${bar(verdicts.fail, total)}`);
+    console.log(`    N/A        ${String(verdicts.na).padStart(4)}  ${bar(verdicts.na, total)}`);
+    console.log(`    ─────────────────`);
+    console.log(`    Total      ${String(total).padStart(4)}`);
+    console.log(`\n  Compliance score: ${passRate}%`);
+    // Print critical failures
+    const criticalFails = verifications.filter((v) => v.verdict === 'FAIL' &&
+        extraction.claims.find((c) => c.id === v.claimId)?.severity === 'critical');
+    if (criticalFails.length > 0) {
+        console.log(`\n  CRITICAL FAILURES (${criticalFails.length}):`);
+        for (const f of criticalFails) {
+            console.log(`    ${f.claimId}: ${f.claim}`);
+            console.log(`      Reason: ${f.reasoning}`);
+        }
+    }
+    console.log(`\n  Input tokens:    ${inputTokens.toLocaleString()}`);
+    console.log(`  Output tokens:   ${outputTokens.toLocaleString()}`);
+    console.log(`  Duration:        ${(durationMs / 1000).toFixed(1)}s`);
+    console.log(`\n  Next: Run \`assay report\` to generate the gap report.\n`);
+}
+function bar(value, total) {
+    if (total === 0)
+        return '';
+    const width = 20;
+    const filled = Math.round((value / total) * width);
+    return '#'.repeat(filled) + '-'.repeat(width - filled);
+}
+//# sourceMappingURL=verify.js.map

package/dist/commands/verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../src/commands/verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAGvD,KAAK,UAAU,mBAAmB,CAAC,OAAe;IAChD,IAAI,CAAC,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,OAAO,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,OAAO;SACjB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;SAC9B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;SAChC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5B,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;AACtD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,OAGnC;IACC,MAAM,OAAO,GAAG,gBAAgB,EAAE,CAAC;IACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC;IAE9C,sBAAsB;IACtB,IAAI,SAAiB,CAAC;IACtB,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACtB,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QAC5C,IAAI,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;YACrB,OAAO,CAAC,KAAK,CAAC,+BAA+B,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC;YACpE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,OAAO,CAAC,KAAK,CAAC,0DAA0D,CAAC,CAAC;YAC1E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,SAAS,GAAG,MAAM,CAAC;IACrB,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;IAClD,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IAEjD,IAAI,CAAC,CAAC,MAAM,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QAChC,OAAO,CAAC,KAAK,CAAC,+CAA+C,SAAS,GAAG,CAAC,CAAC;QAC3E,OAAO,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAC9C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAC3B,MAAM,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAChB,CAAC;IAEtB,OAAO,CAAC,GAAG,CAAC,4DAA4D,SAAS,GAAG,CAAC,CAAC;IACtF,OAAO,CAAC,GAAG,CAAC,eAAe,QAAQ,EAAE,CAAC,CAAC;IACvC,OAAO,CAAC,GAAG,CAAC,eAAe,UAAU,CAAC,WAAW,KAAK,UAAU,CAAC,cAAc,YAAY,CAAC,CAAC;IAC7F,OAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAAC;IAEzD,qBAAqB;IACrB,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,MAAM,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC5C,OAAO,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAE7D,mBAAmB;IACnB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,MAAM,EAAE,aAAa,EAAE,WAAW,EAAE,YAAY,EAAE,GAAG,MAAM,YAAY,CACrE,UAAU,CAAC,MAAM,EACjB,KAAK,EACL,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC,CACjC,CAAC;IACF,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;IAE1C,iBAAiB;IACjB,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;IACzD,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAA0B,CAAC;QAC9E,IAAI,GAAG,IAAI,QAAQ,EAAE,CAAC;YACpB,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,CAAC;IACH,CAAC;IAED,eAAe;IACf,MAAM,MAAM,GAAuB;QACjC,SAAS;QACT,YAAY,EAAE,QAAQ;QACtB,QAAQ;QACR,aAAa;QACb,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACtC,CAAC;IAEF,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;IACvD,MAAM,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE,OAAO,CAAC,CAAC;IAE7E,sBAAsB;IACtB,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC;IACnC,MAAM,QAAQ,GACZ,KAAK,GAAG,CAAC;QACP,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,GAAG,QAAQ,CAAC,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QACvF,CAAC,CAAC,KAAK,CAAC;IAEZ,OAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAAC;IACzD,OAAO,CAAC,GAAG,CAAC,8BAA8B,SAAS,oBAAoB,CAAC,CAAC;IAEzE,OAAO,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAC;IACzC,OAAO,CAAC,GAAG,CAAC,kBAAkB,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IACjG,OAAO,CAAC,GAAG,CAAC,kBAAkB,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IACvG,OAAO,CAAC,GAAG,CAAC,kBAAkB,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IACjG,OAAO,CAAC,GAAG,CAAC,kBAAkB,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IAC7F,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;IACrC,OAAO,CAAC,GAAG,CAAC,kBAAkB,MAAM,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3D,OAAO,CAAC,GAAG,CAAC,yBAAyB,QAAQ,GAAG,CAAC,CAAC;IAElD,0BAA0B;IAC1B,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,CACxC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,OAAO,KAAK,MAAM;QACpB,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,KAAK,UAAU,CAC7E,CAAC;IAEF,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,OAAO,CAAC,GAAG,CAAC,0BAA0B,aAAa,CAAC,MAAM,IAAI,CAAC,CAAC;QAChE,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;YAC9B,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YAC5C,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,wBAAwB,WAAW,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;IACpE,OAAO,CAAC,GAAG,CAAC,sBAAsB,YAAY,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;IACnE,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,UAAU,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACrE,OAAO,CAAC,GAAG,CAAC,8DAA8D,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,GAAG,CAAC,KAAa,EAAE,KAAa;IACvC,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,EAAE,CAAC;IACjB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC;IACnD,OAAO,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC;AACzD,CAAC"}

package/dist/lib/anthropic.d.ts

@@ -0,0 +1,13 @@
+import Anthropic from '@anthropic-ai/sdk';
+import type { HallucinationType } from '../types.js';
+import type { AssayConfig } from '../types.js';
+import type { RegenerationContext } from './system-prompts.js';
+export declare const MODEL = "claude-sonnet-4-5-20250929";
+export declare function getClient(): Anthropic;
+export interface StreamResult {
+    content: string;
+    inputTokens: number;
+    outputTokens: number;
+}
+export declare function streamHallucination(config: AssayConfig, type: HallucinationType): Promise<StreamResult>;
+export declare function streamRegeneration(ctx: RegenerationContext): Promise<StreamResult>;

package/dist/lib/anthropic.js

@@ -0,0 +1,60 @@
+import Anthropic from '@anthropic-ai/sdk';
+import { getSystemPrompt, getUserPrompt, getRegenerationSystemPrompt, getRegenerationUserPrompt } from './system-prompts.js';
+export const MODEL = 'claude-sonnet-4-5-20250929';
+const MAX_TOKENS = 12_000;
+export function getClient() {
+    const apiKey = process.env.ANTHROPIC_API_KEY;
+    if (!apiKey) {
+        throw new Error('ANTHROPIC_API_KEY environment variable is not set.\n' +
+            'Export it before running: export ANTHROPIC_API_KEY=sk-ant-...');
+    }
+    return new Anthropic({ apiKey, timeout: 15 * 60 * 1000 });
+}
+export async function streamHallucination(config, type) {
+    const client = getClient();
+    const systemPrompt = getSystemPrompt(type, config);
+    const userPrompt = getUserPrompt(type, config);
+    let content = '';
+    let inputTokens = 0;
+    let outputTokens = 0;
+    const stream = client.messages.stream({
+        model: MODEL,
+        max_tokens: MAX_TOKENS,
+        system: systemPrompt,
+        messages: [{ role: 'user', content: userPrompt }],
+    });
+    stream.on('text', (text) => {
+        process.stdout.write(text);
+        content += text;
+    });
+    const finalMessage = await stream.finalMessage();
+    inputTokens = finalMessage.usage.input_tokens;
+    outputTokens = finalMessage.usage.output_tokens;
+    // Newline after streamed content
+    console.log();
+    return { content, inputTokens, outputTokens };
+}
+export async function streamRegeneration(ctx) {
+    const client = getClient();
+    const systemPrompt = getRegenerationSystemPrompt(ctx);
+    const userPrompt = getRegenerationUserPrompt(ctx);
+    let content = '';
+    let inputTokens = 0;
+    let outputTokens = 0;
+    const stream = client.messages.stream({
+        model: MODEL,
+        max_tokens: MAX_TOKENS,
+        system: systemPrompt,
+        messages: [{ role: 'user', content: userPrompt }],
+    });
+    stream.on('text', (text) => {
+        process.stdout.write(text);
+        content += text;
+    });
+    const finalMessage = await stream.finalMessage();
+    inputTokens = finalMessage.usage.input_tokens;
+    outputTokens = finalMessage.usage.output_tokens;
+    console.log();
+    return { content, inputTokens, outputTokens };
+}
+//# sourceMappingURL=anthropic.js.map

package/dist/lib/anthropic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"anthropic.js","sourceRoot":"","sources":["../../src/lib/anthropic.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,mBAAmB,CAAC;AAG1C,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,2BAA2B,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AAG7H,MAAM,CAAC,MAAM,KAAK,GAAG,4BAA4B,CAAC;AAClD,MAAM,UAAU,GAAG,MAAM,CAAC;AAE1B,MAAM,UAAU,SAAS;IACvB,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;IAC7C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,KAAK,CACb,sDAAsD;YACtD,+DAA+D,CAChE,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;AAC5D,CAAC;AAQD,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,MAAmB,EACnB,IAAuB;IAEvB,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC;IAE3B,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACnD,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAE/C,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QACpC,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,UAAU;QACtB,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;KAClD,CAAC,CAAC;IAEH,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3B,OAAO,IAAI,IAAI,CAAC;IAClB,CAAC,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG,MAAM,MAAM,CAAC,YAAY,EAAE,CAAC;IACjD,WAAW,GAAG,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC;IAC9C,YAAY,GAAG,YAAY,CAAC,KAAK,CAAC,aAAa,CAAC;IAEhD,iCAAiC;IACjC,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,GAAwB;IAExB,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC;IAE3B,MAAM,YAAY,GAAG,2BAA2B,CAAC,GAAG,CAAC,CAAC;IACtD,MAAM,UAAU,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC;IAElD,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QACpC,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,UAAU;QACtB,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;KAClD,CAAC,CAAC;IAEH,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3B,OAAO,IAAI,IAAI,CAAC;IAClB,CAAC,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG,MAAM,MAAM,CAAC,YAAY,EAAE,CAAC;IACjD,WAAW,GAAG,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC;IAC9C,YAAY,GAAG,YAAY,CAAC,KAAK,CAAC,aAAa,CAAC;IAEhD,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;AAChD,CAAC"}

package/dist/lib/assessment-reporter.d.ts

@@ -0,0 +1,5 @@
+import type { AssessmentResult, RouteAssessmentResult } from '../types.js';
+export declare function generateAssessmentReport(routeResults: RouteAssessmentResult[], repoName: string, repoUrl: string, frameworks: string[], totalTokens: {
+    input: number;
+    output: number;
+}, outputDir: string, onProgress?: (msg: string) => void): Promise<AssessmentResult>;

package/dist/lib/assessment-reporter.js

@@ -0,0 +1,266 @@
+import { writeFile } from 'node:fs/promises';
+import { resolve } from 'node:path';
+import { randomUUID } from 'node:crypto';
+import { getClient, MODEL } from './anthropic.js';
+// ── Severity ordering for sort ──────────────────────────────────────
+const SEVERITY_ORDER = {
+    critical: 0,
+    high: 1,
+    medium: 2,
+    low: 3,
+};
+// ── Bug severity lookup ─────────────────────────────────────────────
+/**
+ * Build a map from claimId -> severity, using the original Claim objects.
+ * ClaimVerification only has claimId/claim text, not severity,
+ * so we need the claims array to look it up.
+ */
+function buildSeverityMap(routeResults) {
+    const map = new Map();
+    for (const route of routeResults) {
+        for (const claim of route.claims) {
+            map.set(claim.id, claim.severity);
+        }
+    }
+    return map;
+}
+function getBugSeverity(bug, severityMap) {
+    return severityMap.get(bug.claimId) ?? 'medium';
+}
+function collectBugEntries(routeResults, severityMap) {
+    const entries = [];
+    for (const route of routeResults) {
+        // Find the original claim for category lookup
+        const claimMap = new Map(route.claims.map((c) => [c.id, c]));
+        for (const bug of route.bugs) {
+            const claim = claimMap.get(bug.claimId);
+            entries.push({
+                bug,
+                severity: getBugSeverity(bug, severityMap),
+                route: route.requirement.route,
+                domain: route.requirement.domain,
+                category: claim?.category ?? 'functionality',
+            });
+        }
+    }
+    // Sort by severity order (critical first), then by route
+    entries.sort((a, b) => {
+        const sevDiff = SEVERITY_ORDER[a.severity] - SEVERITY_ORDER[b.severity];
+        if (sevDiff !== 0)
+            return sevDiff;
+        return a.route.localeCompare(b.route);
+    });
+    return entries;
+}
+function countBugsBySeverity(entries) {
+    const counts = { critical: 0, high: 0, medium: 0, low: 0 };
+    for (const e of entries) {
+        counts[e.severity]++;
+    }
+    return counts;
+}
+function generateBugReport(entries, repoName, bugCounts) {
+    const lines = [
+        `# Bug Report -- ${repoName}`,
+        ``,
+        `**Assessment Date:** ${new Date().toISOString().split('T')[0]}`,
+        `**Total Bugs:** ${entries.length} (Critical: ${bugCounts.critical}, High: ${bugCounts.high}, Medium: ${bugCounts.medium}, Low: ${bugCounts.low})`,
+        ``,
+        `---`,
+    ];
+    let bugNumber = 0;
+    const severities = ['critical', 'high', 'medium', 'low'];
+    for (const sev of severities) {
+        const sevEntries = entries.filter((e) => e.severity === sev);
+        if (sevEntries.length === 0)
+            continue;
+        lines.push(``, `## ${sev.charAt(0).toUpperCase() + sev.slice(1)}`, ``);
+        for (const entry of sevEntries) {
+            bugNumber++;
+            const bugId = `BUG-${String(bugNumber).padStart(3, '0')}`;
+            const evidenceLines = entry.bug.evidence.length > 0
+                ? entry.bug.evidence.map((e) => `  - \`${e.file}${e.lineNumber ? ':' + e.lineNumber : ''}\` -- ${e.snippet}`)
+                : ['  - No specific file evidence'];
+            lines.push(`### ${bugId}: ${entry.bug.claim}`, `- **Route:** ${entry.route}`, `- **Domain:** ${entry.domain}`, `- **Category:** ${entry.category}`, `- **Verdict:** ${entry.bug.verdict}`, `- **Evidence:**`, ...evidenceLines, `- **Reasoning:** ${entry.bug.reasoning}`, ``);
+        }
+    }
+    if (entries.length === 0) {
+        lines.push(``, `No bugs found. All claims passed verification.`);
+    }
+    return lines.join('\n');
+}
+// ── Coverage matrix generation ──────────────────────────────────────
+function generateCoverageMatrix(routeResults, repoName) {
+    // Group routes by domain
+    const domainMap = new Map();
+    for (const r of routeResults) {
+        const domain = r.requirement.domain;
+        if (!domainMap.has(domain)) {
+            domainMap.set(domain, []);
+        }
+        domainMap.get(domain).push(r);
+    }
+    // Sort domains alphabetically
+    const sortedDomains = [...domainMap.keys()].sort();
+    const lines = [
+        `# Coverage Matrix -- ${repoName}`,
+        ``,
+        `| Domain | Route | Pass | Partial | Fail | Total | Score |`,
+        `|--------|-------|------|---------|------|-------|-------|`,
+    ];
+    for (const domain of sortedDomains) {
+        const routes = domainMap.get(domain);
+        // Sort routes by path within domain
+        routes.sort((a, b) => a.requirement.route.localeCompare(b.requirement.route));
+        // Domain header row
+        lines.push(`| **${domain}** | | | | | | |`);
+        for (const r of routes) {
+            const pass = r.verifications.filter((v) => v.verdict === 'PASS').length;
+            const partial = r.verifications.filter((v) => v.verdict === 'PARTIAL').length;
+            const fail = r.verifications.filter((v) => v.verdict === 'FAIL').length;
+            const testable = pass + partial + fail;
+            const score = testable > 0 ? Math.round((pass / testable) * 100) : 0;
+            lines.push(`| | ${r.requirement.route} | ${pass} | ${partial} | ${fail} | ${testable} | ${score}% |`);
+        }
+    }
+    lines.push('');
+    return lines.join('\n');
+}
+// ── Executive summary (Claude-generated) ────────────────────────────
+async function generateExecutiveSummary(repoName, totalClaims, verdicts, bugCounts, totalRoutes, domainSummaries, topBugs, score) {
+    const client = getClient();
+    const totalBugs = bugCounts.critical + bugCounts.high + bugCounts.medium + bugCounts.low;
+    const topBugDescriptions = topBugs
+        .slice(0, 10)
+        .map((b, i) => `${i + 1}. [${b.severity.toUpperCase()}] ${b.bug.claim} (${b.route})`)
+        .join('\n');
+    const domainTable = domainSummaries
+        .map((d) => `- ${d.domain}: ${d.routes} routes, ${d.score}% compliance`)
+        .join('\n');
+    const prompt = `You are writing an executive summary for a codebase compliance assessment report. Write 3-4 paragraphs for a CTO or VP Engineering audience. Focus on business risk, not code details.
+
+ASSESSMENT DATA:
+- Repository: ${repoName}
+- Total routes assessed: ${totalRoutes}
+- Total claims verified: ${totalClaims}
+- Compliance score: ${score}/100
+- Verdicts: ${verdicts.pass} PASS, ${verdicts.partial} PARTIAL, ${verdicts.fail} FAIL, ${verdicts.na} N/A
+- Bugs found: ${totalBugs} total (${bugCounts.critical} critical, ${bugCounts.high} high, ${bugCounts.medium} medium, ${bugCounts.low} low)
+
+DOMAIN COVERAGE:
+${domainTable}
+
+TOP BUGS:
+${topBugDescriptions || 'None found.'}
+
+GUIDELINES:
+- Paragraph 1: Overall assessment and score interpretation
+- Paragraph 2: Key risk areas and critical/high bugs
+- Paragraph 3: Domain-by-domain coverage highlights
+- Paragraph 4: Recommendations and next steps
+- Write for a non-technical executive
+- Be direct about risks without being alarmist
+- Do NOT use markdown headers or bullet points -- write prose paragraphs only`;
+    const stream = client.messages.stream({
+        model: MODEL,
+        max_tokens: 2000,
+        messages: [{ role: 'user', content: prompt }],
+    });
+    let summary = '';
+    stream.on('text', (text) => {
+        summary += text;
+    });
+    const finalMessage = await stream.finalMessage();
+    return {
+        summary: summary.trim(),
+        inputTokens: finalMessage.usage.input_tokens,
+        outputTokens: finalMessage.usage.output_tokens,
+    };
+}
+// ── Main report generator ───────────────────────────────────────────
+export async function generateAssessmentReport(routeResults, repoName, repoUrl, frameworks, totalTokens, outputDir, onProgress) {
+    const createdAt = new Date().toISOString();
+    // Build severity map from claims
+    const severityMap = buildSeverityMap(routeResults);
+    // Aggregate verdicts
+    const allVerifications = routeResults.flatMap((r) => r.verifications);
+    const verdicts = {
+        pass: allVerifications.filter((v) => v.verdict === 'PASS').length,
+        partial: allVerifications.filter((v) => v.verdict === 'PARTIAL').length,
+        fail: allVerifications.filter((v) => v.verdict === 'FAIL').length,
+        na: allVerifications.filter((v) => v.verdict === 'N/A').length,
+    };
+    // Collect and count bugs
+    const bugEntries = collectBugEntries(routeResults, severityMap);
+    const bugCounts = countBugsBySeverity(bugEntries);
+    // Compliance score
+    const totalClaims = routeResults.reduce((sum, r) => sum + r.claims.length, 0);
+    const testable = verdicts.pass + verdicts.partial + verdicts.fail;
+    const score = testable > 0 ? Math.round((verdicts.pass / testable) * 100) : 0;
+    // Domain summaries for executive summary
+    const domainMap = new Map();
+    for (const r of routeResults) {
+        const domain = r.requirement.domain;
+        if (!domainMap.has(domain))
+            domainMap.set(domain, []);
+        domainMap.get(domain).push(r);
+    }
+    const domainSummaries = [...domainMap.entries()].map(([domain, routes]) => {
+        const domainVerifications = routes.flatMap((r) => r.verifications);
+        const domainPass = domainVerifications.filter((v) => v.verdict === 'PASS').length;
+        const domainTestable = domainPass +
+            domainVerifications.filter((v) => v.verdict === 'PARTIAL').length +
+            domainVerifications.filter((v) => v.verdict === 'FAIL').length;
+        return {
+            domain,
+            routes: routes.length,
+            score: domainTestable > 0 ? Math.round((domainPass / domainTestable) * 100) : 0,
+        };
+    });
+    // 1. Bug report
+    onProgress?.('  Generating bug report...');
+    const bugReportMd = generateBugReport(bugEntries, repoName, bugCounts);
+    await writeFile(resolve(outputDir, 'bug-report.md'), bugReportMd);
+    // 2. Coverage matrix
+    onProgress?.('  Generating coverage matrix...');
+    const coverageMatrixMd = generateCoverageMatrix(routeResults, repoName);
+    await writeFile(resolve(outputDir, 'coverage-matrix.md'), coverageMatrixMd);
+    // 3. Executive summary (Claude-generated)
+    onProgress?.('  Generating executive summary...');
+    const { summary: executiveSummary, inputTokens: execIn, outputTokens: execOut, } = await generateExecutiveSummary(repoName, totalClaims, verdicts, bugCounts, routeResults.length, domainSummaries, bugEntries, score);
+    const execSummaryMd = [
+        `# Executive Summary -- ${repoName}`,
+        ``,
+        `**Assessment Date:** ${createdAt.split('T')[0]}`,
+        `**Compliance Score:** ${score}/100`,
+        ``,
+        `---`,
+        ``,
+        executiveSummary,
+    ].join('\n');
+    await writeFile(resolve(outputDir, 'executive-summary.md'), execSummaryMd);
+    const completedAt = new Date().toISOString();
+    // 4. Build full AssessmentResult
+    const result = {
+        id: randomUUID(),
+        repoName,
+        repoUrl,
+        frameworks,
+        totalRoutes: routeResults.length,
+        totalClaims,
+        verdicts,
+        bugs: bugCounts,
+        score,
+        executiveSummary,
+        routeResults,
+        createdAt,
+        completedAt,
+        inputTokens: totalTokens.input + execIn,
+        outputTokens: totalTokens.output + execOut,
+    };
+    // 5. Machine-readable JSON
+    onProgress?.('  Writing assessment.json...');
+    await writeFile(resolve(outputDir, 'assessment.json'), JSON.stringify(result, null, 2));
+    return result;
+}
+//# sourceMappingURL=assessment-reporter.js.map

package/dist/lib/assessment-reporter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assessment-reporter.js","sourceRoot":"","sources":["../../src/lib/assessment-reporter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AASlD,uEAAuE;AAEvE,MAAM,cAAc,GAAkC;IACpD,QAAQ,EAAE,CAAC;IACX,IAAI,EAAE,CAAC;IACP,MAAM,EAAE,CAAC;IACT,GAAG,EAAE,CAAC;CACP,CAAC;AAEF,uEAAuE;AAEvE;;;;GAIG;AACH,SAAS,gBAAgB,CACvB,YAAqC;IAErC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACjC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,cAAc,CACrB,GAAsB,EACtB,WAAuC;IAEvC,OAAO,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC;AAClD,CAAC;AAYD,SAAS,iBAAiB,CACxB,YAAqC,EACrC,WAAuC;IAEvC,MAAM,OAAO,GAAe,EAAE,CAAC;IAE/B,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,8CAA8C;QAC9C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAE7D,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACxC,OAAO,CAAC,IAAI,CAAC;gBACX,GAAG;gBACH,QAAQ,EAAE,cAAc,CAAC,GAAG,EAAE,WAAW,CAAC;gBAC1C,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,KAAK;gBAC9B,MAAM,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM;gBAChC,QAAQ,EAAE,KAAK,EAAE,QAAQ,IAAI,eAAe;aAC7C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,yDAAyD;IACzD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACpB,MAAM,OAAO,GAAG,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACxE,IAAI,OAAO,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC;QAClC,OAAO,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,mBAAmB,CAC1B,OAAmB;IAEnB,MAAM,MAAM,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IAC3D,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;IACvB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CACxB,OAAmB,EACnB,QAAgB,EAChB,SAA0E;IAE1E,MAAM,KAAK,GAAa;QACtB,mBAAmB,QAAQ,EAAE;QAC7B,EAAE;QACF,wBAAwB,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE;QAChE,mBAAmB,OAAO,CAAC,MAAM,eAAe,SAAS,CAAC,QAAQ,WAAW,SAAS,CAAC,IAAI,aAAa,SAAS,CAAC,MAAM,UAAU,SAAS,CAAC,GAAG,GAAG;QAClJ,EAAE;QACF,KAAK;KACN,CAAC;IAEF,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,UAAU,GAAoB,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAE1E,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,CAAC;QAC7D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEtC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAEvE,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;YAC/B,SAAS,EAAE,CAAC;YACZ,MAAM,KAAK,GAAG,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YAC1D,MAAM,aAAa,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;gBACjD,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CACpB,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,OAAO,EAAE,CACpF;gBACH,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC;YAEtC,KAAK,CAAC,IAAI,CACR,OAAO,KAAK,KAAK,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,EAClC,gBAAgB,KAAK,CAAC,KAAK,EAAE,EAC7B,iBAAiB,KAAK,CAAC,MAAM,EAAE,EAC/B,mBAAmB,KAAK,CAAC,QAAQ,EAAE,EACnC,kBAAkB,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,EACrC,iBAAiB,EACjB,GAAG,aAAa,EAChB,oBAAoB,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,EACzC,EAAE,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,gDAAgD,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,uEAAuE;AAEvE,SAAS,sBAAsB,CAC7B,YAAqC,EACrC,QAAgB;IAEhB,yBAAyB;IACzB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAmC,CAAC;IAC7D,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC;QACpC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC5B,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC;IAED,8BAA8B;IAC9B,MAAM,aAAa,GAAG,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAEnD,MAAM,KAAK,GAAa;QACtB,wBAAwB,QAAQ,EAAE;QAClC,EAAE;QACF,4DAA4D;QAC5D,4DAA4D;KAC7D,CAAC;IAEF,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;QACtC,oCAAoC;QACpC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;QAE9E,oBAAoB;QACpB,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,kBAAkB,CAAC,CAAC;QAE5C,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,MAAM,IAAI,GAAG,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;YACxE,MAAM,OAAO,GAAG,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;YAC9E,MAAM,IAAI,GAAG,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;YACxE,MAAM,QAAQ,GAAG,IAAI,GAAG,OAAO,GAAG,IAAI,CAAC;YACvC,MAAM,KAAK,GAAG,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,QAAQ,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAErE,KAAK,CAAC,IAAI,CACR,OAAO,CAAC,CAAC,WAAW,CAAC,KAAK,MAAM,IAAI,MAAM,OAAO,MAAM,IAAI,MAAM,QAAQ,MAAM,KAAK,KAAK,CAC1F,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,uEAAuE;AAEvE,KAAK,UAAU,wBAAwB,CACrC,QAAgB,EAChB,WAAmB,EACnB,QAAqE,EACrE,SAA0E,EAC1E,WAAmB,EACnB,eAAoE,EACpE,OAAmB,EACnB,KAAa;IAEb,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC;IAE3B,MAAM,SAAS,GAAG,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,IAAI,GAAG,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC;IACzF,MAAM,kBAAkB,GAAG,OAAO;SAC/B,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;SACZ,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,GAAG,CAAC;SACpF,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,MAAM,WAAW,GAAG,eAAe;SAChC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,YAAY,CAAC,CAAC,KAAK,cAAc,CAAC;SACvE,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,MAAM,MAAM,GAAG;;;gBAGD,QAAQ;2BACG,WAAW;2BACX,WAAW;sBAChB,KAAK;cACb,QAAQ,CAAC,IAAI,UAAU,QAAQ,CAAC,OAAO,aAAa,QAAQ,CAAC,IAAI,UAAU,QAAQ,CAAC,EAAE;gBACpF,SAAS,WAAW,SAAS,CAAC,QAAQ,cAAc,SAAS,CAAC,IAAI,UAAU,SAAS,CAAC,MAAM,YAAY,SAAS,CAAC,GAAG;;;EAGnI,WAAW;;;EAGX,kBAAkB,IAAI,aAAa;;;;;;;;;8EASyC,CAAC;IAE7E,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QACpC,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;KAC9C,CAAC,CAAC;IAEH,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,OAAO,IAAI,IAAI,CAAC;IAClB,CAAC,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG,MAAM,MAAM,CAAC,YAAY,EAAE,CAAC;IAEjD,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE;QACvB,WAAW,EAAE,YAAY,CAAC,KAAK,CAAC,YAAY;QAC5C,YAAY,EAAE,YAAY,CAAC,KAAK,CAAC,aAAa;KAC/C,CAAC;AACJ,CAAC;AAED,uEAAuE;AAEvE,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,YAAqC,EACrC,QAAgB,EAChB,OAAe,EACf,UAAoB,EACpB,WAA8C,EAC9C,SAAiB,EACjB,UAAkC;IAElC,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAE3C,iCAAiC;IACjC,MAAM,WAAW,GAAG,gBAAgB,CAAC,YAAY,CAAC,CAAC;IAEnD,qBAAqB;IACrB,MAAM,gBAAgB,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG;QACf,IAAI,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM;QACjE,OAAO,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,MAAM;QACvE,IAAI,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM;QACjE,EAAE,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC,CAAC,MAAM;KAC/D,CAAC;IAEF,yBAAyB;IACzB,MAAM,UAAU,GAAG,iBAAiB,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IAChE,MAAM,SAAS,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;IAElD,mBAAmB;IACnB,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC9E,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,GAAG,QAAQ,CAAC,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC;IAClE,MAAM,KAAK,GAAG,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,GAAG,QAAQ,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE9E,yCAAyC;IACzC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAmC,CAAC;IAC7D,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC;QACpC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACtD,SAAS,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC;IAED,MAAM,eAAe,GAAG,CAAC,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE;QACxE,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;QACnE,MAAM,UAAU,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;QAClF,MAAM,cAAc,GAClB,UAAU;YACV,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,MAAM;YACjE,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;QACjE,OAAO;YACL,MAAM;YACN,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,KAAK,EAAE,cAAc,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,UAAU,GAAG,cAAc,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;SAChF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,gBAAgB;IAChB,UAAU,EAAE,CAAC,4BAA4B,CAAC,CAAC;IAC3C,MAAM,WAAW,GAAG,iBAAiB,CAAC,UAAU,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IACvE,MAAM,SAAS,CAAC,OAAO,CAAC,SAAS,EAAE,eAAe,CAAC,EAAE,WAAW,CAAC,CAAC;IAElE,qBAAqB;IACrB,UAAU,EAAE,CAAC,iCAAiC,CAAC,CAAC;IAChD,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IACxE,MAAM,SAAS,CAAC,OAAO,CAAC,SAAS,EAAE,oBAAoB,CAAC,EAAE,gBAAgB,CAAC,CAAC;IAE5E,0CAA0C;IAC1C,UAAU,EAAE,CAAC,mCAAmC,CAAC,CAAC;IAClD,MAAM,EACJ,OAAO,EAAE,gBAAgB,EACzB,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,OAAO,GACtB,GAAG,MAAM,wBAAwB,CAChC,QAAQ,EACR,WAAW,EACX,QAAQ,EACR,SAAS,EACT,YAAY,CAAC,MAAM,EACnB,eAAe,EACf,UAAU,EACV,KAAK,CACN,CAAC;IAEF,MAAM,aAAa,GAAG;QACpB,0BAA0B,QAAQ,EAAE;QACpC,EAAE;QACF,wBAAwB,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE;QACjD,yBAAyB,KAAK,MAAM;QACpC,EAAE;QACF,KAAK;QACL,EAAE;QACF,gBAAgB;KACjB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,MAAM,SAAS,CAAC,OAAO,CAAC,SAAS,EAAE,sBAAsB,CAAC,EAAE,aAAa,CAAC,CAAC;IAE3E,MAAM,WAAW,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAE7C,iCAAiC;IACjC,MAAM,MAAM,GAAqB;QAC/B,EAAE,EAAE,UAAU,EAAE;QAChB,QAAQ;QACR,OAAO;QACP,UAAU;QACV,WAAW,EAAE,YAAY,CAAC,MAAM;QAChC,WAAW;QACX,QAAQ;QACR,IAAI,EAAE,SAAS;QACf,KAAK;QACL,gBAAgB;QAChB,YAAY;QACZ,SAAS;QACT,WAAW;QACX,WAAW,EAAE,WAAW,CAAC,KAAK,GAAG,MAAM;QACvC,YAAY,EAAE,WAAW,CAAC,MAAM,GAAG,OAAO;KAC3C,CAAC;IAEF,2BAA2B;IAC3B,UAAU,EAAE,CAAC,8BAA8B,CAAC,CAAC;IAC7C,MAAM,SAAS,CACb,OAAO,CAAC,SAAS,EAAE,iBAAiB,CAAC,EACrC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAChC,CAAC;IAEF,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/lib/claim-extractor.d.ts

@@ -0,0 +1,6 @@
+import type { Claim } from '../types.js';
+export declare function extractClaims(document: string, onProgress?: (msg: string) => void): Promise<{
+    claims: Claim[];
+    inputTokens: number;
+    outputTokens: number;
+}>;