@velarscript/web 0.31.0 → 0.32.0

package/README.md

@@ -1,6 +1,6 @@
 # @velarscript/web
 
-**VelarScript 0.31.0 · Web surface `web@0.14`.** The counter is what a project
+**VelarScript 0.32.0 · Web surface `web@0.14`.** The counter is what a project
 declares in `velar.json`'s `surfaces` and what a mismatch is refused by; the
 release number every toolchain package steps to says only what you installed.
 

package/dist/analysis/calls/intrinsics/config.d.ts

@@ -0,0 +1,10 @@
+/**
+ * What 'velar/config' calls answer: the published shape a project's public
+ * configuration was declared with.
+ *
+ * D115 P4 R3a: one family of 'inferWebIntrinsic', in the module that family
+ * names.
+ */
+import { type CompilerIntrinsicAnalysisContext, type ValueType } from "@velarscript/compiler/extension";
+export declare function inferConfigIntrinsic(context: CompilerIntrinsicAnalysisContext): ValueType | undefined;
+//# sourceMappingURL=config.d.ts.map

package/dist/analysis/calls/intrinsics/config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../../../src/analysis/calls/intrinsics/config.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,KAAK,gCAAgC,EAAE,KAAK,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAExG,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,gCAAgC,GAAG,SAAS,GAAG,SAAS,CASrG"}

package/dist/analysis/calls/intrinsics/config.js

@@ -0,0 +1,19 @@
+/**
+ * What 'velar/config' calls answer: the published shape a project's public
+ * configuration was declared with.
+ *
+ * D115 P4 R3a: one family of 'inferWebIntrinsic', in the module that family
+ * names.
+ */
+import {} from "@velarscript/compiler/extension";
+export function inferConfigIntrinsic(context) {
+    const { intrinsic, arity, runtimeTypeAt } = context;
+    switch (intrinsic.name) {
+        case "config.public":
+            arity(1, 1);
+            return runtimeTypeAt(0);
+        default:
+            return undefined;
+    }
+}
+//# sourceMappingURL=config.js.map

package/dist/analysis/calls/intrinsics/config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../../../src/analysis/calls/intrinsics/config.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAyD,MAAM,iCAAiC,CAAC;AAExG,MAAM,UAAU,oBAAoB,CAAC,OAAyC;IAC5E,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,OAAO,CAAC;IACpD,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,eAAe;YAClB,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACZ,OAAO,aAAa,CAAC,CAAC,CAAC,CAAC;QAC1B;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC"}

package/dist/analysis/calls/intrinsics/forms.d.ts

@@ -0,0 +1,10 @@
+/**
+ * What 'velar/forms' calls answer: a form read is typed by the record it fills,
+ * and the fields of that record become the descriptors the emitter reads.
+ *
+ * D115 P4 R3a: one family of 'inferWebIntrinsic', in the module that family
+ * names.
+ */
+import { type CompilerIntrinsicAnalysisContext, type ValueType } from "@velarscript/compiler/extension";
+export declare function inferFormsIntrinsic(context: CompilerIntrinsicAnalysisContext): ValueType | undefined;
+//# sourceMappingURL=forms.d.ts.map

package/dist/analysis/calls/intrinsics/forms.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"forms.d.ts","sourceRoot":"","sources":["../../../../src/analysis/calls/intrinsics/forms.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,KAAK,gCAAgC,EAAsB,KAAK,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAE5H,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,gCAAgC,GAAG,SAAS,GAAG,SAAS,CAyBpG"}

package/dist/analysis/calls/intrinsics/forms.js

@@ -0,0 +1,38 @@
+/**
+ * What 'velar/forms' calls answer: a form read is typed by the record it fills,
+ * and the fields of that record become the descriptors the emitter reads.
+ *
+ * D115 P4 R3a: one family of 'inferWebIntrinsic', in the module that family
+ * names.
+ */
+import {} from "@velarscript/compiler/extension";
+export function inferFormsIntrinsic(context) {
+    const { intrinsic, argumentAt, callSpan, arity, inferAt, runtimeTypeAt } = context;
+    switch (intrinsic.name) {
+        case "forms.read": {
+            arity(2, 2);
+            inferAt(0, { kind: "named", name: "Element" });
+            const parsed = runtimeTypeAt(1);
+            if (parsed.kind === "any" || parsed.kind === "unknown")
+                return parsed;
+            const expanded = context.expandAliases(parsed);
+            const fields = expanded.kind === "named" ? context.declaredFieldsOf(expanded.identity ?? expanded.name) : null;
+            if (!fields) {
+                context.typeError("Form reading requires a record declared with 'type Name:'", argumentAt(1)?.span ?? callSpan);
+                return parsed;
+            }
+            const descriptors = [];
+            for (const [name, field] of fields) {
+                const descriptor = context.formReadField(name, field, argumentAt(1)?.span ?? callSpan);
+                if (descriptor)
+                    descriptors.push(descriptor);
+            }
+            if (descriptors.length === fields.size)
+                context.recordFormRead(callSpan, descriptors);
+            return parsed;
+        }
+        default:
+            return undefined;
+    }
+}
+//# sourceMappingURL=forms.js.map

package/dist/analysis/calls/intrinsics/forms.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"forms.js","sourceRoot":"","sources":["../../../../src/analysis/calls/intrinsics/forms.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAA6E,MAAM,iCAAiC,CAAC;AAE5H,MAAM,UAAU,mBAAmB,CAAC,OAAyC;IAC3E,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,OAAO,CAAC;IACnF,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,YAAY,EAAE,CAAC;YAClB,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACZ,OAAO,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;YAC/C,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC;YACtE,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;YAC/C,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC/G,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,OAAO,CAAC,SAAS,CAAC,2DAA2D,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,QAAQ,CAAC,CAAC;gBAChH,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,MAAM,WAAW,GAAoB,EAAE,CAAC;YACxC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;gBACnC,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,QAAQ,CAAC,CAAC;gBACvF,IAAI,UAAU;oBAAE,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC/C,CAAC;YACD,IAAI,WAAW,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI;gBAAE,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;YACtF,OAAO,MAAM,CAAC;QAChB,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC"}

package/dist/analysis/calls/intrinsics/http.d.ts

@@ -0,0 +1,10 @@
+/**
+ * What 'velar/http' calls answer, and the one thing an HTTP request's options
+ * are checked for: a body the surface can actually serialize.
+ *
+ * D115 P4 R3a: one family of 'inferWebIntrinsic', in the module that family
+ * names.
+ */
+import { type CompilerIntrinsicAnalysisContext, type ValueType } from "@velarscript/compiler/extension";
+export declare function inferHttpIntrinsic(context: CompilerIntrinsicAnalysisContext): ValueType | undefined;
+//# sourceMappingURL=http.d.ts.map

package/dist/analysis/calls/intrinsics/http.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"http.d.ts","sourceRoot":"","sources":["../../../../src/analysis/calls/intrinsics/http.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAgB,KAAK,gCAAgC,EAAE,KAAK,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAEtH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,gCAAgC,GAAG,SAAS,GAAG,SAAS,CA0BnG"}

package/dist/analysis/calls/intrinsics/http.js

@@ -0,0 +1,37 @@
+/**
+ * What 'velar/http' calls answer, and the one thing an HTTP request's options
+ * are checked for: a body the surface can actually serialize.
+ *
+ * D115 P4 R3a: one family of 'inferWebIntrinsic', in the module that family
+ * names.
+ */
+import { describeType } from "@velarscript/compiler/extension";
+export function inferHttpIntrinsic(context) {
+    const { intrinsic, argumentAt, callSpan, arity, inferAt } = context;
+    switch (intrinsic.name) {
+        case "http.request": {
+            arity();
+            let options = null;
+            for (const [index, expected] of intrinsic.parameters.entries()) {
+                const actual = inferAt(index, expected);
+                if (index === intrinsic.parameters.length - 1 && argumentAt(index))
+                    options = actual;
+            }
+            const fields = options?.kind === "object" ? options.fields : null;
+            const body = fields?.get("body");
+            const expandedBody = body ? context.expandAliases(body) : null;
+            const blob = expandedBody?.kind === "named" && expandedBody.name === "Blob";
+            if (body && !context.isHttpFormBody(body) && !blob && context.jsonSerializable(body) === false) {
+                const optionsExpression = argumentAt(intrinsic.parameters.length - 1);
+                const bodyExpression = optionsExpression?.kind === "ObjectExpression"
+                    ? optionsExpression.properties.find((property) => property.kind === "ObjectProperty" && property.name === "body")?.value
+                    : null;
+                context.typeError(`HTTP JSON bodies accept only records, Lists, enums, primitives, and optionals; received ${describeType(body)}`, bodyExpression?.span ?? optionsExpression?.span ?? callSpan);
+            }
+            return intrinsic.result;
+        }
+        default:
+            return undefined;
+    }
+}
+//# sourceMappingURL=http.js.map

package/dist/analysis/calls/intrinsics/http.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"http.js","sourceRoot":"","sources":["../../../../src/analysis/calls/intrinsics/http.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,YAAY,EAAyD,MAAM,iCAAiC,CAAC;AAEtH,MAAM,UAAU,kBAAkB,CAAC,OAAyC;IAC1E,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IACpE,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,cAAc,EAAE,CAAC;YACpB,KAAK,EAAE,CAAC;YACR,IAAI,OAAO,GAAqB,IAAI,CAAC;YACrC,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC/D,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;gBACxC,IAAI,KAAK,KAAK,SAAS,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC;oBAAE,OAAO,GAAG,MAAM,CAAC;YACvF,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;YAClE,MAAM,IAAI,GAAG,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;YACjC,MAAM,YAAY,GAAG,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC/D,MAAM,IAAI,GAAG,YAAY,EAAE,IAAI,KAAK,OAAO,IAAI,YAAY,CAAC,IAAI,KAAK,MAAM,CAAC;YAC5E,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;gBAC/F,MAAM,iBAAiB,GAAG,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBACtE,MAAM,cAAc,GAAG,iBAAiB,EAAE,IAAI,KAAK,kBAAkB;oBACnE,CAAC,CAAC,iBAAiB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,gBAAgB,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,KAAK;oBACxH,CAAC,CAAC,IAAI,CAAC;gBACT,OAAO,CAAC,SAAS,CAAC,2FAA2F,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,cAAc,EAAE,IAAI,IAAI,iBAAiB,EAAE,IAAI,IAAI,QAAQ,CAAC,CAAC;YAClM,CAAC;YACD,OAAO,SAAS,CAAC,MAAM,CAAC;QAC1B,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC"}

package/dist/analysis/calls/intrinsics/reactive.d.ts

@@ -0,0 +1,10 @@
+/**
+ * The one reactive intrinsic the Web surface still types: a call written around
+ * the retired 'computed(...)'.
+ *
+ * D115 P4 R3a: one family of 'inferWebIntrinsic', in the module that family
+ * names.
+ */
+import { type CompilerIntrinsicAnalysisContext, type ValueType } from "@velarscript/compiler/extension";
+export declare function inferReactiveIntrinsic(context: CompilerIntrinsicAnalysisContext): ValueType | undefined;
+//# sourceMappingURL=reactive.d.ts.map

package/dist/analysis/calls/intrinsics/reactive.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reactive.d.ts","sourceRoot":"","sources":["../../../../src/analysis/calls/intrinsics/reactive.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAwB,KAAK,gCAAgC,EAAE,KAAK,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAG9H,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,gCAAgC,GAAG,SAAS,GAAG,SAAS,CAmBvG"}

package/dist/analysis/calls/intrinsics/reactive.js

@@ -0,0 +1,30 @@
+/**
+ * The one reactive intrinsic the Web surface still types: a call written around
+ * the retired 'computed(...)'.
+ *
+ * D115 P4 R3a: one family of 'inferWebIntrinsic', in the module that family
+ * names.
+ */
+import { anyType, unknownType } from "@velarscript/compiler/extension";
+import { RETIRED_ACCESSOR_INTRINSIC } from "../../reactivity/retired-accessors.js";
+export function inferReactiveIntrinsic(context) {
+    const { intrinsic, arity, callbackAt } = context;
+    switch (intrinsic.name) {
+        case RETIRED_ACCESSOR_INTRINSIC: {
+            // A call around the retired `computed(...)` returns the reader it
+            // always returned, carrying the callback's own result so an annotated
+            // declaration reads its migration message and nothing else. Nothing else
+            // is checked here — the shape is already refused, and a second complaint
+            // about a spelling that no longer exists teaches the author nothing.
+            arity(1, 1);
+            const callback = callbackAt(0, [], unknownType);
+            const result = callback.kind === "function" || callback.kind === "intrinsic" || callback.kind === "action"
+                ? callback.result
+                : callback.kind === "any" ? anyType : unknownType;
+            return { kind: "function", parameters: [], requiredParameters: 0, result };
+        }
+        default:
+            return undefined;
+    }
+}
+//# sourceMappingURL=reactive.js.map

package/dist/analysis/calls/intrinsics/reactive.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reactive.js","sourceRoot":"","sources":["../../../../src/analysis/calls/intrinsics/reactive.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,OAAO,EAAE,WAAW,EAAyD,MAAM,iCAAiC,CAAC;AAC9H,OAAO,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AAEnF,MAAM,UAAU,sBAAsB,CAAC,OAAyC;IAC9E,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IACjD,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,0BAA0B,EAAE,CAAC;YAChC,kEAAkE;YAClE,sEAAsE;YACtE,yEAAyE;YACzE,yEAAyE;YACzE,qEAAqE;YACrE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACZ,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,WAAW,CAAC,CAAC;YAChD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBACxG,CAAC,CAAC,QAAQ,CAAC,MAAM;gBACjB,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC;YACpD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,EAAE,kBAAkB,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;QAC7E,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC"}

package/dist/analysis/calls/intrinsics/storage.d.ts

@@ -0,0 +1,12 @@
+/**
+ * What 'velar/storage' calls answer: a read is typed by the runtime type it
+ * validates against, and a write is checked for a value the surface can
+ * serialize.
+ *
+ * D115 P4 R3a: one family of 'inferWebIntrinsic', in the module that family
+ * names — with the sentence a read without its type reads, which nothing else
+ * asks for.
+ */
+import { type CompilerIntrinsicAnalysisContext, type ValueType } from "@velarscript/compiler/extension";
+export declare function inferStorageIntrinsic(context: CompilerIntrinsicAnalysisContext): ValueType | undefined;
+//# sourceMappingURL=storage.d.ts.map

package/dist/analysis/calls/intrinsics/storage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"storage.d.ts","sourceRoot":"","sources":["../../../../src/analysis/calls/intrinsics/storage.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAOL,KAAK,gCAAgC,EACrC,KAAK,SAAS,EACf,MAAM,iCAAiC,CAAC;AAczC,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,gCAAgC,GAAG,SAAS,GAAG,SAAS,CAqDtG"}

package/dist/analysis/calls/intrinsics/storage.js

@@ -0,0 +1,86 @@
+/**
+ * What 'velar/storage' calls answer: a read is typed by the runtime type it
+ * validates against, and a write is checked for a value the surface can
+ * serialize.
+ *
+ * D115 P4 R3a: one family of 'inferWebIntrinsic', in the module that family
+ * names — with the sentence a read without its type reads, which nothing else
+ * asks for.
+ */
+import { describeType, nullType, numberType, optionalOf, stringType, unknownType, } from "@velarscript/compiler/extension";
+/**
+ * The whole read, from the module name to a working line. A blind model needed
+ * five guesses to get here because each diagnostic answered only the step it
+ * was standing on: the export name, then the argument count, then that the
+ * second argument is a runtime type, then that a primitive spelling is not a
+ * value. Storage already parses and validates the stored JSON, so the one thing
+ * still missing is the named type to validate against.
+ */
+function storageReadGuidance(call) {
+    return `${call} validates what it reads and parses the stored JSON itself, so its second argument is a named runtime type: declare one — 'type SavedItems = List<Item>' — then read with 'storage.get("items", SavedItems, [])', whose third argument is the fallback for missing or invalid data, and write it back with 'storage.set("items", items)'. A primitive spelling ('string') and a generic spelling ('List<Item>') are types, not values; only a declared type, enum, or alias name is one.`;
+}
+export function inferStorageIntrinsic(context) {
+    const { intrinsic, argumentAt, callSpan, arity, inferAt, callbackAt, runtimeTypeAt } = context;
+    switch (intrinsic.name) {
+        case "storage.set": {
+            arity(2, 3);
+            inferAt(0, stringType);
+            const value = inferAt(1);
+            if (argumentAt(2))
+                inferAt(2, numberType);
+            const valueExpression = argumentAt(1);
+            if (context.jsonSerializable(value) === false && valueExpression) {
+                context.typeError(`Storage values accept only records, Lists, enums, primitives, and optionals; received ${describeType(value)}`, valueExpression.span);
+            }
+            return intrinsic.result;
+        }
+        case "storage.get": {
+            if (!argumentAt(1)) {
+                context.typeError(storageReadGuidance("storage.get(key, Type)"), callSpan);
+                return unknownType;
+            }
+            arity(2, 4);
+            inferAt(0, stringType);
+            const parsed = runtimeTypeAt(1);
+            if (argumentAt(3))
+                inferAt(3, numberType);
+            if (argumentAt(2)) {
+                inferAt(2, parsed);
+                return parsed;
+            }
+            return optionalOf(parsed);
+        }
+        case "storage.databaseGet": {
+            if (!argumentAt(1)) {
+                context.typeError(storageReadGuidance("database(name).get(key, Type)"), callSpan);
+                return { kind: "promise", value: unknownType };
+            }
+            arity(2, 4);
+            inferAt(0, stringType);
+            const parsed = runtimeTypeAt(1);
+            if (argumentAt(3))
+                inferAt(3, numberType);
+            if (argumentAt(2)) {
+                inferAt(2, parsed);
+                return { kind: "promise", value: parsed };
+            }
+            return { kind: "promise", value: optionalOf(parsed) };
+        }
+        case "storage.watch": {
+            if (!argumentAt(1)) {
+                context.typeError(storageReadGuidance("storage.watch(key, Type, callback)"), callSpan);
+                return { kind: "function", parameters: [], requiredParameters: 0, result: nullType };
+            }
+            arity(3, 4);
+            inferAt(0, stringType);
+            const parsed = runtimeTypeAt(1);
+            callbackAt(2, [optionalOf(parsed), optionalOf(parsed)], unknownType);
+            if (argumentAt(3))
+                inferAt(3, numberType);
+            return { kind: "function", parameters: [], requiredParameters: 0, result: nullType };
+        }
+        default:
+            return undefined;
+    }
+}
+//# sourceMappingURL=storage.js.map

package/dist/analysis/calls/intrinsics/storage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"storage.js","sourceRoot":"","sources":["../../../../src/analysis/calls/intrinsics/storage.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EACL,YAAY,EACZ,QAAQ,EACR,UAAU,EACV,UAAU,EACV,UAAU,EACV,WAAW,GAGZ,MAAM,iCAAiC,CAAC;AAEzC;;;;;;;GAOG;AACH,SAAS,mBAAmB,CAAC,IAAY;IACvC,OAAO,GAAG,IAAI,0dAA0d,CAAC;AAC3e,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,OAAyC;IAC7E,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,GAAG,OAAO,CAAC;IAC/F,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,aAAa,EAAE,CAAC;YACnB,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACZ,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;YACvB,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,UAAU,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;YAC1C,MAAM,eAAe,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YACtC,IAAI,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,KAAK,KAAK,IAAI,eAAe,EAAE,CAAC;gBACjE,OAAO,CAAC,SAAS,CAAC,yFAAyF,YAAY,CAAC,KAAK,CAAC,EAAE,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC;YAC1J,CAAC;YACD,OAAO,SAAS,CAAC,MAAM,CAAC;QAC1B,CAAC;QACD,KAAK,aAAa,EAAE,CAAC;YACnB,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnB,OAAO,CAAC,SAAS,CAAC,mBAAmB,CAAC,wBAAwB,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAC3E,OAAO,WAAW,CAAC;YACrB,CAAC;YACD,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACZ,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;YACvB,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,UAAU,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;YAC1C,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;gBAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBAAC,OAAO,MAAM,CAAC;YAAC,CAAC;YACzD,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;QAC5B,CAAC;QACD,KAAK,qBAAqB,EAAE,CAAC;YAC3B,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnB,OAAO,CAAC,SAAS,CAAC,mBAAmB,CAAC,+BAA+B,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAClF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;YACjD,CAAC;YACD,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACZ,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;YACvB,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,UAAU,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;YAC1C,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;gBAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;YAAC,CAAC;YACrF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QACxD,CAAC;QACD,KAAK,eAAe,EAAE,CAAC;YACrB,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnB,OAAO,CAAC,SAAS,CAAC,mBAAmB,CAAC,oCAAoC,CAAC,EAAE,QAAQ,CAAC,CAAC;gBACvF,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,EAAE,kBAAkB,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YACvF,CAAC;YACD,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACZ,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;YACvB,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YAChC,UAAU,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;YACrE,IAAI,UAAU,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;YAC1C,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,EAAE,kBAAkB,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACvF,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC"}

package/dist/analysis/calls/intrinsics/web.d.ts

@@ -0,0 +1,10 @@
+/**
+ * What 'velar/web' calls answer: a route record, and the component a lazy
+ * module load resolves to.
+ *
+ * D115 P4 R3a: one family of 'inferWebIntrinsic', in the module that family
+ * names.
+ */
+import { type CompilerIntrinsicAnalysisContext, type ValueType } from "@velarscript/compiler/extension";
+export declare function inferWebModuleIntrinsic(context: CompilerIntrinsicAnalysisContext): ValueType | undefined;
+//# sourceMappingURL=web.d.ts.map

package/dist/analysis/calls/intrinsics/web.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"web.d.ts","sourceRoot":"","sources":["../../../../src/analysis/calls/intrinsics/web.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAKL,KAAK,gCAAgC,EACrC,KAAK,SAAS,EACf,MAAM,iCAAiC,CAAC;AAIzC,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,gCAAgC,GAAG,SAAS,GAAG,SAAS,CAgFxG"}

package/dist/analysis/calls/intrinsics/web.js

@@ -0,0 +1,100 @@
+/**
+ * What 'velar/web' calls answer: a route record, and the component a lazy
+ * module load resolves to.
+ *
+ * D115 P4 R3a: one family of 'inferWebIntrinsic', in the module that family
+ * names.
+ */
+import { anyType, describeType, isInvalidType, stringType, } from "@velarscript/compiler/extension";
+import { isWebComponentConstructor, isWebComponentType } from "../../../types.js";
+import { checkRouteComponent, checkRoutePath } from "../../routes.js";
+export function inferWebModuleIntrinsic(context) {
+    const { intrinsic, argumentAt, callSpan, arity, inferAt } = context;
+    switch (intrinsic.name) {
+        case "web.route": {
+            arity(2, 2);
+            inferAt(0, stringType);
+            const component = inferAt(1);
+            const path = argumentAt(0);
+            if (path?.kind === "LiteralExpression" && typeof path.value === "string")
+                checkRoutePath(path.value, path.span, context.typeError);
+            checkRouteComponent(component, argumentAt(1)?.span ?? callSpan, "A route", context);
+            return { kind: "object", fields: new Map([["path", stringType], ["component", component]]) };
+        }
+        case "web.lazy": {
+            arity(2, 4);
+            const loader = inferAt(0);
+            inferAt(1, stringType);
+            const loadingFallback = inferAt(2);
+            const failedFallback = inferAt(3);
+            const loaderExpression = argumentAt(0);
+            if (loaderExpression?.kind !== "ArrowFunctionExpression" || loaderExpression.parameters.length !== 0 || loaderExpression.body.kind !== "DynamicImportExpression") {
+                context.typeError("A lazy loader must be written as () => import(\"./module.vel\")", loaderExpression?.span ?? callSpan);
+                return anyType;
+            }
+            if (isInvalidType(loader))
+                return loader;
+            // No `any` arm on either line: the gate above has already established
+            // that argument 0 is a zero-parameter arrow, and the core analyzer infers
+            // an arrow on one return path that always answers `kind: "function"`
+            // (`inferArrow`). The loader is therefore never `any`, and D90 R17 —
+            // which retired the JavaScript boundary that used to hand one back — left
+            // nothing that could make it one.
+            if (loader.kind !== "function") {
+                if (loaderExpression)
+                    context.typeError(`Expected a module loader, received ${describeType(loader)}`, loaderExpression.span);
+                return anyType;
+            }
+            if (isInvalidType(loader.result))
+                return loader.result;
+            if (loader.parameters.length !== 0)
+                context.typeError("A lazy module loader cannot receive parameters", loaderExpression?.span ?? callSpan);
+            const moduleType = loader.result.kind === "promise" ? loader.result.value : null;
+            if (!moduleType) {
+                context.typeError("A lazy module loader must return import(\"./module.vel\")", loaderExpression?.span ?? callSpan);
+                return anyType;
+            }
+            const nameExpression = argumentAt(1);
+            const name = nameExpression?.kind === "LiteralExpression" && typeof nameExpression.value === "string" ? nameExpression.value : null;
+            if (!name) {
+                context.typeError("A lazy component export name must be a string literal", nameExpression?.span ?? callSpan);
+                return anyType;
+            }
+            if (moduleType.kind !== "object") {
+                context.typeError("A lazy loader must load a checked VelarScript module", loaderExpression?.span ?? callSpan);
+                return anyType;
+            }
+            const exported = moduleType.fields.get(name);
+            if (!exported) {
+                context.typeError(`Dynamically imported module has no export named '${name}'`, nameExpression?.span ?? callSpan);
+                return anyType;
+            }
+            if (!isWebComponentConstructor(exported)) {
+                context.typeError(`Dynamic export '${name}' is ${describeType(exported)}, not a component`, nameExpression?.span ?? callSpan);
+                return anyType;
+            }
+            const loadingExpression = argumentAt(2);
+            if (loadingExpression && !isInvalidType(loadingFallback) && loadingFallback.kind !== "null" && loadingFallback.kind !== "any") {
+                if (!isWebComponentType(loadingFallback))
+                    context.typeError("A lazy loading fallback must be a component", loadingExpression.span);
+                else if (loadingFallback.requiredProperties.size > 0)
+                    context.typeError("A lazy loading fallback cannot require props", loadingExpression.span);
+            }
+            const failedExpression = argumentAt(3);
+            if (failedExpression && !isInvalidType(failedFallback) && failedFallback.kind !== "null" && failedFallback.kind !== "any") {
+                if (!isWebComponentType(failedFallback))
+                    context.typeError("A lazy failure fallback must be a component accepting error: Error", failedExpression.span);
+                else {
+                    const error = failedFallback.properties.get("error");
+                    if (!error || !context.isAssignable({ kind: "class", name: "Error" }, error) || [...failedFallback.requiredProperties].some((prop) => prop !== "error")) {
+                        context.typeError("A lazy failure fallback must accept error: Error and require no other props", failedExpression.span);
+                    }
+                }
+            }
+            return exported;
+        }
+        default:
+            return undefined;
+    }
+}
+//# sourceMappingURL=web.js.map

package/dist/analysis/calls/intrinsics/web.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"web.js","sourceRoot":"","sources":["../../../../src/analysis/calls/intrinsics/web.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EACL,OAAO,EACP,YAAY,EACZ,aAAa,EACb,UAAU,GAGX,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEtE,MAAM,UAAU,uBAAuB,CAAC,OAAyC;IAC/E,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IACpE,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,WAAW,EAAE,CAAC;YACjB,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACZ,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;YACvB,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YAC7B,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC3B,IAAI,IAAI,EAAE,IAAI,KAAK,mBAAmB,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;gBAAE,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;YACnI,mBAAmB,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YACpF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/F,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YAChB,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACZ,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YAC1B,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;YACvB,MAAM,eAAe,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,cAAc,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM,gBAAgB,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YACvC,IAAI,gBAAgB,EAAE,IAAI,KAAK,yBAAyB,IAAI,gBAAgB,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;gBACjK,OAAO,CAAC,SAAS,CAAC,iEAAiE,EAAE,gBAAgB,EAAE,IAAI,IAAI,QAAQ,CAAC,CAAC;gBACzH,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,IAAI,aAAa,CAAC,MAAM,CAAC;gBAAE,OAAO,MAAM,CAAC;YACzC,sEAAsE;YACtE,0EAA0E;YAC1E,qEAAqE;YACrE,qEAAqE;YACrE,0EAA0E;YAC1E,kCAAkC;YAClC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC/B,IAAI,gBAAgB;oBAAE,OAAO,CAAC,SAAS,CAAC,sCAAsC,YAAY,CAAC,MAAM,CAAC,EAAE,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC;gBAC7H,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,IAAI,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC;gBAAE,OAAO,MAAM,CAAC,MAAM,CAAC;YACvD,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,CAAC,SAAS,CAAC,gDAAgD,EAAE,gBAAgB,EAAE,IAAI,IAAI,QAAQ,CAAC,CAAC;YAC5I,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;YACjF,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,OAAO,CAAC,SAAS,CAAC,2DAA2D,EAAE,gBAAgB,EAAE,IAAI,IAAI,QAAQ,CAAC,CAAC;gBACnH,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,MAAM,cAAc,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,IAAI,GAAG,cAAc,EAAE,IAAI,KAAK,mBAAmB,IAAI,OAAO,cAAc,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;YACpI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,OAAO,CAAC,SAAS,CAAC,uDAAuD,EAAE,cAAc,EAAE,IAAI,IAAI,QAAQ,CAAC,CAAC;gBAC7G,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACjC,OAAO,CAAC,SAAS,CAAC,sDAAsD,EAAE,gBAAgB,EAAE,IAAI,IAAI,QAAQ,CAAC,CAAC;gBAC9G,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7C,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,OAAO,CAAC,SAAS,CAAC,oDAAoD,IAAI,GAAG,EAAE,cAAc,EAAE,IAAI,IAAI,QAAQ,CAAC,CAAC;gBACjH,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,IAAI,CAAC,yBAAyB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzC,OAAO,CAAC,SAAS,CAAC,mBAAmB,IAAI,QAAQ,YAAY,CAAC,QAAQ,CAAC,mBAAmB,EAAE,cAAc,EAAE,IAAI,IAAI,QAAQ,CAAC,CAAC;gBAC9H,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,MAAM,iBAAiB,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YACxC,IAAI,iBAAiB,IAAI,CAAC,aAAa,CAAC,eAAe,CAAC,IAAI,eAAe,CAAC,IAAI,KAAK,MAAM,IAAI,eAAe,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAC9H,IAAI,CAAC,kBAAkB,CAAC,eAAe,CAAC;oBAAE,OAAO,CAAC,SAAS,CAAC,6CAA6C,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC;qBAC9H,IAAI,eAAe,CAAC,kBAAkB,CAAC,IAAI,GAAG,CAAC;oBAAE,OAAO,CAAC,SAAS,CAAC,8CAA8C,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAClJ,CAAC;YACD,MAAM,gBAAgB,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YACvC,IAAI,gBAAgB,IAAI,CAAC,aAAa,CAAC,cAAc,CAAC,IAAI,cAAc,CAAC,IAAI,KAAK,MAAM,IAAI,cAAc,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAC1H,IAAI,CAAC,kBAAkB,CAAC,cAAc,CAAC;oBAAE,OAAO,CAAC,SAAS,CAAC,oEAAoE,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC;qBACnJ,CAAC;oBACJ,MAAM,KAAK,GAAG,cAAc,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;oBACrD,IAAI,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,CAAC;wBACxJ,OAAO,CAAC,SAAS,CAAC,6EAA6E,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC;oBAC1H,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC"}

package/dist/analysis/calls/intrinsics.d.ts

@@ -0,0 +1,13 @@
+/**
+ * The Web surface's intrinsic typing, dispatched to the 'velar/*' module family
+ * whose name the intrinsic carries.
+ *
+ * D115 P4 R3a: 'inferWebIntrinsic' was one 183-line switch over every intrinsic
+ * of every Web module. An intrinsic's name is 'family.member', so the family is
+ * what the switch was really keyed on, and each family now owns its own arms in
+ * its own module. The exported name and its signature are unchanged: this is
+ * the function 'compiler.ts' installs as the surface's 'inferIntrinsic'.
+ */
+import { type CompilerIntrinsicAnalysisContext, type ValueType } from "@velarscript/compiler/extension";
+export declare function inferWebIntrinsic(context: CompilerIntrinsicAnalysisContext): ValueType | undefined;
+//# sourceMappingURL=intrinsics.d.ts.map

package/dist/analysis/calls/intrinsics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intrinsics.d.ts","sourceRoot":"","sources":["../../../src/analysis/calls/intrinsics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,KAAK,gCAAgC,EAAE,KAAK,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAQxG,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,gCAAgC,GAAG,SAAS,GAAG,SAAS,CAYlG"}

package/dist/analysis/calls/intrinsics.js

@@ -0,0 +1,31 @@
+/**
+ * The Web surface's intrinsic typing, dispatched to the 'velar/*' module family
+ * whose name the intrinsic carries.
+ *
+ * D115 P4 R3a: 'inferWebIntrinsic' was one 183-line switch over every intrinsic
+ * of every Web module. An intrinsic's name is 'family.member', so the family is
+ * what the switch was really keyed on, and each family now owns its own arms in
+ * its own module. The exported name and its signature are unchanged: this is
+ * the function 'compiler.ts' installs as the surface's 'inferIntrinsic'.
+ */
+import {} from "@velarscript/compiler/extension";
+import { inferConfigIntrinsic } from "./intrinsics/config.js";
+import { inferFormsIntrinsic } from "./intrinsics/forms.js";
+import { inferHttpIntrinsic } from "./intrinsics/http.js";
+import { inferReactiveIntrinsic } from "./intrinsics/reactive.js";
+import { inferStorageIntrinsic } from "./intrinsics/storage.js";
+import { inferWebModuleIntrinsic } from "./intrinsics/web.js";
+export function inferWebIntrinsic(context) {
+    const name = context.intrinsic.name;
+    const dot = name.indexOf(".");
+    switch (dot < 0 ? name : name.slice(0, dot)) {
+        case "config": return inferConfigIntrinsic(context);
+        case "forms": return inferFormsIntrinsic(context);
+        case "http": return inferHttpIntrinsic(context);
+        case "reactive": return inferReactiveIntrinsic(context);
+        case "storage": return inferStorageIntrinsic(context);
+        case "web": return inferWebModuleIntrinsic(context);
+        default: return undefined;
+    }
+}
+//# sourceMappingURL=intrinsics.js.map

package/dist/analysis/calls/intrinsics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intrinsics.js","sourceRoot":"","sources":["../../../src/analysis/calls/intrinsics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAyD,MAAM,iCAAiC,CAAC;AACxG,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAE9D,MAAM,UAAU,iBAAiB,CAAC,OAAyC;IACzE,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;IACpC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC9B,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QAC5C,KAAK,QAAQ,EAAE,OAAO,oBAAoB,CAAC,OAAO,CAAC,CAAC;QACpD,KAAK,OAAO,EAAE,OAAO,mBAAmB,CAAC,OAAO,CAAC,CAAC;QAClD,KAAK,MAAM,EAAE,OAAO,kBAAkB,CAAC,OAAO,CAAC,CAAC;QAChD,KAAK,UAAU,EAAE,OAAO,sBAAsB,CAAC,OAAO,CAAC,CAAC;QACxD,KAAK,SAAS,EAAE,OAAO,qBAAqB,CAAC,OAAO,CAAC,CAAC;QACtD,KAAK,KAAK,EAAE,OAAO,uBAAuB,CAAC,OAAO,CAAC,CAAC;QACpD,SAAS,OAAO,SAAS,CAAC;IAC5B,CAAC;AACH,CAAC"}

package/dist/analysis/components/contracts.d.ts

@@ -0,0 +1,19 @@
+/**
+ * The contracts a component declares and the ones it inherits: whether a prop's
+ * type carries a readonly view, whether a `exposes` Handle is a concrete record,
+ * how a component type read out of an annotation is normalized, and the one
+ * `host` element a multi-root render has to mark.
+ *
+ * D115 P4 R3c. `normalizeComponentContracts` takes no host at all: it is a
+ * structural rewrite of a type, and it runs from the `resolveAnnotation` seam,
+ * which the base analyzer may reach before the host object exists.
+ */
+import { type Span } from "@velarscript/compiler";
+import { type ValueType } from "@velarscript/compiler/extension";
+import { type WebComponentDeclaration as ComponentDeclaration, type WebJsxElementExpression as JSXElementExpression } from "../../ast.ts";
+import { type ComponentAnalysisHost } from "./host.ts";
+export declare function containsReadonlyView(host: ComponentAnalysisHost, type: ValueType): boolean;
+export declare function validateComponentHandleType(host: ComponentAnalysisHost, type: ValueType, sourceSpan: Span): void;
+export declare function normalizeComponentContracts(type: ValueType): ValueType;
+export declare function validateComponentHost(host: ComponentAnalysisHost, render: JSXElementExpression, component: ComponentDeclaration): void;
+//# sourceMappingURL=contracts.d.ts.map

package/dist/analysis/components/contracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.d.ts","sourceRoot":"","sources":["../../../src/analysis/components/contracts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAA4C,KAAK,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAC3G,OAAO,EAAE,KAAK,uBAAuB,IAAI,oBAAoB,EAAwC,KAAK,uBAAuB,IAAI,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAGhL,OAAO,EAAE,KAAK,qBAAqB,EAAE,MAAM,WAAW,CAAC;AAEvD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,qBAAqB,EAAE,IAAI,EAAE,SAAS,GAAG,OAAO,CAK1F;AAED,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,qBAAqB,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,GAAG,IAAI,CAMhH;AAED,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAoBtE;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,oBAAoB,EAAE,SAAS,EAAE,oBAAoB,GAAG,IAAI,CAgBtI"}

package/dist/analysis/components/contracts.js

@@ -0,0 +1,83 @@
+/**
+ * The contracts a component declares and the ones it inherits: whether a prop's
+ * type carries a readonly view, whether a `exposes` Handle is a concrete record,
+ * how a component type read out of an annotation is normalized, and the one
+ * `host` element a multi-root render has to mark.
+ *
+ * D115 P4 R3c. `normalizeComponentContracts` takes no host at all: it is a
+ * structural rewrite of a type, and it runs from the `resolveAnnotation` seam,
+ * which the base analyzer may reach before the host object exists.
+ */
+import {} from "@velarscript/compiler";
+import { describeType, isReadonlyView, optionalOf } from "@velarscript/compiler/extension";
+import {} from "../../ast.js";
+import { isWebComponentType, normalizeWebComponentType } from "../../types.js";
+import { diagnostic } from "../web-types.js";
+import {} from "./host.js";
+export function containsReadonlyView(host, type) {
+    const resolved = host.expandAliases(type);
+    if (resolved.kind === "optional")
+        return containsReadonlyView(host, resolved.inner);
+    if (resolved.kind === "union")
+        return resolved.members.some((member) => containsReadonlyView(host, member));
+    return isReadonlyView(resolved);
+}
+export function validateComponentHandleType(host, type, sourceSpan) {
+    const expanded = host.expandAliases(type);
+    const fields = expanded.kind === "object"
+        ? expanded.fields
+        : expanded.kind === "named" ? host.fieldsOf(expanded.identity ?? expanded.name) : null;
+    if (!fields)
+        host.diagnostics.push(diagnostic("VEL5056", `A component Handle must be a concrete record type, received ${describeType(type)}`, sourceSpan));
+}
+export function normalizeComponentContracts(type) {
+    if (type.kind === "optional")
+        return optionalOf(normalizeComponentContracts(type.inner));
+    if (type.kind === "list" || type.kind === "set")
+        return { ...type, element: normalizeComponentContracts(type.element) };
+    if (type.kind === "map")
+        return { ...type, key: normalizeComponentContracts(type.key), value: normalizeComponentContracts(type.value) };
+    if (type.kind === "record")
+        return { ...type, value: normalizeComponentContracts(type.value) };
+    if (type.kind === "promise" || type.kind === "runtimeType")
+        return { ...type, value: normalizeComponentContracts(type.value) };
+    if (type.kind === "object")
+        return { ...type, fields: new Map([...type.fields].map(([name, value]) => [name, normalizeComponentContracts(value)])) };
+    if (type.kind === "function" || type.kind === "action" || type.kind === "intrinsic")
+        return {
+            ...type,
+            parameters: type.parameters.map((parameter) => normalizeComponentContracts(parameter)),
+            ...(type.rest ? { rest: normalizeComponentContracts(type.rest) } : {}),
+            result: normalizeComponentContracts(type.result),
+        };
+    if (type.kind === "union")
+        return { kind: "union", members: type.members.map((member) => normalizeComponentContracts(member)) };
+    if (!isWebComponentType(type))
+        return type;
+    return normalizeWebComponentType(type, (value) => normalizeComponentContracts(value), (value) => normalizeComponentContracts(value));
+}
+export function validateComponentHost(host, render, component) {
+    const hosts = [];
+    const visit = (element) => {
+        if (!/^[A-Z]/u.test(element.tag)) {
+            for (const attribute of element.attributes)
+                if (attribute.name === "host")
+                    hosts.push(attribute);
+        }
+        for (const child of element.children)
+            if (child.kind === "ExtensionExpression:web:jsx")
+                visit(child);
+    };
+    visit(render);
+    if (hosts.length > 1)
+        host.diagnostics.push(diagnostic("VEL5043", `Component '${component.name}' declares more than one host element`, hosts[1].span));
+    for (const marker of hosts)
+        if (marker.value !== null)
+            host.diagnostics.push(diagnostic("VEL5043", "The host directive is a valueless marker", marker.span));
+    const directNativeRoot = render.tag !== "" && !/^[A-Z]/u.test(render.tag);
+    const delegatedComponentRoot = /^[A-Z]/u.test(render.tag);
+    if (!directNativeRoot && !delegatedComponentRoot && hosts.length === 0) {
+        host.diagnostics.push(diagnostic("VEL5043", `Component '${component.name}' has multiple roots and must mark exactly one native element with 'host'`, render.span));
+    }
+}
+//# sourceMappingURL=contracts.js.map