hex-audit 0.6.3 → 0.8.0

package/dist/core/fix-review.d.ts

@@ -0,0 +1,54 @@
+/**
+ * Fix review: pure helpers (classification, commit mapping, GitHub body
+ * rewriting). Orchestration with git/forge lives in src/commands/fix-review.ts.
+ */
+import type { FixReviewCard } from '../types/index.js';
+export type PocResult = 'passing' | 'failing' | 'error' | 'missing';
+/**
+ * Status from the evidence, most decisive first:
+ *  - the PoC fails at the fix commit → fixed (it reproduced at audit time)
+ *  - the PoC still passes → not_fixed
+ *  - every function the card is about was removed → fixed (code path gone)
+ *  - code or commits touch the card but no PoC verdict → unknown (agent judges)
+ *  - nothing touches it → unaddressed
+ */
+export declare function classifyCard(input: {
+    pocBefore?: PocResult;
+    pocAfter?: PocResult;
+    cardFunctions: string[];
+    changedFunctions: string[];
+    removedFunctions: string[];
+    commits: string[];
+}): {
+    status: FixReviewCard['status'];
+    evidence: string;
+};
+/** Commits whose message cites the card id (`H-012`) or its GitHub issue (`#12`, `fixes #12`). */
+export declare function commitsForCard(commits: Array<{
+    sha: string;
+    subject: string;
+    body?: string;
+}>, card: {
+    id: string;
+    github_issue?: number;
+}): string[];
+/**
+ * Rewrite only the Status and "Update from the client" fields of a Hex-format
+ * issue body; every other byte is preserved. Missing fields are appended in
+ * template order.
+ */
+export declare function rewriteIssueBody(body: string, fields: {
+    status?: string;
+    update?: string;
+}): string;
+/**
+ * Index of the unmapped change a reference names: `Contract.entity` with or
+ * without the signature (`Vault.sweep`, `Vault.sweep(address,address,uint256)`),
+ * or the bare entity name when it is unique. Throws when nothing or more than
+ * one change matches.
+ */
+export declare function findUnmappedChange(changes: ReadonlyArray<{
+    contract: string;
+    entity: string;
+}>, ref: string): number;
+//# sourceMappingURL=fix-review.d.ts.map

package/dist/core/fix-review.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fix-review.d.ts","sourceRoot":"","sources":["../../src/core/fix-review.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEvD,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,OAAO,GAAG,SAAS,CAAC;AAEpE;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE;IAClC,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,QAAQ,CAAC,EAAE,SAAS,CAAC;IACrB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB,GAAG;IAAE,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAiCxD;AAED,kGAAkG;AAClG,wBAAgB,cAAc,CAC5B,OAAO,EAAE,KAAK,CAAC;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,EAC/D,IAAI,EAAE;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1C,MAAM,EAAE,CASV;AAKD;;;;GAIG;AACH,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE;IAAE,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GAC3C,MAAM,CAgBR;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,aAAa,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,EAC5D,GAAG,EAAE,MAAM,GACV,MAAM,CAiBR"}

package/dist/core/fix-review.js

@@ -0,0 +1,98 @@
+/**
+ * Status from the evidence, most decisive first:
+ *  - the PoC fails at the fix commit → fixed (it reproduced at audit time)
+ *  - the PoC still passes → not_fixed
+ *  - every function the card is about was removed → fixed (code path gone)
+ *  - code or commits touch the card but no PoC verdict → unknown (agent judges)
+ *  - nothing touches it → unaddressed
+ */
+export function classifyCard(input) {
+    const { pocBefore, pocAfter, cardFunctions, changedFunctions, removedFunctions, commits } = input;
+    if (pocAfter === 'failing' && pocBefore !== 'failing') {
+        return {
+            status: 'fixed',
+            evidence: 'The PoC reproduced the issue at the audited commit and fails at the fix commit.',
+        };
+    }
+    if (pocAfter === 'passing') {
+        return {
+            status: 'not_fixed',
+            evidence: changedFunctions.length
+                ? `The code changed (${changedFunctions.join(', ')}) but the PoC still reproduces the issue.`
+                : 'The PoC still reproduces the issue at the fix commit.',
+        };
+    }
+    if (cardFunctions.length && cardFunctions.every((f) => removedFunctions.includes(f))) {
+        return {
+            status: 'fixed',
+            evidence: `The affected code was removed (${cardFunctions.join(', ')}).`,
+        };
+    }
+    if (changedFunctions.length || commits.length) {
+        const why = pocAfter === 'error' ? ' The PoC no longer compiles against the new code.' : '';
+        return {
+            status: 'unknown',
+            evidence: `Touched by ${[changedFunctions.length ? changedFunctions.join(', ') : '', commits.length ? `commit${commits.length > 1 ? 's' : ''} ${commits.map((c) => c.slice(0, 7)).join(', ')}` : ''].filter(Boolean).join(' and ')}; needs a judgement.${why}`,
+        };
+    }
+    return {
+        status: 'unaddressed',
+        evidence: 'No change between the audited and fix commits touches this issue.',
+    };
+}
+/** Commits whose message cites the card id (`H-012`) or its GitHub issue (`#12`, `fixes #12`). */
+export function commitsForCard(commits, card) {
+    const idRe = new RegExp(`\\b${card.id}\\b`);
+    const ghRe = card.github_issue ? new RegExp(`#${card.github_issue}\\b`) : null;
+    return commits
+        .filter((c) => {
+        const text = `${c.subject}\n${c.body ?? ''}`;
+        return idRe.test(text) || (ghRe ? ghRe.test(text) : false);
+    })
+        .map((c) => c.sha);
+}
+const STATUS_RE = /(\*\*Status\*\*:)[^\n]*(\n|$)/;
+const UPDATE_RE = /(\*\*Update from the client\*\*:)[\s\S]*$/;
+/**
+ * Rewrite only the Status and "Update from the client" fields of a Hex-format
+ * issue body; every other byte is preserved. Missing fields are appended in
+ * template order.
+ */
+export function rewriteIssueBody(body, fields) {
+    let out = body;
+    if (fields.status !== undefined) {
+        if (STATUS_RE.test(out))
+            out = out.replace(STATUS_RE, (_m, label, nl) => `${label} ${fields.status}${nl}`);
+        else
+            out = `${out.replace(/\s*$/, '')}\n\n**Status**: ${fields.status}\n`;
+    }
+    if (fields.update !== undefined) {
+        if (UPDATE_RE.test(out))
+            out = out.replace(UPDATE_RE, (_m, label) => `${label} ${fields.update}\n`);
+        else
+            out = `${out.replace(/\s*$/, '')}\n\n**Update from the client**: ${fields.update}\n`;
+    }
+    return out;
+}
+/**
+ * Index of the unmapped change a reference names: `Contract.entity` with or
+ * without the signature (`Vault.sweep`, `Vault.sweep(address,address,uint256)`),
+ * or the bare entity name when it is unique. Throws when nothing or more than
+ * one change matches.
+ */
+export function findUnmappedChange(changes, ref) {
+    const name = (e) => e.split('(')[0];
+    const hits = changes
+        .map((c, i) => ({ c, i }))
+        .filter(({ c }) => ref.includes('.')
+        ? `${c.contract}.${c.entity}` === ref || `${c.contract}.${name(c.entity)}` === ref
+        : c.entity === ref || name(c.entity) === ref);
+    if (hits.length === 0)
+        throw new Error(`No unmapped change matches ${ref}`);
+    if (hits.length > 1)
+        throw new Error(`${ref} matches ${hits.length} unmapped changes; use Contract.entity(signature): ${hits
+            .map(({ c }) => `${c.contract}.${c.entity}`)
+            .join(', ')}`);
+    return hits[0].i;
+}
+//# sourceMappingURL=fix-review.js.map

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"}