tryassay 0.11.1 → 0.12.1

package/dist/lib/formal-verifier.js

@@ -0,0 +1,481 @@
+/**
+ * Formal Verifier — Deterministic claim verification that can't hallucinate.
+ *
+ * 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.
+ */
+// ── Preprocessing ────────────────────────────────────────────
+function preprocessCode(code) {
+    let result = code;
+    result = result.replace(/\/\/.*$/gm, '');
+    result = result.replace(/#.*$/gm, match => {
+        if (match.startsWith('#!') || match.startsWith('#type:'))
+            return match;
+        return '';
+    });
+    result = result.replace(/\/\*[\s\S]*?\*\//g, match => match.replace(/[^\n]/g, ' '));
+    result = result.replace(/"""[\s\S]*?"""/g, '"__STR__"');
+    result = result.replace(/'''[\s\S]*?'''/g, "'__STR__'");
+    result = result.replace(/"(?:[^"\\]|\\.)*"/g, '"__STR__"');
+    result = result.replace(/'(?:[^'\\]|\\.)*'/g, "'__STR__'");
+    result = result.replace(/`(?:[^`\\]|\\.)*`/g, '`__STR__`');
+    return result;
+}
+// ── Claim Classification ─────────────────────────────────────
+function classifyClaim(claim) {
+    const text = `${claim.description} ${claim.assertion}`.toLowerCase();
+    const originalText = `${claim.description} ${claim.assertion}`;
+    const funcExistsMatch = originalText.match(/(?:function|method|class|constructor)\s+['"`]?(\w+)['"`]?\s+(?:exists?|is\s+defined|is\s+declared|should\s+exist)/i);
+    if (funcExistsMatch) {
+        return { claim, formallyVerifiable: true, checkType: 'function_exists', extractedTarget: funcExistsMatch[1] };
+    }
+    const funcDefMatch = originalText.match(/(?:defines?|has|contains?|implements?|provides?|declares?)\s+(?:a\s+)?(?:function|method|class)\s+(?:named\s+|called\s+)?['"`]?(\w+)['"`]?/i);
+    if (funcDefMatch) {
+        return { claim, formallyVerifiable: true, checkType: 'function_exists', extractedTarget: funcDefMatch[1] };
+    }
+    const funcNameMatch = originalText.match(/(?:Function|Method|Class)\s+['"`]?(\w+)['"`]?\s+(?:exists?|is\s+(?:defined|declared|callable))/i);
+    if (funcNameMatch) {
+        return { claim, formallyVerifiable: true, checkType: 'function_exists', extractedTarget: funcNameMatch[1] };
+    }
+    const paramMatch = text.match(/(?:accepts?|takes?|receives?|has)\s+(\d+|two|three|four|five|six|seven|eight|nine|ten)\s+(?:parameters?|arguments?|inputs?)/);
+    if (paramMatch) {
+        const funcForParams = originalText.match(/(\w+)\s+(?:accepts?|takes?|receives?|has)\s+/i)
+            || originalText.match(/(?:function|method)\s+['"`]?(\w+)['"`]?/i);
+        const funcName = funcForParams?.[1] || '';
+        const isCommonWord = /^(function|method|it|the|this|that|each|every|class)$/i.test(funcName);
+        return {
+            claim,
+            formallyVerifiable: true,
+            checkType: 'parameter_check',
+            extractedTarget: `${isCommonWord ? '' : funcName}:${paramMatch[1]}`,
+        };
+    }
+    if (/(?:parameter|argument)\s+['"`]?(\w+)['"`]?\s+(?:is|of\s+type)/i.test(text)) {
+        return { claim, formallyVerifiable: true, checkType: 'parameter_check' };
+    }
+    if (claim.category === 'error-handling' &&
+        /(?:handles?\s+(?:errors?|exceptions?|failures?)|try[\s-]catch|error\s+handling|catches?\s+(?:errors?|exceptions?)|wraps?\s+in\s+try)/i.test(text)) {
+        return { claim, formallyVerifiable: true, checkType: 'error_handling' };
+    }
+    if (/(?:null|undefined|nil|none)\s+(?:check|guard|validation|handling|safety)/i.test(text) ||
+        /(?:checks?\s+(?:for\s+)?(?:null|undefined|nil|none))|(?:handles?\s+(?:null|undefined|nil|none))/i.test(text) ||
+        /(?:validates?\s+(?:that\s+)?(?:input|parameter|argument)\s+(?:is\s+not\s+)?(?:null|undefined|nil|none))/i.test(text)) {
+        return { claim, formallyVerifiable: true, checkType: 'null_check' };
+    }
+    if (claim.category === 'type-safety' &&
+        /(?:type\s+annot|typed\s+(?:as|return)|return\s+type|type-safe|strongly\s+typed)/i.test(text)) {
+        return { claim, formallyVerifiable: true, checkType: 'type_annotation' };
+    }
+    if (claim.category === 'security' &&
+        /(?:sql\s+injection|parameterized\s+quer|prepared\s+statement|sql\s+sanitiz|query\s+parameteriz)/i.test(text)) {
+        return { claim, formallyVerifiable: true, checkType: 'sql_parameterized' };
+    }
+    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' };
+    }
+    return { claim, formallyVerifiable: false };
+}
+// ── Structural Verifiers ─────────────────────────────────────
+function checkFunctionExists(code, name, language) {
+    const clean = preprocessCode(code);
+    const patterns = [];
+    if (['typescript', 'javascript', 'ts', 'js', 'tsx', 'jsx'].includes(language)) {
+        patterns.push(new RegExp(`function\\s+${name}\\s*[(<]`), new RegExp(`(?:const|let|var)\\s+${name}\\s*=\\s*(?:async\\s+)?(?:\\([^)]*\\)|\\w+)\\s*=>`), new RegExp(`(?:const|let|var)\\s+${name}\\s*=\\s*function`), new RegExp(`(?:class)\\s+${name}\\s*[{<]`), new RegExp(`(?:async\\s+)?${name}\\s*\\([^)]*\\)\\s*[:{]`));
+    }
+    else if (['python', 'py'].includes(language)) {
+        patterns.push(new RegExp(`def\\s+${name}\\s*\\(`), new RegExp(`class\\s+${name}\\s*[:(]`), new RegExp(`async\\s+def\\s+${name}\\s*\\(`));
+    }
+    else if (['go', 'golang'].includes(language)) {
+        patterns.push(new RegExp(`func\\s+${name}\\s*\\(`), new RegExp(`func\\s+\\([^)]+\\)\\s+${name}\\s*\\(`));
+    }
+    else if (['java', 'kotlin', 'scala'].includes(language)) {
+        patterns.push(new RegExp(`(?:public|private|protected|static|abstract|final|\\s)+\\s+\\w+\\s+${name}\\s*\\(`), new RegExp(`class\\s+${name}\\s*[{<(]`), new RegExp(`fun\\s+${name}\\s*\\(`), new RegExp(`def\\s+${name}\\s*[:(\\[]`));
+    }
+    else if (['rust', 'rs'].includes(language)) {
+        patterns.push(new RegExp(`fn\\s+${name}\\s*[(<]`), new RegExp(`struct\\s+${name}\\s*[{<]`), new RegExp(`impl\\s+${name}\\s*[{<]`));
+    }
+    else if (['c', 'cpp', 'c++', 'cxx'].includes(language)) {
+        patterns.push(new RegExp(`\\w+\\s+${name}\\s*\\(`), new RegExp(`class\\s+${name}\\s*[{:]`));
+    }
+    else {
+        patterns.push(new RegExp(`(?:function|def|func|fn)\\s+${name}\\s*[(<]`), new RegExp(`(?:class|struct|impl)\\s+${name}\\s*[{<(:]`), new RegExp(`(?:const|let|var)\\s+${name}\\s*=`));
+    }
+    const found = patterns.some(p => p.test(clean));
+    return {
+        claimId: '',
+        checkType: 'function_exists',
+        verdict: found ? 'PASS' : 'FAIL',
+        evidence: found
+            ? `Declaration of '${name}' found in source code`
+            : `No declaration of '${name}' found in source code`,
+        confidence: 1,
+    };
+}
+function checkErrorHandling(code, language) {
+    const clean = preprocessCode(code);
+    let hasErrorHandling = false;
+    let evidence = '';
+    if (['typescript', 'javascript', 'ts', 'js', 'tsx', 'jsx'].includes(language)) {
+        const tryCatch = /try\s*\{/.test(clean);
+        const catchBlock = /\}\s*catch\s*\(/.test(clean);
+        const dotCatch = /\.catch\s*\(/.test(clean);
+        const onError = /\.on\s*\(\s*['"`]error['"`]/.test(clean);
+        hasErrorHandling = (tryCatch && catchBlock) || dotCatch || onError;
+        if (hasErrorHandling) {
+            const mechanisms = [];
+            if (tryCatch && catchBlock)
+                mechanisms.push('try/catch block');
+            if (dotCatch)
+                mechanisms.push('.catch() handler');
+            if (onError)
+                mechanisms.push('error event listener');
+            evidence = `Error handling found: ${mechanisms.join(', ')}`;
+        }
+    }
+    else if (['python', 'py'].includes(language)) {
+        hasErrorHandling = /try\s*:/.test(clean) && /except\s/.test(clean);
+        if (hasErrorHandling)
+            evidence = 'Error handling found: try/except block';
+    }
+    else if (['go', 'golang'].includes(language)) {
+        hasErrorHandling = /if\s+err\s*!=\s*nil/.test(clean);
+        if (hasErrorHandling)
+            evidence = 'Error handling found: if err != nil check';
+    }
+    else if (['java', 'kotlin', 'scala'].includes(language)) {
+        hasErrorHandling = /try\s*\{/.test(clean) && /catch\s*\(/.test(clean);
+        if (hasErrorHandling)
+            evidence = 'Error handling found: try/catch block';
+    }
+    else if (['rust', 'rs'].includes(language)) {
+        hasErrorHandling = /\?\s*;/.test(clean) || /\.unwrap_or/.test(clean) || /match\s+.*\{[^}]*Err/.test(clean);
+        if (hasErrorHandling)
+            evidence = 'Error handling found: Result/? operator or match on Err';
+    }
+    else {
+        hasErrorHandling = /try\s*[{:]/.test(clean) && /catch|except|rescue/.test(clean);
+        if (hasErrorHandling)
+            evidence = 'Error handling found: try/catch pattern';
+    }
+    return {
+        claimId: '',
+        checkType: 'error_handling',
+        verdict: hasErrorHandling ? 'PASS' : 'FAIL',
+        evidence: hasErrorHandling ? evidence : 'No error handling patterns found in source code',
+        confidence: 1,
+    };
+}
+function checkNullHandling(code, language) {
+    const clean = preprocessCode(code);
+    let hasNullCheck = false;
+    let evidence = '';
+    if (['typescript', 'javascript', 'ts', 'js', 'tsx', 'jsx'].includes(language)) {
+        const patterns = [
+            /!==?\s*(?:null|undefined)/.test(clean),
+            /===?\s*(?:null|undefined)/.test(clean),
+            /typeof\s+\w+\s*[!=]==?\s*['"`]undefined['"`]/.test(clean),
+            /\w+\s*\?\.\s*\w+/.test(clean),
+            /\?\?\s/.test(clean),
+            /if\s*\(\s*!?\s*\w+\s*\)/.test(clean),
+        ];
+        hasNullCheck = patterns.some(Boolean);
+        if (hasNullCheck) {
+            const mechanisms = [];
+            if (patterns[0] || patterns[1])
+                mechanisms.push('null/undefined comparison');
+            if (patterns[2])
+                mechanisms.push('typeof check');
+            if (patterns[3])
+                mechanisms.push('optional chaining (?.)');
+            if (patterns[4])
+                mechanisms.push('nullish coalescing (??)');
+            if (patterns[5])
+                mechanisms.push('truthy guard');
+            evidence = `Null handling found: ${mechanisms.join(', ')}`;
+        }
+    }
+    else if (['python', 'py'].includes(language)) {
+        hasNullCheck = /is\s+(?:not\s+)?None/.test(clean) || /if\s+(?:not\s+)?\w+\s*:/.test(clean);
+        if (hasNullCheck)
+            evidence = 'Null handling found: None check or truthy guard';
+    }
+    else if (['go', 'golang'].includes(language)) {
+        hasNullCheck = /!=\s*nil/.test(clean) || /==\s*nil/.test(clean);
+        if (hasNullCheck)
+            evidence = 'Null handling found: nil check';
+    }
+    else {
+        hasNullCheck = /(?:null|nil|None|undefined|NULL)\s*[!=]/.test(clean) || /[!=]\s*(?:null|nil|None|undefined|NULL)/.test(clean);
+        if (hasNullCheck)
+            evidence = 'Null handling found: null comparison pattern';
+    }
+    return {
+        claimId: '',
+        checkType: 'null_check',
+        verdict: hasNullCheck ? 'PASS' : 'FAIL',
+        evidence: hasNullCheck ? evidence : 'No null/undefined handling patterns found in source code',
+        confidence: 1,
+    };
+}
+function checkTypeAnnotations(code, language) {
+    const clean = preprocessCode(code);
+    let hasTypes = false;
+    let evidence = '';
+    if (['typescript', 'ts', 'tsx'].includes(language)) {
+        const paramTypes = (clean.match(/:\s*\w+[\w<>\[\]|&\s,]*/g) || []).length;
+        const interfaceOrType = /(?:interface|type)\s+\w+/.test(clean);
+        const genericTypes = /<\w+>/.test(clean);
+        hasTypes = paramTypes > 0 || interfaceOrType;
+        if (hasTypes) {
+            const details = [];
+            if (paramTypes > 0)
+                details.push(`${paramTypes} type annotation(s)`);
+            if (interfaceOrType)
+                details.push('interface/type definitions');
+            if (genericTypes)
+                details.push('generic types');
+            evidence = `Type safety found: ${details.join(', ')}`;
+        }
+    }
+    else if (['python', 'py'].includes(language)) {
+        const typeHints = (clean.match(/:\s*(?:int|str|float|bool|list|dict|tuple|set|Optional|Union|List|Dict|Tuple|Set|Any)/gi) || []).length;
+        const returnType = /\)\s*->\s*\w+/.test(clean);
+        hasTypes = typeHints > 0 || returnType;
+        if (hasTypes) {
+            const details = [];
+            if (typeHints > 0)
+                details.push(`${typeHints} type hint(s)`);
+            if (returnType)
+                details.push('return type annotation');
+            evidence = `Type safety found: ${details.join(', ')}`;
+        }
+    }
+    else {
+        hasTypes = /:\s*\w+/.test(clean) || /\w+\s+\w+\s*[=(]/.test(clean);
+        evidence = hasTypes ? 'Type annotations detected' : 'No type annotations found';
+    }
+    return {
+        claimId: '',
+        checkType: 'type_annotation',
+        verdict: hasTypes ? 'PASS' : 'FAIL',
+        evidence: hasTypes ? evidence : 'No type annotations found in source code',
+        confidence: 1,
+    };
+}
+function checkParameterCount(code, target, language) {
+    const [funcName, countStr] = target.split(':');
+    const wordToNum = {
+        one: 1, two: 2, three: 3, four: 4, five: 5,
+        six: 6, seven: 7, eight: 8, nine: 9, ten: 10,
+    };
+    const expectedCount = wordToNum[countStr] ?? parseInt(countStr, 10);
+    if (isNaN(expectedCount)) {
+        return {
+            claimId: '',
+            checkType: 'parameter_check',
+            verdict: 'PASS',
+            evidence: `Could not parse expected parameter count from '${countStr}'`,
+            confidence: 1,
+        };
+    }
+    const clean = preprocessCode(code);
+    let paramRegex;
+    if (funcName) {
+        if (['python', 'py'].includes(language)) {
+            paramRegex = new RegExp(`def\\s+${funcName}\\s*\\(([^)]*)\\)`);
+        }
+        else if (['go', 'golang'].includes(language)) {
+            paramRegex = new RegExp(`func\\s+(?:\\([^)]*\\)\\s+)?${funcName}\\s*\\(([^)]*)\\)`);
+        }
+        else {
+            paramRegex = new RegExp(`(?:function\\s+${funcName}|(?:const|let|var)\\s+${funcName}\\s*=\\s*(?:async\\s+)?(?:function)?\\s*)\\s*\\(([^)]*)\\)`);
+            if (!paramRegex.test(clean)) {
+                paramRegex = new RegExp(`(?:async\\s+)?${funcName}\\s*\\(([^)]*)\\)`);
+            }
+        }
+    }
+    else {
+        paramRegex = /(?:function|def|func|fn)\s+\w+\s*\(([^)]*)\)/;
+    }
+    const match = clean.match(paramRegex);
+    if (!match) {
+        return {
+            claimId: '',
+            checkType: 'parameter_check',
+            verdict: 'FAIL',
+            evidence: funcName
+                ? `Function '${funcName}' not found — cannot verify parameter count`
+                : 'No function declaration found',
+            confidence: 1,
+        };
+    }
+    const paramStr = match[1].trim();
+    const actualCount = paramStr === '' ? 0 : paramStr.split(',').length;
+    return {
+        claimId: '',
+        checkType: 'parameter_check',
+        verdict: actualCount === expectedCount ? 'PASS' : 'FAIL',
+        evidence: actualCount === expectedCount
+            ? `Function${funcName ? ` '${funcName}'` : ''} has ${actualCount} parameter(s) as claimed`
+            : `Function${funcName ? ` '${funcName}'` : ''} has ${actualCount} parameter(s), but claim says ${expectedCount}`,
+        confidence: 1,
+    };
+}
+function checkSQLParameterized(code, language) {
+    const codeForSQL = code;
+    const clean = preprocessCode(code);
+    const hasSQLCode = /(?:SELECT|INSERT|UPDATE|DELETE|CREATE|DROP|ALTER)\s/i.test(codeForSQL) ||
+        /\.(?:query|execute|exec|prepare|raw)\s*\(/.test(clean) ||
+        /(?:sql|knex|prisma|sequelize|typeorm|drizzle)/i.test(clean);
+    if (!hasSQLCode) {
+        return {
+            claimId: '',
+            checkType: 'sql_parameterized',
+            verdict: 'PASS',
+            evidence: 'No SQL operations found in source code — not applicable',
+            confidence: 1,
+        };
+    }
+    const stringConcat = /(?:SELECT|INSERT|UPDATE|DELETE)[^'"]*\+\s*\w+/i.test(codeForSQL) ||
+        /`[^`]*(?:SELECT|INSERT|UPDATE|DELETE)[^`]*\$\{(?![\d])/i.test(codeForSQL) ||
+        /(?:SELECT|INSERT|UPDATE|DELETE)[^'"]*%s/i.test(codeForSQL) ||
+        /(?:SELECT|INSERT|UPDATE|DELETE)[^'"]*\.format\s*\(/i.test(codeForSQL) ||
+        /f['"][^'"]*(?:SELECT|INSERT|UPDATE|DELETE)/i.test(codeForSQL);
+    const parameterized = /\?\s*[,\)']/.test(codeForSQL) ||
+        /\$\d+/.test(codeForSQL) ||
+        /%\(\w+\)s/.test(codeForSQL) ||
+        /:\w+/.test(codeForSQL) ||
+        /\.prepare\s*\(/.test(clean) ||
+        /(?:prisma|drizzle|typeorm|sequelize)\./i.test(clean) ||
+        /\.query\s*\([^,]+,\s*\[/.test(clean);
+    const safe = parameterized && !stringConcat;
+    return {
+        claimId: '',
+        checkType: 'sql_parameterized',
+        verdict: safe ? 'PASS' : 'FAIL',
+        evidence: safe
+            ? 'SQL queries use parameterized queries or ORM (no string concatenation detected)'
+            : stringConcat
+                ? 'SQL string concatenation detected — potential SQL injection risk'
+                : 'SQL operations found but no parameterization pattern detected',
+        confidence: 1,
+    };
+}
+function checkInputValidation(code, language) {
+    const clean = preprocessCode(code);
+    const patterns = [
+        /(?:zod|joi|yup|ajv|superstruct|valibot)\./i.test(clean),
+        /\.parse\s*\(/.test(clean),
+        /\.validate\s*\(/.test(clean),
+        /(?:isValid|isEmail|isURL|isNumeric|isAlpha)\s*\(/.test(clean),
+        /if\s*\(\s*!?\s*(?:typeof|instanceof)\s/.test(clean),
+        /if\s*\(\s*!?\s*\w+\s*\|\|\s*typeof/.test(clean),
+        /throw\s+new\s+(?:Error|TypeError|ValidationError|BadRequest)/i.test(clean),
+        /(?:required|minLength|maxLength|min|max|pattern|regex)\s*[:(=]/i.test(clean),
+    ];
+    const hasValidation = patterns.some(Boolean);
+    const mechanisms = [];
+    if (patterns[0])
+        mechanisms.push('validation library (zod/joi/yup)');
+    if (patterns[1])
+        mechanisms.push('.parse() call');
+    if (patterns[2])
+        mechanisms.push('.validate() call');
+    if (patterns[3])
+        mechanisms.push('validator function');
+    if (patterns[4])
+        mechanisms.push('type guard');
+    if (patterns[6])
+        mechanisms.push('validation error throwing');
+    if (patterns[7])
+        mechanisms.push('constraint definitions');
+    return {
+        claimId: '',
+        checkType: 'input_validation',
+        verdict: hasValidation ? 'PASS' : 'FAIL',
+        evidence: hasValidation
+            ? `Input validation found: ${mechanisms.join(', ')}`
+            : 'No input validation patterns found in source code',
+        confidence: 1,
+    };
+}
+// ── Main Entry Point ─────────────────────────────────────────
+export function runFormalVerification(code, language, claims, llmVerifications) {
+    const classified = claims.map(c => classifyClaim(c));
+    const formalResults = new Map();
+    let disagreements = 0;
+    let formalOverrides = 0;
+    for (const c of classified) {
+        if (!c.formallyVerifiable || !c.checkType)
+            continue;
+        let result;
+        switch (c.checkType) {
+            case 'function_exists':
+                result = checkFunctionExists(code, c.extractedTarget || '', language);
+                break;
+            case 'parameter_check':
+                result = checkParameterCount(code, c.extractedTarget || '', language);
+                break;
+            case 'error_handling':
+                result = checkErrorHandling(code, language);
+                break;
+            case 'null_check':
+                result = checkNullHandling(code, language);
+                break;
+            case 'type_annotation':
+                result = checkTypeAnnotations(code, language);
+                break;
+            case 'sql_parameterized':
+                result = checkSQLParameterized(code, language);
+                break;
+            case 'input_validation':
+                result = checkInputValidation(code, language);
+                break;
+            default:
+                continue;
+        }
+        result.claimId = c.claim.id;
+        formalResults.set(c.claim.id, result);
+    }
+    const merged = llmVerifications.map(llmV => {
+        const formal = formalResults.get(llmV.claimId);
+        if (!formal) {
+            return { ...llmV, verification_method: 'llm' };
+        }
+        const llmPassed = llmV.verdict === 'PASS';
+        const formalPassed = formal.verdict === 'PASS';
+        if (llmPassed === formalPassed) {
+            return {
+                ...llmV,
+                verification_method: 'formal',
+                reasoning: `[FORMALLY VERIFIED] ${formal.evidence}. LLM agrees: ${llmV.reasoning}`,
+            };
+        }
+        disagreements++;
+        formalOverrides++;
+        return {
+            ...llmV,
+            verdict: formal.verdict,
+            verification_method: 'formal',
+            reasoning: `[FORMAL OVERRIDE] ${formal.evidence}. LLM verdict was ${llmV.verdict}: ${llmV.reasoning}`,
+            evidence: formal.evidence,
+            formal_override: {
+                original_llm_verdict: llmV.verdict,
+                formal_verdict: formal.verdict,
+                reason: formal.evidence,
+            },
+        };
+    });
+    const formallyVerified = merged.filter(v => v.verification_method === 'formal').length;
+    const llmVerified = merged.filter(v => v.verification_method === 'llm').length;
+    return {
+        verifications: merged,
+        stats: {
+            formally_verified: formallyVerified,
+            llm_verified: llmVerified,
+            disagreements,
+            formal_overrides: formalOverrides,
+        },
+    };
+}
+//# sourceMappingURL=formal-verifier.js.map

package/dist/lib/formal-verifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formal-verifier.js","sourceRoot":"","sources":["../../src/lib/formal-verifier.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AA0DH,gEAAgE;AAEhE,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,MAAM,GAAG,IAAI,CAAC;IAClB,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACzC,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE;QACxC,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QACvE,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC,CAAC;IACH,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,mBAAmB,EAAE,KAAK,CAAC,EAAE,CACnD,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,CAC7B,CAAC;IACF,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,iBAAiB,EAAE,WAAW,CAAC,CAAC;IACxD,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,iBAAiB,EAAE,WAAW,CAAC,CAAC;IACxD,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,oBAAoB,EAAE,WAAW,CAAC,CAAC;IAC3D,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,oBAAoB,EAAE,WAAW,CAAC,CAAC;IAC3D,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,oBAAoB,EAAE,WAAW,CAAC,CAAC;IAC3D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,gEAAgE;AAEhE,SAAS,aAAa,CAAC,KAAmB;IACxC,MAAM,IAAI,GAAG,GAAG,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC,WAAW,EAAE,CAAC;IACrE,MAAM,YAAY,GAAG,GAAG,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;IAE/D,MAAM,eAAe,GAAG,YAAY,CAAC,KAAK,CACxC,oHAAoH,CACrH,CAAC;IACF,IAAI,eAAe,EAAE,CAAC;QACpB,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,SAAS,EAAE,iBAAiB,EAAE,eAAe,EAAE,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;IAChH,CAAC;IAED,MAAM,YAAY,GAAG,YAAY,CAAC,KAAK,CACrC,6IAA6I,CAC9I,CAAC;IACF,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,SAAS,EAAE,iBAAiB,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7G,CAAC;IAED,MAAM,aAAa,GAAG,YAAY,CAAC,KAAK,CACtC,iGAAiG,CAClG,CAAC;IACF,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,SAAS,EAAE,iBAAiB,EAAE,eAAe,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9G,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAC3B,6HAA6H,CAC9H,CAAC;IACF,IAAI,UAAU,EAAE,CAAC;QACf,MAAM,aAAa,GAAG,YAAY,CAAC,KAAK,CAAC,+CAA+C,CAAC;eACpF,YAAY,CAAC,KAAK,CAAC,0CAA0C,CAAC,CAAC;QACpE,MAAM,QAAQ,GAAG,aAAa,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1C,MAAM,YAAY,GAAG,wDAAwD,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC7F,OAAO;YACL,KAAK;YACL,kBAAkB,EAAE,IAAI;YACxB,SAAS,EAAE,iBAAiB;YAC5B,eAAe,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE;SACpE,CAAC;IACJ,CAAC;IAED,IAAI,gEAAgE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAChF,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC;IAC3E,CAAC;IAED,IACE,KAAK,CAAC,QAAQ,KAAK,gBAAgB;QACnC,uIAAuI,CAAC,IAAI,CAAC,IAAI,CAAC,EAClJ,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,SAAS,EAAE,gBAAgB,EAAE,CAAC;IAC1E,CAAC;IAED,IACE,2EAA2E,CAAC,IAAI,CAAC,IAAI,CAAC;QACtF,kGAAkG,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7G,0GAA0G,CAAC,IAAI,CAAC,IAAI,CAAC,EACrH,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC;IACtE,CAAC;IAED,IACE,KAAK,CAAC,QAAQ,KAAK,aAAa;QAChC,kFAAkF,CAAC,IAAI,CAAC,IAAI,CAAC,EAC7F,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC;IAC3E,CAAC;IAED,IACE,KAAK,CAAC,QAAQ,KAAK,UAAU;QAC7B,kGAAkG,CAAC,IAAI,CAAC,IAAI,CAAC,EAC7G,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,SAAS,EAAE,mBAAmB,EAAE,CAAC;IAC7E,CAAC;IAED,IACE,yGAAyG,CAAC,IAAI,CAAC,IAAI,CAAC,EACpH,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC;IAC5E,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC;AAC9C,CAAC;AAED,gEAAgE;AAEhE,SAAS,mBAAmB,CAAC,IAAY,EAAE,IAAY,EAAE,QAAgB;IACvE,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,IAAI,CAAC,YAAY,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9E,QAAQ,CAAC,IAAI,CACX,IAAI,MAAM,CAAC,eAAe,IAAI,UAAU,CAAC,EACzC,IAAI,MAAM,CAAC,wBAAwB,IAAI,mDAAmD,CAAC,EAC3F,IAAI,MAAM,CAAC,wBAAwB,IAAI,mBAAmB,CAAC,EAC3D,IAAI,MAAM,CAAC,gBAAgB,IAAI,UAAU,CAAC,EAC1C,IAAI,MAAM,CAAC,iBAAiB,IAAI,yBAAyB,CAAC,CAC3D,CAAC;IACJ,CAAC;SAAM,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,QAAQ,CAAC,IAAI,CACX,IAAI,MAAM,CAAC,UAAU,IAAI,SAAS,CAAC,EACnC,IAAI,MAAM,CAAC,YAAY,IAAI,UAAU,CAAC,EACtC,IAAI,MAAM,CAAC,mBAAmB,IAAI,SAAS,CAAC,CAC7C,CAAC;IACJ,CAAC;SAAM,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,QAAQ,CAAC,IAAI,CACX,IAAI,MAAM,CAAC,WAAW,IAAI,SAAS,CAAC,EACpC,IAAI,MAAM,CAAC,0BAA0B,IAAI,SAAS,CAAC,CACpD,CAAC;IACJ,CAAC;SAAM,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1D,QAAQ,CAAC,IAAI,CACX,IAAI,MAAM,CAAC,sEAAsE,IAAI,SAAS,CAAC,EAC/F,IAAI,MAAM,CAAC,YAAY,IAAI,WAAW,CAAC,EACvC,IAAI,MAAM,CAAC,UAAU,IAAI,SAAS,CAAC,EACnC,IAAI,MAAM,CAAC,UAAU,IAAI,aAAa,CAAC,CACxC,CAAC;IACJ,CAAC;SAAM,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7C,QAAQ,CAAC,IAAI,CACX,IAAI,MAAM,CAAC,SAAS,IAAI,UAAU,CAAC,EACnC,IAAI,MAAM,CAAC,aAAa,IAAI,UAAU,CAAC,EACvC,IAAI,MAAM,CAAC,WAAW,IAAI,UAAU,CAAC,CACtC,CAAC;IACJ,CAAC;SAAM,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzD,QAAQ,CAAC,IAAI,CACX,IAAI,MAAM,CAAC,WAAW,IAAI,SAAS,CAAC,EACpC,IAAI,MAAM,CAAC,YAAY,IAAI,UAAU,CAAC,CACvC,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,QAAQ,CAAC,IAAI,CACX,IAAI,MAAM,CAAC,+BAA+B,IAAI,UAAU,CAAC,EACzD,IAAI,MAAM,CAAC,4BAA4B,IAAI,YAAY,CAAC,EACxD,IAAI,MAAM,CAAC,wBAAwB,IAAI,OAAO,CAAC,CAChD,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAChD,OAAO;QACL,OAAO,EAAE,EAAE;QACX,SAAS,EAAE,iBAAiB;QAC5B,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QAChC,QAAQ,EAAE,KAAK;YACb,CAAC,CAAC,mBAAmB,IAAI,wBAAwB;YACjD,CAAC,CAAC,sBAAsB,IAAI,wBAAwB;QACtD,UAAU,EAAE,CAAC;KACd,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY,EAAE,QAAgB;IACxD,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,gBAAgB,GAAG,KAAK,CAAC;IAC7B,IAAI,QAAQ,GAAG,EAAE,CAAC;IAElB,IAAI,CAAC,YAAY,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9E,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,6BAA6B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1D,gBAAgB,GAAG,CAAC,QAAQ,IAAI,UAAU,CAAC,IAAI,QAAQ,IAAI,OAAO,CAAC;QACnE,IAAI,gBAAgB,EAAE,CAAC;YACrB,MAAM,UAAU,GAAa,EAAE,CAAC;YAChC,IAAI,QAAQ,IAAI,UAAU;gBAAE,UAAU,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YAC/D,IAAI,QAAQ;gBAAE,UAAU,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAClD,IAAI,OAAO;gBAAE,UAAU,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;YACrD,QAAQ,GAAG,yBAAyB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9D,CAAC;IACH,CAAC;SAAM,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,gBAAgB,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnE,IAAI,gBAAgB;YAAE,QAAQ,GAAG,wCAAwC,CAAC;IAC5E,CAAC;SAAM,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,gBAAgB,GAAG,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrD,IAAI,gBAAgB;YAAE,QAAQ,GAAG,2CAA2C,CAAC;IAC/E,CAAC;SAAM,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1D,gBAAgB,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtE,IAAI,gBAAgB;YAAE,QAAQ,GAAG,uCAAuC,CAAC;IAC3E,CAAC;SAAM,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7C,gBAAgB,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3G,IAAI,gBAAgB;YAAE,QAAQ,GAAG,yDAAyD,CAAC;IAC7F,CAAC;SAAM,CAAC;QACN,gBAAgB,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjF,IAAI,gBAAgB;YAAE,QAAQ,GAAG,yCAAyC,CAAC;IAC7E,CAAC;IAED,OAAO;QACL,OAAO,EAAE,EAAE;QACX,SAAS,EAAE,gBAAgB;QAC3B,OAAO,EAAE,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QAC3C,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,iDAAiD;QACzF,UAAU,EAAE,CAAC;KACd,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY,EAAE,QAAgB;IACvD,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,QAAQ,GAAG,EAAE,CAAC;IAElB,IAAI,CAAC,YAAY,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9E,MAAM,QAAQ,GAAG;YACf,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC;YACvC,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC;YACvC,8CAA8C,CAAC,IAAI,CAAC,KAAK,CAAC;YAC1D,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;YACpB,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC;SACtC,CAAC;QACF,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACtC,IAAI,YAAY,EAAE,CAAC;YACjB,MAAM,UAAU,GAAa,EAAE,CAAC;YAChC,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YAC7E,IAAI,QAAQ,CAAC,CAAC,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACjD,IAAI,QAAQ,CAAC,CAAC,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;YAC3D,IAAI,QAAQ,CAAC,CAAC,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;YAC5D,IAAI,QAAQ,CAAC,CAAC,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACjD,QAAQ,GAAG,wBAAwB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7D,CAAC;IACH,CAAC;SAAM,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,YAAY,GAAG,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3F,IAAI,YAAY;YAAE,QAAQ,GAAG,iDAAiD,CAAC;IACjF,CAAC;SAAM,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChE,IAAI,YAAY;YAAE,QAAQ,GAAG,gCAAgC,CAAC;IAChE,CAAC;SAAM,CAAC;QACN,YAAY,GAAG,yCAAyC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,yCAAyC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9H,IAAI,YAAY;YAAE,QAAQ,GAAG,8CAA8C,CAAC;IAC9E,CAAC;IAED,OAAO;QACL,OAAO,EAAE,EAAE;QACX,SAAS,EAAE,YAAY;QACvB,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QACvC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,0DAA0D;QAC9F,UAAU,EAAE,CAAC;KACd,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAY,EAAE,QAAgB;IAC1D,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,QAAQ,GAAG,EAAE,CAAC;IAElB,IAAI,CAAC,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnD,MAAM,UAAU,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,0BAA0B,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QAC1E,MAAM,eAAe,GAAG,0BAA0B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/D,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,QAAQ,GAAG,UAAU,GAAG,CAAC,IAAI,eAAe,CAAC;QAC7C,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,OAAO,GAAa,EAAE,CAAC;YAC7B,IAAI,UAAU,GAAG,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,GAAG,UAAU,qBAAqB,CAAC,CAAC;YACrE,IAAI,eAAe;gBAAE,OAAO,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;YAChE,IAAI,YAAY;gBAAE,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YAChD,QAAQ,GAAG,sBAAsB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,CAAC;IACH,CAAC;SAAM,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,MAAM,SAAS,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,yFAAyF,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QACxI,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,QAAQ,GAAG,SAAS,GAAG,CAAC,IAAI,UAAU,CAAC;QACvC,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,OAAO,GAAa,EAAE,CAAC;YAC7B,IAAI,SAAS,GAAG,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,GAAG,SAAS,eAAe,CAAC,CAAC;YAC7D,IAAI,UAAU;gBAAE,OAAO,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;YACvD,QAAQ,GAAG,sBAAsB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,CAAC;IACH,CAAC;SAAM,CAAC;QACN,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnE,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,2BAA2B,CAAC;IAClF,CAAC;IAED,OAAO;QACL,OAAO,EAAE,EAAE;QACX,SAAS,EAAE,iBAAiB;QAC5B,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QACnC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,0CAA0C;QAC1E,UAAU,EAAE,CAAC;KACd,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY,EAAE,MAAc,EAAE,QAAgB;IACzE,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC/C,MAAM,SAAS,GAA2B;QACxC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;QAC1C,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE;KAC7C,CAAC;IACF,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAEpE,IAAI,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;QACzB,OAAO;YACL,OAAO,EAAE,EAAE;YACX,SAAS,EAAE,iBAAiB;YAC5B,OAAO,EAAE,MAAM;YACf,QAAQ,EAAE,kDAAkD,QAAQ,GAAG;YACvE,UAAU,EAAE,CAAC;SACd,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,UAAkB,CAAC;IACvB,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxC,UAAU,GAAG,IAAI,MAAM,CAAC,UAAU,QAAQ,mBAAmB,CAAC,CAAC;QACjE,CAAC;aAAM,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC/C,UAAU,GAAG,IAAI,MAAM,CAAC,+BAA+B,QAAQ,mBAAmB,CAAC,CAAC;QACtF,CAAC;aAAM,CAAC;YACN,UAAU,GAAG,IAAI,MAAM,CAAC,kBAAkB,QAAQ,yBAAyB,QAAQ,4DAA4D,CAAC,CAAC;YACjJ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,UAAU,GAAG,IAAI,MAAM,CAAC,iBAAiB,QAAQ,mBAAmB,CAAC,CAAC;YACxE,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,UAAU,GAAG,8CAA8C,CAAC;IAC9D,CAAC;IAED,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;YACL,OAAO,EAAE,EAAE;YACX,SAAS,EAAE,iBAAiB;YAC5B,OAAO,EAAE,MAAM;YACf,QAAQ,EAAE,QAAQ;gBAChB,CAAC,CAAC,aAAa,QAAQ,6CAA6C;gBACpE,CAAC,CAAC,+BAA+B;YACnC,UAAU,EAAE,CAAC;SACd,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACjC,MAAM,WAAW,GAAG,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IAErE,OAAO;QACL,OAAO,EAAE,EAAE;QACX,SAAS,EAAE,iBAAiB;QAC5B,OAAO,EAAE,WAAW,KAAK,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QACxD,QAAQ,EAAE,WAAW,KAAK,aAAa;YACrC,CAAC,CAAC,WAAW,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,WAAW,0BAA0B;YAC1F,CAAC,CAAC,WAAW,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,WAAW,iCAAiC,aAAa,EAAE;QAClH,UAAU,EAAE,CAAC;KACd,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAY,EAAE,QAAgB;IAC3D,MAAM,UAAU,GAAG,IAAI,CAAC;IACxB,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAEnC,MAAM,UAAU,GAAG,sDAAsD,CAAC,IAAI,CAAC,UAAU,CAAC;QACxF,2CAA2C,CAAC,IAAI,CAAC,KAAK,CAAC;QACvD,gDAAgD,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAE/D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,OAAO,EAAE,EAAE;YACX,SAAS,EAAE,mBAAmB;YAC9B,OAAO,EAAE,MAAM;YACf,QAAQ,EAAE,yDAAyD;YACnE,UAAU,EAAE,CAAC;SACd,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,gDAAgD,CAAC,IAAI,CAAC,UAAU,CAAC;QACpF,yDAAyD,CAAC,IAAI,CAAC,UAAU,CAAC;QAC1E,0CAA0C,CAAC,IAAI,CAAC,UAAU,CAAC;QAC3D,qDAAqD,CAAC,IAAI,CAAC,UAAU,CAAC;QACtE,6CAA6C,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAEjE,MAAM,aAAa,GAAG,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC;QAClD,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC;QACxB,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC;QACvB,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC;QAC5B,yCAAyC,CAAC,IAAI,CAAC,KAAK,CAAC;QACrD,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAExC,MAAM,IAAI,GAAG,aAAa,IAAI,CAAC,YAAY,CAAC;IAE5C,OAAO;QACL,OAAO,EAAE,EAAE;QACX,SAAS,EAAE,mBAAmB;QAC9B,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QAC/B,QAAQ,EAAE,IAAI;YACZ,CAAC,CAAC,iFAAiF;YACnF,CAAC,CAAC,YAAY;gBACZ,CAAC,CAAC,kEAAkE;gBACpE,CAAC,CAAC,+DAA+D;QACrE,UAAU,EAAE,CAAC;KACd,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAY,EAAE,QAAgB;IAC1D,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAEnC,MAAM,QAAQ,GAAG;QACf,4CAA4C,CAAC,IAAI,CAAC,KAAK,CAAC;QACxD,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC;QAC1B,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;QAC7B,kDAAkD,CAAC,IAAI,CAAC,KAAK,CAAC;QAC9D,wCAAwC,CAAC,IAAI,CAAC,KAAK,CAAC;QACpD,oCAAoC,CAAC,IAAI,CAAC,KAAK,CAAC;QAChD,+DAA+D,CAAC,IAAI,CAAC,KAAK,CAAC;QAC3E,iEAAiE,CAAC,IAAI,CAAC,KAAK,CAAC;KAC9E,CAAC;IAEF,MAAM,aAAa,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7C,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,IAAI,QAAQ,CAAC,CAAC,CAAC;QAAE,UAAU,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IACrE,IAAI,QAAQ,CAAC,CAAC,CAAC;QAAE,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAClD,IAAI,QAAQ,CAAC,CAAC,CAAC;QAAE,UAAU,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACrD,IAAI,QAAQ,CAAC,CAAC,CAAC;QAAE,UAAU,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACvD,IAAI,QAAQ,CAAC,CAAC,CAAC;QAAE,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC/C,IAAI,QAAQ,CAAC,CAAC,CAAC;QAAE,UAAU,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IAC9D,IAAI,QAAQ,CAAC,CAAC,CAAC;QAAE,UAAU,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IAE3D,OAAO;QACL,OAAO,EAAE,EAAE;QACX,SAAS,EAAE,kBAAkB;QAC7B,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QACxC,QAAQ,EAAE,aAAa;YACrB,CAAC,CAAC,2BAA2B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACpD,CAAC,CAAC,mDAAmD;QACvD,UAAU,EAAE,CAAC;KACd,CAAC;AACJ,CAAC;AAED,gEAAgE;AAEhE,MAAM,UAAU,qBAAqB,CACnC,IAAY,EACZ,QAAgB,EAChB,MAAsB,EACtB,gBAAuC;IAKvC,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,MAAM,aAAa,GAAG,IAAI,GAAG,EAA6B,CAAC;IAC3D,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,eAAe,GAAG,CAAC,CAAC;IAExB,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,CAAC,kBAAkB,IAAI,CAAC,CAAC,CAAC,SAAS;YAAE,SAAS;QAEpD,IAAI,MAAyB,CAAC;QAC9B,QAAQ,CAAC,CAAC,SAAS,EAAE,CAAC;YACpB,KAAK,iBAAiB;gBACpB,MAAM,GAAG,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,eAAe,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAC;gBACtE,MAAM;YACR,KAAK,iBAAiB;gBACpB,MAAM,GAAG,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,eAAe,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAC;gBACtE,MAAM;YACR,KAAK,gBAAgB;gBACnB,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,YAAY;gBACf,MAAM,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC3C,MAAM;YACR,KAAK,iBAAiB;gBACpB,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC9C,MAAM;YACR,KAAK,mBAAmB;gBACtB,MAAM,GAAG,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC/C,MAAM;YACR,KAAK,kBAAkB;gBACrB,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC9C,MAAM;YACR;gBACE,SAAS;QACb,CAAC;QAED,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IAED,MAAM,MAAM,GAA0B,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;QAChE,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAE/C,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,EAAE,GAAG,IAAI,EAAE,mBAAmB,EAAE,KAAc,EAAE,CAAC;QAC1D,CAAC;QAED,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,KAAK,MAAM,CAAC;QAC1C,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC;QAE/C,IAAI,SAAS,KAAK,YAAY,EAAE,CAAC;YAC/B,OAAO;gBACL,GAAG,IAAI;gBACP,mBAAmB,EAAE,QAAiB;gBACtC,SAAS,EAAE,uBAAuB,MAAM,CAAC,QAAQ,iBAAiB,IAAI,CAAC,SAAS,EAAE;aACnF,CAAC;QACJ,CAAC;QAED,aAAa,EAAE,CAAC;QAChB,eAAe,EAAE,CAAC;QAElB,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,mBAAmB,EAAE,QAAiB;YACtC,SAAS,EAAE,qBAAqB,MAAM,CAAC,QAAQ,qBAAqB,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,SAAS,EAAE;YACrG,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,eAAe,EAAE;gBACf,oBAAoB,EAAE,IAAI,CAAC,OAAO;gBAClC,cAAc,EAAE,MAAM,CAAC,OAAO;gBAC9B,MAAM,EAAE,MAAM,CAAC,QAAQ;aACxB;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;IACvF,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,KAAK,KAAK,CAAC,CAAC,MAAM,CAAC;IAE/E,OAAO;QACL,aAAa,EAAE,MAAM;QACrB,KAAK,EAAE;YACL,iBAAiB,EAAE,gBAAgB;YACnC,YAAY,EAAE,WAAW;YACzB,aAAa;YACb,gBAAgB,EAAE,eAAe;SAClC;KACF,CAAC;AACJ,CAAC"}

package/dist/sdk/forward-verify.d.ts

@@ -0,0 +1,20 @@
+import type { CodeClaim, ClaimVerification, FormalStats, VerificationResult } from './types.js';
+export declare function extractCodeClaims(code: string, language: string, context?: string): Promise<{
+    claims: CodeClaim[];
+    inputTokens: number;
+    outputTokens: number;
+}>;
+export declare function verifyCodeClaims(code: string, language: string, claims: CodeClaim[]): Promise<{
+    verifications: ClaimVerification[];
+    inputTokens: number;
+    outputTokens: number;
+}>;
+export declare function applyFormalVerification(code: string, language: string, claims: CodeClaim[], llmVerifications: ClaimVerification[]): {
+    verifications: ClaimVerification[];
+    formalStats: FormalStats;
+};
+export declare function forwardVerify(code: string, language: string, context?: string): Promise<{
+    result: VerificationResult;
+    inputTokens: number;
+    outputTokens: number;
+}>;