hex-audit 0.6.2 → 0.7.0

package/dist/analysis/code-model.js

@@ -0,0 +1,529 @@
+import * as parser from '@solidity-parser/parser';
+const SKIP_KEYS = new Set(['loc', 'range', 'comments', 'tokens']);
+function isNode(v) {
+    return typeof v === 'object' && v !== null && typeof v.type === 'string';
+}
+/** Depth-first visit; `visit` returns false to stop descending into a node. */
+function walk(node, visit) {
+    if (Array.isArray(node)) {
+        for (const item of node)
+            walk(item, visit);
+        return;
+    }
+    if (!isNode(node))
+        return;
+    if (visit(node) === false)
+        return;
+    for (const [k, v] of Object.entries(node)) {
+        if (SKIP_KEYS.has(k))
+            continue;
+        if (Array.isArray(v) || isNode(v))
+            walk(v, visit);
+    }
+}
+export function typeToString(t) {
+    if (!isNode(t))
+        return 'unknown';
+    switch (t.type) {
+        case 'ElementaryTypeName':
+            return String(t.name ?? 'unknown');
+        case 'UserDefinedTypeName':
+            return String(t.namePath ?? 'unknown');
+        case 'ArrayTypeName': {
+            const len = t.length;
+            const lenStr = isNode(len) && len.type === 'NumberLiteral' ? String(len.number) : '';
+            return `${typeToString(t.baseTypeName)}[${lenStr}]`;
+        }
+        case 'Mapping':
+            return `mapping(${typeToString(t.keyType)}=>${typeToString(t.valueType)})`;
+        case 'FunctionTypeName':
+            return 'function';
+        default:
+            return 'unknown';
+    }
+}
+/**
+ * Strip comments (outside string literals) and collapse whitespace, so a
+ * re-indented or re-commented body compares equal to the original.
+ */
+export function normalizeSource(src) {
+    let out = '';
+    let i = 0;
+    const n = src.length;
+    while (i < n) {
+        const c = src[i];
+        const next = src[i + 1];
+        if (c === '"' || c === "'") {
+            const quote = c;
+            let j = i + 1;
+            while (j < n && src[j] !== quote) {
+                if (src[j] === '\\')
+                    j++;
+                j++;
+            }
+            out += src.slice(i, j + 1);
+            i = j + 1;
+            continue;
+        }
+        if (c === '/' && next === '/') {
+            while (i < n && src[i] !== '\n')
+                i++;
+            out += ' ';
+            continue;
+        }
+        if (c === '/' && next === '*') {
+            i += 2;
+            while (i < n && !(src[i] === '*' && src[i + 1] === '/'))
+                i++;
+            i += 2;
+            out += ' ';
+            continue;
+        }
+        out += c;
+        i++;
+    }
+    return out
+        .replace(/\s+/g, ' ')
+        .replace(/\s*([{}();,=+\-*/<>!&|^%?:[\]])\s*/g, '$1')
+        .trim();
+}
+function sliceRange(source, node) {
+    const range = node.range;
+    if (!range)
+        return '';
+    return source.slice(range[0], range[1] + 1);
+}
+function lineOf(node, which) {
+    const loc = node.loc;
+    return loc?.[which].line ?? 0;
+}
+const BUILTIN_CALLS = new Set([
+    'require',
+    'assert',
+    'revert',
+    'keccak256',
+    'sha256',
+    'ripemd160',
+    'ecrecover',
+    'addmod',
+    'mulmod',
+    'selfdestruct',
+    'blockhash',
+    'gasleft',
+    'type',
+    'abi',
+]);
+const ADDRESS_MEMBERS = new Set([
+    'call',
+    'delegatecall',
+    'staticcall',
+    'transfer',
+    'send',
+    'encode',
+    'encodePacked',
+    'encodeWithSelector',
+    'encodeWithSignature',
+    'encodeCall',
+    'decode',
+    'push',
+    'pop',
+    'concat',
+]);
+/** Walk down `a.b[c].d` style lvalues to the root identifier name. */
+function rootIdentifier(expr) {
+    let cur = expr;
+    for (let guard = 0; guard < 32 && isNode(cur); guard++) {
+        if (cur.type === 'Identifier')
+            return String(cur.name);
+        if (cur.type === 'IndexAccess')
+            cur = cur.base;
+        else if (cur.type === 'IndexRangeAccess')
+            cur = cur.base;
+        else if (cur.type === 'MemberAccess')
+            cur = cur.expression;
+        else
+            return null;
+    }
+    return null;
+}
+function analyzeBody(unitNode, ctx) {
+    const calls = [];
+    const reads = new Set();
+    const writes = new Set();
+    // Locals / params shadow state vars and give receiver types for typed calls.
+    const localTypes = new Map();
+    const declare = (decl) => {
+        if (!isNode(decl))
+            return;
+        const name = decl.name;
+        if (name)
+            localTypes.set(name, typeToString(decl.typeName));
+    };
+    for (const p of unitNode.parameters ?? [])
+        declare(p);
+    for (const p of unitNode.returnParameters ?? [])
+        declare(p);
+    walk(unitNode.body, (n) => {
+        if (n.type === 'VariableDeclarationStatement') {
+            for (const v of n.variables ?? [])
+                declare(v);
+        }
+    });
+    const receiverType = (name) => {
+        const t = localTypes.get(name) ?? ctx.stateVarTypes.get(name);
+        if (!t)
+            return null;
+        const base = t.replace(/\[\d*\]$/, '');
+        return ctx.contractNames.has(base) ? base : null;
+    };
+    const isState = (name) => !!name && !localTypes.has(name) && ctx.stateVarNames.has(name);
+    const recordCall = (call) => {
+        let callee = call.expression;
+        if (isNode(callee) && callee.type === 'NameValueExpression')
+            callee = callee.expression;
+        const argCount = (call.arguments ?? []).length;
+        if (!isNode(callee))
+            return;
+        if (callee.type === 'Identifier') {
+            const name = String(callee.name);
+            if (BUILTIN_CALLS.has(name))
+                return;
+            // `IERC20(x)` / `Vault(addr)` are type conversions, not calls.
+            if (ctx.contractNames.has(name))
+                return;
+            calls.push({ kind: 'internal', name, argCount });
+            return;
+        }
+        if (callee.type === 'MemberAccess') {
+            const name = String(callee.memberName);
+            const recv = callee.expression;
+            if (isNode(recv) && recv.type === 'Identifier') {
+                const rname = String(recv.name);
+                if (rname === 'super')
+                    return void calls.push({ kind: 'super', name, argCount });
+                if (rname === 'this')
+                    return void calls.push({ kind: 'this', name, argCount });
+                if (rname === 'abi' || rname === 'msg' || rname === 'block' || rname === 'tx')
+                    return;
+                if (ctx.contractNames.has(rname) && !localTypes.has(rname)) {
+                    return void calls.push({ kind: 'qualified', name, target: rname, argCount });
+                }
+                const t = receiverType(rname);
+                if (t)
+                    return void calls.push({ kind: 'typed', name, target: t, argCount });
+            }
+            // `IFoo(addr).bar()` — receiver is a type conversion call.
+            if (isNode(recv) && recv.type === 'FunctionCall') {
+                const conv = recv.expression;
+                if (isNode(conv) &&
+                    conv.type === 'Identifier' &&
+                    ctx.contractNames.has(String(conv.name))) {
+                    return void calls.push({ kind: 'typed', name, target: String(conv.name), argCount });
+                }
+            }
+            if (ADDRESS_MEMBERS.has(name))
+                return;
+            calls.push({ kind: 'member', name, argCount });
+        }
+    };
+    walk(unitNode.body, (n) => {
+        switch (n.type) {
+            case 'EmitStatement':
+                // Events are not calls; still record state reads inside the arguments.
+                walk(n.eventCall?.arguments, (m) => {
+                    if (m.type === 'Identifier' && isState(String(m.name)))
+                        reads.add(String(m.name));
+                    if (m.type === 'FunctionCall')
+                        recordCall(m);
+                });
+                return false;
+            case 'FunctionCall':
+                recordCall(n);
+                return;
+            case 'BinaryOperation': {
+                const op = String(n.operator);
+                if (op === '=' || (op.endsWith('=') && !['==', '!=', '<=', '>='].includes(op))) {
+                    const root = rootIdentifier(n.left);
+                    if (isState(root)) {
+                        writes.add(root);
+                        if (op !== '=')
+                            reads.add(root);
+                    }
+                }
+                return;
+            }
+            case 'UnaryOperation': {
+                const op = String(n.operator);
+                if (op === '++' || op === '--' || op === 'delete') {
+                    const root = rootIdentifier(n.subExpression);
+                    if (isState(root))
+                        writes.add(root);
+                }
+                return;
+            }
+            case 'Identifier': {
+                const name = String(n.name);
+                if (isState(name))
+                    reads.add(name);
+                return;
+            }
+            case 'MemberAccess': {
+                // `.push(...)` / `.pop()` on a state array is a write.
+                const member = String(n.memberName);
+                if (member === 'push' || member === 'pop') {
+                    const root = rootIdentifier(n.expression);
+                    if (isState(root))
+                        writes.add(root);
+                }
+                return;
+            }
+        }
+    });
+    // An identifier that is written is not also a "read" unless used elsewhere;
+    // the Identifier visitor above sees lvalues too, so reads ⊇ writes here. Keep
+    // it: a write site still depends on the variable's declared semantics.
+    return { calls, reads: [...reads].sort(), writes: [...writes].sort() };
+}
+function signatureOf(name, params) {
+    return `${name}(${(params ?? []).map((p) => (isNode(p) ? typeToString(p.typeName) : 'unknown')).join(',')})`;
+}
+/**
+ * Build the code model of one file. `contractNames` (all contract-like names in
+ * scope) lets the body walker tell type conversions and typed receivers apart.
+ * `inheritedStateVars` maps a contract name to the state vars of its whole
+ * linearized hierarchy (name → type); pass an empty map for a first pass.
+ */
+export function buildFileModel(source, file, contractNames = new Set(), inheritedStateVars = new Map()) {
+    let ast;
+    try {
+        ast = parser.parse(source, { loc: true, range: true, tolerant: true });
+    }
+    catch (err) {
+        return { file, contracts: [], parseError: err instanceof Error ? err.message : String(err) };
+    }
+    const contracts = [];
+    const free = {
+        name: '(free)',
+        kind: 'free',
+        file,
+        bases: [],
+        lineStart: 0,
+        lineEnd: 0,
+        units: [],
+        stateVars: [],
+        events: [],
+        errors: [],
+        structs: [],
+    };
+    const children = ast.children ?? [];
+    const buildUnit = (node, contract, ctx) => {
+        const isModifier = node.type === 'ModifierDefinition';
+        const isConstructor = Boolean(node.isConstructor);
+        const isFallback = Boolean(node.isFallback);
+        const isReceive = Boolean(node.isReceiveEther);
+        const name = isModifier
+            ? String(node.name)
+            : (node.name ??
+                (isConstructor ? 'constructor' : isFallback ? 'fallback' : 'receive'));
+        const params = node.parameters ?? [];
+        const raw = sliceRange(source, node);
+        const body = analyzeBody(node, ctx);
+        const modifierInvocations = (node.modifiers ?? []).map((m) => ({
+            name: String(m.name),
+            argCount: (m.arguments ?? []).length,
+        }));
+        // Base-constructor invocations show up as "modifiers" on constructors.
+        for (const m of modifierInvocations) {
+            if (contractNames.has(m.name)) {
+                body.calls.push({
+                    kind: 'base_ctor',
+                    name: 'constructor',
+                    target: m.name,
+                    argCount: m.argCount,
+                });
+            }
+        }
+        return {
+            contract,
+            kind: isModifier ? 'modifier' : 'function',
+            name,
+            signature: isConstructor || isFallback || isReceive ? `${name}()` : signatureOf(name, params),
+            visibility: isModifier ? 'modifier' : String(node.visibility ?? 'default'),
+            stateMutability: node.stateMutability ?? null,
+            isConstructor,
+            isFallback,
+            isReceive,
+            modifiers: modifierInvocations.filter((m) => !contractNames.has(m.name)).map((m) => m.name),
+            paramCount: params.length,
+            lineStart: lineOf(node, 'start'),
+            lineEnd: lineOf(node, 'end'),
+            raw,
+            normalized: normalizeSource(raw),
+            calls: body.calls,
+            reads: body.reads,
+            writes: body.writes,
+        };
+    };
+    for (const child of children) {
+        if (child.type === 'FunctionDefinition') {
+            const ctx = {
+                stateVarNames: new Set(),
+                stateVarTypes: new Map(),
+                contractNames,
+            };
+            free.units.push(buildUnit(child, '(free)', ctx));
+            continue;
+        }
+        if (child.type !== 'ContractDefinition')
+            continue;
+        const kindRaw = String(child.kind);
+        const kind = kindRaw === 'interface'
+            ? 'interface'
+            : kindRaw === 'library'
+                ? 'library'
+                : kindRaw === 'abstract'
+                    ? 'abstract'
+                    : 'contract';
+        const name = String(child.name);
+        const bases = (child.baseContracts ?? []).map((b) => String(b.baseName?.namePath ?? ''));
+        const subNodes = child.subNodes ?? [];
+        const stateVars = [];
+        const events = [];
+        const errors = [];
+        const structs = [];
+        for (const sub of subNodes) {
+            if (sub.type === 'StateVariableDeclaration') {
+                const init = sub.initialValue;
+                for (const v of sub.variables ?? []) {
+                    stateVars.push({
+                        name: String(v.name),
+                        type: typeToString(v.typeName),
+                        mutability: v.isDeclaredConst ? 'constant' : v.isImmutable ? 'immutable' : 'mutable',
+                        visibility: String(v.visibility ?? 'internal'),
+                        initial: init ? normalizeSource(sliceRange(source, init)) : '',
+                        lineStart: lineOf(sub, 'start'),
+                    });
+                }
+            }
+            else if (sub.type === 'EventDefinition') {
+                events.push({
+                    name: String(sub.name),
+                    signature: signatureOf(String(sub.name), sub.parameters),
+                    lineStart: lineOf(sub, 'start'),
+                });
+            }
+            else if (sub.type === 'CustomErrorDefinition') {
+                errors.push({
+                    name: String(sub.name),
+                    signature: signatureOf(String(sub.name), sub.parameters),
+                    lineStart: lineOf(sub, 'start'),
+                });
+            }
+            else if (sub.type === 'StructDefinition') {
+                structs.push({
+                    name: String(sub.name),
+                    members: (sub.members ?? []).map((m) => `${typeToString(m.typeName)} ${String(m.name ?? '')}`),
+                    lineStart: lineOf(sub, 'start'),
+                });
+            }
+        }
+        // State vars visible to this contract's bodies: inherited (if known) + own.
+        const visible = new Map(inheritedStateVars.get(name) ?? []);
+        for (const sv of stateVars)
+            visible.set(sv.name, sv.type);
+        const ctx = {
+            stateVarNames: new Set(visible.keys()),
+            stateVarTypes: visible,
+            contractNames,
+        };
+        const units = [];
+        for (const sub of subNodes) {
+            if (sub.type === 'FunctionDefinition' || sub.type === 'ModifierDefinition') {
+                units.push(buildUnit(sub, name, ctx));
+            }
+        }
+        contracts.push({
+            name,
+            kind,
+            file,
+            bases,
+            lineStart: lineOf(child, 'start'),
+            lineEnd: lineOf(child, 'end'),
+            units,
+            stateVars,
+            events,
+            errors,
+            structs,
+        });
+    }
+    if (free.units.length > 0)
+        contracts.push(free);
+    return { file, contracts };
+}
+/** Contract-like names declared in a source (cheap first pass for buildFileModel). */
+export function collectContractNames(source) {
+    const names = [];
+    try {
+        const ast = parser.parse(source, { tolerant: true });
+        for (const child of ast.children ?? []) {
+            if (child.type === 'ContractDefinition')
+                names.push(String(child.name));
+        }
+    }
+    catch {
+        /* unparseable — caller records the parse error on the full pass */
+    }
+    return names;
+}
+/** Linearized base list (C3-ish, most-base last), restricted to known contracts. */
+export function ancestorsOf(name, byName) {
+    const out = [];
+    const seen = new Set([name]);
+    const visit = (n) => {
+        const c = byName.get(n);
+        if (!c)
+            return;
+        for (const b of [...c.bases].reverse()) {
+            if (seen.has(b))
+                continue;
+            seen.add(b);
+            out.push(b);
+            visit(b);
+        }
+    };
+    visit(name);
+    return out;
+}
+/**
+ * Build models for a whole set of sources with inherited state vars resolved:
+ * pass 1 collects contract names and own state vars, pass 2 rebuilds each file
+ * with every contract's full visible state (own + ancestors).
+ */
+export function buildScopeModel(sources) {
+    const contractNames = new Set();
+    for (const src of sources.values())
+        for (const n of collectContractNames(src))
+            contractNames.add(n);
+    const first = [];
+    for (const [file, src] of sources)
+        first.push(buildFileModel(src, file, contractNames));
+    const byName = new Map();
+    for (const fm of first)
+        for (const c of fm.contracts)
+            if (c.kind !== 'free')
+                byName.set(c.name, c);
+    const inherited = new Map();
+    for (const c of byName.values()) {
+        const vis = new Map();
+        for (const anc of ancestorsOf(c.name, byName).reverse()) {
+            for (const sv of byName.get(anc)?.stateVars ?? [])
+                vis.set(sv.name, sv.type);
+        }
+        inherited.set(c.name, vis);
+    }
+    const out = [];
+    for (const [file, src] of sources)
+        out.push(buildFileModel(src, file, contractNames, inherited));
+    return out;
+}
+//# sourceMappingURL=code-model.js.map

package/dist/analysis/code-model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"code-model.js","sourceRoot":"","sources":["../../src/analysis/code-model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,yBAAyB,CAAC;AAsGlD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;AAElE,SAAS,MAAM,CAAC,CAAU;IACxB,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,OAAQ,CAAa,CAAC,IAAI,KAAK,QAAQ,CAAC;AACxF,CAAC;AAED,+EAA+E;AAC/E,SAAS,IAAI,CAAC,IAAa,EAAE,KAAqC;IAChE,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,KAAK,MAAM,IAAI,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC3C,OAAO;IACT,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO;IAC1B,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK;QAAE,OAAO;IAClC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC;YAAE,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACpD,CAAC;AACH,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,CAAU;IACrC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACjC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,oBAAoB;YACvB,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,SAAS,CAAC,CAAC;QACrC,KAAK,qBAAqB;YACxB,OAAO,MAAM,CAAC,CAAC,CAAC,QAAQ,IAAI,SAAS,CAAC,CAAC;QACzC,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,GAAG,GAAG,CAAC,CAAC,MAAwB,CAAC;YACvC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACrF,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,MAAM,GAAG,CAAC;QACtD,CAAC;QACD,KAAK,SAAS;YACZ,OAAO,WAAW,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC;QAC7E,KAAK,kBAAkB;YACrB,OAAO,UAAU,CAAC;QACpB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,GAAW;IACzC,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;IACrB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACb,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACxB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,CAAC,CAAC;YAChB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;gBACjC,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI;oBAAE,CAAC,EAAE,CAAC;gBACzB,CAAC,EAAE,CAAC;YACN,CAAC;YACD,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3B,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACV,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI;gBAAE,CAAC,EAAE,CAAC;YACrC,GAAG,IAAI,GAAG,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YAC9B,CAAC,IAAI,CAAC,CAAC;YACP,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC;gBAAE,CAAC,EAAE,CAAC;YAC7D,CAAC,IAAI,CAAC,CAAC;YACP,GAAG,IAAI,GAAG,CAAC;YACX,SAAS;QACX,CAAC;QACD,GAAG,IAAI,CAAC,CAAC;QACT,CAAC,EAAE,CAAC;IACN,CAAC;IACD,OAAO,GAAG;SACP,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,OAAO,CAAC,qCAAqC,EAAE,IAAI,CAAC;SACpD,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,UAAU,CAAC,MAAc,EAAE,IAAa;IAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAqC,CAAC;IACzD,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IACtB,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,MAAM,CAAC,IAAa,EAAE,KAAsB;IACnD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAqE,CAAC;IACvF,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,SAAS;IACT,QAAQ;IACR,QAAQ;IACR,WAAW;IACX,QAAQ;IACR,WAAW;IACX,WAAW;IACX,QAAQ;IACR,QAAQ;IACR,cAAc;IACd,WAAW;IACX,SAAS;IACT,MAAM;IACN,KAAK;CACN,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC;IAC9B,MAAM;IACN,cAAc;IACd,YAAY;IACZ,UAAU;IACV,MAAM;IACN,QAAQ;IACR,cAAc;IACd,oBAAoB;IACpB,qBAAqB;IACrB,YAAY;IACZ,QAAQ;IACR,MAAM;IACN,KAAK;IACL,QAAQ;CACT,CAAC,CAAC;AAEH,sEAAsE;AACtE,SAAS,cAAc,CAAC,IAAa;IACnC,IAAI,GAAG,GAAG,IAAI,CAAC;IACf,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,EAAE,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QACvD,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvD,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa;YAAE,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC;aAC1C,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB;YAAE,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC;aACpD,IAAI,GAAG,CAAC,IAAI,KAAK,cAAc;YAAE,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;;YACtD,OAAO,IAAI,CAAC;IACnB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAWD,SAAS,WAAW,CAClB,QAAiB,EACjB,GAAgB;IAEhB,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IAEjC,6EAA6E;IAC7E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,MAAM,OAAO,GAAG,CAAC,IAAa,EAAE,EAAE;QAChC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,OAAO;QAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAqB,CAAC;QACxC,IAAI,IAAI;YAAE,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAK,QAAQ,CAAC,UAAwB,IAAI,EAAE;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACrE,KAAK,MAAM,CAAC,IAAK,QAAQ,CAAC,gBAA8B,IAAI,EAAE;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IAC3E,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;QACxB,IAAI,CAAC,CAAC,IAAI,KAAK,8BAA8B,EAAE,CAAC;YAC9C,KAAK,MAAM,CAAC,IAAK,CAAC,CAAC,SAAuB,IAAI,EAAE;gBAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG,CAAC,IAAY,EAAiB,EAAE;QACnD,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9D,IAAI,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QACpB,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACvC,OAAO,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACnD,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,IAAmB,EAAkB,EAAE,CACtD,CAAC,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAEjE,MAAM,UAAU,GAAG,CAAC,IAAa,EAAE,EAAE;QACnC,IAAI,MAAM,GAAG,IAAI,CAAC,UAAqB,CAAC;QACxC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB;YACzD,MAAM,GAAG,MAAM,CAAC,UAAqB,CAAC;QACxC,MAAM,QAAQ,GAAG,CAAE,IAAI,CAAC,SAAuB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QAC9D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YAAE,OAAO;QAC5B,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO;YACpC,+DAA+D;YAC/D,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO;YACxC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YACjD,OAAO;QACT,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACvC,MAAM,IAAI,GAAG,MAAM,CAAC,UAAqB,CAAC;YAC1C,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChC,IAAI,KAAK,KAAK,OAAO;oBAAE,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACjF,IAAI,KAAK,KAAK,MAAM;oBAAE,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC/E,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,IAAI;oBAAE,OAAO;gBACtF,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC3D,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC/E,CAAC;gBACD,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;gBAC9B,IAAI,CAAC;oBAAE,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC9E,CAAC;YACD,2DAA2D;YAC3D,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;gBACjD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAqB,CAAC;gBACxC,IACE,MAAM,CAAC,IAAI,CAAC;oBACZ,IAAI,CAAC,IAAI,KAAK,YAAY;oBAC1B,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EACxC,CAAC;oBACD,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACvF,CAAC;YACH,CAAC;YACD,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO;YACtC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QACjD,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;QACxB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,eAAe;gBAClB,uEAAuE;gBACvE,IAAI,CAAE,CAAC,CAAC,SAAqB,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE;oBAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;wBAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;oBAClF,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc;wBAAE,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC/C,CAAC,CAAC,CAAC;gBACH,OAAO,KAAK,CAAC;YACf,KAAK,cAAc;gBACjB,UAAU,CAAC,CAAC,CAAC,CAAC;gBACd,OAAO;YACT,KAAK,iBAAiB,CAAC,CAAC,CAAC;gBACvB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;gBAC9B,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;oBAC/E,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACpC,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;wBAClB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;wBACjB,IAAI,EAAE,KAAK,GAAG;4BAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAClC,CAAC;gBACH,CAAC;gBACD,OAAO;YACT,CAAC;YACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;gBAC9B,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,QAAQ,EAAE,CAAC;oBAClD,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;oBAC7C,IAAI,OAAO,CAAC,IAAI,CAAC;wBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACtC,CAAC;gBACD,OAAO;YACT,CAAC;YACD,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC5B,IAAI,OAAO,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACnC,OAAO;YACT,CAAC;YACD,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,uDAAuD;gBACvD,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;gBACpC,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;oBAC1C,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;oBAC1C,IAAI,OAAO,CAAC,IAAI,CAAC;wBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACtC,CAAC;gBACD,OAAO;YACT,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,4EAA4E;IAC5E,8EAA8E;IAC9E,uEAAuE;IACvE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,MAAoC;IACrE,OAAO,GAAG,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAC/G,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAC5B,MAAc,EACd,IAAY,EACZ,gBAA6B,IAAI,GAAG,EAAE,EACtC,qBAAuD,IAAI,GAAG,EAAE;IAEhE,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAuB,CAAC;IAC/F,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;IAC/F,CAAC;IAED,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,MAAM,IAAI,GAAkB;QAC1B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,KAAK,EAAE,EAAE;QACT,SAAS,EAAE,CAAC;QACZ,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,EAAE;QACT,SAAS,EAAE,EAAE;QACb,MAAM,EAAE,EAAE;QACV,MAAM,EAAE,EAAE;QACV,OAAO,EAAE,EAAE;KACZ,CAAC;IAEF,MAAM,QAAQ,GAAI,GAAG,CAAC,QAAsB,IAAI,EAAE,CAAC;IAEnD,MAAM,SAAS,GAAG,CAAC,IAAa,EAAE,QAAgB,EAAE,GAAgB,EAAY,EAAE;QAChF,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,KAAK,oBAAoB,CAAC;QACtD,MAAM,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAClD,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5C,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,UAAU;YACrB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;YACnB,CAAC,CAAC,CAAE,IAAI,CAAC,IAAsB;gBAC7B,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QAC3E,MAAM,MAAM,GAAI,IAAI,CAAC,UAA+B,IAAI,EAAE,CAAC;QAC3D,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACpC,MAAM,mBAAmB,GAAG,CAAE,IAAI,CAAC,SAAuB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5E,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;YACpB,QAAQ,EAAE,CAAE,CAAC,CAAC,SAAuB,IAAI,EAAE,CAAC,CAAC,MAAM;SACpD,CAAC,CAAC,CAAC;QACJ,uEAAuE;QACvE,KAAK,MAAM,CAAC,IAAI,mBAAmB,EAAE,CAAC;YACpC,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,aAAa;oBACnB,MAAM,EAAE,CAAC,CAAC,IAAI;oBACd,QAAQ,EAAE,CAAC,CAAC,QAAQ;iBACrB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO;YACL,QAAQ;YACR,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;YAC1C,IAAI;YACJ,SAAS,EAAE,aAAa,IAAI,UAAU,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC;YAC7F,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,IAAI,SAAS,CAAC;YAC1E,eAAe,EAAG,IAAI,CAAC,eAAiC,IAAI,IAAI;YAChE,aAAa;YACb,UAAU;YACV,SAAS;YACT,SAAS,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YAC3F,UAAU,EAAE,MAAM,CAAC,MAAM;YACzB,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;YAChC,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC;YAC5B,GAAG;YACH,UAAU,EAAE,eAAe,CAAC,GAAG,CAAC;YAChC,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;SACpB,CAAC;IACJ,CAAC,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACxC,MAAM,GAAG,GAAgB;gBACvB,aAAa,EAAE,IAAI,GAAG,EAAE;gBACxB,aAAa,EAAE,IAAI,GAAG,EAAE;gBACxB,aAAa;aACd,CAAC;YACF,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;YACjD,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,oBAAoB;YAAE,SAAS;QAElD,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,IAAI,GACR,OAAO,KAAK,WAAW;YACrB,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,OAAO,KAAK,SAAS;gBACrB,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,OAAO,KAAK,UAAU;oBACtB,CAAC,CAAC,UAAU;oBACZ,CAAC,CAAC,UAAU,CAAC;QACrB,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,CAAE,KAAK,CAAC,aAA2B,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACjE,MAAM,CAAE,CAAC,CAAC,QAAoB,EAAE,QAAQ,IAAI,EAAE,CAAC,CAChD,CAAC;QACF,MAAM,QAAQ,GAAI,KAAK,CAAC,QAAsB,IAAI,EAAE,CAAC;QAErD,MAAM,SAAS,GAAoB,EAAE,CAAC;QACtC,MAAM,MAAM,GAAoB,EAAE,CAAC;QACnC,MAAM,MAAM,GAAoB,EAAE,CAAC;QACnC,MAAM,OAAO,GAAkB,EAAE,CAAC;QAElC,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;YAC3B,IAAI,GAAG,CAAC,IAAI,KAAK,0BAA0B,EAAE,CAAC;gBAC5C,MAAM,IAAI,GAAG,GAAG,CAAC,YAA8B,CAAC;gBAChD,KAAK,MAAM,CAAC,IAAK,GAAG,CAAC,SAAuB,IAAI,EAAE,EAAE,CAAC;oBACnD,SAAS,CAAC,IAAI,CAAC;wBACb,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;wBACpB,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC;wBAC9B,UAAU,EAAE,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;wBACpF,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,UAAU,IAAI,UAAU,CAAC;wBAC9C,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;wBAC9D,SAAS,EAAE,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC;qBAChC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;iBAAM,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBAC1C,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;oBACtB,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,UAAuB,CAAC;oBACrE,SAAS,EAAE,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC;iBAChC,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,GAAG,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;gBAChD,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;oBACtB,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,UAAuB,CAAC;oBACrE,SAAS,EAAE,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC;iBAChC,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBAC3C,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;oBACtB,OAAO,EAAE,CAAE,GAAG,CAAC,OAAqB,IAAI,EAAE,CAAC,CAAC,GAAG,CAC7C,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAC7D;oBACD,SAAS,EAAE,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC;iBAChC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,4EAA4E;QAC5E,MAAM,OAAO,GAAG,IAAI,GAAG,CAAiB,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5E,KAAK,MAAM,EAAE,IAAI,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QAC1D,MAAM,GAAG,GAAgB;YACvB,aAAa,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YACtC,aAAa,EAAE,OAAO;YACtB,aAAa;SACd,CAAC;QAEF,MAAM,KAAK,GAAe,EAAE,CAAC;QAC7B,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;YAC3B,IAAI,GAAG,CAAC,IAAI,KAAK,oBAAoB,IAAI,GAAG,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;gBAC3E,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;QAED,SAAS,CAAC,IAAI,CAAC;YACb,IAAI;YACJ,IAAI;YACJ,IAAI;YACJ,KAAK;YACL,SAAS,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC;YACjC,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC;YAC7B,KAAK;YACL,SAAS;YACT,MAAM;YACN,MAAM;YACN,OAAO;SACR,CAAC,CAAC;IACL,CAAC;IAED,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAC7B,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAuB,CAAC;QAC3E,KAAK,MAAM,KAAK,IAAK,GAAG,CAAC,QAAsB,IAAI,EAAE,EAAE,CAAC;YACtD,IAAI,KAAK,CAAC,IAAI,KAAK,oBAAoB;gBAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,mEAAmE;IACrE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,MAAkC;IAC1E,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,EAAE;QAC1B,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;YACvC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,SAAS;YAC1B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACZ,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACZ,KAAK,CAAC,CAAC,CAAC,CAAC;QACX,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,OAA4B;IAC1D,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,MAAM,EAAE;QAChC,KAAK,MAAM,CAAC,IAAI,oBAAoB,CAAC,GAAG,CAAC;YAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAElE,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC;IAExF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;IAChD,KAAK,MAAM,EAAE,IAAI,KAAK;QACpB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,SAAS;YAAE,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;gBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAE7E,MAAM,SAAS,GAAG,IAAI,GAAG,EAA+B,CAAC;IACzD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;QACtC,KAAK,MAAM,GAAG,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;YACxD,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,SAAS,IAAI,EAAE;gBAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QAC/E,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC;IAED,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,OAAO;QAAE,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;IACjG,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/analysis/diff.d.ts

@@ -0,0 +1,64 @@
+import { type CodeUnit, type ContractModel, type FileModel } from './code-model.js';
+import type { Confidence, DiffChange, ImpactedFunction, StorageLayoutChange } from '../types/index.js';
+/** Diff one contract's base and head versions entity by entity. */
+export declare function diffContract(base: ContractModel | null, head: ContractModel | null): {
+    changes: DiffChange[];
+    layout: StorageLayoutChange[];
+};
+/**
+ * Diff the contracts found in the base and head versions of the changed files.
+ * Contracts are matched by name across all changed files, so a contract moved
+ * between two changed files is diffed rather than reported as removed + added.
+ */
+export declare function diffModels(baseModels: FileModel[], headModels: FileModel[]): {
+    changes: DiffChange[];
+    layout: StorageLayoutChange[];
+};
+type EdgeKind = 'calls' | 'modifier' | 'override';
+interface Edge {
+    /** Key of the unit whose behavior depends on `callee`. */
+    caller: string;
+    callee: string;
+    kind: EdgeKind;
+    confidence: Confidence;
+}
+export interface ImpactIndex {
+    units: Map<string, CodeUnit>;
+    contracts: Map<string, ContractModel>;
+    /** callee → edges into it (reverse adjacency). */
+    callersOf: Map<string, Edge[]>;
+    /** unit id → file it is declared in. */
+    unitFile: Map<string, string>;
+}
+export declare function unitId(u: CodeUnit, file?: string): string;
+/** Build the head call graph (with modifier and virtual-dispatch edges). */
+export declare function buildImpactIndex(headModels: FileModel[]): ImpactIndex;
+/**
+ * Propagate impact from the changed units of the head version:
+ *   depth 0 — the unit itself was added or modified
+ *   depth 1 — reads state a changed unit writes, or reads/writes a changed state variable
+ *   depth n — calls / applies / dispatches into an impacted unit (n-1)
+ * Then surface inherited entry points on deployable descendants.
+ */
+export declare function computeImpact(index: ImpactIndex, changes: DiffChange[]): ImpactedFunction[];
+/**
+ * Storage-layout changes in a base contract shift every descendant's layout.
+ * Add one `inheritance_changed` row per deployable descendant.
+ */
+export declare function propagateLayoutChanges(layout: StorageLayoutChange[], contracts: Map<string, ContractModel>): StorageLayoutChange[];
+export declare function summarize(files: Array<{
+    additions: number;
+    deletions: number;
+}>, changes: DiffChange[], layout: StorageLayoutChange[], impacted: ImpactedFunction[]): {
+    files_changed: number;
+    additions: number;
+    deletions: number;
+    functions_added: number;
+    functions_modified: number;
+    functions_removed: number;
+    impacted_functions: number;
+    impacted_entry_points: number;
+    storage_layout_changes: number;
+};
+export {};
+//# sourceMappingURL=diff.d.ts.map

package/dist/analysis/diff.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../src/analysis/diff.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,QAAQ,EACb,KAAK,aAAa,EAClB,KAAK,SAAS,EACf,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EACV,UAAU,EACV,UAAU,EACV,gBAAgB,EAChB,mBAAmB,EACpB,MAAM,mBAAmB,CAAC;AAwC3B,mEAAmE;AACnE,wBAAgB,YAAY,CAC1B,IAAI,EAAE,aAAa,GAAG,IAAI,EAC1B,IAAI,EAAE,aAAa,GAAG,IAAI,GACzB;IAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IAAC,MAAM,EAAE,mBAAmB,EAAE,CAAA;CAAE,CAuL1D;AA8DD;;;;GAIG;AACH,wBAAgB,UAAU,CACxB,UAAU,EAAE,SAAS,EAAE,EACvB,UAAU,EAAE,SAAS,EAAE,GACtB;IAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IAAC,MAAM,EAAE,mBAAmB,EAAE,CAAA;CAAE,CAe1D;AASD,KAAK,QAAQ,GAAG,OAAO,GAAG,UAAU,GAAG,UAAU,CAAC;AAClD,UAAU,IAAI;IACZ,0DAA0D;IAC1D,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,UAAU,CAAC;CACxB;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC7B,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACtC,kDAAkD;IAClD,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/B,wCAAwC;IACxC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC/B;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,CAIzD;AAUD,4EAA4E;AAC5E,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,SAAS,EAAE,GAAG,WAAW,CA8KrE;AAgBD;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,gBAAgB,EAAE,CA2I3F;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,mBAAmB,EAAE,EAC7B,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GACpC,mBAAmB,EAAE,CAevB;AAED,wBAAgB,SAAS,CACvB,KAAK,EAAE,KAAK,CAAC;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC,EACtD,OAAO,EAAE,UAAU,EAAE,EACrB,MAAM,EAAE,mBAAmB,EAAE,EAC7B,QAAQ,EAAE,gBAAgB,EAAE;;;;;;;;;;EAe7B"}