tryassay 0.11.0 → 0.12.0

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.0",
+  "version": "0.12.0",
   "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"
   },