@velarscript/web 0.31.0 → 0.33.0

package/dist/analysis/components/ownership.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ownership.js","sourceRoot":"","sources":["../../../src/analysis/components/ownership.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAkB,MAAM,iCAAiC,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AACvI,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAA8B,MAAM,WAAW,CAAC;AAIvD;;;;;;;;GAQG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAA2B;IACjE,IAAI,IAAI,CAAC,eAAe,KAAK,IAAI,IAAI,IAAI,CAAC,YAAY,KAAK,CAAC,IAAI,IAAI,CAAC,YAAY,KAAK,CAAC,IAAI,IAAI,CAAC,cAAc,KAAK,CAAC;WAC/G,IAAI,CAAC,wBAAwB,EAAE,EAAE,CAAC;QACrC,OAAO,wKAAwK,CAAC;IAClL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,UAAU,6BAA6B,CAAC,IAA2B,EAAE,SAA8B;IACvG,uEAAuE;IACvE,yEAAyE;IACzE,yEAAyE;IACzE,+BAA+B;IAC/B,IAAI,IAAI,CAAC,kBAAkB,GAAG,CAAC;QAAE,OAAO;IACxC,MAAM,aAAa,GAAG,SAAS,CAAC,UAAU;QACxC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAC9D,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,CAAC,aAAa;QAAE,OAAO;IAC3B,KAAK,MAAM,OAAO,IAAI,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1D,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,SAAS;QAC3C,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAC9B,SAAS,EACT,IAAI,SAAS,CAAC,IAAI,iDAAiD,OAAO,CAAC,GAAG,iOAAiO,OAAO,CAAC,GAAG,qHAAqH,OAAO,CAAC,GAAG,yEAAyE,EACngB,OAAO,CAAC,IAAI,CACb,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,6BAA6B,CAAC,IAA2B,EAAE,SAA8B;IACvG,MAAM,aAAa,GAAG,SAAS,CAAC,UAAU;QACxC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAC9D,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,CAAC,aAAa;QAAE,OAAO;IAC3B,MAAM,WAAW,GAAG,wBAAwB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7D,IAAI,CAAC,WAAW;QAAE,OAAO;IACzB,MAAM,SAAS,GAAG,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAC9B,SAAS,EACT,IAAI,SAAS,CAAC,IAAI,cAAc,WAAW,CAAC,KAAK,uTAAuT,SAAS,wBAAwB,SAAS,0EAA0E,EAC5d,WAAW,CAAC,IAAI,CACjB,CAAC,CAAC;AACL,CAAC"}

package/dist/analysis/declarations.d.ts

@@ -0,0 +1,99 @@
+/**
+ * What a Web declaration means and what analyzing one does: the types a
+ * `component` and an `action` publish, the four reactive declarations
+ * (`state`, `computed`, `resource`, `action`), the module-level `import css
+ * unsafe`, the scope prescan's answer, and the demotion an imported derived
+ * name receives.
+ *
+ * D115 P4 R3c. Every one of these is reached from the analyzer's statement
+ * seams, which stay on the root as the dispatch over statement kinds; the arms
+ * themselves live here. `analyzeComponent` calls the same four declaration
+ * analyzers from a component body, which is why they are a module both the root
+ * and `components/` can call and why the import runs one way only:
+ * `components/` reads this module, and this module never reads `components/`.
+ */
+import { type Diagnostic, type Span } from "@velarscript/compiler";
+import { type Expression, type Statement, type TypeReference, type ValueType } from "@velarscript/compiler/extension";
+import { type WebActionDeclaration as ActionDeclaration, type WebComponentDeclaration as ComponentDeclaration, type WebComputedDeclaration as ComputedDeclaration, type WebResourceDeclaration as ResourceDeclaration, type WebStateDeclaration as StateDeclaration, type WebUnsafeCssDeclaration as UnsafeCssDeclaration } from "../ast.ts";
+import { type KeyedRebuildHost } from "./keyed-rebuild.ts";
+/**
+ * What the declaration analyzers ask of the analyzer that hosts them: the four
+ * span tables a declaration records itself in, the module's unsafe-CSS and
+ * resource inputs, and the base-analyzer operations declaring a name performs.
+ *
+ * It extends `KeyedRebuildHost` because a `computed` declaration is one of the
+ * two places a keyed-list rebuild is recorded, so analyzing a declaration
+ * really does need everything that advisory needs.
+ */
+export interface DeclarationAnalysisHost extends KeyedRebuildHost {
+    /** D71 rule 182: the declaration spans of every `computed` binding in scope. */
+    readonly computedBindingSpans: Set<string>;
+    /** Local names bound to an imported `export computed`, from the Web interface. */
+    readonly importedComputedNames: ReadonlySet<string>;
+    /** The resolved spans of those imports, so a local shadow of the name is not one. */
+    readonly importedComputedSpans: Set<string>;
+    /** The project resources this compile read, which is where an external unsafe stylesheet's text comes from. */
+    readonly resources: ReadonlyMap<string, string>;
+    /** D114 W: the declaration spans of every `resource` in scope. */
+    readonly resourceBindingSpans: Set<string>;
+    /** Each external stylesheet already given an order position, which is how a second import of one is recognised. */
+    readonly unsafeCssImports: Set<string>;
+    /** How many synchronous reactive bodies enclose the expression being inferred; a `computed` initializer is one. */
+    synchronousReactiveDepth: number;
+    readonly diagnostics: Diagnostic[];
+    analyzeFunctionDeclaration(statement: ActionDeclaration, className: null, method: boolean, declareSelf: boolean, forceAsynchronous: boolean, declarationKind: string): void;
+    declareBinding(name: string, mutable: boolean, type: ValueType, declarationSpan: Span): void;
+    inferExpression(expression: Expression, contextualType?: ValueType): ValueType;
+    inferredFunctionResult(statement: ActionDeclaration): ValueType;
+    isTopLevelScope(): boolean;
+    markDeclaredBindingReactive(name: string, kind: "state" | "prop"): void;
+    requireAssignable(actual: ValueType, expected: ValueType, valueSpan: Span): void;
+    requireSettledCollectionElement(initializer: Expression, declared: ValueType, annotated: boolean): void;
+    resolveAnnotation(reference: TypeReference | null): ValueType;
+    resolveValidatedAnnotation(reference: TypeReference | null): ValueType;
+    resolvedAsyncResult(type: ValueType): ValueType;
+    validateTypeReference(reference: TypeReference): boolean;
+}
+export declare function componentType(host: DeclarationAnalysisHost, statement: ComponentDeclaration): ValueType;
+/**
+ * A `state` declaration, at module scope and in a component body alike: the two
+ * arms are the same eight lines, so they are written once here.
+ */
+export declare function analyzeStateDeclaration(host: DeclarationAnalysisHost, statement: StateDeclaration): void;
+/**
+ * D71 rule 182: a derived value is reactive and read-only, which is exactly
+ * the reactive identity a component prop already carries — a bare read lowers
+ * through `.get()`, and nothing may write it. Registering that identity
+ * rather than `state` is what keeps `bind={doubled}` and every other writable
+ * position refusing a derived name for free.
+ */
+export declare function analyzeComputedDeclaration(host: DeclarationAnalysisHost, statement: ComputedDeclaration): void;
+export declare function analyzeResourceDeclaration(host: DeclarationAnalysisHost, statement: ResourceDeclaration): void;
+export declare function actionType(host: DeclarationAnalysisHost, statement: ActionDeclaration): ValueType;
+export declare function analyzeActionDeclaration(host: DeclarationAnalysisHost, statement: ActionDeclaration): void;
+/**
+ * LOK-D2 / D53: unsafe CSS is a module-level ordering declaration, whether its
+ * source is an external resource or an inline raw block. Nested inside a
+ * component or a function it used to pass every check, build, and then appear
+ * in no output at all.
+ */
+export declare function analyzeUnsafeCssDeclaration(host: DeclarationAnalysisHost, statement: UnsafeCssDeclaration): void;
+/** The three Web declarations a scope prescan has to see, so a later shadow of one is recognised. */
+export declare function webScopeDeclaration(statement: Statement): {
+    readonly name: string;
+    readonly span: Span;
+} | null;
+/**
+ * D71 rule 184: a cross-module `computed` travels through `reactiveExports`
+ * so its bare read lowers through `.get()` like an exported `state` — but it
+ * is not writable, and the imported binding must not inherit the writable
+ * identity that carries `bind={...}` and `event => name = ...`. The Web
+ * extension publishes which exported names are derived, so the import is
+ * demoted to the read-only reactive identity here.
+ *
+ * `markCore` is the base analyzer's own registration, which only the class can
+ * reach: this rule decides which identity the name receives and then hands the
+ * decision back.
+ */
+export declare function markWebBindingReactive(host: DeclarationAnalysisHost, name: string, kind: "state" | "prop", markCore: (name: string, kind: "state" | "prop") => void): void;
+//# sourceMappingURL=declarations.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"declarations.d.ts","sourceRoot":"","sources":["../../src/analysis/declarations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,IAAI,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAUL,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,aAAa,EAClB,KAAK,SAAS,EACf,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAEL,KAAK,oBAAoB,IAAI,iBAAiB,EAC9C,KAAK,uBAAuB,IAAI,oBAAoB,EACpD,KAAK,sBAAsB,IAAI,mBAAmB,EAClD,KAAK,sBAAsB,IAAI,mBAAmB,EAClD,KAAK,mBAAmB,IAAI,gBAAgB,EAC5C,KAAK,uBAAuB,IAAI,oBAAoB,EACrD,MAAM,WAAW,CAAC;AAEnB,OAAO,EAAiC,KAAK,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAI1F;;;;;;;;GAQG;AACH,MAAM,WAAW,uBAAwB,SAAQ,gBAAgB;IAC/D,gFAAgF;IAChF,QAAQ,CAAC,oBAAoB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3C,kFAAkF;IAClF,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpD,qFAAqF;IACrF,QAAQ,CAAC,qBAAqB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5C,+GAA+G;IAC/G,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChD,kEAAkE;IAClE,QAAQ,CAAC,oBAAoB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3C,mHAAmH;IACnH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACvC,mHAAmH;IACnH,wBAAwB,EAAE,MAAM,CAAC;IAEjC,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;IACnC,0BAA0B,CACxB,SAAS,EAAE,iBAAiB,EAC5B,SAAS,EAAE,IAAI,EACf,MAAM,EAAE,OAAO,EACf,WAAW,EAAE,OAAO,EACpB,iBAAiB,EAAE,OAAO,EAC1B,eAAe,EAAE,MAAM,GACtB,IAAI,CAAC;IACR,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,eAAe,EAAE,IAAI,GAAG,IAAI,CAAC;IAC7F,eAAe,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc,CAAC,EAAE,SAAS,GAAG,SAAS,CAAC;IAC/E,sBAAsB,CAAC,SAAS,EAAE,iBAAiB,GAAG,SAAS,CAAC;IAChE,eAAe,IAAI,OAAO,CAAC;IAC3B,2BAA2B,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAAC;IACxE,iBAAiB,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,GAAG,IAAI,CAAC;IACjF,+BAA+B,CAAC,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,GAAG,IAAI,CAAC;IACxG,iBAAiB,CAAC,SAAS,EAAE,aAAa,GAAG,IAAI,GAAG,SAAS,CAAC;IAC9D,0BAA0B,CAAC,SAAS,EAAE,aAAa,GAAG,IAAI,GAAG,SAAS,CAAC;IACvE,mBAAmB,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAAC;IAChD,qBAAqB,CAAC,SAAS,EAAE,aAAa,GAAG,OAAO,CAAC;CAC1D;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,uBAAuB,EAAE,SAAS,EAAE,oBAAoB,GAAG,SAAS,CAUvG;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,uBAAuB,EAAE,SAAS,EAAE,gBAAgB,GAAG,IAAI,CASxG;AAED;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,uBAAuB,EAAE,SAAS,EAAE,mBAAmB,GAAG,IAAI,CAe9G;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,uBAAuB,EAAE,SAAS,EAAE,mBAAmB,GAAG,IAAI,CAwB9G;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,uBAAuB,EAAE,SAAS,EAAE,iBAAiB,GAAG,SAAS,CAWjG;AAED,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,uBAAuB,EAAE,SAAS,EAAE,iBAAiB,GAAG,IAAI,CAG1G;AAED;;;;;GAKG;AACH,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,uBAAuB,EAAE,SAAS,EAAE,oBAAoB,GAAG,IAAI,CAkBhH;AAED,qGAAqG;AACrG,wBAAgB,mBAAmB,CAAC,SAAS,EAAE,SAAS,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAAG,IAAI,CAM/G;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,uBAAuB,EAC7B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,OAAO,GAAG,MAAM,EACtB,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,GAAG,MAAM,KAAK,IAAI,GACvD,IAAI,CAWN"}

package/dist/analysis/declarations.js

@@ -0,0 +1,176 @@
+/**
+ * What a Web declaration means and what analyzing one does: the types a
+ * `component` and an `action` publish, the four reactive declarations
+ * (`state`, `computed`, `resource`, `action`), the module-level `import css
+ * unsafe`, the scope prescan's answer, and the demotion an imported derived
+ * name receives.
+ *
+ * D115 P4 R3c. Every one of these is reached from the analyzer's statement
+ * seams, which stay on the root as the dispatch over statement kinds; the arms
+ * themselves live here. `analyzeComponent` calls the same four declaration
+ * analyzers from a component body, which is why they are a module both the root
+ * and `components/` can call and why the import runs one way only:
+ * `components/` reads this module, and this module never reads `components/`.
+ */
+import {} from "@velarscript/compiler";
+import { anyType, boolType, describeType, isInvalidType, nullType, optionalOf, spanIdentity, stringType, unknownType, } from "@velarscript/compiler/extension";
+import { isWebStatement, } from "../ast.js";
+import { webComponentConstructor } from "../types.js";
+import { recordDerivedKeyedListRebuild } from "./keyed-rebuild.js";
+import { containsCssImport, firstRelativeCssAssetAddress } from "./look-sites.js";
+import { diagnostic } from "./web-types.js";
+export function componentType(host, statement) {
+    const props = new Map(statement.parameters.map((parameter) => [parameter.name, host.resolveValidatedAnnotation(parameter.type)]));
+    if (!props.has("class"))
+        props.set("class", optionalOf(stringType));
+    if (!props.has("look"))
+        props.set("look", optionalOf({ kind: "named", name: "Look" }));
+    return webComponentConstructor(statement.name, props, new Set(statement.parameters.filter((parameter) => !parameter.defaultValue).map((parameter) => parameter.name)), statement.handleType ? host.resolveValidatedAnnotation(statement.handleType) : null);
+}
+/**
+ * A `state` declaration, at module scope and in a component body alike: the two
+ * arms are the same eight lines, so they are written once here.
+ */
+export function analyzeStateDeclaration(host, statement) {
+    const annotationValid = statement.type ? host.validateTypeReference(statement.type) : true;
+    const annotationContext = statement.type ? host.resolveValidatedAnnotation(statement.type) : null;
+    const actual = host.inferExpression(statement.initializer, annotationContext ?? unknownType);
+    const declared = annotationContext ?? actual;
+    if (annotationValid)
+        host.requireAssignable(actual, declared, statement.initializer.span);
+    host.requireSettledCollectionElement(statement.initializer, declared, annotationContext !== null);
+    host.declareBinding(statement.name, true, declared, statement.span);
+    host.markDeclaredBindingReactive(statement.name, "state");
+}
+/**
+ * D71 rule 182: a derived value is reactive and read-only, which is exactly
+ * the reactive identity a component prop already carries — a bare read lowers
+ * through `.get()`, and nothing may write it. Registering that identity
+ * rather than `state` is what keeps `bind={doubled}` and every other writable
+ * position refusing a derived name for free.
+ */
+export function analyzeComputedDeclaration(host, statement) {
+    const annotationValid = statement.type ? host.validateTypeReference(statement.type) : true;
+    const annotationContext = statement.type ? host.resolveValidatedAnnotation(statement.type) : null;
+    // The initializer re-runs on every dependency change, so it is a deferred
+    // read for the module-initialization-cycle classification, exactly like a
+    // watch subject.
+    host.synchronousReactiveDepth += 1;
+    const actual = host.inferExpression(statement.initializer, annotationContext ?? unknownType);
+    host.synchronousReactiveDepth -= 1;
+    const declared = annotationContext ?? actual;
+    if (annotationValid)
+        host.requireAssignable(actual, declared, statement.initializer.span);
+    host.declareBinding(statement.name, false, declared, statement.span);
+    host.markDeclaredBindingReactive(statement.name, "prop");
+    host.computedBindingSpans.add(spanIdentity(statement.span));
+    recordDerivedKeyedListRebuild(host, statement);
+}
+export function analyzeResourceDeclaration(host, statement) {
+    const annotated = statement.type ? host.resolveAnnotation(statement.type) : null;
+    const annotationValid = statement.type ? host.validateTypeReference(statement.type) : true;
+    const annotationContext = statement.type ? host.resolveValidatedAnnotation(statement.type) : null;
+    const expected = annotationContext ? { kind: "promise", value: annotationContext } : unknownType;
+    const actual = host.inferExpression(statement.initializer, expected);
+    let value = annotationContext ?? unknownType;
+    if (actual.kind === "promise") {
+        if (annotated && annotationValid)
+            host.requireAssignable(actual.value, annotated, statement.initializer.span);
+        else if (!statement.type)
+            value = actual.value;
+    }
+    else if (actual.kind === "any") {
+        value = annotationContext ?? anyType;
+    }
+    else if (!isInvalidType(actual)) {
+        host.diagnostics.push(diagnostic("VEL4016", `A resource initializer must return Promise<T>, received ${describeType(actual)}`, statement.initializer.span));
+    }
+    const fields = new Map([
+        ["value", value.kind === "null" ? nullType : optionalOf(value)],
+        ["loading", boolType],
+        ["ready", boolType],
+        ["error", optionalOf({ kind: "class", name: "Error" })],
+        ["reload", { kind: "function", parameters: [], requiredParameters: 0, result: { kind: "promise", value: nullType } }],
+    ]);
+    host.declareBinding(statement.name, false, { kind: "object", fields }, statement.span);
+    host.resourceBindingSpans.add(spanIdentity(statement.span));
+}
+export function actionType(host, statement) {
+    const declaredResult = host.resolvedAsyncResult(host.inferredFunctionResult(statement));
+    const rest = statement.parameters.find((parameter) => parameter.rest);
+    return {
+        kind: "action",
+        parameters: statement.parameters.filter((parameter) => !parameter.rest).map((parameter) => host.resolveValidatedAnnotation(parameter.type)),
+        parameterNames: statement.parameters.filter((parameter) => !parameter.rest).map((parameter) => parameter.name),
+        requiredParameters: statement.parameters.filter((parameter) => !parameter.rest && !parameter.defaultValue).length,
+        ...(rest ? { rest: host.resolveValidatedAnnotation(rest.type) } : {}),
+        result: { kind: "promise", value: declaredResult },
+    };
+}
+export function analyzeActionDeclaration(host, statement) {
+    host.declareBinding(statement.name, false, actionType(host, statement), statement.span);
+    host.analyzeFunctionDeclaration(statement, null, true, false, true, "Action");
+}
+/**
+ * LOK-D2 / D53: unsafe CSS is a module-level ordering declaration, whether its
+ * source is an external resource or an inline raw block. Nested inside a
+ * component or a function it used to pass every check, build, and then appear
+ * in no output at all.
+ */
+export function analyzeUnsafeCssDeclaration(host, statement) {
+    if (!host.isTopLevelScope()) {
+        host.diagnostics.push(diagnostic("VEL5037", "Unsafe CSS is module-level; move the declaration to the top of the module so its order against Look stays visible", statement.span));
+        return;
+    }
+    if (statement.source.kind === "external" && host.unsafeCssImports.has(statement.source.path)) {
+        host.diagnostics.push(diagnostic("VEL5037", `Unsafe CSS '${statement.source.path}' is imported more than once; each stylesheet must have one explicit order position`, statement.span));
+    }
+    if (statement.source.kind === "external")
+        host.unsafeCssImports.add(statement.source.path);
+    const source = statement.source.kind === "inline" ? statement.source.css : host.resources.get(statement.source.path);
+    const subject = statement.source.kind === "inline" ? "Inline unsafe CSS" : `Unsafe CSS '${statement.source.path}'`;
+    if (source && containsCssImport(source)) {
+        host.diagnostics.push(diagnostic("VEL5037", `${subject} contains @import; declare every stylesheet with 'import css unsafe' so project order remains visible`, statement.source.span));
+    }
+    if (source) {
+        const relativeAddress = firstRelativeCssAssetAddress(source);
+        if (relativeAddress)
+            host.diagnostics.push(diagnostic("VEL5037", `${subject} uses relative asset address ${relativeAddress.syntax}(${JSON.stringify(relativeAddress.value)}); use a project-public /path, data URL, fragment, or absolute URL so extracted asset ownership stays explicit`, statement.source.span));
+    }
+}
+/** The three Web declarations a scope prescan has to see, so a later shadow of one is recognised. */
+export function webScopeDeclaration(statement) {
+    if (!isWebStatement(statement))
+        return null;
+    return statement.kind === "ExtensionStatement:web:state" || statement.kind === "ExtensionStatement:web:computed"
+        || statement.kind === "ExtensionStatement:web:resource"
+        ? { name: statement.name, span: statement.span }
+        : null;
+}
+/**
+ * D71 rule 184: a cross-module `computed` travels through `reactiveExports`
+ * so its bare read lowers through `.get()` like an exported `state` — but it
+ * is not writable, and the imported binding must not inherit the writable
+ * identity that carries `bind={...}` and `event => name = ...`. The Web
+ * extension publishes which exported names are derived, so the import is
+ * demoted to the read-only reactive identity here.
+ *
+ * `markCore` is the base analyzer's own registration, which only the class can
+ * reach: this rule decides which identity the name receives and then hands the
+ * decision back.
+ */
+export function markWebBindingReactive(host, name, kind, markCore) {
+    // Only the import itself is demoted. A local `state` of the same name in a
+    // component or a block is a shadow that really is writable, and demoting it
+    // would compile its assignment as a plain store into the handle.
+    const imported = kind === "state" && host.isTopLevelScope() && host.importedComputedNames.has(name);
+    markCore(name, imported ? "prop" : kind);
+    if (!imported)
+        return;
+    const binding = host.lookup(name);
+    if (!binding)
+        return;
+    host.computedBindingSpans.add(spanIdentity(binding.span));
+    host.importedComputedSpans.add(spanIdentity(binding.span));
+}
+//# sourceMappingURL=declarations.js.map

package/dist/analysis/declarations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"declarations.js","sourceRoot":"","sources":["../../src/analysis/declarations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAA8B,MAAM,uBAAuB,CAAC;AACnE,OAAO,EACL,OAAO,EACP,QAAQ,EACR,YAAY,EACZ,aAAa,EACb,QAAQ,EACR,UAAU,EACV,YAAY,EACZ,UAAU,EACV,WAAW,GAKZ,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,cAAc,GAOf,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,6BAA6B,EAAyB,MAAM,oBAAoB,CAAC;AAC1F,OAAO,EAAE,iBAAiB,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AAClF,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAiD5C,MAAM,UAAU,aAAa,CAAC,IAA6B,EAAE,SAA+B;IAC1F,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAClI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;IACpE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACvF,OAAO,uBAAuB,CAC5B,SAAS,CAAC,IAAI,EACd,KAAK,EACL,IAAI,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAC/G,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CACpF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAA6B,EAAE,SAA2B;IAChG,MAAM,eAAe,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3F,MAAM,iBAAiB,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAClG,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,EAAE,iBAAiB,IAAI,WAAW,CAAC,CAAC;IAC7F,MAAM,QAAQ,GAAG,iBAAiB,IAAI,MAAM,CAAC;IAC7C,IAAI,eAAe;QAAE,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAC1F,IAAI,CAAC,+BAA+B,CAAC,SAAS,CAAC,WAAW,EAAE,QAAQ,EAAE,iBAAiB,KAAK,IAAI,CAAC,CAAC;IAClG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IACpE,IAAI,CAAC,2BAA2B,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC5D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,0BAA0B,CAAC,IAA6B,EAAE,SAA8B;IACtG,MAAM,eAAe,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3F,MAAM,iBAAiB,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAClG,0EAA0E;IAC1E,0EAA0E;IAC1E,iBAAiB;IACjB,IAAI,CAAC,wBAAwB,IAAI,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,EAAE,iBAAiB,IAAI,WAAW,CAAC,CAAC;IAC7F,IAAI,CAAC,wBAAwB,IAAI,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,iBAAiB,IAAI,MAAM,CAAC;IAC7C,IAAI,eAAe;QAAE,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAC1F,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IACrE,IAAI,CAAC,2BAA2B,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACzD,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5D,6BAA6B,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,IAA6B,EAAE,SAA8B;IACtG,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjF,MAAM,eAAe,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3F,MAAM,iBAAiB,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAClG,MAAM,QAAQ,GAAc,iBAAiB,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC;IAC5G,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IACrE,IAAI,KAAK,GAAG,iBAAiB,IAAI,WAAW,CAAC;IAC7C,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,SAAS,IAAI,eAAe;YAAE,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;aACzG,IAAI,CAAC,SAAS,CAAC,IAAI;YAAE,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;IACjD,CAAC;SAAM,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACjC,KAAK,GAAG,iBAAiB,IAAI,OAAO,CAAC;IACvC,CAAC;SAAM,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,2DAA2D,YAAY,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9J,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAoB;QACxC,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC/D,CAAC,SAAS,EAAE,QAAQ,CAAC;QACrB,CAAC,OAAO,EAAE,QAAQ,CAAC;QACnB,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QACvD,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,EAAE,kBAAkB,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC;KACtH,CAAC,CAAC;IACH,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IACvF,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAA6B,EAAE,SAA4B;IACpF,MAAM,cAAc,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAC,CAAC;IACxF,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,0BAA0B,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC3I,cAAc,EAAE,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC;QAC9G,kBAAkB,EAAE,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,MAAM;QACjH,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,cAAc,EAAE;KACnD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,IAA6B,EAAE,SAA4B;IAClG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IACxF,IAAI,CAAC,0BAA0B,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;AAChF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CAAC,IAA6B,EAAE,SAA+B;IACxG,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;QAC5B,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,mHAAmH,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QAClL,OAAO;IACT,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7F,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,eAAe,SAAS,CAAC,MAAM,CAAC,IAAI,qFAAqF,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1L,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU;QAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3F,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrH,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,eAAe,SAAS,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC;IACnH,IAAI,MAAM,IAAI,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;QACxC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,GAAG,OAAO,uGAAuG,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACzL,CAAC;IACD,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,eAAe,GAAG,4BAA4B,CAAC,MAAM,CAAC,CAAC;QAC7D,IAAI,eAAe;YAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,GAAG,OAAO,gCAAgC,eAAe,CAAC,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,gHAAgH,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACtT,CAAC;AACH,CAAC;AAED,qGAAqG;AACrG,MAAM,UAAU,mBAAmB,CAAC,SAAoB;IACtD,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5C,OAAO,SAAS,CAAC,IAAI,KAAK,8BAA8B,IAAI,SAAS,CAAC,IAAI,KAAK,iCAAiC;WAC3G,SAAS,CAAC,IAAI,KAAK,iCAAiC;QACvD,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE;QAChD,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAA6B,EAC7B,IAAY,EACZ,IAAsB,EACtB,QAAwD;IAExD,2EAA2E;IAC3E,4EAA4E;IAC5E,iEAAiE;IACjE,MAAM,QAAQ,GAAG,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,eAAe,EAAE,IAAI,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpG,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,CAAC,QAAQ;QAAE,OAAO;IACtB,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,CAAC,OAAO;QAAE,OAAO;IACrB,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1D,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7D,CAAC"}

package/dist/analysis/inference.d.ts

@@ -0,0 +1,75 @@
+/**
+ * What the Web extension adds to expression inference, either side of the core
+ * walk: the shapes it refuses before the core sees them, the answers it has
+ * already computed and hands back instead of walking again, the Look length a
+ * builder call folds to, and the two reports a call earns once its type is
+ * known. The extension's own call and type-syntax rules — a component element
+ * called like a function, and `Component<Props, Handle>` — are here too.
+ *
+ * D115 P4 R3c. The dispatch itself stays on the analyzer: `inferExpression` and
+ * `inferExtensionExpression` are seams the core owns, and what they hand to the
+ * JSX, keyframes and Look walks is the one thing that is genuinely a dispatch.
+ * Everything on either side of it is a rule, and rules live here.
+ */
+import { type Span } from "@velarscript/compiler";
+import { type Expression, type ExtensionValueType, type TypeReference, type TypeSyntax, type ValueType } from "@velarscript/compiler/extension";
+import { type LookAnalysisHost } from "./look/host.ts";
+import { type ReactiveNamesHost } from "./reactivity/host.ts";
+import { type RetiredAccessorHost } from "./reactivity/retired-accessors.ts";
+/** The state the inference rules own: the probe cache, and the two module inputs a call is proved against. */
+export interface ExpressionInferenceHost {
+    constantValue(expression: Expression): string | number | boolean | null | undefined;
+    importedMemberOf(name: string): {
+        readonly source: string;
+        readonly imported: string | null;
+    } | null;
+    resolvedCallArgument(expression: Extract<Expression, {
+        kind: "CallExpression";
+    }>, index: number): Expression | null;
+    /** The Look-arithmetic hints this walk records for the emitter, keyed by expression span. */
+    readonly extensionCalls: Map<string, string>;
+    /**
+     * Operands probed for Look arithmetic. The core analyzer re-requests one
+     * immediately after the probe declines, so the answer is parked here and
+     * consumed once — that is what keeps operand analysis single-run and operand
+     * diagnostics unrepeated.
+     */
+    readonly probedOperandTypes: Map<string, ValueType>;
+    /** The names this module declares as public configuration, from the program's own reading. Replaced per program. */
+    readonly publicConfigNames: ReadonlySet<string>;
+    /** D114 0.29.0 LC-D1: the manifest's `web.publicConfig`, or null when this compile read no project manifest. */
+    readonly webPublicConfig: Readonly<Record<string, unknown>> | null;
+    /** The module's source, which is what a component-call refusal quotes the arguments out of. */
+    readonly webSourceText: string;
+    fieldsOf(identity: string): ReadonlyMap<string, ValueType> | null;
+    typeError(message: string, errorSpan: Span): void;
+}
+/**
+ * The one face the inference rules read. It is an intersection because the
+ * rules on either side of the core walk really do reach three other groups: a
+ * call is checked as a Look builder call, a zero-argument call of a derived
+ * name is refused, and an identifier read is recorded for the D71 migration.
+ */
+export type InferenceHost = ExpressionInferenceHost & LookAnalysisHost & ReactiveNamesHost & RetiredAccessorHost;
+/**
+ * The Web shapes refused before the core analyzer sees the expression, in the
+ * order they are asked. `undefined` means nothing here claimed the expression
+ * and the extension dispatch continues.
+ */
+export declare function webExpressionShapeRefusals(host: InferenceHost, expression: Expression): ValueType | undefined;
+/** The two Web expressions that are a value rather than a walk: a misplaced Look hook, and a unit literal. */
+export declare function webExtensionValueType(host: InferenceHost, expression: Expression): ValueType | undefined;
+/**
+ * The answers the Web extension already holds for this expression, given back
+ * instead of walking it a second time. Null means the core walk should run.
+ */
+export declare function answeredBeforeInference(host: InferenceHost, expression: Expression): ValueType | null;
+/** The compile-time Look length a builder call folds to, or null when the call is not one. */
+export declare function foldedWebLength(host: InferenceHost, expression: Expression): ValueType | null;
+/** Infers one builder slot and parks the answer in the probe cache, so the call's own analysis reads it back. */
+export declare function probedSlotType(host: InferenceHost, argument: Expression): ValueType;
+/** The two reports a call earns once the core walk has answered its type. */
+export declare function reportInferredWebCall(host: InferenceHost, expression: Expression, result: ValueType): void;
+export declare function inferWebExtensionCall(host: InferenceHost, callee: ExtensionValueType, arguments_: readonly Expression[], argumentNames: readonly (string | null)[] | undefined, callSpan: Span): ValueType | undefined;
+export declare function validateWebExtensionTypeSyntax(host: InferenceHost, syntax: TypeSyntax, validate: (syntax: TypeSyntax) => boolean, resolve: (reference: TypeReference) => ValueType): boolean | undefined;
+//# sourceMappingURL=inference.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"inference.d.ts","sourceRoot":"","sources":["../../src/analysis/inference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAOL,KAAK,UAAU,EACf,KAAK,kBAAkB,EACvB,KAAK,aAAa,EAClB,KAAK,UAAU,EACf,KAAK,SAAS,EACf,MAAM,iCAAiC,CAAC;AAMzC,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAMvD,OAAO,EAAE,KAAK,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAoD,KAAK,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AAG/H,8GAA8G;AAC9G,MAAM,WAAW,uBAAuB;IACtC,aAAa,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,CAAC;IACpF,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,GAAG,IAAI,CAAC;IACrG,oBAAoB,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE;QAAE,IAAI,EAAE,gBAAgB,CAAA;KAAE,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI,CAAC;IACpH,6FAA6F;IAC7F,QAAQ,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C;;;;;OAKG;IACH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACpD,oHAAoH;IACpH,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAChD,gHAAgH;IAChH,QAAQ,CAAC,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC;IACnE,+FAA+F;IAC/F,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAE/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,IAAI,CAAC;IAClE,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,GAAG,IAAI,CAAC;CACnD;AAED;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GAAG,uBAAuB,GAAG,gBAAgB,GAAG,iBAAiB,GAAG,mBAAmB,CAAC;AAEjH;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE,UAAU,GAAG,SAAS,GAAG,SAAS,CAoF7G;AAED,8GAA8G;AAC9G,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE,UAAU,GAAG,SAAS,GAAG,SAAS,CAWxG;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE,UAAU,GAAG,SAAS,GAAG,IAAI,CAwBrG;AAED,8FAA8F;AAC9F,wBAAgB,eAAe,CAAC,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE,UAAU,GAAG,SAAS,GAAG,IAAI,CAG7F;AAED,iHAAiH;AACjH,wBAAgB,cAAc,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,UAAU,GAAG,SAAS,CAInF;AAED,6EAA6E;AAC7E,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,GAAG,IAAI,CAQ1G;AAkBD,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,aAAa,EACnB,MAAM,EAAE,kBAAkB,EAC1B,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,CAKvB;AAED,wBAAgB,8BAA8B,CAC5C,IAAI,EAAE,aAAa,EACnB,MAAM,EAAE,UAAU,EAClB,QAAQ,EAAE,CAAC,MAAM,EAAE,UAAU,KAAK,OAAO,EACzC,OAAO,EAAE,CAAC,SAAS,EAAE,aAAa,KAAK,SAAS,GAC/C,OAAO,GAAG,SAAS,CA8CrB"}