tryassay 0.21.2 → 0.22.1

package/dist/lib/__tests__/formal-verifier-api-misuse.test.js

@@ -0,0 +1,391 @@
+/**
+ * API Misuse & Undefined Reference Tests — two new formal check types.
+ *
+ * Tests for:
+ * - checkApiMisuse: detects known non-existent API calls (LLM hallucinations)
+ * - checkUndefinedReference: detects references to undeclared identifiers
+ * - classifyClaim: correct routing to new check types
+ */
+import { describe, it, expect } from 'vitest';
+import { runFormalVerification } from '../formal-verifier.js';
+function makeClaim(overrides = {}) {
+    return {
+        id: 'test-claim-1',
+        category: 'correctness',
+        severity: 'medium',
+        description: overrides.description ?? 'test claim',
+        assertion: overrides.assertion ?? 'test assertion',
+        ...overrides,
+    };
+}
+function makeLLMVerification(claimId, verdict = 'PASS') {
+    return {
+        claimId,
+        verdict,
+        reasoning: 'LLM says it looks correct',
+    };
+}
+// ── classifyClaim Tests ──────────────────────────────────────
+describe('classifyClaim — api_misuse classification', () => {
+    it('classifies "uses method array.flatten" as api_misuse', () => {
+        const claim = makeClaim({
+            description: 'uses method array.flatten to flatten nested arrays',
+            assertion: 'calls array.flatten()',
+        });
+        const llmV = makeLLMVerification(claim.id);
+        const { verifications } = runFormalVerification('const flat = arr.flat();', 'typescript', [claim], [llmV]);
+        expect(verifications[0].verification_method).toBe('formal');
+    });
+    it('classifies "calls Object.fromPairs" as api_misuse', () => {
+        const claim = makeClaim({
+            description: 'calls Object.fromPairs to convert pairs to object',
+            assertion: 'uses Object.fromPairs()',
+        });
+        const llmV = makeLLMVerification(claim.id);
+        const { verifications } = runFormalVerification('const obj = Object.fromEntries(pairs);', 'typescript', [claim], [llmV]);
+        expect(verifications[0].verification_method).toBe('formal');
+    });
+});
+describe('classifyClaim — undefined_reference classification', () => {
+    it('classifies "references variable myHelper" as undefined_reference', () => {
+        const claim = makeClaim({
+            description: 'references variable myHelper for processing',
+            assertion: 'myHelper is used correctly',
+        });
+        const llmV = makeLLMVerification(claim.id);
+        const { verifications } = runFormalVerification('const a = 1;\nconst b = 2;\nconst c = 3;\nconst d = myHelper(a);', 'typescript', [claim], [llmV]);
+        expect(verifications[0].verification_method).toBe('formal');
+    });
+    it('classifies "function processData is defined" as undefined_reference', () => {
+        const claim = makeClaim({
+            description: 'function processData is defined and available',
+            assertion: 'processData exists',
+        });
+        const llmV = makeLLMVerification(claim.id);
+        const { verifications } = runFormalVerification('function processData(x: number) { return x * 2; }\nconst a = 1;\nconst b = 2;\nconst c = 3;', 'typescript', [claim], [llmV]);
+        expect(verifications[0].verification_method).toBe('formal');
+    });
+});
+describe('classifyClaim — no misclassification of existing types', () => {
+    it('arithmetic claims still classified as arithmetic_correctness', () => {
+        const claim = makeClaim({
+            description: 'calculates 2 + 3 = 5',
+            assertion: 'result is 5',
+        });
+        const llmV = makeLLMVerification(claim.id);
+        const { verifications } = runFormalVerification('const result = 2 + 3;', 'typescript', [claim], [llmV]);
+        // Should be formally verified (arithmetic_correctness)
+        expect(verifications[0].verification_method).toBe('formal');
+        expect(verifications[0].verdict).toBe('PASS');
+    });
+    it('error handling claims still classified correctly', () => {
+        const claim = makeClaim({
+            category: 'error-handling',
+            description: 'handles errors with try-catch',
+            assertion: 'error handling is present',
+        });
+        const llmV = makeLLMVerification(claim.id);
+        const { verifications } = runFormalVerification('try { doWork(); } catch (e) { console.error(e); }', 'typescript', [claim], [llmV]);
+        expect(verifications[0].verification_method).toBe('formal');
+        expect(verifications[0].verdict).toBe('PASS');
+    });
+});
+// ── checkApiMisuse Tests ─────────────────────────────────────
+describe('checkApiMisuse', () => {
+    it('FAIL: JS code with .flatten() — should use .flat()', () => {
+        const claim = makeClaim({
+            description: 'uses method flatten to flatten arrays',
+            assertion: 'calls array.flatten()',
+        });
+        const llmV = makeLLMVerification(claim.id, 'PASS');
+        const { verifications } = runFormalVerification('const result = nestedArray.flatten();', 'typescript', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('FAIL');
+        expect(verifications[0].evidence).toContain('.flat(');
+    });
+    it('PASS: JS code with .flat() — correct API', () => {
+        const claim = makeClaim({
+            description: 'uses method flat to flatten arrays',
+            assertion: 'calls array.flat()',
+        });
+        const llmV = makeLLMVerification(claim.id, 'PASS');
+        const { verifications } = runFormalVerification('const result = nestedArray.flat();', 'typescript', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('PASS');
+    });
+    it('FAIL: JS code with .contains() — should use .includes()', () => {
+        const claim = makeClaim({
+            description: 'uses method contains to check membership',
+            assertion: 'calls array.contains()',
+        });
+        const llmV = makeLLMVerification(claim.id, 'PASS');
+        const { verifications } = runFormalVerification('if (items.contains("apple")) { return true; }', 'javascript', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('FAIL');
+        expect(verifications[0].evidence).toContain('.includes(');
+    });
+    it('PASS: JS code with .includes() — correct API', () => {
+        const claim = makeClaim({
+            description: 'uses method includes to check membership',
+            assertion: 'calls array.includes()',
+        });
+        const llmV = makeLLMVerification(claim.id, 'PASS');
+        const { verifications } = runFormalVerification('if (items.includes("apple")) { return true; }', 'javascript', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('PASS');
+    });
+    it('FAIL: Python code with dict.has_key() — should use "in"', () => {
+        const claim = makeClaim({
+            description: 'uses method has_key to check dictionary',
+            assertion: 'calls dict.has_key()',
+        });
+        const llmV = makeLLMVerification(claim.id, 'PASS');
+        const { verifications } = runFormalVerification('if config.has_key("debug"):\n    enable_debug()', 'python', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('FAIL');
+        expect(verifications[0].evidence).toContain('in');
+    });
+    it('PASS: Python code with "key in dict" — correct pattern', () => {
+        const claim = makeClaim({
+            description: 'uses method to check dictionary key',
+            assertion: 'calls dict lookup',
+        });
+        const llmV = makeLLMVerification(claim.id, 'PASS');
+        const { verifications } = runFormalVerification('if "debug" in config:\n    enable_debug()', 'python', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('PASS');
+    });
+    it('PASS: Java code with .contains() — valid in Java', () => {
+        const claim = makeClaim({
+            description: 'uses method contains for list check',
+            assertion: 'calls list.contains()',
+        });
+        const llmV = makeLLMVerification(claim.id, 'PASS');
+        const { verifications } = runFormalVerification('if (items.contains("apple")) { return true; }', 'java', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('PASS');
+    });
+    it('PASS: bad API in comment (preprocessed away)', () => {
+        const claim = makeClaim({
+            description: 'uses method flatten for arrays',
+            assertion: 'calls flatten API',
+        });
+        const llmV = makeLLMVerification(claim.id, 'PASS');
+        const { verifications } = runFormalVerification('// Use .flatten() to flatten\nconst result = arr.flat();', 'typescript', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('PASS');
+    });
+    it('PASS: code with no API calls', () => {
+        const claim = makeClaim({
+            description: 'uses method for processing',
+            assertion: 'calls the processing function',
+        });
+        const llmV = makeLLMVerification(claim.id, 'PASS');
+        const { verifications } = runFormalVerification('const x = 42;\nconst y = x + 1;', 'typescript', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('PASS');
+    });
+    it('formal override: LLM says PASS on .flatten(), formal overrides to FAIL', () => {
+        const claim = makeClaim({
+            description: 'uses method flatten to flatten arrays',
+            assertion: 'calls array.flatten()',
+        });
+        const llmV = makeLLMVerification(claim.id, 'PASS');
+        const { verifications, stats } = runFormalVerification('const result = data.flatten();', 'typescript', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('FAIL');
+        expect(verifications[0].formal_override).toBeDefined();
+        expect(verifications[0].formal_override?.original_llm_verdict).toBe('PASS');
+        expect(verifications[0].formal_override?.formal_verdict).toBe('FAIL');
+        expect(stats.formal_overrides).toBe(1);
+    });
+    it('FAIL: JS code with Object.fromPairs()', () => {
+        const claim = makeClaim({
+            description: 'uses method Object.fromPairs to create object',
+            assertion: 'calls Object.fromPairs()',
+        });
+        const llmV = makeLLMVerification(claim.id, 'PASS');
+        const { verifications } = runFormalVerification('const obj = Object.fromPairs(entries);', 'typescript', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('FAIL');
+        expect(verifications[0].evidence).toContain('Object.fromEntries(');
+    });
+    it('FAIL: bad API inside string literal is NOT flagged (preprocessed)', () => {
+        const claim = makeClaim({
+            description: 'uses method flatten for processing',
+            assertion: 'calls array.flatten()',
+        });
+        const llmV = makeLLMVerification(claim.id, 'PASS');
+        const { verifications } = runFormalVerification('const msg = "Use .flatten() for this";\nconst result = arr.flat();', 'typescript', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('PASS');
+    });
+});
+// ── checkUndefinedReference Tests ────────────────────────────
+describe('checkUndefinedReference', () => {
+    it('PASS: reference to declared variable', () => {
+        const claim = makeClaim({
+            description: 'references variable processData for computation',
+            assertion: 'processData is used',
+        });
+        const llmV = makeLLMVerification(claim.id);
+        const code = `
+      const processData = (x: number) => x * 2;
+      const input = 5;
+      const output = processData(input);
+      const formatted = String(output);
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].reasoning).toContain('declared');
+    });
+    it('FAIL: reference to undeclared variable', () => {
+        const claim = makeClaim({
+            description: 'references variable helperUtil for processing',
+            assertion: 'helperUtil is used',
+        });
+        const llmV = makeLLMVerification(claim.id, 'PASS');
+        const code = `
+      const processData = (x: number) => x * 2;
+      const input = 5;
+      const output = processData(input);
+      const formatted = String(output);
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('FAIL');
+        expect(verifications[0].evidence).toContain('helperUtil');
+    });
+    it('PASS: reference to JS builtin (console)', () => {
+        const claim = makeClaim({
+            description: 'references variable console for logging',
+            assertion: 'console is available',
+        });
+        const llmV = makeLLMVerification(claim.id);
+        const code = `
+      const a = 1;
+      const b = 2;
+      const c = a + b;
+      console.log(c);
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].reasoning).toContain('built-in');
+    });
+    it('PASS: reference to JS builtin (Math)', () => {
+        const claim = makeClaim({
+            description: 'references variable Math for calculations',
+            assertion: 'Math is used',
+        });
+        const llmV = makeLLMVerification(claim.id);
+        const code = `
+      const x = 4;
+      const y = 9;
+      const z = Math.sqrt(y);
+      const result = x + z;
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].reasoning).toContain('built-in');
+    });
+    it('PASS: reference to Python builtin (len)', () => {
+        const claim = makeClaim({
+            description: 'references variable len for size',
+            assertion: 'len is used',
+        });
+        const llmV = makeLLMVerification(claim.id);
+        const code = `
+data = [1, 2, 3]
+count = len(data)
+result = count * 2
+output = str(result)
+    `;
+        const { verifications } = runFormalVerification(code, 'python', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].reasoning).toContain('built-in');
+    });
+    it('PASS: reference to imported name', () => {
+        const claim = makeClaim({
+            description: 'references variable axios for HTTP calls',
+            assertion: 'axios is used',
+        });
+        const llmV = makeLLMVerification(claim.id);
+        const code = [
+            "import axios from 'axios';",
+            "const baseUrl = 'https://api.example.com';",
+            "const client = axios.create({ baseURL: baseUrl });",
+            "const result = client.get('/data');",
+            "const status = result.status;",
+        ].join('\n');
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].reasoning).toContain('declared');
+    });
+    it('PASS: code fragment (< 3 declarations) — benefit of doubt', () => {
+        const claim = makeClaim({
+            description: 'references variable myFunc for computation',
+            assertion: 'myFunc is available',
+        });
+        const llmV = makeLLMVerification(claim.id);
+        const code = 'const x = myFunc(42);';
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].reasoning).toContain('fragment');
+    });
+    it('PASS: claim without specific identifier — defer to LLM', () => {
+        const claim = makeClaim({
+            description: 'the code has proper variable declarations',
+            assertion: 'variables are well-defined',
+        });
+        const llmV = makeLLMVerification(claim.id);
+        const code = `
+      const a = 1;
+      const b = 2;
+      const c = a + b;
+      const d = c * 2;
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [llmV]);
+        // This claim doesn't trigger undefined_reference classification,
+        // so it should stay as LLM-only
+        expect(verifications[0].verification_method).toBe('llm');
+    });
+    it('PASS: function parameter referenced', () => {
+        const claim = makeClaim({
+            description: 'references variable callback for async handling',
+            assertion: 'callback is used',
+        });
+        const llmV = makeLLMVerification(claim.id);
+        const code = `
+      function processItems(items: string[], callback: Function) {
+        const results = items.map(callback);
+        const count = results.length;
+        return { results, count };
+      }
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [llmV]);
+        // callback is a parameter, should be in declarations
+        expect(verifications[0].verdict).toBe('PASS');
+    });
+    it('formal override: LLM says PASS on undefined reference, formal overrides to FAIL', () => {
+        const claim = makeClaim({
+            description: 'references variable missingHelper for data transformation',
+            assertion: 'missingHelper is used correctly',
+        });
+        const llmV = makeLLMVerification(claim.id, 'PASS');
+        const code = `
+      const data = [1, 2, 3];
+      const result = missingHelper(data);
+      const output = result.toString();
+      const formatted = output.trim();
+    `;
+        const { verifications, stats } = runFormalVerification(code, 'typescript', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('FAIL');
+        expect(verifications[0].formal_override).toBeDefined();
+        expect(verifications[0].formal_override?.original_llm_verdict).toBe('PASS');
+        expect(stats.formal_overrides).toBe(1);
+    });
+    it('PASS: Python from...import name', () => {
+        const claim = makeClaim({
+            description: 'references variable Path for file operations',
+            assertion: 'Path is available',
+        });
+        const llmV = makeLLMVerification(claim.id);
+        const code = `
+from pathlib import Path
+data_dir = Path("/data")
+config = data_dir / "config.json"
+result = config.read_text()
+    `;
+        const { verifications } = runFormalVerification(code, 'python', [claim], [llmV]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].reasoning).toContain('declared');
+    });
+});
+//# sourceMappingURL=formal-verifier-api-misuse.test.js.map

package/dist/lib/__tests__/formal-verifier-api-misuse.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formal-verifier-api-misuse.test.js","sourceRoot":"","sources":["../../../src/lib/__tests__/formal-verifier-api-misuse.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAG9D,SAAS,SAAS,CAAC,YAAmC,EAAE;IACtD,OAAO;QACL,EAAE,EAAE,cAAc;QAClB,QAAQ,EAAE,aAAa;QACvB,QAAQ,EAAE,QAAQ;QAClB,WAAW,EAAE,SAAS,CAAC,WAAW,IAAI,YAAY;QAClD,SAAS,EAAE,SAAS,CAAC,SAAS,IAAI,gBAAgB;QAClD,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAe,EAAE,UAA2B,MAAM;IAC7E,OAAO;QACL,OAAO;QACP,OAAO;QACP,SAAS,EAAE,2BAA2B;KACvC,CAAC;AACJ,CAAC;AAED,gEAAgE;AAEhE,QAAQ,CAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,oDAAoD;YACjE,SAAS,EAAE,uBAAuB;SACnC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3C,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAC7C,0BAA0B,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAC1D,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,mDAAmD;YAChE,SAAS,EAAE,yBAAyB;SACrC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3C,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAC7C,wCAAwC,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CACxE,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,6CAA6C;YAC1D,SAAS,EAAE,4BAA4B;SACxC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3C,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAC7C,kEAAkE,EAClE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAC9B,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,+CAA+C;YAC5D,SAAS,EAAE,oBAAoB;SAChC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3C,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAC7C,6FAA6F,EAC7F,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAC9B,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,wDAAwD,EAAE,GAAG,EAAE;IACtE,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,sBAAsB;YACnC,SAAS,EAAE,aAAa;SACzB,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3C,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAC7C,uBAAuB,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CACvD,CAAC;QACF,uDAAuD;QACvD,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC5D,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,QAAQ,EAAE,gBAAgB;YAC1B,WAAW,EAAE,+BAA+B;YAC5C,SAAS,EAAE,2BAA2B;SACvC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3C,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAC7C,mDAAmD,EACnD,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAC9B,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC5D,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,uCAAuC;YACpD,SAAS,EAAE,uBAAuB;SACnC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAC7C,uCAAuC,EACvC,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAC9B,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,oCAAoC;YACjD,SAAS,EAAE,oBAAoB;SAChC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAC7C,oCAAoC,EACpC,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAC9B,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,0CAA0C;YACvD,SAAS,EAAE,wBAAwB;SACpC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAC7C,+CAA+C,EAC/C,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAC9B,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,0CAA0C;YACvD,SAAS,EAAE,wBAAwB;SACpC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAC7C,+CAA+C,EAC/C,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAC9B,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,yCAAyC;YACtD,SAAS,EAAE,sBAAsB;SAClC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAC7C,iDAAiD,EACjD,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAC1B,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,qCAAqC;YAClD,SAAS,EAAE,mBAAmB;SAC/B,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAC7C,2CAA2C,EAC3C,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAC1B,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,qCAAqC;YAClD,SAAS,EAAE,uBAAuB;SACnC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAC7C,+CAA+C,EAC/C,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CACxB,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,gCAAgC;YAC7C,SAAS,EAAE,mBAAmB;SAC/B,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAC7C,0DAA0D,EAC1D,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAC9B,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,4BAA4B;YACzC,SAAS,EAAE,+BAA+B;SAC3C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAC7C,iCAAiC,EACjC,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAC9B,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,uCAAuC;YACpD,SAAS,EAAE,uBAAuB;SACnC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,qBAAqB,CACpD,gCAAgC,EAChC,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAC9B,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,WAAW,EAAE,CAAC;QACvD,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,eAAe,EAAE,oBAAoB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5E,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtE,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,+CAA+C;YAC5D,SAAS,EAAE,0BAA0B;SACtC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAC7C,wCAAwC,EACxC,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAC9B,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,oCAAoC;YACjD,SAAS,EAAE,uBAAuB;SACnC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAC7C,oEAAoE,EACpE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAC9B,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,iDAAiD;YAC9D,SAAS,EAAE,qBAAqB;SACjC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG;;;;;KAKZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACrF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,+CAA+C;YAC5D,SAAS,EAAE,oBAAoB;SAChC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG;;;;;KAKZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACrF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,yCAAyC;YACtD,SAAS,EAAE,sBAAsB;SAClC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG;;;;;KAKZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACrF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,2CAA2C;YACxD,SAAS,EAAE,cAAc;SAC1B,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG;;;;;KAKZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACrF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,kCAAkC;YAC/C,SAAS,EAAE,aAAa;SACzB,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG;;;;;KAKZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACjF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,0CAA0C;YACvD,SAAS,EAAE,eAAe;SAC3B,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG;YACX,4BAA4B;YAC5B,4CAA4C;YAC5C,oDAAoD;YACpD,qCAAqC;YACrC,+BAA+B;SAChC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACrF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,4CAA4C;YACzD,SAAS,EAAE,qBAAqB;SACjC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG,uBAAuB,CAAC;QACrC,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACrF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,2CAA2C;YACxD,SAAS,EAAE,4BAA4B;SACxC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG;;;;;KAKZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACrF,iEAAiE;QACjE,gCAAgC;QAChC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,iDAAiD;YAC9D,SAAS,EAAE,kBAAkB;SAC9B,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG;;;;;;KAMZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACrF,qDAAqD;QACrD,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,2DAA2D;YACxE,SAAS,EAAE,iCAAiC;SAC7C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG;;;;;KAKZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5F,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,WAAW,EAAE,CAAC;QACvD,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,eAAe,EAAE,oBAAoB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5E,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,8CAA8C;YAC3D,SAAS,EAAE,mBAAmB;SAC/B,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG;;;;;KAKZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACjF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/lib/__tests__/formal-verifier-arithmetic.test.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Arithmetic Verification Tests — safeEvalArithmetic, classification, and checkArithmeticCorrectness.
+ *
+ * Tests ported from Aria's safe_eval (aria/domains/math_verify/primitives.py)
+ * plus classification and integration tests for the 8th formal check type.
+ */
+export {};