@velarscript/web 0.12.1 → 0.13.0

package/README.md

@@ -76,8 +76,8 @@ contract crosses WebSocket and Worker boundaries. Worker source entries come
 from the project manifest, so application source does not construct bundle URLs.
 Requests and responses are checked with runtime `Type` values; pools, call
 queues, message queues, transfers, cancellation, timeout, and crash convergence
-are bounded by the shared Core contracts. The existing `velar/realtime` text
-surface remains available unchanged.
+are bounded by the shared Core contracts. `velar/realtime` keeps
+`eventStream`; the WebSocket client is `velar/websocket.connect`.
 
 The package also owns Look, the checked visual language integrated with VelarScript
 values and JSX. `look:` values, ordinary functions, imports/exports, named

package/dist/analyzer.d.ts

@@ -8,6 +8,10 @@ export declare class VelarWebAnalyzer extends Analyzer {
     private cleanupDepth;
     /** D51 (audit 12): a component `watch` body runs on a change and ends, exactly as a module `watch` body does. */
     private watchBodyDepth;
+    /** D89 A4: the binding identity of every list a keyed `.map(...)` interpolation renders. */
+    private readonly keyedListSources;
+    /** D89 A4: every `list = list.map(item => {…})` rewrite of this module, in source order. */
+    private readonly keyedListRebuilds;
     private synchronousReactiveDepth;
     private jsxDepth;
     private readonly resources;
@@ -22,6 +26,7 @@ export declare class VelarWebAnalyzer extends Analyzer {
     private readonly honoredJsxKeys;
     private readonly reportedJsxKeys;
     private lookBuilderNames;
+    private lookDeclarations;
     private lookLiteralDepth;
     /**
      * D71 rule 182: the declaration spans of every `computed` binding in scope.
@@ -33,7 +38,7 @@ export declare class VelarWebAnalyzer extends Analyzer {
     private readonly importedComputedNames;
     /** The resolved spans of those imports, so a local shadow of the name is not one. */
     private readonly importedComputedSpans;
-    /** D71 migration state: retired `const x = computed(...)` sites, their reads, and every other `computed` reference. */
+    /** D71 migration state: `const x = computed(...)` sites, their reads, and every other reference to the name. */
     private readonly retiredAccessorDeclarations;
     private readonly retiredAccessorReads;
     private readonly retiredComputedReferences;
@@ -112,6 +117,27 @@ export declare class VelarWebAnalyzer extends Analyzer {
     protected inferExtensionExpression(expression: Expression, _contextualType: ValueType): ValueType | undefined;
     protected inferExpression(expression: Expression, contextualType?: ValueType): ValueType;
     private writableStateName;
+    /**
+     * The audit's seventh root cause: a `def` that declares reactive state and
+     * answers `WebNode` is a component wearing a function's clothes, and calling
+     * it bypasses exactly what the charter already refuses `View(...)` for. Two
+     * things follow from the call, both reproduced: every call runs the `state`
+     * declaration again, so the value resets on every re-render; and the
+     * observers the returned markup registers bind to whatever scope the call
+     * site was building — at module scope the global one, which is never
+     * destroyed, so they are never cleaned up.
+     *
+     * Only DECLARATION is refused. A `def -> WebNode` that merely reads state or a
+     * prop is a legitimate markup helper — examples/app has two — and a `def`
+     * nested inside a component binds its observers to that component's scope, so
+     * nothing about reading is defective.
+     *
+     * What answers "this `def` returns markup" is the sink, not one spelling of
+     * it: `-> WebNode?` and `-> List<WebNode>` are the shapes markup travels in,
+     * and a `def` may carry no return type at all — all three reached the same
+     * defect with the same body while only the bare annotation was read.
+     */
+    private rejectStatefulWebNodeFunction;
     /**
      * D71 rule 182: a declared derived value is read bare, exactly like state.
      * Calling one is the habit the retired `computed(...)` accessor taught, and it
@@ -123,15 +149,42 @@ export declare class VelarWebAnalyzer extends Analyzer {
     /**
      * D69 rule 178: a `watch` body that can never run is a block of statements
      * the compile silently drops — the same defect a bare `5` is already rejected
-     * for (VEL4030), reached from a position the rule could not see. The subject
-     * is refused only where the compile can *prove* nothing behind it moves, so a
-     * call whose reactivity lives inside another module is left alone: a rule that
-     * rejected those would be worse than the hole it closes.
+     * for (VEL4030), reached from a position the rule could not see.
      *
-     * The two refusals are separate because their causes are: a reader that was
-     * not called has one correct spelling to name, and a frozen value has none.
+     * D90 R15(a) adds the third refusal and fixes the order the three are asked
+     * in. A frozen subject is answered before the shape rule so that one shape
+     * never draws two messages: a subject built only from frozen parts has no
+     * reactive source at all, and telling its author to declare a `computed`
+     * would only buy him a dead one. What survives both is either a path — the
+     * name of a reactive binding, or a member/index read out of one — or a
+     * computation, and a computation has a spelling of its own.
+     *
+     * The three refusals are separate because their causes are: a reader that was
+     * not called names a value that never moves, a frozen value has no reactive
+     * source behind it at all, and a computed subject has one but hides which.
      */
     private rejectFrozenWatchSubject;
+    /**
+     * D89 A4: records `list = list.map(item => {…})`, React's immutable update,
+     * where the callback builds a new record rather than changing a field.
+     *
+     * D90 R2 stands — `__velarKeyed` compares identity and that does not move,
+     * and the framework does not accommodate the idiom. This channel is not the
+     * framework taking responsibility; it is the compiler telling the author that
+     * the row he is typing into is about to be destroyed. Nothing is reported
+     * yet: the advisory is owed only if the rewritten list is what a keyed list
+     * renders, and the render usually sits below the update.
+     */
+    private recordKeyedListRebuild;
+    /**
+     * D89 A4: raises the advisory for the rewrites whose list a keyed position
+     * really renders. The advisory channel cannot reach `this.diagnostics`, so
+     * nothing here fails a build, changes an emitted byte, or moves a semantic
+     * rule; `// velar-allow A4: <reason>` suppresses it where `map` plus a record
+     * literal is the only spelling, which a `readonly` list or one API response
+     * makes it.
+     */
+    private adviseKeyedListRebuilds;
     /** A value that is read by calling it and takes no arguments to do so. */
     private zeroArgumentReader;
     /**
@@ -152,29 +205,24 @@ export declare class VelarWebAnalyzer extends Analyzer {
      */
     private rejectComputedAssignment;
     /**
-     * D71 rule 183: `computed(...)` the function is retired in favour of
-     * `cached(...)`, and `const x = computed(() => E)` is retired in favour of the
-     * declaration. The declaration is recorded before the core walks the module so
-     * its reads can be matched against it — the rewrite that removes the call
+     * D71 rule 183: `computed(...)` the function — the shape Vue and the signals
+     * libraries teach — is not how a derived value is written here; the `computed`
+     * declaration is. The declaration is recorded before the core walks the module
+     * so its reads can be matched against it — the rewrite that removes the call
      * parentheses is only offered when every read is a plain `x()`.
      */
     private recordRetiredAccessorDeclaration;
-    /** Returns true when the name is the retired `computed` global this pass owns. */
+    /** Returns true when the name is one of the retired accessor globals this pass owns. */
     private recordRetiredAccessorRead;
     /**
-     * D71 migration: one message per retired site, and a mechanical rewrite only
-     * where the compile can prove the rewrite. Where the accessor is used as a
-     * value the choice between `computed x = E` and `cached(...)` turns on whether
-     * the caller wants the cache, which is the author's decision — so that site
-     * gets the message and no edit.
+     * D71 migration: one message per site, and a mechanical rewrite only where
+     * the compile can prove the rewrite. Where the
+     * accessor is used as a value there is no second spelling left to offer, so
+     * that site is told to declare the value and write an ordinary `def` where a
+     * callable is what the caller wants — and it gets no edit, because moving a
+     * reader out of a value position is the author's decision.
      */
     private reportRetiredComputedFunction;
-    /**
-     * D71 rule 183 keeps the export-boundary contract the retired spelling had:
-     * an exported cached reader has no inferable public type, so the annotation
-     * is required at the boundary rather than discovered by the importer.
-     */
-    private reportExportedCachedContract;
     protected extensionFieldsOf(name: string): ReadonlyMap<string, ValueType> | null;
     protected inferExtensionCall(callee: import("@velarscript/compiler/extension").ExtensionValueType, arguments_: readonly Expression[], argumentNames: readonly (string | null)[] | undefined, callSpan: Span): ValueType | undefined;
     protected validateExtensionTypeSyntax(syntax: import("@velarscript/compiler/extension").TypeSyntax, validate: (syntax: import("@velarscript/compiler/extension").TypeSyntax) => boolean, resolve: (reference: TypeReference) => ValueType): boolean | undefined;
@@ -240,7 +288,23 @@ export declare class VelarWebAnalyzer extends Analyzer {
      * property no longer co-reports a `stringType` fallback assignment error.
      */
     private analyzeLookValue;
+    /**
+     * `subject` names the position in the message. It is the property itself
+     * everywhere except the `transition(...)` builder, whose first argument takes
+     * `transitionProperty`'s vocabulary but is not written as that property — a
+     * refusal that named the longhand there would name a spelling the author
+     * never wrote.
+     */
     private validateLookStringVocabulary;
+    /**
+     * D65 rule 168 closed the closed sets against misspelled literals, and D65
+     * item 3 makes a `const` string a first-class design token — so the two have
+     * to agree. A name or a record field that folds to a bare CSS keyword is
+     * checked exactly as the literal spelling of it is; anything that folds to
+     * composed CSS text (a builder result, a unit, a gradient) is not a keyword
+     * and is left to the type and to the builder's own checks.
+     */
+    private foldedLookKeyword;
     /**
      * LOK-D3: a bare number on a length property reaches CSS as a declaration the
      * browser discards. The union already rejects it; this diagnostic replaces the
@@ -250,6 +314,23 @@ export declare class VelarWebAnalyzer extends Analyzer {
     private inferLookCondition;
     private checkViewportThreshold;
     private inferJsx;
+    /**
+     * WEB-S3: `srcdoc` builds a whole document out of a string, and that document
+     * inherits this page's origin — so it is a second raw-HTML boundary next to
+     * the one the charter names (`unsafe:html`), reachable with no marker at all.
+     * The marker this one gets is `sandbox`, because sandbox is what actually
+     * takes the origin away; requiring it makes the boundary visible where it is
+     * crossed. `allow-scripts allow-same-origin` together hands the origin back,
+     * so the pair is refused by name rather than accepted as a sandbox.
+     */
+    private reportIframeSrcdocSandbox;
+    /**
+     * WEB-S2: the analyzer already refuses an anchor that opens a window without
+     * 'noopener', so a URL attribute whose value is a script scheme cannot be the
+     * one URL question it declines to ask. A written-down URL is answered here; a
+     * value that arrives at run time is answered by the runtime attribute check.
+     */
+    private reportUrlAttributeScheme;
     private checkKeyedInterpolation;
     private reportIneffectiveJsxKeys;
     private analyzeComponentElement;
@@ -260,8 +341,43 @@ export declare class VelarWebAnalyzer extends Analyzer {
      * `List<unknown>` (LOK-I3, LOK-I6).
      */
     private analyzeJsxLookAttribute;
+    /**
+     * Composition is how a Look overrides another one: `...baseLook` puts the two
+     * in an order the reader can see, and everything after it wins. Two looks
+     * placed side by side on one element state no order at all, so a property both
+     * of them set has no answer the source gives — the winner used to fall out of
+     * whichever rule the stylesheet happened to carry last. The shape is refused
+     * rather than ordered by fiat, and the refusal names the spelling that states
+     * the order the author meant.
+     */
+    private reportIndependentLookCollisions;
     private analyzeComponentRef;
     private analyzeNativeJsxAttribute;
+    /**
+     * D90 coherence-3: DOM attribute names and ARIA are documented as checked
+     * surfaces, and nothing checked them — `className="panel"` compiled clean and
+     * emitted a dead attribute, while the sibling React reflex `onClick=` on the
+     * same element was already refused. So a model got a clean bill of health on
+     * exactly the half of its React habit that silently breaks the page.
+     *
+     * The rule diagnoses names that are KNOWN wrong, never names that are merely
+     * unknown. HTML lets a document carry attributes no roster can enumerate, so
+     * `foo="bar"`, `data-*`, and a framework's own prefixes stay legal; a false
+     * positive there would block a correct program, which is worse than the
+     * silence it replaces. Three closed rosters answer three closed questions:
+     * the React / JavaScript-property spellings, the ARIA attribute names (ARIA,
+     * unlike HTML, admits no custom names), and the ARIA and role vocabularies.
+     *
+     * D61 bounds the value half. It ruled that an `aria-*` attribute given a
+     * `bool` renders the literal text "true"/"false", and explicitly rejected
+     * making the author write `aria-pressed={x ? "true" : "false"}` as ceremony.
+     * So a token vocabulary is read only against a string literal; an expression
+     * value is a runtime question and is never touched here.
+     *
+     * Returns true when it reported, so the caller does not stack a value-shape
+     * message on an attribute whose name is already answered.
+     */
+    private reportNativeAttributeSpelling;
     /**
      * GRM-A4: an event handler runs for effect and returns null. The hole this
      * closes is `on:click={() => {}}`: after a fat arrow, braces build a record,
@@ -296,6 +412,31 @@ export declare class VelarWebAnalyzer extends Analyzer {
     private isJsxRenderable;
     private isJsxAttributeValue;
     private isOptionalString;
+    /**
+     * The elements of a `<Router routes={...}>` list literal, one at a time.
+     *
+     * A route written as `route("/a", Panel)` is checked at that call; the record
+     * that call returns — `{path: "/a", component: Panel}` — is a legal spelling
+     * of the same value, reaches the same runtime position, and until now was
+     * checked by nothing: `{path: "no-leading-slash", component: 5}` compiled
+     * clean and handed `5` to the Router as a component. Closing the sink rather
+     * than the spelling means asking the same questions wherever a route arrives,
+     * so this reports exactly what `route(...)` reports, word for word.
+     *
+     * The runtime is already the second referee (D90 R19): `routerTable`
+     * validates every path and refuses a component that is not callable. Nothing
+     * here changes which programs run — it moves a refusal the author would have
+     * met at mount to the place the source shows the mistake.
+     *
+     * The `any` component slot is skipped here rather than inside
+     * `checkWebRouteComponent`, which is why that method carries no `any` arm:
+     * this loop and the Router `fallback` attribute are its only two callers, and
+     * both filter first. An `any` reaches this slot for real — `web.lazy` answers
+     * `anyType` from each of its error paths — and it arrives with the author's
+     * real message already reported, so a second "received any" would be a
+     * cascade. The `route(...)` twin skips it for the same reason.
+     */
+    private checkWebRouteRecords;
     private checkWebRouteComponent;
     private analyzeInlineVisualAttribute;
 }

package/dist/analyzer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analyzer.d.ts","sourceRoot":"","sources":["../src/analyzer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAwB,KAAK,UAAU,EAAE,KAAK,IAAI,EAAE,MAAM,uBAAuB,CAAC;AACzF,OAAO,EACL,QAAQ,EAgBR,KAAK,eAAe,EACpB,KAAK,yBAAyB,EAC9B,KAAK,gCAAgC,EACrC,KAAK,UAAU,EAEf,KAAK,OAAO,EACZ,KAAK,SAAS,EACd,KAAK,aAAa,EAClB,KAAK,SAAS,EACf,MAAM,iCAAiC,CAAC;AAwEzC,eAAO,MAAM,oBAAoB,iDAAiD,CAAC;AAsFnF,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,gCAAgC,GAAG,SAAS,GAAG,SAAS,CAyLlG;AAiaD,qBAAa,gBAAiB,SAAQ,QAAQ;IAC5C,OAAO,CAAC,eAAe,CAA4B;IACnD,OAAO,CAAC,YAAY,CAAK;IACzB,OAAO,CAAC,YAAY,CAAK;IACzB,iHAAiH;IACjH,OAAO,CAAC,cAAc,CAAK;IAC3B,OAAO,CAAC,wBAAwB,CAAK;IACrC,OAAO,CAAC,QAAQ,CAAK;IACrB,OAAO,CAAC,QAAQ,CAAC,SAAS,CAA8B;IACxD,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAqB;IACtD,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAgC;IACnE,OAAO,CAAC,QAAQ,CAAC,wBAAwB,CAAuC;IAChF,OAAO,CAAC,gBAAgB,CAAmD;IAC3E,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAkC;IAClE,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAqB;IAC1D,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAqB;IACzD,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAsF;IACpH,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAmC;IAClE,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAmC;IACnE,OAAO,CAAC,gBAAgB,CAA0C;IAClE,OAAO,CAAC,gBAAgB,CAAK;IAC7B;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAqB;IAC1D,kFAAkF;IAClF,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAsB;IAC5D,qFAAqF;IACrF,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAqB;IAC3D,uHAAuH;IACvH,OAAO,CAAC,QAAQ,CAAC,2BAA2B,CAAiD;IAC7F,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAA6B;IAClE,OAAO,CAAC,QAAQ,CAAC,yBAAyB,CAA2B;IACrE,OAAO,CAAC,QAAQ,CAAC,uBAAuB,CAAqB;IAC7D,uFAAuF;IACvF,OAAO,CAAC,QAAQ,CAAC,cAAc,CAA2B;IAC1D,mFAAmF;IACnF,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAgB;IAC9C,8FAA8F;IAC9F,OAAO,CAAC,4BAA4B,CAA0C;IAE9E,YAAY,OAAO,GAAE,eAAoB,EAAE,UAAU,GAAE,SAAS,yBAAyB,EAAO,EAW/F;IAEQ,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,UAAU,EAAE,CAUxD;IAED;;;;;;OAMG;IACH,OAAO,CAAC,wBAAwB;IAShC;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,uBAAuB;IA6C/B;;;;;OAKG;IACH,OAAO,CAAC,mBAAmB;IAW3B,UAAmB,4BAA4B,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAM7E;IAED,UAAmB,yBAAyB,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAwG1E;IAED,UAAmB,gBAAgB,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI,CAa9D;IAED,OAAO,CAAC,0BAA0B;IAelC,OAAO,CAAC,eAAe;IAWvB,UAAmB,gCAAgC,CAAC,SAAS,EAAE,SAAS,GAAG;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;KAAE,GAAG,IAAI,CAM/H;IAED;;;;;;OAMG;IACH,OAAO,CAAC,0BAA0B;IAgBlC;;;;;OAKG;IACH,OAAO,CAAC,iBAAiB;IAKzB,OAAO,CAAC,yBAAyB;IAKjC;;;;;;;OAOG;IACH,UAAmB,2BAA2B,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,GAAE,OAAO,GAAG,MAAgB,GAAG,IAAI,CAWnG;IAED,UAAmB,wBAAwB,CAAC,UAAU,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS,CA2GrH;IAED,UAAmB,eAAe,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc,GAAE,SAAuB,GAAG,SAAS,CA0B7G;IAID,OAAO,CAAC,iBAAiB;IAIzB;;;;;;OAMG;IACH,OAAO,CAAC,qBAAqB;IAqB7B;;;;;;;;;;OAUG;IACH,OAAO,CAAC,wBAAwB;IAkBhC,0EAA0E;IAC1E,OAAO,CAAC,kBAAkB;IAK1B;;;;;;OAMG;IACH,OAAO,CAAC,kBAAkB;IA0B1B,8FAA8F;IAC9F,OAAO,CAAC,eAAe;IAQvB;;;;;OAKG;IACH,OAAO,CAAC,wBAAwB;IAehC;;;;;;OAMG;IACH,OAAO,CAAC,gCAAgC;IAuBxC,kFAAkF;IAClF,OAAO,CAAC,yBAAyB;IAkBjC;;;;;;OAMG;IACH,OAAO,CAAC,6BAA6B;IAgCrC;;;;OAIG;IACH,OAAO,CAAC,4BAA4B;IAYpC,UAAmB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,IAAI,CAExF;IAED,UAAmB,kBAAkB,CACnC,MAAM,EAAE,OAAO,iCAAiC,EAAE,kBAAkB,EACpE,UAAU,EAAE,SAAS,UAAU,EAAE,EACjC,aAAa,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,GAAG,SAAS,EACrD,QAAQ,EAAE,IAAI,GACb,SAAS,GAAG,SAAS,CASvB;IAED,UAAmB,2BAA2B,CAC5C,MAAM,EAAE,OAAO,iCAAiC,EAAE,UAAU,EAC5D,QAAQ,EAAE,CAAC,MAAM,EAAE,OAAO,iCAAiC,EAAE,UAAU,KAAK,OAAO,EACnF,OAAO,EAAE,CAAC,SAAS,EAAE,aAAa,KAAK,SAAS,GAC/C,OAAO,GAAG,SAAS,CA8CrB;IAED;;;;;OAKG;IACH,UAAmB,uBAAuB,IAAI,MAAM,GAAG,IAAI,CAM1D;IAED,UAAmB,4BAA4B,IAAI,OAAO,CAGzD;IAED,UAAmB,4BAA4B,IAAI,MAAM,GAAG,IAAI,CAI/D;IAED,OAAO,CAAC,aAAa;IAYrB,OAAO,CAAC,0BAA0B;IAyBlC,OAAO,CAAC,UAAU;IAalB,OAAO,CAAC,wBAAwB;IAKhC,OAAO,CAAC,gBAAgB;IAyHxB,OAAO,CAAC,oBAAoB;IAO5B,OAAO,CAAC,2BAA2B;IAQnC,UAAmB,iBAAiB,CAAC,SAAS,EAAE,aAAa,GAAG,IAAI,GAAG,SAAS,CAE/E;IAED,OAAO,CAAC,2BAA2B;IAsBnC,OAAO,CAAC,qBAAqB;IAkB7B,OAAO,CAAC,kBAAkB;IA4D1B;;;;;;;OAOG;IACH,OAAO,CAAC,uBAAuB;IAyB/B;;;;;;OAMG;IACH,OAAO,CAAC,mBAAmB;IAS3B;;;;;OAKG;IACH,OAAO,CAAC,oBAAoB;IA2C5B,OAAO,CAAC,uBAAuB;IAkC/B,OAAO,CAAC,qBAAqB;IAO7B,OAAO,CAAC,gBAAgB;IAgCxB,OAAO,CAAC,2BAA2B;IAqBnC;;;;;OAKG;IACH,OAAO,CAAC,eAAe;IAQvB;;;;;OAKG;IACH,OAAO,CAAC,gBAAgB;IAgCxB,OAAO,CAAC,4BAA4B;IA8DpC;;;;OAIG;IACH,OAAO,CAAC,2BAA2B;IAWnC,OAAO,CAAC,kBAAkB;IAiE1B,OAAO,CAAC,sBAAsB;IAa9B,OAAO,CAAC,QAAQ;IA8DhB,OAAO,CAAC,uBAAuB;IAe/B,OAAO,CAAC,wBAAwB;IAuBhC,OAAO,CAAC,uBAAuB;IA8E/B;;;;;OAKG;IACH,OAAO,CAAC,uBAAuB;IAsB/B,OAAO,CAAC,mBAAmB;IA2B3B,OAAO,CAAC,yBAAyB;IAwGjC;;;;;OAKG;IACH,OAAO,CAAC,uBAAuB;IAc/B;;;;;OAKG;IACH,OAAO,CAAC,oBAAoB;IAM5B;;;;;OAKG;IACH,OAAO,CAAC,YAAY;IAwBpB;;;;;OAKG;IACH,OAAO,CAAC,gBAAgB;IA0BxB,OAAO,CAAC,yBAAyB;IAcjC,OAAO,CAAC,WAAW;IASnB,OAAO,CAAC,YAAY;IAQpB,OAAO,CAAC,eAAe;IAWvB,OAAO,CAAC,mBAAmB;IAU3B,OAAO,CAAC,gBAAgB;IAQxB,OAAO,CAAC,sBAAsB;IAY9B,OAAO,CAAC,4BAA4B;CAmBrC"}
+{"version":3,"file":"analyzer.d.ts","sourceRoot":"","sources":["../src/analyzer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAwB,KAAK,UAAU,EAAE,KAAK,IAAI,EAAE,MAAM,uBAAuB,CAAC;AACzF,OAAO,EACL,QAAQ,EAgBR,KAAK,eAAe,EACpB,KAAK,yBAAyB,EAC9B,KAAK,gCAAgC,EACrC,KAAK,UAAU,EAEf,KAAK,OAAO,EACZ,KAAK,SAAS,EACd,KAAK,aAAa,EAClB,KAAK,SAAS,EACf,MAAM,iCAAiC,CAAC;AAgFzC,eAAO,MAAM,oBAAoB,iDAAiD,CAAC;AAiHnF,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,gCAAgC,GAAG,SAAS,GAAG,SAAS,CAsLlG;AAghCD,qBAAa,gBAAiB,SAAQ,QAAQ;IAC5C,OAAO,CAAC,eAAe,CAA4B;IACnD,OAAO,CAAC,YAAY,CAAK;IACzB,OAAO,CAAC,YAAY,CAAK;IACzB,iHAAiH;IACjH,OAAO,CAAC,cAAc,CAAK;IAC3B,4FAA4F;IAC5F,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAqB;IACtD,4FAA4F;IAC5F,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAA0B;IAC5D,OAAO,CAAC,wBAAwB,CAAK;IACrC,OAAO,CAAC,QAAQ,CAAK;IACrB,OAAO,CAAC,QAAQ,CAAC,SAAS,CAA8B;IACxD,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAqB;IACtD,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAgC;IACnE,OAAO,CAAC,QAAQ,CAAC,wBAAwB,CAAuC;IAChF,OAAO,CAAC,gBAAgB,CAAmD;IAC3E,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAkC;IAClE,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAqB;IAC1D,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAqB;IACzD,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAsF;IACpH,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAmC;IAClE,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAmC;IACnE,OAAO,CAAC,gBAAgB,CAA0C;IAClE,OAAO,CAAC,gBAAgB,CAA4D;IACpF,OAAO,CAAC,gBAAgB,CAAK;IAC7B;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAqB;IAC1D,kFAAkF;IAClF,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAsB;IAC5D,qFAAqF;IACrF,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAqB;IAC3D,gHAAgH;IAChH,OAAO,CAAC,QAAQ,CAAC,2BAA2B,CAAiD;IAC7F,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAA6B;IAClE,OAAO,CAAC,QAAQ,CAAC,yBAAyB,CAAqE;IAC/G,OAAO,CAAC,QAAQ,CAAC,uBAAuB,CAAqB;IAC7D,uFAAuF;IACvF,OAAO,CAAC,QAAQ,CAAC,cAAc,CAA2B;IAC1D,mFAAmF;IACnF,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAgB;IAC9C,8FAA8F;IAC9F,OAAO,CAAC,4BAA4B,CAA0C;IAE9E,YAAY,OAAO,GAAE,eAAoB,EAAE,UAAU,GAAE,SAAS,yBAAyB,EAAO,EAW/F;IAEQ,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,UAAU,EAAE,CAcxD;IAED;;;;;;OAMG;IACH,OAAO,CAAC,wBAAwB;IAShC;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,uBAAuB;IA6C/B;;;;;OAKG;IACH,OAAO,CAAC,mBAAmB;IAW3B,UAAmB,4BAA4B,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAM7E;IAED,UAAmB,yBAAyB,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAwG1E;IAED,UAAmB,gBAAgB,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI,CAc9D;IAED,OAAO,CAAC,0BAA0B;IAelC,OAAO,CAAC,eAAe;IAWvB,UAAmB,gCAAgC,CAAC,SAAS,EAAE,SAAS,GAAG;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;KAAE,GAAG,IAAI,CAM/H;IAED;;;;;;OAMG;IACH,OAAO,CAAC,0BAA0B;IAgBlC;;;;;OAKG;IACH,OAAO,CAAC,iBAAiB;IAKzB,OAAO,CAAC,yBAAyB;IAKjC;;;;;;;OAOG;IACH,UAAmB,2BAA2B,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,GAAE,OAAO,GAAG,MAAgB,GAAG,IAAI,CAWnG;IAED,UAAmB,wBAAwB,CAAC,UAAU,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS,CA2GrH;IAED,UAAmB,eAAe,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc,GAAE,SAAuB,GAAG,SAAS,CA4B7G;IAID,OAAO,CAAC,iBAAiB;IAIzB;;;;;;;;;;;;;;;;;;;OAmBG;IACH,OAAO,CAAC,6BAA6B;IAerC;;;;;;OAMG;IACH,OAAO,CAAC,qBAAqB;IAqB7B;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,wBAAwB;IA6ChC;;;;;;;;;;OAUG;IACH,OAAO,CAAC,sBAAsB;IAwB9B;;;;;;;OAOG;IACH,OAAO,CAAC,uBAAuB;IAgB/B,0EAA0E;IAC1E,OAAO,CAAC,kBAAkB;IAK1B;;;;;;OAMG;IACH,OAAO,CAAC,kBAAkB;IA0B1B,8FAA8F;IAC9F,OAAO,CAAC,eAAe;IAQvB;;;;;OAKG;IACH,OAAO,CAAC,wBAAwB;IAehC;;;;;;OAMG;IACH,OAAO,CAAC,gCAAgC;IAwBxC,wFAAwF;IACxF,OAAO,CAAC,yBAAyB;IAkBjC;;;;;;;OAOG;IACH,OAAO,CAAC,6BAA6B;IAmCrC,UAAmB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,IAAI,CAExF;IAED,UAAmB,kBAAkB,CACnC,MAAM,EAAE,OAAO,iCAAiC,EAAE,kBAAkB,EACpE,UAAU,EAAE,SAAS,UAAU,EAAE,EACjC,aAAa,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,GAAG,SAAS,EACrD,QAAQ,EAAE,IAAI,GACb,SAAS,GAAG,SAAS,CASvB;IAED,UAAmB,2BAA2B,CAC5C,MAAM,EAAE,OAAO,iCAAiC,EAAE,UAAU,EAC5D,QAAQ,EAAE,CAAC,MAAM,EAAE,OAAO,iCAAiC,EAAE,UAAU,KAAK,OAAO,EACnF,OAAO,EAAE,CAAC,SAAS,EAAE,aAAa,KAAK,SAAS,GAC/C,OAAO,GAAG,SAAS,CA8CrB;IAED;;;;;OAKG;IACH,UAAmB,uBAAuB,IAAI,MAAM,GAAG,IAAI,CAM1D;IAED,UAAmB,4BAA4B,IAAI,OAAO,CAGzD;IAED,UAAmB,4BAA4B,IAAI,MAAM,GAAG,IAAI,CAI/D;IAED,OAAO,CAAC,aAAa;IAYrB,OAAO,CAAC,0BAA0B;IAyBlC,OAAO,CAAC,UAAU;IAalB,OAAO,CAAC,wBAAwB;IAKhC,OAAO,CAAC,gBAAgB;IAyHxB,OAAO,CAAC,oBAAoB;IAO5B,OAAO,CAAC,2BAA2B;IAQnC,UAAmB,iBAAiB,CAAC,SAAS,EAAE,aAAa,GAAG,IAAI,GAAG,SAAS,CAE/E;IAED,OAAO,CAAC,2BAA2B;IAsBnC,OAAO,CAAC,qBAAqB;IAkB7B,OAAO,CAAC,kBAAkB;IA6D1B;;;;;;;OAOG;IACH,OAAO,CAAC,uBAAuB;IAyB/B;;;;;;OAMG;IACH,OAAO,CAAC,mBAAmB;IAS3B;;;;;OAKG;IACH,OAAO,CAAC,oBAAoB;IA+D5B,OAAO,CAAC,uBAAuB;IAkC/B,OAAO,CAAC,qBAAqB;IAO7B,OAAO,CAAC,gBAAgB;IAgCxB,OAAO,CAAC,2BAA2B;IAqBnC;;;;;OAKG;IACH,OAAO,CAAC,eAAe;IAQvB;;;;;OAKG;IACH,OAAO,CAAC,gBAAgB;IAgCxB;;;;;;OAMG;IACH,OAAO,CAAC,4BAA4B;IA8DpC;;;;;;;OAOG;IACH,OAAO,CAAC,iBAAiB;IAOzB;;;;OAIG;IACH,OAAO,CAAC,2BAA2B;IAWnC,OAAO,CAAC,kBAAkB;IAiE1B,OAAO,CAAC,sBAAsB;IAa9B,OAAO,CAAC,QAAQ;IAyDhB;;;;;;;;OAQG;IACH,OAAO,CAAC,yBAAyB;IAwBjC;;;;;OAKG;IACH,OAAO,CAAC,wBAAwB;IAmBhC,OAAO,CAAC,uBAAuB;IAoB/B,OAAO,CAAC,wBAAwB;IAuBhC,OAAO,CAAC,uBAAuB;IAqF/B;;;;;OAKG;IACH,OAAO,CAAC,uBAAuB;IAuB/B;;;;;;;;OAQG;IACH,OAAO,CAAC,+BAA+B;IA6BvC,OAAO,CAAC,mBAAmB;IA2B3B,OAAO,CAAC,yBAAyB;IAwJjC;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,OAAO,CAAC,6BAA6B;IAwFrC;;;;;OAKG;IACH,OAAO,CAAC,uBAAuB;IAc/B;;;;;OAKG;IACH,OAAO,CAAC,oBAAoB;IAM5B;;;;;OAKG;IACH,OAAO,CAAC,YAAY;IAwBpB;;;;;OAKG;IACH,OAAO,CAAC,gBAAgB;IA0BxB,OAAO,CAAC,yBAAyB;IAcjC,OAAO,CAAC,WAAW;IASnB,OAAO,CAAC,YAAY;IAQpB,OAAO,CAAC,eAAe;IAWvB,OAAO,CAAC,mBAAmB;IAU3B,OAAO,CAAC,gBAAgB;IAQxB;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,OAAO,CAAC,oBAAoB;IA6B5B,OAAO,CAAC,sBAAsB;IAe9B,OAAO,CAAC,4BAA4B;CAmBrC"}