@velarscript/web 0.31.0 → 0.33.0

package/dist/analysis/keyed-rebuild.js

@@ -0,0 +1,299 @@
+/**
+ * D89 A4: a 'map' callback that rebuilds its rows instead of carrying them
+ * over, which is what a keyed list stops recognising — what one rebuild records,
+ * and the module reading that decides whether a helper builds fresh records at
+ * all.
+ *
+ * D115 P4 R3a: the advisory is raised from the analyzer's JSX pass, but every
+ * reading it rests on is a reading of the program, so they read as a module.
+ *
+ * D115 P4 R3c: the four rules that record a rebuild and raise the advisory join
+ * them, over a `KeyedRebuildHost`.
+ */
+import {} from "@velarscript/compiler";
+import { spanIdentity } from "@velarscript/compiler/extension";
+import { isWebStatement } from "../ast.js";
+import { rowFieldPassthrough } from "./jsx-detection.js";
+/**
+ * D89 A4: what a `map` callback rebuilds, when it returns a newly built record
+ * instead of the row it was handed. Null is the non-trigger answer the ruling
+ * names — a callback that returns its parameter, or anything else that is not a
+ * record literal, builds nothing and moves no identity. A record is reported
+ * even when no field can be named, because it is the rebuilt row's own identity
+ * that the keyed list stops recognising, not any one field it carries.
+ *
+ * A conditional is read through because the React spelling nearly always
+ * carries one, `t.id == id ? {...t, done: true} : t`, and its `else` branch is
+ * the returns-the-original case rather than a second shape. A branch that names
+ * a field is preferred, since a suggestion that names one is the whole product.
+ */
+export function keyedRebuiltRecord(body, row) {
+    if (body.kind === "ObjectExpression") {
+        // `{ id: item.id, done: true }` copies the key across and rewrites `done`.
+        // Naming `id` would send the author to write the one field whose value the
+        // keyed list reads, so a field that only carries the row's own value over
+        // is not the field the message is about.
+        for (const property of body.properties) {
+            if (property.kind !== "ObjectProperty")
+                continue;
+            if (rowFieldPassthrough(property.value, row, property.name))
+                continue;
+            return { field: property.name };
+        }
+        // A pure `{...item}` rewrites no field at all; the copy itself is what
+        // moves the row's identity, so there is no field name for the message.
+        return body.properties.length > 0 ? { field: null } : null;
+    }
+    if (body.kind === "ConditionalExpression") {
+        const thenSide = keyedRebuiltRecord(body.thenValue, row);
+        const elseSide = keyedRebuiltRecord(body.elseValue, row);
+        if (thenSide?.field)
+            return thenSide;
+        if (elseSide?.field)
+            return elseSide;
+        return thenSide ?? elseSide;
+    }
+    return null;
+}
+/**
+ * D89 A4, the wider proven shape: every `def` of the module by name, so a
+ * `computed` whose initializer calls one can be read through to what that call
+ * builds. A name declared twice maps to null — two bodies under one name make
+ * the question unanswerable, and an advisory that cannot prove which body runs
+ * stays silent rather than guessing.
+ */
+export function collectModuleFunctions(program) {
+    const functions = new Map();
+    const record = (statements) => {
+        for (const statement of statements) {
+            if (statement.kind === "FunctionDeclaration") {
+                functions.set(statement.name, functions.has(statement.name) ? null : statement);
+                record(statement.body);
+                continue;
+            }
+            if (isWebStatement(statement) && statement.kind === "ExtensionStatement:web:component") {
+                record(statement.body);
+            }
+        }
+    };
+    record(program.body);
+    return functions;
+}
+/** Every name a binding pattern introduces, added to `names`. */
+function collectPatternNames(pattern, names) {
+    if (pattern.kind === "NameBindingPattern") {
+        names.add(pattern.name);
+        return;
+    }
+    if (pattern.kind === "ListBindingPattern") {
+        for (const element of pattern.elements)
+            if (element)
+                collectPatternNames(element, names);
+    }
+    else {
+        for (const entry of pattern.entries)
+            collectPatternNames(entry.pattern, names);
+    }
+    if (pattern.rest)
+        names.add(pattern.rest.name);
+}
+/** True when the expression reads one of `names` anywhere inside it. */
+function readsAnyName(value, names) {
+    if (!value || typeof value !== "object")
+        return false;
+    if (Array.isArray(value))
+        return value.some((item) => readsAnyName(item, names));
+    const record = value;
+    if (record.kind === "IdentifierExpression" && typeof record.name === "string" && names.has(record.name))
+        return true;
+    return Object.values(record).some((child) => readsAnyName(child, names));
+}
+/**
+ * D89 A4, the wider proven shape: whether a `def` answers a list it filled with
+ * freshly constructed records — the `for`/`append` builder that spells the same
+ * churn `list = list.map(item => {…})` spells with `map`, and the spelling the
+ * P2b consumer actually wrote.
+ *
+ * Four things are proven, and any one of them missing leaves the advisory
+ * silent, because the whole product is naming a rebuild that really happens:
+ *
+ * 1. the body's last statement returns a name it declared here, initialized to
+ *    an empty list literal — so the list is the `def`'s own, not one handed in;
+ * 2. every value appended to that list is a record literal, so every element is
+ *    a new value on every call. One `append(row)` of a source record is the
+ *    identity-preserving spelling this advisory teaches, and one member call
+ *    the proof cannot read leaves the whole answer unproven;
+ * 3. at least one such record reads a parameter of the `def` or the binding of
+ *    the `for` that appends it. A builder whose records are constant answers
+ *    the same content every call, so nothing it is derived from can move and
+ *    the `computed` over it never recomputes;
+ * 4. nothing else touches the list — it is built and answered, nothing more.
+ */
+export function buildsFreshRecords(declaration) {
+    const returned = declaration.body.at(-1);
+    if (!returned || returned.kind !== "ReturnStatement" || returned.value?.kind !== "IdentifierExpression")
+        return false;
+    const built = returned.value.name;
+    const local = declaration.body.find((statement) => statement.kind === "VariableDeclaration"
+        && statement.pattern.kind === "NameBindingPattern" && statement.pattern.name === built);
+    if (!local || local.kind !== "VariableDeclaration")
+        return false;
+    if (local.initializer.kind !== "ListExpression" || local.initializer.elements.length > 0)
+        return false;
+    const parameters = new Set(declaration.parameters.map((parameter) => parameter.name));
+    let records = 0;
+    let varying = false;
+    let unproven = false;
+    const walk = (statements, visible) => {
+        for (const statement of statements) {
+            if (statement.kind === "ForStatement") {
+                const inner = new Set(visible);
+                collectPatternNames(statement.pattern, inner);
+                if (statement.secondPattern)
+                    collectPatternNames(statement.secondPattern, inner);
+                walk(statement.body, inner);
+                continue;
+            }
+            if (statement.kind === "IfStatement") {
+                walk(statement.thenBody, visible);
+                walk(statement.elseBody ?? [], visible);
+                continue;
+            }
+            if (statement.kind === "WhileStatement") {
+                walk(statement.body, visible);
+                continue;
+            }
+            if (statement.kind !== "ExpressionStatement")
+                continue;
+            const call = statement.expression;
+            if (call.kind !== "CallExpression" || call.callee.kind !== "MemberExpression")
+                continue;
+            if (call.callee.object.kind !== "IdentifierExpression" || call.callee.object.name !== built)
+                continue;
+            const [appended] = call.arguments;
+            if (call.callee.property !== "append" || !appended || appended.kind !== "ObjectExpression") {
+                unproven = true;
+                continue;
+            }
+            records += 1;
+            if (readsAnyName(appended, visible))
+                varying = true;
+        }
+    };
+    walk(declaration.body, parameters);
+    return !unproven && records > 0 && varying;
+}
+/**
+ * D89 A4: records `list = list.map(item => {…})`, React's immutable update,
+ * where the callback builds a new record rather than changing a field.
+ *
+ * D90 R2 stands — `__velarKeyed` compares identity and that does not move,
+ * and the framework does not accommodate the idiom. This channel is not the
+ * framework taking responsibility; it is the compiler telling the author that
+ * the row he is typing into is about to be destroyed. Nothing is reported
+ * yet: the advisory is owed only if the rewritten list is what a keyed list
+ * renders, and the render usually sits below the update.
+ */
+export function recordKeyedListRebuild(host, statement) {
+    if (statement.kind !== "AssignmentStatement" || statement.operator !== "=")
+        return;
+    if (statement.target.kind !== "IdentifierExpression")
+        return;
+    const value = statement.value;
+    if (value.kind !== "CallExpression" || value.callee.kind !== "MemberExpression" || value.callee.property !== "map")
+        return;
+    // The map has to be over the list being replaced; `rows = source.map(...)`
+    // builds a new list, and a new list has no identity to preserve.
+    if (value.callee.object.kind !== "IdentifierExpression" || value.callee.object.name !== statement.target.name)
+        return;
+    const callback = value.arguments[0];
+    if (!callback || callback.kind !== "ArrowFunctionExpression")
+        return;
+    const [row] = callback.parameters;
+    if (!row || callback.parameters.length !== 1)
+        return;
+    const rebuilt = keyedRebuiltRecord(callback.body, row.name);
+    if (!rebuilt)
+        return;
+    const binding = host.lookup(statement.target.name);
+    if (!binding)
+        return;
+    host.keyedListRebuilds.push({
+        kind: "assignment",
+        source: spanIdentity(binding.span),
+        name: statement.target.name,
+        field: rebuilt.field,
+        span: statement.span,
+    });
+}
+/**
+ * D89 A4, the wider proven shape: the same churn written as a derived value.
+ * `computed rows = source.map(item => {…})` and `computed rows = build(...)`
+ * over a `for`/`append` builder both hand a keyed position a fresh record for
+ * every row on every recompute, which is exactly what the assignment shape
+ * does — the reconciliation wave compiled both and found only one of them
+ * named. It is one advisory with a wider proof, not a second code: the defect,
+ * the consequence, and the suppression are the same.
+ *
+ * A `const` in a component body is deliberately not here. It is constructed
+ * once, so its records never move, and advising it would be a guess rather
+ * than a proof.
+ */
+export function recordDerivedKeyedListRebuild(host, statement) {
+    if (!rebuildsRecordsPerElement(host, statement.initializer))
+        return;
+    host.keyedListRebuilds.push({
+        kind: "derived",
+        source: spanIdentity(statement.span),
+        name: statement.name,
+        field: null,
+        span: statement.span,
+    });
+}
+/**
+ * Whether a derived initializer constructs one fresh record per source
+ * element. Two spellings are proven and everything else is silent: a `map`
+ * whose callback answers a record literal — the same recognizer the
+ * assignment shape uses — and a call to a `def` this module declares whose
+ * whole answer is a list it filled with record literals.
+ */
+export function rebuildsRecordsPerElement(host, value) {
+    if (value.kind !== "CallExpression")
+        return false;
+    if (value.callee.kind === "MemberExpression" && value.callee.property === "map") {
+        const callback = value.arguments[0];
+        if (!callback || callback.kind !== "ArrowFunctionExpression" || callback.parameters.length !== 1)
+            return false;
+        const [row] = callback.parameters;
+        return row !== undefined && keyedRebuiltRecord(callback.body, row.name) !== null;
+    }
+    if (value.callee.kind !== "IdentifierExpression")
+        return false;
+    const declaration = host.moduleFunctions.get(value.callee.name);
+    return declaration !== undefined && declaration !== null && buildsFreshRecords(declaration);
+}
+/**
+ * D89 A4: raises the advisory for the rebuilds whose list a keyed position
+ * really renders. The advisory channel cannot reach `this.diagnostics`, so
+ * nothing here fails a build, changes an emitted byte, or moves a semantic
+ * rule; `// velar-allow A4: <reason>` suppresses it where building the rows is
+ * the only spelling, which a `readonly` list or one API response makes it.
+ */
+export function adviseKeyedListRebuilds(host) {
+    for (const rebuild of host.keyedListRebuilds) {
+        if (!host.keyedListSources.has(rebuild.source))
+            continue;
+        // The keys do not move; the rows do. `__velarKeyed` finds the entry under
+        // the same key and then drops it because the row it holds is no longer
+        // the same value, so a message blaming the key sends an author to check
+        // `id`, find it unchanged, and conclude the advisory is wrong.
+        // A derived value has no row to write: whatever it hands the keyed
+        // position it built itself. The two ways out are to render the rows that
+        // do have an identity, or to carry those same records through.
+        const remedy = rebuild.kind === "derived"
+            ? "A derived value cannot keep rows it builds: render the source rows and change the field on them in place, or carry the source records through instead of constructing new ones."
+            : `Change the field in place instead: '${rebuild.name}[index].${rebuild.field ?? "<field>"} = ...'`;
+        host.advise("A4", `This rebuilds every row of '${rebuild.name}'${rebuild.kind === "derived" ? " on every recompute" : ""}, so every row is a new value and the keyed list that renders '${rebuild.name}' no longer recognises any of them: it destroys and rebuilds all of its children — an input being typed into loses focus. ${remedy}`, rebuild.span);
+    }
+}
+//# sourceMappingURL=keyed-rebuild.js.map

package/dist/analysis/keyed-rebuild.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"keyed-rebuild.js","sourceRoot":"","sources":["../../src/analysis/keyed-rebuild.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAiC,MAAM,uBAAuB,CAAC;AACtE,OAAO,EAAE,YAAY,EAAiE,MAAM,iCAAiC,CAAC;AAC9H,OAAO,EAAE,cAAc,EAAsD,MAAM,WAAW,CAAC;AAC/F,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAEzD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAgB,EAAE,GAAW;IAC9D,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,2EAA2E;QAC3E,2EAA2E;QAC3E,0EAA0E;QAC1E,yCAAyC;QACzC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACvC,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB;gBAAE,SAAS;YACjD,IAAI,mBAAmB,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC;gBAAE,SAAS;YACtE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;QAClC,CAAC;QACD,uEAAuE;QACvE,uEAAuE;QACvE,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QACzD,IAAI,QAAQ,EAAE,KAAK;YAAE,OAAO,QAAQ,CAAC;QACrC,IAAI,QAAQ,EAAE,KAAK;YAAE,OAAO,QAAQ,CAAC;QACrC,OAAO,QAAQ,IAAI,QAAQ,CAAC;IAC9B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAID;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAAgB;IACrD,MAAM,SAAS,GAAG,IAAI,GAAG,EAA+C,CAAC;IACzE,MAAM,MAAM,GAAG,CAAC,UAAgC,EAAQ,EAAE;QACxD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC7C,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;gBAChF,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBACvB,SAAS;YACX,CAAC;YACD,IAAI,cAAc,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,KAAK,kCAAkC,EAAE,CAAC;gBACvF,MAAM,CAAC,SAAS,CAAC,IAA4B,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACrB,OAAO,SAAS,CAAC;AACnB,CAAC;AAID,iEAAiE;AACjE,SAAS,mBAAmB,CAAC,OAA2B,EAAE,KAAkB;IAC1E,IAAI,OAAO,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAC1C,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACxB,OAAO;IACT,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAC1C,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ;YAAE,IAAI,OAAO;gBAAE,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC3F,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,OAAO;YAAE,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,OAAO,CAAC,IAAI;QAAE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACjD,CAAC;AAED,wEAAwE;AACxE,SAAS,YAAY,CAAC,KAAc,EAAE,KAA0B;IAC9D,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACtD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IACjF,MAAM,MAAM,GAAG,KAAgC,CAAC;IAChD,IAAI,MAAM,CAAC,IAAI,KAAK,sBAAsB,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACrH,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,kBAAkB,CAAC,WAAyC;IAC1E,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,iBAAiB,IAAI,QAAQ,CAAC,KAAK,EAAE,IAAI,KAAK,sBAAsB;QAAE,OAAO,KAAK,CAAC;IACtH,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;IAClC,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,qBAAqB;WACtF,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,oBAAoB,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;IAC1F,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,qBAAqB;QAAE,OAAO,KAAK,CAAC;IACjE,IAAI,KAAK,CAAC,WAAW,CAAC,IAAI,KAAK,gBAAgB,IAAI,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAEvG,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IACtF,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,MAAM,IAAI,GAAG,CAAC,UAAgC,EAAE,OAA4B,EAAQ,EAAE;QACpF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,IAAI,SAAS,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;gBACtC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC/B,mBAAmB,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBAC9C,IAAI,SAAS,CAAC,aAAa;oBAAE,mBAAmB,CAAC,SAAS,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;gBACjF,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC5B,SAAS;YACX,CAAC;YACD,IAAI,SAAS,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBACrC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;gBAClC,IAAI,CAAC,SAAS,CAAC,QAAQ,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;gBACxC,SAAS;YACX,CAAC;YACD,IAAI,SAAS,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACxC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC9B,SAAS;YACX,CAAC;YACD,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB;gBAAE,SAAS;YACvD,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC;YAClC,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;gBAAE,SAAS;YACxF,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,sBAAsB,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK;gBAAE,SAAS;YACtG,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;YAClC,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBAC3F,QAAQ,GAAG,IAAI,CAAC;gBAChB,SAAS;YACX,CAAC;YACD,OAAO,IAAI,CAAC,CAAC;YACb,IAAI,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC;gBAAE,OAAO,GAAG,IAAI,CAAC;QACtD,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACnC,OAAO,CAAC,QAAQ,IAAI,OAAO,GAAG,CAAC,IAAI,OAAO,CAAC;AAC7C,CAAC;AA2CD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAAsB,EAAE,SAAoB;IACjF,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB,IAAI,SAAS,CAAC,QAAQ,KAAK,GAAG;QAAE,OAAO;IACnF,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,sBAAsB;QAAE,OAAO;IAC7D,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC;IAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,KAAK,KAAK;QAAE,OAAO;IAC3H,2EAA2E;IAC3E,iEAAiE;IACjE,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,sBAAsB,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM,CAAC,IAAI;QAAE,OAAO;IACtH,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,yBAAyB;QAAE,OAAO;IACrE,MAAM,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC;IAClC,IAAI,CAAC,GAAG,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACrD,MAAM,OAAO,GAAG,kBAAkB,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5D,IAAI,CAAC,OAAO;QAAE,OAAO;IACrB,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,CAAC,OAAO;QAAE,OAAO;IACrB,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAC1B,IAAI,EAAE,YAAY;QAClB,MAAM,EAAE,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;QAClC,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI;QAC3B,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,IAAI,EAAE,SAAS,CAAC,IAAI;KACrB,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,6BAA6B,CAAC,IAAsB,EAAE,SAA8B;IAClG,IAAI,CAAC,yBAAyB,CAAC,IAAI,EAAE,SAAS,CAAC,WAAW,CAAC;QAAE,OAAO;IACpE,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAC1B,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC;QACpC,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,KAAK,EAAE,IAAI;QACX,IAAI,EAAE,SAAS,CAAC,IAAI;KACrB,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CAAC,IAAsB,EAAE,KAAiB;IACjF,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,KAAK,CAAC;IAClD,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;QAChF,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,yBAAyB,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/G,MAAM,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC;QAClC,OAAO,GAAG,KAAK,SAAS,IAAI,kBAAkB,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;IACnF,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,sBAAsB;QAAE,OAAO,KAAK,CAAC;IAC/D,MAAM,WAAW,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAChE,OAAO,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,IAAI,IAAI,kBAAkB,CAAC,WAAW,CAAC,CAAC;AAC9F,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAAsB;IAC5D,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC7C,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,SAAS;QACzD,0EAA0E;QAC1E,uEAAuE;QACvE,wEAAwE;QACxE,+DAA+D;QAC/D,mEAAmE;QACnE,yEAAyE;QACzE,+DAA+D;QAC/D,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,KAAK,SAAS;YACvC,CAAC,CAAC,iLAAiL;YACnL,CAAC,CAAC,uCAAuC,OAAO,CAAC,IAAI,WAAW,OAAO,CAAC,KAAK,IAAI,SAAS,SAAS,CAAC;QACtG,IAAI,CAAC,MAAM,CACT,IAAI,EACJ,+BAA+B,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,kEAAkE,OAAO,CAAC,IAAI,6HAA6H,MAAM,EAAE,EACzT,OAAO,CAAC,IAAI,CACb,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/analysis/keyframes-analysis.d.ts

@@ -0,0 +1,6 @@
+import { type Expression } from "@velarscript/compiler/extension";
+import { type WebKeyframesExpression } from "../ast.ts";
+import { type LookAnalysisHost } from "./look/host.ts";
+export declare function analyzeKeyframes(host: LookAnalysisHost, expression: WebKeyframesExpression): void;
+export declare function reportKeyframeSnapshotReads(host: LookAnalysisHost, expression: Expression): void;
+//# sourceMappingURL=keyframes-analysis.d.ts.map

package/dist/analysis/keyframes-analysis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"keyframes-analysis.d.ts","sourceRoot":"","sources":["../../src/analysis/keyframes-analysis.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,KAAK,UAAU,EAAc,MAAM,iCAAiC,CAAC;AAC9E,OAAO,EAAE,KAAK,sBAAsB,EAAE,MAAM,WAAW,CAAC;AAMxD,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAIvD,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,sBAAsB,GAAG,IAAI,CAkCjG;AAED,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,UAAU,GAAG,IAAI,CAmBhG"}

package/dist/analysis/keyframes-analysis.js

@@ -0,0 +1,79 @@
+/**
+ * The analysis half of `keyframes:` — the stops, their offsets, and the Look
+ * values each stop carries.
+ *
+ * D115 P4 R3b. It reads the same `LookAnalysisHost` the `look/` family does,
+ * because a keyframe stop is a Look value in a position that has no run time:
+ * every builder call in it is folded at compile time, so a call the builder
+ * check already refused drops its consequence here rather than reporting twice.
+ * Named apart from `../keyframes.ts`, which is the CSS lowering.
+ */
+import {} from "@velarscript/compiler";
+import { stringType } from "@velarscript/compiler/extension";
+import {} from "../ast.js";
+import { keyframeCssValue } from "../keyframes.js";
+import { LOOK_NON_ANIMATABLE_PROPERTIES } from "../look.js";
+import { lookLiteralZero, mentionsLookUnitType } from "./look-sites.js";
+import { refusedBuilderCallWithin } from "./look/builders.js";
+import { analyzeLookValue } from "./look/entries.js";
+import {} from "./look/host.js";
+import { reportLookNumberWithoutUnit } from "./look/values.js";
+import { diagnostic, LOOK_PROPERTY_TYPES } from "./web-types.js";
+export function analyzeKeyframes(host, expression) {
+    for (const stop of expression.stops) {
+        const properties = new Set();
+        for (const entry of stop.entries) {
+            if (properties.has(entry.name)) {
+                host.diagnostics.push(diagnostic("VEL5039", `Keyframe property '${entry.name}' is defined more than once at the same stop`, entry.span));
+                continue;
+            }
+            properties.add(entry.name);
+            if (LOOK_NON_ANIMATABLE_PROPERTIES.has(entry.name)) {
+                host.diagnostics.push(diagnostic("VEL5060", `Look property '${entry.name}' does not participate in animation interpolation`, entry.span));
+                host.inferExpression(entry.value);
+                continue;
+            }
+            if (!analyzeLookValue(host, entry.name, entry.value, entry.span, null))
+                continue;
+            const expected = LOOK_PROPERTY_TYPES.get(entry.name) ?? stringType;
+            const actual = host.inferExpression(entry.value, expected);
+            reportKeyframeSnapshotReads(host, entry.value);
+            // LK-I2: a builder that failed its own argument check has already been told what
+            // is wrong with it, and "does not resolve to static CSS" is only the consequence —
+            // a sentence that sends its author looking for a rule against named arguments in
+            // a stop, which there is not (`spread=2px` in range compiles).
+            if (keyframeCssValue(entry.value, host.lookStatic.values) === null && !refusedBuilderCallWithin(host, entry.value.span)) {
+                host.diagnostics.push(diagnostic("VEL5060", "A keyframe value must resolve to static CSS from literals, unit values, arithmetic, velar/look builders, or const bindings — local or imported — that hold any of those, and the text it resolves to must read as one declaration value: no ';', '{', '}', or '@' outside a string, with parentheses, strings, and comments all closed", entry.value.span));
+            }
+            if (mentionsLookUnitType(expected) && lookLiteralZero(entry.value))
+                continue;
+            if (reportLookNumberWithoutUnit(host, entry.name, actual, expected, entry.value.span))
+                continue;
+            if (actual.kind !== "null" && expected.kind !== "unknown")
+                host.requireAssignable(actual, expected, entry.value.span);
+        }
+    }
+}
+export function reportKeyframeSnapshotReads(host, expression) {
+    const visit = (value) => {
+        if (Array.isArray(value)) {
+            value.forEach(visit);
+            return;
+        }
+        if (!value || typeof value !== "object")
+            return;
+        const record = value;
+        if (record.kind === "IdentifierExpression" && typeof record.name === "string") {
+            const name = record.name;
+            if (host.reactiveBindingKind(name) !== null || host.derivedReactiveRead(name)) {
+                host.diagnostics.push(diagnostic("VEL5060", `Keyframes generate static CSS, so reactive '${name}' cannot be read inside a stop; make animation presence dynamic with look:animation={condition ? animate(frames, 1s) : null}`, record.span));
+            }
+            return;
+        }
+        for (const [key, child] of Object.entries(record))
+            if (key !== "span")
+                visit(child);
+    };
+    visit(expression);
+}
+//# sourceMappingURL=keyframes-analysis.js.map

package/dist/analysis/keyframes-analysis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"keyframes-analysis.js","sourceRoot":"","sources":["../../src/analysis/keyframes-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAa,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAmB,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC9E,OAAO,EAA+B,MAAM,WAAW,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,8BAA8B,EAAE,MAAM,YAAY,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAyB,MAAM,gBAAgB,CAAC;AACvD,OAAO,EAAE,2BAA2B,EAAE,MAAM,kBAAkB,CAAC;AAC/D,OAAO,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAEjE,MAAM,UAAU,gBAAgB,CAAC,IAAsB,EAAE,UAAkC;IACzF,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QACpC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;QACrC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,sBAAsB,KAAK,CAAC,IAAI,8CAA8C,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;gBACzI,SAAS;YACX,CAAC;YACD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC3B,IAAI,8BAA8B,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,kBAAkB,KAAK,CAAC,IAAI,mDAAmD,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC1I,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAClC,SAAS;YACX,CAAC;YACD,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC;gBAAE,SAAS;YACjF,MAAM,QAAQ,GAAG,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC;YACnE,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YAC3D,2BAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/C,iFAAiF;YACjF,mFAAmF;YACnF,iFAAiF;YACjF,+DAA+D;YAC/D,IAAI,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,IAAI,IAAI,CAAC,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxH,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAC9B,SAAS,EACT,wUAAwU,EACxU,KAAK,CAAC,KAAK,CAAC,IAAI,CACjB,CAAC,CAAC;YACL,CAAC;YACD,IAAI,oBAAoB,CAAC,QAAQ,CAAC,IAAI,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC;gBAAE,SAAS;YAC7E,IAAI,2BAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,SAAS;YAChG,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS;gBAAE,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACxH,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,IAAsB,EAAE,UAAsB;IACxF,MAAM,KAAK,GAAG,CAAC,KAAc,EAAQ,EAAE;QACrC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAAC,OAAO;QAAC,CAAC;QAC3D,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO;QAChD,MAAM,MAAM,GAAG,KAAgC,CAAC;QAChD,IAAI,MAAM,CAAC,IAAI,KAAK,sBAAsB,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC9E,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;YACzB,IAAI,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9E,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAC9B,SAAS,EACT,+CAA+C,IAAI,8HAA8H,EACjL,MAAM,CAAC,IAAY,CACpB,CAAC,CAAC;YACL,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,IAAI,GAAG,KAAK,MAAM;gBAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACtF,CAAC,CAAC;IACF,KAAK,CAAC,UAAU,CAAC,CAAC;AACpB,CAAC"}

package/dist/analysis/look/builders.d.ts

@@ -0,0 +1,29 @@
+/**
+ * The compile-time half of the velar/look builders: the numeric domains each
+ * one publishes, the animation vocabulary `animate` takes, and the record of
+ * which calls were refused on their own arguments.
+ *
+ * D115 P4 R3b. That record lives with the check that made it because a
+ * `keyframes:` stop lowers its builder calls at compile time — no call survives
+ * to run the runtime guard, so the stop reads what this file already decided
+ * rather than reporting the same argument twice.
+ */
+import { type Span } from "@velarscript/compiler";
+import { type Expression } from "@velarscript/compiler/extension";
+import { type LookAnalysisHost } from "./host.ts";
+/**
+ * LOK-U8: the velar/look builders check their numeric domains at run time, so
+ * a literal out-of-range colour used to compile clean and blank the page on
+ * the first paint. Literal arguments are checked in the same terms while the
+ * module compiles; dynamic arguments keep the runtime guard.
+ */
+export declare function checkLookBuilderCall(host: LookAnalysisHost, expression: Extract<Expression, {
+    kind: "CallExpression";
+}>): void;
+export declare function checkAnimateBuilderCall(host: LookAnalysisHost, expression: Extract<Expression, {
+    kind: "CallExpression";
+}>): void;
+export declare function checkAnimationKeyword(host: LookAnalysisHost, value: Expression | null, name: string, vocabulary: ReadonlySet<string>): void;
+/** Whether a builder call this compile refused on its own arguments lies inside `sourceSpan`. */
+export declare function refusedBuilderCallWithin(host: LookAnalysisHost, sourceSpan: Span): boolean;
+//# sourceMappingURL=builders.d.ts.map

package/dist/analysis/look/builders.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"builders.d.ts","sourceRoot":"","sources":["../../../src/analysis/look/builders.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,KAAK,UAAU,EAAgB,MAAM,iCAAiC,CAAC;AAMhF,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAIlD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,CAAC,GAAG,IAAI,CA8F9H;AAED,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,CAAC,GAAG,IAAI,CAgCjI;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,UAAU,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAK3I;AAED,iGAAiG;AACjG,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,IAAI,GAAG,OAAO,CAE1F"}

package/dist/analysis/look/builders.js

@@ -0,0 +1,174 @@
+/**
+ * The compile-time half of the velar/look builders: the numeric domains each
+ * one publishes, the animation vocabulary `animate` takes, and the record of
+ * which calls were refused on their own arguments.
+ *
+ * D115 P4 R3b. That record lives with the check that made it because a
+ * `keyframes:` stop lowers its builder calls at compile time — no call survives
+ * to run the runtime guard, so the stop reads what this file already decided
+ * rather than reporting the same argument twice.
+ */
+import {} from "@velarscript/compiler";
+import { spanIdentity } from "@velarscript/compiler/extension";
+import { evaluateLookStaticExpression } from "../../look-static.js";
+import { LOOK_ANIMATION_DIRECTIONS, LOOK_ANIMATION_EASINGS, LOOK_ANIMATION_FILLS, LOOK_BORDER_STYLE_NAMES, LOOK_BUILDER_NUMERIC_RANGES, LOOK_BUILDER_SIGNATURES, LOOK_LENGTH_BUILDERS } from "../../look.js";
+import { teachLookFilterSlot, teachLookLengthSlot, teachLookPercentageSlot } from "../look-values.js";
+import { lookDurationLiteral, numericLiteral } from "../look-vocabulary-guidance.js";
+import { diagnostic } from "../web-types.js";
+import {} from "./host.js";
+import { checkLookTokenCall, reportLookColorVarReference } from "./tokens.js";
+import { validateLookStringVocabulary } from "./values.js";
+/**
+ * LOK-U8: the velar/look builders check their numeric domains at run time, so
+ * a literal out-of-range colour used to compile clean and blank the page on
+ * the first paint. Literal arguments are checked in the same terms while the
+ * module compiles; dynamic arguments keep the runtime guard.
+ */
+export function checkLookBuilderCall(host, expression) {
+    const callee = expression.callee.kind === "IdentifierExpression" ? expression.callee.name : "";
+    const builder = host.lookBuilderNames.get(callee);
+    if (!builder)
+        return;
+    const key = spanIdentity(expression.span);
+    if (host.checkedBuilderCalls.has(key))
+        return;
+    host.checkedBuilderCalls.add(key);
+    if (builder === "animate") {
+        checkAnimateBuilderCall(host, expression);
+        return;
+    }
+    if (builder === "token") {
+        checkLookTokenCall(host, expression);
+        return;
+    }
+    const ranges = LOOK_BUILDER_NUMERIC_RANGES.get(builder);
+    // A named argument fills the same slot its positional spelling does, so the
+    // position comes from the builder's own signature — the one table the
+    // module interface, the named-argument arity check, and the `keyframes:`
+    // lowering already derive from. Reading `-1` here instead put every check
+    // in this loop out of reach of the named spelling, not only the range
+    // table: `rgba(0, 0, 0, alpha=2)` compiled clean while `rgba(0, 0, 0, 2)`
+    // was refused.
+    const parameters = LOOK_BUILDER_SIGNATURES.get(builder)?.parameters;
+    // LOK-D3: which slots take a length is the builder's own published type,
+    // read from the binding this call resolved through — the declaration core's
+    // assignability check refused against — and not a second table of positions.
+    const declared = host.expandAliases(host.lookup(callee)?.type ?? { kind: "unknown" });
+    const before = host.diagnostics.length;
+    let taught = false;
+    for (const [index, argument] of expression.arguments.entries()) {
+        const named = expression.argumentNames?.[index] ?? null;
+        const position = named === null ? index : parameters?.indexOf(named) ?? -1;
+        const range = position >= 0 ? ranges?.[position] : undefined;
+        // LOK-U8 completed: a `keyframes:` stop lowers its builder calls at
+        // compile time, so no call survives to run the runtime guard. Reading the
+        // folded value rather than the literal node is what makes the promise
+        // "a computed argument keeps the same check" true where the run time the
+        // charter names does not exist.
+        const folded = evaluateLookStaticExpression(argument, host.lookStatic.values);
+        const literal = folded?.kind === "number" ? folded.value : null;
+        // D114 P6 item 2 (LK-I3): a slot whose domain carries a unit states its
+        // bound in that unit and reads the value out of the unit's own number, so
+        // `hsl(200, 120%, 50%)` is refused in the same VEL5042 wording that
+        // refused `hsl(200, 120, 50)` before the slot became a `Percentage`.
+        const rangeUnit = range?.[3];
+        const ranged = rangeUnit === undefined ? literal
+            : folded?.kind === "unit" && folded.unit === rangeUnit ? folded.value : null;
+        if (range && ranged !== null && (ranged < range[1] || ranged > range[2])) {
+            const unit = rangeUnit ?? "";
+            host.diagnostics.push(diagnostic("VEL5042", `${range[0]} must be from ${range[1]}${unit} through ${range[2]}${unit}; ${builder} received ${ranged}${unit}`, argument.span));
+        }
+        if (rangeUnit === "%" && literal !== null && teachLookPercentageSlot(host.diagnostics, range[0], argument, literal, host.lookStatic.sites))
+            taught = true;
+        const nonNegativeBlur = (builder === "blur" && position === 0) || (builder === "dropShadow" && position === 2);
+        if (nonNegativeBlur && folded?.kind === "unit" && folded.value < 0) {
+            host.diagnostics.push(diagnostic("VEL5042", `${builder} blur cannot be negative`, argument.span));
+        }
+        // LOK-D3, builder half: a unitless number in a length position is dead
+        // CSS exactly as it is on a property — except in a slot whose own type
+        // refuses the number outright, where core's refusal is already the report
+        // and gains the remedy rather than a neighbour.
+        if (LOOK_LENGTH_BUILDERS.has(builder) && literal !== null
+            && teachLookLengthSlot(host.diagnostics, builder, position, declared, argument, literal, host.lookStatic.sites))
+            taught = true;
+        // WB-I1: and a slot whose published type is a `Filter` — `filters`, at
+        // every position its rest parameter collects — teaches the vocabulary that
+        // makes one instead of leaving core's bare refusal to name a type the
+        // author has no way to construct from the message.
+        if (teachLookFilterSlot(host.diagnostics, builder, position, declared, argument))
+            taught = true;
+        if (builder === "border" && position === 2 && argument.kind === "LiteralExpression" && typeof argument.value === "string"
+            && !LOOK_BORDER_STYLE_NAMES.has(argument.value)) {
+            host.diagnostics.push(diagnostic("VEL5042", `Border style '${argument.value}' is not a CSS border style; use one of ${[...LOOK_BORDER_STYLE_NAMES].join(", ")}`, argument.span));
+        }
+        // D60 rule 150 gave `transitionProperty` a real vocabulary and the
+        // charter says the builder takes the same one. It took none, so the
+        // longhand's refusal taught the camelCase spelling the builder accepted
+        // and the browser discarded. Routing the argument through the property's
+        // own checker keeps one vocabulary and one message.
+        if (builder === "transition" && position === 0) {
+            validateLookStringVocabulary(host, "transitionProperty", argument, "The transition builder's property argument");
+        }
+        // D103 rule 4: one spelling. `color(string)` used to be the only checked
+        // Look value that let a design token through, and it let it through as
+        // text nobody read — so the same reference was legal on `color` and
+        // refused on `width`, and the accepting half checked nothing.
+        if (builder === "color" && position === 0)
+            reportLookColorVarReference(host, expression, argument);
+    }
+    if (builder === "tracks" && expression.arguments.length > 1024) {
+        host.diagnostics.push(diagnostic("VEL5042", "tracks cannot contain more than 1024 values", expression.span));
+    }
+    if (builder === "filters" && expression.arguments.length > 64) {
+        host.diagnostics.push(diagnostic("VEL5042", "filters cannot compose more than 64 values", expression.span));
+    }
+    // D114 0.29.0 LK-I2: a call its own argument check refused is recorded so a `keyframes:` stop can drop the consequence. The record is the call rather than the code, because a bad token name and a stop's one-declaration rule are two facts about one value (D103-2) and both are still reported. A slot lesson written *into* core's refusal grows no diagnostic, so it says so itself.
+    if (taught || host.diagnostics.length > before)
+        host.refusedBuilderCalls.push(expression.span);
+}
+export function checkAnimateBuilderCall(host, expression) {
+    const argument = (name, position) => {
+        const named = expression.argumentNames?.findIndex((candidate) => candidate === name) ?? -1;
+        if (named >= 0)
+            return expression.arguments[named] ?? null;
+        const sourceName = expression.argumentNames?.[position];
+        return sourceName === null || sourceName === undefined ? expression.arguments[position] ?? null : null;
+    };
+    const duration = argument("duration", 1);
+    const delay = argument("delay", 3);
+    const count = argument("count", 4);
+    const loop = argument("loop", 5);
+    const easing = argument("easing", 2);
+    const direction = argument("direction", 6);
+    const fill = argument("fill", 7);
+    const durationValue = lookDurationLiteral(duration);
+    const delayValue = lookDurationLiteral(delay);
+    if (durationValue !== null && durationValue <= 0) {
+        host.diagnostics.push(diagnostic("VEL5060", "Animation duration must be greater than zero", duration.span));
+    }
+    if (delayValue !== null && delayValue < 0) {
+        host.diagnostics.push(diagnostic("VEL5060", "Animation delay cannot be negative", delay.span));
+    }
+    const countValue = numericLiteral(count);
+    if (countValue !== null && (!Number.isInteger(countValue) || countValue <= 0 || countValue > 1_000_000)) {
+        host.diagnostics.push(diagnostic("VEL5060", "Animation count must be a positive integer no greater than 1000000", count.span));
+    }
+    if (count && loop) {
+        host.diagnostics.push(diagnostic("VEL5060", "animate accepts either count or loop, not both: count names the number of runs, and loop=true replaces that count with an unbounded one", expression.span));
+    }
+    checkAnimationKeyword(host, easing, "easing", LOOK_ANIMATION_EASINGS);
+    checkAnimationKeyword(host, direction, "direction", LOOK_ANIMATION_DIRECTIONS);
+    checkAnimationKeyword(host, fill, "fill", LOOK_ANIMATION_FILLS);
+}
+export function checkAnimationKeyword(host, value, name, vocabulary) {
+    if (!value || value.kind !== "LiteralExpression" || typeof value.value !== "string")
+        return;
+    if (!vocabulary.has(value.value)) {
+        host.diagnostics.push(diagnostic("VEL5060", `Animation ${name} '${value.value}' is not supported; use one of ${[...vocabulary].join(", ")}`, value.span));
+    }
+}
+/** Whether a builder call this compile refused on its own arguments lies inside `sourceSpan`. */
+export function refusedBuilderCallWithin(host, sourceSpan) {
+    return host.refusedBuilderCalls.some((call) => call.start >= sourceSpan.start && call.end <= sourceSpan.end);
+}
+//# sourceMappingURL=builders.js.map

package/dist/analysis/look/builders.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"builders.js","sourceRoot":"","sources":["../../../src/analysis/look/builders.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAa,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAmB,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAChF,OAAO,EAAE,4BAA4B,EAAE,MAAM,sBAAsB,CAAC;AACpE,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,uBAAuB,EAAE,2BAA2B,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAC7M,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AACtG,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AACrF,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAyB,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,kBAAkB,EAAE,2BAA2B,EAAE,MAAM,aAAa,CAAC;AAC9E,OAAO,EAAE,4BAA4B,EAAE,MAAM,aAAa,CAAC;AAE3D;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAsB,EAAE,UAA2D;IACtH,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/F,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAClD,IAAI,CAAC,OAAO;QAAE,OAAO;IACrB,MAAM,GAAG,GAAG,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO;IAC9C,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,uBAAuB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC1C,OAAO;IACT,CAAC;IACD,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QACxB,kBAAkB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACrC,OAAO;IACT,CAAC;IACD,MAAM,MAAM,GAAG,2BAA2B,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACxD,4EAA4E;IAC5E,sEAAsE;IACtE,yEAAyE;IACzE,0EAA0E;IAC1E,sEAAsE;IACtE,0EAA0E;IAC1E,eAAe;IACf,MAAM,UAAU,GAAG,uBAAuB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC;IACpE,yEAAyE;IACzE,4EAA4E;IAC5E,6EAA6E;IAC7E,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IACtF,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;IACvC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,UAAU,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;QAC/D,MAAM,KAAK,GAAG,UAAU,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC;QACxD,MAAM,QAAQ,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3E,MAAM,KAAK,GAAG,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,oEAAoE;QACpE,0EAA0E;QAC1E,sEAAsE;QACtE,yEAAyE;QACzE,gCAAgC;QAChC,MAAM,MAAM,GAAG,4BAA4B,CAAC,QAAQ,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC9E,MAAM,OAAO,GAAG,MAAM,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QAChE,wEAAwE;QACxE,0EAA0E;QAC1E,oEAAoE;QACpE,qEAAqE;QACrE,MAAM,SAAS,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,MAAM,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO;YAC9C,CAAC,CAAC,MAAM,EAAE,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/E,IAAI,KAAK,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACzE,MAAM,IAAI,GAAG,SAAS,IAAI,EAAE,CAAC;YAC7B,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,iBAAiB,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,OAAO,aAAa,MAAM,GAAG,IAAI,EAAE,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9K,CAAC;QACD,IAAI,SAAS,KAAK,GAAG,IAAI,OAAO,KAAK,IAAI,IAAI,uBAAuB,CAAC,IAAI,CAAC,WAAW,EAAE,KAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QAC3J,MAAM,eAAe,GAAG,CAAC,OAAO,KAAK,MAAM,IAAI,QAAQ,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,KAAK,YAAY,IAAI,QAAQ,KAAK,CAAC,CAAC,CAAC;QAC/G,IAAI,eAAe,IAAI,MAAM,EAAE,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YACnE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,GAAG,OAAO,0BAA0B,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QACpG,CAAC;QACD,uEAAuE;QACvE,uEAAuE;QACvE,0EAA0E;QAC1E,gDAAgD;QAChD,IAAI,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,OAAO,KAAK,IAAI;eACpD,mBAAmB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QACjI,uEAAuE;QACvE,2EAA2E;QAC3E,sEAAsE;QACtE,mDAAmD;QACnD,IAAI,mBAAmB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QAChG,IAAI,OAAO,KAAK,QAAQ,IAAI,QAAQ,KAAK,CAAC,IAAI,QAAQ,CAAC,IAAI,KAAK,mBAAmB,IAAI,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ;eACpH,CAAC,uBAAuB,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAClD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,iBAAiB,QAAQ,CAAC,KAAK,2CAA2C,CAAC,GAAG,uBAAuB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QACnL,CAAC;QACD,mEAAmE;QACnE,oEAAoE;QACpE,wEAAwE;QACxE,yEAAyE;QACzE,oDAAoD;QACpD,IAAI,OAAO,KAAK,YAAY,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;YAC/C,4BAA4B,CAAC,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,4CAA4C,CAAC,CAAC;QACnH,CAAC;QACD,yEAAyE;QACzE,uEAAuE;QACvE,oEAAoE;QACpE,8DAA8D;QAC9D,IAAI,OAAO,KAAK,OAAO,IAAI,QAAQ,KAAK,CAAC;YAAE,2BAA2B,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;IACrG,CAAC;IACD,IAAI,OAAO,KAAK,QAAQ,IAAI,UAAU,CAAC,SAAS,CAAC,MAAM,GAAG,IAAI,EAAE,CAAC;QAC/D,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,6CAA6C,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/G,CAAC;IACD,IAAI,OAAO,KAAK,SAAS,IAAI,UAAU,CAAC,SAAS,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QAC9D,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,4CAA4C,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9G,CAAC;IACD,2XAA2X;IAC3X,IAAI,MAAM,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,GAAG,MAAM;QAAE,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;AACjG,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,IAAsB,EAAE,UAA2D;IACzH,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,QAAgB,EAAqB,EAAE;QACrE,MAAM,KAAK,GAAG,UAAU,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3F,IAAI,KAAK,IAAI,CAAC;YAAE,OAAO,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC;QAC3D,MAAM,UAAU,GAAG,UAAU,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,CAAC;QACxD,OAAO,UAAU,KAAK,IAAI,IAAI,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACzG,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACjC,MAAM,aAAa,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,aAAa,KAAK,IAAI,IAAI,aAAa,IAAI,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,8CAA8C,EAAE,QAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/G,CAAC;IACD,IAAI,UAAU,KAAK,IAAI,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,oCAAoC,EAAE,KAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAClG,CAAC;IACD,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,UAAU,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,UAAU,IAAI,CAAC,IAAI,UAAU,GAAG,SAAS,CAAC,EAAE,CAAC;QACxG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,oEAAoE,EAAE,KAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAClI,CAAC;IACD,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;QAClB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,yIAAyI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3M,CAAC;IACD,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,sBAAsB,CAAC,CAAC;IACtE,qBAAqB,CAAC,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,yBAAyB,CAAC,CAAC;IAC/E,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,oBAAoB,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAsB,EAAE,KAAwB,EAAE,IAAY,EAAE,UAA+B;IACnI,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO;IAC5F,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,aAAa,IAAI,KAAK,KAAK,CAAC,KAAK,kCAAkC,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5J,CAAC;AACH,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,wBAAwB,CAAC,IAAsB,EAAE,UAAgB;IAC/E,OAAO,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,UAAU,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC;AAC/G,CAAC"}