tryassay 0.21.2 → 0.22.1

package/dist/lib/constraint-engine.js

@@ -1,4 +1,5 @@
-import { getClient, MODEL } from './anthropic.js';
+import { MODEL } from './anthropic.js';
+import { getProvider } from './llm-provider.js';
 // ---------------------------------------------------------------------------
 // Domain patterns — embedded knowledge from Assay benchmark findings
 // ---------------------------------------------------------------------------
@@ -243,27 +244,17 @@ async function deriveSpecConstraints(specs, task, language, onProgress) {
     if (specs.length === 0) {
         return { constraints: [], inputTokens: 0, outputTokens: 0 };
     }
-    const client = getClient();
-    onProgress?.('Deriving spec constraints via Claude (streaming)...');
+    onProgress?.('Deriving spec constraints via Claude...');
     const specsText = specs
         .map((s) => `[${s.id}] (${s.category}, ${s.severity}) ${s.description}\n  Assertion: ${s.assertion}`)
         .join('\n\n');
-    const stream = client.messages.stream({
+    const result = await getProvider().complete({
         model: MODEL,
-        max_tokens: 8_000,
-        system: CONSTRAINT_SYSTEM_PROMPT,
-        messages: [
-            {
-                role: 'user',
-                content: `Generate constraints for the following coding task and specifications.\n\nLanguage: ${language}\nTask: ${task}\n\nSpecifications:\n${specsText}`,
-            },
-        ],
-    });
-    let rawText = '';
-    stream.on('text', (text) => {
-        rawText += text;
+        maxTokens: 8_000,
+        systemPrompt: CONSTRAINT_SYSTEM_PROMPT,
+        userPrompt: `Generate constraints for the following coding task and specifications.\n\nLanguage: ${language}\nTask: ${task}\n\nSpecifications:\n${specsText}`,
     });
-    const finalMessage = await stream.finalMessage();
+    const rawText = result.content;
     onProgress?.('Parsing constraint results...');
     let jsonText = stripCodeFences(rawText);
     jsonText = repairTruncatedArray(jsonText, onProgress);
@@ -290,8 +281,8 @@ async function deriveSpecConstraints(specs, task, language, onProgress) {
     }
     return {
         constraints,
-        inputTokens: finalMessage.usage.input_tokens,
-        outputTokens: finalMessage.usage.output_tokens,
+        inputTokens: result.inputTokens ?? 0,
+        outputTokens: result.outputTokens ?? 0,
     };
 }
 // ---------------------------------------------------------------------------

package/dist/lib/constraint-engine.js.map

@@ -1 +1 @@
-{"version":3,"file":"constraint-engine.js","sourceRoot":"","sources":["../../src/lib/constraint-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAUlD,8EAA8E;AAC9E,qEAAqE;AACrE,8EAA8E;AAE9E,MAAM,eAAe,GAGhB;IACH;QACE,QAAQ,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC;QAC5C,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,+DAA+D,EAAE;YAC9F,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,gEAAgE,EAAE,OAAO,EAAE,2CAA2C,EAAE;SAC1J;KACF;IACD;QACE,QAAQ,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,CAAC;QACtD,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,2DAA2D,EAAE;YAC1F,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,wDAAwD,EAAE;SAC5F;KACF;IACD;QACE,QAAQ,EAAE,CAAC,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,CAAC;QAC1D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,gEAAgE,EAAE;YAC/F,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,gEAAgE,EAAE,OAAO,EAAE,4DAA4D,EAAE;SAC3K;KACF;IACD;QACE,QAAQ,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC;QAC7C,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,kEAAkE,EAAE;YACjG,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,qDAAqD,EAAE;YACxF,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,iDAAiD,EAAE;SACnF;KACF;IACD;QACE,QAAQ,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC;QACpE,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,yCAAyC,EAAE;YACxE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,6DAA6D,EAAE;SAC/F;KACF;IACD;QACE,QAAQ,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,CAAC;QAC1D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,4DAA4D,EAAE;YAC3F,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,8BAA8B,EAAE;SAC9D;KACF;IACD;QACE,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC;QAC7C,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,kDAAkD,EAAE;YACjF,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,qDAAqD,EAAE;SACrF;KACF;IACD;QACE,QAAQ,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC;QACvC,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,yFAAyF,EAAE;SAC7H;KACF;IACD;QACE,QAAQ,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,CAAC;QAC/D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,2DAA2D,EAAE,OAAO,EAAE,gBAAgB,EAAE;YACzH,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,6EAA6E,EAAE;SAC/G;KACF;IACD;QACE,QAAQ,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC;QAC9C,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,6FAA6F,EAAE,OAAO,EAAE,cAAc,EAAE;YACrJ,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,4DAA4D,EAAE;SAC5F;KACF;IACD;QACE,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC;QACnD,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,sDAAsD,EAAE;YACrF,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,uDAAuD,EAAE;YAC1F,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,oFAAoF,EAAE;SACtH;KACF;IACD;QACE,QAAQ,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC;QAC/C,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,6CAA6C,EAAE;YAC5E,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,4DAA4D,EAAE;SAChG;KACF;IACD;QACE,QAAQ,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC;QACjE,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,+CAA+C,EAAE;YAC9E,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,2DAA2D,EAAE;YAC5F,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,qFAAqF,EAAE;SACvH;KACF;IACD;QACE,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC;QAC1D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,+BAA+B,EAAE;YAC9D,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,8DAA8D,EAAE;SAChG;KACF;IACD;QACE,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,CAAC;QAC3D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,2DAA2D,EAAE;YAC1F,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,oEAAoE,EAAE;SACxG;KACF;IACD;QACE,QAAQ,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,CAAC;QAClE,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,4CAA4C,EAAE;SAC5E;KACF;IACD;QACE,QAAQ,EAAE,CAAC,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC;QAC7D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,wEAAwE,EAAE;YACvG,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,wEAAwE,EAAE;SAC5G;KACF;IACD;QACE,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,CAAC;QAC7D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,4DAA4D,EAAE;YAC3F,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,0EAA0E,EAAE;SAC1G;KACF;CACF,CAAC;AAEF,8EAA8E;AAC9E,6CAA6C;AAC7C,8EAA8E;AAE9E,MAAM,wBAAwB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAiC/B,CAAC;AAQH,MAAM,WAAW,GAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;AAErE,SAAS,kBAAkB,CAAC,GAAkB;IAC5C,IAAI,CAAC,GAAG,CAAC,WAAW,IAAI,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAEzE,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAsB,CAAC;QAC3D,CAAC,CAAE,GAAG,CAAC,IAAuB;QAC9B,CAAC,CAAC,MAAM,CAAC;IAEX,OAAO;QACL,IAAI;QACJ,WAAW,EAAE,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE;QACnC,OAAO,EAAE,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS;KAC1E,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,0BAA0B;AAC1B,8EAA8E;AAE9E,SAAS,mBAAmB,CAAC,IAAY;IACvC,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACrC,MAAM,OAAO,GAA4C,EAAE,CAAC;IAC5D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,OAAO,IAAI,eAAe,EAAE,CAAC;QACtC,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,IAAI,CAAC,SAAS;YAAE,SAAS;QAEzB,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;YACpC,6BAA6B;YAC7B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC;gBAAE,SAAS;YACtC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YAExB,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,MAAM,EAAE,QAA4B;aACrC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,8EAA8E;AAC9E,4EAA4E;AAC5E,8EAA8E;AAE9E,SAAS,eAAe,CAAC,IAAY;IACnC,IAAI,QAAQ,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAE3B,4BAA4B;IAC5B,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,YAAY,KAAK,CAAC,CAAC,EAAE,CAAC;YACxB,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,4BAA4B;IAC5B,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;QACrB,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO,QAAQ,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC;AAED,SAAS,oBAAoB,CAAC,QAAgB,EAAE,UAAkC;IAChF,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC;IAE5C,MAAM,cAAc,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACjD,IAAI,cAAc,KAAK,CAAC,CAAC,EAAE,CAAC;QAC1B,UAAU,EAAE,CAAC,8DAA8D,CAAC,CAAC;QAC7E,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC;IACvD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,8EAA8E;AAC9E,mCAAmC;AACnC,8EAA8E;AAE9E,KAAK,UAAU,qBAAqB,CAClC,KAAiB,EACjB,IAAY,EACZ,QAAgB,EAChB,UAAkC;IAElC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;IAC9D,CAAC;IAED,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC;IAE3B,UAAU,EAAE,CAAC,qDAAqD,CAAC,CAAC;IAEpE,MAAM,SAAS,GAAG,KAAK;SACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,WAAW,kBAAkB,CAAC,CAAC,SAAS,EAAE,CAAC;SACpG,IAAI,CAAC,MAAM,CAAC,CAAC;IAEhB,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QACpC,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,KAAK;QACjB,MAAM,EAAE,wBAAwB;QAChC,QAAQ,EAAE;YACR;gBACE,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE,uFAAuF,QAAQ,WAAW,IAAI,wBAAwB,SAAS,EAAE;aAC3J;SACF;KACF,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,UAAU,EAAE,CAAC,+BAA+B,CAAC,CAAC;IAE9C,IAAI,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACxC,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAEtD,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CACb,yDAAyD;YACzD,oBAAoB,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAC7C,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IAED,MAAM,WAAW,GAA4C,EAAE,CAAC;IAChE,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,SAAS,GAAG,kBAAkB,CAAC,GAAoB,CAAC,CAAC;QAC3D,IAAI,SAAS,EAAE,CAAC;YACd,WAAW,CAAC,IAAI,CAAC;gBACf,GAAG,SAAS;gBACZ,MAAM,EAAE,MAA0B;aACnC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,WAAW;QACX,WAAW,EAAE,YAAY,CAAC,KAAK,CAAC,YAAY;QAC5C,YAAY,EAAE,YAAY,CAAC,KAAK,CAAC,aAAa;KAC/C,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,IAAY,EACZ,QAAgB,EAChB,KAAiB,EACjB,UAAkC;IAElC,2BAA2B;IAC3B,UAAU,EAAE,CAAC,6BAA6B,CAAC,CAAC;IAC5C,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACpD,UAAU,EAAE,CAAC,WAAW,iBAAiB,CAAC,MAAM,wBAAwB,CAAC,CAAC;IAE1E,qCAAqC;IACrC,MAAM,EAAE,WAAW,EAAE,eAAe,EAAE,WAAW,EAAE,YAAY,EAAE,GAC/D,MAAM,qBAAqB,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACjE,UAAU,EAAE,CAAC,WAAW,eAAe,CAAC,MAAM,sBAAsB,CAAC,CAAC;IAEtE,6DAA6D;IAC7D,MAAM,cAAc,GAAG,CAAC,GAAG,iBAAiB,EAAE,GAAG,eAAe,CAAC,CAAC;IAClE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAA4C,EAAE,CAAC;IAE5D,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,mDAAmD;IACnD,MAAM,QAAQ,GAA2B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9D,EAAE,EAAE,OAAO,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;QAC3C,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,MAAM,EAAE,CAAC,CAAC,MAAO;KAClB,CAAC,CAAC,CAAC;IAEJ,UAAU,EAAE,CAAC,UAAU,QAAQ,CAAC,MAAM,qCAAqC,CAAC,CAAC;IAE7E,OAAO;QACL,IAAI;QACJ,WAAW,EAAE,QAAQ;QACrB,gBAAgB,EAAE,QAAQ,CAAC,MAAM;QACjC,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,WAAW;QACX,YAAY;KACb,CAAC;AACJ,CAAC"}
+{"version":3,"file":"constraint-engine.js","sourceRoot":"","sources":["../../src/lib/constraint-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAUhD,8EAA8E;AAC9E,qEAAqE;AACrE,8EAA8E;AAE9E,MAAM,eAAe,GAGhB;IACH;QACE,QAAQ,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC;QAC5C,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,+DAA+D,EAAE;YAC9F,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,gEAAgE,EAAE,OAAO,EAAE,2CAA2C,EAAE;SAC1J;KACF;IACD;QACE,QAAQ,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,CAAC;QACtD,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,2DAA2D,EAAE;YAC1F,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,wDAAwD,EAAE;SAC5F;KACF;IACD;QACE,QAAQ,EAAE,CAAC,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,CAAC;QAC1D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,gEAAgE,EAAE;YAC/F,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,gEAAgE,EAAE,OAAO,EAAE,4DAA4D,EAAE;SAC3K;KACF;IACD;QACE,QAAQ,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC;QAC7C,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,kEAAkE,EAAE;YACjG,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,qDAAqD,EAAE;YACxF,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,iDAAiD,EAAE;SACnF;KACF;IACD;QACE,QAAQ,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC;QACpE,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,yCAAyC,EAAE;YACxE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,6DAA6D,EAAE;SAC/F;KACF;IACD;QACE,QAAQ,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,CAAC;QAC1D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,4DAA4D,EAAE;YAC3F,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,8BAA8B,EAAE;SAC9D;KACF;IACD;QACE,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC;QAC7C,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,kDAAkD,EAAE;YACjF,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,qDAAqD,EAAE;SACrF;KACF;IACD;QACE,QAAQ,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC;QACvC,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,yFAAyF,EAAE;SAC7H;KACF;IACD;QACE,QAAQ,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,CAAC;QAC/D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,2DAA2D,EAAE,OAAO,EAAE,gBAAgB,EAAE;YACzH,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,6EAA6E,EAAE;SAC/G;KACF;IACD;QACE,QAAQ,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC;QAC9C,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,6FAA6F,EAAE,OAAO,EAAE,cAAc,EAAE;YACrJ,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,4DAA4D,EAAE;SAC5F;KACF;IACD;QACE,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC;QACnD,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,sDAAsD,EAAE;YACrF,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,uDAAuD,EAAE;YAC1F,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,oFAAoF,EAAE;SACtH;KACF;IACD;QACE,QAAQ,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC;QAC/C,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,6CAA6C,EAAE;YAC5E,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,4DAA4D,EAAE;SAChG;KACF;IACD;QACE,QAAQ,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC;QACjE,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,+CAA+C,EAAE;YAC9E,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,2DAA2D,EAAE;YAC5F,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,qFAAqF,EAAE;SACvH;KACF;IACD;QACE,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC;QAC1D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,+BAA+B,EAAE;YAC9D,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,8DAA8D,EAAE;SAChG;KACF;IACD;QACE,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,CAAC;QAC3D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,2DAA2D,EAAE;YAC1F,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,oEAAoE,EAAE;SACxG;KACF;IACD;QACE,QAAQ,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,CAAC;QAClE,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,4CAA4C,EAAE;SAC5E;KACF;IACD;QACE,QAAQ,EAAE,CAAC,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC;QAC7D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,wEAAwE,EAAE;YACvG,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,wEAAwE,EAAE;SAC5G;KACF;IACD;QACE,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,CAAC;QAC7D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,4DAA4D,EAAE;YAC3F,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,0EAA0E,EAAE;SAC1G;KACF;CACF,CAAC;AAEF,8EAA8E;AAC9E,6CAA6C;AAC7C,8EAA8E;AAE9E,MAAM,wBAAwB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAiC/B,CAAC;AAQH,MAAM,WAAW,GAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;AAErE,SAAS,kBAAkB,CAAC,GAAkB;IAC5C,IAAI,CAAC,GAAG,CAAC,WAAW,IAAI,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAEzE,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAsB,CAAC;QAC3D,CAAC,CAAE,GAAG,CAAC,IAAuB;QAC9B,CAAC,CAAC,MAAM,CAAC;IAEX,OAAO;QACL,IAAI;QACJ,WAAW,EAAE,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE;QACnC,OAAO,EAAE,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS;KAC1E,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,0BAA0B;AAC1B,8EAA8E;AAE9E,SAAS,mBAAmB,CAAC,IAAY;IACvC,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACrC,MAAM,OAAO,GAA4C,EAAE,CAAC;IAC5D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,OAAO,IAAI,eAAe,EAAE,CAAC;QACtC,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,IAAI,CAAC,SAAS;YAAE,SAAS;QAEzB,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;YACpC,6BAA6B;YAC7B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC;gBAAE,SAAS;YACtC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YAExB,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,MAAM,EAAE,QAA4B;aACrC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,8EAA8E;AAC9E,4EAA4E;AAC5E,8EAA8E;AAE9E,SAAS,eAAe,CAAC,IAAY;IACnC,IAAI,QAAQ,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAE3B,4BAA4B;IAC5B,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,YAAY,KAAK,CAAC,CAAC,EAAE,CAAC;YACxB,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,4BAA4B;IAC5B,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;QACrB,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO,QAAQ,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC;AAED,SAAS,oBAAoB,CAAC,QAAgB,EAAE,UAAkC;IAChF,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC;IAE5C,MAAM,cAAc,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACjD,IAAI,cAAc,KAAK,CAAC,CAAC,EAAE,CAAC;QAC1B,UAAU,EAAE,CAAC,8DAA8D,CAAC,CAAC;QAC7E,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC;IACvD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,8EAA8E;AAC9E,mCAAmC;AACnC,8EAA8E;AAE9E,KAAK,UAAU,qBAAqB,CAClC,KAAiB,EACjB,IAAY,EACZ,QAAgB,EAChB,UAAkC;IAElC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;IAC9D,CAAC;IAED,UAAU,EAAE,CAAC,yCAAyC,CAAC,CAAC;IAExD,MAAM,SAAS,GAAG,KAAK;SACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,WAAW,kBAAkB,CAAC,CAAC,SAAS,EAAE,CAAC;SACpG,IAAI,CAAC,MAAM,CAAC,CAAC;IAEhB,MAAM,MAAM,GAAG,MAAM,WAAW,EAAE,CAAC,QAAQ,CAAC;QAC1C,KAAK,EAAE,KAAK;QACZ,SAAS,EAAE,KAAK;QAChB,YAAY,EAAE,wBAAwB;QACtC,UAAU,EAAE,uFAAuF,QAAQ,WAAW,IAAI,wBAAwB,SAAS,EAAE;KAC9J,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;IAE/B,UAAU,EAAE,CAAC,+BAA+B,CAAC,CAAC;IAE9C,IAAI,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACxC,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAEtD,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CACb,yDAAyD;YACzD,oBAAoB,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAC7C,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IAED,MAAM,WAAW,GAA4C,EAAE,CAAC;IAChE,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,SAAS,GAAG,kBAAkB,CAAC,GAAoB,CAAC,CAAC;QAC3D,IAAI,SAAS,EAAE,CAAC;YACd,WAAW,CAAC,IAAI,CAAC;gBACf,GAAG,SAAS;gBACZ,MAAM,EAAE,MAA0B;aACnC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,WAAW;QACX,WAAW,EAAE,MAAM,CAAC,WAAW,IAAI,CAAC;QACpC,YAAY,EAAE,MAAM,CAAC,YAAY,IAAI,CAAC;KACvC,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,IAAY,EACZ,QAAgB,EAChB,KAAiB,EACjB,UAAkC;IAElC,2BAA2B;IAC3B,UAAU,EAAE,CAAC,6BAA6B,CAAC,CAAC;IAC5C,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACpD,UAAU,EAAE,CAAC,WAAW,iBAAiB,CAAC,MAAM,wBAAwB,CAAC,CAAC;IAE1E,qCAAqC;IACrC,MAAM,EAAE,WAAW,EAAE,eAAe,EAAE,WAAW,EAAE,YAAY,EAAE,GAC/D,MAAM,qBAAqB,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACjE,UAAU,EAAE,CAAC,WAAW,eAAe,CAAC,MAAM,sBAAsB,CAAC,CAAC;IAEtE,6DAA6D;IAC7D,MAAM,cAAc,GAAG,CAAC,GAAG,iBAAiB,EAAE,GAAG,eAAe,CAAC,CAAC;IAClE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAA4C,EAAE,CAAC;IAE5D,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,mDAAmD;IACnD,MAAM,QAAQ,GAA2B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9D,EAAE,EAAE,OAAO,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;QAC3C,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,MAAM,EAAE,CAAC,CAAC,MAAO;KAClB,CAAC,CAAC,CAAC;IAEJ,UAAU,EAAE,CAAC,UAAU,QAAQ,CAAC,MAAM,qCAAqC,CAAC,CAAC;IAE7E,OAAO;QACL,IAAI;QACJ,WAAW,EAAE,QAAQ;QACrB,gBAAgB,EAAE,QAAQ,CAAC,MAAM;QACjC,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,WAAW;QACX,YAAY;KACb,CAAC;AACJ,CAAC"}

package/dist/lib/formal-verifier.d.ts

@@ -30,7 +30,7 @@ export interface FormalVerificationStats {
     disagreements: number;
     formal_overrides: number;
 }
-export type FormalCheckType = 'function_exists' | 'parameter_check' | 'error_handling' | 'null_check' | 'type_annotation' | 'sql_parameterized' | 'input_validation';
+export type FormalCheckType = 'function_exists' | 'parameter_check' | 'error_handling' | 'null_check' | 'type_annotation' | 'sql_parameterized' | 'input_validation' | 'arithmetic_correctness' | 'api_misuse' | 'undefined_reference';
 export interface FormalCheckResult {
     claimId: string;
     checkType: FormalCheckType;

package/dist/lib/formal-verifier.js

@@ -4,6 +4,155 @@
  * This is a local copy of api/lib/formal-verifier.ts for use within the SDK.
  * The canonical version lives at api/lib/formal-verifier.ts.
  */
+// ── Safe Arithmetic Evaluator ────────────────────────────────
+function safeEvalArithmetic(expr) {
+    const src = expr.replace(/,/g, '').trim();
+    if (src.length === 0)
+        return null;
+    let pos = 0;
+    function peek() { return src[pos] ?? ''; }
+    function advance() { return src[pos++] ?? ''; }
+    function skipWS() { while (pos < src.length && src[pos] === ' ')
+        pos++; }
+    function parseNumber() {
+        skipWS();
+        let num = '';
+        while (pos < src.length && (src[pos] >= '0' && src[pos] <= '9' || src[pos] === '.')) {
+            num += advance();
+        }
+        if (num === '' || num === '.')
+            return null;
+        const val = parseFloat(num);
+        return isNaN(val) ? null : val;
+    }
+    function parsePrimary() {
+        skipWS();
+        if (peek() === '(') {
+            advance();
+            const val = parseExpression();
+            if (val === null)
+                return null;
+            skipWS();
+            if (peek() !== ')')
+                return null;
+            advance();
+            return val;
+        }
+        if (peek() >= '0' && peek() <= '9' || peek() === '.') {
+            return parseNumber();
+        }
+        return null;
+    }
+    function parsePower() {
+        const base = parsePrimary();
+        if (base === null)
+            return null;
+        skipWS();
+        if (pos + 1 < src.length && src[pos] === '*' && src[pos + 1] === '*') {
+            pos += 2;
+            const exp = parseUnary();
+            if (exp === null)
+                return null;
+            const result = Math.pow(base, exp);
+            if (!isFinite(result))
+                return null;
+            return result;
+        }
+        return base;
+    }
+    function parseUnary() {
+        skipWS();
+        if (peek() === '-') {
+            advance();
+            const val = parsePower();
+            return val === null ? null : -val;
+        }
+        if (peek() === '+') {
+            advance();
+            return parsePower();
+        }
+        return parsePower();
+    }
+    function parseTerm() {
+        let left = parseUnary();
+        if (left === null)
+            return null;
+        while (true) {
+            skipWS();
+            if (pos + 1 < src.length && src[pos] === '/' && src[pos + 1] === '/') {
+                pos += 2;
+                const right = parseUnary();
+                if (right === null || right === 0)
+                    return null;
+                left = Math.floor(left / right);
+            }
+            else if (peek() === '*' && (pos + 1 >= src.length || src[pos + 1] !== '*')) {
+                advance();
+                const right = parseUnary();
+                if (right === null)
+                    return null;
+                left = left * right;
+            }
+            else if (peek() === '/' && (pos + 1 >= src.length || src[pos + 1] !== '/')) {
+                advance();
+                const right = parseUnary();
+                if (right === null || right === 0)
+                    return null;
+                left = left / right;
+            }
+            else if (peek() === '%') {
+                advance();
+                const right = parseUnary();
+                if (right === null || right === 0)
+                    return null;
+                left = left % right;
+            }
+            else {
+                break;
+            }
+            if (!isFinite(left))
+                return null;
+        }
+        return left;
+    }
+    function parseExpression() {
+        let left = parseTerm();
+        if (left === null)
+            return null;
+        while (true) {
+            skipWS();
+            if (peek() === '+') {
+                advance();
+                const right = parseTerm();
+                if (right === null)
+                    return null;
+                left = left + right;
+            }
+            else if (peek() === '-') {
+                advance();
+                const right = parseTerm();
+                if (right === null)
+                    return null;
+                left = left - right;
+            }
+            else {
+                break;
+            }
+            if (!isFinite(left))
+                return null;
+        }
+        return left;
+    }
+    const result = parseExpression();
+    if (result === null)
+        return null;
+    skipWS();
+    if (pos < src.length)
+        return null;
+    if (!isFinite(result))
+        return null;
+    return result;
+}
 // ── Preprocessing ────────────────────────────────────────────
 function preprocessCode(code) {
     let result = code;
@@ -21,6 +170,58 @@ function preprocessCode(code) {
     result = result.replace(/`(?:[^`\\]|\\.)*`/g, '`__STR__`');
     return result;
 }
+// ── Known-Bad API List ───────────────────────────────────────
+// Conservative v1: only APIs that unambiguously don't exist in the target language.
+const KNOWN_BAD_APIS = {
+    // JavaScript/TypeScript — non-existent array methods
+    '.flatten(': { languages: ['js', 'ts', 'jsx', 'tsx', 'javascript', 'typescript'], correct: '.flat(' },
+    '.contains(': { languages: ['js', 'ts', 'jsx', 'tsx', 'javascript', 'typescript'], correct: '.includes(' },
+    // Non-existent Object methods
+    'Object.fromPairs(': { languages: ['js', 'ts', 'jsx', 'tsx', 'javascript', 'typescript'], correct: 'Object.fromEntries(' },
+    'Object.pairs(': { languages: ['js', 'ts', 'jsx', 'tsx', 'javascript', 'typescript'], correct: 'Object.entries(' },
+    'Object.size(': { languages: ['js', 'ts', 'jsx', 'tsx', 'javascript', 'typescript'], correct: 'Object.keys(...).length' },
+    'Object.length': { languages: ['js', 'ts', 'jsx', 'tsx', 'javascript', 'typescript'], correct: 'Object.keys(...).length' },
+    // Non-existent string methods (JS)
+    '.trimLeft(': { languages: ['js', 'ts', 'jsx', 'tsx', 'javascript', 'typescript'], correct: '.trimStart(' },
+    '.trimRight(': { languages: ['js', 'ts', 'jsx', 'tsx', 'javascript', 'typescript'], correct: '.trimEnd(' },
+    // Python — common LLM hallucinations (method names only, no type prefix)
+    '.has_key(': { languages: ['python', 'py'], correct: '"key" in dict' },
+    '.iteritems(': { languages: ['python', 'py'], correct: '.items()' },
+    '.itervalues(': { languages: ['python', 'py'], correct: '.values()' },
+    '.iterkeys(': { languages: ['python', 'py'], correct: '.keys()' },
+    '.remove_at(': { languages: ['python', 'py'], correct: '.pop(index)' },
+};
+// ── Built-in Allowlists ──────────────────────────────────────
+const JS_BUILTINS = new Set([
+    'console', 'window', 'document', 'navigator', 'location', 'history',
+    'setTimeout', 'setInterval', 'clearTimeout', 'clearInterval',
+    'Promise', 'JSON', 'Math', 'Date', 'RegExp', 'Error', 'TypeError',
+    'Array', 'Object', 'String', 'Number', 'Boolean', 'Symbol', 'Map', 'Set',
+    'WeakMap', 'WeakSet', 'Proxy', 'Reflect',
+    'parseInt', 'parseFloat', 'isNaN', 'isFinite', 'NaN', 'Infinity',
+    'undefined', 'null', 'true', 'false',
+    'require', 'module', 'exports', '__dirname', '__filename',
+    'process', 'Buffer', 'global', 'globalThis',
+    'fetch', 'Request', 'Response', 'Headers', 'URL', 'URLSearchParams',
+    'TextEncoder', 'TextDecoder', 'AbortController', 'FormData', 'Blob', 'File',
+    'Event', 'EventTarget', 'CustomEvent',
+    'alert', 'confirm', 'prompt',
+    'React', 'Component', 'Fragment', 'useState', 'useEffect', 'useRef',
+    'useCallback', 'useMemo', 'useContext', 'useReducer',
+    'describe', 'it', 'test', 'expect', 'beforeEach', 'afterEach', 'jest', 'vi',
+]);
+const PY_BUILTINS = new Set([
+    'print', 'len', 'range', 'enumerate', 'zip', 'map', 'filter',
+    'int', 'float', 'str', 'bool', 'list', 'dict', 'set', 'tuple',
+    'type', 'isinstance', 'issubclass', 'hasattr', 'getattr', 'setattr',
+    'open', 'input', 'sorted', 'reversed', 'min', 'max', 'sum', 'abs',
+    'any', 'all', 'iter', 'next', 'super', 'property', 'staticmethod',
+    'classmethod', 'None', 'True', 'False', 'self', 'cls',
+    'Exception', 'ValueError', 'TypeError', 'KeyError', 'IndexError',
+    'ImportError', 'AttributeError', 'RuntimeError', 'StopIteration',
+    'os', 'sys', 'json', 'math', 're', 'datetime', 'collections',
+    'functools', 'itertools', 'typing', 'pathlib', 'unittest', 'pytest',
+]);
 // ── Claim Classification ─────────────────────────────────────
 function classifyClaim(claim) {
     const text = `${claim.description} ${claim.assertion}`.toLowerCase();
@@ -73,6 +274,22 @@ function classifyClaim(claim) {
     if (/(?:validates?\s+(?:user\s+)?input|input\s+validation|sanitizes?\s+input|validates?\s+(?:before|prior))/i.test(text)) {
         return { claim, formallyVerifiable: true, checkType: 'input_validation' };
     }
+    // Arithmetic correctness checks
+    if (/(?:calculates?|computes?|evaluates?\s+to|sums?|totals?|multiplies?|divides?|averages?|rounds?)/i.test(text) ||
+        /(?:returns?\s+(?:the\s+)?(?:sum|product|average|total|difference|ratio|percentage|remainder|quotient))/i.test(text) ||
+        /(?:result\s+(?:is|equals?|should\s+be)\s+\d)/i.test(text)) {
+        return { claim, formallyVerifiable: true, checkType: 'arithmetic_correctness' };
+    }
+    // API misuse checks
+    if (/(?:uses?|calls?|invokes?)\s+(?:the\s+)?(?:api|method|function)\s+['"`]?(\w+(?:\.\w+)*)['"`]?/i.test(text) ||
+        /(?:calls?\s+\w+\.\w+)|(?:uses?\s+\w+\.\w+\s*\()/i.test(originalText)) {
+        return { claim, formallyVerifiable: true, checkType: 'api_misuse' };
+    }
+    // Undefined reference checks
+    if (/(?:references?|uses?|accesses?)\s+(?:variable|function|import|module|identifier)\s+['"`]?(\w+)['"`]?/i.test(text) ||
+        /(?:variable|function|import)\s+['"`]?(\w+)['"`]?\s+(?:is\s+)?(?:defined|declared|imported|available)/i.test(text)) {
+        return { claim, formallyVerifiable: true, checkType: 'undefined_reference' };
+    }
     return { claim, formallyVerifiable: false };
 }
 // ── Structural Verifiers ─────────────────────────────────────
@@ -399,6 +616,234 @@ function checkInputValidation(code, language) {
         confidence: 1,
     };
 }
+// ── Arithmetic Correctness ───────────────────────────────────
+function checkArithmeticCorrectness(code, language, claim) {
+    const clean = preprocessCode(code);
+    const text = `${claim.description} ${claim.assertion}`;
+    // Phase A: Extract constant expressions from code
+    const assignments = [];
+    let assignPatterns;
+    if (['typescript', 'javascript', 'ts', 'js', 'tsx', 'jsx'].includes(language)) {
+        assignPatterns = [/(?:const|let|var)\s+(\w+)\s*(?::\s*\w+)?\s*=\s*([^;{\n]+)/g];
+    }
+    else if (['python', 'py'].includes(language)) {
+        assignPatterns = [/^(\w+)\s*=\s*([^#\n]+)/gm];
+    }
+    else if (['go', 'golang'].includes(language)) {
+        assignPatterns = [/(?:const|var)\s+(\w+)\s*(?:\w+)?\s*=\s*([^\n]+)/g];
+    }
+    else if (['java', 'kotlin', 'scala'].includes(language)) {
+        assignPatterns = [/(?:final\s+)?(?:\w+)\s+(\w+)\s*=\s*([^;]+)/g];
+    }
+    else {
+        assignPatterns = [/(?:const|let|var|final)?\s*(\w+)\s*=\s*([^;\n]+)/g];
+    }
+    for (const pattern of assignPatterns) {
+        let m;
+        while ((m = pattern.exec(clean)) !== null) {
+            const name = m[1];
+            const rhs = m[2].trim();
+            if (/^['"`\[{(]|^(?:function|def|class|new|await|async)\b/.test(rhs))
+                continue;
+            if (/^(?:true|false|null|undefined|None|nil)\b/i.test(rhs))
+                continue;
+            const value = safeEvalArithmetic(rhs);
+            if (value !== null) {
+                assignments.push({ name, expr: rhs, value });
+            }
+        }
+    }
+    // Phase B: Extract expected values from claim text
+    const claimNumbers = [...text.matchAll(/\b(\d+\.?\d*)\b/g)].map(m => parseFloat(m[1]));
+    const claimExprMatch = text.match(/(\d[\d\s.+\-*/%()]*\d)\s*(?:=|equals?|is)\s*(\d+\.?\d*)/i);
+    // Phase C: Compare
+    if (claimExprMatch) {
+        const claimExpr = claimExprMatch[1].trim();
+        const claimResult = parseFloat(claimExprMatch[2]);
+        const evaluated = safeEvalArithmetic(claimExpr);
+        if (evaluated !== null && !isNaN(claimResult)) {
+            const matches = Math.abs(evaluated - claimResult) < 1e-9;
+            return {
+                claimId: claim.id,
+                checkType: 'arithmetic_correctness',
+                verdict: matches ? 'PASS' : 'FAIL',
+                evidence: matches
+                    ? `Arithmetic verified: ${claimExpr} = ${evaluated}`
+                    : `Arithmetic error: ${claimExpr} = ${evaluated}, but claim states ${claimResult}`,
+                confidence: 1,
+            };
+        }
+    }
+    for (const assign of assignments) {
+        const claimReferencesVar = new RegExp(`\\b${assign.name}\\b`, 'i').test(text);
+        const claimReferencesValue = claimNumbers.some(n => Math.abs(n - assign.value) < 1e-9);
+        if (claimReferencesVar && claimNumbers.length > 0) {
+            const contradicts = claimNumbers.some(n => {
+                return Math.abs(n - assign.value) > 1e-9 && Math.abs(n - assign.value) < assign.value * 10;
+            });
+            if (contradicts && !claimReferencesValue) {
+                return {
+                    claimId: claim.id,
+                    checkType: 'arithmetic_correctness',
+                    verdict: 'FAIL',
+                    evidence: `Variable '${assign.name}' evaluates to ${assign.value} (from: ${assign.expr}), but claim expects a different value`,
+                    confidence: 1,
+                };
+            }
+        }
+    }
+    return {
+        claimId: claim.id,
+        checkType: 'arithmetic_correctness',
+        verdict: 'PASS',
+        evidence: assignments.length > 0
+            ? `Found ${assignments.length} constant expression(s) in code, no contradictions with claim`
+            : 'No deterministically evaluable constant expressions found — deferring to LLM',
+        confidence: 1,
+    };
+}
+// ── API Misuse Check ─────────────────────────────────────────
+function checkApiMisuse(code, language, claim) {
+    const clean = preprocessCode(code);
+    const langLower = language.toLowerCase();
+    for (const [badApi, info] of Object.entries(KNOWN_BAD_APIS)) {
+        if (info.languages.length === 0)
+            continue;
+        if (!info.languages.includes(langLower))
+            continue;
+        if (clean.includes(badApi)) {
+            return {
+                claimId: claim.id,
+                checkType: 'api_misuse',
+                verdict: 'FAIL',
+                evidence: `Code uses '${badApi.replace(/[()]/g, '')}' which does not exist in ${language}. Use '${info.correct}' instead.`,
+                confidence: 1,
+            };
+        }
+    }
+    return {
+        claimId: claim.id,
+        checkType: 'api_misuse',
+        verdict: 'PASS',
+        evidence: 'No known non-existent API calls detected',
+        confidence: 1,
+    };
+}
+// ── Undefined Reference Check ────────────────────────────────
+function checkUndefinedReference(code, language, claim) {
+    const text = `${claim.description} ${claim.assertion}`;
+    const identMatch = text.match(/(?:references?|uses?|accesses?)\s+(?:variable|function|import|module|identifier)\s+['"`]?(\w+)['"`]?/i) || text.match(/(?:variable|function|import)\s+['"`]?(\w+)['"`]?\s+(?:is\s+)?(?:defined|declared|imported|available)/i);
+    if (!identMatch) {
+        return {
+            claimId: claim.id,
+            checkType: 'undefined_reference',
+            verdict: 'PASS',
+            evidence: 'No specific identifier extracted from claim — deferring to LLM',
+            confidence: 1,
+        };
+    }
+    const identifier = identMatch[1];
+    const clean = preprocessCode(code);
+    const langLower = language.toLowerCase();
+    const builtins = ['js', 'ts', 'jsx', 'tsx', 'javascript', 'typescript'].includes(langLower)
+        ? JS_BUILTINS
+        : ['python', 'py'].includes(langLower)
+            ? PY_BUILTINS
+            : new Set();
+    if (builtins.has(identifier)) {
+        return {
+            claimId: claim.id,
+            checkType: 'undefined_reference',
+            verdict: 'PASS',
+            evidence: `'${identifier}' is a built-in identifier in ${language}`,
+            confidence: 1,
+        };
+    }
+    const declarations = new Set();
+    if (['js', 'ts', 'jsx', 'tsx', 'javascript', 'typescript'].includes(langLower)) {
+        for (const m of clean.matchAll(/(?:const|let|var)\s+(\w+)/g))
+            declarations.add(m[1]);
+        for (const m of clean.matchAll(/function\s+(\w+)/g))
+            declarations.add(m[1]);
+        for (const m of clean.matchAll(/class\s+(\w+)/g))
+            declarations.add(m[1]);
+        for (const m of clean.matchAll(/import\s+\{([^}]+)\}/g)) {
+            for (const name of m[1].split(',')) {
+                const trimmed = name.trim().split(/\s+as\s+/).pop()?.trim();
+                if (trimmed)
+                    declarations.add(trimmed);
+            }
+        }
+        for (const m of clean.matchAll(/import\s+(\w+)\s+from/g))
+            declarations.add(m[1]);
+        for (const m of clean.matchAll(/(?:function\s+\w+|=>)\s*\(([^)]*)\)/g)) {
+            for (const p of m[1].split(',')) {
+                const paramName = p.trim().split(/[\s:=]/)[0];
+                if (paramName)
+                    declarations.add(paramName);
+            }
+        }
+    }
+    else if (['python', 'py'].includes(langLower)) {
+        for (const m of clean.matchAll(/def\s+(\w+)/g))
+            declarations.add(m[1]);
+        for (const m of clean.matchAll(/class\s+(\w+)/g))
+            declarations.add(m[1]);
+        for (const m of clean.matchAll(/^(\w+)\s*=/gm))
+            declarations.add(m[1]);
+        for (const m of clean.matchAll(/import\s+(\w+)/g))
+            declarations.add(m[1]);
+        for (const m of clean.matchAll(/from\s+\w+\s+import\s+(.+)/g)) {
+            for (const name of m[1].split(',')) {
+                const trimmed = name.trim().split(/\s+as\s+/).pop()?.trim();
+                if (trimmed)
+                    declarations.add(trimmed);
+            }
+        }
+    }
+    else {
+        for (const m of clean.matchAll(/(?:const|let|var|function|class|def|func|fn)\s+(\w+)/g)) {
+            declarations.add(m[1]);
+        }
+        for (const m of clean.matchAll(/^(\w+)\s*=/gm))
+            declarations.add(m[1]);
+    }
+    if (declarations.size < 3) {
+        return {
+            claimId: claim.id,
+            checkType: 'undefined_reference',
+            verdict: 'PASS',
+            evidence: `Code has fewer than 3 declarations (likely a fragment) — deferring to LLM`,
+            confidence: 1,
+        };
+    }
+    if (declarations.has(identifier)) {
+        return {
+            claimId: claim.id,
+            checkType: 'undefined_reference',
+            verdict: 'PASS',
+            evidence: `'${identifier}' is declared in the source code`,
+            confidence: 1,
+        };
+    }
+    const identRegex = new RegExp(`\\b${identifier}\\b`);
+    if (!identRegex.test(clean)) {
+        return {
+            claimId: claim.id,
+            checkType: 'undefined_reference',
+            verdict: 'FAIL',
+            evidence: `'${identifier}' is not found anywhere in the source code`,
+            confidence: 1,
+        };
+    }
+    return {
+        claimId: claim.id,
+        checkType: 'undefined_reference',
+        verdict: 'FAIL',
+        evidence: `'${identifier}' is referenced but not declared in the source code`,
+        confidence: 1,
+    };
+}
 // ── Main Entry Point ─────────────────────────────────────────
 export function runFormalVerification(code, language, claims, llmVerifications) {
     const classified = claims.map(c => classifyClaim(c));
@@ -431,6 +876,15 @@ export function runFormalVerification(code, language, claims, llmVerifications)
             case 'input_validation':
                 result = checkInputValidation(code, language);
                 break;
+            case 'arithmetic_correctness':
+                result = checkArithmeticCorrectness(code, language, c.claim);
+                break;
+            case 'api_misuse':
+                result = checkApiMisuse(code, language, c.claim);
+                break;
+            case 'undefined_reference':
+                result = checkUndefinedReference(code, language, c.claim);
+                break;
             default:
                 continue;
         }