@velarscript/web 0.31.0 → 0.32.0

package/dist/modules/types.js

@@ -0,0 +1,154 @@
+/**
+ * The type vocabulary every `velar/*` table in `modules/` is written in.
+ *
+ * D115 §三, the shape `packages/core/src/interfaces/` and `packages/node/src/modules/`
+ * already have: the primitive `ValueType` singletons, the constructors a Web
+ * export is built with, and the `ModuleInterface` constructor that fills in the
+ * fields a Web module never uses. What one surface alone owns lives in that
+ * surface's file.
+ */
+import {} from "@velarscript/compiler";
+import { isWebJsx } from "../ast.js";
+import { WEB_NATIVE_ELEMENTS } from "../elements.js";
+import { LOOK_BUILDER_SIGNATURES } from "../look.js";
+import { webNodeType } from "../types.js";
+export const bytesType = { kind: "named", name: "Bytes", identity: "velar/binary#type:Bytes" };
+export const nullType = { kind: "null" };
+export const stringType = { kind: "string" };
+export const numberType = { kind: "number" };
+export const boolType = { kind: "bool" };
+export const nodeType = webNodeType;
+export const elementType = { kind: "named", name: "Element" };
+export const inputElementType = { kind: "named", name: "InputElement" };
+export const textAreaElementType = { kind: "named", name: "TextAreaElement" };
+export const canvasElementType = { kind: "named", name: "CanvasElement" };
+export const dialogElementType = { kind: "named", name: "DialogElement" };
+export const blobType = { kind: "named", name: "Blob" };
+export const lengthType = { kind: "named", name: "Length" };
+export const percentageType = { kind: "named", name: "Percentage" };
+export const lengthPercentageType = { kind: "named", name: "LengthPercentage" };
+export const trackFractionType = { kind: "named", name: "TrackFraction" };
+export const colorType = { kind: "named", name: "Color" };
+export const colorInputType = colorType;
+export const borderType = { kind: "named", name: "Border" };
+export const shadowType = { kind: "named", name: "Shadow" };
+export const filterType = { kind: "named", name: "Filter" };
+export const imageType = { kind: "named", name: "Image" };
+export const trackType = { kind: "named", name: "Track" };
+export const trackListType = { kind: "named", name: "TrackList" };
+/**
+ * Native JSX construction preserves the order and count of a collection
+ * projection. Attribute and child holes still have to pass Core's stability
+ * proof; event arrows are inert values here and run only after dispatch.
+ * Components, custom elements, refs, and bindings keep the explicit loop
+ * because their setup can execute user code or write through a binding.
+ */
+export function webCanonicalCollectionProjection(expression, pure) {
+    if (!isWebJsx(expression))
+        return undefined;
+    if (expression.tag !== "" && !WEB_NATIVE_ELEMENTS.has(expression.tag))
+        return false;
+    for (const attribute of expression.attributes) {
+        if (attribute.name === "ref" || attribute.name.startsWith("bind:"))
+            return false;
+        if (typeof attribute.value === "string" || attribute.value === null)
+            continue;
+        if (attribute.name.startsWith("on:") && attribute.value.kind === "ArrowFunctionExpression")
+            continue;
+        if (!pure(attribute.value))
+            return false;
+    }
+    for (const child of expression.children) {
+        if (child.kind === "JSXText")
+            continue;
+        if (child.kind === "ExtensionExpression:web:jsx") {
+            if (webCanonicalCollectionProjection(child, pure) !== true)
+                return false;
+            continue;
+        }
+        if (!pure(child.expression))
+            return false;
+    }
+    return true;
+}
+export const transitionType = { kind: "named", name: "Transition" };
+export const keyframesType = { kind: "named", name: "Keyframes" };
+export const animationType = { kind: "named", name: "Animation" };
+export const durationType = { kind: "named", name: "Duration" };
+export const angleType = { kind: "named", name: "Angle" };
+export const spacingType = { kind: "named", name: "Spacing" };
+export const mountTargetType = { kind: "union", members: [stringType, elementType] };
+export const lookScalarType = { kind: "union", members: [numberType, stringType, lengthType, percentageType, lengthPercentageType] };
+export const trackInputType = { kind: "union", members: [numberType, stringType, lengthType, percentageType, lengthPercentageType, trackFractionType, trackType, trackListType] };
+export const repeatCountType = { kind: "union", members: [numberType, stringType] };
+const lookBuilderResultTypes = {
+    animation: animationType,
+    border: borderType,
+    color: colorType,
+    filter: filterType,
+    image: imageType,
+    length: lengthType, "length-percentage": lengthPercentageType,
+    shadow: shadowType,
+    spacing: spacingType,
+    string: stringType,
+    track: trackType,
+    "track-list": trackListType,
+    transition: transitionType,
+};
+export function namedFunction(parameterNames, parameters, result, requiredParameters = parameters.length) {
+    return { kind: "function", parameterNames, parameters, requiredParameters, result };
+}
+/**
+ * A velar/look builder's published type, with its parameter names and required
+ * count read from LOOK_BUILDER_SIGNATURES rather than repeated here. The static
+ * keyframe lowering places named arguments from that same table, so the two
+ * cannot disagree about what `spread=0px` means.
+ */
+export function lookBuilder(name, parameters, rest) {
+    const signature = LOOK_BUILDER_SIGNATURES.get(name);
+    if (!signature)
+        throw new Error(`velar/look builder '${name}' has no declared signature`);
+    if (signature.parameters.length !== parameters.length) {
+        throw new Error(`velar/look builder '${name}' declares ${signature.parameters.length} parameters but types ${parameters.length}`);
+    }
+    if ((signature.rest ?? false) !== (rest !== undefined)) {
+        throw new Error(`velar/look builder '${name}' disagrees with its declared rest parameter`);
+    }
+    return {
+        kind: "function",
+        parameterNames: signature.parameters,
+        parameters,
+        requiredParameters: signature.required,
+        ...(rest ? { rest } : {}),
+        result: lookBuilderResultTypes[signature.result],
+    };
+}
+export const unknownType = { kind: "unknown" };
+export function functionType(parameters, result, requiredParameters = parameters.length) {
+    return { kind: "function", parameters, requiredParameters, result };
+}
+export function namedIntrinsic(name, parameterNames, parameters, result, requiredParameters = parameters.length) {
+    return { kind: "intrinsic", name, parameterNames, parameters, requiredParameters, result };
+}
+export function promise(value) {
+    return { kind: "promise", value };
+}
+export function object(fields) {
+    return { kind: "object", fields: new Map(Object.entries(fields)) };
+}
+/** A structurally declared standard capability handle; see ValueType.capabilityHandle. */
+export function capabilityHandle(fields) {
+    return { kind: "object", fields: new Map(Object.entries(fields)), capabilityHandle: true };
+}
+export const errorType = { kind: "class", name: "Error" };
+export const cleanupType = namedFunction([], [], nullType);
+export const arrayString = { kind: "list", element: stringType };
+export const arrayNumber = { kind: "list", element: numberType };
+export const mapString = (value) => ({ kind: "map", key: stringType, value });
+export const webElementType = { kind: "union", members: [elementType, inputElementType, canvasElementType, dialogElementType] };
+export const fileType = { kind: "named", name: "File" };
+export const fileArrayType = { kind: "list", element: fileType };
+export function moduleInterface(exports, classes = new Map(), namedTypes = new Map(), namedTypeIdentities = new Map(), enums = new Map(), namedTypeReadonlyFields = new Map(), genericTypes = new Map()) {
+    return { exports, mutableExports: new Set(), reactiveExports: new Map(), reExports: new Map(), namedTypes, namedTypeReadonlyFields, namedTypeIdentities, genericTypes, typeAliases: new Map(), enums, classes, tests: [], extensionExports: new Map(), extensionData: new Map() };
+}
+//# sourceMappingURL=types.js.map

package/dist/modules/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/modules/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAuE,MAAM,uBAAuB,CAAC;AAE5G,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,uBAAuB,EAA8B,MAAM,YAAY,CAAC;AACjF,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,MAAM,CAAC,MAAM,SAAS,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,yBAAyB,EAAE,CAAC;AAE1G,MAAM,CAAC,MAAM,QAAQ,GAAc,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACpD,MAAM,CAAC,MAAM,UAAU,GAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACxD,MAAM,CAAC,MAAM,UAAU,GAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACxD,MAAM,CAAC,MAAM,QAAQ,GAAc,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACpD,MAAM,CAAC,MAAM,QAAQ,GAAc,WAAW,CAAC;AAC/C,MAAM,CAAC,MAAM,WAAW,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AACzE,MAAM,CAAC,MAAM,gBAAgB,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;AACnF,MAAM,CAAC,MAAM,mBAAmB,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC;AACzF,MAAM,CAAC,MAAM,iBAAiB,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;AACrF,MAAM,CAAC,MAAM,iBAAiB,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;AACrF,MAAM,CAAC,MAAM,QAAQ,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACnE,MAAM,CAAC,MAAM,UAAU,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACvE,MAAM,CAAC,MAAM,cAAc,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AAC/E,MAAM,CAAC,MAAM,oBAAoB,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC;AAC3F,MAAM,CAAC,MAAM,iBAAiB,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;AACrF,MAAM,CAAC,MAAM,SAAS,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACrE,MAAM,CAAC,MAAM,cAAc,GAAc,SAAS,CAAC;AACnD,MAAM,CAAC,MAAM,UAAU,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACvE,MAAM,CAAC,MAAM,UAAU,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACvE,MAAM,CAAC,MAAM,UAAU,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACvE,MAAM,CAAC,MAAM,SAAS,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACrE,MAAM,CAAC,MAAM,SAAS,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACrE,MAAM,CAAC,MAAM,aAAa,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AAE7E;;;;;;GAMG;AACH,MAAM,UAAU,gCAAgC,CAC9C,UAAsB,EACtB,IAAyC;IAEzC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,UAAU,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACpF,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9C,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,IAAI,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QACjF,IAAI,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ,IAAI,SAAS,CAAC,KAAK,KAAK,IAAI;YAAE,SAAS;QAC9E,IAAI,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,yBAAyB;YAAE,SAAS;QACrG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;IAC3C,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;QACxC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QACvC,IAAI,KAAK,CAAC,IAAI,KAAK,6BAA6B,EAAE,CAAC;YACjD,IAAI,gCAAgC,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YACzE,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;YAAE,OAAO,KAAK,CAAC;IAC5C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AACD,MAAM,CAAC,MAAM,cAAc,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AAC/E,MAAM,CAAC,MAAM,aAAa,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AAC7E,MAAM,CAAC,MAAM,aAAa,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AAC7E,MAAM,CAAC,MAAM,YAAY,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AAC3E,MAAM,CAAC,MAAM,SAAS,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACrE,MAAM,CAAC,MAAM,WAAW,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AACzE,MAAM,CAAC,MAAM,eAAe,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE,CAAC;AAChG,MAAM,CAAC,MAAM,cAAc,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,oBAAoB,CAAC,EAAE,CAAC;AAChJ,MAAM,CAAC,MAAM,cAAc,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,SAAS,EAAE,aAAa,CAAC,EAAE,CAAC;AAC7L,MAAM,CAAC,MAAM,eAAe,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;AAC/F,MAAM,sBAAsB,GAAuD;IACjF,SAAS,EAAE,aAAa;IACxB,MAAM,EAAE,UAAU;IAClB,KAAK,EAAE,SAAS;IAChB,MAAM,EAAE,UAAU;IAClB,KAAK,EAAE,SAAS;IAChB,MAAM,EAAE,UAAU,EAAE,mBAAmB,EAAE,oBAAoB;IAC7D,MAAM,EAAE,UAAU;IAClB,OAAO,EAAE,WAAW;IACpB,MAAM,EAAE,UAAU;IAClB,KAAK,EAAE,SAAS;IAChB,YAAY,EAAE,aAAa;IAC3B,UAAU,EAAE,cAAc;CAC3B,CAAC;AAEF,MAAM,UAAU,aAAa,CAAC,cAAiC,EAAE,UAAgC,EAAE,MAAiB,EAAE,kBAAkB,GAAG,UAAU,CAAC,MAAM;IAC1J,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,EAAE,CAAC;AACtF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,UAAgC,EAAE,IAAgB;IAC1F,MAAM,SAAS,GAAG,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,6BAA6B,CAAC,CAAC;IAC1F,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,cAAc,SAAS,CAAC,UAAU,CAAC,MAAM,yBAAyB,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;IACpI,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,8CAA8C,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,cAAc,EAAE,SAAS,CAAC,UAAU;QACpC,UAAU;QACV,kBAAkB,EAAE,SAAS,CAAC,QAAQ;QACtC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzB,MAAM,EAAE,sBAAsB,CAAC,SAAS,CAAC,MAAM,CAAC;KACjD,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAc,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAE1D,MAAM,UAAU,YAAY,CAAC,UAAgC,EAAE,MAAiB,EAAE,kBAAkB,GAAG,UAAU,CAAC,MAAM;IACtH,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,EAAE,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,cAAiC,EAAE,UAAgC,EAAE,MAAiB,EAAE,kBAAkB,GAAG,UAAU,CAAC,MAAM;IACzK,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,EAAE,CAAC;AAC7F,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,KAAgB;IACtC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,MAA2C;IAChE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;AACrE,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,gBAAgB,CAAC,MAA2C;IAC1E,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC;AAC7F,CAAC;AAED,MAAM,CAAC,MAAM,SAAS,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACrE,MAAM,CAAC,MAAM,WAAW,GAAG,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;AAC3D,MAAM,CAAC,MAAM,WAAW,GAAc,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AAC5E,MAAM,CAAC,MAAM,WAAW,GAAc,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AAC5E,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAgB,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;AACpG,MAAM,CAAC,MAAM,cAAc,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,WAAW,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,iBAAiB,CAAC,EAAE,CAAC;AAC3I,MAAM,CAAC,MAAM,QAAQ,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACnE,MAAM,CAAC,MAAM,aAAa,GAAc,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAE5E,MAAM,UAAU,eAAe,CAC7B,OAAuC,EACvC,OAAO,GAAmC,IAAI,GAAG,EAAE,EACnD,UAAU,GAAwD,IAAI,GAAG,EAAE,EAC3E,mBAAmB,GAAgC,IAAI,GAAG,EAAE,EAC5D,KAAK,GAAkC,IAAI,GAAG,EAAE,EAChD,uBAAuB,GAA6C,IAAI,GAAG,EAAE,EAC7E,YAAY,GAAiD,IAAI,GAAG,EAAE;IAEtE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,IAAI,GAAG,EAAE,EAAE,eAAe,EAAE,IAAI,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,UAAU,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,YAAY,EAAE,WAAW,EAAE,IAAI,GAAG,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;AACpR,CAAC"}

package/dist/modules/web.d.ts

@@ -0,0 +1,9 @@
+/**
+ * `velar/web` — routes, the route context, navigation, and the four components the router family publishes.
+ *
+ * D115 §三: one file per `velar/*` surface, holding that surface's `ValueType`
+ * tables and the `webModuleInterfaces` entry they build.
+ */
+import { type ModuleInterface } from "@velarscript/compiler";
+export declare const velarWebModuleEntry: readonly [string, ModuleInterface];
+//# sourceMappingURL=web.d.ts.map

package/dist/modules/web.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"web.d.ts","sourceRoot":"","sources":["../../src/modules/web.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAA0B,KAAK,eAAe,EAAkB,MAAM,uBAAuB,CAAC;AAkDrG,eAAO,MAAM,mBAAmB,EAAE,SAAS,CAAC,MAAM,EAAE,eAAe,CAqB/D,CAAC"}

package/dist/modules/web.js

@@ -0,0 +1,63 @@
+/**
+ * `velar/web` — routes, the route context, navigation, and the four components the router family publishes.
+ *
+ * D115 §三: one file per `velar/*` surface, holding that surface's `ValueType`
+ * tables and the `webModuleInterfaces` entry they build.
+ */
+import { optionalOf as optional } from "@velarscript/compiler";
+import { routeContextIdentity } from "../analyzer.js";
+import { webComponentConstructor } from "../types.js";
+import { boolType, functionType, mapString, moduleInterface, namedFunction, namedIntrinsic, nodeType, nullType, object, promise, stringType, unknownType, } from "./types.js";
+/**
+ * D90 R17-a left exactly one `any` standing in this file, and this is it.
+ *
+ * `component` holds a component constructor, not a rendered node, so
+ * `webNodeType` is the wrong family — the two referees that check this slot
+ * (`checkRouteComponent` and `checkWebRouteComponent`) match it with
+ * `isWebComponentType`, and `isWebTypeAssignable` refuses a component against a
+ * node outright. `unknown`, the answer R17 gives every other boundary position
+ * here, is refused by the shape of assignability rather than by the ruling: a
+ * writable object field and a List element are both compared *invariantly*, and
+ * `unknown` is invariant with nothing, so `List<{path, component: Page}>` — the
+ * type a route list bound to a name actually has — would stop being assignable
+ * to the Router's `routes` prop. `any` is the only spelling that is invariant
+ * with every component type at once, and no published name means "some
+ * component"; R17-a declined to mint one. The slot is checked by its two
+ * referees, not by this declaration.
+ */
+const routeComponentType = { kind: "any" };
+const routeType = object({
+    path: stringType,
+    component: routeComponentType,
+});
+const routeContextFields = new Map([
+    ["path", stringType],
+    ["params", mapString(stringType)],
+    ["query", mapString(stringType)],
+    ["hash", stringType],
+]);
+const routeContextType = { kind: "named", name: "RouteContext", identity: routeContextIdentity };
+const navigationOptionsType = object({ replace: optional(boolType), scroll: optional(boolType) });
+export const velarWebModuleEntry = ["velar/web", moduleInterface(new Map([
+        ["RouteContext", { kind: "typeObject", name: "RouteContext" }],
+        ["route", namedIntrinsic("web.route", ["path", "view"], [stringType, unknownType], routeType)],
+        ["lazy", namedIntrinsic("web.lazy", ["loader", "exportName", "loading", "failed"], [functionType([], promise(unknownType)), stringType, unknownType, unknownType], unknownType, 2)],
+        ["navigate", namedFunction(["to", "options"], [stringType, navigationOptionsType], nullType, 1)],
+        ["redirect", namedFunction(["to"], [stringType], nullType)],
+        ["back", namedFunction([], [], nullType)],
+        ["forward", namedFunction([], [], nullType)],
+        ["reload", namedFunction([], [], nullType)],
+        ["currentRoute", namedFunction([], [], routeContextType)],
+        ["announce", namedFunction(["message", "priority"], [stringType, stringType], nullType, 1)],
+        ["domId", namedFunction(["prefix"], [stringType], stringType, 0)],
+        ["Head", webComponentConstructor("Head", new Map([
+                ["title", stringType], ["description", stringType], ["canonical", stringType], ["robots", stringType],
+                ["image", stringType], ["themeColor", stringType], ["language", stringType],
+            ]), new Set(["title"]), null)],
+        ["Router", webComponentConstructor("Router", new Map([["routes", { kind: "list", element: routeType }], ["fallback", unknownType]]), new Set(["routes"]), null, "web.router")],
+        ["Link", webComponentConstructor("Link", new Map([["to", stringType], ["replace", boolType], ["class", optional(stringType)], ["look", optional({ kind: "named", name: "Look" })], ["children", nodeType]]), new Set(["to"]), null)],
+        ["NavLink", webComponentConstructor("NavLink", new Map([["to", stringType], ["exact", boolType], ["replace", boolType], ["class", optional(stringType)], ["look", optional({ kind: "named", name: "Look" })], ["children", nodeType]]), new Set(["to"]), null)],
+    ]), new Map(), new Map([["RouteContext", routeContextFields]]), new Map([
+        ["RouteContext", "@velarscript/web:velar/web#type:RouteContext"],
+    ]))];
+//# sourceMappingURL=web.js.map

package/dist/modules/web.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"web.js","sourceRoot":"","sources":["../../src/modules/web.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,UAAU,IAAI,QAAQ,EAAwC,MAAM,uBAAuB,CAAC;AACrG,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AACtD,OAAO,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,eAAe,EACf,aAAa,EACb,cAAc,EACd,QAAQ,EACR,QAAQ,EACR,MAAM,EACN,OAAO,EACP,UAAU,EACV,WAAW,GACZ,MAAM,YAAY,CAAC;AAEpB;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,kBAAkB,GAAc,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACtD,MAAM,SAAS,GAAG,MAAM,CAAC;IACvB,IAAI,EAAE,UAAU;IAChB,SAAS,EAAE,kBAAkB;CAC9B,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAoB;IACpD,CAAC,MAAM,EAAE,UAAU,CAAC;IACpB,CAAC,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC;IACjC,CAAC,OAAO,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC;IAChC,CAAC,MAAM,EAAE,UAAU,CAAC;CACrB,CAAC,CAAC;AACH,MAAM,gBAAgB,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,oBAAoB,EAAE,CAAC;AAC5G,MAAM,qBAAqB,GAAG,MAAM,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;AAElG,MAAM,CAAC,MAAM,mBAAmB,GAAuC,CAAC,WAAW,EAAE,eAAe,CAAC,IAAI,GAAG,CAAC;QAC3G,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;QAC9D,CAAC,OAAO,EAAE,cAAc,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE,SAAS,CAAC,CAAC;QAC9F,CAAC,MAAM,EAAE,cAAc,CAAC,UAAU,EAAE,CAAC,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;QACnL,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,UAAU,EAAE,qBAAqB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;QAChG,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC3D,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;QACzC,CAAC,SAAS,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;QAC5C,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;QAC3C,CAAC,cAAc,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,gBAAgB,CAAC,CAAC;QACzD,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;QAC3F,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;QACjE,CAAC,MAAM,EAAE,uBAAuB,CAAC,MAAM,EAAE,IAAI,GAAG,CAAoB;gBAClE,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC,aAAa,EAAE,UAAU,CAAC,EAAE,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC;gBACrG,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC,YAAY,EAAE,UAAU,CAAC,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;aAC5E,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9B,CAAC,QAAQ,EAAE,uBAAuB,CAAC,QAAQ,EAAE,IAAI,GAAG,CAAoB,CAAC,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC;QACjM,CAAC,MAAM,EAAE,uBAAuB,CAAC,MAAM,EAAE,IAAI,GAAG,CAAoB,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACvP,CAAC,SAAS,EAAE,uBAAuB,CAAC,SAAS,EAAE,IAAI,GAAG,CAAoB,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;KACnR,CAAC,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,cAAc,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC;QACtE,CAAC,cAAc,EAAE,8CAA8C,CAAC;KACjE,CAAC,CAAC,CAAC,CAAC"}

package/dist/modules/websocket.d.ts

@@ -0,0 +1,11 @@
+/**
+ * `velar/websocket` — the Web half of the socket surface: `connect` and nothing that listens.
+ *
+ * D115 §三: one file per `velar/*` surface, holding that surface's `ValueType`
+ * tables and the `webModuleInterfaces` entry they build.
+ */
+import { type ModuleInterface, type ValueType } from "@velarscript/compiler";
+export declare const webSocketCloseType: ValueType;
+export declare const webSocketMessageType: ValueType;
+export declare const velarWebSocketModuleEntry: readonly [string, ModuleInterface];
+//# sourceMappingURL=websocket.d.ts.map

package/dist/modules/websocket.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"websocket.d.ts","sourceRoot":"","sources":["../../src/modules/websocket.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAA0C,KAAK,eAAe,EAAE,KAAK,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAMrH,eAAO,MAAM,kBAAkB,EAAE,SAAuF,CAAC;AACzH,eAAO,MAAM,oBAAoB,EAAE,SAA+D,CAAC;AAgDnG,eAAO,MAAM,yBAAyB,EAAE,SAAS,CAAC,MAAM,EAAE,eAAe,CAqBvE,CAAC"}

package/dist/modules/websocket.js

@@ -0,0 +1,75 @@
+/**
+ * `velar/websocket` — the Web half of the socket surface: `connect` and nothing that listens.
+ *
+ * D115 §三: one file per `velar/*` surface, holding that surface's `ValueType`
+ * tables and the `webModuleInterfaces` entry they build.
+ */
+import { optionalOf as optional } from "@velarscript/compiler";
+import { bytesType, durationType, moduleInterface, namedFunction, nullType, numberType, object, promise, stringType } from "./types.js";
+const webSocketConnectionIdentity = "velar/websocket#type:WebSocketConnection";
+const webSocketCloseIdentity = "velar/websocket#type:WebSocketClose";
+const webSocketConnectionType = { kind: "named", name: "WebSocketConnection", identity: webSocketConnectionIdentity };
+export const webSocketCloseType = { kind: "named", name: "WebSocketClose", identity: webSocketCloseIdentity };
+export const webSocketMessageType = { kind: "union", members: [stringType, bytesType] };
+const webSocketCloseFields = new Map([
+    ["code", numberType],
+    ["reason", stringType],
+]);
+const webSocketConnectionFields = new Map([
+    // D90 fr-4: one identity, one field roster. A Web connection is always an
+    // outbound `connect()` result, which was never upgraded from an Origin and
+    // therefore reads back null — the same value the Node runtime gives an
+    // outbound connection. Leaving the field off Web instead would make
+    // `velar/websocket#type:WebSocketConnection` mean two different things.
+    ["origin", optional(stringType)],
+    ["state", namedFunction([], [], stringType)],
+    ["send", namedFunction(["message"], [webSocketMessageType], promise(nullType))],
+    ["next", namedFunction([], [], promise(optional(webSocketMessageType)))],
+    ["closeInfo", namedFunction([], [], promise(webSocketCloseType))],
+    ["close", namedFunction(["code", "reason"], [numberType, stringType], promise(nullType), 0)],
+]);
+const webSocketConnectOptions = object({
+    timeout: optional(durationType),
+    maxMessageBytes: optional(numberType),
+    maxQueuedMessages: optional(numberType),
+    maxQueuedBytes: optional(numberType),
+    maxPendingSendBytes: optional(numberType),
+});
+const webSocketErrorIdentities = new Map([
+    ["WebSocketBackpressureError", "velar/websocket#class:WebSocketBackpressureError"],
+    ["WebSocketClosedError", "velar/websocket#class:WebSocketClosedError"],
+    ["WebSocketProtocolError", "velar/websocket#class:WebSocketProtocolError"],
+    ["WebSocketTimeoutError", "velar/websocket#class:WebSocketTimeoutError"],
+]);
+const webSocketErrorClass = (identity) => ({
+    identity,
+    parameters: [stringType],
+    parameterNames: ["message"],
+    requiredParameters: 0,
+    base: "Error",
+    abstract: false,
+    fields: new Map(),
+    getters: new Set(),
+    abstractGetters: new Set(),
+    methods: new Map(),
+    abstractMethods: new Set(),
+    staticFields: new Map(),
+    staticGetters: new Set(),
+    staticMethods: new Map(),
+});
+export const velarWebSocketModuleEntry = ["velar/websocket", moduleInterface(new Map([
+        ["WebSocketConnection", { kind: "typeObject", name: "WebSocketConnection", value: webSocketConnectionType }],
+        ["WebSocketClose", { kind: "typeObject", name: "WebSocketClose", value: webSocketCloseType }],
+        ...[...webSocketErrorIdentities].map(([name, identity]) => [name, { kind: "classConstructor", name, identity }]),
+        ["connect", namedFunction(["url", "options"], [stringType, webSocketConnectOptions], promise(webSocketConnectionType), 1)],
+    ]), new Map([...webSocketErrorIdentities].map(([name, identity]) => [name, webSocketErrorClass(identity)])), new Map([
+        ["WebSocketConnection", webSocketConnectionFields],
+        ["WebSocketClose", webSocketCloseFields],
+    ]), new Map([
+        ["WebSocketConnection", webSocketConnectionIdentity],
+        ["WebSocketClose", webSocketCloseIdentity],
+    ]), new Map(), new Map([
+        ["WebSocketConnection", new Set(webSocketConnectionFields.keys())],
+        ["WebSocketClose", new Set(webSocketCloseFields.keys())],
+    ]))];
+//# sourceMappingURL=websocket.js.map

package/dist/modules/websocket.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"websocket.js","sourceRoot":"","sources":["../../src/modules/websocket.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,UAAU,IAAI,QAAQ,EAAwD,MAAM,uBAAuB,CAAC;AACrH,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAExI,MAAM,2BAA2B,GAAG,0CAA0C,CAAC;AAC/E,MAAM,sBAAsB,GAAG,qCAAqC,CAAC;AACrE,MAAM,uBAAuB,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,2BAA2B,EAAE,CAAC;AACjI,MAAM,CAAC,MAAM,kBAAkB,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,sBAAsB,EAAE,CAAC;AACzH,MAAM,CAAC,MAAM,oBAAoB,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE,CAAC;AACnG,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAoB;IACtD,CAAC,MAAM,EAAE,UAAU,CAAC;IACpB,CAAC,QAAQ,EAAE,UAAU,CAAC;CACvB,CAAC,CAAC;AACH,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAoB;IAC3D,0EAA0E;IAC1E,2EAA2E;IAC3E,uEAAuE;IACvE,oEAAoE;IACpE,wEAAwE;IACxE,CAAC,QAAQ,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;IAChC,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;IAC5C,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,oBAAoB,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC/E,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC,WAAW,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC;IACjE,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;CAC7F,CAAC,CAAC;AACH,MAAM,uBAAuB,GAAG,MAAM,CAAC;IACrC,OAAO,EAAE,QAAQ,CAAC,YAAY,CAAC;IAC/B,eAAe,EAAE,QAAQ,CAAC,UAAU,CAAC;IACrC,iBAAiB,EAAE,QAAQ,CAAC,UAAU,CAAC;IACvC,cAAc,EAAE,QAAQ,CAAC,UAAU,CAAC;IACpC,mBAAmB,EAAE,QAAQ,CAAC,UAAU,CAAC;CAC1C,CAAC,CAAC;AACH,MAAM,wBAAwB,GAAG,IAAI,GAAG,CAAC;IACvC,CAAC,4BAA4B,EAAE,kDAAkD,CAAC;IAClF,CAAC,sBAAsB,EAAE,4CAA4C,CAAC;IACtE,CAAC,wBAAwB,EAAE,8CAA8C,CAAC;IAC1E,CAAC,uBAAuB,EAAE,6CAA6C,CAAC;CACzE,CAAC,CAAC;AACH,MAAM,mBAAmB,GAAG,CAAC,QAAgB,EAAa,EAAE,CAAC,CAAC;IAC5D,QAAQ;IACR,UAAU,EAAE,CAAC,UAAU,CAAC;IACxB,cAAc,EAAE,CAAC,SAAS,CAAC;IAC3B,kBAAkB,EAAE,CAAC;IACrB,IAAI,EAAE,OAAO;IACb,QAAQ,EAAE,KAAK;IACf,MAAM,EAAE,IAAI,GAAG,EAAE;IACjB,OAAO,EAAE,IAAI,GAAG,EAAE;IAClB,eAAe,EAAE,IAAI,GAAG,EAAE;IAC1B,OAAO,EAAE,IAAI,GAAG,EAAE;IAClB,eAAe,EAAE,IAAI,GAAG,EAAE;IAC1B,YAAY,EAAE,IAAI,GAAG,EAAE;IACvB,aAAa,EAAE,IAAI,GAAG,EAAE;IACxB,aAAa,EAAE,IAAI,GAAG,EAAE;CACzB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAuC,CAAC,iBAAiB,EAAE,eAAe,CAC9G,IAAI,GAAG,CAAC;QACN,CAAC,qBAAqB,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,qBAAqB,EAAE,KAAK,EAAE,uBAAuB,EAAE,CAAC;QAC5G,CAAC,gBAAgB,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC;QAC7F,GAAG,CAAC,GAAG,wBAAwB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,QAAQ,EAAe,CAAU,CAAC;QACtI,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,UAAU,EAAE,uBAAuB,CAAC,EAAE,OAAO,CAAC,uBAAuB,CAAC,EAAE,CAAC,CAAC,CAAC;KAC3H,CAAC,EACF,IAAI,GAAG,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EACvG,IAAI,GAAG,CAAC;QACN,CAAC,qBAAqB,EAAE,yBAAyB,CAAC;QAClD,CAAC,gBAAgB,EAAE,oBAAoB,CAAC;KACzC,CAAC,EACF,IAAI,GAAG,CAAC;QACN,CAAC,qBAAqB,EAAE,2BAA2B,CAAC;QACpD,CAAC,gBAAgB,EAAE,sBAAsB,CAAC;KAC3C,CAAC,EACF,IAAI,GAAG,EAAE,EACT,IAAI,GAAG,CAAC;QACN,CAAC,qBAAqB,EAAE,IAAI,GAAG,CAAC,yBAAyB,CAAC,IAAI,EAAE,CAAC,CAAC;QAClE,CAAC,gBAAgB,EAAE,IAAI,GAAG,CAAC,oBAAoB,CAAC,IAAI,EAAE,CAAC,CAAC;KACzD,CAAC,CACH,CAAC,CAAC"}

package/dist/parser/expressions/jsx.d.ts

@@ -0,0 +1,17 @@
+/**
+ * The JSX token's structured payload becoming an expression, and the reading of
+ * each `{...}` interpolation inside it.
+ *
+ * The two habits JSX brings from elsewhere — a block comment written in an
+ * interpolation, and a `{for item in items:}` block — get one directed message
+ * each rather than an expression-parse cascade, and recover as an inert null so
+ * the rest of the module still analyzes.
+ */
+import type { Diagnostic } from "@velarscript/compiler";
+import { type Expression, type Token } from "@velarscript/compiler/extension";
+export interface JsxParserHost {
+    readonly diagnostics: Diagnostic[];
+    parseNestedExpression(fragment: string, offset: number, bracketFragment?: boolean, sourceOffsets?: readonly number[]): Expression;
+}
+export declare function parseJsxExpression(host: JsxParserHost, token: Token): Expression;
+//# sourceMappingURL=jsx.d.ts.map

package/dist/parser/expressions/jsx.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsx.d.ts","sourceRoot":"","sources":["../../../src/parser/expressions/jsx.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,KAAK,EAAE,MAAM,iCAAiC,CAAC;AAI9E,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;IACnC,qBAAqB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,UAAU,CAAC;CACnI;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,GAAG,UAAU,CAQhF"}

package/dist/parser/expressions/jsx.js

@@ -0,0 +1,43 @@
+import {} from "@velarscript/compiler/extension";
+import { diagnostic, jsxExpression, recoveredDiagnostic, shiftJsxSyntax } from "../spans.js";
+export function parseJsxExpression(host, token) {
+    const payload = token.payload;
+    if (!payload || payload.kind !== "WebJsxElementSyntax") {
+        host.diagnostics.push(diagnostic("VEL5001", "The Web JSX token is missing its structured syntax", token.span));
+        return { kind: "LiteralExpression", value: null, raw: "null", span: token.span };
+    }
+    const syntax = shiftJsxSyntax(payload, token.span.start - payload.span.start);
+    return jsxExpression(syntax, (source) => parseJsxEmbedded(host, source), (item) => host.diagnostics.push(item));
+}
+// A '{for item in items: ...}' block inside JSX gets targeted guidance to
+// '.map(...)' instead of an expression-parse cascade; there is no magic JSX
+// control flow. The child recovers as an inert null literal so the rest of the
+// module still analyzes and reports its own guidance in the same compile.
+function parseJsxEmbedded(host, source) {
+    // WEB-U13: '{/* ... */}' is the JSX comment habit. VelarScript has no block
+    // comment at all, so the interpolation gets one message naming '//' instead
+    // of two 'Expected an expression' failures.
+    if (/^\s*\/[*/]/u.test(source.source)) {
+        host.diagnostics.push(recoveredDiagnostic("VEL5002", "JSX has no comment form; write a '//' comment on its own line outside the markup", source.span));
+        return { kind: "LiteralExpression", value: null, raw: "null", span: source.span };
+    }
+    if (/^\s*for\b/u.test(source.source)) {
+        const detail = /^\s*for\s+([A-Za-z_][A-Za-z0-9_]*)\s+in\s+([^:{\n]+):/u.exec(source.source);
+        const binding = detail?.[1] ?? "item";
+        const iterable = detail?.[2]?.trim() || "items";
+        host.diagnostics.push({
+            code: "VEL5049",
+            message: `Use '{${iterable}.map((${binding}) => ...)}'; JSX has no 'for' blocks, so lists render with '.map(...)'`,
+            span: source.span,
+            recovered: true,
+        });
+        return { kind: "LiteralExpression", value: null, raw: "null", span: source.span };
+    }
+    // JSX interpolation braces are a bracket context: the expression inside
+    // '{...}' continues across physical lines exactly as inside parentheses.
+    const layoutAtStart = /^[ \t]*(?:rf|fr|f|r)?["'](?:\r\n|\r|\n)/u.test(source.source);
+    return layoutAtStart
+        ? host.parseNestedExpression(source.openingIndent + source.source, source.span.start - source.openingIndent.length, true)
+        : host.parseNestedExpression(source.source, source.span.start, true);
+}
+//# sourceMappingURL=jsx.js.map

package/dist/parser/expressions/jsx.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsx.js","sourceRoot":"","sources":["../../../src/parser/expressions/jsx.ts"],"names":[],"mappings":"AAUA,OAAO,EAA+B,MAAM,iCAAiC,CAAC;AAE9E,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAO7F,MAAM,UAAU,kBAAkB,CAAC,IAAmB,EAAE,KAAY;IAClE,MAAM,OAAO,GAAG,KAAK,CAAC,OAA0C,CAAC;IACjE,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QACvD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,oDAAoD,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/G,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IACnF,CAAC;IACD,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9E,OAAO,aAAa,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AAClH,CAAC;AAED,0EAA0E;AAC1E,4EAA4E;AAC5E,+EAA+E;AAC/E,0EAA0E;AAC1E,SAAS,gBAAgB,CAAC,IAAmB,EAAE,MAA2B;IACxE,4EAA4E;IAC5E,4EAA4E;IAC5E,4CAA4C;IAC5C,IAAI,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACtC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,mBAAmB,CACvC,SAAS,EACT,kFAAkF,EAClF,MAAM,CAAC,IAAI,CACZ,CAAC,CAAC;QACH,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;IACpF,CAAC;IACD,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,wDAAwD,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC5F,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC;QACtC,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,OAAO,CAAC;QAChD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;YACpB,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,SAAS,QAAQ,SAAS,OAAO,wEAAwE;YAClH,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;QACH,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;IACpF,CAAC;IACD,wEAAwE;IACxE,yEAAyE;IACzE,MAAM,aAAa,GAAG,0CAA0C,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACrF,OAAO,aAAa;QAClB,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAC1B,MAAM,CAAC,aAAa,GAAG,MAAM,CAAC,MAAM,EACpC,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,EAC/C,IAAI,CACL;QACD,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AACzE,CAAC"}

package/dist/parser/expressions/keyframes.d.ts

@@ -0,0 +1,15 @@
+/**
+ * `keyframes:` as a block-valued expression, read the same way a `look:` block
+ * is: the layout up front, then the block's own indented source.
+ */
+import type { Diagnostic } from "@velarscript/compiler";
+import { type Expression, type Token, type TokenKind } from "@velarscript/compiler/extension";
+import { type VisualBlockParserHost } from "./visual-block.ts";
+export interface KeyframesExpressionParserHost extends VisualBlockParserHost {
+    readonly diagnostics: Diagnostic[];
+    parseNestedExpression(fragment: string, offset: number, bracketFragment?: boolean, sourceOffsets?: readonly number[]): Expression;
+    peekKind(distance: number): TokenKind;
+    skipMistypedDeclaration(): void;
+}
+export declare function parseKeyframesExpression(host: KeyframesExpressionParserHost, token: Token): Expression;
+//# sourceMappingURL=keyframes.d.ts.map

package/dist/parser/expressions/keyframes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"keyframes.d.ts","sourceRoot":"","sources":["../../../src/parser/expressions/keyframes.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,KAAK,EAAE,KAAK,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAK9F,OAAO,EAAsB,KAAK,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAEnF,MAAM,WAAW,6BAA8B,SAAQ,qBAAqB;IAC1E,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;IACnC,qBAAqB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,UAAU,CAAC;IAClI,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,uBAAuB,IAAI,IAAI,CAAC;CACjC;AAED,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,6BAA6B,EAAE,KAAK,EAAE,KAAK,GAAG,UAAU,CA6BtG"}

package/dist/parser/expressions/keyframes.js

@@ -0,0 +1,33 @@
+import {} from "@velarscript/compiler/extension";
+import { WEB_KEYFRAMES_TOKEN } from "../../lexer.js";
+import { visualBlockLayout } from "../../visual-blocks.js";
+import { KeyframesSourceParser } from "../keyframes-source.js";
+import { diagnostic, shiftKeyframesSyntax, span } from "../spans.js";
+import { consumeVisualBlock } from "./visual-block.js";
+export function parseKeyframesExpression(host, token) {
+    const layout = visualBlockLayout((distance) => host.peekKind(distance));
+    if (layout === "none") {
+        host.diagnostics.push(diagnostic("VEL5060", "A keyframes value is written as 'keyframes:' followed by indented 'from:', 'to:', or 'N%:' stops", token.span));
+        host.skipMistypedDeclaration();
+        return { kind: "LiteralExpression", value: null, raw: "null", span: token.span };
+    }
+    if (layout === "empty") {
+        host.diagnostics.push(diagnostic("VEL5060", "A keyframes block requires at least one indented stop", token.span));
+        host.advance();
+        return { kind: "LiteralExpression", value: null, raw: "null", span: token.span };
+    }
+    const block = consumeVisualBlock(host, layout, "Expected keyframe stops", "Expected the end of the keyframes block");
+    const payload = block.value === WEB_KEYFRAMES_TOKEN ? block.payload : undefined;
+    if (!payload || payload.kind !== "WebKeyframesBlockSyntax") {
+        host.diagnostics.push(diagnostic("VEL5060", "The keyframes block is missing its structured syntax", block.span));
+    }
+    const syntax = payload?.kind === "WebKeyframesBlockSyntax"
+        ? shiftKeyframesSyntax(payload, block.span.start - payload.span.start)
+        : undefined;
+    const stops = new KeyframesSourceParser(syntax ?? { kind: "WebKeyframesBlockSyntax", lines: [], span: block.span }, (text, offset, openingIndent) => openingIndent
+        ? host.parseNestedExpression(openingIndent + text, offset - openingIndent.length, true)
+        : host.parseNestedExpression(text, offset), (item) => host.diagnostics.push(item)).parse();
+    const expression = { kind: "ExtensionExpression:web:keyframes", stops, span: span(token.span.start, block.span.end) };
+    return expression;
+}
+//# sourceMappingURL=keyframes.js.map

package/dist/parser/expressions/keyframes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"keyframes.js","sourceRoot":"","sources":["../../../src/parser/expressions/keyframes.ts"],"names":[],"mappings":"AAKA,OAAO,EAA+C,MAAM,iCAAiC,CAAC;AAC9F,OAAO,EAAE,mBAAmB,EAAgC,MAAM,gBAAgB,CAAC;AACnF,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAA8B,MAAM,mBAAmB,CAAC;AASnF,MAAM,UAAU,wBAAwB,CAAC,IAAmC,EAAE,KAAY;IACxF,MAAM,MAAM,GAAG,iBAAiB,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxE,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,kGAAkG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7J,IAAI,CAAC,uBAAuB,EAAE,CAAC;QAC/B,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IACnF,CAAC;IACD,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QACvB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,uDAAuD,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAClH,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IACnF,CAAC;IACD,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,yBAAyB,EAAE,yCAAyC,CAAC,CAAC;IACrH,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,KAAK,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,OAA8C,CAAC,CAAC,CAAC,SAAS,CAAC;IACvH,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QAC3D,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,sDAAsD,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACnH,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,EAAE,IAAI,KAAK,yBAAyB;QACxD,CAAC,CAAC,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;QACtE,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,KAAK,GAAG,IAAI,qBAAqB,CACrC,MAAM,IAAI,EAAE,IAAI,EAAE,yBAAyB,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAC1E,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,CAAC,aAAa;QAC5C,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,aAAa,GAAG,IAAI,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;QACvF,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,IAAI,EAAE,MAAM,CAAC,EAC5C,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CACtC,CAAC,KAAK,EAAE,CAAC;IACV,MAAM,UAAU,GAAG,EAAE,IAAI,EAAE,mCAAmC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAW,CAAC;IAC/H,OAAO,UAAU,CAAC;AACpB,CAAC"}

package/dist/parser/expressions/look.d.ts

@@ -0,0 +1,16 @@
+/**
+ * `look:` as a block-valued expression: the whole shape is read up front, once,
+ * so an unfinished Look value says one thing rather than unravelling into six
+ * diagnostics as each expectation fails in turn (LOK-I3).
+ */
+import type { Diagnostic } from "@velarscript/compiler";
+import { type Expression, type Token, type TokenKind } from "@velarscript/compiler/extension";
+import { type VisualBlockParserHost } from "./visual-block.ts";
+export interface LookExpressionParserHost extends VisualBlockParserHost {
+    readonly diagnostics: Diagnostic[];
+    parseNestedExpression(fragment: string, offset: number, bracketFragment?: boolean, sourceOffsets?: readonly number[]): Expression;
+    peekKind(distance: number): TokenKind;
+    skipMistypedDeclaration(): void;
+}
+export declare function parseLookExpression(host: LookExpressionParserHost, token: Token): Expression;
+//# sourceMappingURL=look.d.ts.map

package/dist/parser/expressions/look.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"look.d.ts","sourceRoot":"","sources":["../../../src/parser/expressions/look.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,KAAK,EAAE,KAAK,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAK9F,OAAO,EAAsB,KAAK,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAEnF,MAAM,WAAW,wBAAyB,SAAQ,qBAAqB;IACrE,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;IACnC,qBAAqB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,UAAU,CAAC;IAClI,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,uBAAuB,IAAI,IAAI,CAAC;CACjC;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,wBAAwB,EAAE,KAAK,EAAE,KAAK,GAAG,UAAU,CAiC5F"}

package/dist/parser/expressions/look.js

@@ -0,0 +1,37 @@
+import {} from "@velarscript/compiler/extension";
+import { WEB_LOOK_TOKEN } from "../../lexer.js";
+import { visualBlockLayout } from "../../visual-blocks.js";
+import { LookSourceParser } from "../look-source.js";
+import { diagnostic, shiftLookSyntax, span } from "../spans.js";
+import { consumeVisualBlock } from "./visual-block.js";
+export function parseLookExpression(host, token) {
+    // LOK-I3: an unfinished Look value used to unravel into six diagnostics as each
+    // expectation failed in turn; the whole shape is read up front, once, instead.
+    const layout = visualBlockLayout((distance) => host.peekKind(distance));
+    if (layout === "none") {
+        host.diagnostics.push(diagnostic("VEL5038", "A Look value is written as 'look:' followed by an indented block of 'property = value' entries", token.span));
+        host.skipMistypedDeclaration();
+        return { kind: "LiteralExpression", value: null, raw: "null", span: token.span };
+    }
+    if (layout === "empty") {
+        // The colon stays unconsumed so the surrounding statement still ends at
+        // its own newline; only this one message describes the missing block.
+        host.diagnostics.push(diagnostic("VEL5038", "A Look block requires at least one indented 'property = value' entry", token.span));
+        host.advance();
+        return { kind: "LiteralExpression", value: null, raw: "null", span: token.span };
+    }
+    const block = consumeVisualBlock(host, layout, "Expected Look entries", "Expected the end of the Look block");
+    const payload = block.value === WEB_LOOK_TOKEN ? block.payload : undefined;
+    if (!payload || payload.kind !== "WebLookBlockSyntax") {
+        host.diagnostics.push(diagnostic("VEL5038", "The Look block is missing its structured syntax", block.span));
+    }
+    const syntax = payload?.kind === "WebLookBlockSyntax"
+        ? shiftLookSyntax(payload, block.span.start - payload.span.start)
+        : undefined;
+    const entries = new LookSourceParser(syntax ?? { kind: "WebLookBlockSyntax", lines: [], span: block.span }, (text, offset, openingIndent) => openingIndent
+        ? host.parseNestedExpression(openingIndent + text, offset - openingIndent.length, true)
+        : host.parseNestedExpression(text, offset), (item) => host.diagnostics.push(item)).parse();
+    const expression = { kind: "ExtensionExpression:web:look", entries, span: span(token.span.start, block.span.end) };
+    return expression;
+}
+//# sourceMappingURL=look.js.map

package/dist/parser/expressions/look.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"look.js","sourceRoot":"","sources":["../../../src/parser/expressions/look.ts"],"names":[],"mappings":"AAMA,OAAO,EAA+C,MAAM,iCAAiC,CAAC;AAC9F,OAAO,EAAE,cAAc,EAA2B,MAAM,gBAAgB,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAChE,OAAO,EAAE,kBAAkB,EAA8B,MAAM,mBAAmB,CAAC;AASnF,MAAM,UAAU,mBAAmB,CAAC,IAA8B,EAAE,KAAY;IAC9E,gFAAgF;IAChF,+EAA+E;IAC/E,MAAM,MAAM,GAAG,iBAAiB,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxE,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,gGAAgG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3J,IAAI,CAAC,uBAAuB,EAAE,CAAC;QAC/B,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IACnF,CAAC;IACD,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QACvB,wEAAwE;QACxE,sEAAsE;QACtE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,sEAAsE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACjI,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IACnF,CAAC;IACD,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,uBAAuB,EAAE,oCAAoC,CAAC,CAAC;IAC9G,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,KAAK,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,OAAyC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7G,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QACtD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,iDAAiD,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9G,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,EAAE,IAAI,KAAK,oBAAoB;QACnD,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;QACjE,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,OAAO,GAAG,IAAI,gBAAgB,CAClC,MAAM,IAAI,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EACrE,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,CAAC,aAAa;QAC5C,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,aAAa,GAAG,IAAI,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;QACvF,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,IAAI,EAAE,MAAM,CAAC,EAC5C,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CACtC,CAAC,KAAK,EAAE,CAAC;IACV,MAAM,UAAU,GAAG,EAAE,IAAI,EAAE,8BAA8B,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAW,CAAC;IAC5H,OAAO,UAAU,CAAC;AACpB,CAAC"}

package/dist/parser/expressions/visual-block.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Consuming the block a `look:` or `keyframes:` value is written in.
+ *
+ * Both expressions are read the same way — the ':' , the layout around the
+ * block, and the block token itself — so the consumption is a shared module
+ * rather than a copy in each of the two readers.
+ */
+import { type Token, type TokenKind } from "@velarscript/compiler/extension";
+import type { VisualBlockLayout } from "../../visual-blocks.ts";
+export interface VisualBlockParserHost {
+    advance(): Token;
+    consumeNewlines(): void;
+    expect(kind: TokenKind, message: string): Token;
+}
+/** Consumes the ':' , the layout around the block, and the block itself. */
+export declare function consumeVisualBlock(host: VisualBlockParserHost, layout: Exclude<VisualBlockLayout, "empty" | "none">, entries: string, end: string): Token;
+//# sourceMappingURL=visual-block.d.ts.map

package/dist/parser/expressions/visual-block.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"visual-block.d.ts","sourceRoot":"","sources":["../../../src/parser/expressions/visual-block.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,KAAK,KAAK,EAAE,KAAK,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAC7E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAEhE,MAAM,WAAW,qBAAqB;IACpC,OAAO,IAAI,KAAK,CAAC;IACjB,eAAe,IAAI,IAAI,CAAC;IACxB,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,GAAG,KAAK,CAAC;CACjD;AAED,4EAA4E;AAC5E,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,qBAAqB,EAC3B,MAAM,EAAE,OAAO,CAAC,iBAAiB,EAAE,OAAO,GAAG,MAAM,CAAC,EACpD,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,MAAM,GACV,KAAK,CASP"}

package/dist/parser/expressions/visual-block.js

@@ -0,0 +1,21 @@
+/**
+ * Consuming the block a `look:` or `keyframes:` value is written in.
+ *
+ * Both expressions are read the same way — the ':' , the layout around the
+ * block, and the block token itself — so the consumption is a shared module
+ * rather than a copy in each of the two readers.
+ */
+import {} from "@velarscript/compiler/extension";
+/** Consumes the ':' , the layout around the block, and the block itself. */
+export function consumeVisualBlock(host, layout, entries, end) {
+    host.advance();
+    if (layout === "bracketed")
+        return host.expect("extensionToken", entries);
+    host.consumeNewlines();
+    host.advance();
+    const block = host.expect("extensionToken", entries);
+    host.consumeNewlines();
+    host.expect("dedent", end);
+    return block;
+}
+//# sourceMappingURL=visual-block.js.map

package/dist/parser/expressions/visual-block.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"visual-block.js","sourceRoot":"","sources":["../../../src/parser/expressions/visual-block.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAA8B,MAAM,iCAAiC,CAAC;AAS7E,4EAA4E;AAC5E,MAAM,UAAU,kBAAkB,CAChC,IAA2B,EAC3B,MAAoD,EACpD,OAAe,EACf,GAAW;IAEX,IAAI,CAAC,OAAO,EAAE,CAAC;IACf,IAAI,MAAM,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,CAAC,eAAe,EAAE,CAAC;IACvB,IAAI,CAAC,OAAO,EAAE,CAAC;IACf,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;IACrD,IAAI,CAAC,eAAe,EAAE,CAAC;IACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IAC3B,OAAO,KAAK,CAAC;AACf,CAAC"}