@gyral/core 0.1.0 → 0.3.0

package/dist/element-types.d.ts

@@ -1,9 +1,11 @@
-import type { LitElement } from 'lit';
 import type { DriverOverrides } from './command.js';
 import type { StoreOverrides } from './store.js';
 import type { ComponentSpec, Tagged } from './types.js';
-/** The custom element class produced by `define()`. */
-export interface GyralElement<S, M extends Tagged> extends LitElement {
+/**
+ * The custom element `define()` produces: a plain `HTMLElement` (view/05-element.md "Public
+ * instance API"). Tests wait for rendering with `settled()`.
+ */
+export interface GyralElement<S, M extends Tagged> extends HTMLElement {
     /** Current model state. */
     readonly state: S;
     /** Feeds a message through `update`, as if an intent had produced it. */

package/dist/element-types.js.map

@@ -1 +1 @@
-{"version":3,"file":"element-types.js","sourceRoot":"","sources":["../src/element-types.ts"],"names":[],"mappings":"","sourcesContent":["import type { LitElement } from 'lit';\nimport type { DriverOverrides } from './command.js';\nimport type { StoreOverrides } from './store.js';\nimport type { ComponentSpec, Tagged } from './types.js';\n\n/** The custom element class produced by `define()`. */\nexport interface GyralElement<S, M extends Tagged> extends LitElement {\n  /** Current model state. */\n  readonly state: S;\n  /** Feeds a message through `update`, as if an intent had produced it. */\n  send(msg: M): void;\n  /** Per-instance driver substitutions by name (test fakes). Checked before the spec's. */\n  drivers: DriverOverrides;\n  /**\n   * Per-instance store instances by store name (tests, islands). Checked before the nearest\n   * `<gyral-stores>` provider and the document default (ADR 0013).\n   */\n  stores: StoreOverrides;\n  /**\n   * Messages applied through `update` right after `init`, before the first render. The server\n   * uses it to render a rejected form with the same reducer as the JS path (ADR 0008). Ignored\n   * when the element resumes from a hydration seed (the seed already contains their effect).\n   */\n  initialMessages: readonly Tagged[];\n}\n\nexport interface GyralElementClass<S, M extends Tagged, P, O extends Tagged = never> {\n  /** Instances expose their declared props as settable properties. */\n  new (): GyralElement<S, M> & { -readonly [K in keyof P]: P[K] };\n  readonly spec: ComponentSpec<S, M, P>;\n  readonly tagName: string;\n  /** Type-only: the outputs this component emits (read by `child()`). */\n  readonly outputs?: O;\n}\n"]}
+{"version":3,"file":"element-types.js","sourceRoot":"","sources":["../src/element-types.ts"],"names":[],"mappings":"","sourcesContent":["import type { DriverOverrides } from './command.js';\nimport type { StoreOverrides } from './store.js';\nimport type { ComponentSpec, Tagged } from './types.js';\n\n/**\n * The custom element `define()` produces: a plain `HTMLElement` (view/05-element.md \"Public\n * instance API\"). Tests wait for rendering with `settled()`.\n */\nexport interface GyralElement<S, M extends Tagged> extends HTMLElement {\n  /** Current model state. */\n  readonly state: S;\n  /** Feeds a message through `update`, as if an intent had produced it. */\n  send(msg: M): void;\n  /** Per-instance driver substitutions by name (test fakes). Checked before the spec's. */\n  drivers: DriverOverrides;\n  /**\n   * Per-instance store instances by store name (tests, islands). Checked before the nearest\n   * `<gyral-stores>` provider and the document default (ADR 0013).\n   */\n  stores: StoreOverrides;\n  /**\n   * Messages applied through `update` right after `init`, before the first render. The server\n   * uses it to render a rejected form with the same reducer as the JS path (ADR 0008). Ignored\n   * when the element resumes from a hydration seed (the seed already contains their effect).\n   */\n  initialMessages: readonly Tagged[];\n}\n\nexport interface GyralElementClass<S, M extends Tagged, P, O extends Tagged = never> {\n  /** Instances expose their declared props as settable properties. */\n  new (): GyralElement<S, M> & { -readonly [K in keyof P]: P[K] };\n  readonly spec: ComponentSpec<S, M, P>;\n  readonly tagName: string;\n  /** Type-only: the outputs this component emits (read by `child()`). */\n  readonly outputs?: O;\n}\n"]}

package/dist/element.d.ts

@@ -0,0 +1,3 @@
+import type { ComponentSpec, Tagged } from './types.js';
+/** The element class for `spec` (not yet registered); define() types it for the spec. */
+export declare function elementClass<S, M extends Tagged, P>(tag: string, spec: ComponentSpec<S, M, P>): CustomElementConstructor;

package/dist/element.js

@@ -0,0 +1,269 @@
+// The element define() creates (docs/design-docs/view/05-element.md): a plain HTMLElement
+// subclass. Declared props are prototype accessors over Standard Schema builders; renders go
+// through the global scheduler (view/04-scheduler.md); intents are delegated listeners on the
+// root (ADR 0001). The model side (state, commands, stores) is host-model.ts.
+import { DEVTOOLS_ENABLED, devConnect, devHydrated } from '#devtools';
+import { HostModel } from './host-model.js';
+import { hydrationCode, takeSeed, whenHydrationLoads } from './hydration.js';
+import { DEFAULT_EVENTS, eventsOf, handleIntent, hostDepth, intentNames, listenForIntents, } from './intent.js';
+import { isLight } from './light-dom.js';
+import { features } from './features.js';
+import { afterRender, markDirty, POST_HYDRATED, POST_INIT, POST_STATES, } from './scheduler.js';
+import { stateSync } from './states.js';
+import { render, sheetsFor } from './view/index.js';
+const DEFER = 'defer-hydration';
+/** The element class for `spec` (not yet registered); define() types it for the spec. */
+export function elementClass(tag, spec) {
+    const table = (spec.props ?? {});
+    const names = Object.keys(table);
+    // Registered by the prop builders (features.ts): set whenever a component declares props.
+    const props = features.props;
+    const attrs = new Map();
+    const light = isLight(spec);
+    let sheets;
+    const parsers = spec.intent;
+    const model = spec;
+    class Element extends HTMLElement {
+        static { this.spec = spec; }
+        static { this.tagName = tag; }
+        static get observedAttributes() {
+            return [...attrs.keys(), DEFER];
+        }
+        static {
+            for (const name of names) {
+                const def = table[name];
+                const attr = def === undefined ? undefined : props.attributeOf(name, def);
+                if (attr !== undefined)
+                    attrs.set(attr, name);
+                Object.defineProperty(this.prototype, name, {
+                    configurable: true,
+                    enumerable: true,
+                    get() {
+                        return this.#values[name];
+                    },
+                    set(value) {
+                        this.#write(name, props.propertyValue(tag, name, table[name], value));
+                    },
+                });
+            }
+        }
+        #values = {};
+        #root;
+        #rendered = false;
+        /** Something changed while disconnected: render on reconnect. */
+        #stale = false;
+        #serverRendered = false;
+        /** The first render adopts the server's DOM (07): resumed from a seed, root not empty. */
+        #hydrating = false;
+        /** init's commands for a server-rendered host: started after its first render. */
+        #afterInit = [];
+        #states;
+        #task = {
+            tag,
+            depth: 0,
+            render: () => {
+                this.#render();
+            },
+        };
+        #model = new HostModel({
+            el: this,
+            tag,
+            props: () => (names.length > 0 ? props.readProps(this.#values, table) : {}),
+            root: () => this.#root,
+            invalidate: (onFrame) => {
+                this.#invalidate(onFrame);
+            },
+        }, model);
+        constructor() {
+            super();
+            const self = this;
+            self['drivers'] ??= {};
+            self['stores'] ??= {};
+            self['initialMessages'] ??= [];
+            // Upgrade capture: a property set before the class was defined hides the accessor.
+            for (const name of names) {
+                if (!Object.hasOwn(this, name))
+                    continue;
+                const value = self[name];
+                Reflect.deleteProperty(this, name);
+                self[name] = value;
+            }
+        }
+        get state() {
+            return this.#state();
+        }
+        #state() {
+            if (!this.#model.ready && names.length > 0)
+                props.warnMissing(tag, this.#values, table);
+            return this.#model.state(this.initialMessages);
+        }
+        send(msg) {
+            this.#model.dispatch(msg);
+        }
+        connectedCallback() {
+            if (this.#root !== undefined) {
+                this.#connect();
+                return;
+            }
+            this.#resume();
+            this.#begin();
+        }
+        /** `moveBefore()` keeps everything: no disconnect, no re-resolution (view/03-lists.md). */
+        connectedMoveCallback() {
+            // Intentionally empty.
+        }
+        disconnectedCallback() {
+            this.#model.disconnect();
+            if (DEVTOOLS_ENABLED)
+                devConnect(this, tag, false);
+        }
+        attributeChangedCallback(name, _old, raw) {
+            if (name === DEFER) {
+                if (raw === null && this.isConnected && this.#root === undefined)
+                    this.#begin();
+                return;
+            }
+            const prop = attrs.get(name);
+            if (prop !== undefined)
+                this.#write(prop, props.attributeValue(tag, prop, table[prop], name, raw));
+        }
+        #write(name, value) {
+            if (Object.is(this.#values[name], value))
+                return;
+            this.#values[name] = value;
+            if (this.#model.ready)
+                this.#invalidate();
+        }
+        /** Hydration seeds (ADR 0012): the server's state and the props no attribute carried. */
+        #resume() {
+            if (this.#model.ready)
+                return;
+            const seed = takeSeed(this);
+            if (seed === undefined)
+                return;
+            for (const [name, value] of Object.entries(seed.props)) {
+                const def = table[name];
+                if (def === undefined || this.#values[name] !== undefined)
+                    continue;
+                this.#values[name] = props.propertyValue(tag, name, def, value, 'the seed');
+            }
+            this.#afterInit = this.#model.resume(seed);
+            this.#serverRendered = true;
+        }
+        /**
+         * Starts the host, or waits: for the hydration code (a server-rendered host or an island,
+         * view/07-hydration.md "Loading"), then for an island's trigger (released by
+         * attributeChangedCallback).
+         */
+        #begin() {
+            const defer = this.hasAttribute(DEFER);
+            if (hydrationCode === undefined && (this.#serverRendered || defer)) {
+                whenHydrationLoads(() => {
+                    if (this.isConnected && this.#root === undefined)
+                        this.#begin();
+                });
+            }
+            else if (defer && hydrationCode !== null)
+                hydrationCode?.scheduleIsland(this);
+            else
+                this.#start();
+        }
+        #start() {
+            const root = light ? this : (this.shadowRoot ?? this.attachShadow({ mode: 'open' }));
+            this.#root = root;
+            this.#hydrating = this.#serverRendered && hydrationCode != null && root.hasChildNodes();
+            sheets ??= light ? [] : sheetsFor(spec.styles);
+            // Rendering fresh: a shadow root without a seed (hand-written DSD) or a server-rendered
+            // host whose hydration code failed to load starts empty.
+            if (!this.#hydrating) {
+                if (!light || this.#serverRendered)
+                    root.replaceChildren();
+                if (!light)
+                    root.adoptedStyleSheets = sheets;
+            }
+            this.#listen(DEFAULT_EVENTS);
+            if (spec.events !== undefined)
+                this.#listen(spec.events);
+            this.#state(); // init, unless resumed from a seed
+            this.#connect();
+        }
+        #connect() {
+            this.#task.depth = hostDepth(this);
+            const rebound = this.#model.connect();
+            if (DEVTOOLS_ENABLED)
+                devConnect(this, tag, true);
+            if (!this.#rendered || this.#stale || rebound)
+                this.#invalidate();
+        }
+        #invalidate(onFrame = false) {
+            if (this.#root === undefined)
+                return;
+            if (this.isConnected)
+                markDirty(this.#task, onFrame);
+            else
+                this.#stale = true;
+        }
+        /** One render (the scheduler calls it): PropsChanged first, then the view and its commit. */
+        #render() {
+            const root = this.#root;
+            if (root === undefined || !this.isConnected) {
+                this.#stale = true;
+                return;
+            }
+            this.#stale = false;
+            this.#model.syncProps(names);
+            const view = spec.view(this.state, intentNames, this.#model.ctx());
+            if (this.#hydrating) {
+                hydrationCode?.hydrateRoot(this, tag, view, root, light ? undefined : sheets, this.#seen);
+                this.#hydrating = false;
+            }
+            else
+                render(view, root, this.#seen);
+            if (spec.states !== undefined)
+                afterRender(POST_STATES, this.#syncStates);
+            if (this.#rendered)
+                return;
+            this.#rendered = true;
+            if (DEVTOOLS_ENABLED)
+                devHydrated(this, tag, this.#serverRendered);
+            if (this.#model.hasReducer('Hydrated')) {
+                const msg = { _tag: 'Hydrated', serverRendered: this.#serverRendered };
+                afterRender(POST_HYDRATED, () => {
+                    this.#model.dispatch(msg);
+                });
+            }
+            const commands = this.#afterInit;
+            this.#afterInit = [];
+            if (commands.length > 0) {
+                afterRender(POST_INIT, () => {
+                    this.#model.run(commands);
+                });
+            }
+        }
+        #syncStates = () => {
+            // ElementInternals is attached lazily, once, when the first states sync needs it (05).
+            this.#states ??= stateSync(this.attachInternals());
+            if (this.#states !== false && spec.states !== undefined)
+                this.#states(spec.states(this.state));
+        };
+        /** Intent event types this host's root listens for (view/05-element.md "Intent events"). */
+        #listening = new Set();
+        #listen(types) {
+            listenForIntents(this.#root, this.#listening, types, this.#onEvent);
+        }
+        /** Told about each template a render instantiates: listen for what its markup names. */
+        #seen = (markup) => {
+            this.#listen(eventsOf(markup));
+        };
+        #onEvent = (event) => {
+            if (this.#root === undefined)
+                return;
+            handleIntent(event, this.#root, parsers, tag, (msg) => {
+                if (msg !== undefined && this.isConnected)
+                    this.#model.dispatch(msg);
+            });
+        };
+    }
+    return Element;
+}
+//# sourceMappingURL=element.js.map

package/dist/element.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"element.js","sourceRoot":"","sources":["../src/element.ts"],"names":[],"mappings":"AAAA,0FAA0F;AAC1F,6FAA6F;AAC7F,8FAA8F;AAC9F,8EAA8E;AAC9E,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAGtE,OAAO,EAAE,SAAS,EAAqB,MAAM,iBAAiB,CAAC;AAC/D,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAC7E,OAAO,EACL,cAAc,EACd,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,WAAW,EACX,gBAAgB,GACjB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAEzC,OAAO,EACL,WAAW,EACX,SAAS,EACT,aAAa,EACb,SAAS,EACT,WAAW,GAEZ,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,SAAS,EAAkB,MAAM,aAAa,CAAC;AAGxD,OAAO,EAAE,MAAM,EAAE,SAAS,EAAe,MAAM,iBAAiB,CAAC;AAEjE,MAAM,KAAK,GAAG,iBAAiB,CAAC;AAGhC,yFAAyF;AACzF,MAAM,UAAU,YAAY,CAC1B,GAAW,EACX,IAA4B;IAE5B,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAc,CAAC;IAC9C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,0FAA0F;IAC1F,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAoB,CAAC;IAC5C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,MAAmC,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,CAAC,MAA+D,CAAC;IACrF,MAAM,KAAK,GAAG,IAA8C,CAAC;IAE7D,MAAM,OAAQ,SAAQ,WAAW;iBACf,SAAI,GAAG,IAAI,CAAC;iBACZ,YAAO,GAAG,GAAG,CAAC;QAC9B,MAAM,KAAK,kBAAkB;YAC3B,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;QAClC,CAAC;QAED;YACE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;gBACxB,MAAM,IAAI,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC1E,IAAI,IAAI,KAAK,SAAS;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC9C,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE;oBAC1C,YAAY,EAAE,IAAI;oBAClB,UAAU,EAAE,IAAI;oBAChB,GAAG;wBACD,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBAC5B,CAAC;oBACD,GAAG,CAAgB,KAAc;wBAC/B,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;oBACxE,CAAC;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAMD,OAAO,GAAQ,EAAE,CAAC;QAClB,KAAK,CAAuC;QAC5C,SAAS,GAAG,KAAK,CAAC;QAClB,iEAAiE;QACjE,MAAM,GAAG,KAAK,CAAC;QACf,eAAe,GAAG,KAAK,CAAC;QACxB,0FAA0F;QAC1F,UAAU,GAAG,KAAK,CAAC;QACnB,kFAAkF;QAClF,UAAU,GAA4B,EAAE,CAAC;QACzC,OAAO,CAAgC;QACvC,KAAK,GAAa;YAChB,GAAG;YACH,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,GAAG,EAAE;gBACX,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,CAAC;SACF,CAAC;QACF,MAAM,GAAG,IAAI,SAAS,CACpB;YACE,EAAE,EAAE,IAAI;YACR,GAAG;YACH,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3E,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK;YACtB,UAAU,EAAE,CAAC,OAAO,EAAE,EAAE;gBACtB,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;YAC5B,CAAC;SACF,EACD,KAAK,CACN,CAAC;QAEF;YACE,KAAK,EAAE,CAAC;YACR,MAAM,IAAI,GAAG,IAAsB,CAAC;YACpC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;YACvB,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;YAC/B,mFAAmF;YACnF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC;oBAAE,SAAS;gBACzC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;gBACzB,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACnC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;YACrB,CAAC;QACH,CAAC;QAED,IAAI,KAAK;YACP,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC;QACvB,CAAC;QAED,MAAM;YACJ,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACxF,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACjD,CAAC;QAED,IAAI,CAAC,GAAM;YACT,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC5B,CAAC;QAED,iBAAiB;YACf,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC7B,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAChB,OAAO;YACT,CAAC;YACD,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,CAAC;QAED,2FAA2F;QAC3F,qBAAqB;YACnB,uBAAuB;QACzB,CAAC;QAED,oBAAoB;YAClB,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;YACzB,IAAI,gBAAgB;gBAAE,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QACrD,CAAC;QAED,wBAAwB,CAAC,IAAY,EAAE,IAAmB,EAAE,GAAkB;YAC5E,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;gBACnB,IAAI,GAAG,KAAK,IAAI,IAAI,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;oBAAE,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChF,OAAO;YACT,CAAC;YACD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,IAAI,KAAK,SAAS;gBACpB,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,cAAc,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QAC/E,CAAC;QAED,MAAM,CAAC,IAAY,EAAE,KAAc;YACjC,IAAI,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC;gBAAE,OAAO;YACjD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;YAC3B,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK;gBAAE,IAAI,CAAC,WAAW,EAAE,CAAC;QAC5C,CAAC;QAED,yFAAyF;QACzF,OAAO;YACL,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK;gBAAE,OAAO;YAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO;YAC/B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;gBACxB,IAAI,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,SAAS;oBAAE,SAAS;gBACpE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;YAC9E,CAAC;YACD,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC3C,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC;QAC9B,CAAC;QAED;;;;WAIG;QACH,MAAM;YACJ,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;YACvC,IAAI,aAAa,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,eAAe,IAAI,KAAK,CAAC,EAAE,CAAC;gBACnE,kBAAkB,CAAC,GAAG,EAAE;oBACtB,IAAI,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;wBAAE,IAAI,CAAC,MAAM,EAAE,CAAC;gBAClE,CAAC,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,KAAK,IAAI,aAAa,KAAK,IAAI;gBAAE,aAAa,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC;;gBAC3E,IAAI,CAAC,MAAM,EAAE,CAAC;QACrB,CAAC;QAED,MAAM;YACJ,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;YACrF,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;YAClB,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,eAAe,IAAI,aAAa,IAAI,IAAI,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACxF,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC/C,wFAAwF;YACxF,yDAAyD;YACzD,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;gBACrB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,eAAe;oBAAE,IAAI,CAAC,eAAe,EAAE,CAAC;gBAC3D,IAAI,CAAC,KAAK;oBAAG,IAAmB,CAAC,kBAAkB,GAAG,MAAM,CAAC;YAC/D,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;YAC7B,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;gBAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACzD,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,mCAAmC;YAClD,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,CAAC;QAED,QAAQ;YACN,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACtC,IAAI,gBAAgB;gBAAE,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,MAAM,IAAI,OAAO;gBAAE,IAAI,CAAC,WAAW,EAAE,CAAC;QACpE,CAAC;QAED,WAAW,CAAC,OAAO,GAAG,KAAK;YACzB,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;gBAAE,OAAO;YACrC,IAAI,IAAI,CAAC,WAAW;gBAAE,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;;gBAChD,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QAC1B,CAAC;QAED,6FAA6F;QAC7F,OAAO;YACL,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;YACxB,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;gBAC5C,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;gBACnB,OAAO;YACT,CAAC;YACD,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;YACpB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,WAA6B,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;YACrF,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,aAAa,EAAE,WAAW,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC1F,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC;YAC1B,CAAC;;gBAAM,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACtC,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;gBAAE,WAAW,CAAC,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;YAC1E,IAAI,IAAI,CAAC,SAAS;gBAAE,OAAO;YAC3B,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;YACtB,IAAI,gBAAgB;gBAAE,WAAW,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;YACnE,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;gBACvC,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,cAAc,EAAE,IAAI,CAAC,eAAe,EAAY,CAAC;gBACjF,WAAW,CAAC,aAAa,EAAE,GAAG,EAAE;oBAC9B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;gBAC5B,CAAC,CAAC,CAAC;YACL,CAAC;YACD,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC;YACjC,IAAI,CAAC,UAAU,GAAG,EAAE,CAAC;YACrB,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxB,WAAW,CAAC,SAAS,EAAE,GAAG,EAAE;oBAC1B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC5B,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,WAAW,GAAG,GAAS,EAAE;YACvB,uFAAuF;YACvF,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC;YACnD,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;gBACrD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,CAAC,CAAC;QAEF,4FAA4F;QAC5F,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;QAE/B,OAAO,CAAC,KAAwB;YAC9B,gBAAgB,CAAC,IAAI,CAAC,KAAa,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9E,CAAC;QAED,wFAAwF;QACxF,KAAK,GAAG,CAAC,MAAc,EAAQ,EAAE;YAC/B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC;QAEF,QAAQ,GAAG,CAAC,KAAY,EAAQ,EAAE;YAChC,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;gBAAE,OAAO;YACrC,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE;gBACpD,IAAI,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,WAAW;oBAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACvE,CAAC,CAAC,CAAC;QACL,CAAC,CAAC;;IAEJ,OAAO,OAAO,CAAC;AACjB,CAAC","sourcesContent":["// The element define() creates (docs/design-docs/view/05-element.md): a plain HTMLElement\n// subclass. Declared props are prototype accessors over Standard Schema builders; renders go\n// through the global scheduler (view/04-scheduler.md); intents are delegated listeners on the\n// root (ADR 0001). The model side (state, commands, stores) is host-model.ts.\nimport { DEVTOOLS_ENABLED, devConnect, devHydrated } from '#devtools';\nimport type { DriverOverrides } from './command.js';\nimport type { GyralElement } from './element-types.js';\nimport { HostModel, type ModelCommand } from './host-model.js';\nimport { hydrationCode, takeSeed, whenHydrationLoads } from './hydration.js';\nimport {\n  DEFAULT_EVENTS,\n  eventsOf,\n  handleIntent,\n  hostDepth,\n  intentNames,\n  listenForIntents,\n} from './intent.js';\nimport { isLight } from './light-dom.js';\nimport { features } from './features.js';\nimport type { PropFeature, PropTable } from './props.js';\nimport {\n  afterRender,\n  markDirty,\n  POST_HYDRATED,\n  POST_INIT,\n  POST_STATES,\n  type HostTask,\n} from './scheduler.js';\nimport { stateSync, type StateSync } from './states.js';\nimport type { StoreOverrides } from './store.js';\nimport type { ComponentSpec, IntentNames, IntentParser, Tagged } from './types.js';\nimport { render, sheetsFor, type Markup } from './view/index.js';\n\nconst DEFER = 'defer-hydration';\n\ntype Bag = Record<string, unknown>;\n/** The element class for `spec` (not yet registered); define() types it for the spec. */\nexport function elementClass<S, M extends Tagged, P>(\n  tag: string,\n  spec: ComponentSpec<S, M, P>,\n): CustomElementConstructor {\n  const table = (spec.props ?? {}) as PropTable;\n  const names = Object.keys(table);\n  // Registered by the prop builders (features.ts): set whenever a component declares props.\n  const props = features.props as PropFeature;\n  const attrs = new Map<string, string>();\n  const light = isLight(spec);\n  let sheets: CSSStyleSheet[] | undefined;\n  const parsers = spec.intent as Readonly<Record<string, IntentParser<M> | undefined>>;\n  const model = spec as unknown as ComponentSpec<S, Tagged, P>;\n\n  class Element extends HTMLElement implements GyralElement<S, M> {\n    static readonly spec = spec;\n    static readonly tagName = tag;\n    static get observedAttributes(): string[] {\n      return [...attrs.keys(), DEFER];\n    }\n\n    static {\n      for (const name of names) {\n        const def = table[name];\n        const attr = def === undefined ? undefined : props.attributeOf(name, def);\n        if (attr !== undefined) attrs.set(attr, name);\n        Object.defineProperty(this.prototype, name, {\n          configurable: true,\n          enumerable: true,\n          get(this: Element): unknown {\n            return this.#values[name];\n          },\n          set(this: Element, value: unknown) {\n            this.#write(name, props.propertyValue(tag, name, table[name], value));\n          },\n        });\n      }\n    }\n\n    declare drivers: DriverOverrides;\n    declare stores: StoreOverrides;\n    declare initialMessages: readonly Tagged[];\n\n    #values: Bag = {};\n    #root: ShadowRoot | HTMLElement | undefined;\n    #rendered = false;\n    /** Something changed while disconnected: render on reconnect. */\n    #stale = false;\n    #serverRendered = false;\n    /** The first render adopts the server's DOM (07): resumed from a seed, root not empty. */\n    #hydrating = false;\n    /** init's commands for a server-rendered host: started after its first render. */\n    #afterInit: readonly ModelCommand[] = [];\n    #states: StateSync | false | undefined;\n    #task: HostTask = {\n      tag,\n      depth: 0,\n      render: () => {\n        this.#render();\n      },\n    };\n    #model = new HostModel<S, P>(\n      {\n        el: this,\n        tag,\n        props: () => (names.length > 0 ? props.readProps(this.#values, table) : {}),\n        root: () => this.#root,\n        invalidate: (onFrame) => {\n          this.#invalidate(onFrame);\n        },\n      },\n      model,\n    );\n\n    constructor() {\n      super();\n      const self = this as unknown as Bag;\n      self['drivers'] ??= {};\n      self['stores'] ??= {};\n      self['initialMessages'] ??= [];\n      // Upgrade capture: a property set before the class was defined hides the accessor.\n      for (const name of names) {\n        if (!Object.hasOwn(this, name)) continue;\n        const value = self[name];\n        Reflect.deleteProperty(this, name);\n        self[name] = value;\n      }\n    }\n\n    get state(): S {\n      return this.#state();\n    }\n\n    #state(): S {\n      if (!this.#model.ready && names.length > 0) props.warnMissing(tag, this.#values, table);\n      return this.#model.state(this.initialMessages);\n    }\n\n    send(msg: M): void {\n      this.#model.dispatch(msg);\n    }\n\n    connectedCallback(): void {\n      if (this.#root !== undefined) {\n        this.#connect();\n        return;\n      }\n      this.#resume();\n      this.#begin();\n    }\n\n    /** `moveBefore()` keeps everything: no disconnect, no re-resolution (view/03-lists.md). */\n    connectedMoveCallback(): void {\n      // Intentionally empty.\n    }\n\n    disconnectedCallback(): void {\n      this.#model.disconnect();\n      if (DEVTOOLS_ENABLED) devConnect(this, tag, false);\n    }\n\n    attributeChangedCallback(name: string, _old: string | null, raw: string | null): void {\n      if (name === DEFER) {\n        if (raw === null && this.isConnected && this.#root === undefined) this.#begin();\n        return;\n      }\n      const prop = attrs.get(name);\n      if (prop !== undefined)\n        this.#write(prop, props.attributeValue(tag, prop, table[prop], name, raw));\n    }\n\n    #write(name: string, value: unknown): void {\n      if (Object.is(this.#values[name], value)) return;\n      this.#values[name] = value;\n      if (this.#model.ready) this.#invalidate();\n    }\n\n    /** Hydration seeds (ADR 0012): the server's state and the props no attribute carried. */\n    #resume(): void {\n      if (this.#model.ready) return;\n      const seed = takeSeed(this);\n      if (seed === undefined) return;\n      for (const [name, value] of Object.entries(seed.props)) {\n        const def = table[name];\n        if (def === undefined || this.#values[name] !== undefined) continue;\n        this.#values[name] = props.propertyValue(tag, name, def, value, 'the seed');\n      }\n      this.#afterInit = this.#model.resume(seed);\n      this.#serverRendered = true;\n    }\n\n    /**\n     * Starts the host, or waits: for the hydration code (a server-rendered host or an island,\n     * view/07-hydration.md \"Loading\"), then for an island's trigger (released by\n     * attributeChangedCallback).\n     */\n    #begin(): void {\n      const defer = this.hasAttribute(DEFER);\n      if (hydrationCode === undefined && (this.#serverRendered || defer)) {\n        whenHydrationLoads(() => {\n          if (this.isConnected && this.#root === undefined) this.#begin();\n        });\n      } else if (defer && hydrationCode !== null) hydrationCode?.scheduleIsland(this);\n      else this.#start();\n    }\n\n    #start(): void {\n      const root = light ? this : (this.shadowRoot ?? this.attachShadow({ mode: 'open' }));\n      this.#root = root;\n      this.#hydrating = this.#serverRendered && hydrationCode != null && root.hasChildNodes();\n      sheets ??= light ? [] : sheetsFor(spec.styles);\n      // Rendering fresh: a shadow root without a seed (hand-written DSD) or a server-rendered\n      // host whose hydration code failed to load starts empty.\n      if (!this.#hydrating) {\n        if (!light || this.#serverRendered) root.replaceChildren();\n        if (!light) (root as ShadowRoot).adoptedStyleSheets = sheets;\n      }\n      this.#listen(DEFAULT_EVENTS);\n      if (spec.events !== undefined) this.#listen(spec.events);\n      this.#state(); // init, unless resumed from a seed\n      this.#connect();\n    }\n\n    #connect(): void {\n      this.#task.depth = hostDepth(this);\n      const rebound = this.#model.connect();\n      if (DEVTOOLS_ENABLED) devConnect(this, tag, true);\n      if (!this.#rendered || this.#stale || rebound) this.#invalidate();\n    }\n\n    #invalidate(onFrame = false): void {\n      if (this.#root === undefined) return;\n      if (this.isConnected) markDirty(this.#task, onFrame);\n      else this.#stale = true;\n    }\n\n    /** One render (the scheduler calls it): PropsChanged first, then the view and its commit. */\n    #render(): void {\n      const root = this.#root;\n      if (root === undefined || !this.isConnected) {\n        this.#stale = true;\n        return;\n      }\n      this.#stale = false;\n      this.#model.syncProps(names);\n      const view = spec.view(this.state, intentNames as IntentNames<M>, this.#model.ctx());\n      if (this.#hydrating) {\n        hydrationCode?.hydrateRoot(this, tag, view, root, light ? undefined : sheets, this.#seen);\n        this.#hydrating = false;\n      } else render(view, root, this.#seen);\n      if (spec.states !== undefined) afterRender(POST_STATES, this.#syncStates);\n      if (this.#rendered) return;\n      this.#rendered = true;\n      if (DEVTOOLS_ENABLED) devHydrated(this, tag, this.#serverRendered);\n      if (this.#model.hasReducer('Hydrated')) {\n        const msg = { _tag: 'Hydrated', serverRendered: this.#serverRendered } as Tagged;\n        afterRender(POST_HYDRATED, () => {\n          this.#model.dispatch(msg);\n        });\n      }\n      const commands = this.#afterInit;\n      this.#afterInit = [];\n      if (commands.length > 0) {\n        afterRender(POST_INIT, () => {\n          this.#model.run(commands);\n        });\n      }\n    }\n\n    #syncStates = (): void => {\n      // ElementInternals is attached lazily, once, when the first states sync needs it (05).\n      this.#states ??= stateSync(this.attachInternals());\n      if (this.#states !== false && spec.states !== undefined)\n        this.#states(spec.states(this.state));\n    };\n\n    /** Intent event types this host's root listens for (view/05-element.md \"Intent events\"). */\n    #listening = new Set<string>();\n\n    #listen(types: readonly string[]): void {\n      listenForIntents(this.#root as Node, this.#listening, types, this.#onEvent);\n    }\n\n    /** Told about each template a render instantiates: listen for what its markup names. */\n    #seen = (markup: Markup): void => {\n      this.#listen(eventsOf(markup));\n    };\n\n    #onEvent = (event: Event): void => {\n      if (this.#root === undefined) return;\n      handleIntent(event, this.#root, parsers, tag, (msg) => {\n        if (msg !== undefined && this.isConnected) this.#model.dispatch(msg);\n      });\n    };\n  }\n  return Element;\n}\n"]}

package/dist/eslint/imports.d.ts

@@ -0,0 +1,24 @@
+import type { Rule, Scope } from 'eslint';
+export type Node = Rule.Node;
+export type NodeOf<T extends Node['type']> = Extract<Node, {
+    type: T;
+}>;
+/** The default template sources, as in the Vite preset's `sources` option. */
+export declare const DEFAULT_SOURCES: readonly string[];
+/** The options both rules take. */
+export declare const OPTIONS_SCHEMA: {
+    type: string;
+    properties: {
+        sources: {
+            type: string;
+            items: {
+                type: string;
+            };
+        };
+    };
+    additionalProperties: boolean;
+}[];
+export declare function sourcesOf(context: Rule.RuleContext): readonly string[];
+export declare function findVariable(scope: Scope.Scope | null, name: string): Scope.Variable | undefined;
+/** Whether `node` (a tag or callee) is the template sources' `name` export. */
+export declare function isGyral(context: Rule.RuleContext, node: Node, name: string): boolean;

package/dist/eslint/imports.js

@@ -0,0 +1,78 @@
+// Which identifiers are Gyral's `html` and `each` (@gyral/core/eslint). Like the template
+// compiler (compiler/scan.ts), a binding counts only when it is imported from a template
+// source: `import { html } from '@gyral/core'` (any local name) or `import * as g` used as
+// `g.html`. ESLint's scope analysis resolves the name, so shadowing is handled. Core's own code
+// and tests import from core's modules by relative path; those count too.
+import { dirname, resolve } from 'node:path';
+import { fileURLToPath } from 'node:url';
+/** The default template sources, as in the Vite preset's `sources` option. */
+export const DEFAULT_SOURCES = ['@gyral/core'];
+/** The options both rules take. */
+export const OPTIONS_SCHEMA = [
+    {
+        type: 'object',
+        properties: { sources: { type: 'array', items: { type: 'string' } } },
+        additionalProperties: false,
+    },
+];
+/** Core's modules that export `html` and `each` (this file is src/eslint/ or dist/eslint/). */
+const CORE_MODULES = ['../index', '../view/index', '../view/template', '../view/render/values']
+    .flatMap((name) => ['.ts', '.js'].map((ext) => new URL(`${name}${ext}`, import.meta.url)))
+    .map((url) => fileURLToPath(url));
+export function sourcesOf(context) {
+    const options = context.options[0];
+    const sources = typeof options === 'object' && options !== null && 'sources' in options
+        ? options.sources
+        : undefined;
+    return Array.isArray(sources)
+        ? sources.filter((s) => typeof s === 'string')
+        : DEFAULT_SOURCES;
+}
+function isSource(context, specifier) {
+    if (sourcesOf(context).includes(specifier))
+        return true;
+    if (!specifier.startsWith('.'))
+        return false;
+    return CORE_MODULES.includes(resolve(dirname(context.filename), specifier));
+}
+/** typescript-eslint's `import type` marker (not in ESTree). */
+const typeOnly = (node) => 'importKind' in node && node.importKind === 'type';
+export function findVariable(scope, name) {
+    for (let s = scope; s !== null; s = s.upper) {
+        const v = s.set.get(name);
+        if (v !== undefined)
+            return v;
+    }
+    return undefined;
+}
+/** How `id` was imported from a template source: the export's name, or `*`. */
+function importedAs(context, id) {
+    const variable = findVariable(context.sourceCode.getScope(id), id.name);
+    const def = variable?.defs[0];
+    if (def?.type !== 'ImportBinding')
+        return undefined;
+    const declaration = def.parent;
+    if (typeOnly(declaration) || !isSource(context, String(declaration.source.value))) {
+        return undefined;
+    }
+    const spec = def.node;
+    if (spec.type === 'ImportNamespaceSpecifier')
+        return '*';
+    if (spec.type !== 'ImportSpecifier' || typeOnly(spec))
+        return undefined;
+    const { imported } = spec;
+    return imported.type === 'Identifier' ? imported.name : String(imported.value);
+}
+/** Whether `node` (a tag or callee) is the template sources' `name` export. */
+export function isGyral(context, node, name) {
+    if (node.type === 'Identifier')
+        return importedAs(context, node) === name;
+    if (node.type !== 'MemberExpression' || node.computed || node.object.type !== 'Identifier') {
+        return false;
+    }
+    const { property } = node;
+    return (property.type === 'Identifier' &&
+        property.name === name &&
+        importedAs(context, node.object) === '*');
+}
+//# sourceMappingURL=imports.js.map

package/dist/eslint/imports.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"imports.js","sourceRoot":"","sources":["../../src/eslint/imports.ts"],"names":[],"mappings":"AAAA,0FAA0F;AAC1F,yFAAyF;AACzF,2FAA2F;AAC3F,gGAAgG;AAChG,0EAA0E;AAC1E,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAMzC,8EAA8E;AAC9E,MAAM,CAAC,MAAM,eAAe,GAAsB,CAAC,aAAa,CAAC,CAAC;AAElE,mCAAmC;AACnC,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B;QACE,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE;QACrE,oBAAoB,EAAE,KAAK;KAC5B;CACF,CAAC;AAEF,+FAA+F;AAC/F,MAAM,YAAY,GAAG,CAAC,UAAU,EAAE,eAAe,EAAE,kBAAkB,EAAE,uBAAuB,CAAC;KAC5F,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,GAAG,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;KACzF,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;AAEpC,MAAM,UAAU,SAAS,CAAC,OAAyB;IACjD,MAAM,OAAO,GAAY,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,OAAO,GACX,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,SAAS,IAAI,OAAO;QACrE,CAAC,CAAC,OAAO,CAAC,OAAO;QACjB,CAAC,CAAC,SAAS,CAAC;IAChB,OAAO,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAC3B,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;QAC3D,CAAC,CAAC,eAAe,CAAC;AACtB,CAAC;AAED,SAAS,QAAQ,CAAC,OAAyB,EAAE,SAAiB;IAC5D,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7C,OAAO,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;AAC9E,CAAC;AAED,gEAAgE;AAChE,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,YAAY,IAAI,IAAI,IAAI,IAAI,CAAC,UAAU,KAAK,MAAM,CAAC;AAE/F,MAAM,UAAU,YAAY,CAAC,KAAyB,EAAE,IAAY;IAClE,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QAC5C,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,+EAA+E;AAC/E,SAAS,UAAU,CAAC,OAAyB,EAAE,EAAwB;IACrE,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IACxE,MAAM,GAAG,GAAG,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,GAAG,EAAE,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IACpD,MAAM,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC;IAC/B,IAAI,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAClF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,0BAA0B;QAAE,OAAO,GAAG,CAAC;IACzD,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,IAAI,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACxE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;IAC1B,OAAO,QAAQ,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACjF,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,OAAO,CAAC,OAAyB,EAAE,IAAU,EAAE,IAAY;IACzE,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,IAAI,CAAC;IAC1E,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC3F,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;IAC1B,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,YAAY;QAC9B,QAAQ,CAAC,IAAI,KAAK,IAAI;QACtB,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,MAA8B,CAAC,KAAK,GAAG,CACjE,CAAC;AACJ,CAAC","sourcesContent":["// Which identifiers are Gyral's `html` and `each` (@gyral/core/eslint). Like the template\n// compiler (compiler/scan.ts), a binding counts only when it is imported from a template\n// source: `import { html } from '@gyral/core'` (any local name) or `import * as g` used as\n// `g.html`. ESLint's scope analysis resolves the name, so shadowing is handled. Core's own code\n// and tests import from core's modules by relative path; those count too.\nimport { dirname, resolve } from 'node:path';\nimport { fileURLToPath } from 'node:url';\nimport type { Rule, Scope } from 'eslint';\n\nexport type Node = Rule.Node;\nexport type NodeOf<T extends Node['type']> = Extract<Node, { type: T }>;\n\n/** The default template sources, as in the Vite preset's `sources` option. */\nexport const DEFAULT_SOURCES: readonly string[] = ['@gyral/core'];\n\n/** The options both rules take. */\nexport const OPTIONS_SCHEMA = [\n  {\n    type: 'object',\n    properties: { sources: { type: 'array', items: { type: 'string' } } },\n    additionalProperties: false,\n  },\n];\n\n/** Core's modules that export `html` and `each` (this file is src/eslint/ or dist/eslint/). */\nconst CORE_MODULES = ['../index', '../view/index', '../view/template', '../view/render/values']\n  .flatMap((name) => ['.ts', '.js'].map((ext) => new URL(`${name}${ext}`, import.meta.url)))\n  .map((url) => fileURLToPath(url));\n\nexport function sourcesOf(context: Rule.RuleContext): readonly string[] {\n  const options: unknown = context.options[0];\n  const sources =\n    typeof options === 'object' && options !== null && 'sources' in options\n      ? options.sources\n      : undefined;\n  return Array.isArray(sources)\n    ? sources.filter((s): s is string => typeof s === 'string')\n    : DEFAULT_SOURCES;\n}\n\nfunction isSource(context: Rule.RuleContext, specifier: string): boolean {\n  if (sourcesOf(context).includes(specifier)) return true;\n  if (!specifier.startsWith('.')) return false;\n  return CORE_MODULES.includes(resolve(dirname(context.filename), specifier));\n}\n\n/** typescript-eslint's `import type` marker (not in ESTree). */\nconst typeOnly = (node: object): boolean => 'importKind' in node && node.importKind === 'type';\n\nexport function findVariable(scope: Scope.Scope | null, name: string): Scope.Variable | undefined {\n  for (let s = scope; s !== null; s = s.upper) {\n    const v = s.set.get(name);\n    if (v !== undefined) return v;\n  }\n  return undefined;\n}\n\n/** How `id` was imported from a template source: the export's name, or `*`. */\nfunction importedAs(context: Rule.RuleContext, id: NodeOf<'Identifier'>): string | undefined {\n  const variable = findVariable(context.sourceCode.getScope(id), id.name);\n  const def = variable?.defs[0];\n  if (def?.type !== 'ImportBinding') return undefined;\n  const declaration = def.parent;\n  if (typeOnly(declaration) || !isSource(context, String(declaration.source.value))) {\n    return undefined;\n  }\n  const spec = def.node;\n  if (spec.type === 'ImportNamespaceSpecifier') return '*';\n  if (spec.type !== 'ImportSpecifier' || typeOnly(spec)) return undefined;\n  const { imported } = spec;\n  return imported.type === 'Identifier' ? imported.name : String(imported.value);\n}\n\n/** Whether `node` (a tag or callee) is the template sources' `name` export. */\nexport function isGyral(context: Rule.RuleContext, node: Node, name: string): boolean {\n  if (node.type === 'Identifier') return importedAs(context, node) === name;\n  if (node.type !== 'MemberExpression' || node.computed || node.object.type !== 'Identifier') {\n    return false;\n  }\n  const { property } = node;\n  return (\n    property.type === 'Identifier' &&\n    property.name === name &&\n    importedAs(context, node.object as NodeOf<'Identifier'>) === '*'\n  );\n}\n"]}

package/dist/eslint/index.d.ts

@@ -0,0 +1,15 @@
+import type { ESLint, Linter } from 'eslint';
+import { rowPurityRule } from './row-purity-rule.js';
+import { templateRule } from './template-rule.js';
+export interface GyralPlugin extends ESLint.Plugin {
+    readonly rules: {
+        readonly template: typeof templateRule;
+        readonly 'each-row-purity': typeof rowPurityRule;
+    };
+    readonly configs: {
+        readonly recommended: Linter.Config;
+    };
+}
+declare const plugin: GyralPlugin;
+export default plugin;
+export { rowPurityRule, templateRule };

package/dist/eslint/index.js

@@ -0,0 +1,15 @@
+import { rowPurityRule } from './row-purity-rule.js';
+import { templateRule } from './template-rule.js';
+const rules = { template: templateRule, 'each-row-purity': rowPurityRule };
+const configs = { recommended: {} };
+const plugin = { meta: { name: '@gyral/core/eslint' }, rules, configs };
+// The config names the plugin object itself, so it can be combined with configs that register
+// `gyral` too (ESLint rejects two different objects under one plugin name).
+configs.recommended = {
+    name: 'gyral/recommended',
+    plugins: { gyral: plugin },
+    rules: { 'gyral/template': 'error', 'gyral/each-row-purity': 'error' },
+};
+export default plugin;
+export { rowPurityRule, templateRule };
+//# sourceMappingURL=index.js.map

package/dist/eslint/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/eslint/index.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAUlD,MAAM,KAAK,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,iBAAiB,EAAE,aAAa,EAAE,CAAC;AAC3E,MAAM,OAAO,GAAmC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;AAEpE,MAAM,MAAM,GAAgB,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAErF,8FAA8F;AAC9F,4EAA4E;AAC5E,OAAO,CAAC,WAAW,GAAG;IACpB,IAAI,EAAE,mBAAmB;IACzB,OAAO,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;IAC1B,KAAK,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE,uBAAuB,EAAE,OAAO,EAAE;CACvE,CAAC;AAEF,eAAe,MAAM,CAAC;AACtB,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC","sourcesContent":["// @gyral/core/eslint: the template rules (view/09-template-rules.md) in the editor, as an\n// ESLint flat-config plugin. ESLint is an optional peer dependency; nothing here reaches a\n// browser or server bundle.\n//\n//   import gyral from '@gyral/core/eslint';\n//   export default [gyral.configs.recommended];\nimport type { ESLint, Linter } from 'eslint';\nimport { rowPurityRule } from './row-purity-rule.js';\nimport { templateRule } from './template-rule.js';\n\nexport interface GyralPlugin extends ESLint.Plugin {\n  readonly rules: {\n    readonly template: typeof templateRule;\n    readonly 'each-row-purity': typeof rowPurityRule;\n  };\n  readonly configs: { readonly recommended: Linter.Config };\n}\n\nconst rules = { template: templateRule, 'each-row-purity': rowPurityRule };\nconst configs: { recommended: Linter.Config } = { recommended: {} };\n\nconst plugin: GyralPlugin = { meta: { name: '@gyral/core/eslint' }, rules, configs };\n\n// The config names the plugin object itself, so it can be combined with configs that register\n// `gyral` too (ESLint rejects two different objects under one plugin name).\nconfigs.recommended = {\n  name: 'gyral/recommended',\n  plugins: { gyral: plugin },\n  rules: { 'gyral/template': 'error', 'gyral/each-row-purity': 'error' },\n};\n\nexport default plugin;\nexport { rowPurityRule, templateRule };\n"]}

package/dist/eslint/locate.d.ts

@@ -0,0 +1,33 @@
+/** One quasi of a template literal: where its text starts in the file, and its offset map. */
+export interface Quasi {
+    /** File offset of the quasi's first character (after the backtick or `}`). */
+    readonly start: number;
+    /** File offset where the quasi's text ends (at the closing backtick or `${`). */
+    readonly end: number;
+    /** For each cooked offset (and one past the end), the offset in the source text. */
+    readonly map: readonly number[];
+}
+/**
+ * Maps each offset of the cooked string to the source text it came from. Returns undefined when
+ * decoding `text` doesn't give `cooked` (the caller then points at the quasi's start).
+ */
+export declare function cookedMap(text: string, cooked: string): number[] | undefined;
+/**
+ * Maps each offset of `minified` (and one past its end) to `original`. The minifier only
+ * collapses a whitespace run to one space or drops it, and copies everything else.
+ */
+export declare function minifiedMap(original: string, minified: string): number[];
+/** A source range, as file offsets. */
+export interface Span {
+    readonly start: number;
+    readonly end: number;
+}
+/** A position in the normalizer's minified strings: string index, offset (view/normalize/check.ts). */
+type At = readonly [index: number, offset: number];
+/**
+ * The range to report for a template's first error: the token the tree builder was handling
+ * (a tag, an end tag, text) when it has one; the whole `${…}` when the error is at a hole
+ * (including `<${…}>`, where the tag name would be); else the character the tokenizer stopped at.
+ */
+export declare function errorSpan(quasis: readonly Quasi[], originals: readonly string[], minified: readonly string[], at: At, from: At | undefined): Span;
+export {};