@abide/abide 0.116.2 → 0.116.4

package/CHANGELOG.md

@@ -1,5 +1,24 @@
 # @abide/abide
 
+## 0.116.4
+
+### Patch Changes
+
+- f4acbfd: a handler whose args schema is derived from its type annotation (no `args` gate) now refuses bad args in process as it does over the wire — a direct call, a call from another handler or `app.run`, and every call under `mount` answer 422 `ValidationError` with the same `Issues` before the body runs, where before the body ran with the bad value
+- be88738: a reader that probed a handler before its first call wakes when the call starts — on a server and under `mount`, `disabled={save.busy()}` read before any call stayed enabled for the whole write, because the unreached answer (0.116.3) subscribed the reader to nothing. It now subscribes the reader to the first call in its scope, and still builds nothing and runs no handler (RULEBOOK 3.3, 13.19)
+
+## 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,10 @@ 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, and reading `busy`, `ready` or
+`synced` there MUST subscribe the reader to the first call that reaches it in that scope.
+
 # 14. Tracking
 
 14.1 A `Reactive` MUST be tracked only where something downstream will be rebuilt from it.
@@ -885,8 +891,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 +1877,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 +2093,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 +2763,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.4",
     "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/compileApp.ts

@@ -11,6 +11,7 @@ import { COMPONENT_QUERY } from '#server/MODULE_QUERIES.ts'
 import { ROUTES_TABLE, SERVER_TABLE } from '#server/TABLES.ts'
 import { VIRTUAL_DIRECTORY } from '#server/VIRTUAL_DIRECTORY.ts'
 import { CLIENT_ADDRESS } from '#shared/ADDRESSES.ts'
+import type { JsonValue } from '#shared/JsonValue.ts'
 import { ROUTING_SPECIFIER, WIRE_SPECIFIER } from '#shared/SPECIFIERS.ts'
 import {
     type AppLayout,
@@ -317,6 +318,7 @@ async function emitApp(
     refuseSharedRoutes(routes, mounts, refusals)
     refuseAddressCollision(routes, mounts, layout.published, refusals)
     const standIns = standInsOf(mounts)
+    const derived = derivedOf(mounts)
     // 37.1 — every module a server block or a handler file runs in, for the boot to import before
     // `onStart`.
     const servers: string[] = []
@@ -329,6 +331,7 @@ async function emitApp(
                 entry,
                 standIns.get(entry.relative),
                 entry.text,
+                derived.get(entry.relative),
             )
         } catch (thrown) {
             refusals.at(entry.path, thrown)
@@ -368,6 +371,7 @@ async function emitApp(
             handlers[mount.source] = {
                 scope: mount.scope,
                 client: standIns.get(mount.source) ?? '',
+                args: mount.args,
             }
     if (routes.length > 0) {
         tables[ROUTES_TABLE] = clientTable(routes, transitions)
@@ -624,6 +628,21 @@ function standInsOf(mounts: Mount[]): Map<string, string> {
     return standIns
 }
 
+/**
+ * 19.9 — the schema each private handler's annotation derives, by its binding, by source: what its
+ * server module holds it to (15.8). A handler file's is its face's (`HandlerFace`).
+ */
+function derivedOf(mounts: Mount[]): Map<string, Record<string, JsonValue>> {
+    const derived = new Map<string, Record<string, JsonValue>>()
+    for (const mount of mounts) {
+        if (!mount.private || mount.args === undefined) continue
+        const held = derived.get(mount.source) ?? {}
+        held[mount.name] = mount.args
+        derived.set(mount.source, held)
+    }
+    return derived
+}
+
 /**
  * One handler's wrapper, bound as `binding` writes it.
  *

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/emitComponent.ts

@@ -1,3 +1,4 @@
+import type { JsonValue } from '#shared/JsonValue.ts'
 import { SERVER_SPECIFIER } from '#shared/SPECIFIERS.ts'
 import { type CheckerAnswer, UNCHECKED } from './CheckerAnswer.ts'
 import { Cursor, placeTemplate } from './Cursor.ts'
@@ -50,6 +51,8 @@ export function emitComponent(
     route = '/',
     /** 38.97 — where given, every chunk the module is written around (`sourceMapOf`). */
     chunks?: LoweredChunk[],
+    /** 19.9 — the schema each private handler's annotation derives, by its binding. */
+    derived: Readonly<Record<string, JsonValue>> = {},
 ): string {
     // Only what the page actually uses. An emitted module carrying an import nothing calls is a
     // name the app's own tooling reports as unused, in a file nobody wrote.
@@ -91,7 +94,7 @@ export function emitComponent(
             : `${lowering.use('fileRoute')}(${JSON.stringify(route)})
 ${serverSetup.body}
 ${lowering.use('fileRoute')}(undefined)
-${privateExports(file.servers.join('\n'))}`
+${heldToAnnotations(lowering, derived)}${privateExports(file.servers.join('\n'))}`
     const setup = splitImports(lowering.scripts())
     const componentBody = setup.body
 
@@ -159,6 +162,21 @@ ${level}${closed}
 `
 }
 
+/**
+ * 15.8, 19.9 — each private handler held to the schema its annotation derives, once its server block
+ * has built it: the module is what the server mounts and what a component under `mount` calls
+ * (38.121), so a call is held to it whoever makes it.
+ */
+function heldToAnnotations(
+    lowering: Lowering,
+    derived: Readonly<Record<string, JsonValue>>,
+): string {
+    let out = ''
+    for (const name in derived)
+        out += `${lowering.use('derivedArgs')}(${name}, ${JSON.stringify(derived[name])})\n`
+    return out
+}
+
 /**
  * An emitted module's imports: each framework name `lowering` used, from the specifier it ships
  * under, and the author's own from both script blocks, already pointed where they landed

package/src/compiler/emitSource.ts

@@ -1,4 +1,5 @@
 import { STYLE_QUERY } from '#server/MODULE_QUERIES.ts'
+import type { JsonValue } from '#shared/JsonValue.ts'
 import type { Placement } from '#server/placement.ts'
 import type { CheckerAnswer } from './CheckerAnswer.ts'
 import { emitClient } from './emitClient.ts'
@@ -35,6 +36,8 @@ export function emitSource(
     standIns = '',
     /** 38.97 — the `.abide`'s text, where the build wants each module's source map. */
     text?: string,
+    /** 19.9 — the schema each private handler it declares derives off its annotation, by name. */
+    derived?: Readonly<Record<string, JsonValue>>,
 ): {
     server: string
     client: string
@@ -109,6 +112,7 @@ export function emitSource(
         kind !== 'component',
         source.scope,
         serverChunks,
+        derived,
     )
     const name = relative.slice(relative.lastIndexOf('/') + 1)
     const browser = withStandIns(

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'
@@ -118,7 +120,8 @@ export function serveCompilation(root: string, compilation: Compilation): void {
     const real = realOrAsGiven(root)
     const handlerFiles = addCompilation(real, compilation, RUNTIME)
     installSourceMaps(serverMapsOf(compilation, real), real)
-    if (handlerFiles.length !== 0) Bun.plugin(handlerFilesPlugin(handlerFiles))
+    if (handlerFiles.length !== 0)
+        Bun.plugin(handlerFilesPlugin(handlerFiles, RUNTIME.handlers))
     if (registered) return
     registered = true
     Bun.plugin(modulesPlugin(RUNTIME))
@@ -130,7 +133,13 @@ export function serveCompilation(root: string, compilation: Compilation): void {
 // plugin per compilation because the filter is fixed at registration, and the runtime's `onLoad`
 // cannot fall through, so the filter names the handler files and nothing else. The face it names
 // is resolved by `modulesPlugin`, registered once.
-function handlerFilesPlugin(paths: string[]): Bun.BunPlugin {
+// 15.8, 19.9 — AND HOLDS ITS HANDLER TO THE SCHEMA ITS ANNOTATION DERIVES, once the face has built it:
+// this module is what every import of the file is answered with — the server's mount, a test's own
+// import, a component's under `mount` — so a call is held to it whoever makes it.
+function handlerFilesPlugin(
+    paths: string[],
+    faces: ReadonlyMap<string, HandlerFace>,
+): Bun.BunPlugin {
     return {
         name: 'abide-handler-files',
         setup(build) {
@@ -140,10 +149,18 @@ function handlerFilesPlugin(paths: string[]): Bun.BunPlugin {
                         `^(?:${paths.map(RegExp.escape).join('|')})$`,
                     ),
                 },
-                (args) => ({
-                    contents: `export { default } from ${JSON.stringify(`${args.path}${HANDLER_SUFFIX}`)}\n`,
-                    loader: 'js',
-                }),
+                (args) => {
+                    const face = JSON.stringify(`${args.path}${HANDLER_SUFFIX}`)
+                    const schema = faces.get(args.path)?.args
+                    return {
+                        contents:
+                            `export { default } from ${face}\n` +
+                            (schema === undefined
+                                ? ''
+                                : `import __handler from ${face}\nimport { derivedArgs as __derivedArgs } from '${SERVER_SPECIFIER}'\n__derivedArgs(__handler, ${JSON.stringify(schema)})\n`),
+                        loader: 'js',
+                    }
+                },
             )
         },
     }
@@ -280,6 +297,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 +347,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 +361,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 +398,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 +450,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/answerRpc.ts

@@ -16,7 +16,7 @@ import type { Gated } from '#shared/reactive/argsContract.ts'
 import { deadlineOf, heldGenerationOf } from '#shared/reactive/index.ts'
 import type { Defaults } from '#shared/reactive/parameterDefaults.ts'
 import { notFound, refuse } from '#shared/refuse.ts'
-import type { Method, Rpc } from '#shared/rpc.ts'
+import type { HeldToAnnotation, Method, Rpc } from '#shared/rpc.ts'
 import { argsInURL } from '#shared/rpcRequest.ts'
 import { VERSION_HEADER } from '#shared/VERSION_HEADER.ts'
 import { versionInEtag } from '#shared/versionInEtag.ts'
@@ -118,20 +118,13 @@ export type Mounted = Mount & {
      * subscription to it both pass through (37.2, 18.26).
      */
     rungs: AppRung[]
-    handler: Rpc<unknown, unknown> & Gated<unknown>
+    handler: Rpc<unknown, unknown> & Gated<unknown> & HeldToAnnotation
     /**
      * The args' JSON Schema, probed once at mount.
      *
      * 19.7, 20.11 — a third-party schema converts itself on every probe.
      */
     argsDocument: Document | undefined
-    /**
-     * What the wire holds args to where the handler declares no `args` gate of its own.
-     *
-     * 19.9 — the annotation's schema. An in-process call already holds the type, so the handler
-     * never runs it.
-     */
-    wireArgs: JsonValue | undefined
 }
 
 /**
@@ -172,7 +165,6 @@ export function mountedOwn(
             result: undefined,
             handler: handler as Mounted['handler'],
             argsDocument: undefined,
-            wireArgs: undefined,
         },
     ]
 }
@@ -198,7 +190,7 @@ export async function mountHandlers(
     for (let at = 0; at < table.length; at += 1) {
         const mount = table[at] as Mount
         const exported = (modules[at] as Record<string, unknown>)[mount.export]
-        const handler = exported as Rpc<unknown, unknown> & Gated<unknown>
+        const handler = exported as Mounted['handler']
         const declared = argsDocumentOf(handler)
         // 16.9, 16.10 — the address `rpc.url` and `rpc.raw` build on, under the mount — and what a
         // page's render turns a call it made into the browser's request by (41.20).
@@ -210,7 +202,6 @@ export async function mountHandlers(
             rungs: rungsOver(mount.scope),
             handler,
             argsDocument: declared ?? (mount.args as Document | undefined),
-            wireArgs: declared === undefined ? mount.args : undefined,
         })
     }
     return { handlers }

package/src/server/argsFor.ts

@@ -2,9 +2,9 @@
 // off the wire: over http (16.2) and a `GET` followed over the socket mux (18.3). Each lane reads the
 // args off its own transport and answers a refusal in its own form.
 
+import { DERIVED_ARGS } from '#shared/DERIVED_ARGS.ts'
 import { normalized } from '#shared/reactive/argsContract.ts'
 import { validationError } from '#shared/refuse.ts'
-import { validateJson } from '#shared/validateJson.ts'
 import type { Mounted } from './answerRpc.ts'
 import { coerceArgs } from './coerceArgs.ts'
 
@@ -16,11 +16,10 @@ import { coerceArgs } from './coerceArgs.ts'
  * 19.7 — the text as the types the handler's `args` declares. 11.27 — then the defaults, ahead of
  * every key taken after it: the seed a render filed and the `global` entry standing were both filed
  * under them (11.29). 19.9 — THE WIRE HELD TO THE ANNOTATION, where no `args` schema is declared to
- * hold it. Args that did not come are held as an empty record: a schema is only derived where the
- * handler's args are a required record, so a required member missing is refused, not read off nothing.
+ * hold it — the check the handler carries (`derivedArgs`), which its in-process call makes too (15.8).
  */
 export function argsFor(
-    found: Pick<Mounted, 'handler' | 'argsDocument' | 'wireArgs'>,
+    found: Pick<Mounted, 'handler' | 'argsDocument'>,
     sent: unknown,
     query: string | undefined,
 ): unknown {
@@ -33,9 +32,7 @@ export function argsFor(
                   query,
               )
     const args = normalized(found.handler, coerced)
-    if (found.wireArgs !== undefined) {
-        const issues = validateJson(found.wireArgs, args ?? {})
-        if (issues !== null) throw validationError(issues)
-    }
+    const issues = found.handler[DERIVED_ARGS]?.(args) ?? null
+    if (issues !== null) throw validationError(issues)
     return args
 }

package/src/server/derivedArgs.ts

@@ -0,0 +1,25 @@
+import { DERIVED_ARGS } from '#shared/DERIVED_ARGS.ts'
+import type { JsonValue } from '#shared/JsonValue.ts'
+import type { Gated } from '#shared/reactive/argsContract.ts'
+import type { HeldToAnnotation } from '#shared/rpc.ts'
+import { validateJson } from '#shared/validateJson.ts'
+import { argsDocumentOf } from './coerceArgs.ts'
+
+/**
+ * Holds `handler`'s args to `schema`, the one the build derived off its annotation, for every call
+ * of it from now on: in process and over the wire (15.8, 19.9).
+ *
+ * What the module a handler is loaded through calls once its handler is built — a handler file's
+ * face and a `<script server>`'s module — so the schema is there wherever the handler can be
+ * called, whether or not an app mounted it. Not where its `args` gate publishes a document of its
+ * own, which holds the args itself (19.7). Args that did not come are held as an empty record: a
+ * schema is only derived where the handler's args are a required record, so a required member
+ * missing is refused, not read off nothing.
+ */
+export function derivedArgs(
+    handler: HeldToAnnotation & Gated<unknown>,
+    schema: JsonValue,
+): void {
+    if (argsDocumentOf(handler) !== undefined) return
+    handler[DERIVED_ARGS] = (args) => validateJson(schema, args ?? {})
+}

package/src/server/faceOf.ts

@@ -3,7 +3,8 @@
 // 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 type { JsonValue } from '#shared/JsonValue.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,19 +34,27 @@ 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'
 
-/** One handler file, as `Compilation.handlers` holds it. */
-export type HandlerFace = { scope: string; client: string }
+/**
+ * One handler file, as `Compilation.handlers` holds it — and 19.9's schema its default's annotation
+ * derives, which the module at the file's path holds it to (`derivedArgs`).
+ */
+export type HandlerFace = {
+    scope: string
+    client: string
+    args: JsonValue | undefined
+}
 
 /**
  * The face an import of `file` is answered with, asked `asked` from `importer` in `lane` — or
@@ -60,6 +69,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 +100,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/server/index.ts

@@ -52,6 +52,9 @@ export { type App, createApp } from './createApp.ts'
 // 41.28's run-time half: an emitted component reads it on either side of its setup, and one whose
 // setup made a call answers as a page does. Not an app's name.
 export { callsInRender } from './deferredBuilds.ts'
+// 19.9's run-time half: what the module a handler is loaded through calls to hold it to the schema
+// its annotation derives (15.8). Not an app's name.
+export { derivedArgs } from './derivedArgs.ts'
 // 37.1's run-time half: what a compiled server module calls around its `<script server>`, so the
 // hooks it makes are filed at its route.
 export {

package/src/shared/DERIVED_ARGS.ts

@@ -0,0 +1,6 @@
+/**
+ * The member of an `Rpc` holding its args to the schema its annotation derives (19.9): stamped by the
+ * module its handler is loaded through, on the server alone, and read by every call of it — in
+ * process and over the wire alike (15.8).
+ */
+export const DERIVED_ARGS: unique symbol = Symbol.for('abide.derivedArgs')

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

@@ -15,9 +15,10 @@
 import { contractOf, type Gated } from './argsContract.ts'
 import { CELL } from './CELL.ts'
 import { KEYED_BRAND } from './KEYED_BRAND.ts'
-import { brandedPrototype, MEMBER_KEYS } from './Reactive.ts'
+import { brandedPrototype, MEMBER_KEYS, signalMoved } from './Reactive.ts'
 import { SELECTION_MEMBERS } from './SELECTION_MEMBERS.ts'
 import { currentScope, runInScope, SCOPING } from './scoping.ts'
+import { newTracked, TRACKING, type Tracked, trackProbe } from './tracking.ts'
 
 const UNBUILT: unique symbol = Symbol('abide.unbuilt')
 
@@ -36,11 +37,18 @@ class Filed {
     home: unknown
     make: () => unknown
     global: boolean
+    /**
+     * 3.3, 13.19 — what a probe asked before the value was built here subscribes to, moved by the
+     * build: the home's. A scope files its own in `instances` under this one as its key, and drops
+     * it with the scope.
+     */
+    unbuilt: Tracked
 
     constructor(make: () => unknown, lazy: boolean, global: boolean) {
         this.make = make
         this.home = lazy ? UNBUILT : make()
         this.global = global
+        this.unbuilt = newTracked()
     }
 }
 
@@ -56,14 +64,21 @@ type Forwarder = { [FILED]: Filed }
 function instanceOf(filed: Filed): Record<PropertyKey, unknown> {
     const scope = filed.global ? undefined : currentScope()
     if (scope === undefined) {
-        if (filed.home === UNBUILT)
+        if (filed.home === UNBUILT) {
             filed.home = runInScope(undefined, () => filed.make(), undefined)
+            signalMoved(filed.unbuilt)
+        }
         return filed.home as Record<PropertyKey, unknown>
     }
     let instance = scope.instances.get(filed)
     if (instance === undefined) {
         instance = filed.make()
         scope.instances.set(filed, instance)
+        const asked = scope.instances.get(filed.unbuilt) as Tracked | undefined
+        if (asked !== undefined) {
+            scope.instances.delete(filed.unbuilt)
+            signalMoved(asked)
+        }
     }
     return instance as Record<PropertyKey, unknown>
 }
@@ -149,6 +164,38 @@ 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.
+ *
+ * 3.3 — AND WHERE IT IS NOT, ASKING SUBSCRIBES THE READER TO ITS BUILD: a guard that probed before
+ * the first call has no cell to hear the call start from, so `disabled={save.busy()}` stayed
+ * enabled through the whole write. One signal per value per scope, never one per entry (13.3).
+ */
+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()
+    if (
+        scope === undefined
+            ? filed.home !== UNBUILT
+            : scope.instances.has(filed)
+    )
+        return true
+    const reader = TRACKING.reader
+    if (reader === null) return false
+    let asked = filed.unbuilt
+    if (scope !== undefined) {
+        asked = scope.instances.get(filed.unbuilt) as Tracked
+        if (asked === undefined) {
+            asked = newTracked()
+            scope.instances.set(filed.unbuilt, asked)
+        }
+    }
+    trackProbe(asked, reader)
+    return false
+}
+
 /**
  * Whether `value` is request-local on this server — built without `global`, outside every request.
  */

package/src/shared/rpc.ts

@@ -13,9 +13,11 @@
 // the call hands back a value whose body runs the onion once per args, per request, over the
 // handler's own.
 
+import { DERIVED_ARGS } from './DERIVED_ARGS.ts'
 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,8 +52,8 @@ 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 { checkArgs } from './refuse.ts'
+import { builtHere, isForwarder } from './reactive/scoped.ts'
+import { checkArgs, validationError } from './refuse.ts'
 import { rpcRequest } from './rpcRequest.ts'
 import type { Schema } from './Schema.ts'
 
@@ -74,7 +76,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 +87,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 +108,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 +134,45 @@ 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
+
+/**
+ * 19.9 — the issues an `Rpc`'s args leave against the schema its annotation derives, `null` where
+ * they hold: `undefined` until the module its handler is loaded through stamps it (`derivedArgs`),
+ * and so in a browser always. A function rather than the schema, so this seam never carries the
+ * validator (19.13).
+ */
+export type HeldToAnnotation = {
+    [DERIVED_ARGS]: ((args: unknown) => Issues<unknown> | null) | undefined
+}
+
 /** Which generated surfaces carry a handler (20.1). */
 export type Clients = {
     ui?: boolean
@@ -307,6 +350,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 => {
@@ -396,6 +451,11 @@ export function declare(method: Method): Declare {
         }
         const call = (given?: unknown, options?: CallOptions): unknown => {
             const args = normalized(contract, given)
+            // 15.8, 19.9 — AND HELD TO ITS ANNOTATION, where the build derived a schema off it: a
+            // type an in-process caller wrote holds nothing at run time (`as never`, a value off
+            // JSON), so the call is refused as the wire refuses it rather than handed to the body.
+            const issues = rpc[DERIVED_ARGS]?.(args) ?? null
+            if (issues !== null) return reactive(() => validationError(issues))
             const route =
                 rpc.address === undefined ? undefined : routeAt(rpc.address)
             if (route?.segments !== undefined) {
@@ -421,10 +481,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 — the asking reader subscribed to the call that builds it (`builtHere`).
+        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,
@@ -436,6 +503,7 @@ export function declare(method: Method): Declare {
             maxBodySize: options?.maxBodySize,
             clients: options?.clients ?? {},
             guarded: rungs.length > 0,
+            [DERIVED_ARGS]: undefined as HeldToAnnotation[typeof DERIVED_ARGS],
             isError: isFailedNamed,
             url(args?: Record<string, unknown>): string {
                 return rpcRequest(method, routeAt(addressOf(rpc)), args).url
@@ -473,16 +541,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)