@velarscript/web 0.31.0 → 0.32.0

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

@@ -0,0 +1,13 @@
+/**
+ * The condition half of a Look literal: `if @hover:`, `if viewport.width >
+ * 40rem`, and the media subjects the language publishes.
+ *
+ * D115 P4 R3b. A viewport breakpoint has to resolve at compile time — it
+ * becomes a media query, and a media query has no run time — so the threshold
+ * check reads the module's static Look scope rather than the inferred type.
+ */
+import { type Expression, type ValueType } from "@velarscript/compiler/extension";
+import { type LookAnalysisHost } from "./host.ts";
+export declare function inferLookCondition(host: LookAnalysisHost, expression: Expression): ValueType;
+export declare function checkViewportThreshold(host: LookAnalysisHost, value: Expression): void;
+//# sourceMappingURL=conditions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"conditions.d.ts","sourceRoot":"","sources":["../../../src/analysis/look/conditions.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAY,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAM5F,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAElD,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,UAAU,GAAG,SAAS,CA+D5F;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,UAAU,GAAG,IAAI,CAWtF"}

package/dist/analysis/look/conditions.js

@@ -0,0 +1,84 @@
+/**
+ * The condition half of a Look literal: `if @hover:`, `if viewport.width >
+ * 40rem`, and the media subjects the language publishes.
+ *
+ * D115 P4 R3b. A viewport breakpoint has to resolve at compile time — it
+ * becomes a media query, and a media query has no run time — so the threshold
+ * check reads the module's static Look scope rather than the inferred type.
+ */
+import { boolType } from "@velarscript/compiler/extension";
+import { isWebExpression } from "../../ast.js";
+import { evaluateLookStaticExpression } from "../../look-static.js";
+import { LOOK_ABSENT_MEDIA_SUBJECTS, LOOK_HOOKS, LOOK_MEDIA_LENGTH_UNITS, LOOK_MEDIA_SUBJECTS, LOOK_TARGETS, nearestLookName } from "../../look.js";
+import { flippedViewportComparison, isSchemeCondition, isViewportComparison, lookMediaVocabulary, lookSourceOf, mediaSubjectShape } from "../media-conditions.js";
+import { diagnostic, lookLength } from "../web-types.js";
+import {} from "./host.js";
+export function inferLookCondition(host, expression) {
+    if (isWebExpression(expression) && expression.kind === "ExtensionExpression:web:look-hook") {
+        if (!LOOK_HOOKS.has(expression.name)) {
+            // LOK-I2: the target position redirects a hook to 'if @hook:', so the
+            // condition position redirects a target to its block spelling.
+            const nearest = nearestLookName(expression.name, LOOK_HOOKS);
+            host.diagnostics.push(diagnostic("VEL5038", LOOK_TARGETS.has(expression.name)
+                ? `Use '@${expression.name}:' as a target block; '@${expression.name}' is a pseudo-element target, not an element state condition`
+                : nearest
+                    ? `Unknown Look hook '@${expression.name}'; did you mean '@${nearest}'?`
+                    : `Unknown Look hook '@${expression.name}'; Look hooks are ${[...LOOK_HOOKS].map((name) => `@${name}`).join(", ")}`, expression.span));
+        }
+        return boolType;
+    }
+    if (expression.kind === "UnaryExpression" && expression.operator === "not") {
+        const value = inferLookCondition(host, expression.operand);
+        host.requireCondition(value, expression.operand);
+        return boolType;
+    }
+    if (expression.kind === "BinaryExpression" && (expression.operator === "and" || expression.operator === "or")) {
+        const left = inferLookCondition(host, expression.left);
+        const right = inferLookCondition(host, expression.right);
+        host.requireCondition(left, expression.left);
+        host.requireCondition(right, expression.right);
+        return boolType;
+    }
+    if (isViewportComparison(expression)) {
+        const comparison = expression;
+        host.inferExpression(comparison.right, lookLength);
+        checkViewportThreshold(host, comparison.right);
+        return boolType;
+    }
+    const flipped = flippedViewportComparison(expression);
+    if (flipped) {
+        host.inferExpression(flipped.threshold, lookLength);
+        host.diagnostics.push(diagnostic("VEL5052", `Write the viewport on the left of a breakpoint: 'viewport.${flipped.property} ${flipped.operator} ${lookSourceOf(flipped.threshold)}'`, expression.span));
+        checkViewportThreshold(host, flipped.threshold);
+        return boolType;
+    }
+    if (isSchemeCondition(expression))
+        return boolType;
+    // LOK-U3: the media-subject set is closed. A subject the reader reached for
+    // and Look does not carry names the whole set instead of reporting the
+    // subject as an unknown Core name. A comparison carries its subject on
+    // either side, so both operands are examined.
+    const operands = expression.kind === "BinaryExpression" ? [expression.left, expression.right] : [expression];
+    for (const operand of operands) {
+        const subject = mediaSubjectShape(operand);
+        if (!subject || host.lookup(subject.subject))
+            continue;
+        if (!LOOK_MEDIA_SUBJECTS.has(subject.subject) && !LOOK_ABSENT_MEDIA_SUBJECTS.has(subject.subject))
+            continue;
+        host.diagnostics.push(diagnostic("VEL5038", `Look media conditions are ${lookMediaVocabulary()}; '${subject.subject}.${subject.feature}' is not one of them`, expression.span));
+        return boolType;
+    }
+    const type = host.inferExpression(expression);
+    host.requireCondition(type, expression);
+    return boolType;
+}
+export function checkViewportThreshold(host, value) {
+    const threshold = evaluateLookStaticExpression(value, host.lookStatic.values);
+    if (threshold?.kind !== "unit") {
+        host.diagnostics.push(diagnostic("VEL5052", "A viewport breakpoint must resolve at compile time to a px, rem, or em value; use a const unit token or an imported const unit token", value.span));
+    }
+    else if (!LOOK_MEDIA_LENGTH_UNITS.has(threshold.unit)) {
+        host.diagnostics.push(diagnostic("VEL5052", `Viewport breakpoints do not support '${threshold.unit}'; use px, rem, or em`, value.span));
+    }
+}
+//# sourceMappingURL=conditions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"conditions.js","sourceRoot":"","sources":["../../../src/analysis/look/conditions.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,QAAQ,EAAmC,MAAM,iCAAiC,CAAC;AAC5F,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,4BAA4B,EAAE,MAAM,sBAAsB,CAAC;AACpE,OAAO,EAAE,0BAA0B,EAAE,UAAU,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AACpJ,OAAO,EAAE,yBAAyB,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAClK,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAyB,MAAM,WAAW,CAAC;AAElD,MAAM,UAAU,kBAAkB,CAAC,IAAsB,EAAE,UAAsB;IAC/E,IAAI,eAAe,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,KAAK,mCAAmC,EAAE,CAAC;QAC3F,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,sEAAsE;YACtE,+DAA+D;YAC/D,MAAM,OAAO,GAAG,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAC7D,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;gBAC3E,CAAC,CAAC,SAAS,UAAU,CAAC,IAAI,2BAA2B,UAAU,CAAC,IAAI,8DAA8D;gBAClI,CAAC,CAAC,OAAO;oBACP,CAAC,CAAC,uBAAuB,UAAU,CAAC,IAAI,qBAAqB,OAAO,IAAI;oBACxE,CAAC,CAAC,uBAAuB,UAAU,CAAC,IAAI,qBAAqB,CAAC,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7I,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,iBAAiB,IAAI,UAAU,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;QAC3E,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;QAC3D,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;QACjD,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,UAAU,CAAC,QAAQ,KAAK,KAAK,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,CAAC,EAAE,CAAC;QAC9G,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QACvD,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;QAC/C,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC;QACrC,MAAM,UAAU,GAAG,UAA+D,CAAC;QACnF,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QACnD,sBAAsB,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;QAC/C,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,OAAO,GAAG,yBAAyB,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QACpD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAC9B,SAAS,EACT,6DAA6D,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,IAAI,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,EACvI,UAAU,CAAC,IAAI,CAChB,CAAC,CAAC;QACH,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;QAChD,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,iBAAiB,CAAC,UAAU,CAAC;QAAE,OAAO,QAAQ,CAAC;IACnD,4EAA4E;IAC5E,uEAAuE;IACvE,uEAAuE;IACvE,8CAA8C;IAC9C,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAC7G,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;QAC3C,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,SAAS;QACvD,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,0BAA0B,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,SAAS;QAC5G,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAC9B,SAAS,EACT,6BAA6B,mBAAmB,EAAE,MAAM,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,OAAO,sBAAsB,EAChH,UAAU,CAAC,IAAI,CAChB,CAAC,CAAC;QACH,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;IAC9C,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACxC,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAsB,EAAE,KAAiB;IAC9E,MAAM,SAAS,GAAG,4BAA4B,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC9E,IAAI,SAAS,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;QAC/B,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAC9B,SAAS,EACT,sIAAsI,EACtI,KAAK,CAAC,IAAI,CACX,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,wCAAwC,SAAS,CAAC,IAAI,uBAAuB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1I,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,25 @@
+/**
+ * The three edits a Look diagnostic offers when its remedy names a builder.
+ *
+ * D115 P4 R3b. `values.ts` rewrites a raw CSS filter into the builder that
+ * spells it and `tokens.ts` rewrites a `var(--x)` passthrough into `token()`,
+ * so both need the same two answers — what this module already calls the
+ * builder locally, and the import edit that gives the module the name when it
+ * has none. They live here rather than in either caller because a helper both
+ * read from the other would make the two import each other.
+ */
+import { type DiagnosticEdit } from "@velarscript/compiler";
+import { type Expression } from "@velarscript/compiler/extension";
+import { type LookValueSite } from "../look-sites.ts";
+import { type LookFilterRewrite } from "../look-vocabulary-guidance.ts";
+import { type LookAnalysisHost } from "./host.ts";
+/** Uses an existing alias when present and lists only builders the fix must import. */
+export declare function localizeLookBuilderCall(host: LookAnalysisHost, rewrite: LookFilterRewrite): {
+    readonly call: string;
+    readonly missingImports: readonly string[];
+};
+/** Rewrites either a Look entry expression or the synthetic value of a JSX Look directive. */
+export declare function lookBuilderRewrite(host: LookAnalysisHost, value: Expression, call: string, site: LookValueSite, missingImports: readonly string[]): readonly DiagnosticEdit[];
+/** Adds missing builders to the module's one velar/look import in stable order. */
+export declare function lookBuilderImportEdit(host: LookAnalysisHost, builders: readonly string[]): DiagnosticEdit;
+//# sourceMappingURL=edits.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"edits.d.ts","sourceRoot":"","sources":["../../../src/analysis/look/edits.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAElE,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,KAAK,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAElD,uFAAuF;AACvF,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,iBAAiB,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAUjK;AAED,8FAA8F;AAC9F,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,gBAAgB,EACtB,KAAK,EAAE,UAAU,EACjB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,aAAa,EACnB,cAAc,EAAE,SAAS,MAAM,EAAE,GAChC,SAAS,cAAc,EAAE,CAQ3B;AAED,mFAAmF;AACnF,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,SAAS,MAAM,EAAE,GAAG,cAAc,CAczG"}

package/dist/analysis/look/edits.js

@@ -0,0 +1,57 @@
+/**
+ * The three edits a Look diagnostic offers when its remedy names a builder.
+ *
+ * D115 P4 R3b. `values.ts` rewrites a raw CSS filter into the builder that
+ * spells it and `tokens.ts` rewrites a `var(--x)` passthrough into `token()`,
+ * so both need the same two answers — what this module already calls the
+ * builder locally, and the import edit that gives the module the name when it
+ * has none. They live here rather than in either caller because a helper both
+ * read from the other would make the two import each other.
+ */
+import {} from "@velarscript/compiler";
+import {} from "@velarscript/compiler/extension";
+import { byCodeUnit } from "../../stable-order.js";
+import {} from "../look-sites.js";
+import {} from "../look-vocabulary-guidance.js";
+import {} from "./host.js";
+/** Uses an existing alias when present and lists only builders the fix must import. */
+export function localizeLookBuilderCall(host, rewrite) {
+    let call = rewrite.call;
+    const missingImports = [];
+    for (const builder of rewrite.builders) {
+        const imported = [...host.lookBuilderNames].find(([, candidate]) => candidate === builder);
+        const local = imported?.[0] ?? builder;
+        if (!imported)
+            missingImports.push(builder);
+        call = call.replace(new RegExp(`\\b${builder}(?=\\()`, "gu"), local);
+    }
+    return { call, missingImports };
+}
+/** Rewrites either a Look entry expression or the synthetic value of a JSX Look directive. */
+export function lookBuilderRewrite(host, value, call, site, missingImports) {
+    const wholeAttribute = site.directive !== null
+        && value.span.start === site.entrySpan.start && value.span.end === site.entrySpan.end;
+    const edit = {
+        span: value.span,
+        text: wholeAttribute ? `${site.directive}:${site.property}={${call}}` : call,
+    };
+    return missingImports.length === 0 ? [edit] : [lookBuilderImportEdit(host, missingImports), edit];
+}
+/** Adds missing builders to the module's one velar/look import in stable order. */
+export function lookBuilderImportEdit(host, builders) {
+    const site = host.lookImport ?? { declaration: null, insertAt: 0, leadingBlankLine: true };
+    const existing = site.declaration?.specifiers ?? [];
+    const imported = new Set(existing.map((specifier) => specifier.imported));
+    const specifiers = [
+        ...existing,
+        ...builders.filter((builder) => !imported.has(builder)).map((builder) => ({ imported: builder, local: builder })),
+    ];
+    const line = `import {${specifiers
+        .sort((left, right) => byCodeUnit(left.imported, right.imported))
+        .map((specifier) => specifier.imported === specifier.local ? specifier.imported : `${specifier.imported} as ${specifier.local}`)
+        .join(", ")}} from "velar/look"`;
+    if (site.declaration)
+        return { span: site.declaration.span, text: line };
+    return { span: { start: site.insertAt, end: site.insertAt }, text: site.leadingBlankLine ? `${line}\n\n` : `\n${line}` };
+}
+//# sourceMappingURL=edits.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"edits.js","sourceRoot":"","sources":["../../../src/analysis/look/edits.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAuB,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAmB,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAsB,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAA0B,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAyB,MAAM,WAAW,CAAC;AAElD,uFAAuF;AACvF,MAAM,UAAU,uBAAuB,CAAC,IAAsB,EAAE,OAA0B;IACxF,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IACxB,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,SAAS,KAAK,OAAO,CAAC,CAAC;QAC3F,MAAM,KAAK,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC;QACvC,IAAI,CAAC,QAAQ;YAAE,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,MAAM,OAAO,SAAS,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;AAClC,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,kBAAkB,CAChC,IAAsB,EACtB,KAAiB,EACjB,IAAY,EACZ,IAAmB,EACnB,cAAiC;IAEjC,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,KAAK,IAAI;WACzC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;IACxF,MAAM,IAAI,GAAmB;QAC3B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,SAAU,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI;KAC9E,CAAC;IACF,OAAO,cAAc,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,EAAE,cAAc,CAAC,EAAE,IAAI,CAAC,CAAC;AACpG,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,qBAAqB,CAAC,IAAsB,EAAE,QAA2B;IACvF,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC;IAC3F,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,UAAU,IAAI,EAAE,CAAC;IACpD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC1E,MAAM,UAAU,GAAG;QACjB,GAAG,QAAQ;QACX,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;KAClH,CAAC;IACF,MAAM,IAAI,GAAG,WAAW,UAAU;SAC/B,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;SAChE,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,KAAK,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,QAAQ,OAAO,SAAS,CAAC,KAAK,EAAE,CAAC;SAC/H,IAAI,CAAC,IAAI,CAAC,qBAAqB,CAAC;IACnC,IAAI,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACzE,OAAO,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;AAC3H,CAAC"}

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

@@ -0,0 +1,56 @@
+/**
+ * The walk over a Look literal's entries: composition, conditions, targets, and
+ * the ordinary `property = value` pairs, plus the two rules that read a scope
+ * rather than one entry — duplicate properties and shorthand overlap.
+ *
+ * D115 P4 R3b. LOK-D1 also lives here: a Look literal is constructed once where
+ * it is written, so a reactive read inside one is a snapshot and is rejected
+ * with the two spellings that stay live.
+ */
+import { type Span } from "@velarscript/compiler";
+import { type Expression } from "@velarscript/compiler/extension";
+import { type WebJsxElementExpression as JSXElementExpression, type WebLookExpression } from "../../ast.ts";
+import { type LookAnalysisHost } from "./host.ts";
+export declare function analyzeLookEntries(host: LookAnalysisHost, entries: WebLookExpression["entries"], insideTarget: boolean, nested: boolean, inheritedTerms: number, scopeKey?: string): void;
+/**
+ * LOK-D1: a `look:` literal is constructed once, where it is written. Its
+ * conditions and its values are snapshot positions — a reactive read inside
+ * one compiles cleanly and then never updates, which is the quietest trap in
+ * the visual language. The two spellings that stay live are the JSX
+ * expression position and the `look:property` directive, so the read is
+ * rejected here and both are taught.
+ */
+export declare function reportLookSnapshotReads(host: LookAnalysisHost, expression: Expression): void;
+/**
+ * Records one entry in its lowered scope (condition signature plus target) so
+ * two sibling blocks with the same condition report the property they both
+ * set. Returns false when the entry repeats. LOK-I4: the charter's duplicate
+ * promise used to hold only inside a single indented scope.
+ */
+export declare function recordLookEntry(host: LookAnalysisHost, scopeKey: string, name: string): boolean;
+/**
+ * The vocabulary checks a Look property shares between the block spelling and
+ * the `look:`/`style:` directives. Returns false when the entry is already
+ * reported and its value needs no further checking. LOK-I1: an unrecognized
+ * property no longer co-reports a `stringType` fallback assignment error.
+ */
+export declare function analyzeLookValue(host: LookAnalysisHost, name: string, value: Expression, entrySpan: Span, directive: "look" | "style" | null): boolean;
+/**
+ * D104 rule 2 — the wider half of the promise VEL5039 already made. A
+ * repeated property name is refused because the second entry overwrites the
+ * first and Look has no source order to settle which is meant; a shorthand
+ * beside a longhand it writes is the same defect with two spellings, and it
+ * is the one that hid thirty-six dead declarations in a consumer's shell.
+ * Reports once against the entry that completes the pair.
+ */
+export declare function reportLookShorthandOverlap(host: LookAnalysisHost, scopeKey: string, name: string, span: Span): void;
+/**
+ * The same rule where the properties are written as element directives. A
+ * `look:` directive lowers to exactly the rule a block entry does, so an
+ * element carrying `look:padding` and `look:paddingTop` has the pair in the
+ * same scope as surely as a block does. The `style:` directives are not
+ * checked here: they compose one inline style object, where the browser's own
+ * source order settles the pair.
+ */
+export declare function reportLookDirectiveOverlap(host: LookAnalysisHost, expression: JSXElementExpression): void;
+//# sourceMappingURL=entries.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"entries.d.ts","sourceRoot":"","sources":["../../../src/analysis/look/entries.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,KAAK,UAAU,EAAc,MAAM,iCAAiC,CAAC;AAC9E,OAAO,EAAE,KAAK,uBAAuB,IAAI,oBAAoB,EAAE,KAAK,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAO5G,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAIlD,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,gBAAgB,EACtB,OAAO,EAAE,iBAAiB,CAAC,SAAS,CAAC,EACrC,YAAY,EAAE,OAAO,EACrB,MAAM,EAAE,OAAO,EACf,cAAc,EAAE,MAAM,EACtB,QAAQ,SAAK,GACZ,IAAI,CAsDN;AAED;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,UAAU,GAAG,IAAI,CAuB5F;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAM/F;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,OAAO,CAkDtJ;AAED;;;;;;;GAOG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,CAOnH;AAED;;;;;;;GAOG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,oBAAoB,GAAG,IAAI,CAYzG"}

package/dist/analysis/look/entries.js

@@ -0,0 +1,223 @@
+/**
+ * The walk over a Look literal's entries: composition, conditions, targets, and
+ * the ordinary `property = value` pairs, plus the two rules that read a scope
+ * rather than one entry — duplicate properties and shorthand overlap.
+ *
+ * D115 P4 R3b. LOK-D1 also lives here: a Look literal is constructed once where
+ * it is written, so a reactive read inside one is a snapshot and is rejected
+ * with the two spellings that stay live.
+ */
+import {} from "@velarscript/compiler";
+import { stringType } from "@velarscript/compiler/extension";
+import {} from "../../ast.js";
+import { LOOK_EXCLUDED_PROPERTIES, LOOK_HOOKS, LOOK_PROPERTIES, LOOK_TARGETS, lookShorthandOverlap, nearestLookName } from "../../look.js";
+import { LOOK_CONDITION_TERM_LIMIT, lookConditionKey } from "../look-conditions.js";
+import { lookConditionTermCount, lookLiteralZero, mentionsLookUnitType } from "../look-sites.js";
+import { lookShorthandOverlapMessage, lookShorthandStringGuidance } from "../look-vocabulary-guidance.js";
+import { diagnostic, LOOK_PROPERTY_TYPES } from "../web-types.js";
+import { inferLookCondition } from "./conditions.js";
+import {} from "./host.js";
+import { adviseLookTokenSpelling, isLookTokenCall } from "./tokens.js";
+import { adviseLookFilterSpelling, reportLookNumberWithoutUnit, validateLookStringVocabulary } from "./values.js";
+export function analyzeLookEntries(host, entries, insideTarget, nested, inheritedTerms, scopeKey = "") {
+    for (const entry of entries) {
+        if (entry.kind === "LookSpread") {
+            const type = host.inferExpression(entry.value, { kind: "named", name: "Look" });
+            host.requireAssignable(type, { kind: "named", name: "Look" }, entry.value.span);
+            reportLookSnapshotReads(host, entry.value);
+            if (nested)
+                host.diagnostics.push(diagnostic("VEL5044", "Look composition is only valid at the outer level; compose first, then place the result in a condition or target", entry.span));
+            continue;
+        }
+        if (entry.kind === "LookIf") {
+            inferLookCondition(host, entry.condition);
+            reportLookSnapshotReads(host, entry.condition);
+            const thenTerms = lookConditionTermCount(entry.condition);
+            const elseTerms = lookConditionTermCount(entry.condition, true);
+            if (inheritedTerms * Math.max(thenTerms, elseTerms) > LOOK_CONDITION_TERM_LIMIT) {
+                host.diagnostics.push(diagnostic("VEL5045", `A Look condition may expand to at most ${LOOK_CONDITION_TERM_LIMIT} selector/runtime terms; split this visual decision into ordinary values`, entry.condition.span));
+            }
+            const thenKey = lookConditionKey(entry.condition, false, host.lookStatic.values);
+            const elseKey = lookConditionKey(entry.condition, true, host.lookStatic.values);
+            analyzeLookEntries(host, entry.thenEntries, insideTarget, true, Math.min(LOOK_CONDITION_TERM_LIMIT, inheritedTerms * thenTerms), `${scopeKey}&${thenKey}`);
+            analyzeLookEntries(host, entry.elseEntries, insideTarget, true, Math.min(LOOK_CONDITION_TERM_LIMIT, inheritedTerms * elseTerms), `${scopeKey}&${elseKey}`);
+            continue;
+        }
+        if (entry.kind === "LookTarget") {
+            if (!LOOK_TARGETS.has(entry.name)) {
+                const nearest = nearestLookName(entry.name, LOOK_TARGETS);
+                host.diagnostics.push(diagnostic("VEL5038", LOOK_HOOKS.has(entry.name)
+                    ? `Use 'if @${entry.name}:'; '@${entry.name}' is an element state condition, not a pseudo-element target`
+                    : nearest
+                        ? `Unknown Look target '@${entry.name}'; did you mean '@${nearest}'?`
+                        : `Unknown Look target '@${entry.name}'; Look targets are ${[...LOOK_TARGETS].map((name) => `@${name}`).join(", ")}`, entry.span));
+            }
+            if (insideTarget)
+                host.diagnostics.push(diagnostic("VEL5038", "Look targets cannot be nested", entry.span));
+            // A repeated target is reported once; its body then gets a private scope
+            // so the properties inside are not reported a second time as duplicates.
+            const repeated = !recordLookEntry(host, `${scopeKey}#target`, entry.name);
+            if (repeated)
+                host.diagnostics.push(diagnostic("VEL5039", `Look target '@${entry.name}' is defined more than once in the same scope`, entry.span));
+            analyzeLookEntries(host, entry.entries, true, true, inheritedTerms, repeated ? `${scopeKey}@${entry.name}#${entry.span.start}` : `${scopeKey}@${entry.name}`);
+            continue;
+        }
+        reportLookShorthandOverlap(host, scopeKey, entry.name, entry.span);
+        if (!recordLookEntry(host, scopeKey, entry.name)) {
+            host.diagnostics.push(diagnostic("VEL5039", `Look property '${entry.name}' is defined more than once in the same scope`, entry.span));
+        }
+        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);
+        reportLookSnapshotReads(host, entry.value);
+        // Zero is the one unitless CSS length, so `padding = 0` stays legal while
+        // every other bare number is answered with the unit it needs (LOK-D3).
+        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);
+    }
+}
+/**
+ * LOK-D1: a `look:` literal is constructed once, where it is written. Its
+ * conditions and its values are snapshot positions — a reactive read inside
+ * one compiles cleanly and then never updates, which is the quietest trap in
+ * the visual language. The two spellings that stay live are the JSX
+ * expression position and the `look:property` directive, so the read is
+ * rejected here and both are taught.
+ */
+export function reportLookSnapshotReads(host, expression) {
+    const visit = (value) => {
+        if (Array.isArray(value)) {
+            for (const item of value)
+                visit(item);
+            return;
+        }
+        if (!value || typeof value !== "object")
+            return;
+        const record = value;
+        if (record.kind === "IdentifierExpression" && typeof record.name === "string") {
+            const name = record.name;
+            const reactive = host.reactiveBindingKind(name) !== null || host.derivedReactiveRead(name);
+            if (reactive) {
+                host.diagnostics.push(diagnostic("VEL5058", `A Look literal is built once where it is written, so '${name}' is read as a snapshot and the visual never follows it. Put the reactive decision on the element instead: 'look={${name} ? oneLook : otherLook}' chooses a whole Look, and 'look:property={...}' sets one property`, record.span));
+            }
+            return;
+        }
+        for (const [key, child] of Object.entries(record))
+            if (key !== "span")
+                visit(child);
+    };
+    visit(expression);
+}
+/**
+ * Records one entry in its lowered scope (condition signature plus target) so
+ * two sibling blocks with the same condition report the property they both
+ * set. Returns false when the entry repeats. LOK-I4: the charter's duplicate
+ * promise used to hold only inside a single indented scope.
+ */
+export function recordLookEntry(host, scopeKey, name) {
+    const seen = host.lookEntryScopes.get(scopeKey) ?? new Set();
+    host.lookEntryScopes.set(scopeKey, seen);
+    if (seen.has(name))
+        return false;
+    seen.add(name);
+    return true;
+}
+/**
+ * The vocabulary checks a Look property shares between the block spelling and
+ * the `look:`/`style:` directives. Returns false when the entry is already
+ * reported and its value needs no further checking. LOK-I1: an unrecognized
+ * property no longer co-reports a `stringType` fallback assignment error.
+ */
+export function analyzeLookValue(host, name, value, entrySpan, directive) {
+    const inline = directive !== null;
+    const label = directive === "style" ? "inline Style" : directive === "look" ? "inline Look" : "Look";
+    if (name === "animation" && value.kind === "LiteralExpression" && typeof value.value === "string") {
+        host.diagnostics.push(diagnostic("VEL5038", "Look animation does not accept CSS shorthand text; declare a checked 'keyframes:' value and pass animate(frames, duration, ...) instead", entrySpan));
+        if (!inline)
+            host.inferExpression(value);
+        return false;
+    }
+    // D103 rule 1 meets D49. `animation` is the one Look property whose value
+    // names another rule rather than describing one: the `@keyframes` name in
+    // an animation shorthand. Look owns those names — they are generated from
+    // the `keyframes:` value that defines the motion — so a shorthand arriving
+    // from outside this compile is a reference the compiler can check on
+    // neither side, which is the surface D50 rule 92 calls worse than none. The
+    // type refuses it either way; this replaces a bare union dump with the two
+    // spellings that do work.
+    if (name === "animation" && isLookTokenCall(host, value)) {
+        host.diagnostics.push(diagnostic("VEL5038", "Look animation is the one property a design token cannot carry: an animation value names a '@keyframes' rule, and Look generates those names from the 'keyframes:' value that defines the motion, so a shorthand from a design system names a rule this compile never emitted. Declare a checked 'keyframes:' value and pass animate(frames, duration, ...); token() is legal in every other Look property, and a module-level 'import css unsafe \"./styles.css\" before look' carries a design system's own animation when that boundary is intentional", entrySpan));
+        if (!inline)
+            host.inferExpression(value);
+        return false;
+    }
+    if (!LOOK_PROPERTIES.has(name)) {
+        const nearest = nearestLookName(name, LOOK_PROPERTIES);
+        const exclusion = LOOK_EXCLUDED_PROPERTIES.get(name);
+        host.diagnostics.push(diagnostic("VEL5038", exclusion
+            ? `CSS property '${name}' is outside checked Look: ${exclusion}. Use a module-level 'import css unsafe "./styles.css" before look' when that boundary is intentional`
+            : nearest
+                ? `Unknown ${label} property '${name}'; did you mean '${nearest}'?`
+                : `Unknown ${label} property '${name}'; ${inline ? `${directive}:* uses the same camelCase property names as a Look block` : "Look properties use the DOM camelCase spelling of a CSS property"}`, entrySpan));
+        if (!inline)
+            host.inferExpression(value);
+        return false;
+    }
+    const shorthandGuidance = lookShorthandStringGuidance(name, value);
+    if (shorthandGuidance) {
+        host.diagnostics.push(diagnostic("VEL5038", shorthandGuidance, value.span));
+        return false;
+    }
+    const site = { property: name, entrySpan, directive };
+    adviseLookFilterSpelling(host, name, value, site);
+    adviseLookTokenSpelling(host, name, value, site);
+    if (!validateLookStringVocabulary(host, name, value, undefined, site))
+        return false;
+    return true;
+}
+/**
+ * D104 rule 2 — the wider half of the promise VEL5039 already made. A
+ * repeated property name is refused because the second entry overwrites the
+ * first and Look has no source order to settle which is meant; a shorthand
+ * beside a longhand it writes is the same defect with two spellings, and it
+ * is the one that hid thirty-six dead declarations in a consumer's shell.
+ * Reports once against the entry that completes the pair.
+ */
+export function reportLookShorthandOverlap(host, scopeKey, name, span) {
+    for (const other of host.lookEntryScopes.get(scopeKey) ?? []) {
+        const overlap = lookShorthandOverlap(other, name);
+        if (!overlap)
+            continue;
+        host.diagnostics.push(diagnostic("VEL5039", lookShorthandOverlapMessage(overlap.shorthand, overlap.longhand, "This Look scope"), span));
+        return;
+    }
+}
+/**
+ * The same rule where the properties are written as element directives. A
+ * `look:` directive lowers to exactly the rule a block entry does, so an
+ * element carrying `look:padding` and `look:paddingTop` has the pair in the
+ * same scope as surely as a block does. The `style:` directives are not
+ * checked here: they compose one inline style object, where the browser's own
+ * source order settles the pair.
+ */
+export function reportLookDirectiveOverlap(host, expression) {
+    const written = [];
+    for (const attribute of expression.attributes) {
+        if (!attribute.name.startsWith("look:"))
+            continue;
+        const property = attribute.name.slice("look:".length);
+        if (!LOOK_PROPERTIES.has(property))
+            continue;
+        const overlapping = written.map((other) => lookShorthandOverlap(other, property)).find(Boolean);
+        if (overlapping) {
+            host.diagnostics.push(diagnostic("VEL5039", lookShorthandOverlapMessage(overlapping.shorthand, overlapping.longhand, `Element '<${expression.tag}>'`), attribute.span));
+        }
+        written.push(property);
+    }
+}
+//# sourceMappingURL=entries.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"entries.js","sourceRoot":"","sources":["../../../src/analysis/look/entries.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAa,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAmB,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC9E,OAAO,EAAgF,MAAM,cAAc,CAAC;AAC5G,OAAO,EAAE,wBAAwB,EAAE,UAAU,EAAE,eAAe,EAAE,YAAY,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAC3I,OAAO,EAAE,yBAAyB,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACpF,OAAO,EAAE,sBAAsB,EAAE,eAAe,EAAsB,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AACrH,OAAO,EAAE,2BAA2B,EAAE,2BAA2B,EAAE,MAAM,gCAAgC,CAAC;AAC1G,OAAO,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAyB,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,uBAAuB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACvE,OAAO,EAAE,wBAAwB,EAAE,2BAA2B,EAAE,4BAA4B,EAAE,MAAM,aAAa,CAAC;AAElH,MAAM,UAAU,kBAAkB,CAChC,IAAsB,EACtB,OAAqC,EACrC,YAAqB,EACrB,MAAe,EACf,cAAsB,EACtB,QAAQ,GAAG,EAAE;IAEb,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;YAChF,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAChF,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAC3C,IAAI,MAAM;gBAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,kHAAkH,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YACzL,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;YAC1C,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;YAC/C,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC1D,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YAChE,IAAI,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,yBAAyB,EAAE,CAAC;gBAChF,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,0CAA0C,yBAAyB,0EAA0E,EAAE,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;YACpN,CAAC;YACD,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YACjF,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAChF,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,WAAW,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,yBAAyB,EAAE,cAAc,GAAG,SAAS,CAAC,EAAE,GAAG,QAAQ,IAAI,OAAO,EAAE,CAAC,CAAC;YAC3J,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,WAAW,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,yBAAyB,EAAE,cAAc,GAAG,SAAS,CAAC,EAAE,GAAG,QAAQ,IAAI,OAAO,EAAE,CAAC,CAAC;YAC3J,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAChC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClC,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;gBAC1D,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;oBACpE,CAAC,CAAC,YAAY,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,IAAI,8DAA8D;oBACzG,CAAC,CAAC,OAAO;wBACP,CAAC,CAAC,yBAAyB,KAAK,CAAC,IAAI,qBAAqB,OAAO,IAAI;wBACrE,CAAC,CAAC,yBAAyB,KAAK,CAAC,IAAI,uBAAuB,CAAC,GAAG,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YACzI,CAAC;YACD,IAAI,YAAY;gBAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,+BAA+B,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YAC5G,yEAAyE;YACzE,yEAAyE;YACzE,MAAM,QAAQ,GAAG,CAAC,eAAe,CAAC,IAAI,EAAE,GAAG,QAAQ,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAC1E,IAAI,QAAQ;gBAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,iBAAiB,KAAK,CAAC,IAAI,+CAA+C,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YACnJ,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAC9J,SAAS;QACX,CAAC;QACD,0BAA0B,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACnE,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,kBAAkB,KAAK,CAAC,IAAI,+CAA+C,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACxI,CAAC;QACD,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC;YAAE,SAAS;QACjF,MAAM,QAAQ,GAAG,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC;QACnE,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC3D,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3C,0EAA0E;QAC1E,uEAAuE;QACvE,IAAI,oBAAoB,CAAC,QAAQ,CAAC,IAAI,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,SAAS;QAC7E,IAAI,2BAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,SAAS;QAChG,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACxH,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAAsB,EAAE,UAAsB;IACpF,MAAM,KAAK,GAAG,CAAC,KAAc,EAAQ,EAAE;QACrC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACtC,OAAO;QACT,CAAC;QACD,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,MAAM,QAAQ,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAC3F,IAAI,QAAQ,EAAE,CAAC;gBACb,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAC9B,SAAS,EACT,yDAAyD,IAAI,qHAAqH,IAAI,4FAA4F,EAClR,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;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,IAAsB,EAAE,QAAgB,EAAE,IAAY;IACpF,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;IACrE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACjC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACf,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAsB,EAAE,IAAY,EAAE,KAAiB,EAAE,SAAe,EAAE,SAAkC;IAC3I,MAAM,MAAM,GAAG,SAAS,KAAK,IAAI,CAAC;IAClC,MAAM,KAAK,GAAG,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC;IACrG,IAAI,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAClG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAC9B,SAAS,EACT,yIAAyI,EACzI,SAAS,CACV,CAAC,CAAC;QACH,IAAI,CAAC,MAAM;YAAE,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,0EAA0E;IAC1E,0EAA0E;IAC1E,0EAA0E;IAC1E,2EAA2E;IAC3E,qEAAqE;IACrE,4EAA4E;IAC5E,2EAA2E;IAC3E,0BAA0B;IAC1B,IAAI,IAAI,KAAK,WAAW,IAAI,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACzD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAC9B,SAAS,EACT,2hBAA2hB,EAC3hB,SAAS,CACV,CAAC,CAAC;QACH,IAAI,CAAC,MAAM;YAAE,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,SAAS;YACnD,CAAC,CAAC,iBAAiB,IAAI,8BAA8B,SAAS,uGAAuG;YACrK,CAAC,CAAC,OAAO;gBACP,CAAC,CAAC,WAAW,KAAK,cAAc,IAAI,oBAAoB,OAAO,IAAI;gBACnE,CAAC,CAAC,WAAW,KAAK,cAAc,IAAI,MAAM,MAAM,CAAC,CAAC,CAAC,GAAG,SAAU,2DAA2D,CAAC,CAAC,CAAC,kEAAkE,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC;QACpN,IAAI,CAAC,MAAM;YAAE,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,iBAAiB,GAAG,2BAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACnE,IAAI,iBAAiB,EAAE,CAAC;QACtB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,iBAAiB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAkB,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;IACrE,wBAAwB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IAClD,uBAAuB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACjD,IAAI,CAAC,4BAA4B,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACpF,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,0BAA0B,CAAC,IAAsB,EAAE,QAAgB,EAAE,IAAY,EAAE,IAAU;IAC3G,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;QAC7D,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAClD,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,2BAA2B,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,QAAQ,EAAE,iBAAiB,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QACxI,OAAO;IACT,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,0BAA0B,CAAC,IAAsB,EAAE,UAAgC;IACjG,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;YAAE,SAAS;QAClD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACtD,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAS;QAC7C,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChG,IAAI,WAAW,EAAE,CAAC;YAChB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,2BAA2B,CAAC,WAAW,CAAC,SAAS,EAAE,WAAW,CAAC,QAAQ,EAAE,aAAa,UAAU,CAAC,GAAG,IAAI,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1K,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzB,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,47 @@
+/**
+ * What the Look rules and the keyframes analysis ask of the analyzer that
+ * hosts them: the module-wide Look tables its walk fills, and the analyzer
+ * operations those rules perform.
+ *
+ * D115 P4 R3b. The tables are `private` on the analyzer, so the object
+ * satisfying this interface is built inside that class and nowhere else
+ * (TS2341, D114 line 512). The four the walk replaces once per program arrive
+ * through getters, so a collaborator reading one mid-walk reads the live table
+ * rather than the one that existed when the host was made.
+ */
+import { type Diagnostic, type DiagnosticFix, type Span } from "@velarscript/compiler";
+import { type Expression, type ValueType } from "@velarscript/compiler/extension";
+import { type LookStaticScope } from "../../look-static.ts";
+import { type LookImportSite } from "../look-sites.ts";
+export interface LookAnalysisHost {
+    /** Every builder call whose arguments have been checked, so one call is checked once however often the walk reaches it. */
+    readonly checkedBuilderCalls: Set<string>;
+    /** Local name → the velar/look builder it names. Replaced per program. */
+    readonly lookBuilderNames: ReadonlyMap<string, string>;
+    /** Scope key → the property names already written in that scope, which is how a repeat is recognised. */
+    readonly lookEntryScopes: Map<string, Set<string>>;
+    /** Where this module imports velar/look, so an import edit knows what to extend. Replaced per program. */
+    readonly lookImport: LookImportSite | null;
+    /** The module's compile-time Look values and the sites that wrote them. Replaced per program. */
+    readonly lookStatic: LookStaticScope;
+    /** The spans of builder calls whose own arguments were refused, so a `keyframes:` stop drops the consequence. */
+    readonly refusedBuilderCalls: Span[];
+    readonly diagnostics: Diagnostic[];
+    readonly extensionLiterals: Map<string, string>;
+    advise(code: string, message: string, adviceSpan: Span, fix?: DiagnosticFix): void;
+    /**
+     * A name that both belongs to a derived reactive declaration and still
+     * resolves to one here. The reading belongs to the analyzer's reactive-name
+     * group; the two snapshot rules ask it about a name they found in a Look.
+     */
+    derivedReactiveRead(name: string): boolean;
+    expandAliases(type: ValueType): ValueType;
+    inferExpression(expression: Expression, contextualType?: ValueType): ValueType;
+    lookup(name: string): {
+        readonly type: ValueType;
+    } | null;
+    reactiveBindingKind(name: string): "state" | "prop" | null;
+    requireAssignable(actual: ValueType, expected: ValueType, valueSpan: Span): void;
+    requireCondition(type: ValueType, condition: Expression): void;
+}
+//# sourceMappingURL=host.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"host.d.ts","sourceRoot":"","sources":["../../../src/analysis/look/host.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,aAAa,EAAE,KAAK,IAAI,EAAE,MAAM,uBAAuB,CAAC;AACvF,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAClF,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAEvD,MAAM,WAAW,gBAAgB;IAC/B,2HAA2H;IAC3H,QAAQ,CAAC,mBAAmB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1C,0EAA0E;IAC1E,QAAQ,CAAC,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACvD,yGAAyG;IACzG,QAAQ,CAAC,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACnD,0GAA0G;IAC1G,QAAQ,CAAC,UAAU,EAAE,cAAc,GAAG,IAAI,CAAC;IAC3C,iGAAiG;IACjG,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,iHAAiH;IACjH,QAAQ,CAAC,mBAAmB,EAAE,IAAI,EAAE,CAAC;IAErC,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChD,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,aAAa,GAAG,IAAI,CAAC;IACnF;;;;OAIG;IACH,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAC3C,aAAa,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAAC;IAC1C,eAAe,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc,CAAC,EAAE,SAAS,GAAG,SAAS,CAAC;IAC/E,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG;QAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;KAAE,GAAG,IAAI,CAAC;IAC1D,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,IAAI,CAAC;IAC3D,iBAAiB,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,GAAG,IAAI,CAAC;IACjF,gBAAgB,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,GAAG,IAAI,CAAC;CAChE"}

package/dist/analysis/look/host.js

@@ -0,0 +1,16 @@
+/**
+ * What the Look rules and the keyframes analysis ask of the analyzer that
+ * hosts them: the module-wide Look tables its walk fills, and the analyzer
+ * operations those rules perform.
+ *
+ * D115 P4 R3b. The tables are `private` on the analyzer, so the object
+ * satisfying this interface is built inside that class and nowhere else
+ * (TS2341, D114 line 512). The four the walk replaces once per program arrive
+ * through getters, so a collaborator reading one mid-walk reads the live table
+ * rather than the one that existed when the host was made.
+ */
+import {} from "@velarscript/compiler";
+import {} from "@velarscript/compiler/extension";
+import {} from "../../look-static.js";
+import {} from "../look-sites.js";
+//# sourceMappingURL=host.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"host.js","sourceRoot":"","sources":["../../../src/analysis/look/host.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAkD,MAAM,uBAAuB,CAAC;AACvF,OAAO,EAAmC,MAAM,iCAAiC,CAAC;AAClF,OAAO,EAAwB,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAuB,MAAM,kBAAkB,CAAC"}