@velarscript/web 0.31.0 → 0.32.0

package/dist/analysis/watch-subject.js

@@ -0,0 +1,272 @@
+/**
+ * A watch subject as the author wrote it: the allowlist of shapes a subject may
+ * be, and the reconstruction of one back into the source text a refusal quotes.
+ *
+ * D115 P4 R3a: the reconstruction is a total function over an expression, so it
+ * reads as a module. Its per-kind renderers are named rather than inlined into
+ * one switch, because a reader who arrives asking how a call or an f-string is
+ * printed should be able to be sent to the answer.
+ */
+import {} from "@velarscript/compiler/extension";
+/**
+ * D90 R15(a): a watch subject names a place in the reactive graph — the name of
+ * a `state` or a `computed`, or a read path out of one — and never computes a
+ * value. The rule is written positively, as this allowlist, because that is
+ * what makes the relation between a watch and its source *declared* rather than
+ * inferred; every earlier attempt to infer it was defeated by one more
+ * indirection. A path is legal at any depth and with any index expression:
+ * `rows[i].cells[j]` still selects a place, and whether `i` is a constant or
+ * another state changes nothing about that. An operator or a call derives a new
+ * value instead, and a derived value already has a spelling that names it,
+ * caches it, and declares its dependencies. The conditional is an operator by
+ * the charter's own vocabulary, and an f-string builds a new string, so neither
+ * needs a clause of its own — they simply are not paths.
+ *
+ * Whether the root of a legal path is reactive is a different question, and
+ * `frozenWatchSubject` keeps it: this answers shape only.
+ */
+export function watchSubjectPath(expression) {
+    switch (expression.kind) {
+        case "IdentifierExpression":
+            return true;
+        case "MemberExpression":
+        case "IndexExpression":
+            return watchSubjectPath(expression.object);
+        default:
+            return false;
+    }
+}
+/** The escapes a text literal carries back into source (`scanStringEscape`). */
+const WATCH_SUBJECT_TEXT_ESCAPES = {
+    "\\": "\\\\",
+    "\"": "\\\"",
+    "\n": "\\n",
+    "\r": "\\r",
+    "\t": "\\t",
+};
+/**
+ * A text literal written back as source. `LiteralExpression.raw` holds the
+ * decoded content without its quotes, so echoing it would quote an expression
+ * the author never wrote and hand him a `computed` line that does not compile —
+ * `watch term + "!":` would read back as `term + !`. The quote the author chose
+ * is not on the node, so every text literal reads back double-quoted; that is a
+ * spelling difference, not a meaning one, and it compiles.
+ */
+function renderWatchTextLiteral(value, insideFString) {
+    let text = "";
+    for (const character of value) {
+        const escape = WATCH_SUBJECT_TEXT_ESCAPES[character];
+        if (escape !== undefined) {
+            text += escape;
+            continue;
+        }
+        // `{{` and `}}` are how an f-string carries a brace that is not a hole.
+        if (insideFString && (character === "{" || character === "}")) {
+            text += `${character}${character}`;
+            continue;
+        }
+        const code = character.codePointAt(0);
+        text += code < 0x20 || code === 0x7f ? `\\u{${code.toString(16)}}` : character;
+    }
+    return text;
+}
+function renderWatchSubjectLiteral(expression) {
+    return typeof expression.value === "string" ? `"${renderWatchTextLiteral(expression.value, false)}"` : expression.raw;
+}
+function renderWatchSubjectMember(expression) {
+    const object = renderWatchSubjectOperand(expression.object);
+    return object === null ? null : `${object}${expression.optional ? "?." : "."}${expression.property}`;
+}
+function renderWatchSubjectIndex(expression) {
+    const object = renderWatchSubjectOperand(expression.object);
+    const index = renderWatchSubject(expression.index);
+    return object === null || index === null ? null : `${object}${expression.optional ? "?" : ""}[${index}]`;
+}
+function renderWatchSubjectCall(expression) {
+    const callee = renderWatchSubjectOperand(expression.callee);
+    if (callee === null)
+        return null;
+    const argumentTexts = [];
+    for (const [index, argument] of expression.arguments.entries()) {
+        const rendered = renderWatchSubject(argument);
+        if (rendered === null)
+            return null;
+        const name = expression.argumentNames?.[index] ?? null;
+        argumentTexts.push(name === null ? rendered : `${name} = ${rendered}`);
+    }
+    return `${callee}${expression.optional ? "?" : ""}(${argumentTexts.join(", ")})`;
+}
+function renderWatchSubjectList(expression) {
+    const elements = expression.elements.map((element) => renderWatchSubject(element));
+    if (elements.some((element) => element === null))
+        return null;
+    return `[${elements.join(", ")}]`;
+}
+function renderWatchSubjectObject(expression) {
+    const entries = [];
+    for (const property of expression.properties) {
+        if (property.kind === "ObjectSpread") {
+            const value = renderWatchSubjectOperand(property.value);
+            if (value === null)
+                return null;
+            entries.push(`...${value}`);
+            continue;
+        }
+        if (property.shorthand === true) {
+            entries.push(property.name);
+            continue;
+        }
+        const value = renderWatchSubject(property.value);
+        if (value === null)
+            return null;
+        entries.push(`${property.name}: ${value}`);
+    }
+    return `{${entries.join(", ")}}`;
+}
+function renderWatchSubjectArrow(expression) {
+    // An annotated or defaulted parameter would need a type printer this file
+    // has no business owning; the callback shapes a subject carries do not.
+    if (expression.parameters.some((parameter) => parameter.type !== null || parameter.defaultValue !== null))
+        return null;
+    const body = renderWatchSubject(expression.body);
+    if (body === null)
+        return null;
+    const parameters = expression.parameters.map((parameter) => `${parameter.rest ? "..." : ""}${parameter.name}`);
+    const head = expression.parameters.length === 1 && !expression.parameters[0].rest
+        ? parameters[0]
+        : `(${parameters.join(", ")})`;
+    return `${expression.asynchronous ? "async " : ""}${head} => ${body}`;
+}
+function renderWatchSubjectUnary(expression) {
+    const operand = renderWatchSubjectOperand(expression.operand);
+    if (operand === null)
+        return null;
+    const spaced = expression.operator === "not" || expression.operator === "await";
+    return `${expression.operator}${spaced ? " " : ""}${operand}`;
+}
+function renderWatchSubjectBinary(expression) {
+    const left = renderWatchSubjectOperand(expression.left);
+    const right = renderWatchSubjectOperand(expression.right);
+    if (left === null || right === null)
+        return null;
+    return groupWatchSubject(`${left} ${expression.operator} ${right}`, expression.parenthesized);
+}
+function renderWatchSubjectComparisonChain(expression) {
+    const operands = expression.operands.map((operand) => renderWatchSubjectOperand(operand));
+    const first = operands[0];
+    if (first === undefined || first === null || operands.some((operand) => operand === null))
+        return null;
+    const chain = operands.slice(1).reduce((text, operand, index) => `${text} ${expression.operators[index]} ${operand}`, first);
+    return groupWatchSubject(chain, expression.parenthesized);
+}
+function renderWatchSubjectConditional(expression) {
+    const condition = renderWatchSubjectOperand(expression.condition);
+    const thenValue = renderWatchSubjectOperand(expression.thenValue);
+    const elseValue = renderWatchSubject(expression.elseValue);
+    if (condition === null || thenValue === null || elseValue === null)
+        return null;
+    return `${condition} ? ${thenValue} : ${elseValue}`;
+}
+function renderWatchSubjectIs(expression) {
+    const value = renderWatchSubjectOperand(expression.value);
+    // Only a plain named type reads back as one word; anything generic or
+    // optional would need a type printer this file has no business owning.
+    if (value === null || expression.type.syntax.kind !== "NamedTypeSyntax")
+        return null;
+    return groupWatchSubject(`${value} ${expression.operator} ${expression.type.syntax.name}`, expression.parenthesized);
+}
+function renderWatchSubjectFString(expression) {
+    let text = "";
+    for (const part of expression.parts) {
+        if (part.kind === "text") {
+            text += renderWatchTextLiteral(part.value, true);
+            continue;
+        }
+        const value = renderWatchSubject(part.value);
+        if (value === null)
+            return null;
+        text += `{${value}}`;
+    }
+    return `f"${text}"`;
+}
+/**
+ * The subject as the author wrote it, reconstructed from the AST for exactly
+ * the node kinds a subject can be. The analyzer never sees the module text, and
+ * a refusal that cannot quote what it refused teaches nothing — so the message
+ * quotes this. It is a reconstruction and stays one: it is used in the message
+ * only, never in a `fix`, because rewriting an author's source from a
+ * reconstruction is a worse defect than the one being reported. Null means
+ * "cannot say faithfully", and the message drops the echo rather than guess.
+ *
+ * Faithfulness is the whole point, so grouping is carried across rather than
+ * re-derived: the three nodes that record the author's own parentheses are
+ * printed with them, and the low-precedence nodes that record nothing are
+ * parenthesized wherever a bare printing would re-associate. The reconstruction
+ * therefore parses back to the tree it came from.
+ */
+export function renderWatchSubject(expression) {
+    switch (expression.kind) {
+        case "IdentifierExpression":
+            return expression.name;
+        case "LiteralExpression":
+            return renderWatchSubjectLiteral(expression);
+        case "MemberExpression":
+            return renderWatchSubjectMember(expression);
+        case "IndexExpression":
+            return renderWatchSubjectIndex(expression);
+        case "CallExpression":
+            return renderWatchSubjectCall(expression);
+        case "SpreadExpression": {
+            const value = renderWatchSubjectOperand(expression.value);
+            return value === null ? null : `...${value}`;
+        }
+        case "RequiredExpression": {
+            const value = renderWatchSubjectOperand(expression.value);
+            return value === null ? null : `${value}!`;
+        }
+        case "TryExpression": {
+            const value = renderWatchSubjectOperand(expression.value);
+            return value === null ? null : `try ${value}`;
+        }
+        case "ListExpression":
+            return renderWatchSubjectList(expression);
+        case "ObjectExpression":
+            return renderWatchSubjectObject(expression);
+        case "ArrowFunctionExpression":
+            return renderWatchSubjectArrow(expression);
+        case "UnaryExpression":
+            return renderWatchSubjectUnary(expression);
+        case "BinaryExpression":
+            return renderWatchSubjectBinary(expression);
+        case "ComparisonChainExpression":
+            return renderWatchSubjectComparisonChain(expression);
+        case "ConditionalExpression":
+            return renderWatchSubjectConditional(expression);
+        case "IsExpression":
+            return renderWatchSubjectIs(expression);
+        case "FStringExpression":
+            return renderWatchSubjectFString(expression);
+        default:
+            return null;
+    }
+}
+/**
+ * The same reconstruction in a position where a bare printing would bind
+ * differently than the author's source did — a binary operand, the object of a
+ * member read, the callee of a call. A conditional or an arrow reaches such a
+ * position only through parentheses the author wrote, and neither node records
+ * them, so they are restored here.
+ */
+function renderWatchSubjectOperand(expression) {
+    const rendered = renderWatchSubject(expression);
+    if (rendered === null)
+        return null;
+    return expression.kind === "ConditionalExpression" || expression.kind === "ArrowFunctionExpression"
+        ? `(${rendered})`
+        : rendered;
+}
+/** Restores the parentheses the author wrote, for the three nodes that record them. */
+function groupWatchSubject(rendered, parenthesized) {
+    return parenthesized === true ? `(${rendered})` : rendered;
+}
+//# sourceMappingURL=watch-subject.js.map

package/dist/analysis/watch-subject.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"watch-subject.js","sourceRoot":"","sources":["../../src/analysis/watch-subject.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAmB,MAAM,iCAAiC,CAAC;AAElE;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,gBAAgB,CAAC,UAAsB;IACrD,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,sBAAsB;YACzB,OAAO,IAAI,CAAC;QACd,KAAK,kBAAkB,CAAC;QACxB,KAAK,iBAAiB;YACpB,OAAO,gBAAgB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC7C;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAGD,gFAAgF;AAChF,MAAM,0BAA0B,GAAqC;IACnE,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,KAAK;CACZ,CAAC;AAEF;;;;;;;GAOG;AACH,SAAS,sBAAsB,CAAC,KAAa,EAAE,aAAsB;IACnE,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,KAAK,MAAM,SAAS,IAAI,KAAK,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,0BAA0B,CAAC,SAAS,CAAC,CAAC;QACrD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,IAAI,MAAM,CAAC;YACf,SAAS;QACX,CAAC;QACD,wEAAwE;QACxE,IAAI,aAAa,IAAI,CAAC,SAAS,KAAK,GAAG,IAAI,SAAS,KAAK,GAAG,CAAC,EAAE,CAAC;YAC9D,IAAI,IAAI,GAAG,SAAS,GAAG,SAAS,EAAE,CAAC;YACnC,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;QACvC,IAAI,IAAI,IAAI,GAAG,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;IACjF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAKD,SAAS,yBAAyB,CAAC,UAA+C;IAChF,OAAO,OAAO,UAAU,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,sBAAsB,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;AACxH,CAAC;AAED,SAAS,wBAAwB,CAAC,UAA8C;IAC9E,MAAM,MAAM,GAAG,yBAAyB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC5D,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC;AACvG,CAAC;AAED,SAAS,uBAAuB,CAAC,UAA6C;IAC5E,MAAM,MAAM,GAAG,yBAAyB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,kBAAkB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IACnD,OAAO,MAAM,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG,CAAC;AAC3G,CAAC;AAED,SAAS,sBAAsB,CAAC,UAA4C;IAC1E,MAAM,MAAM,GAAG,yBAAyB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC5D,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,UAAU,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;QAC/D,MAAM,QAAQ,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QAC9C,IAAI,QAAQ,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACnC,MAAM,IAAI,GAAG,UAAU,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC;QACvD,aAAa,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,IAAI,MAAM,QAAQ,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,GAAG,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACnF,CAAC;AAED,SAAS,sBAAsB,CAAC,UAA4C;IAC1E,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC;IACnF,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACpC,CAAC;AAED,SAAS,wBAAwB,CAAC,UAA8C;IAC9E,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC7C,IAAI,QAAQ,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACrC,MAAM,KAAK,GAAG,yBAAyB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACxD,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAChC,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC;YAC5B,SAAS;QACX,CAAC;QACD,IAAI,QAAQ,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;YAChC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC5B,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,kBAAkB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACnC,CAAC;AAED,SAAS,uBAAuB,CAAC,UAAqD;IACpF,0EAA0E;IAC1E,wEAAwE;IACxE,IAAI,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,IAAI,SAAS,CAAC,YAAY,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACvH,MAAM,IAAI,GAAG,kBAAkB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/G,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI;QAChF,CAAC,CAAC,UAAU,CAAC,CAAC,CAAE;QAChB,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACjC,OAAO,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,OAAO,IAAI,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,uBAAuB,CAAC,UAA6C;IAC5E,MAAM,OAAO,GAAG,yBAAyB,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAC9D,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,KAAK,KAAK,IAAI,UAAU,CAAC,QAAQ,KAAK,OAAO,CAAC;IAChF,OAAO,GAAG,UAAU,CAAC,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,CAAC;AAChE,CAAC;AAED,SAAS,wBAAwB,CAAC,UAA8C;IAC9E,MAAM,IAAI,GAAG,yBAAyB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,yBAAyB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC1D,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjD,OAAO,iBAAiB,CAAC,GAAG,IAAI,IAAI,UAAU,CAAC,QAAQ,IAAI,KAAK,EAAE,EAAE,UAAU,CAAC,aAAa,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,iCAAiC,CAAC,UAAuD;IAChG,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1F,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACvG,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAS,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,OAAO,EAAE,EAAE,KAAK,CAAC,CAAC;IACrI,OAAO,iBAAiB,CAAC,KAAK,EAAE,UAAU,CAAC,aAAa,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,6BAA6B,CAAC,UAAmD;IACxF,MAAM,SAAS,GAAG,yBAAyB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,yBAAyB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,kBAAkB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAC3D,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChF,OAAO,GAAG,SAAS,MAAM,SAAS,MAAM,SAAS,EAAE,CAAC;AACtD,CAAC;AAED,SAAS,oBAAoB,CAAC,UAA0C;IACtE,MAAM,KAAK,GAAG,yBAAyB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC1D,sEAAsE;IACtE,uEAAuE;IACvE,IAAI,KAAK,KAAK,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,IAAI,CAAC;IACrF,OAAO,iBAAiB,CAAC,GAAG,KAAK,IAAI,UAAU,CAAC,QAAQ,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,UAAU,CAAC,aAAa,CAAC,CAAC;AACvH,CAAC;AAED,SAAS,yBAAyB,CAAC,UAA+C;IAChF,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QACpC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzB,IAAI,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACjD,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAChC,IAAI,IAAI,IAAI,KAAK,GAAG,CAAC;IACvB,CAAC;IACD,OAAO,KAAK,IAAI,GAAG,CAAC;AACtB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,kBAAkB,CAAC,UAAsB;IACvD,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,sBAAsB;YACzB,OAAO,UAAU,CAAC,IAAI,CAAC;QACzB,KAAK,mBAAmB;YACtB,OAAO,yBAAyB,CAAC,UAAU,CAAC,CAAC;QAC/C,KAAK,kBAAkB;YACrB,OAAO,wBAAwB,CAAC,UAAU,CAAC,CAAC;QAC9C,KAAK,iBAAiB;YACpB,OAAO,uBAAuB,CAAC,UAAU,CAAC,CAAC;QAC7C,KAAK,gBAAgB;YACnB,OAAO,sBAAsB,CAAC,UAAU,CAAC,CAAC;QAC5C,KAAK,kBAAkB,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,yBAAyB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAC1D,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC;QAC/C,CAAC;QACD,KAAK,oBAAoB,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAG,yBAAyB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAC1D,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC;QAC7C,CAAC;QACD,KAAK,eAAe,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,yBAAyB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAC1D,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC;QAChD,CAAC;QACD,KAAK,gBAAgB;YACnB,OAAO,sBAAsB,CAAC,UAAU,CAAC,CAAC;QAC5C,KAAK,kBAAkB;YACrB,OAAO,wBAAwB,CAAC,UAAU,CAAC,CAAC;QAC9C,KAAK,yBAAyB;YAC5B,OAAO,uBAAuB,CAAC,UAAU,CAAC,CAAC;QAC7C,KAAK,iBAAiB;YACpB,OAAO,uBAAuB,CAAC,UAAU,CAAC,CAAC;QAC7C,KAAK,kBAAkB;YACrB,OAAO,wBAAwB,CAAC,UAAU,CAAC,CAAC;QAC9C,KAAK,2BAA2B;YAC9B,OAAO,iCAAiC,CAAC,UAAU,CAAC,CAAC;QACvD,KAAK,uBAAuB;YAC1B,OAAO,6BAA6B,CAAC,UAAU,CAAC,CAAC;QACnD,KAAK,cAAc;YACjB,OAAO,oBAAoB,CAAC,UAAU,CAAC,CAAC;QAC1C,KAAK,mBAAmB;YACtB,OAAO,yBAAyB,CAAC,UAAU,CAAC,CAAC;QAC/C;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,yBAAyB,CAAC,UAAsB;IACvD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAChD,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,UAAU,CAAC,IAAI,KAAK,uBAAuB,IAAI,UAAU,CAAC,IAAI,KAAK,yBAAyB;QACjG,CAAC,CAAC,IAAI,QAAQ,GAAG;QACjB,CAAC,CAAC,QAAQ,CAAC;AACf,CAAC;AAED,uFAAuF;AACvF,SAAS,iBAAiB,CAAC,QAAgB,EAAE,aAA+B;IAC1E,OAAO,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,QAAQ,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC7D,CAAC"}

package/dist/analysis/web-types.d.ts

@@ -0,0 +1,27 @@
+/**
+ * The Web surface's own answers about names: which record a runtime type name
+ * carries, which event type a DOM event name resolves to, which ValueType each
+ * Look property accepts, and the small rosters and sentence builders the
+ * analyzer reads beside them.
+ *
+ * D115 P4 R3a: every one of these is a total function over a name, or the table
+ * one reads. None of them needs the analyzer's walk state, so they read as a
+ * module rather than as 150 lines standing between the analyzer's imports and
+ * its first collaborator.
+ */
+import { type Diagnostic, type DiagnosticFix, type Span } from "@velarscript/compiler";
+import { type ValueType } from "@velarscript/compiler/extension";
+export declare const routeContextIdentity = "@velarscript/web:velar/web#type:RouteContext";
+export declare const removedJsxControlAttributes: Set<string>;
+export declare const nativeDomEventNames: Set<string>;
+export declare const htmlEventHandlerAttributes: Set<string>;
+export declare const textualWebPrimitiveNames: Set<string>;
+export declare const webEventTypeNames: ReadonlySet<string>;
+export declare const webEventDeadFields: Set<string>;
+export declare const diagnostic: (code: string, message: string, sourceSpan: Span, fix?: DiagnosticFix) => Diagnostic;
+export declare const bindTargetGuidance: (directive: string) => string;
+export declare const lookLength: ValueType;
+export declare const LOOK_PROPERTY_TYPES: Map<string, ValueType>;
+export declare function webTypeFields(name: string): ReadonlyMap<string, ValueType> | null;
+export declare function webEventType(name: string): ValueType;
+//# sourceMappingURL=web-types.d.ts.map

package/dist/analysis/web-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"web-types.d.ts","sourceRoot":"","sources":["../../src/analysis/web-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,aAAa,EAAE,KAAK,IAAI,EAAE,MAAM,uBAAuB,CAAC;AACvF,OAAO,EAOL,KAAK,SAAS,EACf,MAAM,iCAAiC,CAAC;AAMzC,eAAO,MAAM,oBAAoB,iDAAiD,CAAC;AAEnF,eAAO,MAAM,2BAA2B,aAAqC,CAAC;AAC9E,eAAO,MAAM,mBAAmB,aAS9B,CAAC;AAWH,eAAO,MAAM,0BAA0B,aAgBrC,CAAC;AACH,eAAO,MAAM,wBAAwB,aAAuG,CAAC;AAE7I,eAAO,MAAM,iBAAiB,qBAAuB,CAAC;AACtD,eAAO,MAAM,kBAAkB,aAA2D,CAAC;AAC3F,eAAO,MAAM,UAAU,SAAU,MAAM,WAAW,MAAM,cAAc,IAAI,QAAQ,aAAa,KAAG,UACZ,CAAC;AACvF,eAAO,MAAM,kBAAkB,cAAe,MAAM,KAAG,MAC0G,CAAC;AAElK,eAAO,MAAM,UAAU,EAAE,SAA6C,CAAC;AAkDvE,eAAO,MAAM,mBAAmB,wBACkC,CAAC;AAEnE,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,IAAI,CA2BjF;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAOpD"}

package/dist/analysis/web-types.js

@@ -0,0 +1,170 @@
+/**
+ * The Web surface's own answers about names: which record a runtime type name
+ * carries, which event type a DOM event name resolves to, which ValueType each
+ * Look property accepts, and the small rosters and sentence builders the
+ * analyzer reads beside them.
+ *
+ * D115 P4 R3a: every one of these is a total function over a name, or the table
+ * one reads. None of them needs the analyzer's walk state, so they read as a
+ * module rather than as 150 lines standing between the analyzer's imports and
+ * its first collaborator.
+ */
+import {} from "@velarscript/compiler";
+import { boolType, nullType, numberType, optionalOf, stringType, unknownType, } from "@velarscript/compiler/extension";
+import { LOOK_PROPERTY_VALUE_KINDS } from "../look.js";
+import { WEB_EVENT_TYPE_NAMES } from "../types.js";
+// probe with this identity so they succeed in modules that use route() without
+// importing RouteContext by name.
+export const routeContextIdentity = "@velarscript/web:velar/web#type:RouteContext";
+export const removedJsxControlAttributes = new Set(["if", "else-if", "else"]);
+export const nativeDomEventNames = new Set([
+    "click", "dblclick", "input", "beforeinput", "change", "submit", "reset", "invalid", "select", "toggle", "close",
+    "keydown", "keyup", "keypress", "focus", "blur", "focusin", "focusout", "scroll", "wheel",
+    "mousedown", "mouseup", "mousemove", "mouseenter", "mouseleave", "mouseover", "mouseout", "contextmenu",
+    "pointerdown", "pointerup", "pointermove", "pointerenter", "pointerleave", "pointerover", "pointerout", "pointercancel",
+    "touchstart", "touchend", "touchmove", "touchcancel",
+    "dragstart", "dragend", "dragover", "dragenter", "dragleave", "drop", "drag",
+    "compositionstart", "compositionupdate", "compositionend",
+    "copy", "cut", "paste", "load", "error", "transitionend", "animationend", "play", "pause", "ended",
+]);
+// The attribute names an element really compiles as script: the browser turns
+// the attribute's text into a function body in the document's origin. This is a
+// different roster from `nativeDomEventNames` above, which answers "is there an
+// `on:` directive worth naming for this remainder". The two used to be one set,
+// so `onanimationstart` was told its name is merely reserved while the browser
+// was compiling it, and before that `onward` was told the reverse. Lookups
+// lowercase the written name, because an HTML attribute name is matched
+// ASCII-case-insensitively. Window-reflecting handlers (`onstorage`,
+// `onmessage`, `onunload`) stay out: they take effect only on `<body>`, so the
+// clause would be false of the element the author actually wrote.
+export const htmlEventHandlerAttributes = new Set([
+    "onabort", "onauxclick", "onbeforeinput", "onbeforematch", "onbeforetoggle", "onblur", "oncancel",
+    "oncanplay", "oncanplaythrough", "onchange", "onclick", "onclose", "oncontextlost", "oncontextmenu",
+    "oncontextrestored", "oncopy", "oncuechange", "oncut", "ondblclick", "ondrag", "ondragend", "ondragenter",
+    "ondragleave", "ondragover", "ondragstart", "ondrop", "ondurationchange", "onemptied", "onended", "onerror",
+    "onfocus", "onformdata", "oninput", "oninvalid", "onkeydown", "onkeypress", "onkeyup", "onload",
+    "onloadeddata", "onloadedmetadata", "onloadstart", "onmousedown", "onmouseenter", "onmouseleave",
+    "onmousemove", "onmouseout", "onmouseover", "onmouseup", "onpaste", "onpause", "onplay", "onplaying",
+    "onprogress", "onratechange", "onreset", "onresize", "onscroll", "onscrollend", "onsecuritypolicyviolation",
+    "onseeked", "onseeking", "onselect", "onslotchange", "onstalled", "onsubmit", "onsuspend", "ontimeupdate",
+    "ontoggle", "onvolumechange", "onwaiting", "onwheel",
+    "onanimationstart", "onanimationend", "onanimationiteration", "onanimationcancel",
+    "ontransitionrun", "ontransitionstart", "ontransitionend", "ontransitioncancel",
+    "onpointerdown", "onpointerup", "onpointermove", "onpointerover", "onpointerout", "onpointerenter",
+    "onpointerleave", "onpointercancel", "ongotpointercapture", "onlostpointercapture",
+    "ontouchstart", "ontouchend", "ontouchmove", "ontouchcancel",
+]);
+export const textualWebPrimitiveNames = new Set(["Length", "Percentage", "LengthPercentage", "TrackFraction", "Color", "Duration", "Angle"]);
+// D72 rule 186: derived from the published table, not restated beside it.
+export const webEventTypeNames = WEB_EVENT_TYPE_NAMES;
+export const webEventDeadFields = new Set(["target", "currentTarget", "value", "checked"]);
+export const diagnostic = (code, message, sourceSpan, fix) => fix ? { code, message, span: sourceSpan, fix } : { code, message, span: sourceSpan };
+export const bindTargetGuidance = (directive) => `${directive} requires a writable reactive location: a state name, or a field or index path on one such as ${directive}={form.name} or ${directive}={items[0]}`;
+export const lookLength = { kind: "named", name: "Length" };
+const lookPercentage = { kind: "named", name: "Percentage" };
+const lookLengthPercentage = { kind: "named", name: "LengthPercentage" };
+// LOK-D3: a length property never accepts a bare number. `width = 100` used to
+// compile and reach CSS as the invalid declaration `width: 100`, which computes
+// to `auto`; the unions below carry only spelled units, and the unitless-legal
+// properties (opacity, zIndex, lineHeight, flex*, order, scale, aspectRatio,
+// fontWeight) keep `number` individually.
+const lookMetric = { kind: "union", members: [lookLength, lookPercentage, lookLengthPercentage] };
+const lookColor = { kind: "named", name: "Color" };
+const lookImage = { kind: "named", name: "Image" };
+const lookBorder = { kind: "named", name: "Border" };
+const lookShadow = { kind: "named", name: "Shadow" };
+const lookFilter = { kind: "named", name: "Filter" };
+const lookDuration = { kind: "named", name: "Duration" };
+const lookAngle = { kind: "named", name: "Angle" };
+const lookTrackList = { kind: "named", name: "TrackList" };
+const lookTransition = { kind: "named", name: "Transition" };
+const lookAnimation = { kind: "named", name: "Animation" };
+const lookSpacing = { kind: "named", name: "Spacing" };
+const lookMetricOrSpacing = { kind: "union", members: [lookMetric, lookSpacing] };
+const lookPropertyType = (kind) => {
+    switch (kind) {
+        case "animation": return { kind: "union", members: [lookAnimation, { kind: "list", element: lookAnimation }] };
+        // D73 rule 187: a published keyword must be reachable. These three kinds
+        // used to type-refuse every string, so `zIndex = "auto"` -- the CSS initial
+        // value -- and the five CSS-wide keywords every other property takes were
+        // refused by the type before the closed set could answer. Accepting the
+        // string is what makes the set they now publish a surface rather than a
+        // promise (D50 rule 92); a value outside the set is still refused, by name.
+        case "angle": return { kind: "union", members: [lookAngle, stringType] };
+        case "background": return { kind: "union", members: [lookColor, lookImage, stringType] };
+        case "border": return { kind: "union", members: [lookBorder, stringType] };
+        case "color": return { kind: "union", members: [lookColor, stringType] };
+        case "duration": return { kind: "union", members: [lookDuration, stringType] };
+        case "image": return { kind: "union", members: [lookImage, stringType] };
+        case "line-height": return { kind: "union", members: [numberType, lookLength, stringType] };
+        case "metric": return { kind: "union", members: [lookMetricOrSpacing, stringType] };
+        case "number": return { kind: "union", members: [numberType, stringType] };
+        case "number-keyword": return { kind: "union", members: [numberType, lookSpacing, stringType] };
+        case "shadow": return { kind: "union", members: [lookShadow, stringType] };
+        case "track": return { kind: "union", members: [lookTrackList, stringType] };
+        case "transition": return { kind: "union", members: [lookTransition, stringType] };
+        case "filter": return { kind: "union", members: [lookFilter, stringType] };
+        case "keyword":
+        case "text":
+        case "transform":
+            return stringType;
+    }
+};
+export const LOOK_PROPERTY_TYPES = new Map([...LOOK_PROPERTY_VALUE_KINDS]
+    .map(([name, kind]) => [name, lookPropertyType(kind)]));
+export function webTypeFields(name) {
+    const functionType = (parameterNames, parameters, result) => ({ kind: "function", parameterNames, parameters, requiredParameters: parameters.length, result });
+    const eventFields = () => new Map([
+        ["type", stringType], ["defaultPrevented", boolType], ["preventDefault", functionType([], [], nullType)], ["stopPropagation", functionType([], [], nullType)],
+    ]);
+    if (name === "Event")
+        return eventFields();
+    // `isComposing` is on `InputEvent` below and belongs here for the same
+    // reason: while an input method is composing, a keystroke is aimed at the
+    // composer's candidate window rather than at the application. An Enter that
+    // commits a candidate arrives as `keydown` with `isComposing` true, and a
+    // handler that sends on Enter without asking sends half a word — which is the
+    // default for every CJK typist rather than an edge case.
+    if (name === "KeyboardEvent")
+        return new Map([...eventFields(), ["key", stringType], ["code", stringType], ["repeat", boolType], ["isComposing", boolType], ["altKey", boolType], ["ctrlKey", boolType], ["metaKey", boolType], ["shiftKey", boolType]]);
+    if (name === "PointerEvent")
+        return new Map([...eventFields(), ["pointerId", numberType], ["pointerType", stringType], ["pressure", numberType], ["button", numberType], ["buttons", numberType], ["clientX", numberType], ["clientY", numberType], ["movementX", numberType], ["movementY", numberType], ["altKey", boolType], ["ctrlKey", boolType], ["metaKey", boolType], ["shiftKey", boolType]]);
+    if (name === "InputEvent")
+        return new Map([...eventFields(), ["data", optionalOf(stringType)], ["inputType", stringType], ["isComposing", boolType]]);
+    if (name === "CompositionEvent")
+        return new Map([...eventFields(), ["data", stringType]]);
+    if (name === "ClipboardEvent")
+        return eventFields();
+    if (name === "Blob")
+        return new Map();
+    if (name === "File")
+        return new Map([["name", stringType], ["size", numberType], ["type", stringType], ["modified", numberType]]);
+    if (name === "Element" || name === "InputElement" || name === "TextAreaElement" || name === "CanvasElement" || name === "DialogElement") {
+        const fields = new Map([["focus", functionType([], [], nullType)], ["remove", functionType([], [], nullType)]]);
+        if (name === "InputElement" || name === "TextAreaElement")
+            fields.set("value", stringType);
+        if (name === "InputElement")
+            fields.set("checked", boolType);
+        if (name === "CanvasElement") {
+            fields.set("width", numberType);
+            fields.set("height", numberType);
+            fields.set("getContext", functionType(["kind"], [stringType], unknownType));
+        }
+        return fields;
+    }
+    return null;
+}
+export function webEventType(name) {
+    if (name === "keydown" || name === "keyup" || name === "keypress")
+        return { kind: "named", name: "KeyboardEvent" };
+    if (["click", "pointerdown", "pointerup", "pointermove", "pointercancel", "pointerover", "pointerout", "pointerenter", "pointerleave"].includes(name))
+        return { kind: "named", name: "PointerEvent" };
+    if (name === "beforeinput" || name === "input")
+        return { kind: "named", name: "InputEvent" };
+    if (name === "compositionstart" || name === "compositionupdate" || name === "compositionend")
+        return { kind: "named", name: "CompositionEvent" };
+    if (name === "copy" || name === "cut" || name === "paste")
+        return { kind: "named", name: "ClipboardEvent" };
+    return { kind: "named", name: "Event" };
+}
+//# sourceMappingURL=web-types.js.map

package/dist/analysis/web-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"web-types.js","sourceRoot":"","sources":["../../src/analysis/web-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAkD,MAAM,uBAAuB,CAAC;AACvF,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,UAAU,EACV,UAAU,EACV,UAAU,EACV,WAAW,GAEZ,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,yBAAyB,EAA8B,MAAM,YAAY,CAAC;AACnF,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAEnD,+EAA+E;AAC/E,kCAAkC;AAClC,MAAM,CAAC,MAAM,oBAAoB,GAAG,8CAA8C,CAAC;AAEnF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;AAC9E,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC;IACzC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO;IAChH,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO;IACzF,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,aAAa;IACvG,aAAa,EAAE,WAAW,EAAE,aAAa,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,YAAY,EAAE,eAAe;IACvH,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa;IACpD,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM;IAC5E,kBAAkB,EAAE,mBAAmB,EAAE,gBAAgB;IACzD,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO;CACnG,CAAC,CAAC;AACH,8EAA8E;AAC9E,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAChF,+EAA+E;AAC/E,2EAA2E;AAC3E,wEAAwE;AACxE,qEAAqE;AACrE,+EAA+E;AAC/E,kEAAkE;AAClE,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAC;IAChD,SAAS,EAAE,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,gBAAgB,EAAE,QAAQ,EAAE,UAAU;IACjG,WAAW,EAAE,kBAAkB,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,eAAe;IACnG,mBAAmB,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa;IACzG,aAAa,EAAE,YAAY,EAAE,aAAa,EAAE,QAAQ,EAAE,kBAAkB,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS;IAC3G,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ;IAC/F,cAAc,EAAE,kBAAkB,EAAE,aAAa,EAAE,aAAa,EAAE,cAAc,EAAE,cAAc;IAChG,aAAa,EAAE,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW;IACpG,YAAY,EAAE,cAAc,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,2BAA2B;IAC3G,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,cAAc,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,cAAc;IACzG,UAAU,EAAE,gBAAgB,EAAE,WAAW,EAAE,SAAS;IACpD,kBAAkB,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,mBAAmB;IACjF,iBAAiB,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,oBAAoB;IAC/E,eAAe,EAAE,aAAa,EAAE,eAAe,EAAE,eAAe,EAAE,cAAc,EAAE,gBAAgB;IAClG,gBAAgB,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,sBAAsB;IAClF,cAAc,EAAE,YAAY,EAAE,aAAa,EAAE,eAAe;CAC7D,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,YAAY,EAAE,kBAAkB,EAAE,eAAe,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;AAC7I,0EAA0E;AAC1E,MAAM,CAAC,MAAM,iBAAiB,GAAG,oBAAoB,CAAC;AACtD,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,eAAe,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;AAC3F,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,OAAe,EAAE,UAAgB,EAAE,GAAmB,EAAc,EAAE,CAC7G,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AACvF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,SAAiB,EAAU,EAAE,CAC9D,GAAG,SAAS,iGAAiG,SAAS,mBAAmB,SAAS,aAAa,CAAC;AAElK,MAAM,CAAC,MAAM,UAAU,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACvE,MAAM,cAAc,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AACxE,MAAM,oBAAoB,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC;AACpF,+EAA+E;AAC/E,gFAAgF;AAChF,+EAA+E;AAC/E,6EAA6E;AAC7E,0CAA0C;AAC1C,MAAM,UAAU,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,cAAc,EAAE,oBAAoB,CAAC,EAAE,CAAC;AAC7G,MAAM,SAAS,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC9D,MAAM,SAAS,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC9D,MAAM,UAAU,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAChE,MAAM,UAAU,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAChE,MAAM,UAAU,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAChE,MAAM,YAAY,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AACpE,MAAM,SAAS,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC9D,MAAM,aAAa,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AACtE,MAAM,cAAc,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AACxE,MAAM,aAAa,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AACtE,MAAM,WAAW,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAClE,MAAM,mBAAmB,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE,CAAC;AAC7F,MAAM,gBAAgB,GAAG,CAAC,IAA2B,EAAa,EAAE;IAClE,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,aAAa,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;QAC/G,yEAAyE;QACzE,4EAA4E;QAC5E,0EAA0E;QAC1E,wEAAwE;QACxE,wEAAwE;QACxE,4EAA4E;QAC5E,KAAK,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,CAAC;QACzE,KAAK,YAAY,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC,EAAE,CAAC;QACzF,KAAK,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;QAC3E,KAAK,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,CAAC;QACzE,KAAK,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,YAAY,EAAE,UAAU,CAAC,EAAE,CAAC;QAC/E,KAAK,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,CAAC;QACzE,KAAK,aAAa,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;QAC5F,KAAK,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,mBAAmB,EAAE,UAAU,CAAC,EAAE,CAAC;QACpF,KAAK,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;QAC3E,KAAK,gBAAgB,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC;QAChG,KAAK,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;QAC3E,KAAK,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,aAAa,EAAE,UAAU,CAAC,EAAE,CAAC;QAC7E,KAAK,YAAY,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,cAAc,EAAE,UAAU,CAAC,EAAE,CAAC;QACnF,KAAK,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;QAC3E,KAAK,SAAS,CAAC;QACf,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW;YACd,OAAO,UAAU,CAAC;IACtB,CAAC;AACH,CAAC,CAAC;AACF,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,yBAAyB,CAAC;KACtE,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAU,CAAC,CAAC,CAAC;AAEnE,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,YAAY,GAAG,CAAC,cAAiC,EAAE,UAAgC,EAAE,MAAiB,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,kBAAkB,EAAE,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC9N,MAAM,WAAW,GAAG,GAA2B,EAAE,CAAC,IAAI,GAAG,CAAC;QACxD,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC,kBAAkB,EAAE,QAAQ,CAAC,EAAE,CAAC,gBAAgB,EAAE,YAAY,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,iBAAiB,EAAE,YAAY,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;KAC9J,CAAC,CAAC;IACH,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,WAAW,EAAE,CAAC;IAC3C,uEAAuE;IACvE,0EAA0E;IAC1E,4EAA4E;IAC5E,0EAA0E;IAC1E,8EAA8E;IAC9E,yDAAyD;IACzD,IAAI,IAAI,KAAK,eAAe;QAAE,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,WAAW,EAAE,EAAE,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,aAAa,EAAE,QAAQ,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzP,IAAI,IAAI,KAAK,cAAc;QAAE,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,WAAW,EAAE,EAAE,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC,aAAa,EAAE,UAAU,CAAC,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvY,IAAI,IAAI,KAAK,YAAY;QAAE,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,WAAW,EAAE,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACtJ,IAAI,IAAI,KAAK,kBAAkB;QAAE,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,WAAW,EAAE,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IAC1F,IAAI,IAAI,KAAK,gBAAgB;QAAE,OAAO,WAAW,EAAE,CAAC;IACpD,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IACtC,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IAClI,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,cAAc,IAAI,IAAI,KAAK,iBAAiB,IAAI,IAAI,KAAK,eAAe,IAAI,IAAI,KAAK,eAAe,EAAE,CAAC;QACxI,MAAM,MAAM,GAAG,IAAI,GAAG,CAAoB,CAAC,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,QAAQ,EAAE,YAAY,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACnI,IAAI,IAAI,KAAK,cAAc,IAAI,IAAI,KAAK,iBAAiB;YAAE,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAC3F,IAAI,IAAI,KAAK,cAAc;YAAE,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC7D,IAAI,IAAI,KAAK,eAAe,EAAE,CAAC;YAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;YAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;YAAC,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;QAAC,CAAC;QACjL,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;IACnH,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,aAAa,EAAE,eAAe,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;IACtM,IAAI,IAAI,KAAK,aAAa,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IAC7F,IAAI,IAAI,KAAK,kBAAkB,IAAI,IAAI,KAAK,mBAAmB,IAAI,IAAI,KAAK,gBAAgB;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC;IACjJ,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;IAC5G,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC1C,CAAC"}