@elaraai/east-diagnostics 1.0.80 → 1.0.81

package/README.md

@@ -34,7 +34,7 @@ like any linter.
 - **`no-redundant-east-cast`** - Redundant TS type info on the value of `$.let`/`$.const` that the East type argument already governs — a cast (`as …`/`<…>`), `new Map<K,V>()` generics, or an `East.value(x, T)` wrapper.
 - **`prefer-explicit-east-type`** - One-arg `$.let`/`$.const` on an under-determined value (`[]`, `{}`, `new Map()`).
 - **`prefer-some-none`** - `variant("some"/"none", …)` instead of `some()` / `none`.
-- **`no-handrolled-variant`** - A plain object literal where an East variant/option is expected.
+- **`no-handrolled-variant`** - A plain object literal where an East variant/option is expected — or, in a file that imports East, a `{ type, value }` literal with a string tag in any slot but a published API's own type (a declaration file's, like East's `Resolution`). A literal lacks the brand East tells a variant by.
 - **`no-east-namespaced-type`** - `East.IntegerType` etc. instead of a bare import.
 - **`prefer-let-const-over-east-value`** - `East.value(…)` declared or returned inside an `East.function` block.
 - **`no-relative-src-import`** - Importing *another* package's internals via `../src/…` or a deep `@elaraai/x/src` path instead of its published name. (A package importing its **own** `src` relatively — e.g. a spec's `../src/index.js` — is exempt; it cannot import its own published name.)
@@ -49,7 +49,7 @@ like any linter.
 These share one principle: **inside an East block the code must be East all the way down, and the host language may *declare* an East/e3 program but never *compute* its data-dependent IR, keys, or values.**
 
 - **`no-host-in-east-block`** - Inside an East block, any host-language construct: a host call (a local TS helper, a JS builtin, a JS Array method), a TS closure/function *declaration*, a host operator on East operands (`a + b`, `cond ? a : b`, `&&`/`||`), host index access (`arr[i]` on a JS value), a JS `for`/`while`/`if` that emits IR, or host string interpolation. (East method chains, `$.*`, `East.*`/`Expr.*`, `variant`/`some`/`none`, `East.str`, and any `@elaraai/*` call are East and never flagged.)
-- **`no-module-scope-east-macro`** - A module-scope TS helper whose every return builds East values/IR (`variant`/`some`/`none`/`East.value`/an `Expr` chain) or a composite string key (`(o, l) => `${o}|${l}``) — make it a real `East.function`, or model the data with typed keys / nested East structures.
+- **`no-module-scope-east-macro`** - A module-scope TS helper whose every return builds East IR (an `Expr` chain, `East.value`, `variant`/`some` over an `Expr`), or a composite string key (`(o, l) => `${o}|${l}``) that feeds East data — make it a real `East.function`, or model the data with typed keys / nested East structures. A helper building decoded values over host data (a renderer's handler, a test's fixture) and a host storage key are host code, and pass.
 - **`no-compile-time-data-injection`** - Build-time data ingestion (a `node:fs` import/call, `JSON.parse`, `process.env`) at module scope — load data at runtime via `e3.input` / datasets / platform tasks. (A genuine seed-time bootstrap with no East-side reader is an accepted warning.)
 - **`no-compile-time-seed-data`** - Host-computed data passed as the seed (3rd arg) of `e3.input(name, type, variant('value', seed))` — a `new Map()`/array filled in place by host `for`-loops, or an object literal of host calls (`num(cfg.x)`, `BigInt(...)`) — bakes a build-time snapshot into the deployed program. The default must be a small *authored constant* (a literal, an empty/literal `Map`/`Set`/array/struct, or an East value `variant`/`some`/`none`/`East.value`) or omitted; load real/bulk data at runtime (a `BlobType` input parsed with `blob.decodeCsv(…)` in an `e3.task`, a platform `FileSystem.readFile`, or `e3.record` + `e3.mutation`).
 
@@ -61,21 +61,42 @@ These share one principle: **inside an East block the code must be East all the
 - **`prefer-const-ui-callbacks`** - An `East.function` handler written inline in a JSX prop — rebuilt each render, and `equalFor` can't distinguish function values, so memoized renderers miss the swap. Bind once with `$.const`.
 - **`no-dynamic-bind-path`** - A `Data.bind` / `State.bind` / `Navigation.bind` key computed from an East value — bind keys must be IR-build constants or the binding is missing from the `ui()` manifest.
 - **`no-build-time-clock`** - `Date.now()` / argless `new Date()` at module scope of East/e3 source — the BUILD clock gets baked into the deployed program.
-- **`no-handrolled-value-type-mirror`** - A hand-authored `interface Foo {…}` mirroring an in-scope East type value `FooType` — derive it with `ValueTypeOf<typeof FooType>` so it can't drift.
-- **`no-host-comparison-on-east-values`** - `===`/`<` on decoded East values (variants/options, `SortedMap`/`SortedSet`) — use `equalFor(T)` / `compareFor(T)`.
+- **`no-handrolled-value-type-mirror`** - A hand-authored `interface Foo {…}` mirroring an in-scope East type value `FooType`, an `as { type: …; value: … }` assertion, or a `*Like` interface or type literal over East types — derive it with `ValueTypeOf<typeof FooType>` so it can't drift, and narrow a decoded union on its tag. A factory's options interface (`SubtypeExprOrValue<…>` members) is an input, not a mirror, and passes.
+- **`no-host-comparison-on-east-values`** - `===`/`<` on decoded East values, and a sort comparator that subtracts them — use `equalFor(T)` / `compareFor(T)`, or `Object.is(a, b)` where you mean the same object (a memo, a cache).
 - **`require-example-returns`** - An `example()` without `returns` (for a non-`NullType`/`UIComponentType` output) — the harness runs the fn as a bare statement and the assertion false-passes.
 - **`no-duplicate-definition-name`** - Two same-kind e3 definitions sharing a name string in one file — they collide at deploy time.
 - **`no-inline-credentials`** - A literal string credential (`password`, `secretAccessKey`, `token`, …, directly or wrapped in `some(…)`/`variant("some", …)`) in East/e3 source — the IR is content-addressed, exported, and replicated, so a secret in it is effectively unredactable. Use `Env.get("NAME")` (east-node-std) and supply the value per environment. Credentials paired with a localhost host/endpoint (test containers) are exempt.
 
+### Host code holding decoded East values
+
+A renderer, a runtime or a test holds East values once East has decoded them,
+and each rule here flags a JavaScript stand-in for one of East's utilities.
+Each stand-in type-checks clean, and several hid real bugs in the renderers
+(#960, #962).
+A value is recognised by where its type comes from — a `ValueTypeOf` struct, a
+member carrying `[variant_symbol]`, a `SortedSet` / `SortedMap`, or a field,
+payload or element read out of one — never by a name list. `hostValueRuleNames`
+names the set (with `no-host-comparison-on-east-values`,
+`no-handrolled-value-type-mirror`, `no-handrolled-variant` and
+`prefer-some-none`), for a caller running only these with `only`.
+
+- **`no-host-print-of-east-values`** - `String(x)`, `x.toString()`, `` `${x}` ``, `JSON.stringify(x)`, `x.toISOString()` on a value JavaScript prints differently from East — a Float, a DateTime, a Blob, a struct, a variant, a collection. Use `printFor(T)`, or the locale formatters for a person. A String, an Integer and a Boolean print the same either way, and a number written as a CSS length (`` `${w}px` ``) is style, not a print.
+- **`no-host-parse-to-east-values`** - `BigInt(s)`, `Number(s)`, `parseFloat(s)`, `parseInt(s)`, `new Date(s)`, `Date.parse(s)` or `JSON.parse(s)` reading text into an East slot — an East function value's argument, a variant's payload, a struct's field. Use `parseFor(T)` and act on its `success`. Text written in the source is its author's, save a zoneless date-time, which `new Date` reads in local time.
+- **`no-js-type-dispatch-on-east-values`** - `typeof x` or `x instanceof C` on an East value — dispatch on its East type (`isValueOf(x, T)`) or its variant tag.
+- **`no-js-collection-for-east-collection`** - A JavaScript `Set` / `Map` keyed by structs, variants or DateTimes landing in an East Set, Dict or variant payload — it finds a key by identity, so an equal key never finds its entry. Use `SortedSet` / `SortedMap` with `compareFor(K)`. String, Integer, Float and Boolean keys are East's own idiom and pass.
+
 ## Usage
 
 ```typescript
 import * as ts from "typescript";
-import { runEastRules, createDiagnosticsService } from "@elaraai/east-diagnostics";
+import { runEastRules, createDiagnosticsService, hostValueRuleNames } from "@elaraai/east-diagnostics";
 
 // Pure: run the rules over one source file you already have a program + checker for.
 const diagnostics = runEastRules(ts, program, sourceFile, checker, { disabled: ["prefer-some-none"] });
 
+// Only the rules over host code holding decoded East values.
+const hostValues = runEastRules(ts, program, sourceFile, checker, { only: hostValueRuleNames });
+
 // Or let the service resolve the project and merge native + rule diagnostics.
 const service = createDiagnosticsService();
 const text = service.diagnoseText("/path/to/file.ts"); // "" when clean

package/dist/src/east-value.d.ts

@@ -0,0 +1,42 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import type * as ts from "typescript";
+import type { RuleContext, TsModule } from "./types.js";
+/** Is `type` (or one of its non-nullish members) a decoded East struct, variant
+ * or sorted collection? A type with an East `Expr` among its members — a factory's
+ * `SubtypeExprOrValue<…>` input — is authoring, not a decoded value. */
+export declare function isEastValueShape(type: ts.Type, ctx: RuleContext): boolean;
+/** Does JavaScript print a value of `type` differently from East? A String, an
+ * Integer (`bigint`) and a Boolean print the same either way; a Float (`5` for
+ * East's `5.0`), a DateTime, a Blob and every object do not. */
+export declare function jsPrintDiffers(type: ts.Type, t: TsModule): boolean;
+/** Is `id` JavaScript's own global (`String`, `BigInt`, `Set`, `JSON`, …) — declared
+ * by the default library, not shadowed by a local or an import? */
+export declare function isGlobalBuiltin(id: ts.Identifier, ctx: RuleContext): boolean;
+/** Strip the wrappers that leave a value as it is: parentheses, `!`, `as`,
+ * `satisfies` and `<T>` assertions. */
+export declare function skipValueWrappers(e: ts.Expression, t: TsModule): ts.Expression;
+/**
+ * Is `e` a decoded East value — typed as an East struct, variant or sorted
+ * collection, or read out of one (a field, a payload, an element), or a `const`
+ * bound to such a read?
+ *
+ * @param e - The expression
+ * @param ctx - The rule context
+ * @returns Whether the expression evaluates to a decoded East value
+ */
+export declare function isEastValueExpression(e: ts.Expression, ctx: RuleContext): boolean;
+/**
+ * Does `e` land in a decoded East value — an argument to an East function value
+ * or a utility over decoded values (an encoder, a comparer), a field of a decoded
+ * struct, a variant's payload — rather than in an East program (authored input
+ * East converts through its type) or in host code?
+ *
+ * @param e - The expression
+ * @param ctx - The rule context
+ * @returns Whether the value `e` produces becomes (part of) a decoded East value
+ */
+export declare function landsInEastSlot(e: ts.Expression, ctx: RuleContext): boolean;
+//# sourceMappingURL=east-value.d.ts.map

package/dist/src/east-value.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"east-value.d.ts","sourceRoot":"","sources":["../../src/east-value.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AA2DxD;;wEAEwE;AACxE,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,GAAG,OAAO,CAKzE;AAQD;;gEAEgE;AAChE,wBAAgB,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,GAAG,OAAO,CAGlE;AAED;mEACmE;AACnE,wBAAgB,eAAe,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,WAAW,GAAG,OAAO,CAM5E;AAED;uCACuC;AACvC,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,EAAE,CAAC,EAAE,QAAQ,GAAG,EAAE,CAAC,UAAU,CAS9E;AAKD;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,WAAW,GAAG,OAAO,CAEjF;AA4GD;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,WAAW,GAAG,OAAO,CAE3E"}

package/dist/src/east-value.js

@@ -0,0 +1,223 @@
+import { isEastExprType } from "./east-type.js";
+import { insideBlockScope } from "./block-scope.js";
+import { resolvesToEastImport } from "./east-source.js";
+// DECODED East values — the host-side world of `ValueTypeOf<…>`: what a renderer,
+// a runtime or a test holds once East has decoded a value. Their TypeScript types
+// are mostly JavaScript's own (`bigint`, `number`, `string`, `Date`, `Set`, `Map`,
+// arrays), so a value is recognised by where its type COMES FROM, never by a name
+// list:
+//
+// - a struct is an object type declared by East's `ValueTypeOf` mapped type;
+// - a variant or option is an object type carrying East's `[variant_symbol]`;
+// - a `SortedSet` / `SortedMap` is East's own class;
+// - and anything read out of one of those — a struct's field, a variant's
+//   `value`, an element of a collection read from one — is an East value too.
+/** Is `decl` declared by the `@elaraai/east` package — its built declarations, or
+ * its source when a workspace links to it? */
+function declaredByEast(decl) {
+    const file = decl.getSourceFile().fileName.replace(/\\/g, "/");
+    return /(?:@elaraai\/east|\/libs\/east)\/(?:dist\/)?src\//.test(file);
+}
+/** Is `decl` declared by an East-ecosystem package the file depends on — a built
+ * declaration file of `@elaraai/*` (east, east-ui, e3, …)? A package's own sources
+ * are not declaration files, so its local helpers never count. */
+function declaredByEastPackage(decl) {
+    const sf = decl.getSourceFile();
+    return sf.isDeclarationFile && /(?:\/@elaraai\/|\/libs\/)/.test(sf.fileName.replace(/\\/g, "/"));
+}
+/** The non-nullish constituents of `type`. */
+function constituents(type, t) {
+    const members = type.isUnion() ? type.types : [type];
+    return members.filter((m) => (m.flags & (t.TypeFlags.Null | t.TypeFlags.Undefined | t.TypeFlags.Void)) === 0);
+}
+/** A decoded East struct: an object type East's `ValueTypeOf` mapped type declares. */
+function isStructConstituent(type, t) {
+    return (type.symbol?.declarations ?? []).some((d) => t.isMappedTypeNode(d) && declaredByEast(d));
+}
+/** A decoded East variant (an option is one): an object type carrying East's `[variant_symbol]`. */
+function isVariantConstituent(type, checker) {
+    if ((type.flags & 1 /* Any */) !== 0)
+        return false;
+    for (const prop of checker.getPropertiesOfType(type)) {
+        if (!String(prop.escapedName).startsWith("__@variant_symbol"))
+            continue;
+        if ((prop.declarations ?? []).some(declaredByEast))
+            return true;
+    }
+    return false;
+}
+/** East's own sorted collections. */
+function isSortedConstituent(type) {
+    const name = type.symbol?.name;
+    return (name === "SortedSet" || name === "SortedMap") && (type.symbol?.declarations ?? []).some(declaredByEast);
+}
+/** Is `type` (or one of its non-nullish members) a decoded East struct, variant
+ * or sorted collection? A type with an East `Expr` among its members — a factory's
+ * `SubtypeExprOrValue<…>` input — is authoring, not a decoded value. */
+export function isEastValueShape(type, ctx) {
+    if (isEastExprType(type))
+        return false;
+    return constituents(type, ctx.ts).some((m) => isStructConstituent(m, ctx.ts) || isVariantConstituent(m, ctx.checker) || isSortedConstituent(m));
+}
+/** Is `type` a decoded East struct or variant — a value whose properties are its
+ * fields, or its tag and payload? */
+function isRecordShape(type, ctx) {
+    return constituents(type, ctx.ts).some((m) => isStructConstituent(m, ctx.ts) || isVariantConstituent(m, ctx.checker));
+}
+/** Does JavaScript print a value of `type` differently from East? A String, an
+ * Integer (`bigint`) and a Boolean print the same either way; a Float (`5` for
+ * East's `5.0`), a DateTime, a Blob and every object do not. */
+export function jsPrintDiffers(type, t) {
+    const same = t.TypeFlags.StringLike | t.TypeFlags.BigIntLike | t.TypeFlags.BooleanLike;
+    return constituents(type, t).some((m) => (m.flags & same) === 0);
+}
+/** Is `id` JavaScript's own global (`String`, `BigInt`, `Set`, `JSON`, …) — declared
+ * by the default library, not shadowed by a local or an import? */
+export function isGlobalBuiltin(id, ctx) {
+    const declarations = ctx.checker.getSymbolAtLocation(id)?.declarations ?? [];
+    return declarations.length > 0 && declarations.every((d) => {
+        const file = d.getSourceFile();
+        return ctx.program?.isSourceFileDefaultLibrary(file) ?? /\/typescript\/lib\/lib\.[^/]*\.d\.ts$/.test(file.fileName.replace(/\\/g, "/"));
+    });
+}
+/** Strip the wrappers that leave a value as it is: parentheses, `!`, `as`,
+ * `satisfies` and `<T>` assertions. */
+export function skipValueWrappers(e, t) {
+    let cur = e;
+    for (;;) {
+        if (t.isParenthesizedExpression(cur) || t.isNonNullExpression(cur) || t.isAsExpression(cur) || t.isTypeAssertionExpression(cur) || t.isSatisfiesExpression(cur)) {
+            cur = cur.expression;
+        }
+        else {
+            return cur;
+        }
+    }
+}
+/** Methods that read an element out of a collection. */
+const ELEMENT_READS = new Set(["get", "at"]);
+/**
+ * Is `e` a decoded East value — typed as an East struct, variant or sorted
+ * collection, or read out of one (a field, a payload, an element), or a `const`
+ * bound to such a read?
+ *
+ * @param e - The expression
+ * @param ctx - The rule context
+ * @returns Whether the expression evaluates to a decoded East value
+ */
+export function isEastValueExpression(e, ctx) {
+    return eastValueExpression(e, ctx, 0);
+}
+function eastValueExpression(e, ctx, depth) {
+    const t = ctx.ts;
+    const expr = skipValueWrappers(e, t);
+    const type = ctx.checker.getTypeAtLocation(expr);
+    // An `Expr`, or a factory input that may be one, is authoring.
+    if (isEastExprType(type))
+        return false;
+    if (isEastValueShape(type, ctx))
+        return true;
+    // A field of a struct, or a variant's tag and payload.
+    if (t.isPropertyAccessExpression(expr)) {
+        return isRecordShape(ctx.checker.getTypeAtLocation(expr.expression), ctx);
+    }
+    // An element of a collection read from an East value.
+    if (t.isElementAccessExpression(expr)) {
+        return eastValueExpression(expr.expression, ctx, depth);
+    }
+    if (t.isCallExpression(expr) && t.isPropertyAccessExpression(expr.expression) && ELEMENT_READS.has(expr.expression.name.text)) {
+        return eastValueExpression(expr.expression.expression, ctx, depth);
+    }
+    // A `const` bound to one of the above.
+    if (t.isIdentifier(expr) && depth < 3) {
+        const decl = ctx.checker.getSymbolAtLocation(expr)?.valueDeclaration;
+        if (decl !== undefined && t.isVariableDeclaration(decl) && decl.initializer !== undefined &&
+            t.isVariableDeclarationList(decl.parent) && (decl.parent.flags & t.NodeFlags.Const) !== 0) {
+            return eastValueExpression(decl.initializer, ctx, depth + 1);
+        }
+    }
+    return false;
+}
+/** Is `call` East's `variant(…)` / `some(…)` — a value constructor its payload
+ * flows through? */
+function isValueConstructorCall(call, ctx) {
+    const t = ctx.ts;
+    const callee = call.expression;
+    return t.isIdentifier(callee) && (callee.text === "variant" || callee.text === "some") &&
+        resolvesToEastImport(callee, ctx.checker, t);
+}
+/** The type of the parameter `call`'s argument `index` binds — a rest
+ * parameter's element type. */
+function parameterTypeAt(signature, index, call, ctx) {
+    const t = ctx.ts;
+    const params = signature.getParameters();
+    if (params.length === 0)
+        return undefined;
+    const param = params[Math.min(index, params.length - 1)];
+    const type = ctx.checker.getTypeOfSymbolAtLocation(param, call);
+    const declaration = param.valueDeclaration;
+    if (declaration !== undefined && t.isParameter(declaration) && declaration.dotDotDotToken !== undefined) {
+        return ctx.checker.getTypeArguments(type)[0];
+    }
+    return type;
+}
+/** Follow the value `e` produces to where it lands. */
+function flowOf(e, ctx) {
+    const t = ctx.ts;
+    if (insideBlockScope(e, ctx))
+        return "program";
+    let node = e;
+    // Whether the value has become part of a decoded East struct or variant.
+    let east = false;
+    for (;;) {
+        const parent = node.parent;
+        if (parent === undefined)
+            return east ? "value" : "host";
+        if (t.isParenthesizedExpression(parent) || t.isAsExpression(parent) || t.isSatisfiesExpression(parent) ||
+            t.isNonNullExpression(parent) || t.isTypeAssertionExpression(parent) ||
+            t.isArrayLiteralExpression(parent) || t.isSpreadElement(parent)) {
+            node = parent;
+            continue;
+        }
+        if ((t.isPropertyAssignment(parent) && parent.initializer === node) || t.isShorthandPropertyAssignment(parent)) {
+            const literal = parent.parent;
+            const contextual = ctx.checker.getContextualType(literal);
+            if (contextual !== undefined && isRecordShape(contextual, ctx))
+                east = true;
+            node = literal;
+            continue;
+        }
+        const args = (t.isCallExpression(parent) || t.isNewExpression(parent)) ? parent.arguments ?? [] : [];
+        if ((t.isCallExpression(parent) || t.isNewExpression(parent)) && args.includes(node)) {
+            if (t.isCallExpression(parent) && isValueConstructorCall(parent, ctx)) {
+                east = true;
+                node = parent;
+                continue;
+            }
+            const signature = ctx.checker.getResolvedSignature(parent);
+            const declaration = signature?.getDeclaration();
+            if (signature !== undefined && declaration !== undefined && declaredByEastPackage(declaration)) {
+                // A parameter that takes an `Expr` takes authoring input; one that takes a
+                // decoded value — an East function value's, an encoder's — takes a value.
+                const index = args.indexOf(node);
+                const param = parameterTypeAt(signature, index, parent, ctx);
+                return param !== undefined && isEastExprType(param) ? "program" : "value";
+            }
+            return east ? "value" : "host";
+        }
+        return east ? "value" : "host";
+    }
+}
+/**
+ * Does `e` land in a decoded East value — an argument to an East function value
+ * or a utility over decoded values (an encoder, a comparer), a field of a decoded
+ * struct, a variant's payload — rather than in an East program (authored input
+ * East converts through its type) or in host code?
+ *
+ * @param e - The expression
+ * @param ctx - The rule context
+ * @returns Whether the value `e` produces becomes (part of) a decoded East value
+ */
+export function landsInEastSlot(e, ctx) {
+    return flowOf(e, ctx) === "value";
+}
+//# sourceMappingURL=east-value.js.map

package/dist/src/east-value.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"east-value.js","sourceRoot":"","sources":["../../src/east-value.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAExD,kFAAkF;AAClF,kFAAkF;AAClF,mFAAmF;AACnF,kFAAkF;AAClF,QAAQ;AACR,EAAE;AACF,6EAA6E;AAC7E,8EAA8E;AAC9E,qDAAqD;AACrD,0EAA0E;AAC1E,8EAA8E;AAE9E;8CAC8C;AAC9C,SAAS,cAAc,CAAC,IAAa;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC/D,OAAO,mDAAmD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxE,CAAC;AAED;;kEAEkE;AAClE,SAAS,qBAAqB,CAAC,IAAa;IAC1C,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IAChC,OAAO,EAAE,CAAC,iBAAiB,IAAI,2BAA2B,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;AACnG,CAAC;AAED,8CAA8C;AAC9C,SAAS,YAAY,CAAC,IAAa,EAAE,CAAW;IAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AAChH,CAAC;AAED,uFAAuF;AACvF,SAAS,mBAAmB,CAAC,IAAa,EAAE,CAAW;IACrD,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;AACnG,CAAC;AAED,oGAAoG;AACpG,SAAS,oBAAoB,CAAC,IAAa,EAAE,OAAuB;IAClE,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACnD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,UAAU,CAAC,mBAAmB,CAAC;YAAE,SAAS;QACxE,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;YAAE,OAAO,IAAI,CAAC;IAClE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qCAAqC;AACrC,SAAS,mBAAmB,CAAC,IAAa;IACxC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;IAC/B,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;AAClH,CAAC;AAED;;wEAEwE;AACxE,MAAM,UAAU,gBAAgB,CAAC,IAAa,EAAE,GAAgB;IAC9D,IAAI,cAAc,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,OAAO,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,IAAI,mBAAmB,CAAC,CAAC,CAAC,CACxG,CAAC;AACJ,CAAC;AAED;qCACqC;AACrC,SAAS,aAAa,CAAC,IAAa,EAAE,GAAgB;IACpD,OAAO,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;AACxH,CAAC;AAED;;gEAEgE;AAChE,MAAM,UAAU,cAAc,CAAC,IAAa,EAAE,CAAW;IACvD,MAAM,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC;IACvF,OAAO,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AACnE,CAAC;AAED;mEACmE;AACnE,MAAM,UAAU,eAAe,CAAC,EAAiB,EAAE,GAAgB;IACjE,MAAM,YAAY,GAAG,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,YAAY,IAAI,EAAE,CAAC;IAC7E,OAAO,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;QACzD,MAAM,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,CAAC;QAC/B,OAAO,GAAG,CAAC,OAAO,EAAE,0BAA0B,CAAC,IAAI,CAAC,IAAI,uCAAuC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IAC1I,CAAC,CAAC,CAAC;AACL,CAAC;AAED;uCACuC;AACvC,MAAM,UAAU,iBAAiB,CAAC,CAAgB,EAAE,CAAW;IAC7D,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,SAAS,CAAC;QACR,IAAI,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,CAAC;YAChK,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,OAAO,GAAG,CAAC;QACb,CAAC;IACH,CAAC;AACH,CAAC;AAED,wDAAwD;AACxD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AAE7C;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CAAC,CAAgB,EAAE,GAAgB;IACtE,OAAO,mBAAmB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,mBAAmB,CAAC,CAAgB,EAAE,GAAgB,EAAE,KAAa;IAC5E,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,MAAM,IAAI,GAAG,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACjD,+DAA+D;IAC/D,IAAI,cAAc,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,IAAI,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7C,uDAAuD;IACvD,IAAI,CAAC,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,OAAO,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5E,CAAC;IACD,sDAAsD;IACtD,IAAI,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,OAAO,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9H,OAAO,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IACrE,CAAC;IACD,uCAAuC;IACvC,IAAI,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,gBAAgB,CAAC;QACrE,IACE,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS;YACrF,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EACzF,CAAC;YACD,OAAO,mBAAmB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAMD;oBACoB;AACpB,SAAS,sBAAsB,CAAC,IAAuB,EAAE,GAAgB;IACvE,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,OAAO,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC;QACpF,oBAAoB,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AACjD,CAAC;AAED;+BAC+B;AAC/B,SAAS,eAAe,CAAC,SAAuB,EAAE,KAAa,EAAE,IAAa,EAAE,GAAgB;IAC9F,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,MAAM,MAAM,GAAG,SAAS,CAAC,aAAa,EAAE,CAAC;IACzC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAE,CAAC;IAC1D,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAChE,MAAM,WAAW,GAAG,KAAK,CAAC,gBAAgB,CAAC;IAC3C,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACxG,OAAO,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAwB,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,uDAAuD;AACvD,SAAS,MAAM,CAAC,CAAgB,EAAE,GAAgB;IAChD,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;IACjB,IAAI,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,IAAI,IAAI,GAAY,CAAC,CAAC;IACtB,yEAAyE;IACzE,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,SAAS,CAAC;QACR,MAAM,MAAM,GAAwB,IAAI,CAAC,MAAM,CAAC;QAChD,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;QACzD,IACE,CAAC,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,qBAAqB,CAAC,MAAM,CAAC;YAClG,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,yBAAyB,CAAC,MAAM,CAAC;YACpE,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,EAC/D,CAAC;YACD,IAAI,GAAG,MAAM,CAAC;YACd,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,6BAA6B,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/G,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;YAC9B,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;YAC1D,IAAI,UAAU,KAAK,SAAS,IAAI,aAAa,CAAC,UAAU,EAAE,GAAG,CAAC;gBAAE,IAAI,GAAG,IAAI,CAAC;YAC5E,IAAI,GAAG,OAAO,CAAC;YACf,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAA6B,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/H,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAqB,CAAC,EAAE,CAAC;YACtG,IAAI,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,sBAAsB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;gBACtE,IAAI,GAAG,IAAI,CAAC;gBACZ,IAAI,GAAG,MAAM,CAAC;gBACd,SAAS;YACX,CAAC;YACD,MAAM,SAAS,GAAG,GAAG,CAAC,OAAO,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;YAC3D,MAAM,WAAW,GAAG,SAAS,EAAE,cAAc,EAAE,CAAC;YAChD,IAAI,SAAS,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS,IAAI,qBAAqB,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC/F,2EAA2E;gBAC3E,0EAA0E;gBAC1E,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAqB,CAAC,CAAC;gBAClD,MAAM,KAAK,GAAG,eAAe,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;gBAC7D,OAAO,KAAK,KAAK,SAAS,IAAI,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;YAC5E,CAAC;YACD,OAAO,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;QACjC,CAAC;QACD,OAAO,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;IACjC,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAAC,CAAgB,EAAE,GAAgB;IAChE,OAAO,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,OAAO,CAAC;AACpC,CAAC"}

package/dist/src/rules/index.d.ts

@@ -30,5 +30,23 @@ export { noHostComparisonOnEastValues } from "./no-host-comparison-on-east-value
 export { requireExampleReturns } from "./require-example-returns.js";
 export { noDuplicateDefinitionName } from "./no-duplicate-definition-name.js";
 export { noInlineCredentials } from "./no-inline-credentials.js";
+export { noHostPrintOfEastValues } from "./no-host-print-of-east-values.js";
+export { noHostParseToEastValues } from "./no-host-parse-to-east-values.js";
+export { noJsTypeDispatchOnEastValues } from "./no-js-type-dispatch-on-east-values.js";
+export { noJsCollectionForEastCollection } from "./no-js-collection-for-east-collection.js";
 export declare const allRules: readonly EastRule[];
+/**
+ * The rules over host code that builds or holds DECODED East values (#963): build
+ * variants and options with East's constructors, and print, read, dispatch on,
+ * collect, compare and type values through East. The set the UI packages' source
+ * and tests run with `only`: their code handles values, and where it builds East
+ * programs (a factory, a handle builder) it is the library the IR-authoring rules
+ * are written for, not a program they check.
+ *
+ * Plain names, so a bundle importing anything else from this package leaves the
+ * rules out: mapped from the rule objects at load, the list is a call a bundler
+ * must keep, and every plugin hook carried all eight. The spec checks each name
+ * is a rule's.
+ */
+export declare const hostValueRuleNames: readonly string[];
 //# sourceMappingURL=index.d.ts.map

package/dist/src/rules/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/rules/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AA6B5C,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,2BAA2B,EAAE,MAAM,uCAAuC,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,2BAA2B,EAAE,MAAM,sCAAsC,CAAC;AACnF,OAAO,EAAE,4BAA4B,EAAE,MAAM,wCAAwC,CAAC;AACtF,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAEjE,eAAO,MAAM,QAAQ,EAAE,SAAS,QAAQ,EAkCvC,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/rules/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAiC5C,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,2BAA2B,EAAE,MAAM,uCAAuC,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,2BAA2B,EAAE,MAAM,sCAAsC,CAAC;AACnF,OAAO,EAAE,4BAA4B,EAAE,MAAM,wCAAwC,CAAC;AACtF,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,EAAE,4BAA4B,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2CAA2C,CAAC;AAE5F,eAAO,MAAM,QAAQ,EAAE,SAAS,QAAQ,EAyCvC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,kBAAkB,EAAE,SAAS,MAAM,EAS/C,CAAC"}

package/dist/src/rules/index.js

@@ -25,6 +25,10 @@ import { noHostComparisonOnEastValues } from "./no-host-comparison-on-east-value
 import { requireExampleReturns } from "./require-example-returns.js";
 import { noDuplicateDefinitionName } from "./no-duplicate-definition-name.js";
 import { noInlineCredentials } from "./no-inline-credentials.js";
+import { noHostPrintOfEastValues } from "./no-host-print-of-east-values.js";
+import { noHostParseToEastValues } from "./no-host-parse-to-east-values.js";
+import { noJsTypeDispatchOnEastValues } from "./no-js-type-dispatch-on-east-values.js";
+import { noJsCollectionForEastCollection } from "./no-js-collection-for-east-collection.js";
 export { noRedundantEastCast } from "./no-redundant-east-cast.js";
 export { preferExplicitEastType } from "./prefer-explicit-east-type.js";
 export { preferSomeNone } from "./prefer-some-none.js";
@@ -52,6 +56,10 @@ export { noHostComparisonOnEastValues } from "./no-host-comparison-on-east-value
 export { requireExampleReturns } from "./require-example-returns.js";
 export { noDuplicateDefinitionName } from "./no-duplicate-definition-name.js";
 export { noInlineCredentials } from "./no-inline-credentials.js";
+export { noHostPrintOfEastValues } from "./no-host-print-of-east-values.js";
+export { noHostParseToEastValues } from "./no-host-parse-to-east-values.js";
+export { noJsTypeDispatchOnEastValues } from "./no-js-type-dispatch-on-east-values.js";
+export { noJsCollectionForEastCollection } from "./no-js-collection-for-east-collection.js";
 export const allRules = [
     // East-side idiom hygiene (original set)
     noRedundantEastCast,
@@ -86,5 +94,35 @@ export const allRules = [
     noDuplicateDefinitionName,
     // secrets hygiene: IR is content-addressed and replicated — no literal creds
     noInlineCredentials,
+    // host code holding DECODED East values: print, read, dispatch and collect
+    // them through East (#963) — with noHostComparisonOnEastValues and
+    // noHandrolledValueTypeMirror above
+    noHostPrintOfEastValues,
+    noHostParseToEastValues,
+    noJsTypeDispatchOnEastValues,
+    noJsCollectionForEastCollection,
+];
+/**
+ * The rules over host code that builds or holds DECODED East values (#963): build
+ * variants and options with East's constructors, and print, read, dispatch on,
+ * collect, compare and type values through East. The set the UI packages' source
+ * and tests run with `only`: their code handles values, and where it builds East
+ * programs (a factory, a handle builder) it is the library the IR-authoring rules
+ * are written for, not a program they check.
+ *
+ * Plain names, so a bundle importing anything else from this package leaves the
+ * rules out: mapped from the rule objects at load, the list is a call a bundler
+ * must keep, and every plugin hook carried all eight. The spec checks each name
+ * is a rule's.
+ */
+export const hostValueRuleNames = [
+    "prefer-some-none",
+    "no-handrolled-variant",
+    "no-host-print-of-east-values",
+    "no-host-parse-to-east-values",
+    "no-js-type-dispatch-on-east-values",
+    "no-js-collection-for-east-collection",
+    "no-host-comparison-on-east-values",
+    "no-handrolled-value-type-mirror",
 ];
 //# sourceMappingURL=index.js.map

package/dist/src/rules/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/rules/index.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,2BAA2B,EAAE,MAAM,uCAAuC,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,2BAA2B,EAAE,MAAM,sCAAsC,CAAC;AACnF,OAAO,EAAE,4BAA4B,EAAE,MAAM,wCAAwC,CAAC;AACtF,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAEjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,2BAA2B,EAAE,MAAM,uCAAuC,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,2BAA2B,EAAE,MAAM,sCAAsC,CAAC;AACnF,OAAO,EAAE,4BAA4B,EAAE,MAAM,wCAAwC,CAAC;AACtF,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAEjE,MAAM,CAAC,MAAM,QAAQ,GAAwB;IAC3C,yCAAyC;IACzC,mBAAmB;IACnB,sBAAsB;IACtB,cAAc;IACd,mBAAmB;IACnB,oBAAoB;IACpB,2BAA2B;IAC3B,mBAAmB;IACnB,sBAAsB;IACtB,0BAA0B;IAC1B,sBAAsB;IACtB,wBAAwB;IACxB,mBAAmB;IACnB,6EAA6E;IAC7E,wEAAwE;IACxE,oCAAoC;IACpC,iBAAiB;IACjB,sBAAsB;IACtB,0BAA0B;IAC1B,qBAAqB;IACrB,mEAAmE;IACnE,sBAAsB;IACtB,mBAAmB;IACnB,sBAAsB;IACtB,sBAAsB;IACtB,iBAAiB;IACjB,gBAAgB;IAChB,2BAA2B;IAC3B,4BAA4B;IAC5B,qBAAqB;IACrB,yBAAyB;IACzB,6EAA6E;IAC7E,mBAAmB;CACpB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/rules/index.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,2BAA2B,EAAE,MAAM,uCAAuC,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,2BAA2B,EAAE,MAAM,sCAAsC,CAAC;AACnF,OAAO,EAAE,4BAA4B,EAAE,MAAM,wCAAwC,CAAC;AACtF,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,EAAE,4BAA4B,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2CAA2C,CAAC;AAE5F,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,2BAA2B,EAAE,MAAM,uCAAuC,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,2BAA2B,EAAE,MAAM,sCAAsC,CAAC;AACnF,OAAO,EAAE,4BAA4B,EAAE,MAAM,wCAAwC,CAAC;AACtF,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,EAAE,4BAA4B,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2CAA2C,CAAC;AAE5F,MAAM,CAAC,MAAM,QAAQ,GAAwB;IAC3C,yCAAyC;IACzC,mBAAmB;IACnB,sBAAsB;IACtB,cAAc;IACd,mBAAmB;IACnB,oBAAoB;IACpB,2BAA2B;IAC3B,mBAAmB;IACnB,sBAAsB;IACtB,0BAA0B;IAC1B,sBAAsB;IACtB,wBAAwB;IACxB,mBAAmB;IACnB,6EAA6E;IAC7E,wEAAwE;IACxE,oCAAoC;IACpC,iBAAiB;IACjB,sBAAsB;IACtB,0BAA0B;IAC1B,qBAAqB;IACrB,mEAAmE;IACnE,sBAAsB;IACtB,mBAAmB;IACnB,sBAAsB;IACtB,sBAAsB;IACtB,iBAAiB;IACjB,gBAAgB;IAChB,2BAA2B;IAC3B,4BAA4B;IAC5B,qBAAqB;IACrB,yBAAyB;IACzB,6EAA6E;IAC7E,mBAAmB;IACnB,2EAA2E;IAC3E,mEAAmE;IACnE,oCAAoC;IACpC,uBAAuB;IACvB,uBAAuB;IACvB,4BAA4B;IAC5B,+BAA+B;CAChC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAsB;IACnD,kBAAkB;IAClB,uBAAuB;IACvB,8BAA8B;IAC9B,8BAA8B;IAC9B,oCAAoC;IACpC,sCAAsC;IACtC,mCAAmC;IACnC,iCAAiC;CAClC,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"no-handrolled-value-type-mirror.d.ts","sourceRoot":"","sources":["../../../src/rules/no-handrolled-value-type-mirror.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAe,MAAM,aAAa,CAAC;AAoCzD,eAAO,MAAM,2BAA2B,EAAE,QAiCzC,CAAC"}
+{"version":3,"file":"no-handrolled-value-type-mirror.d.ts","sourceRoot":"","sources":["../../../src/rules/no-handrolled-value-type-mirror.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAyB,MAAM,aAAa,CAAC;AAyGnE,eAAO,MAAM,2BAA2B,EAAE,QAuCzC,CAAC"}

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

@@ -1,4 +1,5 @@
-import { importsEastPackage } from "../east-source.js";
+import { importsEastPackage, resolvesToEastImport } from "../east-source.js";
+import { isEastValueShape } from "../east-value.js";
 const NAME = "no-handrolled-value-type-mirror";
 const CODE = 990028;
 /** Is there a VALUE binding named `name` in this file (import or top-level
@@ -29,44 +30,116 @@ function eastTypeValueInFile(name, ctx) {
     }
     return false;
 }
-// A hand-authored TS `interface Foo { … }` next to an East type value `FooType`
-// is a parallel MIRROR of the decoded value shape — it drifts silently the
-// moment the East type gains a field, and no compiler complains (a renderer
-// shipped with three missing config fields exactly this way). Decoded shapes
-// must be DERIVED: `type Foo = ValueTypeOf<typeof FooType>`.
+/** The member signatures of an interface or type literal. */
+function membersOf(node) {
+    return node.members;
+}
+/** Does a type node mention an `@elaraai/*` import anywhere inside it? */
+function mentionsEastImport(typeNode, ctx) {
+    const t = ctx.ts;
+    let found = false;
+    const visit = (n) => {
+        if (found)
+            return;
+        if (t.isTypeReferenceNode(n)) {
+            const name = t.isIdentifier(n.typeName) ? n.typeName : t.isQualifiedName(n.typeName) ? leftmost(n.typeName, t) : undefined;
+            if (name !== undefined && resolvesToEastImport(name, ctx.checker, t)) {
+                found = true;
+                return;
+            }
+        }
+        t.forEachChild(n, visit);
+    };
+    visit(typeNode);
+    return found;
+}
+function leftmost(q, t) {
+    let cur = q;
+    while (t.isQualifiedName(cur))
+        cur = cur.left;
+    return cur;
+}
+/** Is some member of `shape` typed as a decoded East value — a variant, a struct,
+ * a sorted collection — however its type is spelled? */
+function holdsEastValue(shape, ctx) {
+    const t = ctx.ts;
+    return membersOf(shape).some((m) => t.isPropertySignature(m) && m.type !== undefined &&
+        isEastValueShape(ctx.checker.getTypeFromTypeNode(m.type), ctx));
+}
+/** A factory's options interface — members typed `SubtypeExprOrValue<…>` /
+ * `ExprType<…>` — describes what an author passes IN, not a decoded value. */
+function isFactoryInput(node, ctx) {
+    const t = ctx.ts;
+    const sf = ctx.sourceFile;
+    return membersOf(node).some((m) => {
+        const type = t.isPropertySignature(m) ? m.type : undefined;
+        return type !== undefined && /\b(?:SubtypeExprOrValue|ExprType)</.test(type.getText(sf));
+    });
+}
+/** A `{ type: …; value: … }` type literal — a variant's shape written by hand. */
+function isVariantShapedLiteral(node, t) {
+    if (!t.isTypeLiteralNode(node))
+        return false;
+    const names = new Set(node.members.flatMap((m) => (m.name !== undefined && t.isIdentifier(m.name) ? [m.name.text] : [])));
+    return names.has("type") && names.has("value");
+}
+function report(ctx, node, messageText) {
+    const start = node.getStart(ctx.sourceFile);
+    ctx.report({ ruleName: NAME, code: CODE, start, length: node.getEnd() - start, messageText, category: "suggestion" });
+}
+// A hand-authored TS type next to the East type it describes is a parallel
+// MIRROR of the decoded value shape — it drifts silently the moment the East type
+// gains a field, and no compiler complains (a renderer shipped with three missing
+// config fields exactly this way). Decoded shapes must be DERIVED:
+// `type Foo = ValueTypeOf<typeof FooType>`. Three spellings are caught:
+//
+// - `interface Foo` / `type FooValue = { … }` beside an in-scope `FooType`;
+// - a `*Like` interface or type literal built from East types (`StateLike`);
+// - an `as { type: …; value: … }` assertion — a variant's shape written by hand.
+//
+// A factory's options interface (`SubtypeExprOrValue<…>` members) is an input,
+// not a decoded mirror, and is left alone.
 export const noHandrolledValueTypeMirror = {
     name: NAME,
     code: CODE,
-    description: "A hand-authored interface mirroring an in-scope East type — derive it with ValueTypeOf<typeof XType> instead.",
+    description: "A hand-authored type mirroring an East type (Foo beside FooType, a *Like stand-in, an `as { type; value }` assertion) — derive it with ValueTypeOf<typeof XType> instead.",
     check(node, ctx) {
         const t = ctx.ts;
+        if (t.isAsExpression(node) || t.isTypeAssertionExpression(node)) {
+            if (!isVariantShapedLiteral(node.type, t))
+                return;
+            if (!importsEastPackage(ctx.sourceFile, t))
+                return;
+            report(ctx, node.type, "This `{ type, value }` assertion hand-mirrors an East variant — it hides the value's real type. Narrow the typed value on its tag (`v.type === …`), or type it with `ValueTypeOf<typeof XType>`.");
+            return;
+        }
         let name;
+        let shape;
         if (t.isInterfaceDeclaration(node)) {
             name = node.name;
+            shape = node;
         }
         else if (t.isTypeAliasDeclaration(node) && t.isTypeLiteralNode(node.type)) {
             name = node.name;
+            shape = node.type;
         }
-        if (name === undefined)
+        if (name === undefined || shape === undefined)
             return;
         if (!importsEastPackage(ctx.sourceFile, t))
             return;
+        if (isFactoryInput(shape, ctx))
+            return;
+        if (name.text.length > "Like".length && name.text.endsWith("Like") && (mentionsEastImport(shape, ctx) || holdsEastValue(shape, ctx))) {
+            report(ctx, name, `\`${name.text}\` is a loose stand-in for an East value's type — it drifts silently when the East type changes. Type the value with \`ValueTypeOf<typeof XType>\` of the East type it holds.`);
+            return;
+        }
         const base = name.text.endsWith("Value") ? name.text.slice(0, -"Value".length) : name.text;
         const counterpart = `${base}Type`;
         if (counterpart === name.text)
             return;
         if (!eastTypeValueInFile(counterpart, ctx))
             return;
-        const sf = ctx.sourceFile;
-        const start = name.getStart(sf);
-        ctx.report({
-            ruleName: NAME,
-            code: CODE,
-            start,
-            length: name.getEnd() - start,
-            messageText: `\`${name.text}\` hand-mirrors the East type \`${counterpart}\` — it drifts silently when the East type gains a field. Derive it: \`type ${name.text} = ValueTypeOf<typeof ${counterpart}>\`.`,
-            category: "suggestion",
-        });
+        report(ctx, name, `\`${name.text}\` hand-mirrors the East type \`${counterpart}\` — it drifts silently when the East type gains a field. Derive it: \`type ${name.text} = ValueTypeOf<typeof ${counterpart}>\`.`);
     },
 };
 //# sourceMappingURL=no-handrolled-value-type-mirror.js.map