@adobe/ecs 0.1.0 → 0.2.1

package/dist/interface/system/input.d.ts

@@ -1,12 +1,43 @@
-import type { Schema } from '../schema/schema.js';
+import type { Property } from './property.js';
 import type { System } from './system.js';
+/** How many parameters come before a body's input: the row and the context, or the context alone. */
+type Before<D> = D extends {
+    readonly components: object;
+} ? 2 : 1;
+/** The input body `B` of declaration `D` takes: the type of its parameter after the context, or `undefined` without one. */
+export type InputOf<D, B> = B extends (...parameters: infer P) => void ? P["length"] extends Before<D> ? undefined : P[Before<D>] : undefined;
+/** Whether a declaration's conditions, resource change filters or index lookups' `changed: true` can skip its body. */
+type Skippable<D> = D extends {
+    readonly resources: {
+        readonly is: object;
+    } | {
+        readonly not: object;
+    } | {
+        readonly changed: object;
+    };
+} ? true : true extends {
+    [N in keyof Property<D, "lookup">]: Property<D, "lookup">[N] extends {
+        readonly changed: true;
+    } ? true : false;
+}[keyof Property<D, "lookup">] ? true : false;
 /**
- * The input a system declares: a value of its `input` schema, or `undefined` without one; `unknown` for `any`, as an
- * overload's declaration erases to, since every schema's value type is too deep to compute.
+ * What a run of a system of declaration `D` and body `B` resolves to: for one without components, what its body
+ * returns, or `undefined` too when its body may be skipped; for one with components, nothing.
  */
-export type InputOf<D> = 0 extends 1 & D ? unknown : D extends {
-    readonly input: infer A extends Schema;
-} ? Schema.ToType<A> : undefined;
+export type ResultOf<D, B> = D extends {
+    readonly components: object;
+} ? void : B extends (...parameters: never[]) => infer R ? [R] extends [void] ? R : Skippable<D> extends true ? R | undefined : R : void;
+/** Whether `R` is exactly `unknown` or `object`, return types wide enough to hide a promise. */
+type Hides<R> = unknown extends R ? true : [R] extends [object] ? [object] extends [R] ? [keyof R] extends [never] ? string extends R ? false : true : false : false : false;
+/**
+ * A body returning a promise or another `PromiseLike`, or declared to return `unknown` or `object`, which may be one,
+ * becomes the error saying it returns none: a run never waits for one, so a body starts the work and a later run
+ * finishes it. Types can't tell a body returning `any`, nor an async function typed as returning `void`.
+ */
+export type ReturnsNoPromise<B> = B extends (...parameters: never[]) => infer R ? 0 extends (1 & R) ? unknown : [Extract<R, PromiseLike<unknown>>] extends [never] ? Hides<R> extends true ? NoPromise : unknown : NoPromise : unknown;
+type NoPromise = {
+    readonly "error: a body returns no promise; start the work, and finish it in a later run": true;
+};
 /** What `run` takes after a system: nothing, or one value. */
 export type Input<I> = [I] extends [undefined] ? [] : [input: I];
 /** A member's input fields, or `unknown` without input. */

package/dist/interface/system/leaf.d.ts

@@ -1,12 +1,19 @@
-import type { Declaration } from './declaration.js';
+import type { Schema } from '../schema/schema.js';
+import type { Resolved } from './declaration.js';
 import type { Name } from './name.js';
+/** The schema of a body's input: an object of named fields. */
+export type InputSchema = Extract<Schema, {
+    readonly type: "object";
+}>;
 /**
  * A system that runs a body: `"render"` for one made by `render`, `"system"` otherwise. Its body's parameters are
- * checked where it's created, so a leaf holds any body.
+ * checked where it's created, so a leaf holds any body. `input` is the schema of its body's input, which the plugin
+ * gives from the type of the body's parameter after its context, or undefined; every leaf has it, so leaves share a shape.
  */
 export type Leaf = {
     readonly kind: "system" | "render";
     readonly name: Name;
-    readonly declaration: Declaration;
+    readonly declaration: Resolved;
+    readonly input: InputSchema | undefined;
     readonly body: (...parameters: never[]) => void;
 };

package/dist/interface/system/name.d.ts

@@ -1,6 +1,6 @@
 /**
- * The label reports and errors give it, which needn't be unique: the value its constructor returns is its identity, so
- * separately written code can't collide by name. Namespacing it (`"physics/integrate"`) keeps labels short. Without
- * one, it's labeled by its binding and the id the plugin gave it, or else by its kind numbered.
+ * The label errors give it, for display: its binding, from the id the plugin gave it; for one made in a
+ * function, the binding or function the plugin found it in; else its kind numbered. The value its constructor returns
+ * is its identity, so labels needn't be unique.
  */
 export type Name = string;

package/dist/interface/system/property.js

@@ -1,2 +1,3 @@
+// © 2026 Adobe. MIT License. See /LICENSE for details.
 export {};
 //# sourceMappingURL=property.js.map

package/dist/interface/system/property.js.map

@@ -1 +1 @@
-{"version":3,"file":"property.js","sourceRoot":"","sources":["../../../src/interface/system/property.ts"],"names":[],"mappings":""}
+{"version":3,"file":"property.js","sourceRoot":"","sources":["../../../src/interface/system/property.ts"],"names":[],"mappings":"AAAA,uDAAuD"}

package/dist/interface/system/render.d.ts

@@ -1,24 +1,28 @@
 import type { Component } from '../component/component.js';
+import type { Index } from '../indexes/index-type.js';
 import type { Condition } from '../resource/condition.js';
-import type { Resource } from '../resource/resource.js';
 import type { ThreadOfResource } from '../resource/value.js';
 import { gpuDevice } from '../resources/gpu-device.js';
 import type { Body } from './body.js';
-import type { Name } from './name.js';
+import type { ReturnsNoPromise } from './input.js';
 import type { StructComponent } from './struct.js';
+import type { Shared } from '../component/value.js';
 import type { System } from './system.js';
 import type { OneThread, ThreadedBy, ThreadsOf } from './threads.js';
 /**
  * How a render system's shaders reach its components: `accessors` names a WGSL function for each component it reads,
- * generated by `Gpu.wgsl` at bind group `group` (0 by default).
+ * generated by `Gpu.wgsl` at bind group `group` (0 by default). A shared component has no column for one to read.
  */
 export type Shader = {
     readonly group?: number;
     readonly accessors: {
-        readonly [name: string]: StructComponent;
+        readonly [name: string]: Exclude<StructComponent, Shared>;
     };
 };
-/** One group of matching rows, `0` to `count`. `bind` sets the world's bind group for it on a pass. */
+/**
+ * One group of matching rows, `0` to `count`: an archetype's, or with `order` every matching row in its order. `bind`
+ * sets the world's bind group for it on a pass.
+ */
 export type RenderTable = {
     readonly count: number;
     readonly bind: (pass: GPURenderPassEncoder | GPUComputePassEncoder) => void;
@@ -33,33 +37,48 @@ export type RenderContext = {
     readonly tables: readonly RenderTable[];
 };
 type RenderDeclaration = {
-    readonly name?: Name;
-    /** It reads the components its accessors name. */
+    /** It matches the components its accessors name, and those in `with`, and none in `not`. */
     readonly components?: {
-        readonly has?: readonly Component.Key[];
+        readonly with?: readonly Component.Key[];
         readonly not?: readonly Component.Key[];
     };
-    /** It runs only while `gpuDevice` is set, as if `is` listed it. */
+    /** It runs only while `gpuDevice` is set, as if `is` listed it. What its body reads of resources the build infers. */
     readonly resources?: {
-        readonly read?: readonly Resource.Key[];
         readonly is?: readonly Condition[];
         readonly not?: readonly Condition[];
     };
+    /**
+     * Draws every matching row as one table, in this sorted index's order: key order, then entity order. Its shaders'
+     * accessors then take a row's position in that order.
+     */
+    readonly order?: Index<{
+        readonly sorted: true;
+        readonly key: readonly Component.Key[];
+    }>;
     readonly shader: Shader;
     readonly before?: readonly System<unknown>[];
     readonly after?: readonly System<unknown>[];
     readonly during?: readonly System<unknown>[];
 };
-/** A render declaration with the components its accessors name as `components.read`. */
-type Rendered<D extends RenderDeclaration> = D & {
-    readonly components: {
-        readonly read: readonly StructComponent[];
+/** What a render body reads of resources is inferred, and what it reads of components its accessors name. */
+type Inferred = {
+    readonly components?: {
+        readonly read?: never;
+        readonly has?: never;
+    };
+    readonly resources?: {
+        readonly read?: never;
     };
 };
 /**
  * Declares a render system: it runs once per run on `gpuDevice`'s thread, in schedule order, and records GPU work over
  * the GPU copy of the components its accessors name, which the world uploads first as needed. It runs only while the
- * world has a `gpuDevice`. Throws as `create` does, and for an accessor its shader can't read on the GPU.
+ * world has a `gpuDevice`. Its body's `tables` hold one table per matching archetype, each in row order; with `order`,
+ * exactly one table of every matching row, across archetypes, in the index's order, so instance `i` is the i-th: a
+ * shader's accessors take that position as their `row`, with the same names and signatures. Throws as `create` does,
+ * for an `order` that isn't a sorted index, and for an accessor its shader can't read on the GPU. A system with `order`
+ * fails its run when a matching archetype holds more rows than 32 bits name beside its slot: 2^31 with up to two
+ * matching archetypes, 2^30 with up to four, and so on.
  */
-export declare const render: <const D extends RenderDeclaration>(declaration: D & OneThread<ThreadsOf<D> | ThreadOfResource<typeof gpuDevice>, ThreadedBy<D>>, body: Body<Rendered<D>>) => System;
+export declare const render: <const D extends RenderDeclaration, B extends Body<D>>(declaration: D & Inferred & OneThread<ThreadsOf<D> | ThreadOfResource<typeof gpuDevice>, ThreadedBy<D>>, body: B & ReturnsNoPromise<B>) => System;
 export {};

package/dist/interface/system/render.js

@@ -4,24 +4,38 @@ import { claimSystem } from '../registry/program.js';
 import { gpuDevice } from '../resources/gpu-device.js';
 import { accessorsOf } from '../gpu/accessors.js';
 import { checkLeaf } from './check.js';
+import { accessOf, compact, resourceUses } from './resolve.js';
 /**
  * Declares a render system: it runs once per run on `gpuDevice`'s thread, in schedule order, and records GPU work over
  * the GPU copy of the components its accessors name, which the world uploads first as needed. It runs only while the
- * world has a `gpuDevice`. Throws as `create` does, and for an accessor its shader can't read on the GPU.
+ * world has a `gpuDevice`. Its body's `tables` hold one table per matching archetype, each in row order; with `order`,
+ * exactly one table of every matching row, across archetypes, in the index's order, so instance `i` is the i-th: a
+ * shader's accessors take that position as their `row`, with the same names and signatures. Throws as `create` does,
+ * for an `order` that isn't a sorted index, and for an accessor its shader can't read on the GPU. A system with `order`
+ * fails its run when a matching archetype holds more rows than 32 bits name beside its slot: 2^31 with up to two
+ * matching archetypes, 2^30 with up to four, and so on.
  */
 export const render = (declaration, body) => {
     const id = takeIdOfDeclaration(declaration);
-    const name = nameOf(declaration.name, id, "system");
+    const name = nameOf(declaration, id, "system");
+    const what = `System "${name}"`;
+    const read = [...new Set(Object.values(declaration.shader.accessors))];
+    const is = [...new Set([...declaration.resources?.is ?? [], gpuDevice])];
+    const uses = resourceUses(what, accessOf(what, declaration), is);
+    const { components, resources, ...rest } = declaration;
     const system = {
         kind: "render",
         name,
         declaration: {
-            ...declaration,
-            components: { ...declaration.components, read: [...new Set(Object.values(declaration.shader.accessors))] },
-            resources: { ...declaration.resources, is: [...new Set([...declaration.resources?.is ?? [], gpuDevice])] },
+            ...rest,
+            components: compact({ read, has: (components?.with ?? []).filter(key => !read.includes(key)), not: components?.not }),
+            resources: compact({ read: uses.read, is, not: resources?.not }),
         },
+        input: undefined,
         body,
     };
+    if (uses.write.length > 0 || uses.reduce.length > 0)
+        throw new Error(`${what} writes or reduces into resources; a render system only reads.`);
     checkLeaf(system);
     const accessors = accessorsOf(declaration.shader);
     if (typeof accessors === "string")

package/dist/interface/system/render.js.map

@@ -1 +1 @@
-{"version":3,"file":"render.js","sourceRoot":"","sources":["../../../src/interface/system/render.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAIrD,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAEvD,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AA4CvC;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAClB,WAA4F,EAC5F,IAAuB,EACjB,EAAE;IACR,MAAM,EAAE,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;IACpD,MAAM,MAAM,GAAkB;QAC1B,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,WAAW,EAAE;YACT,GAAG,WAAW;YACd,UAAU,EAAE,EAAE,GAAG,WAAW,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;YAC1G,SAAS,EAAE,EAAE,GAAG,WAAW,CAAC,SAAS,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,GAAG,CAAY,CAAC,GAAG,WAAW,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE;SACxH;QACD,IAAI;KACP,CAAC;IACF,SAAS,CAAC,MAAM,CAAC,CAAC;IAClB,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAClD,IAAI,OAAO,SAAS,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,mBAAmB,SAAS,GAAG,CAAC,CAAC;IACnG,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACxB,OAAO,MAAM,CAAC;AAClB,CAAC,CAAC"}
+{"version":3,"file":"render.js","sourceRoot":"","sources":["../../../src/interface/system/render.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAGrD,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAGvD,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAsD/D;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAClB,WAAuG,EACvG,IAA6B,EACvB,EAAE;IACR,MAAM,EAAE,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,WAAW,IAAI,GAAG,CAAC;IAChC,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,CAAS,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,WAAW,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACjF,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC;IACjE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,IAAI,EAAE,GAAG,WAAW,CAAC;IACvD,MAAM,MAAM,GAAkB;QAC1B,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,WAAW,EAAE;YACT,GAAG,IAAI;YACP,UAAU,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;YACrH,SAAS,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;SACnE;QACD,KAAK,EAAE,SAAS;QAChB,IAAI;KACP,CAAC;IACF,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,gEAAgE,CAAC,CAAC;IAC9I,SAAS,CAAC,MAAM,CAAC,CAAC;IAClB,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAClD,IAAI,OAAO,SAAS,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,mBAAmB,SAAS,GAAG,CAAC,CAAC;IACnG,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACxB,OAAO,MAAM,CAAC;AAClB,CAAC,CAAC"}

package/dist/interface/system/resolve.d.ts

@@ -0,0 +1,68 @@
+import type { ComponentAccess, ComponentLists, Lookup, SystemLookup, SystemLookupLists } from './access.js';
+type Key = symbol;
+/** What a body reads and writes of a group of keys, and those it changes inside their values, read as well. */
+type Used = {
+    readonly read: readonly Key[];
+    readonly write: readonly Key[];
+    readonly mutate?: readonly Key[];
+};
+/**
+ * What the build infers a body uses, which the plugin gives the declaration or body a constructor is called with: what
+ * it reads and writes of its row, and of resources with what it reduces into; what it reads of each lookup's rows,
+ * and of its parent's values with `up`. Each is null where the build couldn't follow the body's uses, and `at` names
+ * where the body is, for errors.
+ */
+export type Access = {
+    readonly components: Used | null;
+    readonly resources: (Used & {
+        readonly reduce: readonly Key[];
+    }) | null;
+    readonly lookup: {
+        readonly [name: string]: readonly Key[] | null;
+    } | null;
+    readonly up: readonly Key[] | null;
+    /** The resources the predicates of its declaration's `where` read; absent without predicates. */
+    readonly where?: readonly Key[] | null;
+    readonly at: string;
+};
+/**
+ * What the build inferred the body a constructor is called with uses: given to its declaration, or for a system
+ * declaring nothing to its body. Throws when there's none, as when a module isn't built with the plugin.
+ */
+export declare const accessOf: (what: string, made: object) => Access;
+/** `lists` without its empty lists. */
+export declare const compact: <T extends object>(lists: T) => T;
+/**
+ * A row's lists: what the body reads and writes of its members, the others only required. Without the body's uses,
+ * conservatively every member is written but references and shared components, which change only through commands,
+ * or read where it only reads.
+ */
+export declare const componentLists: (components: ComponentAccess, used: Used | null, reading: boolean, whereReads?: readonly Key[]) => ComponentLists;
+/**
+ * A lookup's lists: what the body reads of its rows, the rest of its `with` only required. Without the body's uses,
+ * conservatively everything its rows hold is read: its `with`, or every component its index holds.
+ */
+export declare const lookupLists: (lookup: SystemLookup | Lookup, reads: readonly Key[] | null) => SystemLookupLists;
+/** Each lookup's lists, by name. */
+export declare const lookupsLists: <L extends SystemLookup | Lookup>(lookups: {
+    readonly [name: string]: L;
+} | undefined, access: Access) => {
+    readonly [name: string]: SystemLookupLists;
+} | undefined;
+/**
+ * What a body reads, writes and reduces into of resources, conditions in `is` read already. A read of what it reduces
+ * into stays, for registration to reject.
+ */
+export declare const resourceUses: (what: string, access: Access, is: readonly Key[] | undefined) => {
+    readonly read: Key[];
+    readonly write: readonly Key[];
+    readonly reduce: readonly Key[];
+};
+/**
+ * The resources a declaration's `where` predicates read: none without predicates; throws when the build couldn't follow
+ * them, since the world couldn't tell when to evaluate them again.
+ */
+export declare const whereReadsOf: (what: string, components: ComponentAccess | undefined, access: Access) => readonly Key[];
+/** What a body reads of its parent's values. */
+export declare const upReads: (what: string, access: Access) => readonly Key[];
+export {};

package/dist/interface/system/resolve.js

@@ -0,0 +1,138 @@
+// © 2026 Adobe. MIT License. See /LICENSE for details.
+import { takeAccessOf } from '../registry/ids.js';
+import { indexDefinitionOf } from '../registry/indexes.js';
+import { declarationOf, labelOf } from '../registry/names.js';
+import { isString, isStruct } from '../registry/schemas.js';
+const isKeys = (value) => Array.isArray(value) && value.every(key => typeof key === "symbol");
+const isUsed = (value) => typeof value === "object" && value !== null
+    && isKeys(Reflect.get(value, "read")) && isKeys(Reflect.get(value, "write"))
+    && (Reflect.get(value, "mutate") === undefined || isKeys(Reflect.get(value, "mutate")));
+const isAccess = (value) => {
+    if (typeof value !== "object" || value === null)
+        return false;
+    const components = Reflect.get(value, "components");
+    const resources = Reflect.get(value, "resources");
+    const lookup = Reflect.get(value, "lookup");
+    const up = Reflect.get(value, "up");
+    return (components === null || isUsed(components))
+        && (resources === null || (isUsed(resources) && isKeys(Reflect.get(resources, "reduce"))))
+        && (lookup === null || (typeof lookup === "object" && Object.values(lookup).every(reads => reads === null || isKeys(reads))))
+        && (up === null || isKeys(up)) && typeof Reflect.get(value, "at") === "string"
+        && (Reflect.get(value, "where") === undefined || Reflect.get(value, "where") === null || isKeys(Reflect.get(value, "where")));
+};
+/**
+ * What the build inferred the body a constructor is called with uses: given to its declaration, or for a system
+ * declaring nothing to its body. Throws when there's none, as when a module isn't built with the plugin.
+ */
+export const accessOf = (what, made) => {
+    const access = takeAccessOf(made);
+    if (!isAccess(access))
+        throw new Error(`${what} has no access the build inferred from its body: the build reads what a body uses where the constructor is called with its declaration written in place, as an object literal, and its body as a function, in a module built with Compiler.plugin().`);
+    return access;
+};
+/**
+ * Throws for a body changing something inside a data value, a struct or a string, which a row or the resources give
+ * as a copy and take only whole, so the change would be lost. An object, changed in place, is read.
+ */
+const checkChanges = (what, access) => {
+    for (const [group, keys] of [["its row's", access.components?.mutate], ["resources'", access.resources?.mutate]]) {
+        for (const key of keys ?? []) {
+            const type = declarationOf(key)?.type;
+            if (type !== undefined && (isStruct(type) || isString(type))) {
+                throw new Error(`${what}'s body (${access.at}) changes something inside ${group} "${labelOf(key)}", a value given as a copy and taken only whole: assign it a new value instead.`);
+            }
+        }
+    }
+};
+/** Throws for a group the build couldn't follow, naming what the body did instead. */
+const followed = (what, used, group, access) => {
+    if (used !== null)
+        return used;
+    throw new Error(`${what}'s body (${access.at}) uses ${group} in a way the build can't follow, so it can't tell what it reads and writes of them: index them by key directly, or destructure them by key, rather than passing them on, aliasing or spreading them.`);
+};
+const without = (keys, ...others) => keys.filter(key => others.every(other => !other?.includes(key)));
+/** `lists` without its empty lists. */
+export const compact = (lists) => {
+    const result = {};
+    for (const [name, value] of Object.entries(lists))
+        if (value !== undefined && !(Array.isArray(value) && value.length === 0))
+            result[name] = value;
+    // Every field is one of `lists`', with its own value.
+    return result;
+};
+/**
+ * A row's lists: what the body reads and writes of its members, the others only required. Without the body's uses,
+ * conservatively every member is written but references and shared components, which change only through commands,
+ * or read where it only reads.
+ */
+export const componentLists = (components, used, reading, whereReads = []) => {
+    // A row holds what its added and changed filters name too, and its optional components where an entity has them.
+    const members = [...new Set([...components.with ?? [], ...components.added ?? [], ...components.changed ?? []])];
+    // Its `where` names shared components it requires, as `with` does.
+    const where = components.where === undefined ? undefined : components.where;
+    const named = members;
+    const filtered = where === undefined ? [] : Object.getOwnPropertySymbols(where).filter(key => !named.includes(key));
+    const optional = without(components.optional ?? [], members);
+    const held = [...members, ...optional];
+    const write = used === null
+        ? reading ? [] : held.filter(key => declarationOf(key)?.reference === undefined && declarationOf(key)?.shared !== true)
+        : used.write;
+    const read = used === null ? without(held, write) : without(used.read, write);
+    const has = [...without(members, read, write), ...without(filtered, read, write)];
+    return compact({ read, write, has, optional, not: components.not, added: components.added, changed: components.changed, where, whereReads });
+};
+/**
+ * A lookup's lists: what the body reads of its rows, the rest of its `with` only required. Without the body's uses,
+ * conservatively everything its rows hold is read: its `with`, or every component its index holds.
+ */
+export const lookupLists = (lookup, reads) => {
+    if (lookup.index !== undefined) {
+        const index = indexDefinitionOf(lookup.index)?.declaration;
+        const read = reads ?? [...index?.key ?? [], ...index?.components?.has ?? []];
+        const { changed } = lookup;
+        return changed === true ? { index: lookup.index, read, changed } : compact({ index: lookup.index, read, changed });
+    }
+    // Its optional components are read where an entity has them and never required.
+    const optional = without(lookup.optional ?? [], lookup.with ?? []);
+    const read = reads ?? [...lookup.with ?? [], ...optional];
+    return compact({ read, has: without(lookup.with ?? [], read), optional, not: lookup.not, changed: lookup.changed });
+};
+/** Each lookup's lists, by name. */
+export const lookupsLists = (lookups, access) => {
+    if (lookups === undefined)
+        return undefined;
+    const lists = {};
+    for (const name in lookups) {
+        const lookup = lookups[name];
+        // A lookup whose rows the build didn't follow is null; one it saw unused has no entry.
+        const reads = access.lookup === null ? null : name in access.lookup ? access.lookup[name] ?? null : [];
+        if (lookup !== undefined)
+            lists[name] = lookupLists(lookup, reads);
+    }
+    return lists;
+};
+/**
+ * What a body reads, writes and reduces into of resources, conditions in `is` read already. A read of what it reduces
+ * into stays, for registration to reject.
+ */
+export const resourceUses = (what, access, is) => {
+    checkChanges(what, access);
+    const used = followed(what, access.resources, "its resources", access);
+    return { read: without(used.read, used.write, is), write: used.write, reduce: used.reduce };
+};
+/**
+ * The resources a declaration's `where` predicates read: none without predicates; throws when the build couldn't follow
+ * them, since the world couldn't tell when to evaluate them again.
+ */
+export const whereReadsOf = (what, components, access) => {
+    const where = components?.where;
+    if (where === undefined || !Object.getOwnPropertySymbols(where).some(key => typeof Reflect.get(where, key) === "function"))
+        return [];
+    const reads = access.where;
+    if (reads === undefined || reads === null)
+        throw new Error(`${what}'s where predicates (${access.at}) read resources in a way the build can't follow, so it can't tell when to evaluate them again: index them by key directly, or destructure them by key, in a predicate written in place in a module built with Compiler.plugin().`);
+    return reads;
+};
+/** What a body reads of its parent's values. */
+export const upReads = (what, access) => followed(what, access.up, "its parent's values", access);
+//# sourceMappingURL=resolve.js.map

package/dist/interface/system/resolve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.js","sourceRoot":"","sources":["../../../src/interface/system/resolve.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAwB5D,MAAM,MAAM,GAAG,CAAC,KAAc,EAA2B,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC;AAEhI,MAAM,MAAM,GAAG,CAAC,KAAc,EAAiB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;OACtF,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;OACzE,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;AAE5F,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAmB,EAAE;IACjD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,UAAU,GAAY,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAY,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAY,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACrD,MAAM,EAAE,GAAY,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC7C,OAAO,CAAC,UAAU,KAAK,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC;WAC3C,CAAC,SAAS,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;WACvF,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;WAC1H,CAAC,EAAE,KAAK,IAAI,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,QAAQ;WAC3E,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;AACtI,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,IAAY,EAAU,EAAE;IAC3D,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,sPAAsP,CAAC,CAAC;IACtS,OAAO,MAAM,CAAC;AAClB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,MAAc,EAAQ,EAAE;IACxD,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC,YAAY,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAU,EAAE,CAAC;QACxH,KAAK,MAAM,GAAG,IAAI,IAAI,IAAI,EAAE,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC;YACtC,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBAC3D,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,YAAY,MAAM,CAAC,EAAE,8BAA8B,KAAK,KAAK,OAAO,CAAC,GAAG,CAAC,iFAAiF,CAAC,CAAC;YACvL,CAAC;QACL,CAAC;IACL,CAAC;AACL,CAAC,CAAC;AAEF,sFAAsF;AACtF,MAAM,QAAQ,GAAG,CAAI,IAAY,EAAE,IAAc,EAAE,KAAa,EAAE,MAAc,EAAK,EAAE;IACnF,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,YAAY,MAAM,CAAC,EAAE,UAAU,KAAK,uMAAuM,CAAC,CAAC;AACxQ,CAAC,CAAC;AAEF,MAAM,OAAO,GAAG,CAAC,IAAoB,EAAE,GAAG,MAAsC,EAAS,EAAE,CACvF,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAErE,uCAAuC;AACvC,MAAM,CAAC,MAAM,OAAO,GAAG,CAAmB,KAAQ,EAAK,EAAE;IACrD,MAAM,MAAM,GAAgC,EAAE,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IAClJ,sDAAsD;IACtD,OAAO,MAAW,CAAC;AACvB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,UAA2B,EAAE,IAAiB,EAAE,OAAgB,EAAE,aAA6B,EAAE,EAAkB,EAAE;IAChJ,iHAAiH;IACjH,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,IAAI,EAAE,EAAE,GAAG,UAAU,CAAC,KAAK,IAAI,EAAE,EAAE,GAAG,UAAU,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACjH,mEAAmE;IACnE,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC;IAC5E,MAAM,KAAK,GAAmB,OAAO,CAAC;IACtC,MAAM,QAAQ,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACpH,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,QAAQ,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7D,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,EAAE,GAAG,QAAQ,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,IAAI,KAAK,IAAI;QACvB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,SAAS,KAAK,SAAS,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,MAAM,KAAK,IAAI,CAAC;QACvH,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;IACjB,MAAM,IAAI,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9E,MAAM,GAAG,GAAG,CAAC,GAAG,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,GAAG,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAClF,OAAO,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;AACjJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAA6B,EAAE,KAA4B,EAAqB,EAAE;IAC1G,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC;QAC3D,MAAM,IAAI,GAAG,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;QAC7E,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;QAC3B,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACvH,CAAC;IACD,gFAAgF;IAChF,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,EAAE,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,EAAE,EAAE,GAAG,QAAQ,CAAC,CAAC;IAC1D,OAAO,OAAO,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,EAAE,IAAI,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;AACxH,CAAC,CAAC;AAEF,oCAAoC;AACpC,MAAM,CAAC,MAAM,YAAY,GAAG,CAAkC,OAAmD,EAAE,MAAc,EAA8D,EAAE;IAC7L,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,KAAK,GAA0C,EAAE,CAAC;IACxD,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC7B,uFAAuF;QACvF,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACvG,IAAI,MAAM,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,MAAc,EAAE,EAA8B,EAA6F,EAAE;IACpL,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACvE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;AAChG,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,UAAuC,EAAE,MAAc,EAAkB,EAAE;IAClH,MAAM,KAAK,GAAG,UAAU,EAAE,KAAK,CAAC;IAChC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,UAAU,CAAC;QAAE,OAAO,EAAE,CAAC;IACtI,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;IAC3B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,wBAAwB,MAAM,CAAC,EAAE,mOAAmO,CAAC,CAAC;IACxU,OAAO,KAAK,CAAC;AACjB,CAAC,CAAC;AAEF,gDAAgD;AAChD,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,MAAc,EAAkB,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,qBAAqB,EAAE,MAAM,CAAC,CAAC"}

package/dist/interface/system/struct.d.ts

@@ -3,9 +3,9 @@ import type { Resource } from '../resource/resource.js';
 import type { IsStruct } from '../schema/is-struct.js';
 /** Components whose values are structs, which kernels read and write. */
 export type StructComponent = {
-    [K in Component.Key]: IsStruct<Component.Value<K>> extends true ? K : never;
+    [K in Component.Key]: IsStruct<Component<K>> extends true ? K : never;
 }[Component.Key];
 /** Resources whose values are structs, which kernels read. */
 export type StructResource = {
-    [K in Resource.Key]: IsStruct<Resource.Value<K>> extends true ? K : never;
+    [K in Resource.Key]: IsStruct<Resource<K>> extends true ? K : never;
 }[Resource.Key];

package/dist/interface/system/system.d.ts

@@ -1,10 +1,12 @@
 declare const input: unique symbol;
+declare const result: unique symbol;
 /**
- * A system, the value a System constructor returned: identified by that value and labeled by its name. `run` takes it
- * with a value of type `I`, or with nothing when `I` is `undefined`.
+ * A system, the value a System constructor returned: identified by that value and labeled by `name`, the binding it's
+ * declared at. `run` takes it with a value of type `I`, or with nothing when `I` is `undefined`, and resolves to `R`.
  */
-export type System<I = undefined> = {
+export type System<I = undefined, R = void> = {
     readonly name: string;
     readonly [input]?: I;
+    readonly [result]?: () => R;
 };
 export * as System from './index.js';

package/dist/interface/system/system.js.map

@@ -1 +1 @@
-{"version":3,"file":"system.js","sourceRoot":"","sources":["../../../src/interface/system/system.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,MAAM,MAAM,YAAY,CAAC"}
+{"version":3,"file":"system.js","sourceRoot":"","sources":["../../../src/interface/system/system.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,MAAM,MAAM,YAAY,CAAC"}

package/dist/interface/system/threads.d.ts

@@ -6,9 +6,6 @@ import type { Index } from '../indexes/index-type.js';
 import type { Listed, Property } from './property.js';
 import type { KeyOf } from './values.js';
 type Lookups<D> = Property<D, "lookup">;
-type LookupReads<D> = {
-    [L in keyof Lookups<D>]: Listed<Lookups<D>[L], "read">;
-}[keyof Lookups<D>];
 type LookupKeys<D> = {
     [L in keyof Lookups<D>]: Lookups<D>[L] extends {
         readonly index: Index<infer I>;
@@ -17,10 +14,14 @@ type LookupKeys<D> = {
 type OrderKeys<D> = Property<D, "order"> extends Index<infer I> ? KeyOf<I>[number] : never;
 type Components<D> = Property<D, "components">;
 type Resources<D> = Property<D, "resources">;
-/** The components that place a declaration: those it reads, writes or filters on by change, and the keys it looks up and orders by. */
-type Placing<D> = Listed<Components<D>, "read"> | Listed<Components<D>, "write"> | Listed<Components<D>, "added"> | Listed<Components<D>, "changed"> | LookupReads<D> | LookupKeys<D> | Listed<Property<D, "up">, "read"> | OrderKeys<D>;
-/** The resources that place a declaration: those it reads, writes, filters on by change, or reads as a condition. */
-type PlacingResources<D> = Listed<Resources<D>, "read"> | Listed<Resources<D>, "write"> | Listed<Resources<D>, "changed"> | Listed<Resources<D>, "is">;
+/**
+ * The components that place a declaration, as far as its type shows: those it filters on by change, and the keys it
+ * looks up and orders by. A member of `with` places it only where its body uses one, which the build infers and
+ * registration checks, so types can't tell it from one only required.
+ */
+type Placing<D> = Listed<Components<D>, "added"> | Listed<Components<D>, "changed"> | LookupKeys<D> | OrderKeys<D>;
+/** The resources that place a declaration, as far as its type shows: those it filters on by change or reads as a condition. */
+type PlacingResources<D> = Listed<Resources<D>, "changed"> | Listed<Resources<D>, "is">;
 /** The threads of the object components and resources a declaration uses. */
 export type ThreadsOf<D> = ThreadOfComponent<Placing<D> & Component.Key> | ThreadOfResource<PlacingResources<D> & Resource.Key>;
 /** Each object component and resource a declaration uses, by key, with the thread it lives on. */

package/dist/interface/system/values-of.d.ts

@@ -0,0 +1,17 @@
+import type { Component } from '../component/component.js';
+/** Components a spawn or add may leave out: a tag, whose value is `true`, and one whose type allows `null`, its start. */
+type Omissible<K extends Component.Key> = Component<K> extends true ? K : null extends Component<K> ? K : never;
+/**
+ * The values a spawn or add of the components `C` takes, keyed by component and exact against `C`, but those `Given`
+ * already: a tag needs no value, a component whose type allows `null` may be left out to start at `null`, and every
+ * other one is required. Leaving one out, or giving `undefined`, never leaves the component out. A list that isn't a
+ * tuple takes any of its components' values.
+ */
+export type ValuesOf<C extends readonly Component.Key[], Given extends PropertyKey = never> = number extends C["length"] ? {
+    readonly [K in Exclude<C[number], Given>]?: Component<K>;
+} : {
+    readonly [K in Exclude<C[number], Given> as K extends Omissible<K> ? never : K]: Component<K>;
+} & {
+    readonly [K in Exclude<C[number], Given> as K extends Omissible<K> ? K : never]?: Component<K>;
+};
+export {};

package/dist/interface/system/values-of.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"values-of.js","sourceRoot":"","sources":["../../../src/interface/system/values-of.ts"],"names":[],"mappings":""}