@velarscript/web 0.31.0 → 0.33.0

package/dist/analysis/inference.js

@@ -0,0 +1,257 @@
+/**
+ * What the Web extension adds to expression inference, either side of the core
+ * walk: the shapes it refuses before the core sees them, the answers it has
+ * already computed and hands back instead of walking again, the Look length a
+ * builder call folds to, and the two reports a call earns once its type is
+ * known. The extension's own call and type-syntax rules — a component element
+ * called like a function, and `Component<Props, Handle>` — are here too.
+ *
+ * D115 P4 R3c. The dispatch itself stays on the analyzer: `inferExpression` and
+ * `inferExtensionExpression` are seams the core owns, and what they hand to the
+ * JSX, keyframes and Look walks is the one thing that is genuinely a dispatch.
+ * Everything on either side of it is a rule, and rules live here.
+ */
+import {} from "@velarscript/compiler";
+import { boolType, describeType, expressionContainsDirectAwait, invalidType, spanIdentity, unknownType, } from "@velarscript/compiler/extension";
+import { isWebExpression, isWebJsx, isWebUnit } from "../ast.js";
+import { LOOK_ARITHMETIC_HINT, LOOK_UNIT_TYPES } from "../look.js";
+import { isWebComponentType, isWebNodeType, webComponentName, webNodeType } from "../types.js";
+import { componentCallRefusal } from "./component-guidance.js";
+import { checkLookBuilderCall } from "./look/builders.js";
+import {} from "./look/host.js";
+import { foldedLengthPercentage, isLookNumericType } from "./look-values.js";
+import { lookJoin, lookLiteralZero } from "./look-sites.js";
+import { lookSourceOf } from "./media-conditions.js";
+import { publicConfigDiagnostic } from "./public-config.js";
+import { calledComputedBinding } from "./reactivity/derived.js";
+import {} from "./reactivity/host.js";
+import { recordRetiredAccessorRead, RETIRED_ACCESSOR_TYPE } from "./reactivity/retired-accessors.js";
+import { diagnostic, webEventDeadFields, webEventTypeNames } from "./web-types.js";
+/**
+ * The Web shapes refused before the core analyzer sees the expression, in the
+ * order they are asked. `undefined` means nothing here claimed the expression
+ * and the extension dispatch continues.
+ */
+export function webExpressionShapeRefusals(host, expression) {
+    if (expression.kind === "CallExpression" && expression.callee.kind === "IdentifierExpression"
+        && expression.callee.name === "mount") {
+        const namedNode = expression.argumentNames?.findIndex((name) => name === "node") ?? -1;
+        const node = expression.arguments[namedNode >= 0 ? namedNode : 0];
+        if (node && expressionContainsDirectAwait(node, (value) => value.kind === "ExtensionExpression:web:jsx" ? false : undefined)) {
+            host.diagnostics.push(diagnostic("VEL4007", "mount constructs its root synchronously; await the root in a separate module binding before calling mount", node.span));
+        }
+    }
+    if (expression.kind === "UnaryExpression" && (expression.operator === "+" || expression.operator === "-")) {
+        const operand = host.inferExpression(expression.operand);
+        if (isLookNumericType(operand)) {
+            host.extensionCalls.set(spanIdentity(expression.span), LOOK_ARITHMETIC_HINT);
+            return operand;
+        }
+        host.probedOperandTypes.set(spanIdentity(expression.operand.span), operand);
+    }
+    // WEB-U15 / GRM-A3: '&&' rendering is the React habit. The lexer now starts
+    // JSX after 'and'/'or' so the shape parses and this rejection names the
+    // conditional-rendering spelling instead of leaking a bool type error.
+    if (expression.kind === "BinaryExpression" && (expression.operator === "and" || expression.operator === "or")
+        && (isWebJsx(expression.left) || isWebJsx(expression.right))) {
+        const rightIsElement = isWebJsx(expression.right);
+        const tag = rightIsElement ? expression.right.tag : isWebJsx(expression.left) ? expression.left.tag : "";
+        const condition = lookSourceOf(rightIsElement ? expression.left : expression.right);
+        host.inferExpression(expression.left);
+        host.inferExpression(expression.right);
+        host.diagnostics.push(diagnostic("VEL5029", `'${expression.operator}' combines bool values and cannot yield an element; render conditionally with '{${condition} ? <${tag || ">"} ... : null}'`, expression.span));
+        return invalidType;
+    }
+    if (expression.kind === "BinaryExpression" && ["+", "-", "*", "/"].includes(expression.operator)) {
+        const left = host.inferExpression(expression.left);
+        const right = host.inferExpression(expression.right);
+        if (!isLookNumericType(left) && !isLookNumericType(right)) {
+            host.probedOperandTypes.set(spanIdentity(expression.left.span), left);
+            host.probedOperandTypes.set(spanIdentity(expression.right.span), right);
+        }
+        else {
+            const additive = expression.operator === "+" || expression.operator === "-" ? lookJoin(left, right) : null;
+            const result = additive
+                ?? ((expression.operator === "*" || expression.operator === "/") && isLookNumericType(left) && right.kind === "number" ? left : null)
+                ?? (expression.operator === "*" && left.kind === "number" && isLookNumericType(right) ? right : null);
+            if (result) {
+                // LOK-U8: dividing a visual value by a literal zero produces a
+                // non-finite length that the runtime rejects on first construction.
+                if (expression.operator === "/" && lookLiteralZero(expression.right)) {
+                    host.diagnostics.push(diagnostic("VEL5042", "Look unit arithmetic cannot divide by zero", expression.span));
+                    return invalidType;
+                }
+                host.extensionCalls.set(spanIdentity(expression.span), LOOK_ARITHMETIC_HINT);
+                return result;
+            }
+            // The rejection is final: returning the invalid type keeps the Look
+            // property's own assignment error from co-reporting a union dump on the
+            // very expression that was already named (LOK-I1).
+            host.diagnostics.push(diagnostic("VEL5042", `Look unit arithmetic cannot apply '${expression.operator}' to ${describeType(left)} and ${describeType(right)}`, expression.span));
+            return invalidType;
+        }
+    }
+    // WEB-N2 / D47 rule 84: the event object is typed down to event semantics
+    // and deliberately carries no target, so `event.target.value` is a dead end
+    // that used to cascade into three unknown-access errors. The read is where
+    // the author wanted two-way binding, so it names that spelling and stops.
+    if (expression.kind === "MemberExpression" && !expression.optional && webEventDeadFields.has(expression.property)
+        && expression.object.kind === "IdentifierExpression") {
+        const binding = host.lookup(expression.object.name);
+        const expanded = binding ? host.expandAliases(binding.type) : null;
+        if (expanded?.kind === "named" && webEventTypeNames.has(expanded.name)) {
+            host.diagnostics.push(diagnostic("VEL5019", `A VelarScript event object carries typed event fields only and has no '${expression.property}': read the element's value through a two-way binding instead — 'bind:value={name}' binds a state name, and 'bind:value={form.field}' or 'bind:value={items[0]}' binds a writable path inside state`, expression.span));
+            return invalidType;
+        }
+    }
+    return undefined;
+}
+/** The two Web expressions that are a value rather than a walk: a misplaced Look hook, and a unit literal. */
+export function webExtensionValueType(host, expression) {
+    if (isWebExpression(expression) && expression.kind === "ExtensionExpression:web:look-hook") {
+        host.diagnostics.push(diagnostic("VEL5038", `Look hook '@${expression.name}' is only valid inside a Look condition`, expression.span));
+        return boolType;
+    }
+    if (isWebUnit(expression)) {
+        const type = LOOK_UNIT_TYPES.get(expression.unit);
+        if (type)
+            return { kind: "named", name: type };
+        return unknownType;
+    }
+    return undefined;
+}
+/**
+ * The answers the Web extension already holds for this expression, given back
+ * instead of walking it a second time. Null means the core walk should run.
+ */
+export function answeredBeforeInference(host, expression) {
+    // Operands probed for Look arithmetic are re-requested by the core analyzer immediately after the
+    // probe declines; reusing the probe result (consume-once) keeps operand analysis single-run so
+    // operand diagnostics are not reported twice.
+    const key = spanIdentity(expression.span);
+    const probed = host.probedOperandTypes.get(key);
+    if (probed !== undefined) {
+        host.probedOperandTypes.delete(key);
+        return probed;
+    }
+    if (expression.kind === "CallExpression" && expression.arguments.length === 0
+        && expression.callee.kind === "IdentifierExpression") {
+        host.plainCallSpans.set(spanIdentity(expression.callee.span), expression.span);
+        const called = calledComputedBinding(host, expression);
+        if (called)
+            return called;
+    }
+    if (expression.kind === "IdentifierExpression") {
+        const retired = recordRetiredAccessorRead(host, expression);
+        // The retired name is answered here rather than left to fall through as an
+        // unknown one: the author gets its migration and nothing else, and the
+        // call around it still type-checks against the signature it always had.
+        if (retired)
+            return RETIRED_ACCESSOR_TYPE;
+    }
+    return null;
+}
+/** The compile-time Look length a builder call folds to, or null when the call is not one. */
+export function foldedWebLength(host, expression) {
+    return expression.kind !== "CallExpression" ? null
+        : foldedLengthPercentage(expression, (name) => host.lookBuilderNames.get(name), (argument) => probedSlotType(host, argument), lookJoin);
+}
+/** Infers one builder slot and parks the answer in the probe cache, so the call's own analysis reads it back. */
+export function probedSlotType(host, argument) {
+    const inferred = host.inferExpression(argument);
+    host.probedOperandTypes.set(spanIdentity(argument.span), inferred);
+    return host.expandAliases(inferred);
+}
+/** The two reports a call earns once the core walk has answered its type. */
+export function reportInferredWebCall(host, expression, result) {
+    if (expression.kind !== "CallExpression")
+        return;
+    checkLookBuilderCall(host, expression);
+    checkDomIdPrefix(host, expression);
+    // D114 0.29.0 LC-D1: the manifest this build bakes in, proved against the declared type.
+    const report = publicConfigDiagnostic(expression, result, host.publicConfigNames, host.webPublicConfig, { expandAliases: (type) => host.expandAliases(type), fieldsOf: (identity) => host.fieldsOf(identity), describeType });
+    if (report)
+        host.diagnostics.push(report);
+}
+/** A target-owned contract consuming Core's lexical scalar facts. */
+function checkDomIdPrefix(host, expression) {
+    if (expression.callee.kind !== "IdentifierExpression")
+        return;
+    const origin = host.importedMemberOf(expression.callee.name);
+    if (origin?.source !== "velar/web" || origin.imported !== "domId")
+        return;
+    const argument = host.resolvedCallArgument(expression, 0);
+    if (!argument)
+        return;
+    const prefix = host.constantValue(argument);
+    if (typeof prefix !== "string")
+        return;
+    const message = prefix.length > 64 ? "DOM ID prefixes cannot exceed 64 characters"
+        : !/^[A-Za-z][A-Za-z0-9_-]*$/u.test(prefix)
+            ? "DOM ID prefixes must start with a letter and contain only letters, numbers, underscores, or hyphens"
+            : null;
+    if (message)
+        host.typeError(message, argument.span);
+}
+export function inferWebExtensionCall(host, callee, arguments_, argumentNames, callSpan) {
+    if (!isWebComponentType(callee))
+        return undefined;
+    host.typeError(componentCallRefusal(webComponentName(callee), arguments_, argumentNames, host.webSourceText), callSpan);
+    for (const argument of arguments_)
+        host.inferExpression(argument);
+    return webNodeType;
+}
+export function validateWebExtensionTypeSyntax(host, syntax, validate, resolve) {
+    if (syntax.kind !== "GenericTypeSyntax" || syntax.name !== "Component")
+        return undefined;
+    let valid = true;
+    if (syntax.arguments.length < 1 || syntax.arguments.length > 2) {
+        host.typeError("Component<Props, Handle> requires a named prop signature and at most one Handle type", syntax.span);
+        valid = false;
+    }
+    const argumentsValid = syntax.arguments.map(validate).every(Boolean);
+    const signature = syntax.arguments[0];
+    if (!signature)
+        return false;
+    if (signature.kind !== "FunctionTypeSyntax") {
+        host.typeError("Component<Props, Handle> requires a named function signature such as Component<(title: string) -> WebNode, DialogHandle>", signature.span);
+        valid = false;
+    }
+    else {
+        const names = new Set();
+        for (const parameter of signature.parameters) {
+            if (!parameter.name) {
+                host.typeError("Every Component signature prop requires a name", parameter.span);
+                valid = false;
+            }
+            else if (names.has(parameter.name)) {
+                host.typeError(`Component signature prop '${parameter.name}' is declared more than once`, parameter.span);
+                valid = false;
+            }
+            else
+                names.add(parameter.name);
+            if (parameter.rest) {
+                host.typeError("Component signatures use named props and cannot declare a rest parameter", parameter.span);
+                valid = false;
+            }
+        }
+        const result = resolve({ syntax: signature.result, span: signature.result.span });
+        if (!isWebNodeType(result)) {
+            host.typeError(`A Component signature must return WebNode, received ${describeType(result)}`, signature.result.span);
+            valid = false;
+        }
+    }
+    const handleSyntax = syntax.arguments[1];
+    if (handleSyntax && argumentsValid) {
+        const handle = host.expandAliases(resolve({ syntax: handleSyntax, span: handleSyntax.span }));
+        const fields = handle.kind === "object"
+            ? handle.fields
+            : handle.kind === "named" ? host.fieldsOf(handle.identity ?? handle.name) : null;
+        if (!fields) {
+            host.typeError(`A Component Handle must be a concrete record type, received ${describeType(handle)}`, handleSyntax.span);
+            valid = false;
+        }
+    }
+    return valid && argumentsValid;
+}
+//# sourceMappingURL=inference.js.map

package/dist/analysis/inference.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference.js","sourceRoot":"","sources":["../../src/analysis/inference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAa,MAAM,uBAAuB,CAAC;AAClD,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,6BAA6B,EAC7B,WAAW,EACX,YAAY,EACZ,WAAW,GAMZ,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,aAAa,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/F,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAyB,MAAM,gBAAgB,CAAC;AACvD,OAAO,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAA0B,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,yBAAyB,EAAE,qBAAqB,EAA4B,MAAM,mCAAmC,CAAC;AAC/H,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAmCnF;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CAAC,IAAmB,EAAE,UAAsB;IACpF,IAAI,UAAU,CAAC,IAAI,KAAK,gBAAgB,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,sBAAsB;WACxF,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,UAAU,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACvF,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,IAAI,IAAI,IAAI,6BAA6B,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,6BAA6B,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7H,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAC9B,SAAS,EACT,2GAA2G,EAC3G,IAAI,CAAC,IAAI,CACV,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,iBAAiB,IAAI,CAAC,UAAU,CAAC,QAAQ,KAAK,GAAG,IAAI,UAAU,CAAC,QAAQ,KAAK,GAAG,CAAC,EAAE,CAAC;QAC1G,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QACzD,IAAI,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,oBAAoB,CAAC,CAAC;YAC7E,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,YAAY,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9E,CAAC;IACD,4EAA4E;IAC5E,wEAAwE;IACxE,uEAAuE;IACvE,IAAI,UAAU,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,UAAU,CAAC,QAAQ,KAAK,KAAK,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,CAAC;WACxG,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC/D,MAAM,cAAc,GAAG,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAClD,MAAM,GAAG,GAAG,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACzG,MAAM,SAAS,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpF,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAC9B,SAAS,EACT,IAAI,UAAU,CAAC,QAAQ,mFAAmF,SAAS,OAAO,GAAG,IAAI,GAAG,eAAe,EACnJ,UAAU,CAAC,IAAI,CAChB,CAAC,CAAC;QACH,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjG,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACnD,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACrD,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1D,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YACtE,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,YAAY,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;QAC1E,CAAC;aAAM,CAAC;YACN,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,KAAK,GAAG,IAAI,UAAU,CAAC,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC3G,MAAM,MAAM,GAAG,QAAQ;mBAClB,CAAC,CAAC,UAAU,CAAC,QAAQ,KAAK,GAAG,IAAI,UAAU,CAAC,QAAQ,KAAK,GAAG,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;mBAClI,CAAC,UAAU,CAAC,QAAQ,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACxG,IAAI,MAAM,EAAE,CAAC;gBACX,+DAA+D;gBAC/D,oEAAoE;gBACpE,IAAI,UAAU,CAAC,QAAQ,KAAK,GAAG,IAAI,eAAe,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;oBACrE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,4CAA4C,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;oBAC5G,OAAO,WAAW,CAAC;gBACrB,CAAC;gBACD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,oBAAoB,CAAC,CAAC;gBAC7E,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,oEAAoE;YACpE,wEAAwE;YACxE,mDAAmD;YACnD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,sCAAsC,UAAU,CAAC,QAAQ,QAAQ,YAAY,CAAC,IAAI,CAAC,QAAQ,YAAY,CAAC,KAAK,CAAC,EAAE,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;YAChL,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;IACD,0EAA0E;IAC1E,4EAA4E;IAC5E,2EAA2E;IAC3E,0EAA0E;IAC1E,IAAI,UAAU,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,UAAU,CAAC,QAAQ,IAAI,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC;WAC5G,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QACvD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACnE,IAAI,QAAQ,EAAE,IAAI,KAAK,OAAO,IAAI,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACvE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAC9B,SAAS,EACT,0EAA0E,UAAU,CAAC,QAAQ,qMAAqM,EAClS,UAAU,CAAC,IAAI,CAChB,CAAC,CAAC;YACH,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,8GAA8G;AAC9G,MAAM,UAAU,qBAAqB,CAAC,IAAmB,EAAE,UAAsB;IAC/E,IAAI,eAAe,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,KAAK,mCAAmC,EAAE,CAAC;QAC3F,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,eAAe,UAAU,CAAC,IAAI,yCAAyC,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QACvI,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,IAAI;YAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC/C,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAAmB,EAAE,UAAsB;IACjF,kGAAkG;IAClG,+FAA+F;IAC/F,8CAA8C;IAC9C,MAAM,GAAG,GAAG,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACpC,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,gBAAgB,IAAI,UAAU,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;WACxE,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QACvD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QAC/E,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACvD,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC5B,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC/C,MAAM,OAAO,GAAG,yBAAyB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC5D,2EAA2E;QAC3E,uEAAuE;QACvE,wEAAwE;QACxE,IAAI,OAAO;YAAE,OAAO,qBAAqB,CAAC;IAC5C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,eAAe,CAAC,IAAmB,EAAE,UAAsB;IACzE,OAAO,UAAU,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,IAAI;QAChD,CAAC,CAAC,sBAAsB,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;AAC5I,CAAC;AAED,iHAAiH;AACjH,MAAM,UAAU,cAAc,CAAC,IAAmB,EAAE,QAAoB;IACtE,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;IAChD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;IACnE,OAAO,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;AACtC,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,qBAAqB,CAAC,IAAmB,EAAE,UAAsB,EAAE,MAAiB;IAClG,IAAI,UAAU,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO;IACjD,oBAAoB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACvC,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACnC,yFAAyF;IACzF,MAAM,MAAM,GAAG,sBAAsB,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,iBAAiB,EAAE,IAAI,CAAC,eAAe,EACpG,EAAE,aAAa,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC;IACxH,IAAI,MAAM;QAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5C,CAAC;AAED,qEAAqE;AACrE,SAAS,gBAAgB,CAAC,IAAmB,EAAE,UAA2D;IACxG,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,sBAAsB;QAAE,OAAO;IAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7D,IAAI,MAAM,EAAE,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO;QAAE,OAAO;IAC1E,MAAM,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAC1D,IAAI,CAAC,QAAQ;QAAE,OAAO;IACtB,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC5C,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO;IACvC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,6CAA6C;QAChF,CAAC,CAAC,CAAC,2BAA2B,CAAC,IAAI,CAAC,MAAM,CAAC;YAC3C,CAAC,CAAC,qGAAqG;YACvG,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,OAAO;QAAE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,IAAmB,EACnB,MAA0B,EAC1B,UAAiC,EACjC,aAAqD,EACrD,QAAc;IAEd,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,CAAC,SAAS,CAAC,oBAAoB,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC,EAAE,QAAQ,CAAC,CAAC;IACxH,KAAK,MAAM,QAAQ,IAAI,UAAU;QAAE,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;IAClE,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,IAAmB,EACnB,MAAkB,EAClB,QAAyC,EACzC,OAAgD;IAEhD,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,SAAS,CAAC;IACzF,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/D,IAAI,CAAC,SAAS,CAAC,sFAAsF,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QACpH,KAAK,GAAG,KAAK,CAAC;IAChB,CAAC;IACD,MAAM,cAAc,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACrE,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC;IAC7B,IAAI,SAAS,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAC5C,IAAI,CAAC,SAAS,CAAC,0HAA0H,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;QAC3J,KAAK,GAAG,KAAK,CAAC;IAChB,CAAC;SAAM,CAAC;QACN,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;YAC7C,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;gBACpB,IAAI,CAAC,SAAS,CAAC,gDAAgD,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;gBACjF,KAAK,GAAG,KAAK,CAAC;YAChB,CAAC;iBAAM,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrC,IAAI,CAAC,SAAS,CAAC,6BAA6B,SAAS,CAAC,IAAI,8BAA8B,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;gBAC1G,KAAK,GAAG,KAAK,CAAC;YAChB,CAAC;;gBAAM,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;gBACnB,IAAI,CAAC,SAAS,CAAC,0EAA0E,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;gBAC3G,KAAK,GAAG,KAAK,CAAC;YAChB,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QAClF,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,IAAI,CAAC,SAAS,CAAC,uDAAuD,YAAY,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACrH,KAAK,GAAG,KAAK,CAAC;QAChB,CAAC;IACH,CAAC;IACD,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,YAAY,IAAI,cAAc,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC9F,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,KAAK,QAAQ;YACrC,CAAC,CAAC,MAAM,CAAC,MAAM;YACf,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACnF,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,IAAI,CAAC,SAAS,CAAC,+DAA+D,YAAY,CAAC,MAAM,CAAC,EAAE,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC;YACzH,KAAK,GAAG,KAAK,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,IAAI,cAAc,CAAC;AACjC,CAAC"}

package/dist/analysis/jsx/attributes.d.ts

@@ -0,0 +1,103 @@
+/**
+ * Every attribute a JSX element can carry: the visual directives (`look`,
+ * `look:`, `style:`, `class`), the `bind:` family, the `on:` events and the
+ * `on`-prefixed names a native element reserves, `ref`, `key`, and the native
+ * attribute names and values the DOM and ARIA rosters answer for.
+ *
+ * D115 P4 R3b. `analyzeNativeJsxAttribute` stays the one guarded chain the
+ * order of these rules lives in — the name check sits at its tail so every
+ * directive above owns its own spelling — and the arms whose bodies are long
+ * enough to read on their own are named functions below it.
+ */
+import { type Span } from "@velarscript/compiler";
+import { type Expression, type ValueType } from "@velarscript/compiler/extension";
+import { type WebJsxAttribute as JSXAttribute, type WebJsxElementExpression as JSXElementExpression } from "../../ast.ts";
+import { type JsxAnalysisHost } from "./host.ts";
+export declare function analyzeNativeJsxAttribute(host: JsxAnalysisHost, expression: JSXElementExpression, attribute: JSXAttribute): void;
+/**
+ * The `look=` attribute on either host kind. A Look block written inline is
+ * reported without inferring its entries, so the one directive-level message
+ * stands alone; an empty list names the accepted family rather than rendering
+ * `List<unknown>` (LOK-I3, LOK-I6).
+ */
+export declare function analyzeJsxLookAttribute(host: JsxAnalysisHost, attribute: JSXAttribute): void;
+/**
+ * Composition is how a Look overrides another one: `...baseLook` puts the two
+ * in an order the reader can see, and everything after it wins. Two looks
+ * placed side by side on one element state no order at all, so a property both
+ * of them set has no answer the source gives — the winner used to fall out of
+ * whichever rule the stylesheet happened to carry last. The shape is refused
+ * rather than ordered by fiat, and the refusal names the spelling that states
+ * the order the author meant.
+ */
+export declare function reportIndependentLookCollisions(host: JsxAnalysisHost, value: Extract<Expression, {
+    kind: "ListExpression";
+}>, attribute: JSXAttribute): void;
+export declare function analyzeInlineVisualAttribute(host: JsxAnalysisHost, attribute: JSXAttribute, actual: ValueType, directive: "look" | "style"): void;
+/**
+ * A14: `condition ? "true" : "false"` is the expanded spelling of the Core
+ * text conversion `str(condition)`. Keep that conversion explicit at a DOM
+ * text boundary instead of teaching every attribute its own coercion rule.
+ *
+ * The rule does not reach component props or HTML bool-presence attributes.
+ * A string "false" keeps such an attribute present; accepting that spelling
+ * as canonical would hide a likely presence bug whose direct expression is
+ * the bool itself.
+ */
+export declare function adviseNativeBooleanTextConversion(host: JsxAnalysisHost, tag: string, attribute: JSXAttribute): void;
+/**
+ * D90 coherence-3: DOM attribute names and ARIA are documented as checked
+ * surfaces, and nothing checked them — `className="panel"` compiled clean and
+ * emitted a dead attribute, while the sibling React reflex `onClick=` on the
+ * same element was already refused. So a model got a clean bill of health on
+ * exactly the half of its React habit that silently breaks the page.
+ *
+ * The rule diagnoses names that are KNOWN wrong, never names that are merely
+ * unknown. HTML lets a document carry attributes no roster can enumerate, so
+ * `foo="bar"`, `data-*`, and a framework's own prefixes stay legal; a false
+ * positive there would block a correct program, which is worse than the
+ * silence it replaces. Three closed rosters answer three closed questions:
+ * the React / JavaScript-property spellings, the ARIA attribute names (ARIA,
+ * unlike HTML, admits no custom names), and the ARIA and role vocabularies.
+ *
+ * D61 bounds the value half. Every native attribute uses the same presence
+ * rule: false/null remove it, true writes an empty value, and strings carry
+ * literal text. A token vocabulary is therefore read only against a string
+ * literal; expression values are runtime questions. A14 separately shortens
+ * an explicit bool-to-text conditional to `str(bool)` when that rewrite is
+ * provably equivalent.
+ *
+ * Returns true when it reported, so the caller does not stack a value-shape
+ * message on an attribute whose name is already answered.
+ */
+export declare function reportNativeAttributeSpelling(host: JsxAnalysisHost, expression: JSXElementExpression, attribute: JSXAttribute): boolean;
+/**
+ * GRM-A4: an event handler runs for effect and returns null. The hole this
+ * closes is `on:click={() => {}}`: after a fat arrow, braces build a record,
+ * never a block, so the empty-record factory used to be accepted as a handler
+ * and silently did nothing on every click.
+ */
+export declare function checkEventHandlerResult(host: JsxAnalysisHost, event: string, value: JSXAttribute["value"], result: ValueType, attributeSpan: Span): void;
+/**
+ * D47 rule 84(A): a bind target is a writable reactive location — a state
+ * name, or a record-field / List-index / Map-key path rooted in one. A
+ * computed accessor, a const, and a function result stay rejected: nothing
+ * would receive the write.
+ */
+export declare function isWritableBindTarget(host: JsxAnalysisHost, value: JSXAttribute["value"]): boolean;
+/**
+ * Walks a member/index path inward to its root state binding, checking every
+ * segment is a writable location: a declared record field, a List element, or
+ * a Map value. Returns the root state name, or null when the path is not a
+ * writable reactive location.
+ */
+export declare function bindPathRoot(host: JsxAnalysisHost, value: Expression): string | null;
+/**
+ * D47 rule 84: `bind:group` binds a set of inputs that share one decision.
+ * A radio group holds the selected input's `value`; a checkbox group holds the
+ * checked values as a List<string>, so checking and unchecking are membership
+ * changes.
+ */
+export declare function analyzeBindGroup(host: JsxAnalysisHost, expression: JSXElementExpression, attribute: JSXAttribute, value: JSXAttribute["value"], inferred: ValueType): void;
+export declare function eventAssignedStateBinding(host: JsxAnalysisHost, value: JSXAttribute["value"]): string | null;
+//# sourceMappingURL=attributes.d.ts.map

package/dist/analysis/jsx/attributes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"attributes.d.ts","sourceRoot":"","sources":["../../../src/analysis/jsx/attributes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAiB,KAAK,IAAI,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,EAAmC,KAAK,UAAU,EAAyF,KAAK,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAC1M,OAAO,EAAE,KAAK,eAAe,IAAI,YAAY,EAAE,KAAK,uBAAuB,IAAI,oBAAoB,EAA0B,MAAM,cAAc,CAAC;AAQlJ,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,WAAW,CAAC;AAGjD,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,oBAAoB,EAAE,SAAS,EAAE,YAAY,GAAG,IAAI,CA6FhI;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,eAAe,EAAE,SAAS,EAAE,YAAY,GAAG,IAAI,CAqB5F;AAED;;;;;;;;GAQG;AACH,wBAAgB,+BAA+B,CAAC,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,OAAO,CAAC,UAAU,EAAE;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,CAAC,EAAE,SAAS,EAAE,YAAY,GAAG,IAAI,CA2B5J;AAED,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,eAAe,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,GAAG,IAAI,CAkBjJ;AAED;;;;;;;;;GASG;AACH,wBAAgB,iCAAiC,CAAC,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,GAAG,IAAI,CA0BnH;AAWD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,6BAA6B,CAAC,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,oBAAoB,EAAE,SAAS,EAAE,YAAY,GAAG,OAAO,CAsFvI;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,IAAI,GAAG,IAAI,CAYxJ;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,GAAG,OAAO,CAIjG;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,UAAU,GAAG,MAAM,GAAG,IAAI,CAsBpF;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,oBAAoB,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,SAAS,GAAG,IAAI,CAqB1K;AAKD,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,GAAG,MAAM,GAAG,IAAI,CAY5G"}