@expressive/mvc 0.90.0 → 0.92.0

package/README.md

@@ -30,7 +30,9 @@ import { Model } from '@expressive/mvc';
 
 class Counter extends Model {
   count = 0;
-  increment = () => this.count++;
+  increment() {
+    this.count++;
+  }
 
   get doubled() {
     return this.count * 2;     // recomputes only when count changes
@@ -87,6 +89,8 @@ const timer = Timer.new();   // construct + activate
 timer.set(null);             // destroy - runs cleanup, freezes state
 ```
 
+Under a host that renders on the server, `new()` still runs there but its cleanup never does - so client resources like this interval go in `mount()` instead, which runs only on the client; see the host's docs.
+
 ## Context & composition
 
 Instances find each other through context, and compose by holding one another:
@@ -104,7 +108,7 @@ class Profile extends Model {
 }
 ```
 
-An adapter (e.g. [`@expressive/react`](https://www.npmjs.com/package/@expressive/react)) supplies the provider that places a `Model` in a tree; `get()` pulls it back out.
+`<Component for={Model}>` - part of this package - places a `Model` in a tree; a host such as [`@expressive/react`](https://www.npmjs.com/package/@expressive/react) renders it, and `get()` pulls the instance back out.
 
 ## Events
 
@@ -130,11 +134,11 @@ off();                                                // stop listening
 }
 ```
 
-`Component` - a `Model` usable in JSX - lives here as the agnostic base. For using it in an app (rendering, props, subcomponents, suspense), see **[`@expressive/react`](https://www.npmjs.com/package/@expressive/react)**.
+`Component` - a `Model` usable in JSX - lives here, along with `<Component for>`: props, subcomponents, suspense and context placement are all core. A host only renders them; for how that looks in an app, see **[`@expressive/react`](https://www.npmjs.com/package/@expressive/react)**.
 
 ---
 
-To render state in a UI framework, add an adapter: [`@expressive/react`](https://www.npmjs.com/package/@expressive/react) or `@expressive/preact`.
+To render state in a UI, add a host: [`@expressive/react`](https://www.npmjs.com/package/@expressive/react) or [`@expressive/dom`](https://www.npmjs.com/package/@expressive/dom).
 
 Full guide and API reference → **[github.com/gabeklein/expressive-mvc](https://github.com/gabeklein/expressive-mvc)**
 

package/dist/component.d.ts

@@ -11,7 +11,7 @@ type ForProps<T extends Model> = {
   catch?: (error: Error, instance: Component) => Promise<void> | void;
 } & ({
   for: Model.Extends<T>;
-  is?: (instance: T) => void;
+  is?: (instance: T) => Model.Assign<T> | void;
 } | {
   for: T | undefined;
   is?: never;
@@ -33,10 +33,11 @@ declare namespace Component {
      * Callback for newly created instance. Only called once.
      *
      * Runs after props apply but **before** the `new()` lifecycle hook - so it
-     * may configure state that `new()` then observes. To react to a fully
-     * initialized instance instead, use `watch` or an effect.
+     * may configure state that `new()` then observes. A returned object is
+     * assigned, like props. To react to a fully initialized instance instead,
+     * use `watch` or an effect.
      */
-    is?(instance: T): void;
+    is?(instance: T): Model.Assign<T> | void;
     /**
      * Fallback to show when suspended or in error recovery.
      * Pass `false` to opt out of the component's own suspense boundary,

package/dist/component.js

@@ -1,5 +1,7 @@
-import { Model, adopt, trailing } from "./state.js";
-import { Context } from "./context.js";
+import { listener } from "./observable.js";
+import { Model, adopt, plain, trailing } from "./state.js";
+import { Context, join } from "./context.js";
+import { element } from "./element.js";
 import { set } from "./field/set.js";
 
 //#region src/component.ts
@@ -37,10 +39,12 @@ var Component = class Component extends Model {
 					trailing(other).forEach((orphan) => orphan.set(null));
 					other.set(null);
 				}
+				let out;
 				if (provider) provide(this);
-				else props.is?.(this);
+				else out = props.is?.(this);
 				Object.defineProperty(this, "props", { enumerable: false });
 				PENDING.delete(props);
+				if (plain(out)) return out;
 			}
 		]);
 		PENDING.set(props, this);
@@ -87,6 +91,11 @@ function provide(self) {
 	let owned;
 	let mounted = false;
 	let release;
+	let provided;
+	function remove() {
+		if (provided) provided();
+		provided = void 0;
+	}
 	function unmount() {
 		if (typeof release == "function") release();
 		release = void 0;
@@ -111,21 +120,28 @@ function provide(self) {
 		if (next !== input) {
 			input = next;
 			unmount();
-			if (Model.is(next)) {
-				adopt(self, "for", target = new next(rest));
-				owned = target;
-				is?.(target);
+			remove();
+			if (Model.is(next)) owned = target = new next(rest);
+			else {
+				owned = void 0;
+				target = next instanceof Model ? next : void 0;
+			}
+			if (target) provided = join(self, target, true);
+			adopt(self, "for", target);
+			if (owned) {
+				const out = is?.(owned);
+				if (plain(out)) owned.set(out);
 				if (mounted) release = owned.mount?.();
 				return;
 			}
-			owned = void 0;
-			adopt(self, "for", target = next instanceof Model ? next : void 0);
 		}
 		target?.set(rest);
 	}
 	sync();
 	self.set("props", sync);
+	listener(self, remove, null);
 }
+element(Component);
 
 //#endregion
 export { Component };

package/dist/component.js.map

@@ -1 +1 @@
-{"version":3,"file":"component.js","names":[],"sources":["../src/component.ts"],"sourcesContent":["import { Context } from './context';\nimport { set } from './field/set';\nimport { Model, adopt, trailing } from './state';\n\nimport type { Host } from './jsx-runtime';\n\nconst PENDING = new WeakMap<object, Component<any>>();\n\ntype IfEquals<X, Y, A, B> =\n  (<T>() => T extends X ? 1 : 2) extends\n  (<T>() => T extends Y ? 1 : 2) ? A : B;\n\n/** Keys of T which are settable (excludes get-only accessors and `readonly`). */\ntype Acceptable<T> = {\n  [P in keyof T]-?: IfEquals<\n    { [Q in P]: T[P] },\n    { -readonly [Q in P]: T[P] },\n    P, never\n  >;\n}[keyof T];\n\ntype ForProps<T extends Model> = {\n  children?: Component.Node;\n  fallback?: Component.Node | false;\n  catch?: (error: Error, instance: Component) => Promise<void> | void;\n} & (\n  | { for: Model.Extends<T>; is?: (instance: T) => void }\n  | { for: T | undefined; is?: never }\n) & { [K in Exclude<keyof T, keyof Model> & Acceptable<T>]?: T[K] };\n\ndeclare namespace Component {\n  /**\n   * Host element type produced by `Component.render`. Delegates to the\n   * {@link Host} manifest on the jsx-runtime entry; falls back to `any`\n   * until an adapter augments it with `node`. `any` (not `unknown`) so an\n   * un-annotated `render` override in a host-agnostic package still emits a\n   * JSX-valid return - `any` is assignable to every host's node type, where\n   * `unknown` is assignable to none.\n   */\n  type Node = Host extends { node: infer T } ? T : any;\n\n  interface BaseProps<T extends Component<any>> {\n    /**\n     * Callback for newly created instance. Only called once.\n     *\n     * Runs after props apply but **before** the `new()` lifecycle hook - so it\n     * may configure state that `new()` then observes. To react to a fully\n     * initialized instance instead, use `watch` or an effect.\n     */\n    is?(instance: T): void;\n\n    /**\n     * Fallback to show when suspended or in error recovery.\n     * Pass `false` to opt out of the component's own suspense boundary,\n     * letting suspension bubble to an ancestor.\n     */\n    fallback?: Component.Node;\n\n    /**\n     * Called when this element's content throws, in place of the class's own\n     * `catch`. A returned promise retries once settled.\n     */\n    catch?(error: Error, instance: T): Promise<void> | void;\n  }\n\n  type ModelProps<T extends Model> = {\n    [K in Exclude<keyof T, keyof Component> & Acceptable<T>]?: T[K];\n  };\n\n  /** @deprecated Renamed to `ModelProps`. */\n  type StateProps<T extends Model> = ModelProps<T>;\n\n  type RenderProps<T> = [T] extends [(props: infer P) => any]\n    ? [keyof NonNullable<P>] extends [never]\n    ? { children?: Component.Node }\n    : NonNullable<P>\n    : { children?: Component.Node };\n\n  type Props<T extends Component<any>> =\n    & ModelProps<T>\n    & BaseProps<T>\n    & RenderProps<T['render']>;\n}\n\nclass Component<P = unknown> extends Model {\n  /**\n   * All JSX attributes passed to this component.\n   * Includes state-derived props, render props, and built-in props like `is` and `fallback`.\n   *\n   * Will incorperate extra props you declare as props parameter in `render` method.\n   */\n  declare readonly props: [P] extends [Model] ? ForProps<P> : Component.Props<this>;\n\n  /** Stable identity used when this instance is rendered in a collection. */\n  declare readonly key: string;\n\n  /**\n   * Content to display while this component or its children are suspended.\n   * Will cover suspense by pending properties in `this.render` as well.\n   * Can be set as a class property or overridden via the `fallback` JSX prop.\n   *\n   * Defaults to null - nothing will be rendered.\n   * Set `false` to opt out of having a boundary at all - suspension then\n   * bubbles to the nearest ancestor boundary.\n   */\n  fallback: Component.Node = set(null);\n\n  constructor(props?: any, ...rest: any[]) {\n    if (props == null) props = {};\n\n    const seen = {} as Record<string, undefined>;\n    const twin = PENDING.get(props);\n    const provider = new.target === Component && 'for' in props;\n\n    if (typeof props == 'object') merge(props);\n\n    function merge(props: {}) {\n      for (const k in props) seen[k] = undefined;\n      return { ...seen, ...props };\n    }\n\n    super([\n      props,\n      rest.filter((x) => !(x instanceof Context)),\n      () => {\n        const other = twin || PENDING.get(props)!;\n\n        if (other !== this) {\n          trailing(other).forEach((orphan) => orphan.set(null));\n          other.set(null);\n        }\n\n        if (provider) provide(this);\n        else props.is?.(this);\n\n        Object.defineProperty(this, 'props', { enumerable: false });\n        PENDING.delete(props);\n      }\n    ]);\n\n    PENDING.set(props, this);\n\n    this.props = props;\n    this.set('props', () => {\n      this.set(merge(this.props));\n    });\n  }\n\n  /**\n   * Output for this component. Override to define custom JSX.\n   *\n   * Properties accessed via `this` are reactive and trigger a render when they\n   * change, in addition to props. Accepts an optional parameter to receive extra\n   * props from JSX, beyond those merged to state properties; declare its shape\n   * via `props = {} as { ... }`. Without a parameter (the default below),\n   * children pass through.\n   */\n  render(props?: {}): Component.Node {\n    const { children } = (props || this.props) as { children?: Component.Node };\n    return children || null;\n  }\n\n  /**\n   * Called when a child component throws during render.\n   * While this is pending, `fallback` is displayed.\n   * When resolved, the error boundary resets and `render` is called again.\n   *\n   * Override to handle errors - set `this.fallback` for error-specific UI,\n   * await async recovery, or await user interaction before retrying. If you\n   * assign a fallback within catch, it will be reverted after resolved.\n   */\n  catch?(error: Error, instance: this): Promise<void> | void;\n}\n\n/**\n * Default `key` accessor. The get/set pair keeps it off observed state.\n */\nObject.defineProperty(Component.prototype, 'key', {\n  configurable: true,\n  get() {\n    return String(this);\n  },\n  set(value) {\n    Object.defineProperty(this, 'key', { value });\n  }\n});\n\nComponent.on({\n  setup(self) {\n    const key = Object.getOwnPropertyDescriptor(self, 'key');\n\n    if (key?.configurable)\n      Object.defineProperty(self, 'key', {\n        enumerable: false,\n        writable: false\n      });\n  }\n});\n\nfunction provide(self: Component<any>) {\n  let input: unknown;\n  let target: Model | undefined;\n  let owned: { mount?(): unknown } | undefined;\n  let mounted = false;\n  let release: unknown;\n\n  function unmount() {\n    if (typeof release == 'function') release();\n    release = undefined;\n  }\n\n  const inherited = (self as { mount?(): unknown }).mount;\n\n  Object.defineProperty(self, 'mount', {\n    configurable: true,\n    value() {\n      const done = inherited?.call(self);\n\n      mounted = true;\n      release = owned?.mount?.();\n\n      return () => {\n        mounted = false;\n        unmount();\n        if (typeof done == 'function') done();\n      };\n    }\n  });\n\n  function sync() {\n    const { for: next, is, children, fallback, catch: _catch, ...rest } = self.props as Record<string, any>;\n\n    if (fallback === undefined) self.fallback = false;\n\n    if (next !== input) {\n      input = next;\n      unmount();\n\n      if (Model.is(next)) {\n        adopt(self, 'for', (target = new (next as Model.Type)(rest)));\n        owned = target as typeof owned;\n        is?.(target);\n        if (mounted) release = owned!.mount?.();\n        return;\n      }\n\n      owned = undefined;\n      adopt(self, 'for', (target = next instanceof Model ? next : undefined));\n    }\n\n    target?.set(rest);\n  }\n\n  sync();\n  self.set('props', sync);\n}\n\nexport { Component };\n"],"mappings":";;;;;AAMA,MAAM,0BAAU,IAAI,SAAiC;AA8ErD,IAAM,YAAN,MAAM,kBAA+B,MAAM;;;;;;;;;;CAqBzC,WAA2B,IAAI,KAAK;CAEpC,YAAY,OAAa,GAAG,MAAa;AACvC,MAAI,SAAS,KAAM,SAAQ,EAAE;EAE7B,MAAM,OAAO,EAAE;EACf,MAAM,OAAO,QAAQ,IAAI,MAAM;EAC/B,MAAM,WAAW,IAAI,WAAW,aAAa,SAAS;AAEtD,MAAI,OAAO,SAAS,SAAU,OAAM,MAAM;EAE1C,SAAS,MAAM,OAAW;AACxB,QAAK,MAAM,KAAK,MAAO,MAAK,KAAK;AACjC,UAAO;IAAE,GAAG;IAAM,GAAG;IAAO;;AAG9B,QAAM;GACJ;GACA,KAAK,QAAQ,MAAM,EAAE,aAAa,SAAS;SACrC;IACJ,MAAM,QAAQ,QAAQ,QAAQ,IAAI,MAAM;AAExC,QAAI,UAAU,MAAM;AAClB,cAAS,MAAM,CAAC,SAAS,WAAW,OAAO,IAAI,KAAK,CAAC;AACrD,WAAM,IAAI,KAAK;;AAGjB,QAAI,SAAU,SAAQ,KAAK;QACtB,OAAM,KAAK,KAAK;AAErB,WAAO,eAAe,MAAM,SAAS,EAAE,YAAY,OAAO,CAAC;AAC3D,YAAQ,OAAO,MAAM;;GAExB,CAAC;AAEF,UAAQ,IAAI,OAAO,KAAK;AAExB,OAAK,QAAQ;AACb,OAAK,IAAI,eAAe;AACtB,QAAK,IAAI,MAAM,KAAK,MAAM,CAAC;IAC3B;;;;;;;;;;;CAYJ,OAAO,OAA4B;EACjC,MAAM,EAAE,aAAc,SAAS,KAAK;AACpC,SAAO,YAAY;;;;;;AAkBvB,OAAO,eAAe,UAAU,WAAW,OAAO;CAChD,cAAc;CACd,MAAM;AACJ,SAAO,OAAO,KAAK;;CAErB,IAAI,OAAO;AACT,SAAO,eAAe,MAAM,OAAO,EAAE,OAAO,CAAC;;CAEhD,CAAC;AAEF,UAAU,GAAG,EACX,MAAM,MAAM;AAGV,KAFY,OAAO,yBAAyB,MAAM,MAAM,EAE/C,aACP,QAAO,eAAe,MAAM,OAAO;EACjC,YAAY;EACZ,UAAU;EACX,CAAC;GAEP,CAAC;AAEF,SAAS,QAAQ,MAAsB;CACrC,IAAI;CACJ,IAAI;CACJ,IAAI;CACJ,IAAI,UAAU;CACd,IAAI;CAEJ,SAAS,UAAU;AACjB,MAAI,OAAO,WAAW,WAAY,UAAS;AAC3C,YAAU;;CAGZ,MAAM,YAAa,KAA+B;AAElD,QAAO,eAAe,MAAM,SAAS;EACnC,cAAc;EACd,QAAQ;GACN,MAAM,OAAO,WAAW,KAAK,KAAK;AAElC,aAAU;AACV,aAAU,OAAO,SAAS;AAE1B,gBAAa;AACX,cAAU;AACV,aAAS;AACT,QAAI,OAAO,QAAQ,WAAY,OAAM;;;EAG1C,CAAC;CAEF,SAAS,OAAO;EACd,MAAM,EAAE,KAAK,MAAM,IAAI,UAAU,UAAU,OAAO,QAAQ,GAAG,SAAS,KAAK;AAE3E,MAAI,aAAa,OAAW,MAAK,WAAW;AAE5C,MAAI,SAAS,OAAO;AAClB,WAAQ;AACR,YAAS;AAET,OAAI,MAAM,GAAG,KAAK,EAAE;AAClB,UAAM,MAAM,OAAQ,SAAS,IAAK,KAAoB,KAAK,CAAE;AAC7D,YAAQ;AACR,SAAK,OAAO;AACZ,QAAI,QAAS,WAAU,MAAO,SAAS;AACvC;;AAGF,WAAQ;AACR,SAAM,MAAM,OAAQ,SAAS,gBAAgB,QAAQ,OAAO,OAAW;;AAGzE,UAAQ,IAAI,KAAK;;AAGnB,OAAM;AACN,MAAK,IAAI,SAAS,KAAK"}
+{"version":3,"file":"component.js","names":[],"sources":["../src/component.ts"],"sourcesContent":["import { Context, join } from './context';\nimport { element } from './element';\nimport { listener } from './observable';\nimport { set } from './field/set';\nimport { Model, adopt, plain, trailing } from './state';\n\nimport type { Host } from './jsx-runtime';\n\nconst PENDING = new WeakMap<object, Component<any>>();\n\ntype IfEquals<X, Y, A, B> =\n  (<T>() => T extends X ? 1 : 2) extends\n  (<T>() => T extends Y ? 1 : 2) ? A : B;\n\n/** Keys of T which are settable (excludes get-only accessors and `readonly`). */\ntype Acceptable<T> = {\n  [P in keyof T]-?: IfEquals<\n    { [Q in P]: T[P] },\n    { -readonly [Q in P]: T[P] },\n    P, never\n  >;\n}[keyof T];\n\ntype ForProps<T extends Model> = {\n  children?: Component.Node;\n  fallback?: Component.Node | false;\n  catch?: (error: Error, instance: Component) => Promise<void> | void;\n} & (\n  | { for: Model.Extends<T>; is?: (instance: T) => Model.Assign<T> | void }\n  | { for: T | undefined; is?: never }\n) & { [K in Exclude<keyof T, keyof Model> & Acceptable<T>]?: T[K] };\n\ndeclare namespace Component {\n  /**\n   * Host element type produced by `Component.render`. Delegates to the\n   * {@link Host} manifest on the jsx-runtime entry; falls back to `any`\n   * until an adapter augments it with `node`. `any` (not `unknown`) so an\n   * un-annotated `render` override in a host-agnostic package still emits a\n   * JSX-valid return - `any` is assignable to every host's node type, where\n   * `unknown` is assignable to none.\n   */\n  type Node = Host extends { node: infer T } ? T : any;\n\n  interface BaseProps<T extends Component<any>> {\n    /**\n     * Callback for newly created instance. Only called once.\n     *\n     * Runs after props apply but **before** the `new()` lifecycle hook - so it\n     * may configure state that `new()` then observes. A returned object is\n     * assigned, like props. To react to a fully initialized instance instead,\n     * use `watch` or an effect.\n     */\n    is?(instance: T): Model.Assign<T> | void;\n\n    /**\n     * Fallback to show when suspended or in error recovery.\n     * Pass `false` to opt out of the component's own suspense boundary,\n     * letting suspension bubble to an ancestor.\n     */\n    fallback?: Component.Node;\n\n    /**\n     * Called when this element's content throws, in place of the class's own\n     * `catch`. A returned promise retries once settled.\n     */\n    catch?(error: Error, instance: T): Promise<void> | void;\n  }\n\n  type ModelProps<T extends Model> = {\n    [K in Exclude<keyof T, keyof Component> & Acceptable<T>]?: T[K];\n  };\n\n  /** @deprecated Renamed to `ModelProps`. */\n  type StateProps<T extends Model> = ModelProps<T>;\n\n  type RenderProps<T> = [T] extends [(props: infer P) => any]\n    ? [keyof NonNullable<P>] extends [never]\n    ? { children?: Component.Node }\n    : NonNullable<P>\n    : { children?: Component.Node };\n\n  type Props<T extends Component<any>> =\n    & ModelProps<T>\n    & BaseProps<T>\n    & RenderProps<T['render']>;\n}\n\nclass Component<P = unknown> extends Model {\n  /**\n   * All JSX attributes passed to this component.\n   * Includes state-derived props, render props, and built-in props like `is` and `fallback`.\n   *\n   * Will incorperate extra props you declare as props parameter in `render` method.\n   */\n  declare readonly props: [P] extends [Model] ? ForProps<P> : Component.Props<this>;\n\n  /** Stable identity used when this instance is rendered in a collection. */\n  declare readonly key: string;\n\n  /**\n   * Content to display while this component or its children are suspended.\n   * Will cover suspense by pending properties in `this.render` as well.\n   * Can be set as a class property or overridden via the `fallback` JSX prop.\n   *\n   * Defaults to null - nothing will be rendered.\n   * Set `false` to opt out of having a boundary at all - suspension then\n   * bubbles to the nearest ancestor boundary.\n   */\n  fallback: Component.Node = set(null);\n\n  constructor(props?: any, ...rest: any[]) {\n    if (props == null) props = {};\n\n    const seen = {} as Record<string, undefined>;\n    const twin = PENDING.get(props);\n    const provider = new.target === Component && 'for' in props;\n\n    if (typeof props == 'object') merge(props);\n\n    function merge(props: {}) {\n      for (const k in props) seen[k] = undefined;\n      return { ...seen, ...props };\n    }\n\n    super([\n      props,\n      rest.filter((x) => !(x instanceof Context)),\n      () => {\n        const other = twin || PENDING.get(props)!;\n\n        if (other !== this) {\n          trailing(other).forEach((orphan) => orphan.set(null));\n          other.set(null);\n        }\n\n        let out: unknown;\n\n        if (provider) provide(this);\n        else out = props.is?.(this);\n\n        Object.defineProperty(this, 'props', { enumerable: false });\n        PENDING.delete(props);\n\n        if (plain(out)) return out;\n      }\n    ]);\n\n    PENDING.set(props, this);\n\n    this.props = props;\n    this.set('props', () => {\n      this.set(merge(this.props));\n    });\n  }\n\n  /**\n   * Output for this component. Override to define custom JSX.\n   *\n   * Properties accessed via `this` are reactive and trigger a render when they\n   * change, in addition to props. Accepts an optional parameter to receive extra\n   * props from JSX, beyond those merged to state properties; declare its shape\n   * via `props = {} as { ... }`. Without a parameter (the default below),\n   * children pass through.\n   */\n  render(props?: {}): Component.Node {\n    const { children } = (props || this.props) as { children?: Component.Node };\n    return children || null;\n  }\n\n  /**\n   * Called when a child component throws during render.\n   * While this is pending, `fallback` is displayed.\n   * When resolved, the error boundary resets and `render` is called again.\n   *\n   * Override to handle errors - set `this.fallback` for error-specific UI,\n   * await async recovery, or await user interaction before retrying. If you\n   * assign a fallback within catch, it will be reverted after resolved.\n   */\n  catch?(error: Error, instance: this): Promise<void> | void;\n}\n\n/**\n * Default `key` accessor. The get/set pair keeps it off observed state.\n */\nObject.defineProperty(Component.prototype, 'key', {\n  configurable: true,\n  get() {\n    return String(this);\n  },\n  set(value) {\n    Object.defineProperty(this, 'key', { value });\n  }\n});\n\nComponent.on({\n  setup(self) {\n    const key = Object.getOwnPropertyDescriptor(self, 'key');\n\n    if (key?.configurable)\n      Object.defineProperty(self, 'key', {\n        enumerable: false,\n        writable: false\n      });\n  }\n});\n\nfunction provide(self: Component<any>) {\n  let input: unknown;\n  let target: Model | undefined;\n  let owned: (Model & { mount?(): unknown }) | undefined;\n  let mounted = false;\n  let release: unknown;\n  let provided: (() => void) | undefined;\n\n  function remove() {\n    if (provided) provided();\n    provided = undefined;\n  }\n\n  function unmount() {\n    if (typeof release == 'function') release();\n    release = undefined;\n  }\n\n  const inherited = (self as { mount?(): unknown }).mount;\n\n  Object.defineProperty(self, 'mount', {\n    configurable: true,\n    value() {\n      const done = inherited?.call(self);\n\n      mounted = true;\n      release = owned?.mount?.();\n\n      return () => {\n        mounted = false;\n        unmount();\n        if (typeof done == 'function') done();\n      };\n    }\n  });\n\n  function sync() {\n    const { for: next, is, children, fallback, catch: _catch, ...rest } = self.props as Record<string, any>;\n\n    if (fallback === undefined) self.fallback = false;\n\n    if (next !== input) {\n      input = next;\n      unmount();\n      remove();\n\n      if (Model.is(next)) {\n        owned = target = new (next as Model.Type)(rest);\n      } else {\n        owned = undefined;\n        target = next instanceof Model ? next : undefined;\n      }\n\n      if (target) provided = join(self, target, true);\n      adopt(self, 'for', target);\n\n      if (owned) {\n        const out = is?.(owned);\n\n        if (plain(out)) owned.set(out);\n        if (mounted) release = owned.mount?.();\n\n        return;\n      }\n    }\n\n    target?.set(rest);\n  }\n\n  sync();\n  self.set('props', sync);\n  listener(self, remove, null);\n}\n\nelement(Component);\n\nexport { Component };\n"],"mappings":";;;;;;;AAQA,MAAM,0BAAU,IAAI,SAAiC;AA+ErD,IAAM,YAAN,MAAM,kBAA+B,MAAM;;;;;;;;;;CAqBzC,WAA2B,IAAI,KAAK;CAEpC,YAAY,OAAa,GAAG,MAAa;AACvC,MAAI,SAAS,KAAM,SAAQ,EAAE;EAE7B,MAAM,OAAO,EAAE;EACf,MAAM,OAAO,QAAQ,IAAI,MAAM;EAC/B,MAAM,WAAW,IAAI,WAAW,aAAa,SAAS;AAEtD,MAAI,OAAO,SAAS,SAAU,OAAM,MAAM;EAE1C,SAAS,MAAM,OAAW;AACxB,QAAK,MAAM,KAAK,MAAO,MAAK,KAAK;AACjC,UAAO;IAAE,GAAG;IAAM,GAAG;IAAO;;AAG9B,QAAM;GACJ;GACA,KAAK,QAAQ,MAAM,EAAE,aAAa,SAAS;SACrC;IACJ,MAAM,QAAQ,QAAQ,QAAQ,IAAI,MAAM;AAExC,QAAI,UAAU,MAAM;AAClB,cAAS,MAAM,CAAC,SAAS,WAAW,OAAO,IAAI,KAAK,CAAC;AACrD,WAAM,IAAI,KAAK;;IAGjB,IAAI;AAEJ,QAAI,SAAU,SAAQ,KAAK;QACtB,OAAM,MAAM,KAAK,KAAK;AAE3B,WAAO,eAAe,MAAM,SAAS,EAAE,YAAY,OAAO,CAAC;AAC3D,YAAQ,OAAO,MAAM;AAErB,QAAI,MAAM,IAAI,CAAE,QAAO;;GAE1B,CAAC;AAEF,UAAQ,IAAI,OAAO,KAAK;AAExB,OAAK,QAAQ;AACb,OAAK,IAAI,eAAe;AACtB,QAAK,IAAI,MAAM,KAAK,MAAM,CAAC;IAC3B;;;;;;;;;;;CAYJ,OAAO,OAA4B;EACjC,MAAM,EAAE,aAAc,SAAS,KAAK;AACpC,SAAO,YAAY;;;;;;AAkBvB,OAAO,eAAe,UAAU,WAAW,OAAO;CAChD,cAAc;CACd,MAAM;AACJ,SAAO,OAAO,KAAK;;CAErB,IAAI,OAAO;AACT,SAAO,eAAe,MAAM,OAAO,EAAE,OAAO,CAAC;;CAEhD,CAAC;AAEF,UAAU,GAAG,EACX,MAAM,MAAM;AAGV,KAFY,OAAO,yBAAyB,MAAM,MAAM,EAE/C,aACP,QAAO,eAAe,MAAM,OAAO;EACjC,YAAY;EACZ,UAAU;EACX,CAAC;GAEP,CAAC;AAEF,SAAS,QAAQ,MAAsB;CACrC,IAAI;CACJ,IAAI;CACJ,IAAI;CACJ,IAAI,UAAU;CACd,IAAI;CACJ,IAAI;CAEJ,SAAS,SAAS;AAChB,MAAI,SAAU,WAAU;AACxB,aAAW;;CAGb,SAAS,UAAU;AACjB,MAAI,OAAO,WAAW,WAAY,UAAS;AAC3C,YAAU;;CAGZ,MAAM,YAAa,KAA+B;AAElD,QAAO,eAAe,MAAM,SAAS;EACnC,cAAc;EACd,QAAQ;GACN,MAAM,OAAO,WAAW,KAAK,KAAK;AAElC,aAAU;AACV,aAAU,OAAO,SAAS;AAE1B,gBAAa;AACX,cAAU;AACV,aAAS;AACT,QAAI,OAAO,QAAQ,WAAY,OAAM;;;EAG1C,CAAC;CAEF,SAAS,OAAO;EACd,MAAM,EAAE,KAAK,MAAM,IAAI,UAAU,UAAU,OAAO,QAAQ,GAAG,SAAS,KAAK;AAE3E,MAAI,aAAa,OAAW,MAAK,WAAW;AAE5C,MAAI,SAAS,OAAO;AAClB,WAAQ;AACR,YAAS;AACT,WAAQ;AAER,OAAI,MAAM,GAAG,KAAK,CAChB,SAAQ,SAAS,IAAK,KAAoB,KAAK;QAC1C;AACL,YAAQ;AACR,aAAS,gBAAgB,QAAQ,OAAO;;AAG1C,OAAI,OAAQ,YAAW,KAAK,MAAM,QAAQ,KAAK;AAC/C,SAAM,MAAM,OAAO,OAAO;AAE1B,OAAI,OAAO;IACT,MAAM,MAAM,KAAK,MAAM;AAEvB,QAAI,MAAM,IAAI,CAAE,OAAM,IAAI,IAAI;AAC9B,QAAI,QAAS,WAAU,MAAM,SAAS;AAEtC;;;AAIJ,UAAQ,IAAI,KAAK;;AAGnB,OAAM;AACN,MAAK,IAAI,SAAS,KAAK;AACvB,UAAS,MAAM,QAAQ,KAAK;;AAG9B,QAAQ,UAAU"}

package/dist/context.d.ts

@@ -8,8 +8,20 @@ declare namespace Context {
 }
 declare class Context {
   static get root(): Context;
-  /** Get the context for a Model. Adapters may override to provide framework context. */
-  static get(state?: Model): Context;
+  /** Current context - innermost set by `state.get(Type)` or the `get` instruction, otherwise as the host's {@link resolver} returns it. */
+  static get(): Context;
+  /** Get the context a Model was added to - root if none. */
+  static get(state: Model): Context;
+  /**
+   * Resolve a static `get` of `Type` by running `compute` against the current
+   * context. Inside `state.get(Type)` or the `get` instruction, `from` is that
+   * Model and a returned Model is tracked through it; otherwise
+   * the host's {@link resolver} decides.
+   *
+   * @param Type - Class `get` was called on.
+   * @param compute - Resolves the value from a context.
+   */
+  static get<R>(Type: Model.Extends, compute: (context: Context, from?: Model) => R): R;
   id: string;
   parent?: Context;
   scope: Set<Context>;
@@ -25,7 +37,7 @@ declare class Context {
   /** Subscribe to a type becoming available in context. */
   get<T extends Model>(Type: Model.Extends<T>, callback: Expect<T>, downstream?: boolean): () => void;
   /** Lookup excluding a specific instance (used by Model.prototype.get for upstream-of-self semantics). */
-  get<T extends Model>(Type: Model.Extends<T>, arg: boolean | Expect<T> | undefined, downstream: boolean | undefined, skip: Model): T | undefined | (() => void);
+  get<T extends Model>(Type: Model.Extends<T>, arg: boolean | Expect<T> | undefined, downstream: boolean | undefined, skip?: Model): T | undefined | (() => void);
   add(I: Model, explicit?: boolean): () => void;
   /**
    * Create a child context, optionally registering Models to it.
@@ -41,13 +53,26 @@ declare class Context {
    */
   pop(): void;
 }
+type Resolve = (Type: Model.Extends | undefined, compute: (context: Context) => unknown) => unknown;
+/**
+ * Install how a host runs `compute` for a `Context.get` outside any origin -
+ * `Type` is undefined for bare `Context.get()`. Its return value is what the
+ * caller receives, so a host may track or wrap it. Returns the previous
+ * resolver, for the host to call where it is not rendering.
+ */
+declare function resolver(next: Resolve): Resolve;
+/**
+ * Run `fn` with the context of `origin` current, and `origin` as origin of
+ * any `get` resolved within. Nests.
+ */
+declare function within<R>(origin: Model, fn: () => R): R;
 /**
- * Add `value` to the context `state` was added to. A context-less `state` holds
+ * Add `value` to the lookup origin of `state`. A context-less `state` holds
  * it instead - every context adding `state` later adds its held children too.
  */
-declare function join(state: Model, value: Model): () => void;
+declare function join(state: Model, value: Model, explicit?: boolean): () => void;
 /** The Model a host mounted `state` under - the one its nearest enclosing context was set up for. */
 declare function host(state: Model): Model | undefined;
 //#endregion
-export { Context, host, join };
+export { Context, host, join, resolver, within };
 //# sourceMappingURL=context.d.ts.map

package/dist/context.js

@@ -1,8 +1,10 @@
-import { event, listener } from "./observable.js";
-import { Model, uid } from "./state.js";
+import { Observer, event, listener, touch } from "./observable.js";
+import { Model, observed, parent, uid } from "./state.js";
 
 //#region src/context.ts
-const LOOKUP = /* @__PURE__ */ new WeakMap();
+const CONTEXT = Symbol("context");
+const STACK = [];
+const HOME = /* @__PURE__ */ new WeakMap();
 const HELD = /* @__PURE__ */ new WeakMap();
 const HOST = /* @__PURE__ */ new WeakMap();
 const CLEANUP = /* @__PURE__ */ new WeakMap();
@@ -11,9 +13,14 @@ var Context = class Context {
 	static get root() {
 		return ROOT ??= new Context();
 	}
-	/** Get the context for a Model. Adapters may override to provide framework context. */
-	static get(state) {
-		return state && LOOKUP.get(state.is) || Context.root;
+	static get(arg, compute = (context) => context) {
+		if (!arg || typeof arg == "function") {
+			const top = STACK[STACK.length - 1];
+			if (!top) return current(arg, compute);
+			const [context, from] = top;
+			return observed(from, arg, compute(arg ? touch(from, CONTEXT, context) : context, from.is));
+		}
+		return home(arg.is) || Context.root;
 	}
 	id = uid();
 	parent;
@@ -45,7 +52,8 @@ var Context = class Context {
 	get(Type, arg, downstream, skip) {
 		let found;
 		let priority = false;
-		for (let ctx = this; ctx; ctx = ctx.parent) {
+		for (let ctx = this; ctx; ctx = above(ctx)) {
+			touch(ctx, Type);
 			const entries = ctx.provide.get(Type);
 			if (!entries) continue;
 			for (const [state, explicit] of entries) {
@@ -82,16 +90,23 @@ var Context = class Context {
 		const { provide } = this;
 		const root = this === Context.root;
 		const TT = [];
-		function conflict(T) {
+		const conflict = (T) => {
 			const entries = provide.get(T);
 			if (entries) {
-				for (const entry of entries) if (!entry[1] && entry[0] !== I) return entries.delete(entry);
+				for (const entry of entries) if (!entry[1] && entry[0] !== I) {
+					emit(this, T);
+					return entries.delete(entry);
+				}
 			}
-		}
+		};
 		for (let T = I.constructor; T !== Model; T = Object.getPrototypeOf(T)) if (explicit || !root || !conflict(T)) TT.push(T);
 		const expects = /* @__PURE__ */ new Map();
 		const onDone = /* @__PURE__ */ new Set();
-		for (const T of TT) onDone.add(this.register(T, [I, explicit]));
+		for (const T of TT) {
+			onDone.add(this.register(T, [I, explicit]));
+			onDone.add(() => emit(this, T));
+			emit(this, T);
+		}
 		function queue(ctx, downstream, same) {
 			let found = false;
 			for (const T of TT) {
@@ -109,7 +124,9 @@ var Context = class Context {
 		queue(this, true, true);
 		for (let ctx = this.parent; ctx; ctx = ctx.parent) queue(ctx, true);
 		this.traverse((ctx) => queue(ctx, false));
-		if (!LOOKUP.has(I)) LOOKUP.set(I, this);
+		const owner = parent(I);
+		const placed = explicit && !(owner && home(owner));
+		if (!HOME.has(I) && (!owner || placed)) HOME.set(I, this);
 		listener(I, () => {
 			expects.forEach((f) => f());
 			expects.clear();
@@ -120,8 +137,8 @@ var Context = class Context {
 			onDone.clear();
 		}
 		const cleanup = CLEANUP.get(this);
-		const held = Array.from(HELD.get(I) || [], ([child, added]) => {
-			const done = this.add(child);
+		const held = Array.from(HELD.get(I) || [], ([child, [added, explicit]]) => {
+			const done = this.add(child, explicit);
 			added.add(done);
 			return () => {
 				if (added.delete(done)) done();
@@ -163,19 +180,58 @@ var Context = class Context {
 		if (this.parent) this.parent.scope.delete(this);
 	}
 };
-Object.defineProperty(Context.prototype, "toString", { value() {
-	return `Context-${this.id}`;
-} });
+Object.defineProperties(Context.prototype, {
+	toString: { value() {
+		return `Context-${this.id}`;
+	} },
+	[Observer]: { get() {
+		Object.defineProperty(this, Observer, { writable: true });
+		event(this);
+		return this[Observer];
+	} }
+});
+function emit(ctx, T) {
+	if (Object.getOwnPropertyDescriptor(ctx, Observer)) event(ctx, T);
+}
+let current = (_Type, compute) => compute(Context.root);
+/**
+* Install how a host runs `compute` for a `Context.get` outside any origin -
+* `Type` is undefined for bare `Context.get()`. Its return value is what the
+* caller receives, so a host may track or wrap it. Returns the previous
+* resolver, for the host to call where it is not rendering.
+*/
+function resolver(next) {
+	const previous = current;
+	current = next;
+	return previous;
+}
 /**
-* Add `value` to the context `state` was added to. A context-less `state` holds
+* Run `fn` with the context of `origin` current, and `origin` as origin of
+* any `get` resolved within. Nests.
+*/
+function within(origin, fn) {
+	STACK.push([Context.get(origin), origin]);
+	try {
+		return fn();
+	} finally {
+		STACK.pop();
+	}
+}
+/**
+* Add `value` to the lookup origin of `state`. A context-less `state` holds
 * it instead - every context adding `state` later adds its held children too.
 */
-function join(state, value) {
-	const ctx = LOOKUP.get(state.is);
-	if (ctx) return ctx.add(value);
+function join(state, value, explicit) {
+	const ctx = home(state.is);
+	const none = () => {};
+	if (ctx) {
+		for (let at = ctx; at; at = at.parent) for (const [x, is] of at.provide.get(value.constructor) || []) if (x === value && is) return none;
+		return ctx.add(value, explicit);
+	}
 	const held = HELD.get(state) || /* @__PURE__ */ new Map();
+	if (held.get(value)?.[1]) return none;
 	const added = /* @__PURE__ */ new Set();
-	HELD.set(state, held.set(value, added));
+	HELD.set(state, held.set(value, [added, explicit]));
 	return () => {
 		held.delete(value);
 		added.forEach((done) => {
@@ -184,9 +240,16 @@ function join(state, value) {
 		});
 	};
 }
+function above(ctx) {
+	return ctx.parent && touch(ctx, "parent", ctx.parent);
+}
+function home(state) {
+	const owner = parent(state);
+	return HOME.get(state) || (owner ? home(owner) : void 0);
+}
 /** The Model a host mounted `state` under - the one its nearest enclosing context was set up for. */
 function host(state) {
-	for (let ctx = LOOKUP.get(state); ctx; ctx = ctx.parent) {
+	for (let ctx = home(state); ctx; ctx = ctx.parent) {
 		const found = HOST.get(ctx);
 		if (found && found !== state) return found;
 	}
@@ -214,5 +277,5 @@ function insert(into, input) {
 }
 
 //#endregion
-export { Context, host, join };
+export { Context, host, join, resolver, within };
 //# sourceMappingURL=context.js.map

package/dist/context.js.map

@@ -1 +1 @@
-{"version":3,"file":"context.js","names":[],"sources":["../src/context.ts"],"sourcesContent":["import { listener } from \"./observable\";\nimport { event, Model, uid } from \"./state\";\n\nconst LOOKUP = new WeakMap<Model, Context>();\nconst HELD = new WeakMap<Model, Map<Model, Set<() => void>>>();\nconst HOST = new WeakMap<Context, Model>();\nconst CLEANUP = new WeakMap<Context, Set<() => void>>();\nlet ROOT: Context;\n\ntype Accept<T extends Model = Model> =\n  | T\n  | Model.Type<T>\n  | Record<string | number, T | Model.Type<T>>;\n\ntype Expect<T extends Model = Model> = (\n  state: T,\n  downstream: boolean,\n) => (() => void) | void;\n\ndeclare namespace Context {\n  export { Accept, Expect };\n}\n\nclass Context {\n  static get root(): Context {\n    return ROOT ??= new Context();\n  }\n\n  /** Get the context for a Model. Adapters may override to provide framework context. */\n  static get(state?: Model): Context {\n    return state && LOOKUP.get(state.is) || Context.root;\n  }\n\n  public id = uid();\n  public parent?: Context;\n  public scope = new Set<Context>();\n  public consume = new Map<\n    Model.Extends,\n    Set<[Expect, boolean | undefined]> | null\n  >();\n  public provide = new Map<Model.Extends, Set<[Model, boolean]> | null>();\n\n  constructor(arg?: Context | Accept) {\n    CLEANUP.set(this, new Set());\n\n    if (arg instanceof Context) {\n      this.parent = arg;\n      arg.scope.add(this);\n    } else if (arg) {\n      insert(this, arg);\n    }\n  }\n\n  private traverse(accept: (ctx: Context) => boolean | void) {\n    const queue = [...this.scope];\n    for (const ctx of queue)\n      if (accept(ctx) !== false) for (const c of ctx.scope) queue.push(c);\n  }\n\n  private register<T extends Model>(\n    type: Model.Extends<T>,\n    value: [Expect<T>, boolean | undefined],\n    asConsumer: true,\n  ): () => void;\n\n  private register<T extends Model>(\n    type: Model.Extends<T>,\n    value: [T, boolean],\n    asConsumer?: false,\n  ): () => void;\n\n  private register(type: Model.Extends, value: any, asConsumer?: boolean) {\n    const mode = asConsumer ? \"consume\" : \"provide\";\n    let set = this[mode].get(type) as Set<any>;\n    if (!set) this[mode].set(type, (set = new Set()));\n    set.add(value);\n\n    for (let ctx = this.parent; ctx; ctx = ctx.parent) {\n      if (ctx[mode].has(type)) break;\n      ctx[mode].set(type, null);\n    }\n\n    return () => set.delete(value);\n  }\n\n  /** Find specified type upstream. Throws if not found. */\n  public get<T extends Model>(Type: Model.Extends<T>, required?: true): T;\n\n  /** Find specified type upstream. Returns undefined if not found. */\n  public get<T extends Model>(\n    Type: Model.Extends<T>,\n    required?: boolean,\n  ): T | undefined;\n\n  /** Subscribe to a type becoming available in context. */\n  public get<T extends Model>(\n    Type: Model.Extends<T>,\n    callback: Expect<T>,\n    downstream?: boolean,\n  ): () => void;\n\n  /** Lookup excluding a specific instance (used by Model.prototype.get for upstream-of-self semantics). */\n  public get<T extends Model>(\n    Type: Model.Extends<T>,\n    arg: boolean | Expect<T> | undefined,\n    downstream: boolean | undefined,\n    skip: Model,\n  ): T | undefined | (() => void);\n\n  public get<T extends Model>(\n    Type: Model.Extends<T>,\n    arg?: boolean | Expect<T>,\n    downstream?: boolean,\n    skip?: Model,\n  ) {\n    let found: T | null | undefined;\n    let priority = false;\n\n    for (let ctx: Context | undefined = this; ctx; ctx = ctx.parent) {\n      const entries = ctx.provide.get(Type);\n      if (!entries) continue;\n\n      for (const [state, explicit] of entries) {\n        if (state === skip || found === state) continue;\n        if (!found || (explicit && !priority)) {\n          found = state as T;\n          priority = explicit;\n          continue;\n        }\n        if (!priority) {\n          found = null;\n          break;\n        }\n        if (explicit)\n          throw new Error(\n            `Did find ${Type} in context, but multiple were defined.`,\n          );\n      }\n      if (found !== undefined) break;\n    }\n\n    if (typeof arg === \"function\") {\n      if (found && !downstream) arg(found, false);\n\n      if (downstream !== false) {\n        this.traverse((ctx) => {\n          const has = ctx.provide.get(Type);\n          if (has) for (const x of has) if (x[0] !== skip) arg(x[0] as T, true);\n          return has !== undefined;\n        });\n      }\n\n      return this.register(Type, [arg as Expect, downstream], true);\n    }\n\n    if (found) return found;\n    if (found === null) return null;\n    if (arg !== false) throw new Error(`Could not find ${Type} in context.`);\n  }\n\n  add(I: Model, explicit = false) {\n    const { provide } = this;\n    const root = this === Context.root;\n    const TT: Model.Extends[] = [];\n\n    function conflict(T: Model.Extends) {\n      const entries = provide.get(T);\n      if (entries)\n        for (const entry of entries)\n          if (!entry[1] && entry[0] !== I) return entries.delete(entry);\n    }\n\n    for (\n      let T = I.constructor as Model.Extends;\n      T !== Model;\n      T = Object.getPrototypeOf(T)\n    )\n      if (explicit || !root || !conflict(T)) TT.push(T);\n\n    const expects = new Map<Expect, () => void>();\n    const onDone = new Set<() => void>();\n\n    for (const T of TT) onDone.add(this.register(T, [I, explicit]));\n\n    function queue(ctx: Context, downstream: boolean, same?: boolean) {\n      let found = false;\n      for (const T of TT) {\n        const list = ctx.consume.get(T);\n        if (list !== undefined) found = true;\n        if (list)\n          for (const [cb, filter] of list)\n            if (same || filter == null || filter === downstream)\n              expects.set(cb, () => {\n                const r = cb(I, filter ?? downstream);\n                if (r) onDone.add(r);\n              });\n      }\n      return found;\n    }\n\n    queue(this, true, true);\n    for (let ctx = this.parent; ctx; ctx = ctx.parent) queue(ctx, true);\n    this.traverse((ctx) => queue(ctx, false));\n\n    if (!LOOKUP.has(I)) LOOKUP.set(I, this);\n\n    listener(I, () => {\n      expects.forEach((f) => f());\n      expects.clear();\n      return null;\n    });\n\n    function flush() {\n      onDone.forEach((r) => r());\n      onDone.clear();\n    }\n\n    const cleanup = CLEANUP.get(this)!;\n    const held = Array.from(HELD.get(I) || [], ([child, added]) => {\n      const done = this.add(child);\n      added.add(done);\n      return () => {\n        if (added.delete(done)) done();\n      };\n    });\n\n    function remove() {\n      cleanup.delete(remove);\n      held.forEach((done) => done());\n      flush();\n    }\n\n    cleanup.add(remove);\n\n    return remove;\n  }\n\n  /**\n   * Create a child context, optionally registering Models to it.\n   *\n   * @param input Model instance to adopt, Model class to create - and destroy when the context pops - or an object of them, all registered before any activates.\n   * @param cleanup Called once when the context pops, before its Models are removed.\n   */\n  public push(input?: Accept, cleanup?: () => void) {\n    const next = new Context(this);\n\n    if (cleanup) CLEANUP.get(next)!.add(cleanup);\n    if (input) insert(next, input);\n\n    return next;\n  }\n\n  /**\n   * Remove all Models from this context.\n   *\n   * Will also run any cleanup callbacks registered when Models were added.\n   */\n  public pop() {\n    this.scope.forEach((x) => x.pop());\n    this.scope.clear();\n    const cleanup = CLEANUP.get(this)!;\n    cleanup.forEach((cb) => cb());\n    cleanup.clear();\n    this.consume.clear();\n    this.provide.clear();\n    if (this.parent) {\n      this.parent.scope.delete(this);\n    }\n  }\n}\n\nObject.defineProperty(Context.prototype, \"toString\", {\n  value() {\n    return `Context-${this.id}`;\n  },\n});\n\n/**\n * Add `value` to the context `state` was added to. A context-less `state` holds\n * it instead - every context adding `state` later adds its held children too.\n */\nfunction join(state: Model, value: Model): () => void {\n  const ctx = LOOKUP.get(state.is);\n\n  if (ctx) return ctx.add(value);\n\n  const held = HELD.get(state) || new Map();\n  const added = new Set<() => void>();\n\n  HELD.set(state, held.set(value, added));\n\n  return () => {\n    held.delete(value);\n    added.forEach((done) => {\n      added.delete(done);\n      done();\n    });\n  };\n}\n\n/** The Model a host mounted `state` under - the one its nearest enclosing context was set up for. */\nfunction host(state: Model) {\n  for (let ctx = LOOKUP.get(state); ctx; ctx = ctx.parent) {\n    const found = HOST.get(ctx);\n    if (found && found !== state) return found;\n  }\n}\n\nfunction insert(into: Context, input: Accept) {\n  const single = typeof input == \"function\" || input instanceof Model;\n  const entries = Object.entries(single ? { input } : input);\n  const init: Model[] = [];\n  const owns: Model[] = [];\n\n  for (const [K, V] of entries) {\n    const owned = Model.is(V);\n\n    if (!(owned || V instanceof Model)) {\n      const as = single || K == String(V) ? V : `${V} (as '${K}')`;\n      throw new Error(\n        `Context can only include an instance or class of Model but got ${as}.`,\n      );\n    }\n\n    const state = owned ? new V() : V.is;\n\n    into.add(state, true);\n    init.push(state);\n\n    if (single) HOST.set(into, state);\n    if (owned) owns.push(state);\n  }\n\n  const cleanup = CLEANUP.get(into)!;\n\n  for (const state of owns) cleanup.add(() => event(state, null));\n  for (const state of init) event(state);\n}\n\nexport { Context, host, join };\n"],"mappings":";;;;AAGA,MAAM,yBAAS,IAAI,SAAyB;AAC5C,MAAM,uBAAO,IAAI,SAA6C;AAC9D,MAAM,uBAAO,IAAI,SAAyB;AAC1C,MAAM,0BAAU,IAAI,SAAmC;AACvD,IAAI;AAgBJ,IAAM,UAAN,MAAM,QAAQ;CACZ,WAAW,OAAgB;AACzB,SAAO,SAAS,IAAI,SAAS;;;CAI/B,OAAO,IAAI,OAAwB;AACjC,SAAO,SAAS,OAAO,IAAI,MAAM,GAAG,IAAI,QAAQ;;CAGlD,AAAO,KAAK,KAAK;CACjB,AAAO;CACP,AAAO,wBAAQ,IAAI,KAAc;CACjC,AAAO,0BAAU,IAAI,KAGlB;CACH,AAAO,0BAAU,IAAI,KAAkD;CAEvE,YAAY,KAAwB;AAClC,UAAQ,IAAI,sBAAM,IAAI,KAAK,CAAC;AAE5B,MAAI,eAAe,SAAS;AAC1B,QAAK,SAAS;AACd,OAAI,MAAM,IAAI,KAAK;aACV,IACT,QAAO,MAAM,IAAI;;CAIrB,AAAQ,SAAS,QAA0C;EACzD,MAAM,QAAQ,CAAC,GAAG,KAAK,MAAM;AAC7B,OAAK,MAAM,OAAO,MAChB,KAAI,OAAO,IAAI,KAAK,MAAO,MAAK,MAAM,KAAK,IAAI,MAAO,OAAM,KAAK,EAAE;;CAevE,AAAQ,SAAS,MAAqB,OAAY,YAAsB;EACtE,MAAM,OAAO,aAAa,YAAY;EACtC,IAAI,MAAM,KAAK,MAAM,IAAI,KAAK;AAC9B,MAAI,CAAC,IAAK,MAAK,MAAM,IAAI,MAAO,sBAAM,IAAI,KAAK,CAAE;AACjD,MAAI,IAAI,MAAM;AAEd,OAAK,IAAI,MAAM,KAAK,QAAQ,KAAK,MAAM,IAAI,QAAQ;AACjD,OAAI,IAAI,MAAM,IAAI,KAAK,CAAE;AACzB,OAAI,MAAM,IAAI,MAAM,KAAK;;AAG3B,eAAa,IAAI,OAAO,MAAM;;CA2BhC,AAAO,IACL,MACA,KACA,YACA,MACA;EACA,IAAI;EACJ,IAAI,WAAW;AAEf,OAAK,IAAI,MAA2B,MAAM,KAAK,MAAM,IAAI,QAAQ;GAC/D,MAAM,UAAU,IAAI,QAAQ,IAAI,KAAK;AACrC,OAAI,CAAC,QAAS;AAEd,QAAK,MAAM,CAAC,OAAO,aAAa,SAAS;AACvC,QAAI,UAAU,QAAQ,UAAU,MAAO;AACvC,QAAI,CAAC,SAAU,YAAY,CAAC,UAAW;AACrC,aAAQ;AACR,gBAAW;AACX;;AAEF,QAAI,CAAC,UAAU;AACb,aAAQ;AACR;;AAEF,QAAI,SACF,OAAM,IAAI,MACR,YAAY,KAAK,yCAClB;;AAEL,OAAI,UAAU,OAAW;;AAG3B,MAAI,OAAO,QAAQ,YAAY;AAC7B,OAAI,SAAS,CAAC,WAAY,KAAI,OAAO,MAAM;AAE3C,OAAI,eAAe,MACjB,MAAK,UAAU,QAAQ;IACrB,MAAM,MAAM,IAAI,QAAQ,IAAI,KAAK;AACjC,QAAI,KAAK;UAAK,MAAM,KAAK,IAAK,KAAI,EAAE,OAAO,KAAM,KAAI,EAAE,IAAS,KAAK;;AACrE,WAAO,QAAQ;KACf;AAGJ,UAAO,KAAK,SAAS,MAAM,CAAC,KAAe,WAAW,EAAE,KAAK;;AAG/D,MAAI,MAAO,QAAO;AAClB,MAAI,UAAU,KAAM,QAAO;AAC3B,MAAI,QAAQ,MAAO,OAAM,IAAI,MAAM,kBAAkB,KAAK,cAAc;;CAG1E,IAAI,GAAU,WAAW,OAAO;EAC9B,MAAM,EAAE,YAAY;EACpB,MAAM,OAAO,SAAS,QAAQ;EAC9B,MAAM,KAAsB,EAAE;EAE9B,SAAS,SAAS,GAAkB;GAClC,MAAM,UAAU,QAAQ,IAAI,EAAE;AAC9B,OAAI,SACF;SAAK,MAAM,SAAS,QAClB,KAAI,CAAC,MAAM,MAAM,MAAM,OAAO,EAAG,QAAO,QAAQ,OAAO,MAAM;;;AAGnE,OACE,IAAI,IAAI,EAAE,aACV,MAAM,OACN,IAAI,OAAO,eAAe,EAAE,CAE5B,KAAI,YAAY,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAE,IAAG,KAAK,EAAE;EAEnD,MAAM,0BAAU,IAAI,KAAyB;EAC7C,MAAM,yBAAS,IAAI,KAAiB;AAEpC,OAAK,MAAM,KAAK,GAAI,QAAO,IAAI,KAAK,SAAS,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC;EAE/D,SAAS,MAAM,KAAc,YAAqB,MAAgB;GAChE,IAAI,QAAQ;AACZ,QAAK,MAAM,KAAK,IAAI;IAClB,MAAM,OAAO,IAAI,QAAQ,IAAI,EAAE;AAC/B,QAAI,SAAS,OAAW,SAAQ;AAChC,QAAI,MACF;UAAK,MAAM,CAAC,IAAI,WAAW,KACzB,KAAI,QAAQ,UAAU,QAAQ,WAAW,WACvC,SAAQ,IAAI,UAAU;MACpB,MAAM,IAAI,GAAG,GAAG,UAAU,WAAW;AACrC,UAAI,EAAG,QAAO,IAAI,EAAE;OACpB;;;AAEV,UAAO;;AAGT,QAAM,MAAM,MAAM,KAAK;AACvB,OAAK,IAAI,MAAM,KAAK,QAAQ,KAAK,MAAM,IAAI,OAAQ,OAAM,KAAK,KAAK;AACnE,OAAK,UAAU,QAAQ,MAAM,KAAK,MAAM,CAAC;AAEzC,MAAI,CAAC,OAAO,IAAI,EAAE,CAAE,QAAO,IAAI,GAAG,KAAK;AAEvC,WAAS,SAAS;AAChB,WAAQ,SAAS,MAAM,GAAG,CAAC;AAC3B,WAAQ,OAAO;AACf,UAAO;IACP;EAEF,SAAS,QAAQ;AACf,UAAO,SAAS,MAAM,GAAG,CAAC;AAC1B,UAAO,OAAO;;EAGhB,MAAM,UAAU,QAAQ,IAAI,KAAK;EACjC,MAAM,OAAO,MAAM,KAAK,KAAK,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,OAAO,WAAW;GAC7D,MAAM,OAAO,KAAK,IAAI,MAAM;AAC5B,SAAM,IAAI,KAAK;AACf,gBAAa;AACX,QAAI,MAAM,OAAO,KAAK,CAAE,OAAM;;IAEhC;EAEF,SAAS,SAAS;AAChB,WAAQ,OAAO,OAAO;AACtB,QAAK,SAAS,SAAS,MAAM,CAAC;AAC9B,UAAO;;AAGT,UAAQ,IAAI,OAAO;AAEnB,SAAO;;;;;;;;CAST,AAAO,KAAK,OAAgB,SAAsB;EAChD,MAAM,OAAO,IAAI,QAAQ,KAAK;AAE9B,MAAI,QAAS,SAAQ,IAAI,KAAK,CAAE,IAAI,QAAQ;AAC5C,MAAI,MAAO,QAAO,MAAM,MAAM;AAE9B,SAAO;;;;;;;CAQT,AAAO,MAAM;AACX,OAAK,MAAM,SAAS,MAAM,EAAE,KAAK,CAAC;AAClC,OAAK,MAAM,OAAO;EAClB,MAAM,UAAU,QAAQ,IAAI,KAAK;AACjC,UAAQ,SAAS,OAAO,IAAI,CAAC;AAC7B,UAAQ,OAAO;AACf,OAAK,QAAQ,OAAO;AACpB,OAAK,QAAQ,OAAO;AACpB,MAAI,KAAK,OACP,MAAK,OAAO,MAAM,OAAO,KAAK;;;AAKpC,OAAO,eAAe,QAAQ,WAAW,YAAY,EACnD,QAAQ;AACN,QAAO,WAAW,KAAK;GAE1B,CAAC;;;;;AAMF,SAAS,KAAK,OAAc,OAA0B;CACpD,MAAM,MAAM,OAAO,IAAI,MAAM,GAAG;AAEhC,KAAI,IAAK,QAAO,IAAI,IAAI,MAAM;CAE9B,MAAM,OAAO,KAAK,IAAI,MAAM,oBAAI,IAAI,KAAK;CACzC,MAAM,wBAAQ,IAAI,KAAiB;AAEnC,MAAK,IAAI,OAAO,KAAK,IAAI,OAAO,MAAM,CAAC;AAEvC,cAAa;AACX,OAAK,OAAO,MAAM;AAClB,QAAM,SAAS,SAAS;AACtB,SAAM,OAAO,KAAK;AAClB,SAAM;IACN;;;;AAKN,SAAS,KAAK,OAAc;AAC1B,MAAK,IAAI,MAAM,OAAO,IAAI,MAAM,EAAE,KAAK,MAAM,IAAI,QAAQ;EACvD,MAAM,QAAQ,KAAK,IAAI,IAAI;AAC3B,MAAI,SAAS,UAAU,MAAO,QAAO;;;AAIzC,SAAS,OAAO,MAAe,OAAe;CAC5C,MAAM,SAAS,OAAO,SAAS,cAAc,iBAAiB;CAC9D,MAAM,UAAU,OAAO,QAAQ,SAAS,EAAE,OAAO,GAAG,MAAM;CAC1D,MAAM,OAAgB,EAAE;CACxB,MAAM,OAAgB,EAAE;AAExB,MAAK,MAAM,CAAC,GAAG,MAAM,SAAS;EAC5B,MAAM,QAAQ,MAAM,GAAG,EAAE;AAEzB,MAAI,EAAE,SAAS,aAAa,QAAQ;GAClC,MAAM,KAAK,UAAU,KAAK,OAAO,EAAE,GAAG,IAAI,GAAG,EAAE,QAAQ,EAAE;AACzD,SAAM,IAAI,MACR,kEAAkE,GAAG,GACtE;;EAGH,MAAM,QAAQ,QAAQ,IAAI,GAAG,GAAG,EAAE;AAElC,OAAK,IAAI,OAAO,KAAK;AACrB,OAAK,KAAK,MAAM;AAEhB,MAAI,OAAQ,MAAK,IAAI,MAAM,MAAM;AACjC,MAAI,MAAO,MAAK,KAAK,MAAM;;CAG7B,MAAM,UAAU,QAAQ,IAAI,KAAK;AAEjC,MAAK,MAAM,SAAS,KAAM,SAAQ,UAAU,MAAM,OAAO,KAAK,CAAC;AAC/D,MAAK,MAAM,SAAS,KAAM,OAAM,MAAM"}
+{"version":3,"file":"context.js","names":[],"sources":["../src/context.ts"],"sourcesContent":["import { event as signal, listener, Observer, touch } from \"./observable\";\nimport { event, Model, observed, parent, uid } from \"./state\";\n\nconst CONTEXT = Symbol(\"context\");\nconst STACK: [Context, Model][] = [];\nconst HOME = new WeakMap<Model, Context>();\nconst HELD = new WeakMap<Model, Map<Model, [Set<() => void>, boolean?]>>();\nconst HOST = new WeakMap<Context, Model>();\nconst CLEANUP = new WeakMap<Context, Set<() => void>>();\nlet ROOT: Context;\n\ntype Accept<T extends Model = Model> =\n  | T\n  | Model.Type<T>\n  | Record<string | number, T | Model.Type<T>>;\n\ntype Expect<T extends Model = Model> = (\n  state: T,\n  downstream: boolean,\n) => (() => void) | void;\n\ndeclare namespace Context {\n  export { Accept, Expect };\n}\n\nclass Context {\n  static get root(): Context {\n    return ROOT ??= new Context();\n  }\n\n  /** Current context - innermost set by `state.get(Type)` or the `get` instruction, otherwise as the host's {@link resolver} returns it. */\n  static get(): Context;\n\n  /** Get the context a Model was added to - root if none. */\n  static get(state: Model): Context;\n\n  /**\n   * Resolve a static `get` of `Type` by running `compute` against the current\n   * context. Inside `state.get(Type)` or the `get` instruction, `from` is that\n   * Model and a returned Model is tracked through it; otherwise\n   * the host's {@link resolver} decides.\n   *\n   * @param Type - Class `get` was called on.\n   * @param compute - Resolves the value from a context.\n   */\n  static get<R>(\n    Type: Model.Extends,\n    compute: (context: Context, from?: Model) => R,\n  ): R;\n\n  static get(\n    arg?: Model | Model.Extends,\n    compute: (context: Context, from?: Model) => unknown = (context) => context,\n  ): unknown {\n    if (!arg || typeof arg == \"function\") {\n      const top = STACK[STACK.length - 1];\n\n      if (!top) return current(arg, compute);\n\n      const [context, from] = top;\n      const view = arg ? touch(from, CONTEXT, context) : context;\n\n      return observed(from, arg, compute(view, from.is));\n    }\n\n    return home(arg.is) || Context.root;\n  }\n\n  public id = uid();\n  public parent?: Context;\n  public scope = new Set<Context>();\n  public consume = new Map<\n    Model.Extends,\n    Set<[Expect, boolean | undefined]> | null\n  >();\n  public provide = new Map<Model.Extends, Set<[Model, boolean]> | null>();\n\n  constructor(arg?: Context | Accept) {\n    CLEANUP.set(this, new Set());\n\n    if (arg instanceof Context) {\n      this.parent = arg;\n      arg.scope.add(this);\n    } else if (arg) {\n      insert(this, arg);\n    }\n  }\n\n  private traverse(accept: (ctx: Context) => boolean | void) {\n    const queue = [...this.scope];\n    for (const ctx of queue)\n      if (accept(ctx) !== false) for (const c of ctx.scope) queue.push(c);\n  }\n\n  private register<T extends Model>(\n    type: Model.Extends<T>,\n    value: [Expect<T>, boolean | undefined],\n    asConsumer: true,\n  ): () => void;\n\n  private register<T extends Model>(\n    type: Model.Extends<T>,\n    value: [T, boolean],\n    asConsumer?: false,\n  ): () => void;\n\n  private register(type: Model.Extends, value: any, asConsumer?: boolean) {\n    const mode = asConsumer ? \"consume\" : \"provide\";\n    let set = this[mode].get(type) as Set<any>;\n    if (!set) this[mode].set(type, (set = new Set()));\n    set.add(value);\n\n    for (let ctx = this.parent; ctx; ctx = ctx.parent) {\n      if (ctx[mode].has(type)) break;\n      ctx[mode].set(type, null);\n    }\n\n    return () => set.delete(value);\n  }\n\n  /** Find specified type upstream. Throws if not found. */\n  public get<T extends Model>(Type: Model.Extends<T>, required?: true): T;\n\n  /** Find specified type upstream. Returns undefined if not found. */\n  public get<T extends Model>(\n    Type: Model.Extends<T>,\n    required?: boolean,\n  ): T | undefined;\n\n  /** Subscribe to a type becoming available in context. */\n  public get<T extends Model>(\n    Type: Model.Extends<T>,\n    callback: Expect<T>,\n    downstream?: boolean,\n  ): () => void;\n\n  /** Lookup excluding a specific instance (used by Model.prototype.get for upstream-of-self semantics). */\n  public get<T extends Model>(\n    Type: Model.Extends<T>,\n    arg: boolean | Expect<T> | undefined,\n    downstream: boolean | undefined,\n    skip?: Model,\n  ): T | undefined | (() => void);\n\n  public get<T extends Model>(\n    Type: Model.Extends<T>,\n    arg?: boolean | Expect<T>,\n    downstream?: boolean,\n    skip?: Model,\n  ) {\n    let found: T | null | undefined;\n    let priority = false;\n\n    for (let ctx: Context | undefined = this; ctx; ctx = above(ctx)) {\n      touch(ctx, Type);\n      const entries = ctx.provide.get(Type);\n      if (!entries) continue;\n\n      for (const [state, explicit] of entries) {\n        if (state === skip || found === state) continue;\n        if (!found || (explicit && !priority)) {\n          found = state as T;\n          priority = explicit;\n          continue;\n        }\n        if (!priority) {\n          found = null;\n          break;\n        }\n        if (explicit)\n          throw new Error(\n            `Did find ${Type} in context, but multiple were defined.`,\n          );\n      }\n      if (found !== undefined) break;\n    }\n\n    if (typeof arg === \"function\") {\n      if (found && !downstream) arg(found, false);\n\n      if (downstream !== false) {\n        this.traverse((ctx) => {\n          const has = ctx.provide.get(Type);\n          if (has) for (const x of has) if (x[0] !== skip) arg(x[0] as T, true);\n          return has !== undefined;\n        });\n      }\n\n      return this.register(Type, [arg as Expect, downstream], true);\n    }\n\n    if (found) return found;\n    if (found === null) return null;\n    if (arg !== false) throw new Error(`Could not find ${Type} in context.`);\n  }\n\n  add(I: Model, explicit = false) {\n    const { provide } = this;\n    const root = this === Context.root;\n    const TT: Model.Extends[] = [];\n\n    const conflict = (T: Model.Extends) => {\n      const entries = provide.get(T);\n      if (entries)\n        for (const entry of entries)\n          if (!entry[1] && entry[0] !== I) {\n            emit(this, T);\n            return entries.delete(entry);\n          }\n    };\n\n    for (\n      let T = I.constructor as Model.Extends;\n      T !== Model;\n      T = Object.getPrototypeOf(T)\n    )\n      if (explicit || !root || !conflict(T)) TT.push(T);\n\n    const expects = new Map<Expect, () => void>();\n    const onDone = new Set<() => void>();\n\n    for (const T of TT) {\n      onDone.add(this.register(T, [I, explicit]));\n      onDone.add(() => emit(this, T));\n      emit(this, T);\n    }\n\n    function queue(ctx: Context, downstream: boolean, same?: boolean) {\n      let found = false;\n      for (const T of TT) {\n        const list = ctx.consume.get(T);\n        if (list !== undefined) found = true;\n        if (list)\n          for (const [cb, filter] of list)\n            if (same || filter == null || filter === downstream)\n              expects.set(cb, () => {\n                const r = cb(I, filter ?? downstream);\n                if (r) onDone.add(r);\n              });\n      }\n      return found;\n    }\n\n    queue(this, true, true);\n    for (let ctx = this.parent; ctx; ctx = ctx.parent) queue(ctx, true);\n    this.traverse((ctx) => queue(ctx, false));\n\n    const owner = parent(I);\n    const placed = explicit && !(owner && home(owner));\n\n    if (!HOME.has(I) && (!owner || placed)) HOME.set(I, this);\n\n    listener(I, () => {\n      expects.forEach((f) => f());\n      expects.clear();\n      return null;\n    });\n\n    function flush() {\n      onDone.forEach((r) => r());\n      onDone.clear();\n    }\n\n    const cleanup = CLEANUP.get(this)!;\n    const held = Array.from(HELD.get(I) || [], ([child, [added, explicit]]) => {\n      const done = this.add(child, explicit);\n      added.add(done);\n      return () => {\n        if (added.delete(done)) done();\n      };\n    });\n\n    function remove() {\n      cleanup.delete(remove);\n      held.forEach((done) => done());\n      flush();\n    }\n\n    cleanup.add(remove);\n\n    return remove;\n  }\n\n  /**\n   * Create a child context, optionally registering Models to it.\n   *\n   * @param input Model instance to adopt, Model class to create - and destroy when the context pops - or an object of them, all registered before any activates.\n   * @param cleanup Called once when the context pops, before its Models are removed.\n   */\n  public push(input?: Accept, cleanup?: () => void) {\n    const next = new Context(this);\n\n    if (cleanup) CLEANUP.get(next)!.add(cleanup);\n    if (input) insert(next, input);\n\n    return next;\n  }\n\n  /**\n   * Remove all Models from this context.\n   *\n   * Will also run any cleanup callbacks registered when Models were added.\n   */\n  public pop() {\n    this.scope.forEach((x) => x.pop());\n    this.scope.clear();\n    const cleanup = CLEANUP.get(this)!;\n    cleanup.forEach((cb) => cb());\n    cleanup.clear();\n    this.consume.clear();\n    this.provide.clear();\n    if (this.parent) {\n      this.parent.scope.delete(this);\n    }\n  }\n}\n\nObject.defineProperties(Context.prototype, {\n  toString: {\n    value() {\n      return `Context-${this.id}`;\n    },\n  },\n  [Observer]: {\n    get(this: Context) {\n      Object.defineProperty(this, Observer, { writable: true });\n      signal(this);\n      return (this as any)[Observer];\n    },\n  },\n});\n\nfunction emit(ctx: Context, T: Model.Extends) {\n  if (Object.getOwnPropertyDescriptor(ctx, Observer)) signal(ctx, T as any);\n}\n\ntype Resolve = (\n  Type: Model.Extends | undefined,\n  compute: (context: Context) => unknown,\n) => unknown;\n\nlet current: Resolve = (_Type, compute) => compute(Context.root);\n\n/**\n * Install how a host runs `compute` for a `Context.get` outside any origin -\n * `Type` is undefined for bare `Context.get()`. Its return value is what the\n * caller receives, so a host may track or wrap it. Returns the previous\n * resolver, for the host to call where it is not rendering.\n */\nfunction resolver(next: Resolve): Resolve {\n  const previous = current;\n  current = next;\n  return previous;\n}\n\n/**\n * Run `fn` with the context of `origin` current, and `origin` as origin of\n * any `get` resolved within. Nests.\n */\nfunction within<R>(origin: Model, fn: () => R): R {\n  STACK.push([Context.get(origin), origin]);\n\n  try {\n    return fn();\n  } finally {\n    STACK.pop();\n  }\n}\n\n/**\n * Add `value` to the lookup origin of `state`. A context-less `state` holds\n * it instead - every context adding `state` later adds its held children too.\n */\nfunction join(state: Model, value: Model, explicit?: boolean): () => void {\n  const ctx = home(state.is);\n  const none = () => {};\n\n  if (ctx) {\n    for (let at: Context | undefined = ctx; at; at = at.parent)\n      for (const [x, is] of at.provide.get(value.constructor as Model.Extends) || [])\n        if (x === value && is) return none;\n\n    return ctx.add(value, explicit);\n  }\n\n  const held = HELD.get(state) || new Map<Model, [Set<() => void>, boolean?]>();\n\n  if (held.get(value)?.[1]) return none;\n\n  const added = new Set<() => void>();\n\n  HELD.set(state, held.set(value, [added, explicit]));\n\n  return () => {\n    held.delete(value);\n    added.forEach((done) => {\n      added.delete(done);\n      done();\n    });\n  };\n}\n\nfunction above(ctx: Context) {\n  return ctx.parent && touch(ctx, \"parent\", ctx.parent);\n}\n\nfunction home(state: Model): Context | undefined {\n  const owner = parent(state);\n  return HOME.get(state) || (owner ? home(owner) : undefined);\n}\n\n/** The Model a host mounted `state` under - the one its nearest enclosing context was set up for. */\nfunction host(state: Model) {\n  for (let ctx = home(state); ctx; ctx = ctx.parent) {\n    const found = HOST.get(ctx);\n    if (found && found !== state) return found;\n  }\n}\n\nfunction insert(into: Context, input: Accept) {\n  const single = typeof input == \"function\" || input instanceof Model;\n  const entries = Object.entries(single ? { input } : input);\n  const init: Model[] = [];\n  const owns: Model[] = [];\n\n  for (const [K, V] of entries) {\n    const owned = Model.is(V);\n\n    if (!(owned || V instanceof Model)) {\n      const as = single || K == String(V) ? V : `${V} (as '${K}')`;\n      throw new Error(\n        `Context can only include an instance or class of Model but got ${as}.`,\n      );\n    }\n\n    const state = owned ? new V() : V.is;\n\n    into.add(state, true);\n    init.push(state);\n\n    if (single) HOST.set(into, state);\n    if (owned) owns.push(state);\n  }\n\n  const cleanup = CLEANUP.get(into)!;\n\n  for (const state of owns) cleanup.add(() => event(state, null));\n  for (const state of init) event(state);\n}\n\nexport { Context, host, join, resolver, within };\n"],"mappings":";;;;AAGA,MAAM,UAAU,OAAO,UAAU;AACjC,MAAM,QAA4B,EAAE;AACpC,MAAM,uBAAO,IAAI,SAAyB;AAC1C,MAAM,uBAAO,IAAI,SAAyD;AAC1E,MAAM,uBAAO,IAAI,SAAyB;AAC1C,MAAM,0BAAU,IAAI,SAAmC;AACvD,IAAI;AAgBJ,IAAM,UAAN,MAAM,QAAQ;CACZ,WAAW,OAAgB;AACzB,SAAO,SAAS,IAAI,SAAS;;CAuB/B,OAAO,IACL,KACA,WAAwD,YAAY,SAC3D;AACT,MAAI,CAAC,OAAO,OAAO,OAAO,YAAY;GACpC,MAAM,MAAM,MAAM,MAAM,SAAS;AAEjC,OAAI,CAAC,IAAK,QAAO,QAAQ,KAAK,QAAQ;GAEtC,MAAM,CAAC,SAAS,QAAQ;AAGxB,UAAO,SAAS,MAAM,KAAK,QAFd,MAAM,MAAM,MAAM,SAAS,QAAQ,GAAG,SAEV,KAAK,GAAG,CAAC;;AAGpD,SAAO,KAAK,IAAI,GAAG,IAAI,QAAQ;;CAGjC,AAAO,KAAK,KAAK;CACjB,AAAO;CACP,AAAO,wBAAQ,IAAI,KAAc;CACjC,AAAO,0BAAU,IAAI,KAGlB;CACH,AAAO,0BAAU,IAAI,KAAkD;CAEvE,YAAY,KAAwB;AAClC,UAAQ,IAAI,sBAAM,IAAI,KAAK,CAAC;AAE5B,MAAI,eAAe,SAAS;AAC1B,QAAK,SAAS;AACd,OAAI,MAAM,IAAI,KAAK;aACV,IACT,QAAO,MAAM,IAAI;;CAIrB,AAAQ,SAAS,QAA0C;EACzD,MAAM,QAAQ,CAAC,GAAG,KAAK,MAAM;AAC7B,OAAK,MAAM,OAAO,MAChB,KAAI,OAAO,IAAI,KAAK,MAAO,MAAK,MAAM,KAAK,IAAI,MAAO,OAAM,KAAK,EAAE;;CAevE,AAAQ,SAAS,MAAqB,OAAY,YAAsB;EACtE,MAAM,OAAO,aAAa,YAAY;EACtC,IAAI,MAAM,KAAK,MAAM,IAAI,KAAK;AAC9B,MAAI,CAAC,IAAK,MAAK,MAAM,IAAI,MAAO,sBAAM,IAAI,KAAK,CAAE;AACjD,MAAI,IAAI,MAAM;AAEd,OAAK,IAAI,MAAM,KAAK,QAAQ,KAAK,MAAM,IAAI,QAAQ;AACjD,OAAI,IAAI,MAAM,IAAI,KAAK,CAAE;AACzB,OAAI,MAAM,IAAI,MAAM,KAAK;;AAG3B,eAAa,IAAI,OAAO,MAAM;;CA2BhC,AAAO,IACL,MACA,KACA,YACA,MACA;EACA,IAAI;EACJ,IAAI,WAAW;AAEf,OAAK,IAAI,MAA2B,MAAM,KAAK,MAAM,MAAM,IAAI,EAAE;AAC/D,SAAM,KAAK,KAAK;GAChB,MAAM,UAAU,IAAI,QAAQ,IAAI,KAAK;AACrC,OAAI,CAAC,QAAS;AAEd,QAAK,MAAM,CAAC,OAAO,aAAa,SAAS;AACvC,QAAI,UAAU,QAAQ,UAAU,MAAO;AACvC,QAAI,CAAC,SAAU,YAAY,CAAC,UAAW;AACrC,aAAQ;AACR,gBAAW;AACX;;AAEF,QAAI,CAAC,UAAU;AACb,aAAQ;AACR;;AAEF,QAAI,SACF,OAAM,IAAI,MACR,YAAY,KAAK,yCAClB;;AAEL,OAAI,UAAU,OAAW;;AAG3B,MAAI,OAAO,QAAQ,YAAY;AAC7B,OAAI,SAAS,CAAC,WAAY,KAAI,OAAO,MAAM;AAE3C,OAAI,eAAe,MACjB,MAAK,UAAU,QAAQ;IACrB,MAAM,MAAM,IAAI,QAAQ,IAAI,KAAK;AACjC,QAAI,KAAK;UAAK,MAAM,KAAK,IAAK,KAAI,EAAE,OAAO,KAAM,KAAI,EAAE,IAAS,KAAK;;AACrE,WAAO,QAAQ;KACf;AAGJ,UAAO,KAAK,SAAS,MAAM,CAAC,KAAe,WAAW,EAAE,KAAK;;AAG/D,MAAI,MAAO,QAAO;AAClB,MAAI,UAAU,KAAM,QAAO;AAC3B,MAAI,QAAQ,MAAO,OAAM,IAAI,MAAM,kBAAkB,KAAK,cAAc;;CAG1E,IAAI,GAAU,WAAW,OAAO;EAC9B,MAAM,EAAE,YAAY;EACpB,MAAM,OAAO,SAAS,QAAQ;EAC9B,MAAM,KAAsB,EAAE;EAE9B,MAAM,YAAY,MAAqB;GACrC,MAAM,UAAU,QAAQ,IAAI,EAAE;AAC9B,OAAI,SACF;SAAK,MAAM,SAAS,QAClB,KAAI,CAAC,MAAM,MAAM,MAAM,OAAO,GAAG;AAC/B,UAAK,MAAM,EAAE;AACb,YAAO,QAAQ,OAAO,MAAM;;;;AAIpC,OACE,IAAI,IAAI,EAAE,aACV,MAAM,OACN,IAAI,OAAO,eAAe,EAAE,CAE5B,KAAI,YAAY,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAE,IAAG,KAAK,EAAE;EAEnD,MAAM,0BAAU,IAAI,KAAyB;EAC7C,MAAM,yBAAS,IAAI,KAAiB;AAEpC,OAAK,MAAM,KAAK,IAAI;AAClB,UAAO,IAAI,KAAK,SAAS,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC;AAC3C,UAAO,UAAU,KAAK,MAAM,EAAE,CAAC;AAC/B,QAAK,MAAM,EAAE;;EAGf,SAAS,MAAM,KAAc,YAAqB,MAAgB;GAChE,IAAI,QAAQ;AACZ,QAAK,MAAM,KAAK,IAAI;IAClB,MAAM,OAAO,IAAI,QAAQ,IAAI,EAAE;AAC/B,QAAI,SAAS,OAAW,SAAQ;AAChC,QAAI,MACF;UAAK,MAAM,CAAC,IAAI,WAAW,KACzB,KAAI,QAAQ,UAAU,QAAQ,WAAW,WACvC,SAAQ,IAAI,UAAU;MACpB,MAAM,IAAI,GAAG,GAAG,UAAU,WAAW;AACrC,UAAI,EAAG,QAAO,IAAI,EAAE;OACpB;;;AAEV,UAAO;;AAGT,QAAM,MAAM,MAAM,KAAK;AACvB,OAAK,IAAI,MAAM,KAAK,QAAQ,KAAK,MAAM,IAAI,OAAQ,OAAM,KAAK,KAAK;AACnE,OAAK,UAAU,QAAQ,MAAM,KAAK,MAAM,CAAC;EAEzC,MAAM,QAAQ,OAAO,EAAE;EACvB,MAAM,SAAS,YAAY,EAAE,SAAS,KAAK,MAAM;AAEjD,MAAI,CAAC,KAAK,IAAI,EAAE,KAAK,CAAC,SAAS,QAAS,MAAK,IAAI,GAAG,KAAK;AAEzD,WAAS,SAAS;AAChB,WAAQ,SAAS,MAAM,GAAG,CAAC;AAC3B,WAAQ,OAAO;AACf,UAAO;IACP;EAEF,SAAS,QAAQ;AACf,UAAO,SAAS,MAAM,GAAG,CAAC;AAC1B,UAAO,OAAO;;EAGhB,MAAM,UAAU,QAAQ,IAAI,KAAK;EACjC,MAAM,OAAO,MAAM,KAAK,KAAK,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,OAAO,eAAe;GACzE,MAAM,OAAO,KAAK,IAAI,OAAO,SAAS;AACtC,SAAM,IAAI,KAAK;AACf,gBAAa;AACX,QAAI,MAAM,OAAO,KAAK,CAAE,OAAM;;IAEhC;EAEF,SAAS,SAAS;AAChB,WAAQ,OAAO,OAAO;AACtB,QAAK,SAAS,SAAS,MAAM,CAAC;AAC9B,UAAO;;AAGT,UAAQ,IAAI,OAAO;AAEnB,SAAO;;;;;;;;CAST,AAAO,KAAK,OAAgB,SAAsB;EAChD,MAAM,OAAO,IAAI,QAAQ,KAAK;AAE9B,MAAI,QAAS,SAAQ,IAAI,KAAK,CAAE,IAAI,QAAQ;AAC5C,MAAI,MAAO,QAAO,MAAM,MAAM;AAE9B,SAAO;;;;;;;CAQT,AAAO,MAAM;AACX,OAAK,MAAM,SAAS,MAAM,EAAE,KAAK,CAAC;AAClC,OAAK,MAAM,OAAO;EAClB,MAAM,UAAU,QAAQ,IAAI,KAAK;AACjC,UAAQ,SAAS,OAAO,IAAI,CAAC;AAC7B,UAAQ,OAAO;AACf,OAAK,QAAQ,OAAO;AACpB,OAAK,QAAQ,OAAO;AACpB,MAAI,KAAK,OACP,MAAK,OAAO,MAAM,OAAO,KAAK;;;AAKpC,OAAO,iBAAiB,QAAQ,WAAW;CACzC,UAAU,EACR,QAAQ;AACN,SAAO,WAAW,KAAK;IAE1B;EACA,WAAW,EACV,MAAmB;AACjB,SAAO,eAAe,MAAM,UAAU,EAAE,UAAU,MAAM,CAAC;AACzD,QAAO,KAAK;AACZ,SAAQ,KAAa;IAExB;CACF,CAAC;AAEF,SAAS,KAAK,KAAc,GAAkB;AAC5C,KAAI,OAAO,yBAAyB,KAAK,SAAS,CAAE,OAAO,KAAK,EAAS;;AAQ3E,IAAI,WAAoB,OAAO,YAAY,QAAQ,QAAQ,KAAK;;;;;;;AAQhE,SAAS,SAAS,MAAwB;CACxC,MAAM,WAAW;AACjB,WAAU;AACV,QAAO;;;;;;AAOT,SAAS,OAAU,QAAe,IAAgB;AAChD,OAAM,KAAK,CAAC,QAAQ,IAAI,OAAO,EAAE,OAAO,CAAC;AAEzC,KAAI;AACF,SAAO,IAAI;WACH;AACR,QAAM,KAAK;;;;;;;AAQf,SAAS,KAAK,OAAc,OAAc,UAAgC;CACxE,MAAM,MAAM,KAAK,MAAM,GAAG;CAC1B,MAAM,aAAa;AAEnB,KAAI,KAAK;AACP,OAAK,IAAI,KAA0B,KAAK,IAAI,KAAK,GAAG,OAClD,MAAK,MAAM,CAAC,GAAG,OAAO,GAAG,QAAQ,IAAI,MAAM,YAA6B,IAAI,EAAE,CAC5E,KAAI,MAAM,SAAS,GAAI,QAAO;AAElC,SAAO,IAAI,IAAI,OAAO,SAAS;;CAGjC,MAAM,OAAO,KAAK,IAAI,MAAM,oBAAI,IAAI,KAAyC;AAE7E,KAAI,KAAK,IAAI,MAAM,GAAG,GAAI,QAAO;CAEjC,MAAM,wBAAQ,IAAI,KAAiB;AAEnC,MAAK,IAAI,OAAO,KAAK,IAAI,OAAO,CAAC,OAAO,SAAS,CAAC,CAAC;AAEnD,cAAa;AACX,OAAK,OAAO,MAAM;AAClB,QAAM,SAAS,SAAS;AACtB,SAAM,OAAO,KAAK;AAClB,SAAM;IACN;;;AAIN,SAAS,MAAM,KAAc;AAC3B,QAAO,IAAI,UAAU,MAAM,KAAK,UAAU,IAAI,OAAO;;AAGvD,SAAS,KAAK,OAAmC;CAC/C,MAAM,QAAQ,OAAO,MAAM;AAC3B,QAAO,KAAK,IAAI,MAAM,KAAK,QAAQ,KAAK,MAAM,GAAG;;;AAInD,SAAS,KAAK,OAAc;AAC1B,MAAK,IAAI,MAAM,KAAK,MAAM,EAAE,KAAK,MAAM,IAAI,QAAQ;EACjD,MAAM,QAAQ,KAAK,IAAI,IAAI;AAC3B,MAAI,SAAS,UAAU,MAAO,QAAO;;;AAIzC,SAAS,OAAO,MAAe,OAAe;CAC5C,MAAM,SAAS,OAAO,SAAS,cAAc,iBAAiB;CAC9D,MAAM,UAAU,OAAO,QAAQ,SAAS,EAAE,OAAO,GAAG,MAAM;CAC1D,MAAM,OAAgB,EAAE;CACxB,MAAM,OAAgB,EAAE;AAExB,MAAK,MAAM,CAAC,GAAG,MAAM,SAAS;EAC5B,MAAM,QAAQ,MAAM,GAAG,EAAE;AAEzB,MAAI,EAAE,SAAS,aAAa,QAAQ;GAClC,MAAM,KAAK,UAAU,KAAK,OAAO,EAAE,GAAG,IAAI,GAAG,EAAE,QAAQ,EAAE;AACzD,SAAM,IAAI,MACR,kEAAkE,GAAG,GACtE;;EAGH,MAAM,QAAQ,QAAQ,IAAI,GAAG,GAAG,EAAE;AAElC,OAAK,IAAI,OAAO,KAAK;AACrB,OAAK,KAAK,MAAM;AAEhB,MAAI,OAAQ,MAAK,IAAI,MAAM,MAAM;AACjC,MAAI,MAAO,MAAK,KAAK,MAAM;;CAG7B,MAAM,UAAU,QAAQ,IAAI,KAAK;AAEjC,MAAK,MAAM,SAAS,KAAM,SAAQ,UAAU,MAAM,OAAO,KAAK,CAAC;AAC/D,MAAK,MAAM,SAAS,KAAM,OAAM,MAAM"}

package/dist/element.d.ts

@@ -0,0 +1,33 @@
+//#region src/element.d.ts
+/**
+ * Element classes.
+ *
+ * A class whose instances a host may render as elements declares itself here -
+ * `Component`, `has` lists and pools, `map` collections. Each promises the same
+ * small protocol: `is` names the instance behind a view (`Object.create(pool)`
+ * renders the pool), and `render()` returns what to show. A host seams every
+ * declared class through `elements` (re-exported by `jsx-runtime`), installing
+ * its element seam on each prototype; declarations made before the host loaded
+ * are replayed, so import order does not matter.
+ *
+ * This module imports nothing, so a collection used headless never loads the
+ * JSX runtime - and a host never imports a collection to patch it, which keeps
+ * `has` and `map` out of bundles that do not use them.
+ */
+/** What a declared class promises its host. */
+interface Renderable {
+  /** The instance to render - itself, or the source behind a derived view. */
+  readonly is: Renderable;
+  render(...args: any[]): unknown;
+}
+type Seam = (Type: Function) => void;
+/** Declare instances of `Type` elements, for a host to render. */
+declare function element(Type: Function): void;
+/**
+ * Host-side: receive every declared class, past and future, to install the
+ * host's element seam on. Pass `undefined` to stop.
+ */
+declare function elements(fn: Seam | undefined): void;
+//#endregion
+export { type Renderable, type Seam, element, elements };
+//# sourceMappingURL=element.d.ts.map

package/dist/element.js

@@ -0,0 +1,20 @@
+//#region src/element.ts
+const ELEMENTS = /* @__PURE__ */ new Set();
+let seam;
+/** Declare instances of `Type` elements, for a host to render. */
+function element(Type) {
+	ELEMENTS.add(Type);
+	seam?.(Type);
+}
+/**
+* Host-side: receive every declared class, past and future, to install the
+* host's element seam on. Pass `undefined` to stop.
+*/
+function elements(fn) {
+	seam = fn;
+	if (fn) for (const Type of ELEMENTS) fn(Type);
+}
+
+//#endregion
+export { element, elements };
+//# sourceMappingURL=element.js.map

package/dist/element.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"element.js","names":[],"sources":["../src/element.ts"],"sourcesContent":["/**\n * Element classes.\n *\n * A class whose instances a host may render as elements declares itself here -\n * `Component`, `has` lists and pools, `map` collections. Each promises the same\n * small protocol: `is` names the instance behind a view (`Object.create(pool)`\n * renders the pool), and `render()` returns what to show. A host seams every\n * declared class through `elements` (re-exported by `jsx-runtime`), installing\n * its element seam on each prototype; declarations made before the host loaded\n * are replayed, so import order does not matter.\n *\n * This module imports nothing, so a collection used headless never loads the\n * JSX runtime - and a host never imports a collection to patch it, which keeps\n * `has` and `map` out of bundles that do not use them.\n */\n\n/** What a declared class promises its host. */\ninterface Renderable {\n  /** The instance to render - itself, or the source behind a derived view. */\n  readonly is: Renderable;\n  render(...args: any[]): unknown;\n}\n\ntype Seam = (Type: Function) => void;\n\nconst ELEMENTS = new Set<Function>();\n\nlet seam: Seam | undefined;\n\n/** Declare instances of `Type` elements, for a host to render. */\nfunction element(Type: Function) {\n  ELEMENTS.add(Type);\n  seam?.(Type);\n}\n\n/**\n * Host-side: receive every declared class, past and future, to install the\n * host's element seam on. Pass `undefined` to stop.\n */\nfunction elements(fn: Seam | undefined) {\n  seam = fn;\n\n  if (fn) for (const Type of ELEMENTS) fn(Type);\n}\n\nexport { element, elements };\nexport type { Renderable, Seam };\n"],"mappings":";AAyBA,MAAM,2BAAW,IAAI,KAAe;AAEpC,IAAI;;AAGJ,SAAS,QAAQ,MAAgB;AAC/B,UAAS,IAAI,KAAK;AAClB,QAAO,KAAK;;;;;;AAOd,SAAS,SAAS,IAAsB;AACtC,QAAO;AAEP,KAAI,GAAI,MAAK,MAAM,QAAQ,SAAU,IAAG,KAAK"}

package/dist/field/get.d.ts

@@ -1,4 +1,4 @@
-import { Model } from "../state.js";
+import { Got, Keyed, Model } from "../state.js";
 
 //#region src/field/get.d.ts
 declare namespace get {
@@ -14,8 +14,6 @@ declare namespace get {
 declare function get<T extends Model>(Type: Model.Extends<T>, callback?: get.Callback<T>): T;
 /**
  * Fetches and assigns the controller which spawned this host.
- * When parent assigns an instance via `use()` directive, it
- * will be made available to child upon this request.
  *
  * @param Type - Type of controller compatible with this class.
  * @param required - If false, property may be undefined. Otherwise will throw.
@@ -52,6 +50,16 @@ declare function get<T extends Model>(Type: Model.Extends<T>, downstream: true,
  * @param required - If false, returns undefined if no match found.
  */
 declare function get<T extends Model>(Type: Model.Extends<T>, downstream: true, required: false): T | undefined;
+/**
+ * Fetches through `Type.get(...args)` as this field is defined, with this
+ * Model as origin. Resolves once; a thrown Promise suspends the field and
+ * retries once settled. Applies where the first argument is neither boolean
+ * nor function - a key for a class overriding static `get`.
+ *
+ * @param Type - Class to fetch from.
+ * @param args - Arguments for `Type.get`.
+ */
+declare function get<C extends Model.Extends>(Type: C, ...args: Keyed<C>): Got<C>;
 //#endregion
 export { get };
 //# sourceMappingURL=get.d.ts.map

package/dist/field/get.js

@@ -1,11 +1,28 @@
-import { capture, listener, observer } from "../observable.js";
+import { capture, listener, observer, watch } from "../observable.js";
 import { Model, STORE, children, owned, parent, update } from "../state.js";
-import { Context } from "../context.js";
+import { Context, within } from "../context.js";
 import { def } from "./def.js";
 
 //#region src/field/get.ts
-function get(Type, arg1, arg2) {
-	return arg1 === true ? below(Type, arg2) : above(Type, arg1);
+function get(Type, arg1, ...args) {
+	if (arg1 === true) return below(Type, args[0]);
+	if (arg1 === void 0 || typeof arg1 == "boolean" || typeof arg1 == "function") return above(Type, arg1);
+	return def((key, subject) => {
+		const resolve = () => update(subject, key, within(subject, () => Type.get(arg1, ...args)));
+		try {
+			resolve();
+		} catch (error) {
+			if (!(error instanceof Promise)) throw error;
+			watch(subject, () => {
+				resolve();
+				return null;
+			});
+		}
+		return {
+			get: true,
+			enumerable: false
+		};
+	});
 }
 function above(Type, argument) {
 	return def((key, subject) => {