@abide/abide 0.116.2 → 0.116.3

package/CHANGELOG.md

@@ -1,5 +1,17 @@
 # @abide/abide
 
+## 0.116.3
+
+### Patch Changes
+
+- 9007822: A `bind:` writes its value before an `on<event>` on the same element runs — `<input type="file" bind:files={picked} onchange={use}>` hands `use` the files just picked, and an `oninput` beside `bind:value` reads the text just typed, wherever the two are written in the tag (RULEBOOK 32.75).
+- ecf1ff0: a `bind:` through a computed key writes back — `bind:value={params[key]}` and `bind:value={params[s.k]}` inside a `{#for}` write the entry the key names when the input fires, and follow the key when it changes, where they were handed the read and never wrote; a `bind:` through an optional step (`params?.a`) is now a build error (RULEBOOK 32.75) rather than a read that writes nothing
+- ee8cce7: a handler with no `args` gate whose parameter is one record now carries the `ValidationError` the wire refuses its args with — `rpc.isError(e, 'ValidationError')` narrows to it and `e.data` is `Issues<Args>`, where it narrowed to `never`. A handler with no args, a scalar, a list, a union of records or `unknown` derives no schema and still carries none
+- fe68a88: a handler no call has reached is not busy, and asking runs nothing — on a server, `save.busy()` over a never-called `POST(async () => …)` ran the write and reported it in flight; it now answers as a handler with no entries (`busy` false, `ready` and `synced` true), for a `GET` with no args as well. A probe over a mutation a `refresh()` invalidated no longer sends the write again (RULEBOOK 3.14, 13.19)
+- 874c919: under `mount` in `bun test`, a dynamic `import('#src/…')` from a component's browser module resolves as the static one does, rather than failing with "Cannot find package '#src'"
+- f60ea39: under `mount` in `bun test`, a component's browser module calling a private handler (one its `<script server>` declares) is answered by that handler in the test's process, rather than fetching an `/abide-client:/…` address and failing with 503 — as a handler file's call already was
+- 3e999ce: a throttled value lets its first change through at once — `reactive(x, { throttle })` then `s.set(v)` reads `v` back in the same turn, where the value it was built with had opened a window that held the first `set` back. RULEBOOK 5.12
+
 ## 0.116.2
 
 ### Patch Changes

package/docs/REGISTRY.md

@@ -125,10 +125,10 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `s.busy` | `() => boolean` | Work is in flight for this value. | 3.1, 3.2, 3.3, 3.4, 3.7, 3.9, 5.15, 7.5, 7.8, 11.19, 11.20, 11.21, 11.22, 11.50 |
-| `s.ready` | `() => boolean` | There is a value to serve. | 3.1, 3.2, 3.3, 3.5, 3.6, 3.8, 7.8, 11.20, 11.54, 11.58 |
-| `s.error` | `() => Failures \| undefined` | The standing refusal. | 3.1, 3.2, 3.3, 3.5, 4.10, 4.11, 4.12 |
-| `s.synced` | `() => boolean` | What is held is what the producer made. | 3.1, 3.2, 3.3, 3.10, 3.11, 3.12, 3.13 |
+| `s.busy` | `() => boolean` | Work is in flight for this value. | 3.1, 3.2, 3.3, 3.4, 3.7, 3.9, 3.14, 5.15, 7.5, 7.8, 11.19, 11.20, 11.21, 11.22, 11.50 |
+| `s.ready` | `() => boolean` | There is a value to serve. | 3.1, 3.2, 3.3, 3.5, 3.6, 3.8, 3.14, 7.8, 11.20, 11.54, 11.58 |
+| `s.error` | `() => Failures \| undefined` | The standing refusal. | 3.1, 3.2, 3.3, 3.5, 3.14, 4.10, 4.11, 4.12 |
+| `s.synced` | `() => boolean` | What is held is what the producer made. | 3.1, 3.2, 3.3, 3.10, 3.11, 3.12, 3.13, 3.14 |
 | `s.isError` | `<Name extends Failures['name']>(error: unknown, name: Name) => error is Extract<Failures, { name: Name }>` | Whether a caught failure is the one named. | 3.1 |
 
 ### Triggers
@@ -223,11 +223,11 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 | `GET` | `<Value, Args, Failures, RungFailures, Produced = Value>(handler: (args?: Args) => Value, options?: RpcOptions<Args, RungFailures> & ReactiveOptions<Value, Value, Failures, Args>) => Rpc<Value, Args, Failures \| RungFailures, Produced>` | The plain-function overload, whose `ReactiveOptions` (`ttl`, `global`, `debounce` and the rest) build the value it becomes beside its address. | 16.1, 16.6, 16.7 |
 | `GET` | `<Value, Failures, RungFailures>(handler: Value \| PromiseLike<Value>, options?: RpcOptions<undefined, RungFailures> & ReactiveOptions<Value, Value, Failures>) => Rpc<Value, undefined, Failures \| RungFailures>` | The value overload, for what the handler owns outright, whose `ReactiveOptions` build the value it becomes. | 16.1, 16.6, 16.7 |
 | `POST` / `PUT` / `PATCH` / `DELETE` | same as `GET` | Declares a mutation. | 16.2, 16.7, 16.32, 16.68, 16.76, 16.38, 16.53 |
-| `rpc.busy` | `(pattern?: Partial<Args>) => boolean` | `busy` narrowed to the handler's matching entries. | 13.2, 13.3, 13.12, 46.11 |
-| `rpc.ready` | `(pattern?: Partial<Args>) => boolean` | `ready` narrowed to the handler's matching entries. | 13.11, 13.12 |
-| `rpc.synced` | `(pattern?: Partial<Args>) => boolean` | `synced` narrowed to the handler's matching entries. | 13.12, 13.18 |
-| `rpc.invalidate` | `(pattern?: Partial<Args>) => void` | `invalidate` narrowed to the handler's matching entries. | 7.2, 7.3, 13.4, 13.12 |
-| `rpc.refresh` | `(pattern?: Partial<Args>) => void` | `refresh` narrowed to the handler's matching entries. | 7.4, 7.5, 13.4, 13.12 |
+| `rpc.busy` | `(pattern?: Partial<Args>) => boolean` | `busy` narrowed to the handler's matching entries. | 13.2, 13.3, 13.12, 13.19, 46.11 |
+| `rpc.ready` | `(pattern?: Partial<Args>) => boolean` | `ready` narrowed to the handler's matching entries. | 13.11, 13.12, 13.19 |
+| `rpc.synced` | `(pattern?: Partial<Args>) => boolean` | `synced` narrowed to the handler's matching entries. | 13.12, 13.18, 13.19 |
+| `rpc.invalidate` | `(pattern?: Partial<Args>) => void` | `invalidate` narrowed to the handler's matching entries. | 7.2, 7.3, 13.4, 13.12, 13.19 |
+| `rpc.refresh` | `(pattern?: Partial<Args>) => void` | `refresh` narrowed to the handler's matching entries. | 7.4, 7.5, 13.4, 13.12, 13.19 |
 | `rpc.isError` | `<Name extends Failures['name']>(error: unknown, name: Name) => error is Extract<Failures, { name: Name }>` | Whether a caught failure is the one named. | 16.8 |
 | `rpc.raw` | `(args: Args, init?: RequestInit) => Promise<Response>` | The same call handed back as the raw response. | 16.11, 16.42 |
 | `rpc.method` | `string` | The HTTP method. | 16.2 |
@@ -552,14 +552,14 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 | formatting whitespace | What a run of whitespace renders as. | 33.17, 33.18 |
 | `{raw(...)}` | Raw HTML. | 32.2, 32.25, 32.26, 32.30, 32.31, 32.70 |
 | `name={expr}` | A reactive attribute or property. | 32.3, 32.20, 32.23, 32.37, 32.70, 32.71 |
-| `on<event>={fn}` | A native listener on an element, and an ordinary prop on a component. | 32.4 |
+| `on<event>={fn}` | A native listener on an element, and an ordinary prop on a component. | 32.4, 32.75 |
 | `name="…{expr}…"` | An interpolated quoted value. | 32.3, 32.71 |
-| `bind:value` | Two-way bind on an element. | 5.16, 32.5, 32.58, 32.59, 32.60, 32.61, 32.62, 32.72, 32.74 |
-| `bind:prop={state}` | Hands a component prop the caller's `Reactive`, or a `{get, set}` pair, to write through. | 32.6, 33.6, 33.8, 14.18 |
-| `bind:checked` | A boolean bind on an input. | 32.7, 32.72, 32.74 |
-| `bind:open` | The same, on a `<details>`. | 32.7, 32.72, 32.74 |
-| `bind:group` | Radio or checkbox membership. | 32.8, 32.72, 32.74 |
-| `bind:files` | A file input's files, as a list. | 32.73, 32.72, 32.74 |
+| `bind:value` | Two-way bind on an element. | 5.16, 32.5, 32.58, 32.59, 32.60, 32.61, 32.62, 32.72, 32.74, 32.75, 32.76 |
+| `bind:prop={state}` | Hands a component prop the caller's `Reactive`, or a `{get, set}` pair, to write through. | 32.6, 33.6, 33.8, 14.18, 32.76 |
+| `bind:checked` | A boolean bind on an input. | 32.7, 32.72, 32.74, 32.75, 32.76 |
+| `bind:open` | The same, on a `<details>`. | 32.7, 32.72, 32.74, 32.75, 32.76 |
+| `bind:group` | Radio or checkbox membership. | 32.8, 32.72, 32.74, 32.75, 32.76 |
+| `bind:files` | A file input's files, as a list. | 32.73, 32.72, 32.74, 32.75, 32.76 |
 | `bind:value={{get, set}}` | Two-way bind over an explicit accessor pair, on an element or a component. | 32.5, 32.6 |
 | `bind:element={Reactive<Element> \| ((element: Element) => void \| Disposer)}` | A node reference. | 32.9, 32.38, 32.66, 32.68, 32.69 |
 | `class:name={cond}` | Toggles a class. | 32.10, 32.71 |
@@ -738,7 +738,7 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `mount` | `(component: Component) => Promise<Mounted>` | A bound component, rendered into the document's body and hydrated there. | 38.119 |
+| `mount` | `(component: Component) => Promise<Mounted>` | A bound component, rendered into the document's body and hydrated there. | 38.119, 38.121 |
 | `Mounted` | `{ stop(): void; [Symbol.dispose](): void }` | A component `mount` hydrated, until it is stopped. | 38.119 |
 
 # The measurement harness

package/docs/RULEBOOK.md

@@ -211,6 +211,8 @@ subscribe it to the value.
 
 3.13 A value MUST report `s.synced` false where a value it read or adopts does.
 
+3.14 A probe over a value a mutation's `declare` built MUST NOT run its body.
+
 # 4. Writes and gates
 
 4.1 `s.set` MUST accept a settled value or a load, and `reactive` MUST accept the same two.
@@ -751,6 +753,9 @@ mutation's `declare` built while its write is in flight.
 13.18 `synced` over a selection MUST be true where every entry in it is synced, and a bare `synced`
 where every value it sweeps is.
 
+13.19 `busy`, `ready`, `synced`, `refresh` and `invalidate` over an `Rpc` no call has reached in the
+current scope MUST answer as over a `Selection` with no entries.
+
 # 14. Tracking
 
 14.1 A `Reactive` MUST be tracked only where something downstream will be rebuilt from it.
@@ -885,8 +890,9 @@ alone.
 options declare one.
 
 16.8 `Failures` on an `Rpc` MUST be the union of what the handler declared, what its rungs
-declared, and the undeclared `Failed` named `HttpError` per 17.4, with no data, which the transport
-may answer any call with.
+declared, the undeclared `Failed` named `HttpError` per 17.4, with no data, which the transport
+may answer any call with, and, wherever the `Schema` 19.9 derives from its `Args` is an object's,
+the undeclared `ValidationError` of 15.8 with `Issues` of the `Args` as its data.
 
 16.9 `rpc.url` MUST take the `Args`, MUST write each parameter of its route into the path, and MUST
 carry the rest in the query on a `GET` or a `DELETE` alone.
@@ -1870,7 +1876,7 @@ as a name bound to a `Reactive` is, per 31.1 to 31.7.
 component.
 
 32.5 `bind:value` MUST read the property and write it back on input or change, through the member
-path where its operand is a path into a value (31.8).
+path where its operand is a path into a value (31.8), a computed step's key read at each write.
 
 32.6 `bind:prop` on a component MUST hand the child the caller's `Reactive`, or its `{ get, set }` pair,
 as that prop's write path.
@@ -2086,6 +2092,12 @@ nothing for it.
 32.74 A `bind:` on an element naming none of `value`, `checked`, `open`, `group`, `files` and
 `element` MUST be a build error.
 
+32.75 A `bind:` on an element MUST write its operand before any `on<event>` listener on that
+element, written or spread, runs for the same event, wherever the two are written in the tag.
+
+32.76 A `bind:` whose operand is a path into a value that takes an optional step (`?.`) MUST be a
+build error.
+
 # 33. Props
 
 33.1 `props` MUST be callable from a `<script>` block only, and calling it from a `<script module>`
@@ -2750,6 +2762,9 @@ hydration woke before it settles; it MUST throw where the component was not impo
 `ABIDE_PRINCIPAL_SECRET` MUST seal and verify the principal cookie with a secret the preload
 supplies, and `abide start` MUST NOT supply that secret.
 
+38.121 Under `mount`, a call the component's browser module makes to a private handler MUST be
+answered in the test's process by the handler the component's server module declares.
+
 # 39. Head and view transitions
 
 39.1 A `<head>` element in a `.abide` file MUST contribute its children to the document head.

package/docs/abide.md

@@ -6856,10 +6856,10 @@ Arrive here knowing which name you want. Each page is read off the registry: the
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `s.busy` | `() => boolean` | Work is in flight for this value. | [3.1](/rulebook#3.1), [3.2](/rulebook#3.2), [3.3](/rulebook#3.3), [3.4](/rulebook#3.4), [3.7](/rulebook#3.7), [3.9](/rulebook#3.9), [5.15](/rulebook#5.15), [7.5](/rulebook#7.5), [7.8](/rulebook#7.8), [11.19](/rulebook#11.19), [11.20](/rulebook#11.20), [11.21](/rulebook#11.21), [11.22](/rulebook#11.22), [11.50](/rulebook#11.50) |
-| `s.ready` | `() => boolean` | There is a value to serve. | [3.1](/rulebook#3.1), [3.2](/rulebook#3.2), [3.3](/rulebook#3.3), [3.5](/rulebook#3.5), [3.6](/rulebook#3.6), [3.8](/rulebook#3.8), [7.8](/rulebook#7.8), [11.20](/rulebook#11.20), [11.54](/rulebook#11.54), [11.58](/rulebook#11.58) |
-| `s.error` | `() => Failures \| undefined` | The standing refusal. | [3.1](/rulebook#3.1), [3.2](/rulebook#3.2), [3.3](/rulebook#3.3), [3.5](/rulebook#3.5), [4.10](/rulebook#4.10), [4.11](/rulebook#4.11), [4.12](/rulebook#4.12) |
-| `s.synced` | `() => boolean` | What is held is what the producer made. | [3.1](/rulebook#3.1), [3.2](/rulebook#3.2), [3.3](/rulebook#3.3), [3.10](/rulebook#3.10), [3.11](/rulebook#3.11), [3.12](/rulebook#3.12), [3.13](/rulebook#3.13) |
+| `s.busy` | `() => boolean` | Work is in flight for this value. | [3.1](/rulebook#3.1), [3.2](/rulebook#3.2), [3.3](/rulebook#3.3), [3.4](/rulebook#3.4), [3.7](/rulebook#3.7), [3.9](/rulebook#3.9), [3.14](/rulebook#3.14), [5.15](/rulebook#5.15), [7.5](/rulebook#7.5), [7.8](/rulebook#7.8), [11.19](/rulebook#11.19), [11.20](/rulebook#11.20), [11.21](/rulebook#11.21), [11.22](/rulebook#11.22), [11.50](/rulebook#11.50) |
+| `s.ready` | `() => boolean` | There is a value to serve. | [3.1](/rulebook#3.1), [3.2](/rulebook#3.2), [3.3](/rulebook#3.3), [3.5](/rulebook#3.5), [3.6](/rulebook#3.6), [3.8](/rulebook#3.8), [3.14](/rulebook#3.14), [7.8](/rulebook#7.8), [11.20](/rulebook#11.20), [11.54](/rulebook#11.54), [11.58](/rulebook#11.58) |
+| `s.error` | `() => Failures \| undefined` | The standing refusal. | [3.1](/rulebook#3.1), [3.2](/rulebook#3.2), [3.3](/rulebook#3.3), [3.5](/rulebook#3.5), [3.14](/rulebook#3.14), [4.10](/rulebook#4.10), [4.11](/rulebook#4.11), [4.12](/rulebook#4.12) |
+| `s.synced` | `() => boolean` | What is held is what the producer made. | [3.1](/rulebook#3.1), [3.2](/rulebook#3.2), [3.3](/rulebook#3.3), [3.10](/rulebook#3.10), [3.11](/rulebook#3.11), [3.12](/rulebook#3.12), [3.13](/rulebook#3.13), [3.14](/rulebook#3.14) |
 | `s.isError` | `<Name extends Failures['name']>(error: unknown, name: Name) => error is Extract<Failures, { name: Name }>` | Whether a caught failure is the one named. | [3.1](/rulebook#3.1) |
 
 ## Triggers
@@ -7407,11 +7407,11 @@ Reactive primitives: what is written in place rather than imported.
 | `Value` | `unknown` | What the addressed `Reactive` holds. | [16.3](/rulebook#16.3), [16.30](/rulebook#16.30) |
 | `Produced` | `unknown` | What it yields, per the unit rule. | [1.2](/rulebook#1.2), [16.3](/rulebook#16.3) |
 | `Args` | `Record<string, JsonValue> \| undefined` | The arguments, in the body on a mutation and in the URL on a `GET` or `DELETE`. | [11.24](/rulebook#11.24), [16.18](/rulebook#16.18), [19.15](/rulebook#19.15) |
-| `rpc.busy` | `(pattern?: Partial<Args>) => boolean` | `busy` narrowed to the handler's matching entries. | [13.2](/rulebook#13.2), [13.3](/rulebook#13.3), [13.12](/rulebook#13.12), [46.11](/rulebook#46.11) |
-| `rpc.ready` | `(pattern?: Partial<Args>) => boolean` | `ready` narrowed to the handler's matching entries. | [13.11](/rulebook#13.11), [13.12](/rulebook#13.12) |
-| `rpc.synced` | `(pattern?: Partial<Args>) => boolean` | `synced` narrowed to the handler's matching entries. | [13.12](/rulebook#13.12), [13.18](/rulebook#13.18) |
-| `rpc.invalidate` | `(pattern?: Partial<Args>) => void` | `invalidate` narrowed to the handler's matching entries. | [7.2](/rulebook#7.2), [7.3](/rulebook#7.3), [13.4](/rulebook#13.4), [13.12](/rulebook#13.12) |
-| `rpc.refresh` | `(pattern?: Partial<Args>) => void` | `refresh` narrowed to the handler's matching entries. | [7.4](/rulebook#7.4), [7.5](/rulebook#7.5), [13.4](/rulebook#13.4), [13.12](/rulebook#13.12) |
+| `rpc.busy` | `(pattern?: Partial<Args>) => boolean` | `busy` narrowed to the handler's matching entries. | [13.2](/rulebook#13.2), [13.3](/rulebook#13.3), [13.12](/rulebook#13.12), [13.19](/rulebook#13.19), [46.11](/rulebook#46.11) |
+| `rpc.ready` | `(pattern?: Partial<Args>) => boolean` | `ready` narrowed to the handler's matching entries. | [13.11](/rulebook#13.11), [13.12](/rulebook#13.12), [13.19](/rulebook#13.19) |
+| `rpc.synced` | `(pattern?: Partial<Args>) => boolean` | `synced` narrowed to the handler's matching entries. | [13.12](/rulebook#13.12), [13.18](/rulebook#13.18), [13.19](/rulebook#13.19) |
+| `rpc.invalidate` | `(pattern?: Partial<Args>) => void` | `invalidate` narrowed to the handler's matching entries. | [7.2](/rulebook#7.2), [7.3](/rulebook#7.3), [13.4](/rulebook#13.4), [13.12](/rulebook#13.12), [13.19](/rulebook#13.19) |
+| `rpc.refresh` | `(pattern?: Partial<Args>) => void` | `refresh` narrowed to the handler's matching entries. | [7.4](/rulebook#7.4), [7.5](/rulebook#7.5), [13.4](/rulebook#13.4), [13.12](/rulebook#13.12), [13.19](/rulebook#13.19) |
 | `rpc.isError` | `<Name extends Failures['name']>(error: unknown, name: Name) => error is Extract<Failures, { name: Name }>` | Whether a caught failure is the one named. | [16.8](/rulebook#16.8) |
 | `rpc.raw` | `(args: Args, init?: RequestInit) => Promise<Response>` | The same call handed back as the raw response. | [16.11](/rulebook#16.11), [16.42](/rulebook#16.42) |
 | `rpc.method` | `string` | The HTTP method. | [16.2](/rulebook#16.2) |
@@ -8899,14 +8899,14 @@ Generated surfaces: what is written in place rather than imported.
 | formatting whitespace | What a run of whitespace renders as. | [33.17](/rulebook#33.17), [33.18](/rulebook#33.18) |
 | `{raw(...)}` | Raw HTML. | [32.2](/rulebook#32.2), [32.25](/rulebook#32.25), [32.26](/rulebook#32.26), [32.30](/rulebook#32.30), [32.31](/rulebook#32.31), [32.70](/rulebook#32.70) |
 | `name={expr}` | A reactive attribute or property. | [32.3](/rulebook#32.3), [32.20](/rulebook#32.20), [32.23](/rulebook#32.23), [32.37](/rulebook#32.37), [32.70](/rulebook#32.70), [32.71](/rulebook#32.71) |
-| `on<event>={fn}` | A native listener on an element, and an ordinary prop on a component. | [32.4](/rulebook#32.4) |
+| `on<event>={fn}` | A native listener on an element, and an ordinary prop on a component. | [32.4](/rulebook#32.4), [32.75](/rulebook#32.75) |
 | `name="…{expr}…"` | An interpolated quoted value. | [32.3](/rulebook#32.3), [32.71](/rulebook#32.71) |
-| `bind:value` | Two-way bind on an element. | [5.16](/rulebook#5.16), [32.5](/rulebook#32.5), [32.58](/rulebook#32.58), [32.59](/rulebook#32.59), [32.60](/rulebook#32.60), [32.61](/rulebook#32.61), [32.62](/rulebook#32.62), [32.72](/rulebook#32.72), [32.74](/rulebook#32.74) |
-| `bind:prop={state}` | Hands a component prop the caller's `Reactive`, or a `{get, set}` pair, to write through. | [32.6](/rulebook#32.6), [33.6](/rulebook#33.6), [33.8](/rulebook#33.8), [14.18](/rulebook#14.18) |
-| `bind:checked` | A boolean bind on an input. | [32.7](/rulebook#32.7), [32.72](/rulebook#32.72), [32.74](/rulebook#32.74) |
-| `bind:open` | The same, on a `<details>`. | [32.7](/rulebook#32.7), [32.72](/rulebook#32.72), [32.74](/rulebook#32.74) |
-| `bind:group` | Radio or checkbox membership. | [32.8](/rulebook#32.8), [32.72](/rulebook#32.72), [32.74](/rulebook#32.74) |
-| `bind:files` | A file input's files, as a list. | [32.73](/rulebook#32.73), [32.72](/rulebook#32.72), [32.74](/rulebook#32.74) |
+| `bind:value` | Two-way bind on an element. | [5.16](/rulebook#5.16), [32.5](/rulebook#32.5), [32.58](/rulebook#32.58), [32.59](/rulebook#32.59), [32.60](/rulebook#32.60), [32.61](/rulebook#32.61), [32.62](/rulebook#32.62), [32.72](/rulebook#32.72), [32.74](/rulebook#32.74), [32.75](/rulebook#32.75), [32.76](/rulebook#32.76) |
+| `bind:prop={state}` | Hands a component prop the caller's `Reactive`, or a `{get, set}` pair, to write through. | [32.6](/rulebook#32.6), [33.6](/rulebook#33.6), [33.8](/rulebook#33.8), [14.18](/rulebook#14.18), [32.76](/rulebook#32.76) |
+| `bind:checked` | A boolean bind on an input. | [32.7](/rulebook#32.7), [32.72](/rulebook#32.72), [32.74](/rulebook#32.74), [32.75](/rulebook#32.75), [32.76](/rulebook#32.76) |
+| `bind:open` | The same, on a `<details>`. | [32.7](/rulebook#32.7), [32.72](/rulebook#32.72), [32.74](/rulebook#32.74), [32.75](/rulebook#32.75), [32.76](/rulebook#32.76) |
+| `bind:group` | Radio or checkbox membership. | [32.8](/rulebook#32.8), [32.72](/rulebook#32.72), [32.74](/rulebook#32.74), [32.75](/rulebook#32.75), [32.76](/rulebook#32.76) |
+| `bind:files` | A file input's files, as a list. | [32.73](/rulebook#32.73), [32.72](/rulebook#32.72), [32.74](/rulebook#32.74), [32.75](/rulebook#32.75), [32.76](/rulebook#32.76) |
 | `bind:value={{get, set}}` | Two-way bind over an explicit accessor pair, on an element or a component. | [32.5](/rulebook#32.5), [32.6](/rulebook#32.6) |
 | `bind:element={Reactive<Element> \| ((element: Element) => void \| Disposer)}` | A node reference. | [32.9](/rulebook#32.9), [32.38](/rulebook#32.38), [32.66](/rulebook#32.66), [32.68](/rulebook#32.68), [32.69](/rulebook#32.69) |
 | `class:name={cond}` | Toggles a class. | [32.10](/rulebook#32.10), [32.71](/rulebook#32.71) |
@@ -9469,7 +9469,7 @@ Configuration: what is written in place rather than imported.
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `mount` | `(component: Component) => Promise<Mounted>` | A bound component, rendered into the document's body and hydrated there. | [38.119](/rulebook#38.119) |
+| `mount` | `(component: Component) => Promise<Mounted>` | A bound component, rendered into the document's body and hydrated there. | [38.119](/rulebook#38.119), [38.121](/rulebook#38.121) |
 
 ## Taught in
 

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@abide/abide",
-    "version": "0.116.2",
+    "version": "0.116.3",
     "type": "module",
     "description": "Isomorphic type-safe framework for reactive async interfaces for humans and machines",
     "license": "MIT",

package/src/compiler/Lowering.ts

@@ -372,17 +372,17 @@ export class Lowering {
      * `contact.address.city = v` to for its set. Lowered as a read, the binding was handed the city
      * as a string and had nothing to write the typed text back into.
      *
-     * A STATIC PATH ONLY — names and dots, which carry no read of their own. `undefined` for any
-     * other operand, which `reference` lowers as it stands.
+     * A COMPUTED STEP IS EMITTED SOURCE, as 31.8's is: `params[s.k]` writes through `s.k` lowered,
+     * so the key is read when the input writes and the get reads it too — the binding follows the
+     * key. A `!` is a type and no step. `undefined` for an operand that is not a name followed by
+     * steps, which `reference` lowers as it stands — save 32.76's optional step, which is refused.
      */
     private boundPath(span: Span): string | undefined {
-        if (this.checking) return undefined
         const source = this.projection.text
         const text = source.slice(span.start, span.end)
         const from = span.start + (text.length - text.trimStart().length)
         const to = span.start + text.trimEnd().length
-        const reads = this.answer.reads
-        const read = reads[this.answer.firstRead(from)]
+        const read = this.answer.reads[this.answer.firstRead(from)]
         if (
             read === undefined ||
             read.from !== from ||
@@ -390,12 +390,41 @@ export class Lowering {
             read.item !== -1
         )
             return undefined
-        const path = source.slice(read.to, to)
-        if (!/^(\s*\.\s*[A-Za-z_$][\w$]*)+$/.test(path)) return undefined
-        const name = this.nameOf(read)
+        const tokens = tokenize(source.slice(read.to, to))
         const segments: string[] = []
-        for (const [, segment] of path.matchAll(/\.\s*([A-Za-z_$][\w$]*)/g))
-            segments.push(JSON.stringify(segment))
+        for (let at = 0; at < tokens.length; at += 1) {
+            const token = tokens[at] as Token
+            if (token.kind === SyntaxKind.ExclamationToken) continue
+            if (token.kind === SyntaxKind.QuestionDotToken)
+                throw new Error(
+                    `abide: bind:{${source.slice(from, to)}} writes through an optional step, and nothing can be written through one. Bind the path without ?., or a { get, set } pair. RULEBOOK 32.76.`,
+                )
+            if (token.kind === SyntaxKind.DotToken) {
+                at += 1
+                const step = tokens[at]
+                if (step === undefined || !/^[A-Za-z_$][\w$]*$/.test(step.text))
+                    return undefined
+                segments.push(JSON.stringify(step.text))
+                continue
+            }
+            if (token.kind !== SyntaxKind.OpenBracketToken) return undefined
+            let depth = 1
+            let close = at + 1
+            for (; close < tokens.length; close += 1) {
+                depth += nesting((tokens[close] as Token).kind)
+                if (depth === 0) break
+            }
+            if (depth > 0 || close === at + 1) return undefined
+            segments.push(
+                this.lower({
+                    start: read.to + token.end,
+                    end: read.to + (tokens[close] as Token).start,
+                }).trim(),
+            )
+            at = close
+        }
+        if (segments.length === 0) return undefined
+        const name = this.nameOf(read)
         return `{ get: () => ${this.lowerChunk({ start: from, end: to })}, set: (${STORED}) => ${name}.set(${this.use('writePath')}(${name}(), [${segments.join(', ')}], ${STORED})) }`
     }
 

package/src/compiler/emitClient.ts

@@ -184,7 +184,6 @@ export function emitClient(
             const classified = classifyAttributes(node, lowering)
             if (!classified.some(isBound)) continue
             const units = elementUnits(element, classified, slot, lowering)
-            for (const unit of units.handlers) lines.push(unit)
             for (const unit of units.attributes) lines.push(unit)
             for (const unit of units.elements) lines.push(unit)
         }
@@ -562,7 +561,7 @@ function emitRegion(sink: Cursor, region: RegionEmission): RegionEmission {
 
     for (const line of walkTo(positions, live, lowering)) chain.push(line)
 
-    // THE UNITS — text, listeners, attributes, the regions, then the node handed over. The walk
+    // THE UNITS — text, attributes and listeners, the regions, then the node handed over. The walk
     // does not depend on the order.
     // 32.68 — A `bind:element` CALLBACK RUNS LAST, so the node it is handed is whole: a child
     // component, an arm or a list inside it has built, and `form.querySelector('input')` finds an
@@ -571,7 +570,6 @@ function emitRegion(sink: Cursor, region: RegionEmission): RegionEmission {
     // (`Scope.itemWatch`).
     const items: string[] = []
     const texts: string[] = []
-    const handlers: string[] = []
     const attributes: string[] = []
     const elements: string[] = []
     const regions: PlacedNode[] = []
@@ -595,13 +593,11 @@ function emitRegion(sink: Cursor, region: RegionEmission): RegionEmission {
             lowering,
         )
         for (const unit of units.items) items.push(unit)
-        for (const unit of units.handlers) handlers.push(unit)
         for (const unit of units.attributes) attributes.push(unit)
         for (const unit of units.elements) elements.push(unit)
     }
     for (const unit of items) lines.push(unit)
     for (const unit of texts) lines.push(unit)
-    for (const unit of handlers) lines.push(unit)
     for (const unit of attributes) lines.push(unit)
 
     // 32.67 — WHAT A ROW'S REGIONS AND COMPONENTS BIND reads the row's item through its cell: the
@@ -751,7 +747,6 @@ function elementUnits(
     lowering: Lowering,
 ): {
     items: string[]
-    handlers: string[]
     attributes: string[]
     elements: string[]
 } {
@@ -849,9 +844,13 @@ if (__r${slot} !== undefined) ${SCOPE}.stops.push(__r${slot})`,
         items.push(`const __i${slot} = ${element}\n${itemWrites.join('\n')}`)
     if (writes.length > 0)
         attributes.push(`const __a${slot} = ${element}\n${writes.join('\n')}`)
+    // 32.75 — A BIND'S LISTENER IS ADDED AHEAD OF THE AUTHOR'S, written or spread, so an
+    // `onchange` reading the operand reads what was just picked. After the attribute writes, since
+    // a bind reads what they set (`type`, for a number).
     for (const unit of binds) attributes.push(unit)
+    for (const unit of handlers) attributes.push(unit)
     for (const unit of spreads) attributes.push(unit)
-    return { items, handlers, attributes, elements }
+    return { items, attributes, elements }
 }
 
 // A region's bindings go through its SCOPE, so what replaced the region can stop them (see

package/src/compiler/handlersUnder.ts

@@ -16,7 +16,7 @@ import { PRIVATE_HANDLERS_ADDRESS } from '#shared/ADDRESSES.ts'
 import { parseRoutePattern } from '#shared/routePattern.ts'
 import type { PlacedHandler, PlacedSource } from './appLayout.ts'
 import { declaredExports } from './declaredExports.ts'
-import { PRIVATE_EXPORT } from './projectShadow.ts'
+import { PRIVATE_EXPORT } from '#server/PRIVATE_EXPORT.ts'
 import type { Refusals } from './Refusals.ts'
 import type { Diagnosis, TypeSession } from './TypeSession.ts'
 

package/src/compiler/projectShadow.ts

@@ -1,4 +1,5 @@
 import { SyntaxKind } from 'typescript/unstable/ast'
+import { PRIVATE_EXPORT } from '#server/PRIVATE_EXPORT.ts'
 import { isEventName } from '#shared/isEventName.ts'
 import { isComponentTag, propKeyOf } from './classifyTemplate.ts'
 import { isNamedAlone } from './isNamedAlone.ts'
@@ -768,9 +769,6 @@ function refuseExport(source: string): void {
     }
 }
 
-/** The prefix a server block's bindings are re-exported under, for the build alone (16.70). */
-export const PRIVATE_EXPORT = '__handler_'
-
 /**
  * 16.70 — the `export { … }` re-exporting each name the server blocks bind under `PRIVATE_EXPORT`,
  * or `''` where they bind none. One spelling for the checker's view and the emitted module, which

package/src/server/MODULE_QUERIES.ts

@@ -17,6 +17,12 @@ export const TEXT_QUERY = '?text'
  */
 export const CLIENT_QUERY = '?client'
 
+/**
+ * The file's server module, whoever asks — a browser module outside a bundle binding its private
+ * handlers (38.121), where `?component` would answer it with itself.
+ */
+export const SERVER_QUERY = '?server'
+
 /**
  * What a handler file is imported as: its own path with this after it, so the plugin can serve it
  * between the calls that file its hooks (37.1) and a browser its wrapper (16.74). A stack frame names

package/src/server/PRIVATE_EXPORT.ts

@@ -0,0 +1,5 @@
+/**
+ * The prefix a server block's bindings are re-exported under (16.70): what the build's handler table
+ * reads a private handler out of, and what a browser module loaded outside a bundle binds it from.
+ */
+export const PRIVATE_EXPORT = '__handler_'

package/src/server/abideModules.ts

@@ -40,10 +40,12 @@ import {
     COMPONENT_QUERY,
     HANDLER_FACE,
     HANDLER_SUFFIX,
+    SERVER_QUERY,
     STYLE_QUERY,
     TEXT_QUERY,
 } from './MODULE_QUERIES.ts'
 import { MOUNTABLE } from './MOUNTABLE.ts'
+import { PRIVATE_EXPORT } from './PRIVATE_EXPORT.ts'
 import { realOrAsGiven } from './realOrAsGiven.ts'
 import { SERVER_TABLE } from './TABLES.ts'
 import { VIRTUAL_DIRECTORY } from './VIRTUAL_DIRECTORY.ts'
@@ -280,6 +282,7 @@ function modulesPlugin(served: Held): Bun.BunPlugin {
             asking('style', STYLE_QUERY, abideWith(STYLE_QUERY))
             asking('component', COMPONENT_QUERY, abideWith(COMPONENT_QUERY))
             asking('client', CLIENT_QUERY, abideWith(CLIENT_QUERY))
+            asking('server', SERVER_QUERY, abideWith(SERVER_QUERY))
             asking('abide', '', /\.abide$/)
             build.onResolve(
                 { filter: new RegExp(`/${VIRTUAL_DIRECTORY}/[^/]+\\.ts$`) },
@@ -329,10 +332,11 @@ function modulesPlugin(served: Held): Bun.BunPlugin {
                     },
                 )
 
-            // A RELATIVE SPECIFIER A FACE IMPORTS AT RUN TIME is resolved from the file the face
-            // stands for: bun's runtime reads one from an importer in a namespace as no path at
-            // all. A bare one it resolves itself. Registered after every face, so a `.abide` is
-            // still answered as one — and NOT IN A BUNDLE, which needs it for no face it serves,
+            // A RELATIVE OR `#` SPECIFIER A FACE IMPORTS AT RUN TIME is resolved from the file the
+            // face stands for: bun's runtime reads one from an importer in a namespace as no path
+            // at all, and a `#` one, asked by `import()`, as a package. A bare one it resolves
+            // itself. Registered after every face, so a `.abide` is still answered as one — and
+            // NOT IN A BUNDLE, which needs it for no face it serves,
             // and where a hook matching every relative import in a package costs the bundle that
             // package's `sideEffects`: a two-page app grew by 12 KB, the validator one page never
             // calls moved into the chunk both pages load.
@@ -342,7 +346,7 @@ function modulesPlugin(served: Held): Bun.BunPlugin {
                 build.onResolve({ filter: HANDLER_FACE }, (args) => ({
                     path: args.path,
                 }))
-                build.onResolve({ filter: /^\.\.?\// }, (args) =>
+                build.onResolve({ filter: RELATIVE_OR_SUBPATH }, (args) =>
                     resolving || pathOf(args.importer) === args.importer
                         ? undefined
                         : { path: resolved(args.path, args.importer) },
@@ -379,10 +383,16 @@ function modulesPlugin(served: Held): Bun.BunPlugin {
             })
             build.onLoad(
                 { filter: /.*/, namespace: CLIENT_NAMESPACE },
-                (args) => ({
-                    contents: compiledAt(served, realFileOf(args.path)).client,
-                    loader: 'ts',
-                }),
+                (args) => {
+                    const path = realFileOf(args.path)
+                    return {
+                        contents: withPrivateHandlers(
+                            compiledAt(served, path).client,
+                            path,
+                        ),
+                        loader: 'ts',
+                    }
+                },
             )
             build.onLoad(
                 { filter: /.*/, namespace: BOUND_NAMESPACE },
@@ -425,6 +435,22 @@ function modulesPlugin(served: Held): Bun.BunPlugin {
     }
 }
 
+// 38.121 — A BROWSER MODULE OUTSIDE A BUNDLE HOLDS EACH PRIVATE HANDLER ITSELF, bound from its file's
+// server module, where a bundle's holds the wrapper 16.28 states: no server answers the address that
+// wrapper would fetch, and a handler file's import is already the module the server mounts. Each
+// wrapper is one line of `wireLine`'s, `const <name> = __wire(…)`, and an import is hoisted, so the
+// line is swapped where it stands.
+const PRIVATE_WRAPPER = /^const ([\w$]+) = __wire\(.*$/gm
+
+function withPrivateHandlers(client: string, path: string): string {
+    const server = JSON.stringify(`${path}${SERVER_QUERY}`)
+    return client.replace(
+        PRIVATE_WRAPPER,
+        (_line, name: string) =>
+            `import { ${PRIVATE_EXPORT}${name} as ${name} } from ${server}`,
+    )
+}
+
 // AN IMPORTER IN ONE OF THIS PLUGIN'S NAMESPACES CARRIES IT in front of its path at run time — with
 // a `/` in front of that again, where the bundler hands the path alone.
 function pathOf(importer: string): string {

package/src/server/faceOf.ts

@@ -3,7 +3,7 @@
 // adapter that hands bun's hooks to it, because bun decides which hook asks (an `onResolve` for a
 // specifier, an `onLoad` for a path), and this decides what the answer is.
 
-import { HANDLER_SUFFIX } from './MODULE_QUERIES.ts'
+import { HANDLER_SUFFIX, SERVER_QUERY } from './MODULE_QUERIES.ts'
 
 // A VIRTUAL FACE'S PATH: its file's, with a suffix that is not a query. Both registries key a module
 // by its path whatever its namespace, and the runtime's drops a query from it — so a file's text, its
@@ -33,14 +33,15 @@ export type Face = { path: string; namespace: string }
 
 /**
  * What an import asks of a file, by its spelling: its text (`?text`), a component's stylesheet
- * (`?style`), the module it compiles to (`?component`), its browser module (`?client`), a `.abide`
- * named bare, or a module that may be a handler file.
+ * (`?style`), the module it compiles to (`?component`), its browser module (`?client`), its server
+ * module (`?server`), a `.abide` named bare, or a module that may be a handler file.
  */
 export type Asked =
     | 'text'
     | 'style'
     | 'component'
     | 'client'
+    | 'server'
     | 'abide'
     | 'handler'
 
@@ -60,6 +61,8 @@ export type HandlerFace = { scope: string; client: string }
  * - 32.17 — the module a `.abide` compiles to: in a browser's lane its browser module, else its
  *   server module — in a namespace of its own in a bundle, where bun refuses a `file` path with `..`
  *   in it, which a `[...rest]` directory writes (23.5);
+ * - 38.121 — its server module, to a browser module outside a bundle binding its private handlers,
+ *   and never in a browser's lane (16.28);
  * - 34.16 — a `.abide` named bare is a module abide did not compile asking: on a server its bound
  *   face, and in a browser the component module itself;
  * - 16.2, 16.74 — a handler file, however its import is spelled and whoever imports it — the app or a
@@ -89,6 +92,12 @@ export function faceOf(
             return lane.browser
                 ? { path: file, namespace: COMPONENT_NAMESPACE }
                 : { path: `${file}${CLIENT}`, namespace: CLIENT_NAMESPACE }
+        case 'server':
+            return lane.browser
+                ? new Error(
+                      `abide: ${realFileOf(importer)} imports ${file}${SERVER_QUERY}, the server module, into the browser. Call its handlers by name. RULEBOOK 16.28.`,
+                  )
+                : { path: file, namespace: componentNamespaceOf(lane) }
         case 'abide':
             return inBrowser || importer === `${file}${BOUND}`
                 ? component()

package/src/shared/reactive/Reactive.ts

@@ -1706,13 +1706,13 @@ function windowHolds(cell: Cell, cap: Cap): boolean {
 /**
  * Whether an arrival passes the window; the first landing always does.
  *
- * 5.15: the first landing goes through, having nothing to collapse against — and a debounce's
- * window is not opened by it, where a throttle's is.
+ * 5.15: the first landing goes through, having nothing to collapse against — and it opens no
+ * window, a throttle's included. 5.12: the first CHANGE is the one a throttle lets through, and a
+ * landing is not a change; a window opened here held back the first `set` after construction, so
+ * `s.set(v); s()` read the value it was built with.
  */
 function passes(cell: Cell, cap: Cap): boolean {
-    if (cell.landed) return !windowHolds(cell, cap)
-    if (cap.leading) openWindow(cell, cap)
-    return true
+    return !cell.landed || !windowHolds(cell, cap)
 }
 
 /**
@@ -3255,11 +3255,16 @@ function bringCurrent(cell: Cell): void {
     if (cell.state !== CLEAN) resolve(cell)
 }
 
-/** What every probe does before it answers: subscribes the reader (3.3), then brings `cell` current. */
+/**
+ * What every probe does before it answers: subscribes the reader (3.3), then brings `cell` current.
+ *
+ * 3.14 — A MUTATION'S VALUE IS ANSWERED AS IT STANDS: its body is the write, so bringing it current
+ * after a sweep invalidated it (13.16) sent the write again from a `save.busy()`.
+ */
 function probe(cell: Cell): void {
     const reader = TRACKING.reader
     if (reader !== null) trackProbe(cell, reader)
-    bringCurrent(cell)
+    if (!cell.mutation) bringCurrent(cell)
 }
 
 function readyNow(cell: Cell): boolean {

package/src/shared/reactive/scoped.ts

@@ -149,6 +149,19 @@ export function scoped(
     return read
 }
 
+/**
+ * Whether the value `value` forwards to is built for the scope that is current — always, for a
+ * value that is no forwarder. Asking builds nothing, where `instanceOf` builds what it finds unbuilt.
+ */
+export function builtHere(value: unknown): boolean {
+    const filed = (value as Partial<Forwarder> | null)?.[FILED]
+    if (filed === undefined) return true
+    const scope = filed.global ? undefined : currentScope()
+    return scope === undefined
+        ? filed.home !== UNBUILT
+        : scope.instances.has(filed)
+}
+
 /**
  * Whether `value` is request-local on this server — built without `global`, outside every request.
  */

package/src/shared/rpc.ts

@@ -16,6 +16,7 @@
 import { type Failed, isFailedNamed } from './Failed.ts'
 import { GLOBAL_GETS } from './GLOBAL_GETS.ts'
 import { HandlerRoute } from './HandlerRoute.ts'
+import type { Issues } from './Issues.ts'
 import { IN_PROCESS_ORIGIN } from './IN_PROCESS_ORIGIN.ts'
 import { compose, type Middleware } from './Middleware.ts'
 import { outbox, type QueuedCall, sendingFor } from './outbox.ts'
@@ -50,7 +51,7 @@ import {
 import { MUTATION } from './reactive/MUTATION.ts'
 import { dropAnswered } from './reactive/Reactive.ts'
 import { SELECTION_MEMBERS } from './reactive/SELECTION_MEMBERS.ts'
-import { isForwarder } from './reactive/scoped.ts'
+import { builtHere, isForwarder } from './reactive/scoped.ts'
 import { checkArgs } from './refuse.ts'
 import { rpcRequest } from './rpcRequest.ts'
 import type { Schema } from './Schema.ts'
@@ -74,7 +75,9 @@ export type CallOptions<Args = unknown, Value = unknown> = {
  *
  * 16.8 — AND ITS FAILURES CARRY THE TRANSPORT'S `HttpError`, which no handler declares and every
  * call can be answered with: a body over `maxBodySize` (413), a closed `crossOrigin` (403), a
- * `timeout` (504), and any failure status whose body was not a `Failed`, rebuilt by `answered`.
+ * `timeout` (504), and any failure status whose body was not a `Failed`, rebuilt by `answered`. And
+ * the `ValidationError` the wire holds args to the annotation with (19.9), where `Annotated` says it
+ * derives a schema at all.
  */
 export type Rpc<Value, Args, Failures = never, Produced = Value> = ((
     ...args: undefined extends Args
@@ -83,7 +86,7 @@ export type Rpc<Value, Args, Failures = never, Produced = Value> = ((
 ) => Reactive<
     Value,
     Value,
-    Failures | Failed<'HttpError', undefined>,
+    Failures | Failed<'HttpError', undefined> | Annotated<Args>,
     Produced
 >) & {
     method: Method
@@ -104,7 +107,7 @@ export type Rpc<Value, Args, Failures = never, Produced = Value> = ((
         error: unknown,
         name: Name,
     ): error is Extract<
-        Failures | Failed<'HttpError', undefined>,
+        Failures | Failed<'HttpError', undefined> | Annotated<Args>,
         { name: Name }
     >
     /**
@@ -130,6 +133,35 @@ export type Rpc<Value, Args, Failures = never, Produced = Value> = ((
     guarded: boolean
 }
 
+/**
+ * The `ValidationError` the wire answers args that do not hold to the schema 19.9 derives from
+ * `Args`, and `never` where the derived schema is no object's and the wire holds nothing to it.
+ *
+ * MIRRORS `argsSchemaOf`, which reads the same `Args` off the `Rpc`'s call: an object's schema is
+ * derived for ONE record, `undefined` dropped — not a scalar, a list, a callable or a union of
+ * records (`anyOf`), and not `any`, `unknown` or `object`, which constrain nothing. `object` is told
+ * from `{}`, the one other record with no keys, by `string`, which only `{}` takes.
+ */
+type Annotated<Args> = 0 extends 1 & Args
+    ? never
+    : unknown extends Args
+      ? never
+      : Derived<Exclude<Args, undefined>>
+// `Member` is distributed over and `Whole` is not: a member that is not the whole is one arm of a union.
+type Derived<Member, Whole = Member> = Member extends
+    | readonly unknown[]
+    | ((...given: never[]) => unknown)
+    ? never
+    : Member extends object
+      ? [Whole] extends [Member]
+          ? [keyof Member] extends [never]
+              ? [string] extends [Member]
+                  ? Failed<'ValidationError', Issues<Whole>>
+                  : never
+              : Failed<'ValidationError', Issues<Whole>>
+          : never
+      : never
+
 /** Which generated surfaces carry a handler (20.1). */
 export type Clients = {
     ui?: boolean
@@ -307,6 +339,18 @@ type Declare = {
     ): Rpc<Kept<Shaped>, undefined, Refusals<Shaped, Gate, Accepted>>
 }
 
+/** What a handler's selection members answer before a call has built its value: no entries' answers. */
+const UNREACHED: Record<
+    (typeof SELECTION_MEMBERS)[number],
+    (pattern?: unknown) => unknown
+> = {
+    busy: () => false,
+    ready: () => true,
+    synced: () => true,
+    refresh: () => undefined,
+    invalidate: () => undefined,
+}
+
 /** Builds the handler declarer for one method — what `GET`, `POST` and the rest are. */
 export function declare(method: Method): Declare {
     return ((handler: unknown, options?: RpcOptions): unknown => {
@@ -421,10 +465,17 @@ export function declare(method: Method): Declare {
         }
         // THE HANDLER'S OWN MEMBERS, handed the pattern. A `Keyed` narrows by it and a `Reactive`'s
         // take no argument, so one spelling serves both arms and neither is a second mechanism.
-        const face = value as Record<
+        //
+        // 13.19 — AND NOT YET BUILT, NONE OF THEM BUILDS IT: building an unkeyed value starts its body
+        // (1.7), so `save.busy()` over a server's never-called `POST(async () => …)` ran the write and
+        // reported it in flight. Until a call reaches it the handler has no entry, and answers as one
+        // with no entries does.
+        const built = value as Record<
             (typeof SELECTION_MEMBERS)[number],
             (pattern?: unknown) => unknown
         >
+        const faceHere = (): typeof built =>
+            builtHere(value) ? built : UNREACHED
         const rpc = Object.assign(call, contract, {
             method,
             description: options?.description,
@@ -473,16 +524,16 @@ export function declare(method: Method): Declare {
             members[name] =
                 name === 'invalidate' || name === 'refresh'
                     ? (pattern?: unknown): unknown => {
-                          const done = face[name](pattern)
+                          const done = faceHere()[name](pattern)
                           RPC_SERVER.broadcast?.(rpc, name, pattern)
                           return done
                       }
-                    : (pattern?: unknown): unknown => face[name](pattern)
+                    : (pattern?: unknown): unknown => faceHere()[name](pattern)
         }
         // 46.11 — BUSY TOO WHILE A CALL THE OUTBOX HOLDS FOR IT IS IN FLIGHT: a queued call sent is work
         // in flight for this handler, as a call made now is. 46.1 — and the calls it holds for it.
         members.busy = (pattern?: unknown): boolean =>
-            (face.busy(pattern) as boolean) ||
+            (faceHere().busy(pattern) as boolean) ||
             sendingFor(rpc, pattern as Record<string, unknown> | undefined)
         members.outbox = (pattern?: unknown): QueuedCall[] =>
             outbox(rpc as never, pattern as Record<string, unknown> | undefined)