sourceverity 1.0.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 SourceVerity Contributors
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,188 @@
+# SourceVerity
+
+SourceVerity is a repository-aware frontend correctness and quality auditor for JavaScript, TypeScript, and React applications.
+
+It identifies high-value correctness defects, resource leaks, async hazards, and hidden type-safety gaps that standard compilation, weak TypeScript configurations, or style linters do not reject.
+
+```bash
+npx sourceverity scan .
+```
+
+---
+
+## Philosophy & Scope
+
+SourceVerity operates on the principle: **Respect the repository. Audit beyond the repository.**
+
+Many production codebases maintain loose TypeScript compiler options (such as `strictNullChecks: false` or `noUncheckedIndexedAccess: false`) for historical migration reasons. SourceVerity understands what your compiler accepts while independently determining whether runtime operations are genuinely safe.
+
+### What SourceVerity Detects
+- **Async Hazards**: Unawaited callbacks in array iterations, floating/unhandled Promises, missing error rejection handling.
+- **Hidden Type-Safety Gaps**: Unvalidated runtime data (`JSON.parse()`, `response.json()`) asserted directly to domain types, risky non-null assertions on nullable types, unsafe unchecked index accesses.
+- **Browser Resource Leaks**: Missing or mismatched `addEventListener` cleanup in lifecycle scopes, uncleaned intervals (`setInterval`), un-disconnected DOM Observers (`ResizeObserver`, `MutationObserver`).
+- **Network Misuse**: Unchecked HTTP response status prior to consuming response bodies.
+- **React Lifecycle Deficiencies**: Direct async callbacks passed to `useEffect`, derived local state unnecessarily synchronized inside effects, uncleaned resource subscriptions.
+- **TypeScript Strictness Migration Gaps**: Measurable evaluation of potential compiler diagnostics if strict compiler flags were enabled.
+
+### What SourceVerity Is Not
+- Not a code formatter or style enforcer (not an alternative to Prettier or Biome formatting).
+- Not a subjective opinion generator or naming linter.
+- Not an LLM wrapper or AI reviewer (all diagnostics are computed deterministically via static AST and TypeScript semantic analysis).
+
+---
+
+## Installation & CLI Usage
+
+Run SourceVerity directly using `npx`:
+
+```bash
+# Audit the current repository
+npx sourceverity scan .
+
+# Run with custom failure threshold (error, warning, never)
+npx sourceverity scan . --fail-on warning
+
+# Report only high-confidence findings
+npx sourceverity scan . --min-confidence high
+
+# Analyze only git-changed files
+npx sourceverity scan . --changed
+```
+
+### Output Formats
+
+```bash
+# Default human-readable terminal format
+npx sourceverity scan . --format pretty
+
+# Deterministic JSON format
+npx sourceverity scan . --format json
+
+# Machine format tailored for LLMs and coding agents (e.g. Codex)
+npx sourceverity scan . --format agent
+
+# Standard SARIF 2.1.0 format for GitHub Code Scanning
+npx sourceverity scan . --format sarif
+```
+
+---
+
+## Using SourceVerity with Coding Agents
+
+SourceVerity's `agent` format provides structured, deterministic diagnostics optimized for coding assistants like Codex.
+
+Example prompt for a coding agent:
+
+```text
+Run `npx sourceverity scan . --format agent`.
+Review high-confidence correctness findings.
+Fix verified correctness issues without modifying unrelated formatting or architecture.
+Run the project's test suite to verify no regressions.
+Run SourceVerity again to verify resolution.
+```
+
+---
+
+## TypeScript Strictness Gap Analysis
+
+Inspect the safety gaps in your existing `tsconfig.json` and measure migration impact:
+
+```bash
+npx sourceverity strictness .
+```
+
+Example output:
+
+```text
+TypeScript Strictness Gap Analysis
+
+Current Configuration:
+  strict                         false
+  strictNullChecks               false
+  noUncheckedIndexedAccess       false
+  exactOptionalPropertyTypes     false
+
+Migration Impact (New Compiler Diagnostics):
+  strictNullChecks                42 diagnostics
+  noUncheckedIndexedAccess        18 diagnostics
+  exactOptionalPropertyTypes       4 diagnostics
+
+Top Affected Files:
+  src/api/client.ts               12
+  src/state/user.ts                8
+```
+
+---
+
+## Baseline Management
+
+When adopting SourceVerity on an existing codebase with existing findings, generate a baseline to track new regressions without blocking current work:
+
+```bash
+# Create or update baseline
+npx sourceverity baseline create
+
+# Run scan checking only new findings against baseline
+npx sourceverity scan . --baseline
+```
+
+---
+
+## Suppressions
+
+To suppress an intentional exception, use a line-level suppression comment with a required or strongly recommended explanation:
+
+```ts
+// sourceverity-disable-next-line typescript/unsafe-unvalidated-assertion -- verified by upstream API gateway schema
+const user = JSON.parse(payload) as User;
+```
+
+---
+
+## Initial Production Rule Set
+
+| Rule ID | Category | Default Severity | Confidence | Description |
+| ------- | -------- | ---------------- | ---------- | ----------- |
+| `async/async-foreach` | Async | Error | High | Asynchronous callback passed to `Array.prototype.forEach`. |
+| `async/floating-promise` | Async | Error | High | Unhandled Promise returned in statement position without handling or void operator. |
+| `typescript/unsafe-unvalidated-assertion` | TypeScript | Error | High | Unvalidated runtime data (`JSON.parse`, `response.json()`) asserted directly to a type. |
+| `typescript/non-null-assertion-risk` | TypeScript | Warning | High | Non-null assertion (`!`) on value whose semantic type contains null or undefined. |
+| `typescript/unchecked-index-access` | TypeScript | Warning | Medium | Dynamic property or index access dereferenced without presence check in loose config. |
+| `network/fetch-status-unchecked` | Network | Warning | High | Consuming `fetch()` response body without checking `response.ok` or `response.status`. |
+| `browser/event-listener-cleanup` | Browser | Error | High | `addEventListener` registered in lifecycle scope without matching `removeEventListener`. |
+| `browser/timer-cleanup` | Browser | Error | High | `setInterval` registered in lifecycle scope without corresponding `clearInterval`. |
+| `browser/observer-cleanup` | Browser | Error | High | DOM Observer (`ResizeObserver`, etc.) created in lifecycle scope without `.disconnect()`. |
+| `react/async-effect-callback` | React | Error | High | Async function passed directly as `useEffect` callback argument. |
+| `react/derived-state-effect` | React | Warning | High | `useEffect` used exclusively to derive local state from render inputs. |
+| `react/missing-effect-cleanup` | React | Warning | High | Subscriptions or event targets instantiated in `useEffect` without returned cleanup. |
+
+---
+
+## Programmatic API
+
+SourceVerity exposes a TypeScript programmatic API for build tool and custom CI integrations:
+
+```ts
+import { scanRepository } from "sourceverity";
+
+const result = await scanRepository({
+  targetDir: process.cwd(),
+  minConfidence: "high",
+});
+
+console.log(`Found ${result.findings.length} findings across ${result.summary.filesAnalyzed} files.`);
+```
+
+---
+
+## Requirements & Engines
+
+- Node.js >= 20.12.0
+- Supports npm, pnpm, Yarn, and Bun workspaces
+- Analyzes TypeScript (using project's local TypeScript installation) and JavaScript
+
+---
+
+## License
+
+MIT © 2026 SourceVerity Contributors

package/bin/sourceverity.js

@@ -0,0 +1,12 @@
+#!/usr/bin/env node
+
+import { runCli } from "../dist/cli/main.js";
+
+try {
+  const code = await runCli(process.argv.slice(2));
+  process.exitCode = code;
+} catch (error) {
+  const message = error instanceof Error ? error.message : String(error);
+  process.stderr.write(`sourceverity: fatal error: ${message}\n`);
+  process.exitCode = 3;
+}

package/dist/analysis/controlFlow.d.ts

@@ -0,0 +1,10 @@
+import type * as tsType from "typescript";
+export interface GuardCheckResult {
+    readonly isGuarded: boolean;
+    readonly evidence?: string | undefined;
+}
+/**
+ * Checks if a non-null assertion operand is guarded against null/undefined or out-of-bounds access.
+ */
+export declare function isGuardedNonNullAssertion(node: tsType.NonNullExpression, ts: typeof tsType, checker?: tsType.TypeChecker | undefined): GuardCheckResult;
+//# sourceMappingURL=controlFlow.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"controlFlow.d.ts","sourceRoot":"","sources":["../../src/analysis/controlFlow.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,YAAY,CAAC;AAG1C,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACxC;AAmQD;;GAEG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,MAAM,CAAC,iBAAiB,EAC9B,EAAE,EAAE,OAAO,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS,GACvC,gBAAgB,CAsGlB"}

package/dist/analysis/controlFlow.js

@@ -0,0 +1,278 @@
+import { unwrapExpression } from "./values.js";
+/**
+ * Checks if a statement definitely exits control flow (return, throw, break, continue).
+ */
+function statementExitsControlFlow(stmt, ts) {
+    if (ts.isReturnStatement(stmt) ||
+        ts.isThrowStatement(stmt) ||
+        ts.isBreakStatement(stmt) ||
+        ts.isContinueStatement(stmt)) {
+        return true;
+    }
+    if (ts.isBlock(stmt)) {
+        const stmts = stmt.statements;
+        if (stmts.length === 0)
+            return false;
+        const last = stmts[stmts.length - 1];
+        return last !== undefined && statementExitsControlFlow(last, ts);
+    }
+    return false;
+}
+function normalizeIndexExpression(expr, ts, checker) {
+    const unwrapped = unwrapExpression(expr, ts);
+    if (ts.isIdentifier(unwrapped)) {
+        const sym = checker?.getSymbolAtLocation(unwrapped);
+        return { baseText: unwrapped.text, baseSymbol: sym, offset: 0 };
+    }
+    if (ts.isBinaryExpression(unwrapped)) {
+        const left = unwrapExpression(unwrapped.left, ts);
+        const right = unwrapExpression(unwrapped.right, ts);
+        if (ts.isIdentifier(left) && ts.isNumericLiteral(right)) {
+            const num = Number(right.text);
+            if (!Number.isNaN(num)) {
+                const sym = checker?.getSymbolAtLocation(left);
+                if (unwrapped.operatorToken.kind === ts.SyntaxKind.PlusToken) {
+                    return { baseText: left.text, baseSymbol: sym, offset: num };
+                }
+                if (unwrapped.operatorToken.kind === ts.SyntaxKind.MinusToken) {
+                    return { baseText: left.text, baseSymbol: sym, offset: -num };
+                }
+            }
+        }
+    }
+    return undefined;
+}
+function normalizeArrayTarget(expr, ts, checker) {
+    const unwrapped = unwrapExpression(expr, ts);
+    if (ts.isIdentifier(unwrapped)) {
+        const sym = checker?.getSymbolAtLocation(unwrapped);
+        return { text: unwrapped.text, symbol: sym };
+    }
+    if (ts.isPropertyAccessExpression(unwrapped)) {
+        const sym = checker?.getSymbolAtLocation(unwrapped);
+        return { text: unwrapped.getText(), symbol: sym };
+    }
+    return undefined;
+}
+/**
+ * Checks if a binary condition expression guards an index lower bound (e.g. index === -1 or index < 0).
+ */
+function isLowerBoundNegativeGuard(cond, indexInfo, ts) {
+    const unwrapped = unwrapExpression(cond, ts);
+    if (!ts.isBinaryExpression(unwrapped))
+        return false;
+    const left = unwrapExpression(unwrapped.left, ts);
+    const right = unwrapExpression(unwrapped.right, ts);
+    const op = unwrapped.operatorToken.kind;
+    // index === -1 or -1 === index
+    if (op === ts.SyntaxKind.EqualsEqualsToken || op === ts.SyntaxKind.EqualsEqualsEqualsToken) {
+        if (ts.isIdentifier(left) && left.text === indexInfo.baseText) {
+            if (ts.isPrefixUnaryExpression(right) && right.operator === ts.SyntaxKind.MinusToken && ts.isNumericLiteral(right.operand) && right.operand.text === "1") {
+                return true;
+            }
+        }
+        if (ts.isIdentifier(right) && right.text === indexInfo.baseText) {
+            if (ts.isPrefixUnaryExpression(left) && left.operator === ts.SyntaxKind.MinusToken && ts.isNumericLiteral(left.operand) && left.operand.text === "1") {
+                return true;
+            }
+        }
+    }
+    // index < 0
+    if (op === ts.SyntaxKind.LessThanToken) {
+        if (ts.isIdentifier(left) && left.text === indexInfo.baseText && ts.isNumericLiteral(right) && right.text === "0") {
+            return true;
+        }
+    }
+    // 0 > index
+    if (op === ts.SyntaxKind.GreaterThanToken) {
+        if (ts.isNumericLiteral(left) && left.text === "0" && ts.isIdentifier(right) && right.text === indexInfo.baseText) {
+            return true;
+        }
+    }
+    return false;
+}
+/**
+ * Checks if an expression represents `array.length` or `array.length - K`.
+ */
+function parseArrayLengthOffset(expr, arrayInfo, ts) {
+    const unwrapped = unwrapExpression(expr, ts);
+    // array.length
+    if (ts.isPropertyAccessExpression(unwrapped) && unwrapped.name.text === "length") {
+        const obj = unwrapExpression(unwrapped.expression, ts);
+        if (ts.isIdentifier(obj) && obj.text === arrayInfo.text) {
+            return 0;
+        }
+    }
+    // array.length - K
+    if (ts.isBinaryExpression(unwrapped) && unwrapped.operatorToken.kind === ts.SyntaxKind.MinusToken) {
+        const left = unwrapExpression(unwrapped.left, ts);
+        const right = unwrapExpression(unwrapped.right, ts);
+        if (ts.isPropertyAccessExpression(left) && left.name.text === "length") {
+            const obj = unwrapExpression(left.expression, ts);
+            if (ts.isIdentifier(obj) && obj.text === arrayInfo.text && ts.isNumericLiteral(right)) {
+                const k = Number(right.text);
+                if (!Number.isNaN(k))
+                    return k;
+            }
+        }
+    }
+    return undefined;
+}
+/**
+ * Checks if a binary condition expression guards an upper bound against array.length.
+ * e.g. `index >= array.length` or `index >= array.length - 1` or `index > array.length - 1`.
+ */
+function isUpperBoundLengthGuard(cond, indexInfo, arrayInfo, ts) {
+    const unwrapped = unwrapExpression(cond, ts);
+    if (!ts.isBinaryExpression(unwrapped))
+        return { isGuard: false, maxAllowedOffset: 0 };
+    const left = unwrapExpression(unwrapped.left, ts);
+    const right = unwrapExpression(unwrapped.right, ts);
+    const op = unwrapped.operatorToken.kind;
+    // Pattern: `index >= [length expression]`
+    if (op === ts.SyntaxKind.GreaterThanEqualsToken && ts.isIdentifier(left) && left.text === indexInfo.baseText) {
+        const lengthMinus = parseArrayLengthOffset(right, arrayInfo, ts);
+        if (lengthMinus !== undefined) {
+            // index >= array.length - lengthMinus (exit)
+            // after exit: index < array.length - lengthMinus
+            // => index + offset < array.length is safe if offset <= lengthMinus - (lengthMinus === 0 ? 0 : 0) -> offset < lengthMinus + 1 => offset <= lengthMinus
+            // Specifically: if lengthMinus === 1 (index >= array.length - 1), then index < array.length - 1, so index + 1 < array.length (offset 1 is safe).
+            // If lengthMinus === 0 (index >= array.length), then index < array.length (offset 0 is safe).
+            return { isGuard: true, maxAllowedOffset: lengthMinus };
+        }
+    }
+    // Pattern: `index > [length expression]`
+    if (op === ts.SyntaxKind.GreaterThanToken && ts.isIdentifier(left) && left.text === indexInfo.baseText) {
+        const lengthMinus = parseArrayLengthOffset(right, arrayInfo, ts);
+        if (lengthMinus !== undefined) {
+            // index > array.length - 1 (exit) => index <= array.length - 1 => index < array.length (offset 0 safe)
+            return { isGuard: true, maxAllowedOffset: lengthMinus - 1 };
+        }
+    }
+    return { isGuard: false, maxAllowedOffset: 0 };
+}
+/**
+ * Checks if an exit condition contains both a lower-bound check and an upper-bound check.
+ */
+function isCompleteBoundsExitGuard(cond, indexInfo, arrayInfo, ts) {
+    // Collect all OR disjuncts: A || B || C
+    const disjuncts = [];
+    function collectOrs(e) {
+        const u = unwrapExpression(e, ts);
+        if (ts.isBinaryExpression(u) && u.operatorToken.kind === ts.SyntaxKind.BarBarToken) {
+            collectOrs(u.left);
+            collectOrs(u.right);
+        }
+        else {
+            disjuncts.push(u);
+        }
+    }
+    collectOrs(cond);
+    let hasLower = false;
+    let maxUpperOffset = -1;
+    for (const d of disjuncts) {
+        if (isLowerBoundNegativeGuard(d, indexInfo, ts)) {
+            hasLower = true;
+        }
+        const upper = isUpperBoundLengthGuard(d, indexInfo, arrayInfo, ts);
+        if (upper.isGuard) {
+            maxUpperOffset = Math.max(maxUpperOffset, upper.maxAllowedOffset);
+        }
+    }
+    if (hasLower && maxUpperOffset >= indexInfo.offset) {
+        return true;
+    }
+    return false;
+}
+/**
+ * Checks if a non-null assertion operand is guarded against null/undefined or out-of-bounds access.
+ */
+export function isGuardedNonNullAssertion(node, ts, checker) {
+    const operand = unwrapExpression(node.expression, ts);
+    // Case 1: Indexed access non-null assertion: `array[index]!`
+    if (ts.isElementAccessExpression(operand)) {
+        const arrayInfo = normalizeArrayTarget(operand.expression, ts, checker);
+        const indexInfo = normalizeIndexExpression(operand.argumentExpression, ts, checker);
+        if (arrayInfo && indexInfo) {
+            // Find enclosing block / function containing the statement of this node
+            let stmt = node;
+            while (stmt.parent && !ts.isBlock(stmt.parent) && !ts.isSourceFile(stmt.parent)) {
+                stmt = stmt.parent;
+            }
+            if (stmt.parent && (ts.isBlock(stmt.parent) || ts.isSourceFile(stmt.parent))) {
+                const statements = ts.isBlock(stmt.parent) ? stmt.parent.statements : stmt.parent.statements;
+                const targetIndex = statements.indexOf(stmt);
+                if (targetIndex > 0) {
+                    // Look at prior sibling statements
+                    for (let i = 0; i < targetIndex; i++) {
+                        const prior = statements[i];
+                        if (!prior)
+                            continue;
+                        // Look for early-exit if guard: if (index === -1 || index >= array.length - 1) return null;
+                        if (ts.isIfStatement(prior)) {
+                            if (statementExitsControlFlow(prior.thenStatement, ts)) {
+                                if (isCompleteBoundsExitGuard(prior.expression, indexInfo, arrayInfo, ts)) {
+                                    return {
+                                        isGuarded: true,
+                                        evidence: `Dominating guard '${prior.expression.getText()}' proves index '${indexInfo.baseText}${indexInfo.offset ? ` + ${indexInfo.offset}` : ""}' is strictly in-bounds for '${arrayInfo.text}'.`,
+                                    };
+                                }
+                            }
+                        }
+                    }
+                }
+            }
+        }
+    }
+    // Case 2: Direct variable / identifier non-null assertion: `target!`
+    if (ts.isIdentifier(operand)) {
+        const targetName = operand.text;
+        let stmt = node;
+        while (stmt.parent && !ts.isBlock(stmt.parent) && !ts.isSourceFile(stmt.parent)) {
+            stmt = stmt.parent;
+        }
+        if (stmt.parent && (ts.isBlock(stmt.parent) || ts.isSourceFile(stmt.parent))) {
+            const statements = ts.isBlock(stmt.parent) ? stmt.parent.statements : stmt.parent.statements;
+            const targetIndex = statements.indexOf(stmt);
+            if (targetIndex > 0) {
+                for (let i = 0; i < targetIndex; i++) {
+                    const prior = statements[i];
+                    if (!prior)
+                        continue;
+                    if (ts.isIfStatement(prior) && statementExitsControlFlow(prior.thenStatement, ts)) {
+                        const cond = unwrapExpression(prior.expression, ts);
+                        // if (!target) return;
+                        if (ts.isPrefixUnaryExpression(cond) && cond.operator === ts.SyntaxKind.ExclamationToken) {
+                            const inner = unwrapExpression(cond.operand, ts);
+                            if (ts.isIdentifier(inner) && inner.text === targetName) {
+                                return {
+                                    isGuarded: true,
+                                    evidence: `Dominating guard '!${targetName}' proves operand is non-null.`,
+                                };
+                            }
+                        }
+                        // if (target === null || target === undefined || target == null) return;
+                        if (ts.isBinaryExpression(cond)) {
+                            const left = unwrapExpression(cond.left, ts);
+                            const right = unwrapExpression(cond.right, ts);
+                            if ((ts.isIdentifier(left) && left.text === targetName) ||
+                                (ts.isIdentifier(right) && right.text === targetName)) {
+                                const other = ts.isIdentifier(left) && left.text === targetName ? right : left;
+                                if (other.kind === ts.SyntaxKind.NullKeyword ||
+                                    other.kind === ts.SyntaxKind.UndefinedKeyword ||
+                                    (ts.isIdentifier(other) && other.text === "undefined")) {
+                                    return {
+                                        isGuarded: true,
+                                        evidence: `Dominating null check proves '${targetName}' is non-null.`,
+                                    };
+                                }
+                            }
+                        }
+                    }
+                }
+            }
+        }
+    }
+    return { isGuarded: false };
+}
+//# sourceMappingURL=controlFlow.js.map

package/dist/analysis/controlFlow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"controlFlow.js","sourceRoot":"","sources":["../../src/analysis/controlFlow.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAO/C;;GAEG;AACH,SAAS,yBAAyB,CAAC,IAAsB,EAAE,EAAiB;IAC1E,IACE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAC1B,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAC5B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC;QAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACrC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACrC,OAAO,IAAI,KAAK,SAAS,IAAI,yBAAyB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAcD,SAAS,wBAAwB,CAC/B,IAAuB,EACvB,EAAiB,EACjB,OAAwC;IAExC,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAE7C,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,OAAO,EAAE,mBAAmB,CAAC,SAAS,CAAC,CAAC;QACpD,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAClE,CAAC;IAED,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAEpD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;YACxD,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvB,MAAM,GAAG,GAAG,OAAO,EAAE,mBAAmB,CAAC,IAAI,CAAC,CAAC;gBAC/C,IAAI,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC;oBAC7D,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;gBAC/D,CAAC;gBACD,IAAI,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;oBAC9D,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC;gBAChE,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAUD,SAAS,oBAAoB,CAC3B,IAAuB,EACvB,EAAiB,EACjB,OAAwC;IAExC,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC7C,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,OAAO,EAAE,mBAAmB,CAAC,SAAS,CAAC,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC/C,CAAC;IACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,OAAO,EAAE,mBAAmB,CAAC,SAAS,CAAC,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACpD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;GAEG;AACH,SAAS,yBAAyB,CAChC,IAAuB,EACvB,SAA0B,EAC1B,EAAiB;IAEjB,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC7C,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IAEpD,MAAM,IAAI,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACpD,MAAM,EAAE,GAAG,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC;IAExC,+BAA+B;IAC/B,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EAAE,CAAC;QAC3F,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,QAAQ,EAAE,CAAC;YAC9D,IAAI,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;gBACzJ,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,QAAQ,EAAE,CAAC;YAChE,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;gBACrJ,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,YAAY;IACZ,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QACvC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,QAAQ,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;YAClH,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,YAAY;IACZ,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;QAC1C,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,GAAG,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,QAAQ,EAAE,CAAC;YAClH,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAC7B,IAAuB,EACvB,SAA0B,EAC1B,EAAiB;IAEjB,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAE7C,eAAe;IACf,IAAI,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjF,MAAM,GAAG,GAAG,gBAAgB,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACvD,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC;YACxD,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IAED,mBAAmB;IACnB,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;QAClG,MAAM,IAAI,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACpD,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACvE,MAAM,GAAG,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YAClD,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;gBACtF,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC7B,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;oBAAE,OAAO,CAAC,CAAC;YACjC,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,SAAS,uBAAuB,CAC9B,IAAuB,EACvB,SAA0B,EAC1B,SAA0B,EAC1B,EAAiB;IAEjB,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC7C,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC,EAAE,CAAC;IAEtF,MAAM,IAAI,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACpD,MAAM,EAAE,GAAG,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC;IAExC,0CAA0C;IAC1C,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,QAAQ,EAAE,CAAC;QAC7G,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;QACjE,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,6CAA6C;YAC7C,iDAAiD;YACjD,uJAAuJ;YACvJ,iJAAiJ;YACjJ,8FAA8F;YAC9F,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,WAAW,EAAE,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,yCAAyC;IACzC,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,QAAQ,EAAE,CAAC;QACvG,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;QACjE,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,uGAAuG;YACvG,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,WAAW,GAAG,CAAC,EAAE,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC,EAAE,CAAC;AACjD,CAAC;AAED;;GAEG;AACH,SAAS,yBAAyB,CAChC,IAAuB,EACvB,SAA0B,EAC1B,SAA0B,EAC1B,EAAiB;IAEjB,wCAAwC;IACxC,MAAM,SAAS,GAAwB,EAAE,CAAC;IAC1C,SAAS,UAAU,CAAC,CAAoB;QACtC,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClC,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;YACnF,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACnB,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;aAAM,CAAC;YACN,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IACD,UAAU,CAAC,IAAI,CAAC,CAAC;IAEjB,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,cAAc,GAAG,CAAC,CAAC,CAAC;IAExB,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,yBAAyB,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC;YAChD,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;QACD,MAAM,KAAK,GAAG,uBAAuB,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;QACnE,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAClB,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,IAAI,cAAc,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACnD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAA8B,EAC9B,EAAiB,EACjB,OAAwC;IAExC,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAEtD,6DAA6D;IAC7D,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1C,MAAM,SAAS,GAAG,oBAAoB,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QACxE,MAAM,SAAS,GAAG,wBAAwB,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;QAEpF,IAAI,SAAS,IAAI,SAAS,EAAE,CAAC;YAC3B,wEAAwE;YACxE,IAAI,IAAI,GAAgB,IAAI,CAAC;YAC7B,OAAO,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAChF,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;YACrB,CAAC;YAED,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;gBAC7E,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;gBAC7F,MAAM,WAAW,GAAG,UAAU,CAAC,OAAO,CAAC,IAAwB,CAAC,CAAC;gBAEjE,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;oBACpB,mCAAmC;oBACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;wBACrC,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;wBAC5B,IAAI,CAAC,KAAK;4BAAE,SAAS;wBAErB,4FAA4F;wBAC5F,IAAI,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;4BAC5B,IAAI,yBAAyB,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,CAAC,EAAE,CAAC;gCACvD,IAAI,yBAAyB,CAAC,KAAK,CAAC,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC;oCAC1E,OAAO;wCACL,SAAS,EAAE,IAAI;wCACf,QAAQ,EAAE,qBAAqB,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,mBAAmB,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,gCAAgC,SAAS,CAAC,IAAI,IAAI;qCACpM,CAAC;gCACJ,CAAC;4BACH,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;QAEhC,IAAI,IAAI,GAAgB,IAAI,CAAC;QAC7B,OAAO,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAChF,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QACrB,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YAC7E,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;YAC7F,MAAM,WAAW,GAAG,UAAU,CAAC,OAAO,CAAC,IAAwB,CAAC,CAAC;YAEjE,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;gBACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;oBACrC,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;oBAC5B,IAAI,CAAC,KAAK;wBAAE,SAAS;oBAErB,IAAI,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,yBAAyB,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,CAAC,EAAE,CAAC;wBAClF,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;wBAEpD,uBAAuB;wBACvB,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;4BACzF,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;4BACjD,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gCACxD,OAAO;oCACL,SAAS,EAAE,IAAI;oCACf,QAAQ,EAAE,sBAAsB,UAAU,+BAA+B;iCAC1E,CAAC;4BACJ,CAAC;wBACH,CAAC;wBAED,yEAAyE;wBACzE,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;4BAChC,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;4BAC7C,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;4BAC/C,IACE,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC;gCACnD,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,EACrD,CAAC;gCACD,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;gCAC/E,IACE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;oCACxC,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;oCAC7C,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,EACtD,CAAC;oCACD,OAAO;wCACL,SAAS,EAAE,IAAI;wCACf,QAAQ,EAAE,iCAAiC,UAAU,gBAAgB;qCACtE,CAAC;gCACJ,CAAC;4BACH,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAC9B,CAAC"}

package/dist/analysis/frameworks.d.ts

@@ -0,0 +1,11 @@
+import type * as tsType from "typescript";
+export interface FrameworkHandlingResult {
+    readonly isHandled: boolean;
+    readonly isKnownRejecting?: boolean | undefined;
+    readonly reason?: string | undefined;
+}
+/**
+ * Evaluates whether a CallExpression represents a verified, handled framework API call.
+ */
+export declare function evaluateFrameworkPromiseCall(callExpr: tsType.CallExpression, ts: typeof tsType, checker?: tsType.TypeChecker | undefined): FrameworkHandlingResult;
+//# sourceMappingURL=frameworks.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"frameworks.d.ts","sourceRoot":"","sources":["../../src/analysis/frameworks.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,YAAY,CAAC;AAG1C,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAChD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACtC;AAyDD;;GAEG;AACH,wBAAgB,4BAA4B,CAC1C,QAAQ,EAAE,MAAM,CAAC,cAAc,EAC/B,EAAE,EAAE,OAAO,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS,GACvC,uBAAuB,CA4JzB"}