tolk-inspect 0.0.0 → 0.1.1

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Andrei Karavatski
+
+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,104 @@
+# tolk-inspect
+
+Read-only AST and semantic inspection for in-memory Tolk projects, backed by Rust and
+WebAssembly.
+
+`tolk-inspect` is designed for audit tools, linters, code navigation, and visualizations.
+It resolves project-wide symbols and types, evaluates constants, exposes control-flow
+graphs, traces direct and indirect calls, and reports Acton linter diagnostics.
+
+## Install
+
+```bash
+npm install tolk-inspect
+```
+
+The package is ESM-only, runs on Node.js 22 or newer, and has no runtime dependencies.
+Browser bundling is not currently supported.
+
+## Quickstart
+
+```ts
+import { inspectProject } from "tolk-inspect";
+
+const project = await inspectProject({
+  root: "/project",
+  files: {
+    "/project/main.tolk": `
+      import "math";
+      fun main(): int { return answer(); }
+    `,
+    "/project/math.tolk": `
+      const VALUE = 42;
+      fun answer(): int { return VALUE; }
+    `,
+  },
+  entrypoints: ["/project/main.tolk"],
+});
+
+const answer = project.symbols().find((symbol) => symbol.name === "answer");
+if (answer) {
+  console.log("references", project.references(answer));
+  console.log("callers", project.callers(answer));
+  console.log("CFG", project.controlFlow(answer));
+}
+
+console.log("diagnostics", project.diagnostics());
+project.dispose();
+```
+
+All paths are logical, normalized project paths. The analyzer never reads the filesystem;
+the caller supplies every workspace, Tolk standard-library, and Acton-library source.
+For a complete project, pass those sources together with their roots:
+
+```ts
+const project = await inspectProject({
+  root: "/project",
+  files: {
+    ...workspaceSources,
+    ...tolkStandardLibrarySources,
+    ...actonLibrarySources,
+  },
+  entrypoints: ["/project/contracts/main.tolk"],
+  stdlibRoot: "/project/.acton/tolk-stdlib",
+  actonStdlibRoot: "/project/.acton",
+  importMappings: { "@acton": "/project/.acton" },
+});
+```
+
+## Main API
+
+An `InspectedProject` provides:
+
+- `files()`, `node()`, and AST traversal through `AstNode`
+- `symbols()`, `symbolFor()`, `symbolAt()`, `resolve()`, and `references()`
+- `typeOf()` and exact `constantValue()` results
+- `controlFlow()`, including successors, predecessors, reachability, and dominance
+- `callSites()`, `callGraph()`, `calls()`, and `callers()`
+- `diagnostics()`, including structured Acton linter fixes
+
+`callSites()` is the authoritative representation for indirect calls. A call may have
+several conservative targets; `complete: false` means an additional source-level target
+could not be identified.
+
+Call `dispose()` when the snapshot is no longer needed. Access after disposal throws.
+
+## Analysis boundaries
+
+- Snapshots are immutable; analyze again after changing source text.
+- Official C++ compiler diagnostics are not part of the WASM package.
+- Callables originating in opaque FFI, runtime, or deserialized data may remain incomplete.
+- Callable analysis is intentionally whole-program and context-insensitive, so a helper
+  called with different callbacks reports their conservative union.
+
+## Guides and compatibility
+
+- [Full project README](https://github.com/racinette/tolk-inspect#readme)
+- [Control-flow analysis](https://github.com/racinette/tolk-inspect/blob/main/docs/control-flow.md)
+- [Call-site and call-graph analysis](https://github.com/racinette/tolk-inspect/blob/main/docs/call-graph.md)
+- [Callable-flow coverage](https://github.com/racinette/tolk-inspect/blob/main/docs/callable-flow-audit.md)
+- [Design and known boundaries](https://github.com/racinette/tolk-inspect/blob/main/docs/design.md)
+
+The analysis backend is pinned to Acton commit
+`17654feb713c5824ee4cc0259b7be9b5f72898ba`. Use `versionInfo()` to inspect the package,
+Acton revision, and analyzer Tolk version at runtime.

package/THIRD_PARTY_NOTICES.md

@@ -0,0 +1,43 @@
+# Third-party notices
+
+The `tolk-inspect` WebAssembly binary incorporates third-party Rust software. The exact
+dependency versions and sources used for each release are recorded in the repository's
+committed `Cargo.lock` file.
+
+## Acton and Tolk components
+
+The analyzer incorporates `tolk-analysis`, `tolk-dataflow`, `tolk-linter`, `tolk-resolver`,
+`tolk-syntax`, `tolk-ty`, `ton-syntax`, and `tree-sitter-tolk` from:
+
+<https://github.com/ton-blockchain/acton>
+
+Revision: `17654feb713c5824ee4cc0259b7be9b5f72898ba`
+
+Copyright (c) 2025 TON Core
+
+These components are available under the Apache License 2.0 or the MIT License. This
+distribution uses them under the MIT option:
+
+> 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.
+
+## Other Rust dependencies
+
+The binary also incorporates the Rust crates in the `tolk-inspect-wasm` dependency tree,
+including `wasm-bindgen`, `serde`, `serde-wasm-bindgen`, `tree-sitter`, and their transitive
+dependencies. Each remains subject to its own license; the authoritative package names,
+versions, sources, and checksums are recorded in `Cargo.lock` at the source revision linked
+by npm provenance and the package's `repository` metadata.

package/dist/index.d.ts

@@ -0,0 +1,308 @@
+export type NodeId = string;
+export type SymbolId = string;
+export type TypeId = string;
+export type ControlFlowNodeId = string;
+export type ControlFlowScope = "none" | "workspace" | "all";
+export interface ProjectInput {
+    root: string;
+    files: Readonly<Record<string, string>> | ReadonlyMap<string, string>;
+    entrypoints?: readonly string[];
+    stdlibRoot?: string;
+    actonStdlibRoot?: string;
+    importMappings?: Readonly<Record<string, string>>;
+    /** Controls CFG generation. Defaults to `workspace`. */
+    controlFlow?: ControlFlowScope;
+}
+export interface Position {
+    readonly line: number;
+    readonly character: number;
+}
+export interface SourceRange {
+    readonly start: Position;
+    readonly end: Position;
+}
+export interface ByteRange {
+    readonly start: number;
+    readonly end: number;
+}
+export interface SourceLocation {
+    readonly path: string;
+    readonly range: SourceRange;
+    readonly byteRange: ByteRange;
+}
+export interface VersionInfo {
+    readonly packageVersion: string;
+    readonly actonRevision: string;
+    readonly tolkVersion: string;
+}
+export interface SymbolFlags {
+    readonly deprecated: boolean;
+    readonly pure: boolean;
+    readonly private: boolean;
+    readonly mutable: boolean;
+    readonly local: boolean;
+    readonly parameter: boolean;
+}
+export interface SymbolInfo {
+    readonly id: SymbolId;
+    readonly name: string;
+    readonly fqn: string;
+    readonly kind: string;
+    readonly declaration: SourceLocation;
+    readonly body?: SourceLocation;
+    readonly containingSymbol?: SymbolId;
+    readonly documentation?: string;
+    readonly flags: SymbolFlags;
+    readonly nodeId?: NodeId;
+}
+export interface ReferenceContext {
+    readonly namespace: "value" | "type" | "mixed";
+    readonly usage: "call" | "read" | "write" | "mutate";
+    /** Combinable access facts computed by Acton's `tolk-analysis`. */
+    readonly access: ReferenceAccess;
+}
+export interface ReferenceAccess {
+    readonly read: boolean;
+    readonly write: boolean;
+    readonly mutate: boolean;
+}
+export interface Reference {
+    readonly symbolId?: SymbolId;
+    readonly name: string;
+    readonly location: SourceLocation;
+    readonly context: ReferenceContext;
+    readonly nodeId?: NodeId;
+    readonly resolved: boolean;
+}
+export interface Resolution {
+    readonly nodeId: NodeId;
+    readonly symbolId?: SymbolId;
+    readonly symbol?: SymbolInfo;
+    readonly resolved: boolean;
+}
+export interface TypeInfo {
+    readonly id: TypeId;
+    readonly display: string;
+    readonly kind: string;
+    readonly symbolId?: SymbolId;
+    readonly elementTypes: readonly TypeId[];
+    readonly returnType?: TypeId;
+}
+export type ConstantValue = {
+    readonly kind: "int";
+    readonly value: string;
+    readonly display: string;
+} | {
+    readonly kind: "bool";
+    readonly value: boolean;
+    readonly display: string;
+} | {
+    readonly kind: "string";
+    readonly value: string;
+    readonly display: string;
+} | {
+    readonly kind: "overflow";
+    readonly display: string;
+} | {
+    readonly kind: "unknown";
+    readonly display: string;
+};
+export type ControlFlowNodeKind = "entry" | "exit" | "nop" | "expression" | "condition" | "assert" | "return" | "throw" | "break" | "continue" | "matchPattern" | "catchBinding" | "join";
+export type ControlFlowEdgeKind = "unconditional" | "trueBranch" | "falseBranch" | "loopBack" | "break" | "continue" | "return" | "throw" | "exceptional";
+export interface ControlFlowNode {
+    readonly id: ControlFlowNodeId;
+    readonly kind: ControlFlowNodeKind;
+    readonly location?: SourceLocation;
+    readonly astNodeId?: NodeId;
+    readonly reads: readonly SymbolId[];
+    readonly writes: readonly SymbolId[];
+}
+export interface ControlFlowEdge {
+    readonly from: ControlFlowNodeId;
+    readonly to: ControlFlowNodeId;
+    readonly kind: ControlFlowEdgeKind;
+}
+export interface CallEdge {
+    readonly caller: SymbolId;
+    readonly callee: SymbolId;
+    readonly callSite: SourceLocation;
+    readonly nodeId?: NodeId;
+    readonly dispatch: "direct" | "indirect";
+}
+export interface CallSite {
+    readonly caller: SymbolId;
+    readonly location: SourceLocation;
+    readonly nodeId?: NodeId;
+    readonly dispatch: "direct" | "indirect";
+    readonly targets: readonly SymbolId[];
+    readonly complete: boolean;
+}
+export interface Diagnostic {
+    readonly phase: "parse" | "project" | "resolution" | "type" | "lint";
+    readonly source: string;
+    readonly severity: "error" | "warning" | "information" | "hint";
+    readonly code?: string;
+    readonly message: string;
+    readonly location?: SourceLocation;
+    readonly help?: string;
+    readonly annotations: readonly DiagnosticAnnotation[];
+    readonly fixes: readonly DiagnosticFix[];
+}
+export interface DiagnosticAnnotation {
+    readonly location: SourceLocation;
+    readonly message?: string;
+    readonly primary: boolean;
+    readonly tags: readonly ("unnecessary" | "deprecated")[];
+}
+export interface DiagnosticFix {
+    readonly message: string;
+    readonly applicability: "automatic" | "manual";
+    readonly edits: readonly DiagnosticEdit[];
+}
+export interface DiagnosticEdit {
+    readonly location: SourceLocation;
+    readonly replacement: string;
+}
+export interface ImportInfo {
+    readonly path: string;
+    readonly targetPath?: string;
+    readonly location: SourceLocation;
+}
+interface RawAstNode {
+    id: NodeId;
+    kind: string;
+    rawKind: string;
+    named: boolean;
+    error: boolean;
+    parentId?: NodeId;
+    childIds: NodeId[];
+    fields: Record<string, NodeId[]>;
+    location: SourceLocation;
+    text: string;
+}
+interface RawSourceFile {
+    path: string;
+    source: string;
+    rootNode: NodeId;
+    sourceKind: "workspace" | "stdlib" | "acton";
+    imports: ImportInfo[];
+}
+interface RawResolution {
+    nodeId: NodeId;
+    symbolId?: SymbolId;
+    resolved: boolean;
+}
+interface RawNodeType {
+    nodeId: NodeId;
+    typeId: TypeId;
+}
+interface RawSymbolConstantValue {
+    symbolId: SymbolId;
+    value: ConstantValue;
+}
+interface RawControlFlowGraph {
+    symbolId: SymbolId;
+    entry: ControlFlowNodeId;
+    exit: ControlFlowNodeId;
+    nodes: ControlFlowNode[];
+    edges: ControlFlowEdge[];
+}
+interface Snapshot {
+    version: VersionInfo;
+    root: string;
+    files: RawSourceFile[];
+    nodes: RawAstNode[];
+    symbols: SymbolInfo[];
+    references: Reference[];
+    resolutions: RawResolution[];
+    types: TypeInfo[];
+    nodeTypes: RawNodeType[];
+    constantValues: RawSymbolConstantValue[];
+    controlFlowGraphs: RawControlFlowGraph[];
+    callSites: CallSite[];
+    callGraph: CallEdge[];
+    diagnostics: Diagnostic[];
+}
+export declare class AstNode {
+    #private;
+    readonly id: NodeId;
+    readonly kind: string;
+    readonly rawKind: string;
+    readonly named: boolean;
+    readonly error: boolean;
+    readonly location: SourceLocation;
+    readonly text: string;
+    /** @internal */
+    constructor(project: InspectedProject, raw: RawAstNode);
+    get parent(): AstNode | undefined;
+    get children(): readonly AstNode[];
+    get name(): AstNode | undefined;
+    get body(): AstNode | undefined;
+    get callee(): AstNode | undefined;
+    get parameters(): readonly AstNode[];
+    get arguments(): readonly AstNode[];
+    childForFieldName(name: string): AstNode | undefined;
+    childrenForFieldName(name: string): readonly AstNode[];
+    descendants(kind?: string): IterableIterator<AstNode>;
+}
+export declare class SourceFile {
+    readonly path: string;
+    readonly source: string;
+    readonly sourceKind: "workspace" | "stdlib" | "acton";
+    readonly imports: readonly ImportInfo[];
+    readonly ast: AstNode;
+    /** @internal */
+    constructor(project: InspectedProject, raw: RawSourceFile);
+}
+type ControlFlowNodeLike = ControlFlowNodeId | ControlFlowNode;
+export declare class ControlFlowGraph {
+    #private;
+    readonly symbolId: SymbolId;
+    readonly entry: ControlFlowNodeId;
+    readonly exit: ControlFlowNodeId;
+    readonly nodes: readonly ControlFlowNode[];
+    readonly edges: readonly ControlFlowEdge[];
+    /** @internal */
+    constructor(raw: RawControlFlowGraph);
+    node(id: ControlFlowNodeId): ControlFlowNode | undefined;
+    successors(node: ControlFlowNodeLike): readonly ControlFlowEdge[];
+    predecessors(node: ControlFlowNodeLike): readonly ControlFlowEdge[];
+    isReachable(node: ControlFlowNodeLike): boolean;
+    reachableFrom(node: ControlFlowNodeLike): readonly ControlFlowNode[];
+    dominates(required: ControlFlowNodeLike, target: ControlFlowNodeLike): boolean;
+    postDominates(required: ControlFlowNodeLike, origin: ControlFlowNodeLike): boolean;
+}
+export declare class InspectedProject {
+    #private;
+    readonly root: string;
+    readonly version: VersionInfo;
+    /** @internal */
+    constructor(snapshot: Snapshot);
+    files(): readonly SourceFile[];
+    file(path: string): SourceFile | undefined;
+    node(id: NodeId): AstNode | undefined;
+    symbols(): readonly SymbolInfo[];
+    symbol(id: SymbolId): SymbolInfo | undefined;
+    type(id: TypeId): TypeInfo | undefined;
+    symbolFor(node: NodeId | AstNode): SymbolInfo | undefined;
+    symbolAt(location: SourceLocation | {
+        path: string;
+        position: Position;
+    }): SymbolInfo | undefined;
+    resolve(node: NodeId | AstNode): Resolution | undefined;
+    references(symbol: SymbolId | SymbolInfo): readonly Reference[];
+    typeOf(node: NodeId | AstNode): TypeInfo | undefined;
+    constantValue(symbol: SymbolId | SymbolInfo): ConstantValue | undefined;
+    controlFlow(symbol: SymbolId | SymbolInfo): ControlFlowGraph | undefined;
+    controlFlowGraphs(): readonly ControlFlowGraph[];
+    callSites(symbol?: SymbolId | SymbolInfo): readonly CallSite[];
+    callGraph(): readonly CallEdge[];
+    calls(symbol: SymbolId | SymbolInfo): readonly CallEdge[];
+    callers(symbol: SymbolId | SymbolInfo): readonly CallEdge[];
+    diagnostics(): readonly Diagnostic[];
+    dispose(): void;
+}
+export declare function inspectProject(input: ProjectInput): Promise<InspectedProject>;
+export declare function versionInfo(): VersionInfo;
+export {};
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAC5B,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC;AAC9B,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAC5B,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC;AACvC,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,WAAW,GAAG,KAAK,CAAC;AAE5D,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtE,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,cAAc,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD,wDAAwD;IACxD,WAAW,CAAC,EAAE,gBAAgB,CAAC;CAChC;AAED,MAAM,WAAW,QAAQ;IAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE;AAC/E,MAAM,WAAW,WAAW;IAAG,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAA;CAAE;AACjF,MAAM,WAAW,SAAS;IAAG,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE;AAC3E,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;CAC/B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC;IACrC,QAAQ,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,QAAQ,CAAC;IACrC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,SAAS,EAAE,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;IAC/C,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,QAAQ,CAAC;IACrD,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;CAClC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAC1E;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAC5E;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAC7E;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3D,MAAM,MAAM,mBAAmB,GAC3B,OAAO,GAAG,MAAM,GAAG,KAAK,GAAG,YAAY,GAAG,WAAW,GAAG,QAAQ,GAChE,QAAQ,GAAG,OAAO,GAAG,OAAO,GAAG,UAAU,GAAG,cAAc,GAC1D,cAAc,GAAG,MAAM,CAAC;AAE5B,MAAM,MAAM,mBAAmB,GAC3B,eAAe,GAAG,YAAY,GAAG,aAAa,GAAG,UAAU,GAC3D,OAAO,GAAG,UAAU,GAAG,QAAQ,GAAG,OAAO,GAAG,aAAa,CAAC;AAE9D,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,EAAE,iBAAiB,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,QAAQ,CAAC,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,EAAE,EAAE,iBAAiB,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;CACpC;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,UAAU,CAAC;CAC1C;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,UAAU,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,GAAG,YAAY,GAAG,MAAM,GAAG,MAAM,CAAC;IACrE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,aAAa,GAAG,MAAM,CAAC;IAChE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACtD,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,aAAa,GAAG,YAAY,CAAC,EAAE,CAAC;CAC1D;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,WAAW,GAAG,QAAQ,CAAC;IAC/C,QAAQ,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,CAAC;CAC3C;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;CACnC;AAED,UAAU,UAAU;IAClB,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAC1E,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACxE,QAAQ,EAAE,cAAc,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;CACxC;AAED,UAAU,aAAa;IACrB,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAC/C,UAAU,EAAE,WAAW,GAAG,QAAQ,GAAG,OAAO,CAAC;IAAC,OAAO,EAAE,UAAU,EAAE,CAAC;CACrE;AAED,UAAU,aAAa;IAAG,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE;AAClF,UAAU,WAAW;IAAG,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AACxD,UAAU,sBAAsB;IAAG,QAAQ,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,aAAa,CAAA;CAAE;AAC7E,UAAU,mBAAmB;IAC3B,QAAQ,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,iBAAiB,CAAC;IAAC,IAAI,EAAE,iBAAiB,CAAC;IACtE,KAAK,EAAE,eAAe,EAAE,CAAC;IAAC,KAAK,EAAE,eAAe,EAAE,CAAC;CACpD;AACD,UAAU,QAAQ;IAChB,OAAO,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,aAAa,EAAE,CAAC;IAAC,KAAK,EAAE,UAAU,EAAE,CAAC;IAChF,OAAO,EAAE,UAAU,EAAE,CAAC;IAAC,UAAU,EAAE,SAAS,EAAE,CAAC;IAAC,WAAW,EAAE,aAAa,EAAE,CAAC;IAC7E,KAAK,EAAE,QAAQ,EAAE,CAAC;IAAC,SAAS,EAAE,WAAW,EAAE,CAAC;IAAC,cAAc,EAAE,sBAAsB,EAAE,CAAC;IACtF,iBAAiB,EAAE,mBAAmB,EAAE,CAAC;IAAC,SAAS,EAAE,QAAQ,EAAE,CAAC;IAChE,SAAS,EAAE,QAAQ,EAAE,CAAC;IAAC,WAAW,EAAE,UAAU,EAAE,CAAC;CAClD;AAED,qBAAa,OAAO;;IAClB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAMtB,gBAAgB;gBACJ,OAAO,EAAE,gBAAgB,EAAE,GAAG,EAAE,UAAU;IActD,IAAI,MAAM,IAAI,OAAO,GAAG,SAAS,CAA2E;IAC5G,IAAI,QAAQ,IAAI,SAAS,OAAO,EAAE,CAAgF;IAClH,IAAI,IAAI,IAAI,OAAO,GAAG,SAAS,CAA0C;IACzE,IAAI,IAAI,IAAI,OAAO,GAAG,SAAS,CAA0C;IACzE,IAAI,MAAM,IAAI,OAAO,GAAG,SAAS,CAA4C;IAC7E,IAAI,UAAU,IAAI,SAAS,OAAO,EAAE,CAA4C;IAChF,IAAI,SAAS,IAAI,SAAS,OAAO,EAAE,CAA2C;IAE9E,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS;IAKpD,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,OAAO,EAAE;IAIrD,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,gBAAgB,CAAC,OAAO,CAAC;CAevD;AAED,qBAAa,UAAU;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,WAAW,GAAG,QAAQ,GAAG,OAAO,CAAC;IACtD,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;IACxC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IAEtB,gBAAgB;gBACJ,OAAO,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa;CAO1D;AAED,KAAK,mBAAmB,GAAG,iBAAiB,GAAG,eAAe,CAAC;AAE/D,qBAAa,gBAAgB;;IAC3B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAC;IAK3C,gBAAgB;gBACJ,GAAG,EAAE,mBAAmB;IAqBpC,IAAI,CAAC,EAAE,EAAE,iBAAiB,GAAG,eAAe,GAAG,SAAS;IAExD,UAAU,CAAC,IAAI,EAAE,mBAAmB,GAAG,SAAS,eAAe,EAAE;IAIjE,YAAY,CAAC,IAAI,EAAE,mBAAmB,GAAG,SAAS,eAAe,EAAE;IAInE,WAAW,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO;IAI/C,aAAa,CAAC,IAAI,EAAE,mBAAmB,GAAG,SAAS,eAAe,EAAE;IAKpE,SAAS,CAAC,QAAQ,EAAE,mBAAmB,EAAE,MAAM,EAAE,mBAAmB,GAAG,OAAO;IAS9E,aAAa,CAAC,QAAQ,EAAE,mBAAmB,EAAE,MAAM,EAAE,mBAAmB,GAAG,OAAO;CAuBnF;AAED,qBAAa,gBAAgB;;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAgB9B,gBAAgB;gBACJ,QAAQ,EAAE,QAAQ;IA6C9B,KAAK,IAAI,SAAS,UAAU,EAAE;IAC9B,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS;IAC1C,IAAI,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS;IACrC,OAAO,IAAI,SAAS,UAAU,EAAE;IAChC,MAAM,CAAC,EAAE,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS;IAC5C,IAAI,CAAC,EAAE,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS;IAEtC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,UAAU,GAAG,SAAS;IAWzD,QAAQ,CAAC,QAAQ,EAAE,cAAc,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,QAAQ,CAAA;KAAE,GAAG,UAAU,GAAG,SAAS;IAYjG,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,UAAU,GAAG,SAAS;IAQvD,UAAU,CAAC,MAAM,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,SAAS,EAAE;IAK/D,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,QAAQ,GAAG,SAAS;IAIpD,aAAa,CAAC,MAAM,EAAE,QAAQ,GAAG,UAAU,GAAG,aAAa,GAAG,SAAS;IAKvE,WAAW,CAAC,MAAM,EAAE,QAAQ,GAAG,UAAU,GAAG,gBAAgB,GAAG,SAAS;IAKxE,iBAAiB,IAAI,SAAS,gBAAgB,EAAE;IAIhD,SAAS,CAAC,MAAM,CAAC,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,QAAQ,EAAE;IAO9D,SAAS,IAAI,SAAS,QAAQ,EAAE;IAChC,KAAK,CAAC,MAAM,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,QAAQ,EAAE;IAIzD,OAAO,CAAC,MAAM,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,QAAQ,EAAE;IAI3D,WAAW,IAAI,SAAS,UAAU,EAAE;IAEpC,OAAO,IAAI,IAAI;CAUhB;AAED,wBAAsB,cAAc,CAAC,KAAK,EAAE,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAYnF;AAED,wBAAgB,WAAW,IAAI,WAAW,CAA6C"}