@ontrails/warden 1.0.0-beta.13 → 1.0.0-beta.15

package/dist/rules/ast.d.ts

@@ -11,10 +11,14 @@ export interface AstNode {
     readonly key?: {
         readonly name?: string;
     };
-    readonly value?: AstNode;
+    readonly value?: unknown;
     readonly body?: AstNode | readonly AstNode[];
     readonly [key: string]: unknown;
 }
+interface StringLiteralNode extends AstNode {
+    readonly type: 'Literal' | 'StringLiteral';
+    readonly value?: unknown;
+}
 /** Parse TypeScript source into an AST. Returns null on parse failure. */
 export declare const parse: (filePath: string, sourceCode: string) => AstNode | null;
 type WalkFn = (node: unknown, visit: (node: AstNode) => void) => void;
@@ -23,7 +27,7 @@ export declare const walk: WalkFn;
 /**
  * Walk an AST node tree without descending into nested function scopes.
  * The root node is always traversed; only inner function boundaries are skipped.
- * Useful for provision-access analysis where inner functions may shadow
+ * Useful for resource-access analysis where inner functions may shadow
  * the trail context parameter name.
  */
 export declare const walkScope: WalkFn;
@@ -32,17 +36,86 @@ export declare const offsetToLine: (sourceCode: string, offset: number) => numbe
 /** Get the name of an Identifier node, or null. */
 export declare const identifierName: (node: AstNode | undefined) => string | null;
 /** Check if a node is a string literal. */
-export declare const isStringLiteral: (node: AstNode | undefined) => node is AstNode;
+export declare const isStringLiteral: (node: AstNode | undefined) => node is StringLiteralNode;
 /** Extract the string value from a string literal node. */
 export declare const getStringValue: (node: AstNode) => string | null;
+/**
+ * Best-effort resolution of `const NAME = 'value'` declarations via regex.
+ *
+ * Returns the string value if a simple `const <name> = '...'` or `"..."` is
+ * found in the source. Returns null for anything more complex. Shared between
+ * warden rules that need to resolve identifier references to signal / trail
+ * IDs at lint time.
+ */
+export declare const deriveConstString: (name: string, sourceCode: string) => string | null;
 /** Extract a string literal value, or null when the node is not a string. */
 export declare const extractStringLiteral: (node: AstNode | undefined) => string | null;
+export declare const extractPlainTemplateLiteral: (node: AstNode | undefined) => string | null;
+/**
+ * Extract a string value from either a string literal or a plain template
+ * literal (no `${...}` expressions). Returns null for anything else.
+ */
+export declare const extractStringOrTemplateLiteral: (node: AstNode | undefined) => string | null;
+export interface StringLiteralMatch {
+    readonly end: number;
+    readonly node: AstNode;
+    readonly start: number;
+    readonly value: string;
+}
+/**
+ * Names of framework constants whose value is a draft-marker prefix literal.
+ *
+ * String literals that initialize a `const` declaration with one of these
+ * names are treated as the framework's own draft-marker declarations, not as
+ * draft-id usage. This list is intentionally small and explicit — adding a
+ * new framework draft-prefix constant requires updating this set.
+ */
+export declare const FRAMEWORK_DRAFT_PREFIX_CONSTANT_NAMES: ReadonlySet<string>;
+/**
+ * Collect the source offsets of string literals that initialize a framework
+ * draft-prefix constant declaration (e.g. `export const DRAFT_ID_PREFIX =
+ * '_draft.'`). Used by draft-awareness rules to skip their own marker
+ * constants.
+ *
+ * Exemption is gated on all three of:
+ *   1. The file's absolute path matches one of the two framework files that
+ *      actually define these constants.
+ *   2. The declaration name is `DRAFT_ID_PREFIX` or `DRAFT_FILE_PREFIX`.
+ *   3. The string literal value is exactly `'_draft.'`.
+ *
+ * A consumer file that reuses one of these identifier names cannot hide a
+ * `_draft.*` leak — the path gate rejects it outright.
+ */
+export declare const collectFrameworkDraftPrefixConstantOffsets: (ast: AstNode, filePath: string) => ReadonlySet<number>;
+/**
+ * Split source code into lines for pragma lookups. Callers should split once
+ * per `check` invocation and thread the result through to
+ * {@link hasIgnoreCommentOnLine} so we avoid re-splitting the full source on
+ * every match in files with many draft-like string literals.
+ */
+export declare const splitSourceLines: (sourceCode: string) => readonly string[];
+/**
+ * Check whether the line immediately preceding `line` contains a
+ * `// warden-ignore-next-line` pragma (leading/trailing whitespace tolerated).
+ * Pragma scope is strictly one line — an intervening blank line breaks it.
+ *
+ * Takes a pre-split `lines` array so callers can split the source once per
+ * invocation instead of re-splitting for every literal they check.
+ *
+ * @example
+ * ```ts
+ * // warden-ignore-next-line
+ * const x = '_draft.intentional'; // suppressed
+ * ```
+ */
+export declare const hasIgnoreCommentOnLine: (lines: readonly string[], line: number) => boolean;
+export declare const findStringLiterals: (ast: AstNode, predicate?: (value: string, node: AstNode) => boolean) => StringLiteralMatch[];
 /** Extract the first string argument from a CallExpression. */
 export declare const extractFirstStringArg: (node: AstNode) => string | null;
-/** Collect `const foo = provision('id', ...)` bindings from a parsed file. */
-export declare const collectNamedProvisionIds: (ast: AstNode) => ReadonlyMap<string, string>;
-/** Collect all inline `provision('id', ...)` definition IDs from a parsed file. */
-export declare const collectProvisionDefinitionIds: (ast: AstNode) => ReadonlySet<string>;
+/** Collect `const foo = resource('id', ...)` bindings from a parsed file. */
+export declare const collectNamedResourceIds: (ast: AstNode) => ReadonlyMap<string, string>;
+/** Collect all inline `resource('id', ...)` definition IDs from a parsed file. */
+export declare const collectResourceDefinitionIds: (ast: AstNode) => ReadonlySet<string>;
 /** Backward-compatible aliases while the migration is in flight. */
 export declare const collectNamedServiceIds: (ast: AstNode) => ReadonlyMap<string, string>;
 /** Backward-compatible aliases while the migration is in flight. */
@@ -59,7 +132,223 @@ export interface TrailDefinition {
     /** Start offset of the call expression */
     readonly start: number;
 }
+/**
+ * Collect the identifier bindings introduced *directly* by a scope frame
+ * node. Scope frames correspond to JS lexical scopes (function bodies, blocks,
+ * catch clauses, for-statements, switch statements, module/script roots).
+ */
+export declare const collectScopeFrameBindings: (node: AstNode) => ReadonlySet<string>;
+export type ScopeAwareVisitor = (node: AstNode, scopes: readonly ReadonlySet<string>[]) => void;
+export interface ScopeWalkOptions {
+    readonly initialScopes?: readonly ReadonlySet<string>[];
+    readonly stopAtNestedFunctions?: boolean;
+}
+/**
+ * Walk an AST subtree while threading lexical scope bindings through each
+ * visit. Callers can seed outer scopes and optionally stop at nested function
+ * boundaries when only the current implementation body should be analyzed.
+ */
+export declare const walkWithScopes: (node: unknown, visit: ScopeAwareVisitor, options?: ScopeWalkOptions) => void;
+/**
+ * Return `true` when `node` is a non-computed member access (`a.b` /
+ * `a?.b`) and `false` for anything else, including computed access
+ * (`a[b]`) or non-member nodes. Exported as the canonical predicate so
+ * rule modules do not re-implement the check.
+ *
+ * @remarks
+ * Declared near the top of the file so the scope walker can use it
+ * without hitting `no-use-before-define`. A few sibling helpers in this
+ * module still inline the same shape under different local names for
+ * historical reasons; prefer this export for new call sites.
+ */
+export declare const isMemberAccessNonComputed: (node: AstNode) => boolean;
+/**
+ * Resolution context for namespaced framework-primitive calls. Bundles the
+ * bare namespace-binding set with an optional set of proven-safe
+ * `CallExpression` start offsets from a scope-aware pre-pass. When the set of
+ * safe starts is present, a namespaced call only resolves if its start is in
+ * that set — so a function-local shadow of the namespace import does not
+ * leak through. When absent (e.g. from test helpers), the name-only gate is
+ * used as a backward-compatible fallback.
+ */
+export interface FrameworkNamespaceContext {
+    readonly namespaces: ReadonlySet<string>;
+    readonly safeCallStarts?: ReadonlySet<number>;
+}
+/**
+ * Test hook: exposes {@link getTrailCalleeName} for unit tests.
+ *
+ * Kept unexported from the module's public surface (no re-export from
+ * `index.ts`) so internal refactors stay free.
+ */
+export declare const __getTrailCalleeNameForTest: (node: AstNode, context?: ReadonlySet<string> | FrameworkNamespaceContext) => string | null;
+/**
+ * Test hook: exposes {@link collectFrameworkNamespaceBindings} for unit tests.
+ *
+ * Not re-exported from `index.ts`; the double-underscore prefix marks it as an
+ * internal-only handle so consumer code cannot rely on it.
+ */
+export declare const __collectFrameworkNamespaceBindingsForTest: (ast: AstNode) => ReadonlySet<string>;
 export declare const findTrailDefinitions: (ast: AstNode) => TrailDefinition[];
+export interface ContourDefinition {
+    /** Local binding name when the contour is assigned to a variable. */
+    readonly bindingName?: string;
+    /** Contour name string, e.g. "user". */
+    readonly name: string;
+    /** Original call expression for the contour declaration. */
+    readonly call: AstNode;
+    /** Options object argument passed to contour(), when present. */
+    readonly options: AstNode | null;
+    /** Shape object argument passed to contour(). */
+    readonly shape: AstNode;
+    /** Start offset of the call expression. */
+    readonly start: number;
+}
+export interface FindContourDefinitionsOptions {
+    /**
+     * When true, skip contour calls nested inside other expressions (e.g.
+     * `core.contour('inner', {...}).id()` used as a field of an outer contour).
+     * Top-level forms are still surfaced: both `const foo = contour(...)`
+     * declarations and bare `contour('name', {...});` statement-form calls that
+     * appear directly in the program body (optionally wrapped in `export`) are
+     * returned.
+     *
+     * Defaults to `false`: both top-level and inline contours are returned so
+     * that reference-site resolution can reach anonymous inline contours.
+     */
+    readonly topLevelOnly?: boolean;
+}
+/**
+ * Return every `contour('name', ...)` definition reachable from the AST, in
+ * source order, deduplicated by call-expression start offset.
+ *
+ * Includes both top-level bindings (`const user = contour('user', ...)`) and
+ * inline contour calls nested inside other expressions (e.g.
+ * `contour('outer', { inner: contour('inner', ...).id() })`). Inline contours
+ * carry no `bindingName` because they have no local binding — this asymmetry
+ * is why {@link collectNamedContourIds} returns only the top-level subset
+ * while {@link collectContourDefinitionIds} returns the full set.
+ *
+ * Pass `{ topLevelOnly: true }` via `options` to opt out of inline discovery
+ * without disturbing callers that rely on the default behavior.
+ *
+ * @remarks
+ * Supplying a pre-built `context` skips the second full-AST traversal inside
+ * `buildFrameworkNamespaceContext` — useful for callers (such as
+ * {@link collectContourReferenceSites}) that already built one.
+ */
+export declare const findContourDefinitions: (ast: AstNode, context?: FrameworkNamespaceContext, options?: FindContourDefinitionsOptions) => ContourDefinition[];
+/**
+ * Collect the `name` of every contour definition in a parsed file, including
+ * inline contours nested inside other expressions. Returns the same set of
+ * names that {@link findContourDefinitions} discovers under default options.
+ */
+export declare const collectContourDefinitionIds: (ast: AstNode) => ReadonlySet<string>;
+/**
+ * Collect the `localBinding → contourName` map for `const foo = contour(...)`
+ * declarations. Inline contour calls are intentionally excluded because they
+ * have no local binding — use {@link collectContourDefinitionIds} when the
+ * full set of declared names is required.
+ */
+export declare const collectNamedContourIds: (ast: AstNode) => ReadonlyMap<string, string>;
+/**
+ * Collect `import { foo as bar } from '...'` and `import bar from '...'`
+ * specifier mappings keyed by local binding name. The value is the original
+ * exported name for named imports. Default imports map to themselves because
+ * the exported name cannot be recovered statically — callers should fall
+ * through to `knownContourIds` membership on the local binding name.
+ */
+export declare const collectImportAliasMap: (ast: AstNode) => ReadonlyMap<string, string>;
+/**
+ * Collect local binding names introduced by `import * as <name> from '<src>'`
+ * declarations whose source is NOT an `@ontrails/*` framework package. These
+ * are user-defined namespace imports of contour modules (e.g. `import * as
+ * contours from './contours'`), used to resolve `contours.user` member-access
+ * references to contour ids.
+ *
+ * Framework namespace imports (`import * as core from '@ontrails/core'`) are
+ * intentionally excluded — they carry framework primitives like
+ * `core.contour(...)` and are resolved by {@link buildFrameworkNamespaceContext}.
+ * Mixing them here would treat `core.contour` as a reference to a contour
+ * named "contour", producing false positives.
+ */
+export declare const collectUserNamespaceImportBindings: (ast: AstNode) => ReadonlySet<string>;
+/**
+ * Resolution context for user-namespace member access like `contours.user`.
+ * Bundles the set of local namespace-binding names (from `import * as x from
+ * './contours'`) with an optional set of proven-safe `MemberExpression` start
+ * offsets from a scope-aware pre-pass. When `safeMemberStarts` is present, a
+ * member access only resolves to a user-namespace target if its start is in
+ * the set — so a function-local shadow of the namespace import does not leak
+ * through. When absent, the name-only gate is used as a
+ * backward-compatible fallback for ad-hoc callers.
+ */
+export interface UserNamespaceContext {
+    readonly bindings: ReadonlySet<string>;
+    readonly safeMemberStarts?: ReadonlySet<number>;
+}
+/**
+ * Build a {@link UserNamespaceContext} for `ast`, including the scope-aware
+ * `safeMemberStarts` gate. Prefer this over bare
+ * {@link collectUserNamespaceImportBindings} so member access like
+ * `contours.user` is rejected when `contours` is shadowed by a local binding.
+ */
+export declare const buildUserNamespaceContext: (ast: AstNode) => UserNamespaceContext;
+export interface ContourReferenceSite {
+    /** Field on the source contour that declares the reference. */
+    readonly field: string;
+    /** Source contour name. */
+    readonly source: string;
+    /** Start offset of the field declaration. */
+    readonly start: number;
+    /** Target contour name. */
+    readonly target: string;
+}
+/**
+ * Read a property key or member access identifier.
+ *
+ * Returns the identifier name for `Identifier` keys, or the underlying
+ * string literal value for computed access via `['name']` / `"name"`.
+ */
+export declare const getPropertyName: (node: unknown) => string | null;
+/**
+ * Resolve a local binding name to a contour ID, honoring import aliases.
+ *
+ * Strategies, in order:
+ * 1. Local `const foo = contour('name', ...)` binding → the contour name.
+ * 2. `knownContourIds` membership on the binding name itself (or the
+ *    conventional `Contour` suffix strip).
+ * 3. `import { foo as bar }` → use the original exported name `foo`
+ *    (and apply strategy 2 / suffix-stripping against it so aliased imports
+ *    resolve correctly). If the imported name still isn't recognized, the
+ *    imported name is returned so the caller can report it missing.
+ *
+ * Returns `null` only when the name belongs to no known resolution path —
+ * no local binding, no known contour ID, no import, and no suffix match.
+ * Returning `null` means "this identifier is not a contour reference we can
+ * reason about" (e.g. a bare undeclared variable), as opposed to
+ * "a contour reference whose target is missing".
+ */
+export declare const deriveContourIdentifierName: (bindingName: string, namedContourIds: ReadonlyMap<string, string>, knownContourIds?: ReadonlySet<string>, importAliases?: ReadonlyMap<string, string>) => string | null;
+/**
+ * Resolve a user-namespace member access like `contours.user` to its contour
+ * id. Returns the property name (e.g. `'user'`) when the receiver identifier
+ * is a known user-defined namespace binding AND — when the caller provides a
+ * {@link UserNamespaceContext} with `safeMemberStarts` — the member access
+ * site is in that set (i.e. the receiver is not shadowed by any enclosing
+ * scope). Otherwise returns `null`.
+ *
+ * The property name is taken as the contour id verbatim — we cannot statically
+ * resolve what `contours.user` binds to without reading the other file, so we
+ * treat the member name as the candidate target and let
+ * {@link deriveContourIdentifierName}'s downstream `knownContourIds` check
+ * report a missing target.
+ */
+export declare const isUserNamespaceReceiverAllowed: (receiver: string, memberStart: number, ctx: UserNamespaceContext) => boolean;
+/** Collect all contour field references declared via `.id()` in a parsed file. */
+export declare const collectContourReferenceSites: (ast: AstNode, knownContourIds?: ReadonlySet<string>) => readonly ContourReferenceSite[];
+/** Collect contour reference targets keyed by source contour name. */
+export declare const collectContourReferenceTargetsByName: (ast: AstNode, knownContourIds?: ReadonlySet<string>) => ReadonlyMap<string, readonly string[]>;
 /**
  * Find `blaze:` property values.
  *
@@ -69,6 +358,122 @@ export declare const findTrailDefinitions: (ast: AstNode) => TrailDefinition[];
  * (e.g. `meta: { blaze: ... }`).
  */
 export declare const findBlazeBodies: (node: AstNode) => AstNode[];
+/**
+ * Collect all `signal('id', { ... })` / `signal({ id: 'x', ... })` definition IDs.
+ *
+ * Uses `findTrailDefinitions` under the hood — it already recognizes both
+ * `trail` and `signal` call sites, distinguished by the `kind` field.
+ */
+export declare const collectSignalDefinitionIds: (ast: AstNode) => ReadonlySet<string>;
+/** Collect `const foo = trail('id', ...)` bindings from a parsed file. */
+export declare const collectNamedTrailIds: (ast: AstNode) => ReadonlyMap<string, string>;
+/** Extract the raw `crosses: [...]` array elements from a trail config. */
+export declare const getCrossElements: (config: AstNode) => readonly AstNode[];
+/**
+ * Resolve a single `crosses: [...]` element to its target trail ID.
+ *
+ * Handles string literals, identifier references (via `namedTrailIds` map or
+ * `const NAME = '...'` resolution), and inline `trail(...)` call expressions.
+ */
+export declare const deriveCrossElementId: (element: AstNode, sourceCode: string, namedTrailIds: ReadonlyMap<string, string>) => string | null;
+/**
+ * Collect all trail IDs referenced by a single trail definition's
+ * `crosses: [...]` array, deduplicated.
+ */
+export declare const extractDefinitionCrossTargetIds: (config: AstNode, sourceCode: string, namedTrailIds: ReadonlyMap<string, string>) => readonly string[];
+/** Collect all trail IDs referenced by declared `crosses: [...]` arrays. */
+export declare const collectCrossTargetTrailIds: (ast: AstNode, sourceCode: string) => ReadonlySet<string>;
+/** Collect the normalized intent for every trail definition in a parsed file. */
+export declare const collectTrailIntentsById: (ast: AstNode) => ReadonlyMap<string, "destroy" | "read" | "write">;
+export interface StoreTableDefinition {
+    /** Table name declared inside store({ ... }). */
+    readonly name: string;
+    /**
+     * Local binding name of the enclosing `store(...)` declaration, if the
+     * `store(...)` call is bound to a `const`/`let`/`var` (e.g. `db` in
+     * `const db = store({ ... })`). Null for anonymous stores.
+     */
+    readonly storeBinding: string | null;
+    /**
+     * Stable composite key for this table in the form `${storeBinding}:${name}`,
+     * falling back to the bare `name` when the store is anonymous. Use this for
+     * cross-rule / cross-file keying so two stores with the same table name
+     * never collide.
+     */
+    readonly key: string;
+    /** Start offset of the table property declaration. */
+    readonly start: number;
+    /** Whether the authored table opts into version tracking. */
+    readonly versioned: boolean;
+}
+/**
+ * Build a composite key for a store table: `${storeBinding}:${tableName}`,
+ * falling back to the bare `tableName` when the enclosing store has no local
+ * binding. Centralized so rule keying stays stable.
+ *
+ * @remarks
+ * The key is intentionally file-local (no module path prefix). Cross-file
+ * aggregation in `ProjectContext` merges keys from all files, so two files
+ * with `const db = store({ notes: ... })` both produce `db:notes` — this is
+ * the desired behavior because the warden checks for *pattern completeness*
+ * across the project and matching keys signals that the same logical table
+ * is covered. If two genuinely different tables share a binding and name,
+ * that is a code-level naming collision the developer should resolve.
+ */
+export declare const makeStoreTableKey: (storeBinding: string | null, tableName: string) => string;
+/**
+ * Check if a node is a `CallExpression` to the identifier `name`.
+ *
+ * e.g. `isNamedCall(node, 'store')` matches `store({...})` but not
+ * `someObj.store()` or `storeAlt()`.
+ */
+export declare const isNamedCall: (node: AstNode | undefined, name: string) => boolean;
+/**
+ * Narrow a member-expression node (`a.b` or `a['b']`) to its `object` /
+ * `property` pair, returning `null` for anything else.
+ */
+export declare const getMemberExpression: (node: AstNode | undefined) => {
+    readonly object?: AstNode;
+    readonly property?: AstNode;
+} | null;
+/**
+ * Resolve a `<store>.tables.<name>` member expression to its store binding
+ * and table name.
+ *
+ * Returns `null` for anything that isn't a two-level member access ending in
+ * `.tables.<name>`. The store binding is the identifier of the object owning
+ * `.tables` — typically the local binding from `const db = store(...)`.
+ */
+export declare const extractStoreTableFromMember: (node: AstNode | undefined) => {
+    readonly storeBinding: string | null;
+    readonly tableName: string;
+} | null;
+/**
+ * Back-compat shim for rule code that only needs the table name. Prefer
+ * `extractStoreTableFromMember` so the caller can build a composite key.
+ */
+export declare const extractStoreTableIdFromMember: (node: AstNode | undefined) => string | null;
+/**
+ * Collect `const foo = <store>.tables.<name>` bindings from a parsed file,
+ * keyed by the local binding name. Values are the composite table key
+ * (`${storeBinding}:${tableName}`) so callers can dedupe across stores that
+ * share a table name.
+ */
+export declare const collectNamedStoreTableIds: (ast: AstNode) => ReadonlyMap<string, string>;
+/**
+ * Resolve an argument node to a composite store-table key
+ * (`${storeBinding}:${tableName}` or bare `tableName` when anonymous).
+ *
+ * Handles the two authoring patterns:
+ *   - direct member access: `db.tables.notes`
+ *   - identifier reference: `const notesTable = db.tables.notes; crud(notesTable, …)`
+ */
+export declare const deriveStoreTableId: (node: AstNode | undefined, namedStoreTableIds: ReadonlyMap<string, string>) => string | null;
+export declare const findStoreTableDefinitions: (ast: AstNode) => readonly StoreTableDefinition[];
+export declare const collectVersionedStoreTableIds: (ast: AstNode) => ReadonlySet<string>;
+export declare const collectCrudTableIds: (ast: AstNode) => ReadonlySet<string>;
+export declare const collectReconcileTableIds: (ast: AstNode) => ReadonlySet<string>;
+export declare const collectOnTargetSignalIds: (ast: AstNode, sourceCode: string) => ReadonlySet<string>;
 /** Check if a node is a call to `.blaze()` on some object. */
 export declare const isBlazeCall: (node: AstNode) => boolean;
 export {};

package/dist/rules/ast.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/rules/ast.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAQH,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,GAAG,SAAS,OAAO,EAAE,CAAC;IAC7C,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACjC;AAMD,0EAA0E;AAC1E,eAAO,MAAM,KAAK,GAAI,UAAU,MAAM,EAAE,YAAY,MAAM,KAAG,OAAO,GAAG,IAOtE,CAAC;AAMF,KAAK,MAAM,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,IAAI,KAAK,IAAI,CAAC;AAkBtE,4DAA4D;AAC5D,eAAO,MAAM,IAAI,EAAE,MASlB,CAAC;AAsBF;;;;;GAKG;AACH,eAAO,MAAM,SAAS,EAAE,MASvB,CAAC;AAMF,mEAAmE;AACnE,eAAO,MAAM,YAAY,GAAI,YAAY,MAAM,EAAE,QAAQ,MAAM,KAAG,MAQjE,CAAC;AAEF,mDAAmD;AACnD,eAAO,MAAM,cAAc,GAAI,MAAM,OAAO,GAAG,SAAS,KAAG,MAAM,GAAG,IAKnE,CAAC;AAEF,2CAA2C;AAC3C,eAAO,MAAM,eAAe,GAAI,MAAM,OAAO,GAAG,SAAS,KAAG,IAAI,IAAI,OAWnE,CAAC;AAEF,2DAA2D;AAC3D,eAAO,MAAM,cAAc,GAAI,MAAM,OAAO,KAAG,MAAM,GAAG,IAGvD,CAAC;AAEF,6EAA6E;AAC7E,eAAO,MAAM,oBAAoB,GAC/B,MAAM,OAAO,GAAG,SAAS,KACxB,MAAM,GAAG,IACiD,CAAC;AAE9D,+DAA+D;AAC/D,eAAO,MAAM,qBAAqB,GAAI,MAAM,OAAO,KAAG,MAAM,GAAG,IAQ9D,CAAC;AAqBF,8EAA8E;AAC9E,eAAO,MAAM,wBAAwB,GACnC,KAAK,OAAO,KACX,WAAW,CAAC,MAAM,EAAE,MAAM,CAwB5B,CAAC;AAEF,mFAAmF;AACnF,eAAO,MAAM,6BAA6B,GACxC,KAAK,OAAO,KACX,WAAW,CAAC,MAAM,CAepB,CAAC;AAEF,oEAAoE;AACpE,eAAO,MAAM,sBAAsB,QAhD5B,OAAO,KACX,WAAW,CAAC,MAAM,EAAE,MAAM,CA+CiC,CAAC;AAC/D,oEAAoE;AACpE,eAAO,MAAM,2BAA2B,QArBjC,OAAO,KACX,WAAW,CAAC,MAAM,CAoBmD,CAAC;AAMzE,0EAA0E;AAC1E,eAAO,MAAM,kBAAkB,GAC7B,QAAQ,OAAO,EACf,cAAc,MAAM,KACnB,OAAO,GAAG,IAcZ,CAAC;AAMF,MAAM,WAAW,eAAe;IAC9B,0CAA0C;IAC1C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,0BAA0B;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8DAA8D;IAC9D,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,0CAA0C;IAC1C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AA2FD,eAAO,MAAM,oBAAoB,GAAI,KAAK,OAAO,KAAG,eAAe,EAWlE,CAAC;AAyBF;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe,GAAI,MAAM,OAAO,KAAG,OAAO,EAWtD,CAAC;AAMF,8DAA8D;AAC9D,eAAO,MAAM,WAAW,GAAI,MAAM,OAAO,KAAG,OAmB3C,CAAC"}
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/rules/ast.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAYH,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,GAAG,SAAS,OAAO,EAAE,CAAC;IAC7C,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACjC;AAED,UAAU,iBAAkB,SAAQ,OAAO;IACzC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,eAAe,CAAC;IAC3C,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;CAC1B;AASD,0EAA0E;AAC1E,eAAO,MAAM,KAAK,GAAI,UAAU,MAAM,EAAE,YAAY,MAAM,KAAG,OAAO,GAAG,IAOtE,CAAC;AAMF,KAAK,MAAM,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,IAAI,KAAK,IAAI,CAAC;AAkBtE,4DAA4D;AAC5D,eAAO,MAAM,IAAI,EAAE,MASlB,CAAC;AAsBF;;;;;GAKG;AACH,eAAO,MAAM,SAAS,EAAE,MASvB,CAAC;AAMF,mEAAmE;AACnE,eAAO,MAAM,YAAY,GAAI,YAAY,MAAM,EAAE,QAAQ,MAAM,KAAG,MAQjE,CAAC;AAEF,mDAAmD;AACnD,eAAO,MAAM,cAAc,GAAI,MAAM,OAAO,GAAG,SAAS,KAAG,MAAM,GAAG,IAKnE,CAAC;AAEF,2CAA2C;AAC3C,eAAO,MAAM,eAAe,GAC1B,MAAM,OAAO,GAAG,SAAS,KACxB,IAAI,IAAI,iBAWV,CAAC;AAEF,2DAA2D;AAC3D,eAAO,MAAM,cAAc,GAAI,MAAM,OAAO,KAAG,MAAM,GAAG,IAGvD,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,MAAM,EACZ,YAAY,MAAM,KACjB,MAAM,GAAG,IASX,CAAC;AAEF,6EAA6E;AAC7E,eAAO,MAAM,oBAAoB,GAC/B,MAAM,OAAO,GAAG,SAAS,KACxB,MAAM,GAAG,IACiD,CAAC;AAoB9D,eAAO,MAAM,2BAA2B,GACtC,MAAM,OAAO,GAAG,SAAS,KACxB,MAAM,GAAG,IAWX,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,8BAA8B,GACzC,MAAM,OAAO,GAAG,SAAS,KACxB,MAAM,GAAG,IACqD,CAAC;AAElE,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,qCAAqC,EAAE,WAAW,CAAC,MAAM,CACnB,CAAC;AA4BpD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,0CAA0C,GACrD,KAAK,OAAO,EACZ,UAAU,MAAM,KACf,WAAW,CAAC,MAAM,CAkCpB,CAAC;AAIF;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,GAAI,YAAY,MAAM,KAAG,SAAS,MAAM,EAC7C,CAAC;AAEzB;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,sBAAsB,GACjC,OAAO,SAAS,MAAM,EAAE,EACxB,MAAM,MAAM,KACX,OAWF,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAC7B,KAAK,OAAO,EACZ,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,KAAK,OAAO,KACpD,kBAAkB,EA0BpB,CAAC;AAEF,+DAA+D;AAC/D,eAAO,MAAM,qBAAqB,GAAI,MAAM,OAAO,KAAG,MAAM,GAAG,IAQ9D,CAAC;AAqBF,6EAA6E;AAC7E,eAAO,MAAM,uBAAuB,GAClC,KAAK,OAAO,KACX,WAAW,CAAC,MAAM,EAAE,MAAM,CAwB5B,CAAC;AAEF,kFAAkF;AAClF,eAAO,MAAM,4BAA4B,GACvC,KAAK,OAAO,KACX,WAAW,CAAC,MAAM,CAepB,CAAC;AAEF,oEAAoE;AACpE,eAAO,MAAM,sBAAsB,QAhD5B,OAAO,KACX,WAAW,CAAC,MAAM,EAAE,MAAM,CA+CgC,CAAC;AAC9D,oEAAoE;AACpE,eAAO,MAAM,2BAA2B,QArBjC,OAAO,KACX,WAAW,CAAC,MAAM,CAoBkD,CAAC;AAgCxE,0EAA0E;AAC1E,eAAO,MAAM,kBAAkB,GAC7B,QAAQ,OAAO,EACf,cAAc,MAAM,KACnB,OAAO,GAAG,IAcZ,CAAC;AAMF,MAAM,WAAW,eAAe;IAC9B,0CAA0C;IAC1C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,0BAA0B;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8DAA8D;IAC9D,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,0CAA0C;IAC1C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAudD;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GACpC,MAAM,OAAO,KACZ,WAAW,CAAC,MAAM,CAOpB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,CAC9B,IAAI,EAAE,OAAO,EACb,MAAM,EAAE,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,KACnC,IAAI,CAAC;AAEV,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;IACxD,QAAQ,CAAC,qBAAqB,CAAC,EAAE,OAAO,CAAC;CAC1C;AAUD;;;;GAIG;AACH,eAAO,MAAM,cAAc,GACzB,MAAM,OAAO,EACb,OAAO,iBAAiB,EACxB,UAAS,gBAAqB,KAC7B,IAmCF,CAAC;AAkBF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,yBAAyB,GAAI,MAAM,OAAO,KAAG,OAQzD,CAAC;AAgHF;;;;;;;;GAQG;AACH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,QAAQ,CAAC,cAAc,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC/C;AAkFD;;;;;GAKG;AACH,eAAO,MAAM,2BAA2B,SAtBhC,OAAO,YACH,WAAW,CAAC,MAAM,CAAC,GAAG,yBAAyB,KACxD,MAAM,GAAG,IAoBiD,CAAC;AAE9D;;;;;GAKG;AACH,eAAO,MAAM,0CAA0C,QArrBhD,OAAO,KACX,WAAW,CAAC,MAAM,CAqrBc,CAAC;AAmFpC,eAAO,MAAM,oBAAoB,GAAI,KAAK,OAAO,KAAG,eAAe,EAYlE,CAAC;AAMF,MAAM,WAAW,iBAAiB;IAChC,qEAAqE;IACrE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,wCAAwC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,4DAA4D;IAC5D,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,iEAAiE;IACjE,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAAC;IACjC,iDAAiD;IACjD,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,2CAA2C;IAC3C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAuJD,MAAM,WAAW,6BAA6B;IAC5C;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;CACjC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,sBAAsB,GACjC,KAAK,OAAO,EACZ,UAAU,yBAAyB,EACnC,UAAU,6BAA6B,KACtC,iBAAiB,EAsEnB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,GACtC,KAAK,OAAO,KACX,WAAW,CAAC,MAAM,CACwC,CAAC;AAE9D;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,GACjC,KAAK,OAAO,KACX,WAAW,CAAC,MAAM,EAAE,MAAM,CAU5B,CAAC;AA6CF;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,GAChC,KAAK,OAAO,KACX,WAAW,CAAC,MAAM,EAAE,MAAM,CAmB5B,CAAC;AAuBF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,kCAAkC,GAC7C,KAAK,OAAO,KACX,WAAW,CAAC,MAAM,CAWpB,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACvC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACjD;AAyCD;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,GACpC,KAAK,OAAO,KACX,oBAMF,CAAC;AAEF,MAAM,WAAW,oBAAoB;IACnC,+DAA+D;IAC/D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,2BAA2B;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,6CAA6C;IAC7C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,2BAA2B;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;GAKG;AACH,eAAO,MAAM,eAAe,GAAI,MAAM,OAAO,KAAG,MAAM,GAAG,IAWxD,CAAC;AA0BF;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,2BAA2B,GACtC,aAAa,MAAM,EACnB,iBAAiB,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EAC5C,kBAAkB,WAAW,CAAC,MAAM,CAAC,EACrC,gBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,KAC1C,MAAM,GAAG,IAwBX,CAAC;AAkCF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,8BAA8B,GACzC,UAAU,MAAM,EAChB,aAAa,MAAM,EACnB,KAAK,oBAAoB,KACxB,OAOF,CAAC;AA4LF,kFAAkF;AAClF,eAAO,MAAM,4BAA4B,GACvC,KAAK,OAAO,EACZ,kBAAkB,WAAW,CAAC,MAAM,CAAC,KACpC,SAAS,oBAAoB,EAe/B,CAAC;AAEF,sEAAsE;AACtE,eAAO,MAAM,oCAAoC,GAC/C,KAAK,OAAO,EACZ,kBAAkB,WAAW,CAAC,MAAM,CAAC,KACpC,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAgBvC,CAAC;AA6BF;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe,GAAI,MAAM,OAAO,KAAG,OAAO,EAWtD,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,GACrC,KAAK,OAAO,KACX,WAAW,CAAC,MAAM,CAQpB,CAAC;AAEF,0EAA0E;AAC1E,eAAO,MAAM,oBAAoB,GAC/B,KAAK,OAAO,KACX,WAAW,CAAC,MAAM,EAAE,MAAM,CAyB5B,CAAC;AAEF,2EAA2E;AAC3E,eAAO,MAAM,gBAAgB,GAAI,QAAQ,OAAO,KAAG,SAAS,OAAO,EAelE,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,GAC/B,SAAS,OAAO,EAChB,YAAY,MAAM,EAClB,eAAe,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,KACzC,MAAM,GAAG,IAcX,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,+BAA+B,GAC1C,QAAQ,OAAO,EACf,YAAY,MAAM,EAClB,eAAe,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,KACzC,SAAS,MAAM,EAOjB,CAAC;AAEF,4EAA4E;AAC5E,eAAO,MAAM,0BAA0B,GACrC,KAAK,OAAO,EACZ,YAAY,MAAM,KACjB,WAAW,CAAC,MAAM,CAmBpB,CAAC;AAYF,iFAAiF;AACjF,eAAO,MAAM,uBAAuB,GAClC,KAAK,OAAO,KACX,WAAW,CAAC,MAAM,EAAE,SAAS,GAAG,MAAM,GAAG,OAAO,CAUlD,CAAC;AAMF,MAAM,WAAW,oBAAoB;IACnC,iDAAiD;IACjD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC;;;;;OAKG;IACH,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,sDAAsD;IACtD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,6DAA6D;IAC7D,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,iBAAiB,GAC5B,cAAc,MAAM,GAAG,IAAI,EAC3B,WAAW,MAAM,KAChB,MAAqE,CAAC;AAWzE;;;;;GAKG;AACH,eAAO,MAAM,WAAW,GAAI,MAAM,OAAO,GAAG,SAAS,EAAE,MAAM,MAAM,KAAG,OAGK,CAAC;AAE5E;;;GAGG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,OAAO,GAAG,SAAS,KACxB;IAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,IAY/D,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,GACtC,MAAM,OAAO,GAAG,SAAS,KACxB;IACD,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,GAAG,IAcH,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,6BAA6B,GACxC,MAAM,OAAO,GAAG,SAAS,KACxB,MAAM,GAAG,IAA4D,CAAC;AAEzE;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,GACpC,KAAK,OAAO,KACX,WAAW,CAAC,MAAM,EAAE,MAAM,CAoB5B,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,OAAO,GAAG,SAAS,EACzB,oBAAoB,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,KAC9C,MAAM,GAAG,IAcX,CAAC;AA+CF,eAAO,MAAM,yBAAyB,GACpC,KAAK,OAAO,KACX,SAAS,oBAAoB,EAiC/B,CAAC;AAEF,eAAO,MAAM,6BAA6B,GACxC,KAAK,OAAO,KACX,WAAW,CAAC,MAAM,CAKlB,CAAC;AAEJ,eAAO,MAAM,mBAAmB,GAAI,KAAK,OAAO,KAAG,WAAW,CAAC,MAAM,CAkBpE,CAAC;AAEF,eAAO,MAAM,wBAAwB,GAAI,KAAK,OAAO,KAAG,WAAW,CAAC,MAAM,CA6BzE,CAAC;AA0HF,eAAO,MAAM,wBAAwB,GACnC,KAAK,OAAO,EACZ,YAAY,MAAM,KACjB,WAAW,CAAC,MAAM,CAqBpB,CAAC;AAMF,8DAA8D;AAC9D,eAAO,MAAM,WAAW,GAAI,MAAM,OAAO,KAAG,OAmB3C,CAAC"}