@elaraai/east-diagnostics 1.0.80 → 1.0.82

package/dist/src/rules/no-handrolled-value-type-mirror.js.map

@@ -1 +1 @@
-{"version":3,"file":"no-handrolled-value-type-mirror.js","sourceRoot":"","sources":["../../../src/rules/no-handrolled-value-type-mirror.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEvD,MAAM,IAAI,GAAG,iCAAiC,CAAC;AAC/C,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB;;6DAE6D;AAC7D,SAAS,mBAAmB,CAAC,IAAY,EAAE,GAAgB;IACzD,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;QAC7C,IAAI,KAAgC,CAAC;QACrC,IAAI,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,aAAa,KAAK,SAAS,IAAI,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,EAAE,CAAC;YACvI,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC;gBAC5D,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU;oBAAE,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;YACrE,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBAClD,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;oBAAE,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC;YACrE,CAAC;QACH,CAAC;QACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;YAC7D,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAC;QACvE,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,gFAAgF;AAChF,2EAA2E;AAC3E,4EAA4E;AAC5E,6EAA6E;AAC7E,6DAA6D;AAC7D,MAAM,CAAC,MAAM,2BAA2B,GAAa;IACnD,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EACT,+GAA+G;IACjH,KAAK,CAAC,IAAI,EAAE,GAAG;QACb,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACjB,IAAI,IAA+B,CAAC;QACpC,IAAI,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACnB,CAAC;aAAM,IAAI,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5E,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACnB,CAAC;QACD,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO;QAC/B,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;YAAE,OAAO;QAEnD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3F,MAAM,WAAW,GAAG,GAAG,IAAI,MAAM,CAAC;QAClC,IAAI,WAAW,KAAK,IAAI,CAAC,IAAI;YAAE,OAAO;QACtC,IAAI,CAAC,mBAAmB,CAAC,WAAW,EAAE,GAAG,CAAC;YAAE,OAAO;QAEnD,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAChC,GAAG,CAAC,MAAM,CAAC;YACT,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,IAAI;YACV,KAAK;YACL,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK;YAC7B,WAAW,EACT,KAAK,IAAI,CAAC,IAAI,mCAAmC,WAAW,+EAA+E,IAAI,CAAC,IAAI,yBAAyB,WAAW,MAAM;YAChM,QAAQ,EAAE,YAAY;SACvB,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}
+{"version":3,"file":"no-handrolled-value-type-mirror.js","sourceRoot":"","sources":["../../../src/rules/no-handrolled-value-type-mirror.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEpD,MAAM,IAAI,GAAG,iCAAiC,CAAC;AAC/C,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB;;6DAE6D;AAC7D,SAAS,mBAAmB,CAAC,IAAY,EAAE,GAAgB;IACzD,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;QAC7C,IAAI,KAAgC,CAAC;QACrC,IAAI,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,aAAa,KAAK,SAAS,IAAI,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,EAAE,CAAC;YACvI,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC;gBAC5D,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU;oBAAE,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;YACrE,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBAClD,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;oBAAE,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC;YACrE,CAAC;QACH,CAAC;QACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;YAC7D,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAC;QACvE,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,6DAA6D;AAC7D,SAAS,SAAS,CAAC,IAAkD;IACnE,OAAO,IAAI,CAAC,OAAO,CAAC;AACtB,CAAC;AAED,0EAA0E;AAC1E,SAAS,kBAAkB,CAAC,QAAiB,EAAE,GAAgB;IAC7D,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC3H,IAAI,IAAI,KAAK,SAAS,IAAI,oBAAoB,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC;gBACrE,KAAK,GAAG,IAAI,CAAC;gBACb,OAAO;YACT,CAAC;QACH,CAAC;QACD,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC;IACF,KAAK,CAAC,QAAQ,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,QAAQ,CAAC,CAAmB,EAAE,CAAW;IAChD,IAAI,GAAG,GAAkB,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC;QAAE,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC;IAC9C,OAAO,GAAG,CAAC;AACb,CAAC;AAED;wDACwD;AACxD,SAAS,cAAc,CAAC,KAAmD,EAAE,GAAgB;IAC3F,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAClF,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACpE,CAAC;AAED;8EAC8E;AAC9E,SAAS,cAAc,CAAC,IAAkD,EAAE,GAAgB;IAC1F,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC;IAC1B,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QAChC,MAAM,IAAI,GAAG,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3D,OAAO,IAAI,KAAK,SAAS,IAAI,oCAAoC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;AACL,CAAC;AAED,kFAAkF;AAClF,SAAS,sBAAsB,CAAC,IAAiB,EAAE,CAAW;IAC5D,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1H,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,MAAM,CAAC,GAAgB,EAAE,IAAa,EAAE,WAAmB;IAClE,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC5C,GAAG,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,CAAC;AACxH,CAAC;AAED,2EAA2E;AAC3E,kFAAkF;AAClF,kFAAkF;AAClF,mEAAmE;AACnE,wEAAwE;AACxE,EAAE;AACF,4EAA4E;AAC5E,6EAA6E;AAC7E,iFAAiF;AACjF,EAAE;AACF,+EAA+E;AAC/E,2CAA2C;AAC3C,MAAM,CAAC,MAAM,2BAA2B,GAAa;IACnD,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EACT,2KAA2K;IAC7K,KAAK,CAAC,IAAI,EAAE,GAAG;QACb,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACjB,IAAI,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChE,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;gBAAE,OAAO;YAClD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;gBAAE,OAAO;YACnD,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,kMAAkM,CAAC,CAAC;YAC3N,OAAO;QACT,CAAC;QAED,IAAI,IAA+B,CAAC;QACpC,IAAI,KAA+D,CAAC;QACpE,IAAI,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YACjB,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;aAAM,IAAI,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5E,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YACjB,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;QACpB,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QACtD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;YAAE,OAAO;QACnD,IAAI,cAAc,CAAC,KAAK,EAAE,GAAG,CAAC;YAAE,OAAO;QAEvC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,cAAc,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;YACrI,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,IAAI,CAAC,IAAI,+KAA+K,CAAC,CAAC;YACjN,OAAO;QACT,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3F,MAAM,WAAW,GAAG,GAAG,IAAI,MAAM,CAAC;QAClC,IAAI,WAAW,KAAK,IAAI,CAAC,IAAI;YAAE,OAAO;QACtC,IAAI,CAAC,mBAAmB,CAAC,WAAW,EAAE,GAAG,CAAC;YAAE,OAAO;QAEnD,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,IAAI,CAAC,IAAI,mCAAmC,WAAW,+EAA+E,IAAI,CAAC,IAAI,yBAAyB,WAAW,MAAM,CAAC,CAAC;IACpN,CAAC;CACF,CAAC"}

package/dist/src/rules/no-handrolled-variant.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"no-handrolled-variant.d.ts","sourceRoot":"","sources":["../../../src/rules/no-handrolled-variant.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAe,MAAM,aAAa,CAAC;AAuBzD,eAAO,MAAM,mBAAmB,EAAE,QAwBjC,CAAC"}
+{"version":3,"file":"no-handrolled-variant.d.ts","sourceRoot":"","sources":["../../../src/rules/no-handrolled-variant.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAyB,MAAM,aAAa,CAAC;AA6EnE,eAAO,MAAM,mBAAmB,EAAE,QA8BjC,CAAC"}

package/dist/src/rules/no-handrolled-variant.js

@@ -1,3 +1,4 @@
+import { importsEastPackage } from "../east-source.js";
 const NAME = "no-handrolled-variant";
 const CODE = 990004;
 const VARIANT_TYPE_NAMES = new Set(["variant", "some", "none", "option", "VariantExpr"]);
@@ -19,16 +20,72 @@ function expectsVariant(type) {
     }
     return false;
 }
+/** The plain or shorthand property of `node` called `name`, if it has one. */
+function propertyNamed(node, name, t) {
+    for (const p of node.properties) {
+        if ((t.isPropertyAssignment(p) || t.isShorthandPropertyAssignment(p)) &&
+            (t.isIdentifier(p.name) || t.isStringLiteral(p.name)) && p.name.text === name) {
+            return p;
+        }
+    }
+    return undefined;
+}
+/** Is `node` a variant's shape — exactly a String tag and a payload, `{ type: "Tag", value }`? */
+function spelledAsVariant(node, ctx) {
+    const t = ctx.ts;
+    if (node.properties.length !== 2)
+        return false;
+    const tag = propertyNamed(node, "type", t);
+    if (tag === undefined || propertyNamed(node, "value", t) === undefined)
+        return false;
+    const tagType = ctx.checker.getTypeAtLocation(t.isPropertyAssignment(tag) ? tag.initializer : tag.name);
+    const members = tagType.isUnion() ? tagType.types : [tagType];
+    return members.every((m) => (m.flags & t.TypeFlags.StringLike) !== 0);
+}
+/** Is `type` a published API's own type — every member an object type declared
+ * in a package's declarations: a library's (a React input's props, a DOM type),
+ * or a host-side type of East's own (`Resolution`, what `mergeWithResolutionsFor`
+ * takes)? An `any`, a type parameter, or a `{ type; value }` shape this
+ * project's source wrote is not. */
+function publishedShape(type, t) {
+    const members = (type.isUnion() ? type.types : [type])
+        .filter((m) => (m.flags & (t.TypeFlags.Null | t.TypeFlags.Undefined)) === 0);
+    return members.length > 0 && members.every((m) => {
+        if ((m.flags & t.TypeFlags.Object) === 0)
+            return false;
+        const declarations = (m.aliasSymbol ?? m.symbol)?.declarations ?? [];
+        return declarations.length > 0 && declarations.every((d) => d.getSourceFile().isDeclarationFile);
+    });
+}
+// A variant built by hand — a plain `{ type, value }` object — lacks the symbol
+// East's variants carry, so East's encoders, printers and comparers do not treat
+// it as one, and it drifts silently from the East type it spells. Two spellings
+// are caught:
+//
+// - any object spelling a `type` where a variant is expected;
+// - in a file that uses East, an object that IS a variant's shape — exactly a
+//   String tag and a payload — whatever slot it lands in: a fixture handed
+//   through `unknown`, a test matcher, a hand-written `{ type; value }`
+//   parameter, or no slot at all. Only a published API's own type declaring
+//   `type` and `value` is something else: a library's (a React input's props),
+//   or East's host-side `Resolution`, which `mergeWithResolutionsFor` takes.
 export const noHandrolledVariant = {
     name: NAME,
     code: CODE,
-    description: "Disallow plain object literals where an East variant/option is expected; use variant()/some()/none.",
+    description: "Disallow a variant built as a plain `{ type, value }` object literal — where a variant is expected, or anywhere in East source; use variant()/some()/none.",
     check(node, ctx) {
         const t = ctx.ts;
         if (!t.isObjectLiteralExpression(node))
             return;
+        // A hand-rolled variant spells its tag: an object with no `type` is some other
+        // input the expected union admits (a factory's options object).
+        if (propertyNamed(node, "type", t) === undefined)
+            return;
         const contextualType = ctx.checker.getContextualType(node);
-        if (contextualType === undefined || !expectsVariant(contextualType))
+        const inVariantSlot = contextualType !== undefined && expectsVariant(contextualType);
+        const byHand = !inVariantSlot && importsEastPackage(ctx.sourceFile, t) && spelledAsVariant(node, ctx) &&
+            (contextualType === undefined || !publishedShape(contextualType, t));
+        if (!inVariantSlot && !byHand)
             return;
         const sf = ctx.sourceFile;
         const start = node.getStart(sf);
@@ -37,7 +94,7 @@ export const noHandrolledVariant = {
             code: CODE,
             start,
             length: node.getEnd() - start,
-            messageText: 'Hand-rolled variant: build with `variant("Tag", value)`, `some(value)`, or `none` from @elaraai/east — never a plain `{ type, value }` object literal.',
+            messageText: 'Hand-rolled variant: build with `variant("Tag", value)`, `some(value)`, or `none` from @elaraai/east — never a plain `{ type, value }` object literal, which lacks the symbol East\'s variants carry.',
             category: "warning",
         });
     },

package/dist/src/rules/no-handrolled-variant.js.map

@@ -1 +1 @@
-{"version":3,"file":"no-handrolled-variant.js","sourceRoot":"","sources":["../../../src/rules/no-handrolled-variant.ts"],"names":[],"mappings":"AAOA,MAAM,IAAI,GAAG,uBAAuB,CAAC;AACrC,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC;AAEzF,2EAA2E;AAC3E,gFAAgF;AAChF,6EAA6E;AAC7E,yBAAyB;AACzB,SAAS,cAAc,CAAC,IAAa;IACnC,MAAM,KAAK,GAAc,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QAC5B,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,IAAI,IAAI,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC;QAC/D,IAAI,IAAI,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACpE,IAAI,OAAO,CAAC,qBAAqB,EAAE;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EACT,qGAAqG;IACvG,KAAK,CAAC,IAAa,EAAE,GAAgB;QACnC,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC;YAAE,OAAO;QAE/C,MAAM,cAAc,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAI,cAAc,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,cAAc,CAAC;YAAE,OAAO;QAE5E,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAChC,GAAG,CAAC,MAAM,CAAC;YACT,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,IAAI;YACV,KAAK;YACL,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK;YAC7B,WAAW,EACT,wJAAwJ;YAC1J,QAAQ,EAAE,SAAS;SACpB,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}
+{"version":3,"file":"no-handrolled-variant.js","sourceRoot":"","sources":["../../../src/rules/no-handrolled-variant.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEvD,MAAM,IAAI,GAAG,uBAAuB,CAAC;AACrC,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC;AAEzF,2EAA2E;AAC3E,gFAAgF;AAChF,6EAA6E;AAC7E,yBAAyB;AACzB,SAAS,cAAc,CAAC,IAAa;IACnC,MAAM,KAAK,GAAc,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QAC5B,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,IAAI,IAAI,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC;QAC/D,IAAI,IAAI,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACpE,IAAI,OAAO,CAAC,qBAAqB,EAAE;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,8EAA8E;AAC9E,SAAS,aAAa,CACpB,IAAgC,EAChC,IAAY,EACZ,CAAW;IAEX,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,6BAA6B,CAAC,CAAC,CAAC,CAAC;YACnE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAChF,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,kGAAkG;AAClG,SAAS,gBAAgB,CAAC,IAAgC,EAAE,GAAgB;IAC1E,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/C,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC3C,IAAI,GAAG,KAAK,SAAS,IAAI,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACrF,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACxG,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC9D,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;AACxE,CAAC;AAED;;;;oCAIoC;AACpC,SAAS,cAAc,CAAC,IAAa,EAAE,CAAW;IAChD,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SACnD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/E,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;QAC/C,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACvD,MAAM,YAAY,GAAG,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,MAAM,CAAC,EAAE,YAAY,IAAI,EAAE,CAAC;QACrE,OAAO,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,iBAAiB,CAAC,CAAC;IACnG,CAAC,CAAC,CAAC;AACL,CAAC;AAED,gFAAgF;AAChF,iFAAiF;AACjF,gFAAgF;AAChF,cAAc;AACd,EAAE;AACF,8DAA8D;AAC9D,8EAA8E;AAC9E,2EAA2E;AAC3E,wEAAwE;AACxE,4EAA4E;AAC5E,+EAA+E;AAC/E,6EAA6E;AAC7E,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EACT,4JAA4J;IAC9J,KAAK,CAAC,IAAa,EAAE,GAAgB;QACnC,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC;YAAE,OAAO;QAC/C,+EAA+E;QAC/E,gEAAgE;QAChE,IAAI,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,SAAS;YAAE,OAAO;QAEzD,MAAM,cAAc,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,aAAa,GAAG,cAAc,KAAK,SAAS,IAAI,cAAc,CAAC,cAAc,CAAC,CAAC;QACrF,MAAM,MAAM,GAAG,CAAC,aAAa,IAAI,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,IAAI,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC;YACnG,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,CAAC;QACvE,IAAI,CAAC,aAAa,IAAI,CAAC,MAAM;YAAE,OAAO;QAEtC,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAChC,GAAG,CAAC,MAAM,CAAC;YACT,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,IAAI;YACV,KAAK;YACL,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK;YAC7B,WAAW,EACT,uMAAuM;YACzM,QAAQ,EAAE,SAAS;SACpB,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}

package/dist/src/rules/no-host-comparison-on-east-values.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"no-host-comparison-on-east-values.d.ts","sourceRoot":"","sources":["../../../src/rules/no-host-comparison-on-east-values.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAY,MAAM,aAAa,CAAC;AAmCtD,eAAO,MAAM,4BAA4B,EAAE,QAkC1C,CAAC"}
+{"version":3,"file":"no-host-comparison-on-east-values.d.ts","sourceRoot":"","sources":["../../../src/rules/no-host-comparison-on-east-values.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAyB,MAAM,aAAa,CAAC;AA4DnE,eAAO,MAAM,4BAA4B,EAAE,QAmD1C,CAAC"}

package/dist/src/rules/no-host-comparison-on-east-values.js

@@ -1,41 +1,86 @@
 import { importsEastPackage } from "../east-source.js";
+import { isEastValueExpression, isEastValueShape, skipValueWrappers } from "../east-value.js";
 const NAME = "no-host-comparison-on-east-values";
 const CODE = 990029;
-// The DECODED-value shapes whose host comparison is broken: variants/options
-// (tagged structs — `===` is reference equality, always false for two decoded
-// values) and the sorted containers (no meaningful `<`). Same name-keyed
-// recognition as `no-handrolled-variant`.
-const VALUE_SHAPE_NAMES = new Set(["variant", "option", "SortedMap", "SortedSet"]);
-function isEastValueShapeType(type) {
-    const seen = new Set();
-    const stack = [type];
-    while (stack.length > 0) {
-        const current = stack.pop();
-        if (current === undefined || seen.has(current))
-            continue;
-        seen.add(current);
-        const name = current.aliasSymbol?.name ?? current.symbol?.name;
-        if (name !== undefined && VALUE_SHAPE_NAMES.has(name))
-            return true;
-        if (current.isUnionOrIntersection())
-            stack.push(...current.types);
-    }
-    return false;
-}
 function isNullish(e, t) {
     return e.kind === t.SyntaxKind.NullKeyword || (t.isIdentifier(e) && e.text === "undefined");
 }
-// Host code handling DECODED East values (a `ValueTypeOf<…>` world: variants,
-// options, SortedMap/SortedSet) must compare with `equalFor(T)` / order with
-// `compareFor(T)`/`lessFor(T)` — `===` compares object identity (always false
-// for two decoded variants) and `<`/`>` compare the wrong representation.
-// Nothing else covers host-side code: the block rules only see East blocks.
+/** Is `e` a decoded East value JavaScript holds as an object — a struct, a
+ * variant, a collection, a DateTime, a Blob — so `===` compares its identity? */
+function isEastObject(e, ctx) {
+    const type = ctx.checker.getTypeAtLocation(e);
+    if (isEastValueShape(type, ctx))
+        return true;
+    const objectLike = (type.flags & ctx.ts.TypeFlags.Object) !== 0 ||
+        (type.isUnion() && type.types.some((m) => (m.flags & ctx.ts.TypeFlags.Object) !== 0));
+    return objectLike && isEastValueExpression(e, ctx);
+}
+/** The expressions a comparator callback returns. */
+function returnedExpressions(fn, t) {
+    if (!t.isBlock(fn.body))
+        return [fn.body];
+    const out = [];
+    const visit = (n) => {
+        if (t.isFunctionLike(n))
+            return;
+        if (t.isReturnStatement(n) && n.expression !== undefined)
+            out.push(n.expression);
+        t.forEachChild(n, visit);
+    };
+    t.forEachChild(fn.body, visit);
+    return out;
+}
+/** The subtraction of East values a `sort` / `toSorted` comparator returns, if any. */
+function subtractingComparator(call, ctx) {
+    const t = ctx.ts;
+    const callee = call.expression;
+    if (!t.isPropertyAccessExpression(callee) || (callee.name.text !== "sort" && callee.name.text !== "toSorted"))
+        return undefined;
+    const fn = call.arguments[0];
+    if (fn === undefined || (!t.isArrowFunction(fn) && !t.isFunctionExpression(fn)))
+        return undefined;
+    for (const r of returnedExpressions(fn, t)) {
+        const e = skipValueWrappers(r, t);
+        if (t.isBinaryExpression(e) && e.operatorToken.kind === t.SyntaxKind.MinusToken &&
+            (isEastValueExpression(e.left, ctx) || isEastValueExpression(e.right, ctx))) {
+            return e;
+        }
+    }
+    return undefined;
+}
+// Host code handling DECODED East values (a `ValueTypeOf<…>` world: structs,
+// variants, options, collections) must compare with `equalFor(T)` and order with
+// `compareFor(T)` / `lessFor(T)`: `===` compares object identity (always false for
+// two decoded structs, variants, DateTimes or Sets), `<` / `>` compare the wrong
+// representation, and a comparator that subtracts is inconsistent over a `NaN`
+// and rounds an Integer past 2^53. Code that does mean identity (a fold handing
+// back the value it was given, a fast path ahead of `equalFor`) says so with
+// `Object.is(a, b)`, which this rule leaves alone. Nothing else covers host-side
+// code: the block rules only see East blocks.
 export const noHostComparisonOnEastValues = {
     name: NAME,
     code: CODE,
-    description: "Flag ===/!==/</> on decoded East values (variants, options, SortedMap/SortedSet) — use equalFor(T) / compareFor(T).",
+    description: "Flag ===/!==/</> and subtracting sort comparators on decoded East values — use equalFor(T) / compareFor(T).",
     check(node, ctx) {
         const t = ctx.ts;
+        const sf = ctx.sourceFile;
+        if (t.isCallExpression(node)) {
+            if (!importsEastPackage(sf, t))
+                return;
+            const subtraction = subtractingComparator(node, ctx);
+            if (subtraction === undefined)
+                return;
+            const start = subtraction.getStart(sf);
+            ctx.report({
+                ruleName: NAME,
+                code: CODE,
+                start,
+                length: subtraction.getEnd() - start,
+                messageText: "A comparator that subtracts East values mis-orders them — a `NaN` makes it inconsistent and an Integer past 2^53 rounds. Order with `compareFor(T)` (`xs.sort((a, b) => compare(a.v, b.v))`).",
+                category: "warning",
+            });
+            return;
+        }
         if (!t.isBinaryExpression(node))
             return;
         const k = t.SyntaxKind;
@@ -44,16 +89,16 @@ export const noHostComparisonOnEastValues = {
         const relational = op === k.LessThanToken || op === k.LessThanEqualsToken || op === k.GreaterThanToken || op === k.GreaterThanEqualsToken;
         if (!equality && !relational)
             return;
-        if (!importsEastPackage(ctx.sourceFile, t))
+        if (!importsEastPackage(sf, t))
             return;
         // `v === null` / `v !== undefined` are legitimate presence checks.
         if (isNullish(node.left, t) || isNullish(node.right, t))
             return;
-        const leftShaped = isEastValueShapeType(ctx.checker.getTypeAtLocation(node.left));
-        const rightShaped = isEastValueShapeType(ctx.checker.getTypeAtLocation(node.right));
-        if (!leftShaped && !rightShaped)
+        const flagged = equality
+            ? isEastObject(node.left, ctx) || isEastObject(node.right, ctx)
+            : isEastValueShape(ctx.checker.getTypeAtLocation(node.left), ctx) || isEastValueShape(ctx.checker.getTypeAtLocation(node.right), ctx);
+        if (!flagged)
             return;
-        const sf = ctx.sourceFile;
         const start = node.getStart(sf);
         ctx.report({
             ruleName: NAME,
@@ -61,7 +106,7 @@ export const noHostComparisonOnEastValues = {
             start,
             length: node.getEnd() - start,
             messageText: equality
-                ? "Host equality on a decoded East value compares object identity — two equal variants are never `===`. Use `equalFor(T)(a, b)`."
+                ? "Host equality on a decoded East value compares object identity — two equal structs, variants, DateTimes or Sets are never `===`. Use `equalFor(T)(a, b)`, or `Object.is(a, b)` where you mean the same object."
                 : "Host ordering on a decoded East value compares the wrong representation. Use `compareFor(T)` / `lessFor(T)` (e.g. `arr.sort(compareFor(T))`).",
             category: "warning",
         });

package/dist/src/rules/no-host-comparison-on-east-values.js.map

@@ -1 +1 @@
-{"version":3,"file":"no-host-comparison-on-east-values.js","sourceRoot":"","sources":["../../../src/rules/no-host-comparison-on-east-values.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEvD,MAAM,IAAI,GAAG,mCAAmC,CAAC;AACjD,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB,6EAA6E;AAC7E,8EAA8E;AAC9E,yEAAyE;AACzE,0CAA0C;AAC1C,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;AAEnF,SAAS,oBAAoB,CAAC,IAAa;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAW,CAAC;IAChC,MAAM,KAAK,GAAc,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QAC5B,IAAI,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QACzD,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClB,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,IAAI,IAAI,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC;QAC/D,IAAI,IAAI,KAAK,SAAS,IAAI,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACnE,IAAI,OAAO,CAAC,qBAAqB,EAAE;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,SAAS,CAAC,CAAgB,EAAE,CAAW;IAC9C,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,UAAU,CAAC,WAAW,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;AAC9F,CAAC;AAED,8EAA8E;AAC9E,6EAA6E;AAC7E,8EAA8E;AAC9E,0EAA0E;AAC1E,4EAA4E;AAC5E,MAAM,CAAC,MAAM,4BAA4B,GAAa;IACpD,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EACT,qHAAqH;IACvH,KAAK,CAAC,IAAI,EAAE,GAAG;QACb,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAAE,OAAO;QACxC,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;QACvB,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;QACnC,MAAM,QAAQ,GAAG,EAAE,KAAK,CAAC,CAAC,uBAAuB,IAAI,EAAE,KAAK,CAAC,CAAC,4BAA4B,IAAI,EAAE,KAAK,CAAC,CAAC,iBAAiB,IAAI,EAAE,KAAK,CAAC,CAAC,sBAAsB,CAAC;QAC5J,MAAM,UAAU,GAAG,EAAE,KAAK,CAAC,CAAC,aAAa,IAAI,EAAE,KAAK,CAAC,CAAC,mBAAmB,IAAI,EAAE,KAAK,CAAC,CAAC,gBAAgB,IAAI,EAAE,KAAK,CAAC,CAAC,sBAAsB,CAAC;QAC1I,IAAI,CAAC,QAAQ,IAAI,CAAC,UAAU;YAAE,OAAO;QACrC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;YAAE,OAAO;QACnD,mEAAmE;QACnE,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YAAE,OAAO;QAEhE,MAAM,UAAU,GAAG,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAClF,MAAM,WAAW,GAAG,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACpF,IAAI,CAAC,UAAU,IAAI,CAAC,WAAW;YAAE,OAAO;QAExC,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAChC,GAAG,CAAC,MAAM,CAAC;YACT,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,IAAI;YACV,KAAK;YACL,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK;YAC7B,WAAW,EAAE,QAAQ;gBACnB,CAAC,CAAC,+HAA+H;gBACjI,CAAC,CAAC,+IAA+I;YACnJ,QAAQ,EAAE,SAAS;SACpB,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}
+{"version":3,"file":"no-host-comparison-on-east-values.js","sourceRoot":"","sources":["../../../src/rules/no-host-comparison-on-east-values.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAE9F,MAAM,IAAI,GAAG,mCAAmC,CAAC;AACjD,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB,SAAS,SAAS,CAAC,CAAgB,EAAE,CAAW;IAC9C,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,UAAU,CAAC,WAAW,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;AAC9F,CAAC;AAED;iFACiF;AACjF,SAAS,YAAY,CAAC,CAAgB,EAAE,GAAgB;IACtD,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;IAC9C,IAAI,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC;QAC7D,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACxF,OAAO,UAAU,IAAI,qBAAqB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACrD,CAAC;AAED,qDAAqD;AACrD,SAAS,mBAAmB,CAAC,EAA4C,EAAE,CAAW;IACpF,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;YAAE,OAAO;QAChC,IAAI,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QACjF,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC;IACF,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,OAAO,GAAG,CAAC;AACb,CAAC;AAED,uFAAuF;AACvF,SAAS,qBAAqB,CAAC,IAAuB,EAAE,GAAgB;IACtE,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,CAAC,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC;QAAE,OAAO,SAAS,CAAC;IAChI,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAClG,KAAK,MAAM,CAAC,IAAI,mBAAmB,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU;YAC7E,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,qBAAqB,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;YAC9E,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,6EAA6E;AAC7E,iFAAiF;AACjF,mFAAmF;AACnF,iFAAiF;AACjF,+EAA+E;AAC/E,gFAAgF;AAChF,6EAA6E;AAC7E,iFAAiF;AACjF,8CAA8C;AAC9C,MAAM,CAAC,MAAM,4BAA4B,GAAa;IACpD,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EACT,6GAA6G;IAC/G,KAAK,CAAC,IAAI,EAAE,GAAG;QACb,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACjB,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC;QAC1B,IAAI,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC,kBAAkB,CAAC,EAAE,EAAE,CAAC,CAAC;gBAAE,OAAO;YACvC,MAAM,WAAW,GAAG,qBAAqB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACrD,IAAI,WAAW,KAAK,SAAS;gBAAE,OAAO;YACtC,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YACvC,GAAG,CAAC,MAAM,CAAC;gBACT,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,IAAI;gBACV,KAAK;gBACL,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,GAAG,KAAK;gBACpC,WAAW,EACT,+LAA+L;gBACjM,QAAQ,EAAE,SAAS;aACpB,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAAE,OAAO;QACxC,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;QACvB,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;QACnC,MAAM,QAAQ,GAAG,EAAE,KAAK,CAAC,CAAC,uBAAuB,IAAI,EAAE,KAAK,CAAC,CAAC,4BAA4B,IAAI,EAAE,KAAK,CAAC,CAAC,iBAAiB,IAAI,EAAE,KAAK,CAAC,CAAC,sBAAsB,CAAC;QAC5J,MAAM,UAAU,GAAG,EAAE,KAAK,CAAC,CAAC,aAAa,IAAI,EAAE,KAAK,CAAC,CAAC,mBAAmB,IAAI,EAAE,KAAK,CAAC,CAAC,gBAAgB,IAAI,EAAE,KAAK,CAAC,CAAC,sBAAsB,CAAC;QAC1I,IAAI,CAAC,QAAQ,IAAI,CAAC,UAAU;YAAE,OAAO;QACrC,IAAI,CAAC,kBAAkB,CAAC,EAAE,EAAE,CAAC,CAAC;YAAE,OAAO;QACvC,mEAAmE;QACnE,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YAAE,OAAO;QAEhE,MAAM,OAAO,GAAG,QAAQ;YACtB,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC;YAC/D,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;QACxI,IAAI,CAAC,OAAO;YAAE,OAAO;QAErB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAChC,GAAG,CAAC,MAAM,CAAC;YACT,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,IAAI;YACV,KAAK;YACL,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK;YAC7B,WAAW,EAAE,QAAQ;gBACnB,CAAC,CAAC,gNAAgN;gBAClN,CAAC,CAAC,+IAA+I;YACnJ,QAAQ,EAAE,SAAS;SACpB,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}

package/dist/src/rules/no-host-parse-to-east-values.d.ts

@@ -0,0 +1,3 @@
+import type { EastRule } from "../types.js";
+export declare const noHostParseToEastValues: EastRule;
+//# sourceMappingURL=no-host-parse-to-east-values.d.ts.map

package/dist/src/rules/no-host-parse-to-east-values.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-host-parse-to-east-values.d.ts","sourceRoot":"","sources":["../../../src/rules/no-host-parse-to-east-values.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAe,MAAM,aAAa,CAAC;AA2DzD,eAAO,MAAM,uBAAuB,EAAE,QAuBrC,CAAC"}

package/dist/src/rules/no-host-parse-to-east-values.js

@@ -0,0 +1,84 @@
+import { importsEastPackage } from "../east-source.js";
+import { isGlobalBuiltin, landsInEastSlot } from "../east-value.js";
+const NAME = "no-host-parse-to-east-values";
+const CODE = 990034;
+/** Global functions that read text into a JavaScript value. */
+const PARSERS = new Set(["BigInt", "Number", "parseFloat", "parseInt"]);
+/** Is `e` text? */
+function isText(e, ctx) {
+    return (ctx.checker.getTypeAtLocation(e).flags & ctx.ts.TypeFlags.StringLike) !== 0;
+}
+/** The text of a string literal, or `undefined` for text computed at run time. */
+function literalText(e, t) {
+    return t.isStringLiteral(e) || t.isNoSubstitutionTemplateLiteral(e) ? e.text : undefined;
+}
+/** A date and time with no zone — the one literal JavaScript reads in local time. */
+const ZONELESS_DATE_TIME = /^\d{4}-\d{2}-\d{2}[T ]\d{2}:\d{2}(?::\d{2}(?:\.\d+)?)?$/;
+/** Does `node` read text the JavaScript way — wrongly for East? Text written in
+ * the source is its author's to check, save a zoneless date-time handed to
+ * `new Date` / `Date.parse`, which reads it in local time. */
+function parsesText(node, ctx) {
+    const t = ctx.ts;
+    const misread = (text, date) => {
+        if (!isText(text, ctx))
+            return false;
+        const literal = literalText(text, t);
+        return literal === undefined || (date && ZONELESS_DATE_TIME.test(literal));
+    };
+    if (t.isCallExpression(node)) {
+        const callee = node.expression;
+        const text = node.arguments[0];
+        if (text === undefined)
+            return false;
+        if (t.isIdentifier(callee))
+            return PARSERS.has(callee.text) && isGlobalBuiltin(callee, ctx) && misread(text, false);
+        // `JSON.parse(s)`, `Date.parse(s)`
+        if (!t.isPropertyAccessExpression(callee) || !t.isIdentifier(callee.expression) || !isGlobalBuiltin(callee.expression, ctx))
+            return false;
+        if (callee.expression.text === "JSON" && callee.name.text === "parse")
+            return misread(text, false);
+        if (callee.expression.text === "Date" && callee.name.text === "parse")
+            return misread(text, true);
+        return false;
+    }
+    // `new Date(s)`
+    if (t.isNewExpression(node) && t.isIdentifier(node.expression) && node.expression.text === "Date") {
+        const text = node.arguments?.[0];
+        return node.arguments?.length === 1 && text !== undefined && isGlobalBuiltin(node.expression, ctx) && misread(text, true);
+    }
+    return false;
+}
+// Text read into an East value by a JavaScript parser is read wrongly: `BigInt("")`
+// is 0, `BigInt("0x10")` is 16 and `BigInt` takes values past 64 bits; `Number`
+// and `parseFloat` read `""` as 0 and stop at the first bad character;
+// `new Date(text)` reads a zoneless instant in local time. East reads text with
+// `parseFor(T)` — or a pattern with East's datetime format — and says whether it
+// succeeded. Flagged where the value lands in an East slot: an East function
+// value's argument, an East API's, or a field of a decoded East struct.
+export const noHostParseToEastValues = {
+    name: NAME,
+    code: CODE,
+    description: "Flag BigInt()/Number()/parseFloat()/parseInt()/JSON.parse()/new Date() reading text into an East slot — use parseFor(T) or East's datetime format.",
+    check(node, ctx) {
+        const t = ctx.ts;
+        if (!t.isCallExpression(node) && !t.isNewExpression(node))
+            return;
+        if (!importsEastPackage(ctx.sourceFile, t))
+            return;
+        if (!parsesText(node, ctx))
+            return;
+        if (!landsInEastSlot(node, ctx))
+            return;
+        const sf = ctx.sourceFile;
+        const start = node.getStart(sf);
+        ctx.report({
+            ruleName: NAME,
+            code: CODE,
+            start,
+            length: node.getEnd() - start,
+            messageText: "A JavaScript parser reads this text into an East value wrongly — `BigInt(\"\")` is 0, `BigInt(\"0x10\")` is 16, `new Date(text)` reads local time. Read it with `parseFor(T)` (or East's datetime format) and act on its `success`.",
+            category: "warning",
+        });
+    },
+};
+//# sourceMappingURL=no-host-parse-to-east-values.js.map

package/dist/src/rules/no-host-parse-to-east-values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-host-parse-to-east-values.js","sourceRoot":"","sources":["../../../src/rules/no-host-parse-to-east-values.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEpE,MAAM,IAAI,GAAG,8BAA8B,CAAC;AAC5C,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB,+DAA+D;AAC/D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;AAExE,mBAAmB;AACnB,SAAS,MAAM,CAAC,CAAgB,EAAE,GAAgB;IAChD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;AACtF,CAAC;AAED,kFAAkF;AAClF,SAAS,WAAW,CAAC,CAAgB,EAAE,CAAoB;IACzD,OAAO,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3F,CAAC;AAED,qFAAqF;AACrF,MAAM,kBAAkB,GAAG,yDAAyD,CAAC;AAErF;;8DAE8D;AAC9D,SAAS,UAAU,CAAC,IAAa,EAAE,GAAgB;IACjD,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,MAAM,OAAO,GAAG,CAAC,IAAmB,EAAE,IAAa,EAAW,EAAE;QAC9D,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACrC,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACrC,OAAO,OAAO,KAAK,SAAS,IAAI,CAAC,IAAI,IAAI,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7E,CAAC,CAAC;IACF,IAAI,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACrC,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC;YAAE,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACpH,mCAAmC;QACnC,IAAI,CAAC,CAAC,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAC1I,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACnG,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAClG,OAAO,KAAK,CAAC;IACf,CAAC;IACD,gBAAgB;IAChB,IAAI,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAClG,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;QACjC,OAAO,IAAI,CAAC,SAAS,EAAE,MAAM,KAAK,CAAC,IAAI,IAAI,KAAK,SAAS,IAAI,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5H,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,oFAAoF;AACpF,gFAAgF;AAChF,uEAAuE;AACvE,gFAAgF;AAChF,iFAAiF;AACjF,6EAA6E;AAC7E,wEAAwE;AACxE,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EACT,oJAAoJ;IACtJ,KAAK,CAAC,IAAI,EAAE,GAAG;QACb,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC;YAAE,OAAO;QAClE,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;YAAE,OAAO;QACnD,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC;YAAE,OAAO;QACnC,IAAI,CAAC,eAAe,CAAC,IAAqB,EAAE,GAAG,CAAC;YAAE,OAAO;QACzD,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAChC,GAAG,CAAC,MAAM,CAAC;YACT,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,IAAI;YACV,KAAK;YACL,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK;YAC7B,WAAW,EACT,qOAAqO;YACvO,QAAQ,EAAE,SAAS;SACpB,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}

package/dist/src/rules/no-host-print-of-east-values.d.ts

@@ -0,0 +1,3 @@
+import type { EastRule } from "../types.js";
+export declare const noHostPrintOfEastValues: EastRule;
+//# sourceMappingURL=no-host-print-of-east-values.d.ts.map

package/dist/src/rules/no-host-print-of-east-values.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-host-print-of-east-values.d.ts","sourceRoot":"","sources":["../../../src/rules/no-host-print-of-east-values.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAe,MAAM,aAAa,CAAC;AAkEzD,eAAO,MAAM,uBAAuB,EAAE,QAyBrC,CAAC"}

package/dist/src/rules/no-host-print-of-east-values.js

@@ -0,0 +1,92 @@
+import { importsEastPackage } from "../east-source.js";
+import { isEastValueExpression, isGlobalBuiltin, jsPrintDiffers } from "../east-value.js";
+const NAME = "no-host-print-of-east-values";
+const CODE = 990033;
+/** Methods that print their receiver the JavaScript way. */
+const PRINTING_METHODS = new Set(["toString", "toISOString", "toJSON"]);
+/** The CSS units a number is written in to size or turn an element. `%`, `s`,
+ *  `ms` and `pt` read as prose too ("50%", "5 s"), so a number printed with
+ *  those is still a print. */
+const CSS_UNIT = /^(?:px|r?em|ch|fr|deg|turn|[sdl]?v(?:h|w|min|max))(?![A-Za-z])/;
+/** Does `span` write a number as a CSS length (`${w}px`), which the browser
+ *  reads and no person does? East's printer (`180.0px`) and the locale
+ *  formatters (`1.234,5px`) are wrong there, and JavaScript's number is right. */
+function writesCssLength(span, ctx) {
+    if (!CSS_UNIT.test(span.literal.text))
+        return false;
+    const type = ctx.checker.getTypeAtLocation(span.expression);
+    const members = type.isUnion() ? type.types : [type];
+    return members.every((m) => (m.flags & ctx.ts.TypeFlags.NumberLike) !== 0);
+}
+/** The value `node` prints the JavaScript way, if it prints one. */
+function printedValue(node, ctx) {
+    const t = ctx.ts;
+    if (t.isCallExpression(node)) {
+        const callee = node.expression;
+        // `String(x)`
+        if (t.isIdentifier(callee) && callee.text === "String" && node.arguments.length === 1 && isGlobalBuiltin(callee, ctx)) {
+            return [node.arguments[0]];
+        }
+        if (t.isPropertyAccessExpression(callee)) {
+            // `JSON.stringify(x, …)`
+            if (t.isIdentifier(callee.expression) && callee.expression.text === "JSON" && callee.name.text === "stringify" && node.arguments.length > 0 && isGlobalBuiltin(callee.expression, ctx)) {
+                return [node.arguments[0]];
+            }
+            // `x.toString()`, `x.toISOString()`, `x.toJSON()`
+            if (PRINTING_METHODS.has(callee.name.text))
+                return [callee.expression];
+        }
+        return [];
+    }
+    // `` `…${x}…` `` — an untagged template prints each span, save a number
+    // written as a CSS length.
+    if (t.isTemplateExpression(node) && !t.isTaggedTemplateExpression(node.parent)) {
+        return node.templateSpans.filter((span) => !writesCssLength(span, ctx)).map((span) => span.expression);
+    }
+    // `"…" + x`
+    if (t.isBinaryExpression(node) && node.operatorToken.kind === t.SyntaxKind.PlusToken) {
+        const stringy = (e) => (ctx.checker.getTypeAtLocation(e).flags & t.TypeFlags.StringLike) !== 0;
+        if (stringy(node.left))
+            return [node.right];
+        if (stringy(node.right))
+            return [node.left];
+    }
+    return [];
+}
+// A decoded East value printed the JavaScript way prints something East never
+// does: a Float `5` for East's `5.0` (and `0` for `-0.0`), a DateTime in local
+// time or with a `Z`, a Blob as `1,2,3`, a struct or variant as `[object Object]`
+// or JSON East cannot read back. East prints a value with `printFor(T)`; a display
+// prints it in the viewer's language with the locale `Formatters`. A String, an
+// Integer and a Boolean print the same either way, so they pass, and so does a
+// number written as a CSS length, which styles an element rather than telling
+// anyone anything.
+export const noHostPrintOfEastValues = {
+    name: NAME,
+    code: CODE,
+    description: "Flag String()/toString()/toISOString()/JSON.stringify/template printing of a decoded East value JavaScript prints differently — use printFor(T) or the locale Formatters.",
+    check(node, ctx) {
+        const t = ctx.ts;
+        if (!t.isCallExpression(node) && !t.isTemplateExpression(node) && !t.isBinaryExpression(node))
+            return;
+        if (!importsEastPackage(ctx.sourceFile, t))
+            return;
+        for (const value of printedValue(node, ctx)) {
+            if (!jsPrintDiffers(ctx.checker.getTypeAtLocation(value), t))
+                continue;
+            if (!isEastValueExpression(value, ctx))
+                continue;
+            const sf = ctx.sourceFile;
+            const start = value.getStart(sf);
+            ctx.report({
+                ruleName: NAME,
+                code: CODE,
+                start,
+                length: value.getEnd() - start,
+                messageText: "JavaScript prints this East value its own way — `5` for East's `5.0`, a DateTime in local time or with a `Z`, `[object Object]` for a struct. Print it with `printFor(T)`, or in the viewer's language with the locale `Formatters`.",
+                category: "warning",
+            });
+        }
+    },
+};
+//# sourceMappingURL=no-host-print-of-east-values.js.map

package/dist/src/rules/no-host-print-of-east-values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-host-print-of-east-values.js","sourceRoot":"","sources":["../../../src/rules/no-host-print-of-east-values.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAE1F,MAAM,IAAI,GAAG,8BAA8B,CAAC;AAC5C,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB,4DAA4D;AAC5D,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC;AAExE;;8BAE8B;AAC9B,MAAM,QAAQ,GAAG,gEAAgE,CAAC;AAElF;;kFAEkF;AAClF,SAAS,eAAe,CAAC,IAAqB,EAAE,GAAgB;IAC9D,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACpD,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED,oEAAoE;AACpE,SAAS,YAAY,CAAC,IAAa,EAAE,GAAgB;IACnD,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,IAAI,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;QAC/B,cAAc;QACd,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,eAAe,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;YACtH,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,CAAC,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;YACzC,yBAAyB;YACzB,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,eAAe,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,CAAC;gBACvL,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;YAC9B,CAAC;YACD,kDAAkD;YAClD,IAAI,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACzE,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,wEAAwE;IACxE,2BAA2B;IAC3B,IAAI,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,0BAA0B,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/E,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzG,CAAC;IACD,YAAY;IACZ,IAAI,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC;QACrF,MAAM,OAAO,GAAG,CAAC,CAAgB,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC9G,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,8EAA8E;AAC9E,+EAA+E;AAC/E,kFAAkF;AAClF,mFAAmF;AACnF,gFAAgF;AAChF,+EAA+E;AAC/E,8EAA8E;AAC9E,mBAAmB;AACnB,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EACT,2KAA2K;IAC7K,KAAK,CAAC,IAAI,EAAE,GAAG;QACb,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAAE,OAAO;QACtG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;YAAE,OAAO;QACnD,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;YAC5C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBAAE,SAAS;YACvE,IAAI,CAAC,qBAAqB,CAAC,KAAK,EAAE,GAAG,CAAC;gBAAE,SAAS;YACjD,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC;YAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YACjC,GAAG,CAAC,MAAM,CAAC;gBACT,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,IAAI;gBACV,KAAK;gBACL,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,KAAK;gBAC9B,WAAW,EACT,sOAAsO;gBACxO,QAAQ,EAAE,SAAS;aACpB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;CACF,CAAC"}

package/dist/src/rules/no-js-collection-for-east-collection.d.ts

@@ -0,0 +1,3 @@
+import type { EastRule } from "../types.js";
+export declare const noJsCollectionForEastCollection: EastRule;
+//# sourceMappingURL=no-js-collection-for-east-collection.d.ts.map

package/dist/src/rules/no-js-collection-for-east-collection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-js-collection-for-east-collection.d.ts","sourceRoot":"","sources":["../../../src/rules/no-js-collection-for-east-collection.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAyB,MAAM,aAAa,CAAC;AAsCnE,eAAO,MAAM,+BAA+B,EAAE,QA4B7C,CAAC"}

package/dist/src/rules/no-js-collection-for-east-collection.js

@@ -0,0 +1,70 @@
+import { importsEastPackage } from "../east-source.js";
+import { isGlobalBuiltin, landsInEastSlot } from "../east-value.js";
+const NAME = "no-js-collection-for-east-collection";
+const CODE = 990036;
+/** The key type of the `Set<K>` / `Map<K, V>` `node` builds: its first type argument. */
+function keyTypeOf(node, ctx) {
+    const t = ctx.ts;
+    const type = ctx.checker.getTypeAtLocation(node);
+    if ((type.flags & t.TypeFlags.Object) === 0 || (type.objectFlags & t.ObjectFlags.Reference) === 0)
+        return undefined;
+    return ctx.checker.getTypeArguments(type)[0];
+}
+/** Does JavaScript find a key of `type` by identity? It does for an object (a struct,
+ * a variant, a DateTime's `Date`, a Blob's `Uint8Array`, a vector), and finds a
+ * string, a number, a bigint, a boolean or `null` by value. A branded primitive
+ * (`string & { brand }`) is a primitive at run time; `any`, `unknown` and a type
+ * parameter say nothing. */
+function keyedByIdentity(type, t) {
+    const primitive = t.TypeFlags.StringLike | t.TypeFlags.NumberLike | t.TypeFlags.BigIntLike | t.TypeFlags.BooleanLike |
+        t.TypeFlags.EnumLike | t.TypeFlags.ESSymbolLike | t.TypeFlags.Null | t.TypeFlags.Undefined;
+    const members = type.isUnion() ? type.types : [type];
+    return members.some((m) => {
+        if (m.isIntersection())
+            return m.types.every((part) => (part.flags & primitive) === 0);
+        return (m.flags & (t.TypeFlags.Object | t.TypeFlags.NonPrimitive)) !== 0;
+    });
+}
+// East writes a Set or Dict keyed by strings, numbers, bigints, booleans or null
+// as a JavaScript `Set` / `Map` (the `east` skill), and one keyed by structs,
+// variants, DateTimes or Blobs as a `SortedSet` / `SortedMap` over
+// `compareFor(K)`. JavaScript finds an object key by identity, so a plain
+// collection of them never finds an equal key built elsewhere (the struct decoded
+// from the store, the variant a callback returned) and holds two equal members
+// side by side, where East finds keys by value. The order a plain collection
+// keeps is East's to handle (#968), not this rule's.
+export const noJsCollectionForEastCollection = {
+    name: NAME,
+    code: CODE,
+    description: "Flag new Set()/new Map() of object keys (structs, variants, DateTimes, Blobs) landing in an East Set or Dict — build SortedSet/SortedMap with compareFor(K).",
+    check(node, ctx) {
+        const t = ctx.ts;
+        if (!t.isNewExpression(node) || !t.isIdentifier(node.expression))
+            return;
+        const kind = node.expression.text;
+        if (kind !== "Set" && kind !== "Map")
+            return;
+        if (!importsEastPackage(ctx.sourceFile, t))
+            return;
+        if (!isGlobalBuiltin(node.expression, ctx))
+            return;
+        const key = keyTypeOf(node, ctx);
+        if (key === undefined || !keyedByIdentity(key, t))
+            return;
+        if (!landsInEastSlot(node, ctx))
+            return;
+        const sf = ctx.sourceFile;
+        const start = node.getStart(sf);
+        ctx.report({
+            ruleName: NAME,
+            code: CODE,
+            start,
+            length: node.getEnd() - start,
+            messageText: kind === "Set"
+                ? "A JavaScript `Set` finds a struct, variant, DateTime or Blob member by identity, so an equal value built elsewhere misses it. Build `new SortedSet(values, compareFor(K))`."
+                : "A JavaScript `Map` finds a struct, variant, DateTime or Blob key by identity, so an equal key built elsewhere misses its entry. Build `new SortedMap(entries, compareFor(K))`.",
+            category: "warning",
+        });
+    },
+};
+//# sourceMappingURL=no-js-collection-for-east-collection.js.map

package/dist/src/rules/no-js-collection-for-east-collection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-js-collection-for-east-collection.js","sourceRoot":"","sources":["../../../src/rules/no-js-collection-for-east-collection.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEpE,MAAM,IAAI,GAAG,sCAAsC,CAAC;AACpD,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB,yFAAyF;AACzF,SAAS,SAAS,CAAC,IAAsB,EAAE,GAAgB;IACzD,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAE,IAAsB,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACvI,OAAO,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAwB,CAAC,CAAC,CAAC,CAAC,CAAC;AACnE,CAAC;AAED;;;;4BAI4B;AAC5B,SAAS,eAAe,CAAC,IAAa,EAAE,CAAW;IACjD,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC,WAAW;QAClH,CAAC,CAAC,SAAS,CAAC,QAAQ,GAAG,CAAC,CAAC,SAAS,CAAC,YAAY,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC;IAC7F,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QACxB,IAAI,CAAC,CAAC,cAAc,EAAE;YAAE,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QACvF,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;AACL,CAAC;AAED,iFAAiF;AACjF,8EAA8E;AAC9E,mEAAmE;AACnE,0EAA0E;AAC1E,kFAAkF;AAClF,+EAA+E;AAC/E,6EAA6E;AAC7E,qDAAqD;AACrD,MAAM,CAAC,MAAM,+BAA+B,GAAa;IACvD,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EACT,8JAA8J;IAChK,KAAK,CAAC,IAAI,EAAE,GAAG;QACb,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,OAAO;QACzE,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAClC,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK;YAAE,OAAO;QAC7C,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;YAAE,OAAO;QACnD,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;YAAE,OAAO;QACnD,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACjC,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC;YAAE,OAAO;QAC1D,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC;YAAE,OAAO;QACxC,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAChC,GAAG,CAAC,MAAM,CAAC;YACT,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,IAAI;YACV,KAAK;YACL,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK;YAC7B,WAAW,EAAE,IAAI,KAAK,KAAK;gBACzB,CAAC,CAAC,6KAA6K;gBAC/K,CAAC,CAAC,gLAAgL;YACpL,QAAQ,EAAE,SAAS;SACpB,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}

package/dist/src/rules/no-js-type-dispatch-on-east-values.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import type { EastRule } from "../types.js";
+export declare const noJsTypeDispatchOnEastValues: EastRule;
+//# sourceMappingURL=no-js-type-dispatch-on-east-values.d.ts.map