hex-audit 0.7.0 → 0.8.0

package/dist/core/fix-review.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fix-review.js","sourceRoot":"","sources":["../../src/core/fix-review.ts"],"names":[],"mappings":"AAQA;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,KAO5B;IACC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,aAAa,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAClG,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QACtD,OAAO;YACL,MAAM,EAAE,OAAO;YACf,QAAQ,EAAE,iFAAiF;SAC5F,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO;YACL,MAAM,EAAE,WAAW;YACnB,QAAQ,EAAE,gBAAgB,CAAC,MAAM;gBAC/B,CAAC,CAAC,qBAAqB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,2CAA2C;gBAC7F,CAAC,CAAC,uDAAuD;SAC5D,CAAC;IACJ,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrF,OAAO;YACL,MAAM,EAAE,OAAO;YACf,QAAQ,EAAE,kCAAkC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;SACzE,CAAC;IACJ,CAAC;IACD,IAAI,gBAAgB,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QAC9C,MAAM,GAAG,GAAG,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,mDAAmD,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5F,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,QAAQ,EAAE,cAAc,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,uBAAuB,GAAG,EAAE;SAC/P,CAAC;IACJ,CAAC;IACD,OAAO;QACL,MAAM,EAAE,aAAa;QACrB,QAAQ,EAAE,mEAAmE;KAC9E,CAAC;AACJ,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,cAAc,CAC5B,OAA+D,EAC/D,IAA2C;IAE3C,MAAM,IAAI,GAAG,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,IAAI,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/E,OAAO,OAAO;SACX,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACZ,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;QAC7C,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7D,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AACvB,CAAC;AAED,MAAM,SAAS,GAAG,+BAA+B,CAAC;AAClD,MAAM,SAAS,GAAG,2CAA2C,CAAC;AAE9D;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAC9B,IAAY,EACZ,MAA4C;IAE5C,IAAI,GAAG,GAAG,IAAI,CAAC;IACf,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAChC,IAAI,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC;YACrB,GAAG,GAAG,GAAG,CAAC,OAAO,CACf,SAAS,EACT,CAAC,EAAE,EAAE,KAAa,EAAE,EAAU,EAAE,EAAE,CAAC,GAAG,KAAK,IAAI,MAAM,CAAC,MAAM,GAAG,EAAE,EAAE,CACpE,CAAC;;YACC,GAAG,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,mBAAmB,MAAM,CAAC,MAAM,IAAI,CAAC;IAC5E,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAChC,IAAI,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC;YACrB,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE,KAAa,EAAE,EAAE,CAAC,GAAG,KAAK,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;;YAChF,GAAG,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,mCAAmC,MAAM,CAAC,MAAM,IAAI,CAAC;IAC5F,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAChC,OAA4D,EAC5D,GAAW;IAEX,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,OAAO;SACjB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACzB,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAChB,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC;QACf,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,GAAG;QAClF,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,CAC/C,CAAC;IACJ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,GAAG,EAAE,CAAC,CAAC;IAC5E,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QACjB,MAAM,IAAI,KAAK,CACb,GAAG,GAAG,YAAY,IAAI,CAAC,MAAM,sDAAsD,IAAI;aACpF,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;aAC3C,IAAI,CAAC,IAAI,CAAC,EAAE,CAChB,CAAC;IACJ,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACnB,CAAC"}

package/dist/core/fuzz-sync.d.ts

@@ -0,0 +1,93 @@
+export type FuzzTestStatus = 'not_written' | 'passing' | 'failing' | 'broken';
+type Checkbox = ' ' | 'x' | '~' | '-';
+export interface FuzzProperty {
+    /** Spec id: `GL-NN` / `SP-NN`. */
+    id: string;
+    /** `[ ]` pending, `[x]` implemented, `[~]` quarantined by /fuzz-sync, `[-]` skipped/manual. */
+    checkbox: Checkbox;
+    /** The `(INV-NNN)` tag after the Spec ID, if any. */
+    invariantId: string | null;
+    guarantee: 'SHOULD-HOLD' | 'EXPLORATORY' | null;
+    /** 1-based line in PROPERTIES.md. */
+    line: number;
+}
+/**
+ * Parse fizz's PROPERTIES.md. Upstream's line is `- [ ] **GL-01** — …`; Hex adds
+ * the invariant right after the Spec ID: `- [ ] **GL-01** (INV-003) — …`. The
+ * bold is optional so hand-written lines still parse. First entry per id wins.
+ */
+export declare function parsePropertiesMd(md: string): FuzzProperty[];
+export type TestOutcome = 'passed' | 'failed' | 'error';
+export interface ParsedLog {
+    /** Bare function name (no contract prefix, no signature) → worst outcome seen. */
+    tests: Map<string, TestOutcome>;
+    /** Fuzzer calls executed, when the log reports it. */
+    calls: number | null;
+}
+/**
+ * Medusa: `⇾ [FAILED] Assertion Test: FuzzTester.property_solvency()` (printed
+ * when found and again in the final results), `[PASSED] Property Test: …`, and
+ * status lines `fuzz: elapsed: 1m0s, calls: 123456 (…), …`.
+ */
+export declare function parseMedusaLog(text: string): ParsedLog;
+/**
+ * Echidna (`format: "text"`): final lines `property_x(): passing`,
+ * `vault_deposit(uint256): failed!💥`, `foo(): could not evaluate ☣`, event
+ * lines `[…] Test vault_deposit(uint256) falsified!`, `Total calls: 50123`,
+ * status lines `[status] tests: 0/5, fuzzing: 1234/50000, …`.
+ */
+export declare function parseEchidnaLog(text: string): ParsedLog;
+export interface FuzzSyncOptions {
+    /** Project root (holds foundry.toml and the suite). Default: the parent of `outputDir`. */
+    projectDir?: string;
+    /** Suite dir relative to the project. Default: last-run.json's `suiteDir`, else `test/fizz`. */
+    suiteDir?: string;
+    /** Compute the summary without writing invariants or cards. */
+    dryRun?: boolean;
+}
+export interface FuzzSyncInvariant {
+    id: string;
+    statement: string;
+    properties: string[];
+    /** `unchanged` = no new evidence (not run since its code changed, or unattributed). */
+    status: FuzzTestStatus | 'unchanged';
+    previous: FuzzTestStatus | null;
+    /** Why, in a few words: `repro test_repro_x`, `failed in medusa`, `quarantined`, … */
+    reason: string;
+    runs?: number;
+    repro_file?: string;
+    issue_id?: string;
+    issue_created?: boolean;
+}
+export interface FuzzSyncSummary {
+    properties_file: string;
+    suite_dir: string;
+    logs: Array<{
+        tool: 'medusa' | 'echidna';
+        file: string;
+        finished_at: string;
+        calls: number | null;
+        failed: string[];
+    }>;
+    invariants: FuzzSyncInvariant[];
+    created_issues: Array<{
+        invariant: string;
+        issue: string;
+    }>;
+    /** Properties with no `(INV-NNN)` tag and no invariant whose `test.property_id` names them. */
+    unmapped_properties: string[];
+    /** `(INV-NNN)` tags that name no invariant in invariants.json. */
+    unknown_invariants: Array<{
+        property: string;
+        invariant: string;
+    }>;
+    /** SP properties whose handler failed with no repro naming the property. */
+    unattributed: Array<{
+        property: string;
+        invariant: string | null;
+        handlers: string[];
+    }>;
+}
+export declare function syncFuzzResults(outputDir: string, opts?: FuzzSyncOptions): FuzzSyncSummary;
+export {};
+//# sourceMappingURL=fuzz-sync.d.ts.map

package/dist/core/fuzz-sync.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fuzz-sync.d.ts","sourceRoot":"","sources":["../../src/core/fuzz-sync.ts"],"names":[],"mappings":"AAsBA,MAAM,MAAM,cAAc,GAAG,aAAa,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,CAAC;AAC9E,KAAK,QAAQ,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;AAItC,MAAM,WAAW,YAAY;IAC3B,kCAAkC;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,+FAA+F;IAC/F,QAAQ,EAAE,QAAQ,CAAC;IACnB,qDAAqD;IACrD,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,SAAS,EAAE,aAAa,GAAG,aAAa,GAAG,IAAI,CAAC;IAChD,qCAAqC;IACrC,IAAI,EAAE,MAAM,CAAC;CACd;AAID;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,MAAM,GAAG,YAAY,EAAE,CAkB5D;AAiKD,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG,QAAQ,GAAG,OAAO,CAAC;AAExD,MAAM,WAAW,SAAS;IACxB,kFAAkF;IAClF,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAChC,sDAAsD;IACtD,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;CACtB;AAYD;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAYtD;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAqBvD;AAyCD,MAAM,WAAW,eAAe;IAC9B,2FAA2F;IAC3F,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gGAAgG;IAChG,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,+DAA+D;IAC/D,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,uFAAuF;IACvF,MAAM,EAAE,cAAc,GAAG,WAAW,CAAC;IACrC,QAAQ,EAAE,cAAc,GAAG,IAAI,CAAC;IAChC,sFAAsF;IACtF,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,OAAO,CAAC;CACzB;AAED,MAAM,WAAW,eAAe;IAC9B,eAAe,EAAE,MAAM,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,KAAK,CAAC;QACV,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAC;QAC3B,IAAI,EAAE,MAAM,CAAC;QACb,WAAW,EAAE,MAAM,CAAC;QACpB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;QACrB,MAAM,EAAE,MAAM,EAAE,CAAC;KAClB,CAAC,CAAC;IACH,UAAU,EAAE,iBAAiB,EAAE,CAAC;IAChC,cAAc,EAAE,KAAK,CAAC;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC5D,+FAA+F;IAC/F,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,kEAAkE;IAClE,kBAAkB,EAAE,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACnE,4EAA4E;IAC5E,YAAY,EAAE,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;CACzF;AAsDD,wBAAgB,eAAe,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,GAAE,eAAoB,GAAG,eAAe,CA0N9F"}

package/dist/core/fuzz-sync.js

@@ -0,0 +1,516 @@
+/**
+ * `hex invariant sync-fuzz`: fold the latest /fuzz campaign back into
+ * `.hex/model/invariants.json`, and open a board card for every reproduced
+ * violation. /fuzz is pashov's fizz vendored in `src/skills/fuzz/`; the formats
+ * parsed here are the ones its skill, agents and scripts write:
+ *
+ *   .hex/fuzz/PROPERTIES.md                           `- [x] **GL-01** (INV-003) — …`
+ *   .hex/fuzz/fizz_data/last-run.json                 fizz_sync.js snapshot (its `suiteDir`)
+ *   <suite>/Properties.sol, <suite>/handlers/*.sol    `/// @notice GL-01: …` above each property
+ *   <suite>/FoundryTester.sol                         `test_repro_<property>` (Step 11)
+ *   .hex/fuzz/fizz_data/corpus_medusa/medusa-run.log  run_medusa.js
+ *   .hex/fuzz/fizz_data/logs_medusa/*                 medusa's own log (`medusa fuzz`)
+ *   .hex/fuzz/fizz_data/corpus_echidna/echidna-run.log run_echidna.js
+ *
+ * Node builtins plus ./model.js and ./issues.js only.
+ */
+import fs from 'node:fs';
+import path from 'node:path';
+import { linkInvariantIssue, readInvariants, setInvariantTest } from './model.js';
+import { createIssue } from './issues.js';
+const PROPERTY_LINE = /^\s*[-*]\s+\[([ xX~-])\]\s+(?:\*\*)?((?:GL|SP)-\d+)(?![\w-])(?:\*\*)?(.*)$/;
+/**
+ * Parse fizz's PROPERTIES.md. Upstream's line is `- [ ] **GL-01** — …`; Hex adds
+ * the invariant right after the Spec ID: `- [ ] **GL-01** (INV-003) — …`. The
+ * bold is optional so hand-written lines still parse. First entry per id wins.
+ */
+export function parsePropertiesMd(md) {
+    const out = [];
+    const seen = new Set();
+    md.split(/\r?\n/).forEach((text, i) => {
+        const m = PROPERTY_LINE.exec(text);
+        if (!m || seen.has(m[2]))
+            return;
+        seen.add(m[2]);
+        const rest = m[3];
+        const g = /Guarantee:\s*(SHOULD-HOLD|EXPLORATORY)/.exec(rest);
+        out.push({
+            id: m[2],
+            checkbox: (m[1] === 'X' ? 'x' : m[1]),
+            invariantId: /\((INV-\d+)\)/.exec(rest)?.[1] ?? null,
+            guarantee: g?.[1] ?? null,
+            line: i + 1,
+        });
+    });
+    return out;
+}
+// ─── Solidity scanning ──────────────────────────────────────────────
+/** Blank out comments (same length, newlines kept) so code scans skip them. Strings stay. */
+function maskComments(src) {
+    const out = src.split('');
+    let i = 0;
+    while (i < src.length) {
+        const c = src[i];
+        const n = src[i + 1];
+        if (c === '/' && n === '/') {
+            while (i < src.length && src[i] !== '\n')
+                out[i++] = ' ';
+        }
+        else if (c === '/' && n === '*') {
+            const end = src.indexOf('*/', i + 2);
+            const stop = end === -1 ? src.length : end + 2;
+            for (; i < stop; i++)
+                if (src[i] !== '\n')
+                    out[i] = ' ';
+        }
+        else if (c === '"' || c === "'") {
+            i++;
+            while (i < src.length && src[i] !== c && src[i] !== '\n')
+                i += src[i] === '\\' ? 2 : 1;
+            i++;
+        }
+        else {
+            i++;
+        }
+    }
+    return out.join('');
+}
+/** Index of the bracket closing the one at `open` (strings skipped), or -1. */
+function matchBracket(text, open) {
+    const o = text[open];
+    const close = o === '(' ? ')' : '}';
+    let depth = 0;
+    for (let i = open; i < text.length; i++) {
+        const c = text[i];
+        if (c === '"' || c === "'") {
+            i++;
+            while (i < text.length && text[i] !== c && text[i] !== '\n')
+                i += text[i] === '\\' ? 2 : 1;
+        }
+        else if (c === o) {
+            depth++;
+        }
+        else if (c === close && --depth === 0) {
+            return i;
+        }
+    }
+    return -1;
+}
+function findFunctions(src, masked = maskComments(src)) {
+    const out = [];
+    const re = /\bfunction\s+([A-Za-z_$][\w$]*)\s*\(/g;
+    let m;
+    while ((m = re.exec(masked)) !== null) {
+        const paramsEnd = matchBracket(masked, m.index + m[0].length - 1);
+        if (paramsEnd === -1)
+            continue;
+        let i = paramsEnd + 1;
+        while (i < masked.length && masked[i] !== '{' && masked[i] !== ';')
+            i++;
+        let body = '';
+        let maskedBody = '';
+        if (masked[i] === '{') {
+            const end = matchBracket(masked, i);
+            if (end !== -1) {
+                body = src.slice(i, end + 1);
+                maskedBody = masked.slice(i, end + 1);
+            }
+        }
+        out.push({ name: m[1], start: m.index, body, maskedBody });
+    }
+    return out;
+}
+/**
+ * Map Spec ID → the function under its `/// @notice GL-NN:` doctag (fizz's
+ * implementers and /fuzz-convert always write one). Comments between the tag
+ * and `function` are allowed (/fuzz-sync parks a quarantined body there).
+ */
+function scanTagged(files) {
+    const out = new Map();
+    for (const { rel, src } of files) {
+        const masked = maskComments(src);
+        const fns = findFunctions(src, masked);
+        const tag = /\/\/\/\s*@notice\s+((?:GL|SP)-\d+)\s*:/g;
+        let m;
+        while ((m = tag.exec(src)) !== null) {
+            const fn = fns.find((f) => f.start > m.index);
+            if (!fn || masked.slice(m.index, fn.start).trim() !== '')
+                continue;
+            if (out.has(m[1]))
+                continue;
+            out.set(m[1], {
+                functionName: fn.name,
+                file: rel,
+                quarantined: fn.body.includes('FUZZ-SYNC: quarantined'),
+            });
+        }
+    }
+    return out;
+}
+/** Handler functions that reach `fn`, following calls between handler functions. */
+function callingHandlers(fn, handlers) {
+    const reached = new Set([fn]);
+    for (let changed = true; changed;) {
+        changed = false;
+        for (const h of handlers) {
+            if (reached.has(h.name))
+                continue;
+            for (const name of reached) {
+                if (new RegExp(`\\b${name.replace(/\$/g, '\\$')}\\s*\\(`).test(h.maskedBody)) {
+                    reached.add(h.name);
+                    changed = true;
+                    break;
+                }
+            }
+        }
+    }
+    reached.delete(fn);
+    return [...reached];
+}
+/** `test_repro_*` tests that really replay a violation (not the TODO placeholder). */
+function scanRepros(src) {
+    return findFunctions(src)
+        .filter((f) => f.name.startsWith('test_repro_'))
+        .filter((f) => f.maskedBody.replace(/[{}\s]/g, '') !== '' && !f.body.includes('TODO: manual repro needed'))
+        .map((f) => ({ test: f.name, target: f.name.slice('test_repro_'.length).replace(/^_+/, '') }));
+}
+function reprosFor(fn, repros) {
+    const want = fn.replace(/^_+/, '');
+    return repros.filter((r) => r.target === want ||
+        (r.target.startsWith(want + '_') && /^\d+$/.test(r.target.slice(want.length + 1))));
+}
+const RANK = { passed: 0, error: 1, failed: 2 };
+function record(tests, name, outcome) {
+    const prev = tests.get(name);
+    if (!prev || RANK[outcome] > RANK[prev])
+        tests.set(name, outcome);
+}
+const stripAnsi = (s) => s.replace(/\x1b\[[0-9;]*[A-Za-z]/g, '');
+const num = (s) => parseInt(s.replace(/,/g, ''), 10);
+/**
+ * Medusa: `⇾ [FAILED] Assertion Test: FuzzTester.property_solvency()` (printed
+ * when found and again in the final results), `[PASSED] Property Test: …`, and
+ * status lines `fuzz: elapsed: 1m0s, calls: 123456 (…), …`.
+ */
+export function parseMedusaLog(text) {
+    const tests = new Map();
+    let calls = null;
+    const clean = stripAnsi(text);
+    const test = /\[(PASSED|FAILED)\]\s+(?:Assertion|Property|Optimization)\s+Test:\s+(?:[\w$]+\.)?([\w$]+)\s*\(/g;
+    let m;
+    while ((m = test.exec(clean)) !== null)
+        record(tests, m[2], m[1] === 'FAILED' ? 'failed' : 'passed');
+    const callsRe = /\bcalls:\s*([\d,]+)/g;
+    while ((m = callsRe.exec(clean)) !== null)
+        calls = Math.max(calls ?? 0, num(m[1]));
+    return { tests, calls };
+}
+/**
+ * Echidna (`format: "text"`): final lines `property_x(): passing`,
+ * `vault_deposit(uint256): failed!💥`, `foo(): could not evaluate ☣`, event
+ * lines `[…] Test vault_deposit(uint256) falsified!`, `Total calls: 50123`,
+ * status lines `[status] tests: 0/5, fuzzing: 1234/50000, …`.
+ */
+export function parseEchidnaLog(text) {
+    const tests = new Map();
+    let calls = null;
+    for (const raw of stripAnsi(text).split(/\r?\n/)) {
+        const res = /^\s*([A-Za-z_$][\w$]*)(?:\(.*\))?\s*:\s*(passing|passed|failed|could not evaluate|error)/i.exec(raw);
+        if (res) {
+            const s = res[2].toLowerCase();
+            record(tests, res[1], s.startsWith('pass') ? 'passed' : s === 'failed' ? 'failed' : 'error');
+            continue;
+        }
+        const ev = /\bTest\s+([A-Za-z_$][\w$]*)(?:\(.*\))?\s+falsified/.exec(raw);
+        if (ev)
+            record(tests, ev[1], 'failed');
+        const total = /Total calls:\s*([\d,]+)/.exec(raw);
+        if (total)
+            calls = Math.max(calls ?? 0, num(total[1]));
+        const fuzzing = /fuzzing:\s*([\d,]+)\s*\/\s*[\d,]+/.exec(raw);
+        if (fuzzing)
+            calls = Math.max(calls ?? 0, num(fuzzing[1]));
+    }
+    return { tests, calls };
+}
+function newestFile(dir) {
+    try {
+        const files = fs
+            .readdirSync(dir, { withFileTypes: true })
+            .filter((e) => e.isFile())
+            .map((e) => path.join(dir, e.name));
+        files.sort((a, b) => fs.statSync(b).mtimeMs - fs.statSync(a).mtimeMs);
+        return files[0] ?? null;
+    }
+    catch {
+        return null;
+    }
+}
+function readLogs(projectDir, metaDir) {
+    const candidates = [
+        { tool: 'medusa', file: path.join(metaDir, 'corpus_medusa', 'medusa-run.log') },
+        { tool: 'medusa', file: newestFile(path.join(metaDir, 'logs_medusa')) },
+        { tool: 'echidna', file: path.join(metaDir, 'corpus_echidna', 'echidna-run.log') },
+    ];
+    const logs = [];
+    for (const { tool, file } of candidates) {
+        if (!file || !fs.existsSync(file))
+            continue;
+        const parsed = (tool === 'medusa' ? parseMedusaLog : parseEchidnaLog)(fs.readFileSync(file, 'utf-8'));
+        if (parsed.tests.size === 0)
+            continue;
+        logs.push({ tool, file: rel(projectDir, file), mtimeMs: fs.statSync(file).mtimeMs, ...parsed });
+    }
+    return logs.sort((a, b) => b.mtimeMs - a.mtimeMs);
+}
+const PRECEDENCE = {
+    not_written: 0,
+    passing: 1,
+    broken: 2,
+    failing: 3,
+};
+function rel(projectDir, file) {
+    return path.relative(projectDir, file).split(path.sep).join('/');
+}
+function readText(file) {
+    try {
+        return fs.readFileSync(file, 'utf-8');
+    }
+    catch {
+        return null;
+    }
+}
+function mtime(file) {
+    try {
+        return fs.statSync(file).mtimeMs;
+    }
+    catch {
+        return 0;
+    }
+}
+/** Open card for an invariant created earlier (e.g. before issue_id was lost), if any. */
+function existingInvariantCard(outputDir, invId) {
+    const raw = readText(path.join(outputDir, 'tracking.json'));
+    if (!raw)
+        return null;
+    try {
+        const t = JSON.parse(raw);
+        return t.findings?.find((f) => f.source === 'invariant' && f.source_ref === invId)?.id ?? null;
+    }
+    catch {
+        return null;
+    }
+}
+export function syncFuzzResults(outputDir, opts = {}) {
+    const projectDir = path.resolve(opts.projectDir ?? path.dirname(outputDir));
+    const fuzzDir = path.join(outputDir, 'fuzz');
+    const metaDir = path.join(fuzzDir, 'fizz_data');
+    const propertiesPath = path.join(fuzzDir, 'PROPERTIES.md');
+    const md = readText(propertiesPath);
+    if (md === null) {
+        throw new Error(`No ${rel(projectDir, propertiesPath)} yet. Run /fuzz first (Step 9 writes it).`);
+    }
+    const properties = parsePropertiesMd(md);
+    let lastRunSuite;
+    try {
+        lastRunSuite = JSON.parse(readText(path.join(metaDir, 'last-run.json')) ?? '{}').suiteDir;
+    }
+    catch {
+        lastRunSuite = undefined;
+    }
+    const suiteRel = opts.suiteDir ?? lastRunSuite ?? 'test/fizz';
+    const suiteDir = path.resolve(projectDir, suiteRel);
+    const handlersDir = path.join(suiteDir, 'handlers');
+    const solFiles = [];
+    const add = (abs) => {
+        const src = readText(abs);
+        if (src !== null)
+            solFiles.push({ abs, rel: rel(projectDir, abs), src });
+    };
+    add(path.join(suiteDir, 'Properties.sol'));
+    let handlerNames = [];
+    try {
+        handlerNames = fs
+            .readdirSync(handlersDir)
+            .filter((f) => f.endsWith('.sol'))
+            .sort();
+    }
+    catch {
+        handlerNames = [];
+    }
+    for (const f of handlerNames)
+        add(path.join(handlersDir, f));
+    const tagged = scanTagged(solFiles);
+    const handlerFiles = solFiles.filter((f) => f.abs.startsWith(handlersDir + path.sep));
+    const handlerFns = handlerFiles.flatMap((f) => findFunctions(f.src).map((fn) => ({ fn, abs: f.abs })));
+    const testerPath = path.join(suiteDir, 'FoundryTester.sol');
+    const repros = scanRepros(readText(testerPath) ?? '');
+    const logs = readLogs(projectDir, metaDir);
+    const judge = (p) => {
+        const t = tagged.get(p.id);
+        const base = { functionName: t?.functionName ?? null, file: t?.file ?? null };
+        if (p.checkbox === ' ' || p.checkbox === '-') {
+            return {
+                ...base,
+                status: 'not_written',
+                reason: p.checkbox === ' ' ? 'not implemented yet' : 'skipped ([-])',
+            };
+        }
+        if (p.checkbox === '~')
+            return { ...base, status: 'broken', reason: 'quarantined by /fuzz-sync ([~])' };
+        if (!t)
+            return { ...base, status: 'broken', reason: `[x] but no /// @notice ${p.id}: function` };
+        if (t.quarantined)
+            return { ...base, status: 'broken', reason: 'function body quarantined' };
+        // Tests whose outcome speaks for this property: its own function, and for
+        // an internal SP property the handlers that reach it.
+        const callers = p.id.startsWith('SP-')
+            ? callingHandlers(t.functionName, handlerFns.map((h) => h.fn))
+            : [];
+        const relevant = [t.functionName, ...callers];
+        // Code newer than a log means the log did not run this version of the property.
+        const codeFiles = [
+            path.resolve(projectDir, t.file),
+            ...handlerFns.filter((h) => callers.includes(h.fn.name)).map((h) => h.abs),
+        ];
+        const codeTime = Math.max(...codeFiles.map(mtime));
+        const log = logs.find((l) => l.mtimeMs >= codeTime && relevant.some((n) => l.tests.has(n)));
+        // A repro replays the violation deterministically: failing until it is removed.
+        const repro = reprosFor(t.functionName, repros)[0];
+        if (repro) {
+            return {
+                ...base,
+                status: 'failing',
+                reason: `repro ${repro.test}`,
+                repro: rel(projectDir, testerPath),
+                log,
+            };
+        }
+        if (!log)
+            return { ...base, status: null, reason: 'no campaign log newer than its code' };
+        const own = log.tests.get(t.functionName);
+        if (own === 'failed')
+            return { ...base, status: 'failing', reason: `failed in ${log.tool}`, log };
+        if (own === 'error')
+            return { ...base, status: 'broken', reason: `${log.tool} could not evaluate it`, log };
+        const failedHandlers = callers.filter((h) => log.tests.get(h) === 'failed');
+        if (failedHandlers.length) {
+            const reason = `handler failed (${failedHandlers.join(', ')}); no repro names it`;
+            return { ...base, status: null, reason, log, failedHandlers };
+        }
+        return { ...base, status: 'passing', reason: `passed in ${log.tool}`, log };
+    };
+    const invFile = readInvariants(outputDir);
+    const byId = new Map(invFile.invariants.map((i) => [i.id, i]));
+    const byPropertyId = new Map();
+    for (const i of invFile.invariants) {
+        if (i.test?.tool === 'fizz' && i.test.property_id)
+            byPropertyId.set(i.test.property_id, i);
+    }
+    const groups = new Map();
+    const unmapped = [];
+    const unknown = [];
+    const unattributed = [];
+    for (const p of properties) {
+        const v = judge(p);
+        const inv = p.invariantId ? byId.get(p.invariantId) : byPropertyId.get(p.id);
+        if (v.failedHandlers) {
+            unattributed.push({
+                property: p.id,
+                invariant: inv?.id ?? p.invariantId,
+                handlers: v.failedHandlers,
+            });
+        }
+        if (!inv) {
+            if (p.invariantId)
+                unknown.push({ property: p.id, invariant: p.invariantId });
+            else
+                unmapped.push(p.id);
+            continue;
+        }
+        const g = groups.get(inv.id) ?? [];
+        g.push({ p, v });
+        groups.set(inv.id, g);
+    }
+    const summary = {
+        properties_file: rel(projectDir, propertiesPath),
+        suite_dir: rel(projectDir, suiteDir),
+        logs: logs.map((l) => ({
+            tool: l.tool,
+            file: l.file,
+            finished_at: new Date(l.mtimeMs).toISOString(),
+            calls: l.calls,
+            failed: [...l.tests].filter(([, o]) => o === 'failed').map(([n]) => n),
+        })),
+        invariants: [],
+        created_issues: [],
+        unmapped_properties: unmapped,
+        unknown_invariants: unknown,
+        unattributed,
+    };
+    for (const [invId, entries] of groups) {
+        const inv = byId.get(invId);
+        const known = entries.filter((e) => e.v.status !== null);
+        // Worst definite verdict decides; a property with no new evidence keeps the old status.
+        const decider = known.sort((a, b) => PRECEDENCE[b.v.status] - PRECEDENCE[a.v.status])[0];
+        const primary = decider ?? entries.find((e) => e.p.id === inv.test?.property_id) ?? entries[0];
+        const status = decider?.v.status ?? null;
+        const repro = entries.find((e) => e.v.repro)?.v.repro;
+        const row = {
+            id: invId,
+            statement: inv.statement,
+            properties: entries.map((e) => e.p.id),
+            status: status ?? 'unchanged',
+            previous: inv.test?.status ?? null,
+            reason: primary.v.reason,
+        };
+        if (decider?.v.log?.calls != null)
+            row.runs = decider.v.log.calls;
+        if (status === 'failing' && repro)
+            row.repro_file = repro;
+        const test = {
+            tool: 'fizz',
+            property_id: primary.p.id,
+        };
+        const file = primary.v.file ?? inv.test?.file;
+        if (file)
+            test.file = file;
+        if (status) {
+            test.status = status;
+            test.repro_file = row.repro_file; // undefined clears a stale repro
+            if (row.runs != null)
+                test.runs = row.runs;
+            if (decider?.v.log)
+                test.last_run_at = new Date(decider.v.log.mtimeMs).toISOString();
+        }
+        if (!opts.dryRun)
+            setInvariantTest(outputDir, invId, test);
+        if (status === 'failing' && repro && inv.status !== 'rejected') {
+            if (inv.issue_id) {
+                row.issue_id = inv.issue_id;
+            }
+            else {
+                const existing = existingInvariantCard(outputDir, invId);
+                if (existing) {
+                    row.issue_id = existing;
+                }
+                else if (!opts.dryRun) {
+                    row.issue_id = createIssue(outputDir, {
+                        source: 'invariant',
+                        source_ref: invId,
+                        title: `Invariant broken: ${inv.statement}`,
+                        severity: 'High',
+                    });
+                    row.issue_created = true;
+                    summary.created_issues.push({ invariant: invId, issue: row.issue_id });
+                }
+                if (row.issue_id && !opts.dryRun)
+                    linkInvariantIssue(outputDir, invId, row.issue_id);
+            }
+        }
+        summary.invariants.push(row);
+    }
+    summary.invariants.sort((a, b) => a.id.localeCompare(b.id, undefined, { numeric: true }));
+    return summary;
+}
+//# sourceMappingURL=fuzz-sync.js.map

package/dist/core/fuzz-sync.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fuzz-sync.js","sourceRoot":"","sources":["../../src/core/fuzz-sync.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAClF,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAmB1C,MAAM,aAAa,GAAG,4EAA4E,CAAC;AAEnG;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,EAAU;IAC1C,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACpC,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO;QACjC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACf,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,MAAM,CAAC,GAAG,wCAAwC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,GAAG,CAAC,IAAI,CAAC;YACP,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACR,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAa;YACjD,WAAW,EAAE,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI;YACpD,SAAS,EAAG,CAAC,EAAE,CAAC,CAAC,CAA+B,IAAI,IAAI;YACxD,IAAI,EAAE,CAAC,GAAG,CAAC;SACZ,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAED,uEAAuE;AAEvE,6FAA6F;AAC7F,SAAS,YAAY,CAAC,GAAW;IAC/B,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC1B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YAC3B,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI;gBAAE,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;QAC3D,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YAClC,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACrC,MAAM,IAAI,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;YAC/C,OAAO,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE;gBAAE,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI;oBAAE,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;QAC1D,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YAClC,CAAC,EAAE,CAAC;YACJ,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI;gBAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvF,CAAC,EAAE,CAAC;QACN,CAAC;aAAM,CAAC;YACN,CAAC,EAAE,CAAC;QACN,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACtB,CAAC;AAED,+EAA+E;AAC/E,SAAS,YAAY,CAAC,IAAY,EAAE,IAAY;IAC9C,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IACrB,MAAM,KAAK,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IACpC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YAC3B,CAAC,EAAE,CAAC;YACJ,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI;gBAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7F,CAAC;aAAM,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACnB,KAAK,EAAE,CAAC;QACV,CAAC;aAAM,IAAI,CAAC,KAAK,KAAK,IAAI,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC;YACxC,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC;AAYD,SAAS,aAAa,CAAC,GAAW,EAAE,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC;IAC5D,MAAM,GAAG,GAAkB,EAAE,CAAC;IAC9B,MAAM,EAAE,GAAG,uCAAuC,CAAC;IACnD,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACtC,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAClE,IAAI,SAAS,KAAK,CAAC,CAAC;YAAE,SAAS;QAC/B,IAAI,CAAC,GAAG,SAAS,GAAG,CAAC,CAAC;QACtB,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,CAAC,EAAE,CAAC;QACxE,IAAI,IAAI,GAAG,EAAE,CAAC;QACd,IAAI,UAAU,GAAG,EAAE,CAAC;QACpB,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACtB,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACpC,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;gBACf,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;gBAC7B,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AASD;;;;GAIG;AACH,SAAS,UAAU,CAAC,KAA0C;IAC5D,MAAM,GAAG,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC9C,KAAK,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,KAAK,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QACjC,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,yCAAyC,CAAC;QACtD,IAAI,CAAyB,CAAC;QAC9B,OAAO,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACpC,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAE,CAAC,KAAK,CAAC,CAAC;YAC/C,IAAI,CAAC,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE;gBAAE,SAAS;YACnE,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAE,SAAS;YAC5B,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;gBACZ,YAAY,EAAE,EAAE,CAAC,IAAI;gBACrB,IAAI,EAAE,GAAG;gBACT,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,wBAAwB,CAAC;aACxD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oFAAoF;AACpF,SAAS,eAAe,CAAC,EAAU,EAAE,QAAuB;IAC1D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,EAAE,CAAC,CAAC,CAAC;IACtC,KAAK,IAAI,OAAO,GAAG,IAAI,EAAE,OAAO,GAAI,CAAC;QACnC,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,SAAS;YAClC,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;gBAC3B,IAAI,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;oBAC7E,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACpB,OAAO,GAAG,IAAI,CAAC;oBACf,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC;AACtB,CAAC;AAQD,sFAAsF;AACtF,SAAS,UAAU,CAAC,GAAW;IAC7B,OAAO,aAAa,CAAC,GAAG,CAAC;SACtB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;SAC/C,MAAM,CACL,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,2BAA2B,CAAC,CAC9F;SACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACnG,CAAC;AAED,SAAS,SAAS,CAAC,EAAU,EAAE,MAAe;IAC5C,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACnC,OAAO,MAAM,CAAC,MAAM,CAClB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,MAAM,KAAK,IAAI;QACjB,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CACrF,CAAC;AACJ,CAAC;AAaD,MAAM,IAAI,GAAgC,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;AAE7E,SAAS,MAAM,CAAC,KAA+B,EAAE,IAAY,EAAE,OAAoB;IACjF,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;QAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AACpE,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,wBAAwB,EAAE,EAAE,CAAC,CAAC;AACzE,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;AAE7D;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,IAAI,GACR,iGAAiG,CAAC;IACpG,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI;QACpC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC/D,MAAM,OAAO,GAAG,sBAAsB,CAAC;IACvC,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI;QAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnF,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACjD,MAAM,GAAG,GACP,2FAA2F,CAAC,IAAI,CAC9F,GAAG,CACJ,CAAC;QACJ,IAAI,GAAG,EAAE,CAAC;YACR,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;YAC/B,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC7F,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,oDAAoD,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1E,IAAI,EAAE;YAAE,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QACvC,MAAM,KAAK,GAAG,yBAAyB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClD,IAAI,KAAK;YAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,mCAAmC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9D,IAAI,OAAO;YAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC;AAQD,SAAS,UAAU,CAAC,GAAW;IAC7B,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,EAAE;aACb,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;aACzC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;aACzB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACtE,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IAC1B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,UAAkB,EAAE,OAAe;IACnD,MAAM,UAAU,GAA+D;QAC7E,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,eAAe,EAAE,gBAAgB,CAAC,EAAE;QAC/E,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,EAAE;QACvE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,CAAC,EAAE;KACnF,CAAC;IACF,MAAM,IAAI,GAAkB,EAAE,CAAC;IAC/B,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,UAAU,EAAE,CAAC;QACxC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5C,MAAM,MAAM,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,eAAe,CAAC,CACnE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAC/B,CAAC;QACF,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC;YAAE,SAAS;QACtC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;IAClG,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;AACpD,CAAC;AA2DD,MAAM,UAAU,GAAmC;IACjD,WAAW,EAAE,CAAC;IACd,OAAO,EAAE,CAAC;IACV,MAAM,EAAE,CAAC;IACT,OAAO,EAAE,CAAC;CACX,CAAC;AAEF,SAAS,GAAG,CAAC,UAAkB,EAAE,IAAY;IAC3C,OAAO,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACxC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,KAAK,CAAC,IAAY;IACzB,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,CAAC;IACX,CAAC;AACH,CAAC;AAED,0FAA0F;AAC1F,SAAS,qBAAqB,CAAC,SAAiB,EAAE,KAAa;IAC7D,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC,CAAC;IAC5D,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAEvB,CAAC;QACF,OAAO,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,EAAE,EAAE,IAAI,IAAI,CAAC;IACjG,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,SAAiB,EAAE,OAAwB,EAAE;IAC3E,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IAC5E,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAChD,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IAE3D,MAAM,EAAE,GAAG,QAAQ,CAAC,cAAc,CAAC,CAAC;IACpC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CACb,MAAM,GAAG,CAAC,UAAU,EAAE,cAAc,CAAC,2CAA2C,CACjF,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;IAEzC,IAAI,YAAgC,CAAC;IACrC,IAAI,CAAC;QACH,YAAY,GACV,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC,IAAI,IAAI,CACjE,CAAC,QAAQ,CAAC;IACb,CAAC;IAAC,MAAM,CAAC;QACP,YAAY,GAAG,SAAS,CAAC;IAC3B,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,YAAY,IAAI,WAAW,CAAC;IAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACpD,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAEpD,MAAM,QAAQ,GAAqD,EAAE,CAAC;IACtE,MAAM,GAAG,GAAG,CAAC,GAAW,EAAE,EAAE;QAC1B,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,GAAG,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC3E,CAAC,CAAC;IACF,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAC3C,IAAI,YAAY,GAAa,EAAE,CAAC;IAChC,IAAI,CAAC;QACH,YAAY,GAAG,EAAE;aACd,WAAW,CAAC,WAAW,CAAC;aACxB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;aACjC,IAAI,EAAE,CAAC;IACZ,CAAC;IAAC,MAAM,CAAC;QACP,YAAY,GAAG,EAAE,CAAC;IACpB,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,YAAY;QAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACtF,MAAM,UAAU,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5C,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CACvD,CAAC;IAEF,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;IACtD,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAE3C,MAAM,KAAK,GAAG,CAAC,CAAe,EAAmB,EAAE;QACjD,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3B,MAAM,IAAI,GAAG,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC;QAC9E,IAAI,CAAC,CAAC,QAAQ,KAAK,GAAG,IAAI,CAAC,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;YAC7C,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,aAAa;gBACrB,MAAM,EAAE,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,eAAe;aACrE,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,KAAK,GAAG;YACpB,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,iCAAiC,EAAE,CAAC;QAClF,IAAI,CAAC,CAAC;YACJ,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,0BAA0B,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC;QAC3F,IAAI,CAAC,CAAC,WAAW;YAAE,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC;QAE7F,0EAA0E;QAC1E,sDAAsD;QACtD,MAAM,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC;YACpC,CAAC,CAAC,eAAe,CACb,CAAC,CAAC,YAAY,EACd,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAC5B;YACH,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,YAAY,EAAE,GAAG,OAAO,CAAC,CAAC;QAC9C,gFAAgF;QAChF,MAAM,SAAS,GAAG;YAChB,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC;YAChC,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;SAC3E,CAAC;QACF,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACnD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAE5F,gFAAgF;QAChF,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,IAAI,KAAK,EAAE,CAAC;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,SAAS,KAAK,CAAC,IAAI,EAAE;gBAC7B,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC;gBAClC,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG;YAAE,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,qCAAqC,EAAE,CAAC;QAE1F,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QAC1C,IAAI,GAAG,KAAK,QAAQ;YAClB,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC;QAC9E,IAAI,GAAG,KAAK,OAAO;YACjB,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,wBAAwB,EAAE,GAAG,EAAE,CAAC;QACzF,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;QAC5E,IAAI,cAAc,CAAC,MAAM,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,mBAAmB,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC;YAClF,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC;QAChE,CAAC;QACD,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,aAAa,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC;IAC9E,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,YAAY,GAAG,IAAI,GAAG,EAAqB,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW;YAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IAC7F,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0D,CAAC;IACjF,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,OAAO,GAA0C,EAAE,CAAC;IAC1D,MAAM,YAAY,GAAoC,EAAE,CAAC;IACzD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACnB,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7E,IAAI,CAAC,CAAC,cAAc,EAAE,CAAC;YACrB,YAAY,CAAC,IAAI,CAAC;gBAChB,QAAQ,EAAE,CAAC,CAAC,EAAE;gBACd,SAAS,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC,WAAW;gBACnC,QAAQ,EAAE,CAAC,CAAC,cAAc;aAC3B,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,IAAI,CAAC,CAAC,WAAW;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;;gBACzE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QACD,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACnC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACxB,CAAC;IAED,MAAM,OAAO,GAAoB;QAC/B,eAAe,EAAE,GAAG,CAAC,UAAU,EAAE,cAAc,CAAC;QAChD,SAAS,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC;QACpC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACrB,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,WAAW,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE;YAC9C,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;SACvE,CAAC,CAAC;QACH,UAAU,EAAE,EAAE;QACd,cAAc,EAAE,EAAE;QAClB,mBAAmB,EAAE,QAAQ;QAC7B,kBAAkB,EAAE,OAAO;QAC3B,YAAY;KACb,CAAC;IAEF,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,MAAM,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC;QACzD,wFAAwF;QACxF,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,MAAO,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,MAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,MAAM,OAAO,GAAG,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC;QAC/F,MAAM,MAAM,GAAG,OAAO,EAAE,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC;QACzC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC;QAEtD,MAAM,GAAG,GAAsB;YAC7B,EAAE,EAAE,KAAK;YACT,SAAS,EAAE,GAAG,CAAC,SAAS;YACxB,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtC,MAAM,EAAE,MAAM,IAAI,WAAW;YAC7B,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,IAAI,IAAI;YAClC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM;SACzB,CAAC;QACF,IAAI,OAAO,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,IAAI,IAAI;YAAE,GAAG,CAAC,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;QAClE,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK;YAAE,GAAG,CAAC,UAAU,GAAG,KAAK,CAAC;QAE1D,MAAM,IAAI,GAA2C;YACnD,IAAI,EAAE,MAAM;YACZ,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE;SAC1B,CAAC;QACF,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC;QAC9C,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QAC3B,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;YACrB,IAAI,CAAC,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,iCAAiC;YACnE,IAAI,GAAG,CAAC,IAAI,IAAI,IAAI;gBAAE,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;YAC3C,IAAI,OAAO,EAAE,CAAC,CAAC,GAAG;gBAAE,IAAI,CAAC,WAAW,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;QACvF,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,MAAM;YAAE,gBAAgB,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAE3D,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAC/D,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjB,GAAG,CAAC,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;YAC9B,CAAC;iBAAM,CAAC;gBACN,MAAM,QAAQ,GAAG,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;gBACzD,IAAI,QAAQ,EAAE,CAAC;oBACb,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAC;gBAC1B,CAAC;qBAAM,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;oBACxB,GAAG,CAAC,QAAQ,GAAG,WAAW,CAAC,SAAS,EAAE;wBACpC,MAAM,EAAE,WAAW;wBACnB,UAAU,EAAE,KAAK;wBACjB,KAAK,EAAE,qBAAqB,GAAG,CAAC,SAAS,EAAE;wBAC3C,QAAQ,EAAE,MAAM;qBACjB,CAAC,CAAC;oBACH,GAAG,CAAC,aAAa,GAAG,IAAI,CAAC;oBACzB,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;gBACzE,CAAC;gBACD,IAAI,GAAG,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,MAAM;oBAAE,kBAAkB,CAAC,SAAS,EAAE,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;YACvF,CAAC;QACH,CAAC;QACD,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC1F,OAAO,OAAO,CAAC;AACjB,CAAC"}