tryassay 0.11.1 → 0.12.1

package/dist/sdk/forward-verify.js

@@ -0,0 +1,239 @@
+import { getClient, MODEL } from '../lib/anthropic.js';
+import { runFormalVerification, } from '../lib/formal-verifier.js';
+// ── System Prompts (ported from api/v1/forward.ts) ───────────
+const EXTRACTION_SYSTEM = `You are a code quality auditor. Given source code, extract every testable claim the code makes about its behavior.
+
+A "claim" is any implicit or explicit assertion about what the code does:
+- Function signatures claim they accept certain inputs and return certain outputs
+- Error handling claims it handles specific failure modes
+- Security-sensitive code claims it prevents attacks
+- Edge case handling claims it handles boundary conditions
+- Type annotations claim data conforms to a shape
+- Performance-sensitive code claims acceptable resource usage
+
+For each claim:
+{ "id": "CLAIM-001", "category": "correctness|security|performance|error-handling|edge-case|type-safety", "severity": "critical|high|medium|low", "description": "human-readable description of the claim", "assertion": "precise testable assertion" }
+
+Be thorough. A typical function has 3-8 claims. Cover:
+- Return value correctness for all input classes
+- Error/exception handling completeness
+- Boundary/edge case coverage
+- Security properties (injection, auth, data leaks)
+- Type safety and null handling
+- Concurrency safety if applicable
+
+Return ONLY a JSON array. No markdown fences.`;
+const VERIFICATION_SYSTEM = `You are a formal verification engine. Given source code and a list of claims about that code, verify each claim against the actual implementation.
+
+For each claim, determine:
+- PASS: The code fully satisfies the claim with evidence
+- PARTIAL: The code partially satisfies the claim but has gaps
+- FAIL: The code does NOT satisfy the claim
+- N/A: The claim is not applicable to this code
+
+Provide specific evidence: quote code lines, identify missing checks, point to logic gaps.
+
+Return ONLY a JSON array:
+[{ "claimId": "CLAIM-001", "verdict": "PASS|PARTIAL|FAIL|N/A", "reasoning": "detailed explanation with code evidence" }]
+No markdown fences.`;
+// ── JSON Parsing Helpers ─────────────────────────────────────
+function stripCodeFences(text) {
+    let result = text.trim();
+    if (result.startsWith('```')) {
+        const firstNewline = result.indexOf('\n');
+        if (firstNewline !== -1)
+            result = result.slice(firstNewline + 1);
+    }
+    const lastFence = result.lastIndexOf('```');
+    if (lastFence !== -1)
+        result = result.slice(0, lastFence);
+    return result.trim();
+}
+function repairTruncatedArray(text) {
+    if (text.endsWith(']'))
+        return text;
+    const lastBrace = text.lastIndexOf('}');
+    if (lastBrace !== -1)
+        return text.slice(0, lastBrace + 1) + '\n]';
+    return text;
+}
+function safeParseArray(text) {
+    let jsonText = stripCodeFences(text);
+    jsonText = repairTruncatedArray(jsonText);
+    try {
+        const parsed = JSON.parse(jsonText);
+        return Array.isArray(parsed) ? parsed : [];
+    }
+    catch {
+        return [];
+    }
+}
+// ── Type Bridges ─────────────────────────────────────────────
+function codeClaimToForward(claim) {
+    return {
+        id: claim.id,
+        category: claim.category,
+        severity: claim.severity,
+        description: claim.description,
+        assertion: claim.assertion,
+        testable: true,
+    };
+}
+function forwardToClaim(raw, index) {
+    if (!raw.description || typeof raw.description !== 'string')
+        return null;
+    if (!raw.assertion || typeof raw.assertion !== 'string')
+        return null;
+    const validCategories = ['correctness', 'security', 'performance', 'error-handling', 'edge-case', 'type-safety'];
+    const validSeverities = ['critical', 'high', 'medium', 'low'];
+    const category = validCategories.includes(raw.category)
+        ? raw.category
+        : 'correctness';
+    const severity = validSeverities.includes(raw.severity)
+        ? raw.severity
+        : 'medium';
+    return {
+        id: typeof raw.id === 'string' ? raw.id : `CLAIM-${String(index + 1).padStart(3, '0')}`,
+        category,
+        severity,
+        description: raw.description.trim(),
+        assertion: raw.assertion.trim(),
+    };
+}
+function forwardVerificationToClaimVerification(v) {
+    return {
+        claimId: v.claimId,
+        verdict: v.verdict,
+        reasoning: v.reasoning,
+        method: (v.verification_method ?? 'llm'),
+        formalOverride: v.formal_override
+            ? {
+                originalLlmVerdict: v.formal_override.original_llm_verdict,
+                formalVerdict: v.formal_override.formal_verdict,
+                reason: v.formal_override.reason,
+            }
+            : undefined,
+    };
+}
+// ── Phase 1: Extract Claims ──────────────────────────────────
+export async function extractCodeClaims(code, language, context) {
+    const client = getClient();
+    const contextBlock = context ? `\n\nAdditional context:\n${context}` : '';
+    const response = await client.messages.create({
+        model: MODEL,
+        max_tokens: 16_000,
+        system: EXTRACTION_SYSTEM,
+        messages: [
+            {
+                role: 'user',
+                content: `Language: ${language}\n\nCode:\n${code}${contextBlock}`,
+            },
+        ],
+    });
+    const text = response.content
+        .filter((block) => block.type === 'text')
+        .map(block => block.text)
+        .join('');
+    const rawClaims = safeParseArray(text);
+    const claims = [];
+    for (let i = 0; i < rawClaims.length; i++) {
+        const claim = forwardToClaim(rawClaims[i], i);
+        if (claim)
+            claims.push(claim);
+    }
+    return {
+        claims,
+        inputTokens: response.usage.input_tokens,
+        outputTokens: response.usage.output_tokens,
+    };
+}
+// ── Phase 2: Verify Claims ───────────────────────────────────
+export async function verifyCodeClaims(code, language, claims) {
+    const client = getClient();
+    const claimList = claims
+        .map(c => `[${c.id}] (${c.category}, ${c.severity}) ${c.description}\n  Assertion: ${c.assertion}`)
+        .join('\n\n');
+    const response = await client.messages.create({
+        model: MODEL,
+        max_tokens: 16_000,
+        system: VERIFICATION_SYSTEM,
+        messages: [
+            {
+                role: 'user',
+                content: `Language: ${language}\n\nCode:\n${code}\n\nClaims to verify:\n${claimList}`,
+            },
+        ],
+    });
+    const text = response.content
+        .filter((block) => block.type === 'text')
+        .map(block => block.text)
+        .join('');
+    const rawVerifications = safeParseArray(text);
+    const validVerdicts = ['PASS', 'PARTIAL', 'FAIL', 'N/A'];
+    const verifications = rawVerifications
+        .filter(v => typeof v.claimId === 'string' && typeof v.reasoning === 'string')
+        .filter(v => claims.some(c => c.id === v.claimId))
+        .map(v => ({
+        claimId: v.claimId,
+        verdict: (validVerdicts.includes(v.verdict) ? v.verdict : 'N/A'),
+        reasoning: v.reasoning.trim(),
+        method: 'llm',
+    }));
+    return {
+        verifications,
+        inputTokens: response.usage.input_tokens,
+        outputTokens: response.usage.output_tokens,
+    };
+}
+// ── Phase 2.5: Formal Verification ───────────────────────────
+export function applyFormalVerification(code, language, claims, llmVerifications) {
+    // Bridge SDK types → API types
+    const forwardClaims = claims.map(codeClaimToForward);
+    const forwardVerifications = llmVerifications.map(v => ({
+        claimId: v.claimId,
+        verdict: v.verdict,
+        reasoning: v.reasoning,
+        verification_method: v.method,
+    }));
+    // Run formal verification
+    const result = runFormalVerification(code, language, forwardClaims, forwardVerifications);
+    // Bridge API types → SDK types
+    const verifications = result.verifications.map(forwardVerificationToClaimVerification);
+    const formalStats = {
+        formallyVerified: result.stats.formally_verified,
+        llmVerified: result.stats.llm_verified,
+        disagreements: result.stats.disagreements,
+        formalOverrides: result.stats.formal_overrides,
+    };
+    return { verifications, formalStats };
+}
+// ── Orchestrator ─────────────────────────────────────────────
+export async function forwardVerify(code, language, context) {
+    let totalIn = 0;
+    let totalOut = 0;
+    // Phase 1: Extract claims
+    const { claims, inputTokens: extractIn, outputTokens: extractOut } = await extractCodeClaims(code, language, context);
+    totalIn += extractIn;
+    totalOut += extractOut;
+    // Phase 2: LLM verification
+    const { verifications: llmVerifications, inputTokens: verifyIn, outputTokens: verifyOut } = await verifyCodeClaims(code, language, claims);
+    totalIn += verifyIn;
+    totalOut += verifyOut;
+    // Phase 2.5: Formal verification with override
+    const { verifications, formalStats } = applyFormalVerification(code, language, claims, llmVerifications);
+    const passed = verifications.filter(v => v.verdict === 'PASS').length;
+    const failed = verifications.filter(v => v.verdict === 'FAIL').length;
+    const partial = verifications.filter(v => v.verdict === 'PARTIAL').length;
+    const result = {
+        claims,
+        verifications,
+        formalStats,
+        passed,
+        failed,
+        partial,
+        total: verifications.length,
+        allPassed: failed === 0 && partial === 0,
+    };
+    return { result, inputTokens: totalIn, outputTokens: totalOut };
+}
+//# sourceMappingURL=forward-verify.js.map

package/dist/sdk/forward-verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"forward-verify.js","sourceRoot":"","sources":["../../src/sdk/forward-verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EACL,qBAAqB,GAGtB,MAAM,2BAA2B,CAAC;AAUnC,gEAAgE;AAEhE,MAAM,iBAAiB,GAAG;;;;;;;;;;;;;;;;;;;;;8CAqBoB,CAAC;AAE/C,MAAM,mBAAmB,GAAG;;;;;;;;;;;;oBAYR,CAAC;AAErB,gEAAgE;AAEhE,SAAS,eAAe,CAAC,IAAY;IACnC,IAAI,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACzB,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,YAAY,KAAK,CAAC,CAAC;YAAE,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,SAAS,KAAK,CAAC,CAAC;QAAE,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;AACvB,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAY;IACxC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,SAAS,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC;IAClE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACrC,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAC1C,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACpC,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,gEAAgE;AAEhE,SAAS,kBAAkB,CAAC,KAAgB;IAC1C,OAAO;QACL,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,QAAQ,EAAE,IAAI;KACf,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,GAA4B,EAAE,KAAa;IACjE,IAAI,CAAC,GAAG,CAAC,WAAW,IAAI,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACzE,IAAI,CAAC,GAAG,CAAC,SAAS,IAAI,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAErE,MAAM,eAAe,GAAG,CAAC,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,gBAAgB,EAAE,WAAW,EAAE,aAAa,CAAU,CAAC;IAC1H,MAAM,eAAe,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAU,CAAC;IAEvE,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,QAA0C,CAAC;QACvF,CAAC,CAAE,GAAG,CAAC,QAAkC;QACzC,CAAC,CAAC,aAAa,CAAC;IAElB,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,QAA0C,CAAC;QACvF,CAAC,CAAE,GAAG,CAAC,QAAkC;QACzC,CAAC,CAAC,QAAQ,CAAC;IAEb,OAAO;QACL,EAAE,EAAE,OAAO,GAAG,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;QACvF,QAAQ;QACR,QAAQ;QACR,WAAW,EAAG,GAAG,CAAC,WAAsB,CAAC,IAAI,EAAE;QAC/C,SAAS,EAAG,GAAG,CAAC,SAAoB,CAAC,IAAI,EAAE;KAC5C,CAAC;AACJ,CAAC;AAED,SAAS,sCAAsC,CAC7C,CAAsB;IAEtB,OAAO;QACL,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,OAAO,EAAE,CAAC,CAAC,OAAuB;QAClC,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,MAAM,EAAE,CAAC,CAAC,CAAC,mBAAmB,IAAI,KAAK,CAAqB;QAC5D,cAAc,EAAE,CAAC,CAAC,eAAe;YAC/B,CAAC,CAAC;gBACE,kBAAkB,EAAE,CAAC,CAAC,eAAe,CAAC,oBAAoC;gBAC1E,aAAa,EAAE,CAAC,CAAC,eAAe,CAAC,cAAc;gBAC/C,MAAM,EAAE,CAAC,CAAC,eAAe,CAAC,MAAM;aACjC;YACH,CAAC,CAAC,SAAS;KACd,CAAC;AACJ,CAAC;AAED,gEAAgE;AAEhE,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,IAAY,EACZ,QAAgB,EAChB,OAAgB;IAEhB,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC;IAE3B,MAAM,YAAY,GAAG,OAAO,CAAC,CAAC,CAAC,4BAA4B,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1E,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC5C,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,MAAM;QAClB,MAAM,EAAE,iBAAiB;QACzB,QAAQ,EAAE;YACR;gBACE,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE,aAAa,QAAQ,cAAc,IAAI,GAAG,YAAY,EAAE;aAClE;SACF;KACF,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO;SAC1B,MAAM,CAAC,CAAC,KAAK,EAAgC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;SACtE,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;SACxB,IAAI,CAAC,EAAE,CAAC,CAAC;IAEZ,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC,CAA4B,EAAE,CAAC,CAAC,CAAC;QACzE,IAAI,KAAK;YAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,OAAO;QACL,MAAM;QACN,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,YAAY;QACxC,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,aAAa;KAC3C,CAAC;AACJ,CAAC;AAED,gEAAgE;AAEhE,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,IAAY,EACZ,QAAgB,EAChB,MAAmB;IAEnB,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC;IAE3B,MAAM,SAAS,GAAG,MAAM;SACrB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,WAAW,kBAAkB,CAAC,CAAC,SAAS,EAAE,CAAC;SAClG,IAAI,CAAC,MAAM,CAAC,CAAC;IAEhB,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC5C,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,MAAM;QAClB,MAAM,EAAE,mBAAmB;QAC3B,QAAQ,EAAE;YACR;gBACE,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE,aAAa,QAAQ,cAAc,IAAI,0BAA0B,SAAS,EAAE;aACtF;SACF;KACF,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO;SAC1B,MAAM,CAAC,CAAC,KAAK,EAAgC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;SACtE,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;SACxB,IAAI,CAAC,EAAE,CAAC,CAAC;IAEZ,MAAM,gBAAgB,GAAG,cAAc,CAAC,IAAI,CAAmC,CAAC;IAChF,MAAM,aAAa,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAEzD,MAAM,aAAa,GAAwB,gBAAgB;SACxD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC;SAC7E,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC;SACjD,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACT,OAAO,EAAE,CAAC,CAAC,OAAiB;QAC5B,OAAO,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAiB;QAC1F,SAAS,EAAG,CAAC,CAAC,SAAoB,CAAC,IAAI,EAAE;QACzC,MAAM,EAAE,KAAc;KACvB,CAAC,CAAC,CAAC;IAEN,OAAO;QACL,aAAa;QACb,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,YAAY;QACxC,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,aAAa;KAC3C,CAAC;AACJ,CAAC;AAED,gEAAgE;AAEhE,MAAM,UAAU,uBAAuB,CACrC,IAAY,EACZ,QAAgB,EAChB,MAAmB,EACnB,gBAAqC;IAErC,+BAA+B;IAC/B,MAAM,aAAa,GAAmB,MAAM,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IACrE,MAAM,oBAAoB,GAA0B,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7E,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,mBAAmB,EAAE,CAAC,CAAC,MAAM;KAC9B,CAAC,CAAC,CAAC;IAEJ,0BAA0B;IAC1B,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,oBAAoB,CAAC,CAAC;IAE1F,+BAA+B;IAC/B,MAAM,aAAa,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,sCAAsC,CAAC,CAAC;IACvF,MAAM,WAAW,GAAgB;QAC/B,gBAAgB,EAAE,MAAM,CAAC,KAAK,CAAC,iBAAiB;QAChD,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY;QACtC,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa;QACzC,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,gBAAgB;KAC/C,CAAC;IAEF,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,CAAC;AACxC,CAAC;AAED,gEAAgE;AAEhE,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,IAAY,EACZ,QAAgB,EAChB,OAAgB;IAEhB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,QAAQ,GAAG,CAAC,CAAC;IAEjB,0BAA0B;IAC1B,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,GAChE,MAAM,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACnD,OAAO,IAAI,SAAS,CAAC;IACrB,QAAQ,IAAI,UAAU,CAAC;IAEvB,4BAA4B;IAC5B,MAAM,EAAE,aAAa,EAAE,gBAAgB,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,GACvF,MAAM,gBAAgB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IACjD,OAAO,IAAI,QAAQ,CAAC;IACpB,QAAQ,IAAI,SAAS,CAAC;IAEtB,+CAA+C;IAC/C,MAAM,EAAE,aAAa,EAAE,WAAW,EAAE,GAClC,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAEpE,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IACtE,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IACtE,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IAE1E,MAAM,MAAM,GAAuB;QACjC,MAAM;QACN,aAAa;QACb,WAAW;QACX,MAAM;QACN,MAAM;QACN,OAAO;QACP,KAAK,EAAE,aAAa,CAAC,MAAM;QAC3B,SAAS,EAAE,MAAM,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC;KACzC,CAAC;IAEF,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;AAClE,CAAC"}

package/dist/sdk/index.d.ts

@@ -0,0 +1,8 @@
+import type { AssaySDKConfig, GenerateOptions, VerifyOptions, VerifiedCode, VerificationResult } from './types.js';
+export declare class AssaySDK {
+    private config;
+    constructor(config?: AssaySDKConfig);
+    generate(options: GenerateOptions): Promise<VerifiedCode>;
+    verify(options: VerifyOptions): Promise<VerificationResult>;
+}
+export type { AssaySDKConfig, GenerateOptions, VerifyOptions, VerifiedCode, VerificationResult, CodeClaim, ClaimVerdict, ClaimVerification, FormalStats, ProgressEvent, } from './types.js';

package/dist/sdk/index.js

@@ -0,0 +1,29 @@
+import { verifiedGenerate } from './verified-generate.js';
+import { forwardVerify } from './forward-verify.js';
+export class AssaySDK {
+    config;
+    constructor(config) {
+        const apiKey = config?.anthropicApiKey ?? process.env.ANTHROPIC_API_KEY;
+        if (!apiKey) {
+            throw new Error('ANTHROPIC_API_KEY is required. Pass it as anthropicApiKey in config or set the ANTHROPIC_API_KEY environment variable.');
+        }
+        this.config = {
+            ...config,
+            anthropicApiKey: apiKey,
+            model: config?.model ?? 'claude-sonnet-4-5-20250929',
+            maxIterations: config?.maxIterations ?? 3,
+        };
+        // Set env var so downstream lib functions pick it up
+        if (!process.env.ANTHROPIC_API_KEY) {
+            process.env.ANTHROPIC_API_KEY = apiKey;
+        }
+    }
+    async generate(options) {
+        return verifiedGenerate(options, this.config);
+    }
+    async verify(options) {
+        const { result } = await forwardVerify(options.code, options.language, options.context);
+        return result;
+    }
+}
+//# sourceMappingURL=index.js.map

package/dist/sdk/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/sdk/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AASpD,MAAM,OAAO,QAAQ;IACX,MAAM,CAA6E;IAE3F,YAAY,MAAuB;QACjC,MAAM,MAAM,GAAG,MAAM,EAAE,eAAe,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;QACxE,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CACb,wHAAwH,CACzH,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,MAAM,GAAG;YACZ,GAAG,MAAM;YACT,eAAe,EAAE,MAAM;YACvB,KAAK,EAAE,MAAM,EAAE,KAAK,IAAI,4BAA4B;YACpD,aAAa,EAAE,MAAM,EAAE,aAAa,IAAI,CAAC;SAC1C,CAAC;QAEF,qDAAqD;QACrD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,iBAAiB,EAAE,CAAC;YACnC,OAAO,CAAC,GAAG,CAAC,iBAAiB,GAAG,MAAM,CAAC;QACzC,CAAC;IACH,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,OAAwB;QACrC,OAAO,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,OAAsB;QACjC,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QACxF,OAAO,MAAM,CAAC;IAChB,CAAC;CACF"}

package/dist/sdk/types.d.ts

@@ -0,0 +1,72 @@
+export interface AssaySDKConfig {
+    anthropicApiKey?: string;
+    model?: string;
+    maxIterations?: number;
+    onProgress?: (event: ProgressEvent) => void;
+}
+export interface ProgressEvent {
+    phase: 'spec' | 'constraints' | 'generate' | 'extract' | 'verify' | 'formal' | 'regenerate';
+    message: string;
+    iteration: number;
+    totalIterations: number;
+}
+export interface GenerateOptions {
+    task: string;
+    language: string;
+    context?: string;
+    maxIterations?: number;
+}
+export interface VerifyOptions {
+    code: string;
+    language: string;
+    context?: string;
+}
+export interface CodeClaim {
+    id: string;
+    category: 'correctness' | 'security' | 'error-handling' | 'edge-case' | 'type-safety' | 'performance';
+    severity: 'critical' | 'high' | 'medium' | 'low';
+    description: string;
+    assertion: string;
+}
+export type ClaimVerdict = 'PASS' | 'PARTIAL' | 'FAIL' | 'N/A';
+export interface ClaimVerification {
+    claimId: string;
+    verdict: ClaimVerdict;
+    reasoning: string;
+    method: 'formal' | 'llm';
+    formalOverride?: {
+        originalLlmVerdict: ClaimVerdict;
+        formalVerdict: 'PASS' | 'FAIL';
+        reason: string;
+    };
+}
+export interface FormalStats {
+    formallyVerified: number;
+    llmVerified: number;
+    disagreements: number;
+    formalOverrides: number;
+}
+export interface VerificationResult {
+    claims: CodeClaim[];
+    verifications: ClaimVerification[];
+    formalStats: FormalStats;
+    passed: number;
+    failed: number;
+    partial: number;
+    total: number;
+    allPassed: boolean;
+}
+export interface VerifiedCode {
+    code: string;
+    language: string;
+    verified: boolean;
+    verification: VerificationResult;
+    iterations: number;
+    specs: number;
+    constraints: number;
+    usage: {
+        inputTokens: number;
+        outputTokens: number;
+        durationMs: number;
+    };
+}

package/dist/sdk/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/sdk/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/sdk/types.ts"],"names":[],"mappings":""}

package/dist/sdk/verified-generate.d.ts

@@ -0,0 +1,2 @@
+import type { AssaySDKConfig, GenerateOptions, VerifiedCode } from './types.js';
+export declare function verifiedGenerate(options: GenerateOptions, config: AssaySDKConfig): Promise<VerifiedCode>;

package/dist/sdk/verified-generate.js

@@ -0,0 +1,109 @@
+import { synthesizeSpecs } from '../lib/spec-synthesizer.js';
+import { generateConstraints } from '../lib/constraint-engine.js';
+import { generateWithConstraints } from '../lib/guided-generator.js';
+import { forwardVerify } from './forward-verify.js';
+function emit(config, phase, message, iteration, totalIterations) {
+    config.onProgress?.({ phase, message, iteration, totalIterations });
+}
+function buildRegenerationTask(originalTask, previousCode, failedClaims) {
+    const failures = failedClaims
+        .map(v => `- [${v.claimId}] ${v.verdict}: ${v.reasoning}`)
+        .join('\n');
+    return `${originalTask}
+
+IMPORTANT: A previous attempt at this code FAILED verification. Fix these specific issues and regenerate:
+
+${failures}
+
+Previous code that failed:
+\`\`\`
+${previousCode}
+\`\`\`
+
+Generate a corrected version that addresses ALL the failures above.`;
+}
+function criticalOrHighFailed(verifications, claims) {
+    const criticalHighIds = new Set(claims
+        .filter(c => c.severity === 'critical' || c.severity === 'high')
+        .map(c => c.id));
+    return verifications.some(v => criticalHighIds.has(v.claimId) && (v.verdict === 'FAIL' || v.verdict === 'PARTIAL'));
+}
+export async function verifiedGenerate(options, config) {
+    const maxIterations = options.maxIterations ?? config.maxIterations ?? 3;
+    const startTime = Date.now();
+    let totalInputTokens = 0;
+    let totalOutputTokens = 0;
+    // ── Iteration 1: Synthesize specs + constraints (once) ─────
+    emit(config, 'spec', 'Synthesizing specifications...', 1, maxIterations);
+    const specResult = await synthesizeSpecs(options.task, options.language);
+    totalInputTokens += specResult.inputTokens;
+    totalOutputTokens += specResult.outputTokens;
+    emit(config, 'constraints', `Generating constraints from ${specResult.totalSpecs} specs...`, 1, maxIterations);
+    const constraintResult = await generateConstraints(options.task, options.language, specResult.specs);
+    totalInputTokens += constraintResult.inputTokens;
+    totalOutputTokens += constraintResult.outputTokens;
+    // ── Generate-Verify Loop ───────────────────────────────────
+    let currentTask = options.task;
+    if (options.context) {
+        currentTask += `\n\nAdditional context:\n${options.context}`;
+    }
+    for (let iteration = 1; iteration <= maxIterations; iteration++) {
+        // Generate code
+        emit(config, 'generate', `Generating code (iteration ${iteration}/${maxIterations})...`, iteration, maxIterations);
+        const codeResult = await generateWithConstraints(currentTask, options.language, specResult.specs, constraintResult.constraints);
+        totalInputTokens += codeResult.inputTokens;
+        totalOutputTokens += codeResult.outputTokens;
+        // Extract claims and verify
+        emit(config, 'extract', 'Extracting claims from generated code...', iteration, maxIterations);
+        emit(config, 'verify', 'Verifying claims against code...', iteration, maxIterations);
+        emit(config, 'formal', 'Running formal verification...', iteration, maxIterations);
+        const { result: verification, inputTokens: verifyIn, outputTokens: verifyOut } = await forwardVerify(codeResult.code, options.language);
+        totalInputTokens += verifyIn;
+        totalOutputTokens += verifyOut;
+        // Check if all critical/high claims pass
+        const hasCriticalFailures = criticalOrHighFailed(verification.verifications, verification.claims);
+        if (!hasCriticalFailures) {
+            // All critical/high claims pass — return verified code
+            return {
+                code: codeResult.code,
+                language: options.language,
+                verified: true,
+                verification,
+                iterations: iteration,
+                specs: specResult.totalSpecs,
+                constraints: constraintResult.totalConstraints,
+                usage: {
+                    inputTokens: totalInputTokens,
+                    outputTokens: totalOutputTokens,
+                    durationMs: Date.now() - startTime,
+                },
+            };
+        }
+        // Verification failed — prepare regeneration context
+        if (iteration < maxIterations) {
+            const failedClaims = verification.verifications.filter(v => v.verdict === 'FAIL' || v.verdict === 'PARTIAL');
+            emit(config, 'regenerate', `${failedClaims.length} claim(s) failed. Regenerating with failure context (${iteration + 1}/${maxIterations})...`, iteration, maxIterations);
+            currentTask = buildRegenerationTask(options.task, codeResult.code, failedClaims);
+        }
+        else {
+            // Max iterations reached — return with verified: false
+            return {
+                code: codeResult.code,
+                language: options.language,
+                verified: false,
+                verification,
+                iterations: iteration,
+                specs: specResult.totalSpecs,
+                constraints: constraintResult.totalConstraints,
+                usage: {
+                    inputTokens: totalInputTokens,
+                    outputTokens: totalOutputTokens,
+                    durationMs: Date.now() - startTime,
+                },
+            };
+        }
+    }
+    // Unreachable, but TypeScript needs it
+    throw new Error('Unreachable: generate-verify loop exited without returning');
+}
+//# sourceMappingURL=verified-generate.js.map

package/dist/sdk/verified-generate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verified-generate.js","sourceRoot":"","sources":["../../src/sdk/verified-generate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AASpD,SAAS,IAAI,CACX,MAAsB,EACtB,KAA6B,EAC7B,OAAe,EACf,SAAiB,EACjB,eAAuB;IAEvB,MAAM,CAAC,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,qBAAqB,CAC5B,YAAoB,EACpB,YAAoB,EACpB,YAAiC;IAEjC,MAAM,QAAQ,GAAG,YAAY;SAC1B,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC;SACzD,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,OAAO,GAAG,YAAY;;;;EAItB,QAAQ;;;;EAIR,YAAY;;;oEAGsD,CAAC;AACrE,CAAC;AAED,SAAS,oBAAoB,CAAC,aAAkC,EAAE,MAA0C;IAC1G,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,MAAM;SACH,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,IAAI,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC;SAC/D,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAClB,CAAC;IAEF,OAAO,aAAa,CAAC,IAAI,CACvB,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CACzF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,OAAwB,EACxB,MAAsB;IAEtB,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,MAAM,CAAC,aAAa,IAAI,CAAC,CAAC;IACzE,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAE1B,8DAA8D;IAE9D,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,gCAAgC,EAAE,CAAC,EAAE,aAAa,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,MAAM,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzE,gBAAgB,IAAI,UAAU,CAAC,WAAW,CAAC;IAC3C,iBAAiB,IAAI,UAAU,CAAC,YAAY,CAAC;IAE7C,IAAI,CAAC,MAAM,EAAE,aAAa,EAAE,+BAA+B,UAAU,CAAC,UAAU,WAAW,EAAE,CAAC,EAAE,aAAa,CAAC,CAAC;IAC/G,MAAM,gBAAgB,GAAG,MAAM,mBAAmB,CAChD,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,QAAQ,EAChB,UAAU,CAAC,KAAK,CACjB,CAAC;IACF,gBAAgB,IAAI,gBAAgB,CAAC,WAAW,CAAC;IACjD,iBAAiB,IAAI,gBAAgB,CAAC,YAAY,CAAC;IAEnD,8DAA8D;IAE9D,IAAI,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC;IAC/B,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpB,WAAW,IAAI,4BAA4B,OAAO,CAAC,OAAO,EAAE,CAAC;IAC/D,CAAC;IAED,KAAK,IAAI,SAAS,GAAG,CAAC,EAAE,SAAS,IAAI,aAAa,EAAE,SAAS,EAAE,EAAE,CAAC;QAChE,gBAAgB;QAChB,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,8BAA8B,SAAS,IAAI,aAAa,MAAM,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;QACnH,MAAM,UAAU,GAAG,MAAM,uBAAuB,CAC9C,WAAW,EACX,OAAO,CAAC,QAAQ,EAChB,UAAU,CAAC,KAAK,EAChB,gBAAgB,CAAC,WAAW,CAC7B,CAAC;QACF,gBAAgB,IAAI,UAAU,CAAC,WAAW,CAAC;QAC3C,iBAAiB,IAAI,UAAU,CAAC,YAAY,CAAC;QAE7C,4BAA4B;QAC5B,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,0CAA0C,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;QAC9F,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,kCAAkC,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;QACrF,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,gCAAgC,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;QAEnF,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,GAC5E,MAAM,aAAa,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QACzD,gBAAgB,IAAI,QAAQ,CAAC;QAC7B,iBAAiB,IAAI,SAAS,CAAC;QAE/B,yCAAyC;QACzC,MAAM,mBAAmB,GAAG,oBAAoB,CAC9C,YAAY,CAAC,aAAa,EAC1B,YAAY,CAAC,MAAM,CACpB,CAAC;QAEF,IAAI,CAAC,mBAAmB,EAAE,CAAC;YACzB,uDAAuD;YACvD,OAAO;gBACL,IAAI,EAAE,UAAU,CAAC,IAAI;gBACrB,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,QAAQ,EAAE,IAAI;gBACd,YAAY;gBACZ,UAAU,EAAE,SAAS;gBACrB,KAAK,EAAE,UAAU,CAAC,UAAU;gBAC5B,WAAW,EAAE,gBAAgB,CAAC,gBAAgB;gBAC9C,KAAK,EAAE;oBACL,WAAW,EAAE,gBAAgB;oBAC7B,YAAY,EAAE,iBAAiB;oBAC/B,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;iBACnC;aACF,CAAC;QACJ,CAAC;QAED,qDAAqD;QACrD,IAAI,SAAS,GAAG,aAAa,EAAE,CAAC;YAC9B,MAAM,YAAY,GAAG,YAAY,CAAC,aAAa,CAAC,MAAM,CACpD,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,CACrD,CAAC;YAEF,IAAI,CACF,MAAM,EACN,YAAY,EACZ,GAAG,YAAY,CAAC,MAAM,wDAAwD,SAAS,GAAG,CAAC,IAAI,aAAa,MAAM,EAClH,SAAS,EACT,aAAa,CACd,CAAC;YAEF,WAAW,GAAG,qBAAqB,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QACnF,CAAC;aAAM,CAAC;YACN,uDAAuD;YACvD,OAAO;gBACL,IAAI,EAAE,UAAU,CAAC,IAAI;gBACrB,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,QAAQ,EAAE,KAAK;gBACf,YAAY;gBACZ,UAAU,EAAE,SAAS;gBACrB,KAAK,EAAE,UAAU,CAAC,UAAU;gBAC5B,WAAW,EAAE,gBAAgB,CAAC,gBAAgB;gBAC9C,KAAK,EAAE;oBACL,WAAW,EAAE,gBAAgB;oBAC7B,YAAY,EAAE,iBAAiB;oBAC/B,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;iBACnC;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,uCAAuC;IACvC,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;AAChF,CAAC"}

package/package.json

@@ -1,8 +1,19 @@
 {
   "name": "tryassay",
-  "version": "0.11.1",
+  "version": "0.12.1",
   "description": "AI code verification CLI — find bugs that tests miss, linters ignore, and code review overlooks",
   "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "import": "./dist/index.js",
+      "types": "./dist/index.d.ts"
+    },
+    "./cli": {
+      "import": "./dist/cli.js"
+    }
+  },
   "bin": {
     "tryassay": "./dist/cli.js"
   },