@velarscript/web 0.22.1 → 0.23.1

package/dist/analyzer.d.ts

@@ -26,6 +26,13 @@ export declare class VelarWebAnalyzer extends Analyzer {
     private readonly honoredJsxKeys;
     private readonly reportedJsxKeys;
     private lookBuilderNames;
+    /**
+     * D103: the module's `velar/look` import, so the migration off
+     * `color("var(--x)")` can write the `token` import it needs in the same
+     * rewrite. A migration that only changed the call would leave the module
+     * naming a builder it never imported, which is not a mechanical fix.
+     */
+    private lookImport;
     private lookDeclarations;
     private lookLiteralDepth;
     /**
@@ -270,6 +277,31 @@ export declare class VelarWebAnalyzer extends Analyzer {
      * module compiles; dynamic arguments keep the runtime guard.
      */
     private checkLookBuilderCall;
+    /**
+     * D103 rules 1 and 5 — what a checked token reference has to be at the site
+     * that writes it.
+     *
+     * The compiler cannot see a design system's values: no token stylesheet is an
+     * input to this compile, and the whole point of the contract is that the
+     * theme swaps values under the same names. So the reference itself is the
+     * only thing there is to check, and it is checked completely — a literal
+     * name, spelled as a CSS custom property identifier, and nothing else in the
+     * call. A computed name would leave a Look value with no checked part at all,
+     * which is the surface D50 rule 92 says is worse than none.
+     */
+    private checkLookTokenCall;
+    /**
+     * D103 rule 4 — the migration off the one passthrough that used to work.
+     *
+     * The rewrite carries the `token` import when the module does not already
+     * have one, because a fix that leaves a module naming an unimported builder
+     * is not mechanical. A `var(--x, fallback)` reference has no rewrite: rule 5
+     * closed the contract against per-site fallbacks, so the message says that
+     * rather than offering a migration that would silently drop the fallback.
+     */
+    private reportLookColorVarReference;
+    /** The one edit that gives this module a `token` import, in the shape D103's migration needs. */
+    private lookTokenImportEdit;
     private checkAnimateBuilderCall;
     private checkAnimationKeyword;
     private analyzeKeyframes;
@@ -288,6 +320,35 @@ export declare class VelarWebAnalyzer extends Analyzer {
      * property no longer co-reports a `stringType` fallback assignment error.
      */
     private analyzeLookValue;
+    /** Whether this value is written as a call to the module's `token` builder, alias included. */
+    private isLookTokenCall;
+    /** How this module spells a call to the token builder, honouring an aliased import. */
+    private lookTokenCallText;
+    /**
+     * The edits that replace one written Look value with the checked token call,
+     * in the spelling of the site that wrote it.
+     *
+     * A `look:property="text"` directive is analyzed through a synthetic literal
+     * standing for the whole attribute, so the rewrite replaces the attribute:
+     * splicing a call between an attribute's quotes is not JSX, and a fix that
+     * produces a parse error is not a mechanical fix. The `look:property={...}`
+     * spelling carries a real expression whose span is the value alone, and is
+     * rewritten in place like a block entry.
+     */
+    private lookTokenRewrite;
+    /**
+     * D103 rule 4, free-text half — an advisory rather than a refusal.
+     *
+     * `fontFamily`, `backdropFilter` and the other free-text kinds accept
+     * arbitrary CSS text by construction, and a `var()` inside a larger value is
+     * a legitimate spelling with no single token to rewrite it to: the tail of a
+     * font stack, one layer of a filter list. Refusing there would refuse real
+     * CSS. What is advised is the narrow case where the *whole* value is one
+     * reference, because there `token("--name")` is the checked spelling of the
+     * same thing and the rewrite is unambiguous — which is the bar the `A`
+     * roster is written to.
+     */
+    private adviseLookTokenSpelling;
     /**
      * `subject` names the position in the message. It is the property itself
      * everywhere except the `transition(...)` builder, whose first argument takes

package/dist/analyzer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analyzer.d.ts","sourceRoot":"","sources":["../src/analyzer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAwB,KAAK,UAAU,EAAE,KAAK,IAAI,EAAE,MAAM,uBAAuB,CAAC;AACzF,OAAO,EACL,QAAQ,EAgBR,KAAK,eAAe,EACpB,KAAK,yBAAyB,EAC9B,KAAK,gCAAgC,EACrC,KAAK,UAAU,EAEf,KAAK,OAAO,EACZ,KAAK,SAAS,EACd,KAAK,aAAa,EAClB,KAAK,SAAS,EACf,MAAM,iCAAiC,CAAC;AAgFzC,eAAO,MAAM,oBAAoB,iDAAiD,CAAC;AAiHnF,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,gCAAgC,GAAG,SAAS,GAAG,SAAS,CAsLlG;AAghCD,qBAAa,gBAAiB,SAAQ,QAAQ;IAC5C,OAAO,CAAC,eAAe,CAA4B;IACnD,OAAO,CAAC,YAAY,CAAK;IACzB,OAAO,CAAC,YAAY,CAAK;IACzB,iHAAiH;IACjH,OAAO,CAAC,cAAc,CAAK;IAC3B,4FAA4F;IAC5F,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAqB;IACtD,4FAA4F;IAC5F,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAA0B;IAC5D,OAAO,CAAC,wBAAwB,CAAK;IACrC,OAAO,CAAC,QAAQ,CAAK;IACrB,OAAO,CAAC,QAAQ,CAAC,SAAS,CAA8B;IACxD,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAqB;IACtD,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAgC;IACnE,OAAO,CAAC,QAAQ,CAAC,wBAAwB,CAAuC;IAChF,OAAO,CAAC,gBAAgB,CAAmD;IAC3E,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAkC;IAClE,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAqB;IAC1D,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAqB;IACzD,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAsF;IACpH,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAmC;IAClE,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAmC;IACnE,OAAO,CAAC,gBAAgB,CAA0C;IAClE,OAAO,CAAC,gBAAgB,CAA4D;IACpF,OAAO,CAAC,gBAAgB,CAAK;IAC7B;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAqB;IAC1D,kFAAkF;IAClF,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAsB;IAC5D,qFAAqF;IACrF,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAqB;IAC3D,gHAAgH;IAChH,OAAO,CAAC,QAAQ,CAAC,2BAA2B,CAAiD;IAC7F,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAA6B;IAClE,OAAO,CAAC,QAAQ,CAAC,yBAAyB,CAAqE;IAC/G,OAAO,CAAC,QAAQ,CAAC,uBAAuB,CAAqB;IAC7D,uFAAuF;IACvF,OAAO,CAAC,QAAQ,CAAC,cAAc,CAA2B;IAC1D,mFAAmF;IACnF,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAgB;IAC9C,8FAA8F;IAC9F,OAAO,CAAC,4BAA4B,CAA0C;IAE9E,YAAY,OAAO,GAAE,eAAoB,EAAE,UAAU,GAAE,SAAS,yBAAyB,EAAO,EAW/F;IAEQ,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,UAAU,EAAE,CAcxD;IAED;;;;;;OAMG;IACH,OAAO,CAAC,wBAAwB;IAShC;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,uBAAuB;IA6C/B;;;;;OAKG;IACH,OAAO,CAAC,mBAAmB;IAW3B,UAAmB,4BAA4B,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAM7E;IAED,UAAmB,yBAAyB,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAwG1E;IAED,UAAmB,gBAAgB,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI,CAc9D;IAED,OAAO,CAAC,0BAA0B;IAelC,OAAO,CAAC,eAAe;IAWvB,UAAmB,gCAAgC,CAAC,SAAS,EAAE,SAAS,GAAG;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;KAAE,GAAG,IAAI,CAM/H;IAED;;;;;;OAMG;IACH,OAAO,CAAC,0BAA0B;IAgBlC;;;;;OAKG;IACH,OAAO,CAAC,iBAAiB;IAKzB,OAAO,CAAC,yBAAyB;IAKjC;;;;;;;OAOG;IACH,UAAmB,2BAA2B,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,GAAE,OAAO,GAAG,MAAgB,GAAG,IAAI,CAWnG;IAED,UAAmB,wBAAwB,CAAC,UAAU,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS,CA2GrH;IAED,UAAmB,eAAe,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc,GAAE,SAAuB,GAAG,SAAS,CA4B7G;IAID,OAAO,CAAC,iBAAiB;IAIzB;;;;;;;;;;;;;;;;;;;OAmBG;IACH,OAAO,CAAC,6BAA6B;IAerC;;;;;;OAMG;IACH,OAAO,CAAC,qBAAqB;IAqB7B;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,wBAAwB;IA6ChC;;;;;;;;;;OAUG;IACH,OAAO,CAAC,sBAAsB;IAwB9B;;;;;;;OAOG;IACH,OAAO,CAAC,uBAAuB;IAgB/B,0EAA0E;IAC1E,OAAO,CAAC,kBAAkB;IAK1B;;;;;;OAMG;IACH,OAAO,CAAC,kBAAkB;IA0B1B,8FAA8F;IAC9F,OAAO,CAAC,eAAe;IAQvB;;;;;OAKG;IACH,OAAO,CAAC,wBAAwB;IAehC;;;;;;OAMG;IACH,OAAO,CAAC,gCAAgC;IAwBxC,wFAAwF;IACxF,OAAO,CAAC,yBAAyB;IAkBjC;;;;;;;OAOG;IACH,OAAO,CAAC,6BAA6B;IAmCrC,UAAmB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,IAAI,CAExF;IAED,UAAmB,kBAAkB,CACnC,MAAM,EAAE,OAAO,iCAAiC,EAAE,kBAAkB,EACpE,UAAU,EAAE,SAAS,UAAU,EAAE,EACjC,aAAa,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,GAAG,SAAS,EACrD,QAAQ,EAAE,IAAI,GACb,SAAS,GAAG,SAAS,CASvB;IAED,UAAmB,2BAA2B,CAC5C,MAAM,EAAE,OAAO,iCAAiC,EAAE,UAAU,EAC5D,QAAQ,EAAE,CAAC,MAAM,EAAE,OAAO,iCAAiC,EAAE,UAAU,KAAK,OAAO,EACnF,OAAO,EAAE,CAAC,SAAS,EAAE,aAAa,KAAK,SAAS,GAC/C,OAAO,GAAG,SAAS,CA8CrB;IAED;;;;;OAKG;IACH,UAAmB,uBAAuB,IAAI,MAAM,GAAG,IAAI,CAM1D;IAED,UAAmB,4BAA4B,IAAI,OAAO,CAGzD;IAED,UAAmB,4BAA4B,IAAI,MAAM,GAAG,IAAI,CAI/D;IAED,OAAO,CAAC,aAAa;IAYrB,OAAO,CAAC,0BAA0B;IAyBlC,OAAO,CAAC,UAAU;IAalB,OAAO,CAAC,wBAAwB;IAKhC,OAAO,CAAC,gBAAgB;IAyHxB,OAAO,CAAC,oBAAoB;IAO5B,OAAO,CAAC,2BAA2B;IAQnC,UAAmB,iBAAiB,CAAC,SAAS,EAAE,aAAa,GAAG,IAAI,GAAG,SAAS,CAE/E;IAED,OAAO,CAAC,2BAA2B;IAsBnC,OAAO,CAAC,qBAAqB;IAkB7B,OAAO,CAAC,kBAAkB;IA6D1B;;;;;;;OAOG;IACH,OAAO,CAAC,uBAAuB;IAyB/B;;;;;;OAMG;IACH,OAAO,CAAC,mBAAmB;IAS3B;;;;;OAKG;IACH,OAAO,CAAC,oBAAoB;IA+D5B,OAAO,CAAC,uBAAuB;IAkC/B,OAAO,CAAC,qBAAqB;IAO7B,OAAO,CAAC,gBAAgB;IAgCxB,OAAO,CAAC,2BAA2B;IAqBnC;;;;;OAKG;IACH,OAAO,CAAC,eAAe;IAQvB;;;;;OAKG;IACH,OAAO,CAAC,gBAAgB;IAgCxB;;;;;;OAMG;IACH,OAAO,CAAC,4BAA4B;IA8DpC;;;;;;;OAOG;IACH,OAAO,CAAC,iBAAiB;IAOzB;;;;OAIG;IACH,OAAO,CAAC,2BAA2B;IAWnC,OAAO,CAAC,kBAAkB;IAiE1B,OAAO,CAAC,sBAAsB;IAa9B,OAAO,CAAC,QAAQ;IAgEhB;;;;;;;;OAQG;IACH,OAAO,CAAC,yBAAyB;IAwBjC;;;;;OAKG;IACH,OAAO,CAAC,wBAAwB;IAmBhC,OAAO,CAAC,uBAAuB;IAoB/B,OAAO,CAAC,wBAAwB;IAuBhC,OAAO,CAAC,uBAAuB;IAqF/B;;;;;OAKG;IACH,OAAO,CAAC,uBAAuB;IAuB/B;;;;;;;;OAQG;IACH,OAAO,CAAC,+BAA+B;IA6BvC,OAAO,CAAC,mBAAmB;IA2B3B,OAAO,CAAC,yBAAyB;IAwJjC;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,OAAO,CAAC,6BAA6B;IAwFrC;;;;;OAKG;IACH,OAAO,CAAC,uBAAuB;IAc/B;;;;;OAKG;IACH,OAAO,CAAC,oBAAoB;IAM5B;;;;;OAKG;IACH,OAAO,CAAC,YAAY;IAwBpB;;;;;OAKG;IACH,OAAO,CAAC,gBAAgB;IA0BxB,OAAO,CAAC,yBAAyB;IAcjC,OAAO,CAAC,WAAW;IASnB,OAAO,CAAC,YAAY;IAQpB,OAAO,CAAC,eAAe;IAWvB;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,OAAO,CAAC,gBAAgB;IAKxB,OAAO,CAAC,mBAAmB;IAU3B,OAAO,CAAC,gBAAgB;IAQxB;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,OAAO,CAAC,oBAAoB;IA6B5B,OAAO,CAAC,sBAAsB;IAe9B,OAAO,CAAC,4BAA4B;CAmBrC"}
+{"version":3,"file":"analyzer.d.ts","sourceRoot":"","sources":["../src/analyzer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAwD,KAAK,UAAU,EAA2C,KAAK,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAClK,OAAO,EACL,QAAQ,EAgBR,KAAK,eAAe,EACpB,KAAK,yBAAyB,EAC9B,KAAK,gCAAgC,EACrC,KAAK,UAAU,EAEf,KAAK,OAAO,EACZ,KAAK,SAAS,EACd,KAAK,aAAa,EAClB,KAAK,SAAS,EACf,MAAM,iCAAiC,CAAC;AAuFzC,eAAO,MAAM,oBAAoB,iDAAiD,CAAC;AAkHnF,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,gCAAgC,GAAG,SAAS,GAAG,SAAS,CAsLlG;AA6jCD,qBAAa,gBAAiB,SAAQ,QAAQ;IAC5C,OAAO,CAAC,eAAe,CAA4B;IACnD,OAAO,CAAC,YAAY,CAAK;IACzB,OAAO,CAAC,YAAY,CAAK;IACzB,iHAAiH;IACjH,OAAO,CAAC,cAAc,CAAK;IAC3B,4FAA4F;IAC5F,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAqB;IACtD,4FAA4F;IAC5F,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAA0B;IAC5D,OAAO,CAAC,wBAAwB,CAAK;IACrC,OAAO,CAAC,QAAQ,CAAK;IACrB,OAAO,CAAC,QAAQ,CAAC,SAAS,CAA8B;IACxD,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAqB;IACtD,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAgC;IACnE,OAAO,CAAC,QAAQ,CAAC,wBAAwB,CAAuC;IAChF,OAAO,CAAC,gBAAgB,CAAmD;IAC3E,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAkC;IAClE,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAqB;IAC1D,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAqB;IACzD,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAsF;IACpH,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAmC;IAClE,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAmC;IACnE,OAAO,CAAC,gBAAgB,CAA0C;IAClE;;;;;OAKG;IACH,OAAO,CAAC,UAAU,CAA+B;IACjD,OAAO,CAAC,gBAAgB,CAA4D;IACpF,OAAO,CAAC,gBAAgB,CAAK;IAC7B;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAqB;IAC1D,kFAAkF;IAClF,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAsB;IAC5D,qFAAqF;IACrF,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAqB;IAC3D,gHAAgH;IAChH,OAAO,CAAC,QAAQ,CAAC,2BAA2B,CAAiD;IAC7F,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAA6B;IAClE,OAAO,CAAC,QAAQ,CAAC,yBAAyB,CAAqE;IAC/G,OAAO,CAAC,QAAQ,CAAC,uBAAuB,CAAqB;IAC7D,uFAAuF;IACvF,OAAO,CAAC,QAAQ,CAAC,cAAc,CAA2B;IAC1D,mFAAmF;IACnF,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAgB;IAC9C,8FAA8F;IAC9F,OAAO,CAAC,4BAA4B,CAA0C;IAE9E,YAAY,OAAO,GAAE,eAAoB,EAAE,UAAU,GAAE,SAAS,yBAAyB,EAAO,EAW/F;IAEQ,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,UAAU,EAAE,CAexD;IAED;;;;;;OAMG;IACH,OAAO,CAAC,wBAAwB;IAShC;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,uBAAuB;IA6C/B;;;;;OAKG;IACH,OAAO,CAAC,mBAAmB;IAW3B,UAAmB,4BAA4B,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAM7E;IAED,UAAmB,yBAAyB,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAwG1E;IAED,UAAmB,gBAAgB,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI,CAc9D;IAED,OAAO,CAAC,0BAA0B;IAelC,OAAO,CAAC,eAAe;IAWvB,UAAmB,gCAAgC,CAAC,SAAS,EAAE,SAAS,GAAG;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;KAAE,GAAG,IAAI,CAM/H;IAED;;;;;;OAMG;IACH,OAAO,CAAC,0BAA0B;IAgBlC;;;;;OAKG;IACH,OAAO,CAAC,iBAAiB;IAKzB,OAAO,CAAC,yBAAyB;IAKjC;;;;;;;OAOG;IACH,UAAmB,2BAA2B,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,GAAE,OAAO,GAAG,MAAgB,GAAG,IAAI,CAWnG;IAED,UAAmB,wBAAwB,CAAC,UAAU,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS,CA2GrH;IAED,UAAmB,eAAe,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc,GAAE,SAAuB,GAAG,SAAS,CA4B7G;IAID,OAAO,CAAC,iBAAiB;IAIzB;;;;;;;;;;;;;;;;;;;OAmBG;IACH,OAAO,CAAC,6BAA6B;IAerC;;;;;;OAMG;IACH,OAAO,CAAC,qBAAqB;IAqB7B;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,wBAAwB;IA6ChC;;;;;;;;;;OAUG;IACH,OAAO,CAAC,sBAAsB;IAwB9B;;;;;;;OAOG;IACH,OAAO,CAAC,uBAAuB;IAgB/B,0EAA0E;IAC1E,OAAO,CAAC,kBAAkB;IAK1B;;;;;;OAMG;IACH,OAAO,CAAC,kBAAkB;IA0B1B,8FAA8F;IAC9F,OAAO,CAAC,eAAe;IAQvB;;;;;OAKG;IACH,OAAO,CAAC,wBAAwB;IAehC;;;;;;OAMG;IACH,OAAO,CAAC,gCAAgC;IAwBxC,wFAAwF;IACxF,OAAO,CAAC,yBAAyB;IAkBjC;;;;;;;OAOG;IACH,OAAO,CAAC,6BAA6B;IAmCrC,UAAmB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,IAAI,CAExF;IAED,UAAmB,kBAAkB,CACnC,MAAM,EAAE,OAAO,iCAAiC,EAAE,kBAAkB,EACpE,UAAU,EAAE,SAAS,UAAU,EAAE,EACjC,aAAa,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,GAAG,SAAS,EACrD,QAAQ,EAAE,IAAI,GACb,SAAS,GAAG,SAAS,CASvB;IAED,UAAmB,2BAA2B,CAC5C,MAAM,EAAE,OAAO,iCAAiC,EAAE,UAAU,EAC5D,QAAQ,EAAE,CAAC,MAAM,EAAE,OAAO,iCAAiC,EAAE,UAAU,KAAK,OAAO,EACnF,OAAO,EAAE,CAAC,SAAS,EAAE,aAAa,KAAK,SAAS,GAC/C,OAAO,GAAG,SAAS,CA8CrB;IAED;;;;;OAKG;IACH,UAAmB,uBAAuB,IAAI,MAAM,GAAG,IAAI,CAM1D;IAED,UAAmB,4BAA4B,IAAI,OAAO,CAGzD;IAED,UAAmB,4BAA4B,IAAI,MAAM,GAAG,IAAI,CAI/D;IAED,OAAO,CAAC,aAAa;IAYrB,OAAO,CAAC,0BAA0B;IAyBlC,OAAO,CAAC,UAAU;IAalB,OAAO,CAAC,wBAAwB;IAKhC,OAAO,CAAC,gBAAgB;IAyHxB,OAAO,CAAC,oBAAoB;IAO5B,OAAO,CAAC,2BAA2B;IAQnC,UAAmB,iBAAiB,CAAC,SAAS,EAAE,aAAa,GAAG,IAAI,GAAG,SAAS,CAE/E;IAED,OAAO,CAAC,2BAA2B;IAsBnC,OAAO,CAAC,qBAAqB;IAkB7B,OAAO,CAAC,kBAAkB;IA6D1B;;;;;;;OAOG;IACH,OAAO,CAAC,uBAAuB;IAyB/B;;;;;;OAMG;IACH,OAAO,CAAC,mBAAmB;IAS3B;;;;;OAKG;IACH,OAAO,CAAC,oBAAoB;IAwE5B;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,kBAAkB;IAgD1B;;;;;;;;OAQG;IACH,OAAO,CAAC,2BAA2B;IAyBnC,iGAAiG;IACjG,OAAO,CAAC,mBAAmB;IAW3B,OAAO,CAAC,uBAAuB;IAkC/B,OAAO,CAAC,qBAAqB;IAO7B,OAAO,CAAC,gBAAgB;IAgCxB,OAAO,CAAC,2BAA2B;IAqBnC;;;;;OAKG;IACH,OAAO,CAAC,eAAe;IAQvB;;;;;OAKG;IACH,OAAO,CAAC,gBAAgB;IAmDxB,+FAA+F;IAC/F,OAAO,CAAC,eAAe;IAKvB,uFAAuF;IACvF,OAAO,CAAC,iBAAiB;IAKzB;;;;;;;;;;OAUG;IACH,OAAO,CAAC,gBAAgB;IAWxB;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,uBAAuB;IAe/B;;;;;;OAMG;IACH,OAAO,CAAC,4BAA4B;IAgFpC;;;;;;;OAOG;IACH,OAAO,CAAC,iBAAiB;IAOzB;;;;OAIG;IACH,OAAO,CAAC,2BAA2B;IAWnC,OAAO,CAAC,kBAAkB;IAiE1B,OAAO,CAAC,sBAAsB;IAa9B,OAAO,CAAC,QAAQ;IAgEhB;;;;;;;;OAQG;IACH,OAAO,CAAC,yBAAyB;IAwBjC;;;;;OAKG;IACH,OAAO,CAAC,wBAAwB;IAmBhC,OAAO,CAAC,uBAAuB;IAoB/B,OAAO,CAAC,wBAAwB;IAuBhC,OAAO,CAAC,uBAAuB;IAqF/B;;;;;OAKG;IACH,OAAO,CAAC,uBAAuB;IAuB/B;;;;;;;;OAQG;IACH,OAAO,CAAC,+BAA+B;IA6BvC,OAAO,CAAC,mBAAmB;IA2B3B,OAAO,CAAC,yBAAyB;IAwJjC;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,OAAO,CAAC,6BAA6B;IAwFrC;;;;;OAKG;IACH,OAAO,CAAC,uBAAuB;IAc/B;;;;;OAKG;IACH,OAAO,CAAC,oBAAoB;IAM5B;;;;;OAKG;IACH,OAAO,CAAC,YAAY;IAwBpB;;;;;OAKG;IACH,OAAO,CAAC,gBAAgB;IA0BxB,OAAO,CAAC,yBAAyB;IAcjC,OAAO,CAAC,WAAW;IASnB,OAAO,CAAC,YAAY;IAQpB,OAAO,CAAC,eAAe;IAWvB;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,OAAO,CAAC,gBAAgB;IAKxB,OAAO,CAAC,mBAAmB;IAU3B,OAAO,CAAC,gBAAgB;IAQxB;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,OAAO,CAAC,oBAAoB;IA6B5B,OAAO,CAAC,sBAAsB;IAe9B,OAAO,CAAC,4BAA4B;CAmBrC"}

package/dist/analyzer.js

@@ -1,10 +1,11 @@
-import { semanticTypeIdentity } from "@velarscript/compiler";
+import { mechanicalEdits, mechanicalFix, semanticTypeIdentity } from "@velarscript/compiler";
 import { Analyzer, anyType, boolType, describeType, expressionContainsDirectAwait, invalidType, isInvalidType, isAssignable, isReadonlyView, nullType, nonOptional, numberType, optionalOf, spanIdentity, stringType, unknownType, } from "@velarscript/compiler/extension";
 import { BROWSER_TEST_MODULE, BROWSER_TEST_SOURCE_SUFFIX, browserTestImportGuidance } from "./browser-test.js";
 import { cssTokens } from "./css-tokens.js";
-import { LOOK_ABSENT_MEDIA_SUBJECTS, LOOK_ARITHMETIC_HINT, LOOK_ANIMATION_DIRECTIONS, LOOK_ANIMATION_EASINGS, LOOK_ANIMATION_FILLS, LOOK_BORDER_STYLE_NAMES, LOOK_BUILDER_NUMERIC_RANGES, LOOK_BUILDER_SIGNATURES, LOOK_BUILDERS, LOOK_EXCLUDED_PROPERTIES, LOOK_HOOKS, LOOK_CSS_WIDE_KEYWORDS, LOOK_LARGE_KEYWORD_SETS, LOOK_LENGTH_BUILDERS, LOOK_MEDIA_LENGTH_UNITS, LOOK_MEDIA_SUBJECTS, LOOK_NUMERIC_TYPE_NAMES, LOOK_NON_ANIMATABLE_PROPERTIES, LOOK_PARTIAL_KEYWORD_PROPERTIES, LOOK_PROPERTIES, LOOK_PROPERTY_KEYWORDS, LOOK_PROPERTY_VALUE_KINDS, LOOK_TARGETS, LOOK_UNIT_TYPES, LOOK_UNITLESS_PROPERTIES, lookOwnKeywords, nearestLookName, } from "./look.js";
+import { LOOK_ABSENT_MEDIA_SUBJECTS, LOOK_ARITHMETIC_HINT, LOOK_ANIMATION_DIRECTIONS, LOOK_ANIMATION_EASINGS, LOOK_ANIMATION_FILLS, LOOK_BORDER_STYLE_NAMES, LOOK_BUILDER_NUMERIC_RANGES, LOOK_BUILDER_SIGNATURES, LOOK_BUILDERS, LOOK_EXCLUDED_PROPERTIES, LOOK_HOOKS, LOOK_CSS_WIDE_KEYWORDS, LOOK_LARGE_KEYWORD_SETS, LOOK_LENGTH_BUILDERS, LOOK_MEDIA_LENGTH_UNITS, LOOK_MEDIA_SUBJECTS, LOOK_NUMERIC_TYPE_NAMES, LOOK_NON_ANIMATABLE_PROPERTIES, LOOK_PARTIAL_KEYWORD_PROPERTIES, LOOK_PROPERTIES, LOOK_PROPERTY_KEYWORDS, LOOK_PROPERTY_VALUE_KINDS, LOOK_TARGETS, LOOK_TOKEN_NAME_RULE, LOOK_TOKEN_NO_FALLBACK_GUIDANCE, LOOK_UNIT_TYPES, LOOK_UNITLESS_PROPERTIES, isLookTokenName, isLookVarReference, lookOwnKeywords, lookTokenReference, lookVarReferenceName, nearestLookName, } from "./look.js";
 import { collectLookStaticValues, evaluateLookStaticExpression, isLookStaticValue, lookStaticCss } from "./look-static.js";
 import { keyframeCssValue } from "./keyframes.js";
+import { byCodeUnit } from "./stable-order.js";
 import { dynamicChildLeaves, JSX_SCALAR_TEXT_HINT } from "./emitter.js";
 import { isWebCustomElementName, WEB_ARIA_ATTRIBUTES, WEB_ARIA_ENUMERATED_VALUES, WEB_ARIA_ROLES, WEB_ARIA_ROLE_SYNONYMS, WEB_MISSPELLED_ATTRIBUTES, WEB_NATIVE_ELEMENTS, } from "./elements.js";
 import { isWebExpression, isWebJsx, isWebKeyframes, isWebLook, isWebStatement, isWebUnit, } from "./ast.js";
@@ -55,7 +56,7 @@ const textualWebPrimitiveNames = new Set(["Length", "Percentage", "LengthPercent
 // D72 rule 186: derived from the published table, not restated beside it.
 const webEventTypeNames = WEB_EVENT_TYPE_NAMES;
 const webEventDeadFields = new Set(["target", "currentTarget", "value", "checked"]);
-const diagnostic = (code, message, sourceSpan) => ({ code, message, span: sourceSpan });
+const diagnostic = (code, message, sourceSpan, fix) => fix ? { code, message, span: sourceSpan, fix } : { code, message, span: sourceSpan };
 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]}`;
 const LOOK_CONDITION_TERM_LIMIT = 32;
 const lookLength = { kind: "named", name: "Length" };
@@ -784,6 +785,27 @@ function lookContributions(look, looks, visited = new Set()) {
     walk(look.entries, "");
     return { properties, composed };
 }
+function collectLookImportSite(program) {
+    let lastImportEnd = null;
+    for (const statement of program.body) {
+        if (statement.kind !== "ImportDeclaration")
+            continue;
+        lastImportEnd = statement.span.end;
+        if (statement.source !== "velar/look" || statement.javascript || statement.specifiers.some((specifier) => specifier.namespace))
+            continue;
+        return {
+            declaration: {
+                span: statement.span,
+                specifiers: statement.specifiers.map((specifier) => ({ imported: specifier.imported, local: specifier.local })),
+            },
+            insertAt: statement.span.end,
+            leadingBlankLine: false,
+        };
+    }
+    return lastImportEnd === null
+        ? { declaration: null, insertAt: program.body[0]?.span.start ?? 0, leadingBlankLine: true }
+        : { declaration: null, insertAt: lastImportEnd, leadingBlankLine: false };
+}
 /** Local names bound to a velar/look builder, including aliased imports. */
 function collectLookBuilderNames(program) {
     const names = new Map();
@@ -1407,6 +1429,13 @@ export class VelarWebAnalyzer extends Analyzer {
     honoredJsxKeys = new Set();
     reportedJsxKeys = new Set();
     lookBuilderNames = new Map();
+    /**
+     * D103: the module's `velar/look` import, so the migration off
+     * `color("var(--x)")` can write the `token` import it needs in the same
+     * rewrite. A migration that only changed the call would leave the module
+     * naming a builder it never imported, which is not a mechanical fix.
+     */
+    lookImport = null;
     lookDeclarations = new Map();
     lookLiteralDepth = 0;
     /**
@@ -1441,6 +1470,7 @@ export class VelarWebAnalyzer extends Analyzer {
     analyze(program) {
         this.lookStaticValues = collectLookStaticValues(program, this.importedLookStaticValues);
         this.lookBuilderNames = collectLookBuilderNames(program);
+        this.lookImport = collectLookImportSite(program);
         this.lookDeclarations = collectLookDeclarations(program);
         for (const name of collectDerivedReactiveNames(program))
             this.derivedReactiveNames.add(name);
@@ -2731,6 +2761,10 @@ export class VelarWebAnalyzer extends Analyzer {
             this.checkAnimateBuilderCall(expression);
             return;
         }
+        if (builder === "token") {
+            this.checkLookTokenCall(expression);
+            return;
+        }
         const ranges = LOOK_BUILDER_NUMERIC_RANGES.get(builder);
         // A named argument fills the same slot its positional spelling does, so the
         // position comes from the builder's own signature — the one table the
@@ -2772,11 +2806,104 @@ export class VelarWebAnalyzer extends Analyzer {
             if (builder === "transition" && position === 0) {
                 this.validateLookStringVocabulary("transitionProperty", argument, "The transition builder's property argument");
             }
+            // D103 rule 4: one spelling. `color(string)` used to be the only checked
+            // Look value that let a design token through, and it let it through as
+            // text nobody read — so the same reference was legal on `color` and
+            // refused on `width`, and the accepting half checked nothing.
+            if (builder === "color" && position === 0)
+                this.reportLookColorVarReference(expression, argument);
         }
         if (builder === "tracks" && expression.arguments.length > 1024) {
             this.diagnostics.push(diagnostic("VEL5042", "tracks cannot contain more than 1024 values", expression.span));
         }
     }
+    /**
+     * D103 rules 1 and 5 — what a checked token reference has to be at the site
+     * that writes it.
+     *
+     * The compiler cannot see a design system's values: no token stylesheet is an
+     * input to this compile, and the whole point of the contract is that the
+     * theme swaps values under the same names. So the reference itself is the
+     * only thing there is to check, and it is checked completely — a literal
+     * name, spelled as a CSS custom property identifier, and nothing else in the
+     * call. A computed name would leave a Look value with no checked part at all,
+     * which is the surface D50 rule 92 says is worse than none.
+     */
+    checkLookTokenCall(expression) {
+        const names = expression.argumentNames;
+        // `token(name="--x")` writes the same one argument the positional spelling
+        // does, so the name position is read from the signature the way every other
+        // builder's is rather than assumed to be index 0.
+        const position = names?.findIndex((entry) => entry === "name") ?? -1;
+        const nameIndex = position >= 0 ? position : names?.[0] === undefined || names[0] === null ? 0 : -1;
+        for (const [index, argument] of expression.arguments.entries()) {
+            if (index === nameIndex)
+                continue;
+            this.diagnostics.push(diagnostic("VEL5042", LOOK_TOKEN_NO_FALLBACK_GUIDANCE, argument.span));
+        }
+        const written = nameIndex >= 0 ? expression.arguments[nameIndex] : undefined;
+        if (!written)
+            return;
+        if (written.kind !== "LiteralExpression" || typeof written.value !== "string") {
+            this.diagnostics.push(diagnostic("VEL5042", `A design token reference names its custom property in the call: ${LOOK_TOKEN_NAME_RULE}. The compiler cannot see a design system's values, so the name is the whole of what it can check — a computed name, an interpolation, or a binding would leave the reference unchecked`, written.span));
+            return;
+        }
+        if (isLookTokenName(written.value)) {
+            // D103 rule 2: the reference is compile-time text, so it is folded here
+            // rather than left as a call the browser makes on every module load. The
+            // fold is stamped only on a call this check has just proved, which is
+            // what keeps the emitter structurally unable to write a name nothing
+            // validated. An aliased builder (`const t = token`) is not resolved here
+            // and keeps the runtime implementation, exactly as every other builder
+            // passed around as a value does.
+            if (expression.arguments.length === 1) {
+                this.extensionLiterals.set(spanIdentity(expression.span), lookTokenReference(written.value));
+            }
+            return;
+        }
+        // A name written without the `--` that makes it a custom property is the
+        // one near miss with a single spelling behind it, so it is migrated rather
+        // than only refused.
+        const prefixed = `--${written.value}`;
+        this.diagnostics.push(diagnostic("VEL5042", `Design token name '${written.value}' is not a CSS custom property identifier; ${LOOK_TOKEN_NAME_RULE}`, written.span, isLookTokenName(prefixed)
+            ? mechanicalFix(written.span, JSON.stringify(prefixed), `Use "${prefixed}"`)
+            : undefined));
+    }
+    /**
+     * D103 rule 4 — the migration off the one passthrough that used to work.
+     *
+     * The rewrite carries the `token` import when the module does not already
+     * have one, because a fix that leaves a module naming an unimported builder
+     * is not mechanical. A `var(--x, fallback)` reference has no rewrite: rule 5
+     * closed the contract against per-site fallbacks, so the message says that
+     * rather than offering a migration that would silently drop the fallback.
+     */
+    reportLookColorVarReference(expression, argument) {
+        if (argument.kind !== "LiteralExpression" || typeof argument.value !== "string")
+            return;
+        if (!isLookVarReference(argument.value))
+            return;
+        const referenced = lookVarReferenceName(argument.value);
+        if (referenced === null) {
+            this.diagnostics.push(diagnostic("VEL5042", `A design token reference is written token("--name"), and it carries no fallback: ${LOOK_TOKEN_NO_FALLBACK_GUIDANCE}`, argument.span));
+            return;
+        }
+        const { call, imported } = this.lookTokenCallText(referenced);
+        const rewrite = { span: expression.span, text: call };
+        this.diagnostics.push(diagnostic("VEL5042", `Write a design token reference as ${call}; color("var(...)") passed the reference through as text nothing checked, and token() is the one checked spelling — legal in every Look property, not only the colour ones`, expression.span, mechanicalEdits(imported ? [rewrite] : [this.lookTokenImportEdit(), rewrite], `Use ${call}`)));
+    }
+    /** The one edit that gives this module a `token` import, in the shape D103's migration needs. */
+    lookTokenImportEdit() {
+        const site = this.lookImport ?? { declaration: null, insertAt: 0, leadingBlankLine: true };
+        const specifiers = [...(site.declaration?.specifiers ?? []), { imported: "token", local: "token" }];
+        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}` };
+    }
     checkAnimateBuilderCall(expression) {
         const argument = (name, position) => {
             const named = expression.argumentNames?.findIndex((candidate) => candidate === name) ?? -1;
@@ -2900,6 +3027,20 @@ export class VelarWebAnalyzer extends Analyzer {
                 this.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" && this.isLookTokenCall(value)) {
+            this.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)
+                this.inferExpression(value);
+            return false;
+        }
         if (!LOOK_PROPERTIES.has(name)) {
             const nearest = nearestLookName(name, LOOK_PROPERTIES);
             const exclusion = LOOK_EXCLUDED_PROPERTIES.get(name);
@@ -2917,10 +3058,67 @@ export class VelarWebAnalyzer extends Analyzer {
             this.diagnostics.push(diagnostic("VEL5038", shorthandGuidance, value.span));
             return false;
         }
-        if (!this.validateLookStringVocabulary(name, value))
+        const site = { property: name, entrySpan, directive };
+        this.adviseLookTokenSpelling(name, value, site);
+        if (!this.validateLookStringVocabulary(name, value, undefined, site))
             return false;
         return true;
     }
+    /** Whether this value is written as a call to the module's `token` builder, alias included. */
+    isLookTokenCall(value) {
+        return value.kind === "CallExpression" && value.callee.kind === "IdentifierExpression"
+            && this.lookBuilderNames.get(value.callee.name) === "token";
+    }
+    /** How this module spells a call to the token builder, honouring an aliased import. */
+    lookTokenCallText(referenced) {
+        const local = [...this.lookBuilderNames].find(([, builder]) => builder === "token")?.[0] ?? null;
+        return { call: `${local ?? "token"}(${JSON.stringify(referenced)})`, imported: local !== null };
+    }
+    /**
+     * The edits that replace one written Look value with the checked token call,
+     * in the spelling of the site that wrote it.
+     *
+     * A `look:property="text"` directive is analyzed through a synthetic literal
+     * standing for the whole attribute, so the rewrite replaces the attribute:
+     * splicing a call between an attribute's quotes is not JSX, and a fix that
+     * produces a parse error is not a mechanical fix. The `look:property={...}`
+     * spelling carries a real expression whose span is the value alone, and is
+     * rewritten in place like a block entry.
+     */
+    lookTokenRewrite(value, referenced, site) {
+        const { call, imported } = this.lookTokenCallText(referenced);
+        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 imported ? [edit] : [this.lookTokenImportEdit(), edit];
+    }
+    /**
+     * D103 rule 4, free-text half — an advisory rather than a refusal.
+     *
+     * `fontFamily`, `backdropFilter` and the other free-text kinds accept
+     * arbitrary CSS text by construction, and a `var()` inside a larger value is
+     * a legitimate spelling with no single token to rewrite it to: the tail of a
+     * font stack, one layer of a filter list. Refusing there would refuse real
+     * CSS. What is advised is the narrow case where the *whole* value is one
+     * reference, because there `token("--name")` is the checked spelling of the
+     * same thing and the rewrite is unambiguous — which is the bar the `A`
+     * roster is written to.
+     */
+    adviseLookTokenSpelling(name, value, site) {
+        const kind = LOOK_PROPERTY_VALUE_KINDS.get(name);
+        if (kind !== "text" && kind !== "filter" && kind !== "transform")
+            return;
+        if (value.kind !== "LiteralExpression" || typeof value.value !== "string")
+            return;
+        const referenced = lookVarReferenceName(value.value);
+        if (referenced === null)
+            return;
+        const { call } = this.lookTokenCallText(referenced);
+        this.advise("A12", `Look property '${name}' accepts free text, so this design token reference compiles — as text nothing checks. ${call} is the checked spelling of the same reference, and it is legal in every Look property. A var() inside a larger value, such as a font stack's fallback, has no single token to stand for it and is not advised`, value.span, mechanicalEdits(this.lookTokenRewrite(value, referenced, site), `Use ${call}`));
+    }
     /**
      * `subject` names the position in the message. It is the property itself
      * everywhere except the `transition(...)` builder, whose first argument takes
@@ -2928,7 +3126,7 @@ export class VelarWebAnalyzer extends Analyzer {
      * refusal that named the longhand there would name a spelling the author
      * never wrote.
      */
-    validateLookStringVocabulary(name, value, subject = `Look property '${name}'`) {
+    validateLookStringVocabulary(name, value, subject = `Look property '${name}'`, site) {
         const kind = LOOK_PROPERTY_VALUE_KINDS.get(name);
         if (!kind || kind === "text" || kind === "filter" || kind === "transform" || kind === "animation")
             return true;
@@ -2937,6 +3135,19 @@ export class VelarWebAnalyzer extends Analyzer {
             return true;
         for (const text of values) {
             const normalized = text.trim();
+            // D103 rule 4: this is the refusal the shell wave met — every metric,
+            // shadow and transition property turned a design token reference away and
+            // named `import css unsafe` as the only way out, which is how a product's
+            // whole visual layer ended up outside Look. The reference is still
+            // refused as free text, because free text is what it was; what changed is
+            // that the refusal now names the checked spelling of the same reference
+            // and rewrites to it.
+            const referenced = site && lookVarReferenceName(normalized);
+            if (referenced) {
+                const { call } = this.lookTokenCallText(referenced);
+                this.diagnostics.push(diagnostic("VEL5038", `${subject} does not accept the text '${normalized}'; write the design token reference as ${call}, which is checked and legal in every Look property`, value.span, mechanicalEdits(this.lookTokenRewrite(value, referenced, site), `Use ${call}`)));
+                return false;
+            }
             if (kind === "metric" && /^[+-]?(?:\d+(?:\.\d+)?|\.\d+)(?:px|rem|em|vw|vh|vmin|vmax|%|fr|ms|s|deg|turn)$/u.test(normalized)) {
                 this.diagnostics.push(diagnostic("VEL5038", `Use the unit literal ${normalized}; quoted unit values are not part of Look`, value.span));
                 return false;