@abide/abide 0.104.0 → 0.105.0

package/CHANGELOG.md

@@ -1,5 +1,21 @@
 # @abide/abide
 
+## 0.105.0
+
+### Minor Changes
+
+- 98e55a3: the app is laid out once per compile, hooks are read by what a module imports, and abide lsp reports the tree's refusals (37.1, 38.34) ([`3b3c6c2`](https://github.com/briancray/abide/commit/3b3c6c277f9cc65a9b08a0d3b4115e7ff8e7c3c5))
+- 98e55a3: a child whose setup made a call is built after the turn, as a page is (41.28) ([`6ae9acd`](https://github.com/briancray/abide/commit/6ae9acd75855b446de1680e4413deb47e0a223d9))
+- 98e55a3: a component's <head> follows the component, and an unkeyed contribution replaces in place and leaves with it (39.13-39.16) ([`8dc5e9e`](https://github.com/briancray/abide/commit/8dc5e9e22054a13bb7fa648ef7df11a243f19639))
+
+### Patch Changes
+
+- 98e55a3: streamed answers end with their run, carry X-Accel-Buffering, and sse is read by its fields (16.75, 16.76, 16.77, 18.27) ([`696c5cb`](https://github.com/briancray/abide/commit/696c5cb61cbeb0d83382d742924ff8a35cd14339))
+- 98e55a3: a command means one app, reports its first build on stderr, and abide openapi prints to stdout (38.25, 38.110, 38.111) ([`7ca9f4b`](https://github.com/briancray/abide/commit/7ca9f4b90294ca34f55c0ce3a725a336f8c1f11b))
+- 98e55a3: an unkeyed reactive with a store built outside a request reads it lazily (11.71) ([`acf9440`](https://github.com/briancray/abide/commit/acf94407f779617d63cdc7ed5f371870d58e151e))
+- 98e55a3: a query record and an rpc's URL args share one spelling (30.28) ([`b8c3c48`](https://github.com/briancray/abide/commit/b8c3c48b1c3b056d7172f7aad4b2f1a184b39689))
+- 98e55a3: a keyed list's row record lives with its nodes in rows.ts ([`e37bbb1`](https://github.com/briancray/abide/commit/e37bbb170685cb2714584287d22946c229050781))
+
 ## 0.104.0
 
 ### Minor Changes

package/bin/abide.ts

@@ -6,13 +6,13 @@ import { existsSync, realpathSync } from 'node:fs' // bun exposes no sync existe
 import { mkdir, rename, rm } from 'node:fs/promises' // bun exposes no directory creation, rename or recursive directory removal of its own
 import { dirname, resolve } from 'node:path' // bun exposes no path helpers of its own
 import { brotliCompress, constants } from 'node:zlib' // bun's brotli is `CompressionStream`, which compresses on the main thread — 1390 ms against this pool's 300 ms over the docs bundle
+import { paints } from '#compiler/appLayout.ts'
 import { appMap, mapText } from '#compiler/appMap.ts'
 import { checkApp } from '#compiler/checkApp.ts'
 import {
     type CompiledApp,
     compilationOf,
     compileApp,
-    paints,
 } from '#compiler/compileApp.ts'
 import { compiledEntry } from '#compiler/compiledEntry.ts'
 import { formatDiagnosis } from '#compiler/formatDiagnosis.ts'
@@ -22,10 +22,8 @@ import { serveLanguage } from '#compiler/serveLanguage.ts'
 import {
     abideModules,
     type Compilation,
-    servedTable,
     serverMapsOf,
 } from '#server/abideModules.ts'
-import { appPlugins } from '#server/appPlugins.ts'
 import { banner } from '#server/banner.ts'
 import { buildDirectory } from '#server/buildDirectory.ts'
 import {
@@ -35,26 +33,15 @@ import {
     MANIFEST,
     PUBLIC_DIRECTORY,
 } from '#server/CLIENT_BUILD.ts'
-import {
-    clientBuildOptions,
-    stylesheetUnderMount,
-} from '#server/clientBuildOptions.ts'
+import { type ClientBundle, clientBundle } from '#server/clientBundle.ts'
 import { type Given, type Host, runCommands } from '#server/commands.ts'
 import { type AppPackage, packageUnder } from '#server/config.ts'
-import { appRoot, createApp, originUnder } from '#server/createApp.ts'
+import { appOnDisk, appRoot, noAppHere } from '#server/createApp.ts'
 import { executableName } from '#server/executableName.ts'
-import { fenceServer } from '#server/fenceServer.ts'
 import { iconAccent } from '#server/iconAccent.ts'
-import { manifestOf, NO_MANIFEST } from '#server/manifestOf.ts'
 import { namesUnder } from '#server/namesUnder.ts'
-import { refuseAddressCollision } from '#server/refuseAddressCollision.ts'
 import { DEFAULT_DOCUMENT, intoHead } from '#server/render.ts'
-import {
-    loadBuild,
-    pathsUnder,
-    serveApp,
-    serveBuild,
-} from '#server/serveBuild.ts'
+import { pathsUnder, serveBuild } from '#server/serveBuild.ts'
 import { serveDev } from '#server/serveDev.ts'
 import { escapeText } from '#shared/escapeText.ts'
 import { ICON_ADDRESSES, LAUNCHER_PAGE } from '#shared/LAUNCHER_FILES.ts'
@@ -68,30 +55,16 @@ type AppDirectories = { root: string; out: string }
  */
 const DISK: Host = {
     name: 'abide',
-    // A BUILD ALREADY THERE, NEVER ONE MADE FOR THE ASKING: `call` and the shell are aimed at a
-    // running app (38.7), which this tree may not even be.
-    handlers: async ({ values }) => {
-        const app = directoriesOf(values)
-        if (
-            app === undefined ||
-            !(await serveBuild(app.root, app.out, async () => undefined))
-        )
-            return []
-        return (await servedTable(app.root)).handlers
-    },
-    appPackage: () => packageUnder(appRoot(undefined) ?? process.cwd()),
-    boot: createApp,
-    serve: inApp(async ({ root, out }, { values: { port } }) => {
-        if (!(await serveBuild(root, out, buildInProcess))) {
-            console.error(`abide start: nothing under ${root} to serve.`)
-            return 1
-        }
-        return serveApp(
-            originUnder(root),
-            () => loadBuild({ root, out }),
-            port === undefined ? undefined : Number(port),
-        )
-    }),
+    // 38.100 — built in this process rather than a child, where nobody built it, and said on
+    // stderr: the command's stdout is its own — `openapi`'s document, `mcp`'s messages.
+    app: ({ values }) =>
+        appOnDisk(directoriesOf(values), async (root, out) =>
+            (await serveBuild(root, out, (root, out) =>
+                writeBuild({ root, out }, console.error),
+            ))
+                ? out
+                : undefined,
+        ),
     source: {
         scaffold: scaffoldCommand,
         dev: inApp(dev),
@@ -104,22 +77,20 @@ const DISK: Host = {
     },
 }
 
-// 38.100 — what `serveBuild` builds an app nobody built with, in this process rather than a child.
-function buildInProcess(root: string, out: string): Promise<unknown> {
-    return writeBuild({ root, out })
-}
-
 /** `abide build`: compiles the app, bundles its client and copies its public files into `out`. */
 async function build(directories: AppDirectories): Promise<number> {
     await writeBuild(directories)
     return 0
 }
 
-/** `build`'s work; answers the app it built, or `undefined` where there was nothing under `root`. */
-async function writeBuild({
-    root,
-    out,
-}: AppDirectories): Promise<CompiledApp | undefined> {
+/**
+ * `build`'s work; answers the app it built, or `undefined` where there was nothing under `root`.
+ * `say` is where its summary goes.
+ */
+async function writeBuild(
+    { root, out }: AppDirectories,
+    say: (line: string) => void = console.log,
+): Promise<CompiledApp | undefined> {
     process.env.NODE_ENV ??= 'production'
     // 38.66 — what this build may remove is only what was written before it began.
     const began = Date.now()
@@ -136,7 +107,7 @@ async function writeBuild({
         Object.keys(app.files).length === 0 &&
         Object.keys(app.handlers).length === 0
     ) {
-        console.log(`abide build: no .abide sources or handlers under ${root}`)
+        say(`abide build: no .abide sources or handlers under ${root}`)
         return undefined
     }
     // 38.6 — THE COMPILATION, KEPT WHOLE: `abide start` serves every `.abide` out of it at the
@@ -144,28 +115,16 @@ async function writeBuild({
     const compilation = compilationOf(app)
     // 36.11 — the directories above `public` and the path below it ARE the address.
     // `src/public/favicon.ico` answers at `/favicon.ico`, and nothing declares that anywhere.
-    const publicAddresses = [...app.published.values()]
-    // 36.13 IS CHECKED BEFORE A BYTE IS BUNDLED OR COPIED, through `refuseAddressCollision` — which
-    // `abide dev` runs too. Checking it mid-copy left a partial output behind on the throw, and it
-    // left the dev lane unchecked entirely.
-    refuseAddressCollision(app.routes, app.mounts, app.published, 'abide build')
-    await bundleClient(
-        root,
+    await writeClient(
         out,
-        [
-            fenceServer(root, compilation.mounted),
-            abideModules(root, compilation),
-            ...(await appPlugins(root)),
-        ],
-        publicAddresses,
-        app.routes.length > 0,
+        await clientBundle(root, compilation, app.published, 'build'),
         began,
     )
     // An app's static files are its own whether or not it has a page yet.
     const copied = await copyPublic(root, out, app.published, began)
     // LAST, because its presence is what `serveBuild` reads as a finished build (38.100).
     await writeWhole(marker, JSON.stringify(compilation))
-    console.log(
+    say(
         `abide build: ${app.sources} source(s), ${copied} public file(s) -> ${out}`,
     )
     return app
@@ -559,69 +518,28 @@ async function copyPublic(
 }
 
 /**
- * Bundles the client into `out`, with its manifest and precompressed copies.
+ * Writes the client bundle (`clientBundle`) into `out`, with its manifest and precompressed copies.
  *
- * THE BUNDLE. Which module boots the client is the compiler's knowledge — it writes the entry
- * into the output tree beside the route table — and this is where that entry becomes a browser
- * bundle.
- *
- * `--splitting`, so a destination's markup and bindings stay in the chunk its own route loads
- * (30.11) rather than landing in the entry every page pays for. 38.5 IS THIS FUNCTION: hashed and
- * minified by the bundler, the manifest off its metafile (the entry's name, and the chunks each
- * route module needs for 38.28), and the precompressed copies (`precompressOne`). What the manifest
- * does NOT carry yet is 38.18's list of public files.
+ * 38.5 — the manifest beside the bundle, and every file in each encoding (`precompressed`). AN APP
+ * OF HANDLERS ALONE is written no client, and its manifest anyway, so `abide start` reads one shape
+ * whatever the app holds.
  */
-async function bundleClient(
-    root: string,
+async function writeClient(
     out: string,
-    plugins: Bun.BunPlugin[],
-    publicAddresses: string[],
-    paged: boolean,
+    bundle: ClientBundle,
     began: number,
 ): Promise<void> {
     const client = `${out}/${CLIENT_DIRECTORY}`
-    // AN APP OF HANDLERS ALONE has no page to boot, and is served with no client — the manifest
-    // written anyway, so `abide start` reads one shape whatever the app holds.
-    if (!paged) {
-        await pruneStale(client, new Set(), began)
-        await writeWhole(`${out}/${MANIFEST}`, JSON.stringify(NO_MANIFEST))
-        return
-    }
-    // 38.66 — STAGED, THEN MOVED IN FILE BY FILE. `Bun.build` writes in place, so a second build
-    // into the same `out` — or `abide start` serving it — read a chunk half written, and emptying
-    // `client/` first took the one it was serving away. Every name but the manifest's is a hash of
-    // what it holds, so two builds of one tree move in the same bytes under the same names.
+    // 38.66 — STAGED, THEN MOVED IN FILE BY FILE. A second build into the same `out` — or `abide
+    // start` serving it — read a chunk half written, and emptying `client/` first took the one it
+    // was serving away. Every name but the manifest's is a hash of what it holds, so two builds of
+    // one tree move in the same bytes under the same names.
     const staging = `${out}/.staging-${crypto.randomUUID()}`
     try {
-        const built = await Bun.build({
-            ...clientBuildOptions(root, plugins, publicAddresses),
-            outdir: staging,
-            // 38.5 — MINIFIED, and EVERY NAME HASHED, the entry's included: chunks and assets are
-            // already `[name]-[hash]` by default and the entry is not, which left the one file every
-            // page loads served for a year under a name the next deploy writes different bytes to.
-            // The manifest is how the document learns what the entry was called this time.
-            //
-            // NAMES KEPT, because a class's name is what an error reads to say what it was handed
-            // (`canonicalKey`), and a production error naming `a e` is one nobody can act on. It is
-            // free where it is paid: the JS the docs app's `/values` sends is 25.6 KB brotli with
-            // the names and without, against 31.9 unminified.
-            minify: {
-                whitespace: true,
-                syntax: true,
-                identifiers: true,
-                keepNames: true,
-            },
-            naming: { entry: '[name]-[hash].[ext]' },
-        })
-        // THROWN RATHER THAN LOGGED. A build that emitted server modules and no bundle is an app that
-        // serves every page dead — the markup is right and nothing is wired — which is the one failure
-        // a reader cannot see, so it stops the command instead.
-        if (!built.success)
-            throw new AggregateError(
-                built.logs,
-                'abide build: the client bundle failed',
-            )
-        await Promise.all(built.outputs.map(precompressOne))
+        const written: Promise<void>[] = []
+        for (const [name, { bytes }] of bundle.files)
+            written.push(precompressed(`${staging}/${name}`, bytes))
+        await Promise.all(written)
         const produced = new Set<string>()
         const moves: Promise<void>[] = []
         for (const name of namesUnder(staging)) {
@@ -634,17 +552,50 @@ async function bundleClient(
         }
         await Promise.all(moves)
         await pruneStale(client, produced, began)
-        await writeWhole(
-            `${out}/${MANIFEST}`,
-            JSON.stringify(
-                manifestOf(built.metafile as Bun.BuildMetafile, root),
-            ),
-        )
+        await writeWhole(`${out}/${MANIFEST}`, JSON.stringify(bundle.manifest))
     } finally {
         await rm(staging, { recursive: true, force: true })
     }
 }
 
+/**
+ * Writes `bytes` to `path`, and brotli and gzip copies of them beside it.
+ *
+ * 38.5 — EVERY FILE THE BUNDLE WROTE, BESIDE ITSELF IN EACH OF `ENCODING_SUFFIX`'s ENCODINGS, at
+ * the highest level each has. The price is paid here once, where a server compressing per request
+ * would pay it on every response or settle for a worse level to keep the response fast.
+ *
+ * ALL AT ONCE. The async brotli runs off the main thread, so the files compress side by side
+ * rather than one after another — brotli at 11 is most of what this step costs.
+ */
+async function precompressed(
+    path: string,
+    bytes: Uint8Array<ArrayBuffer>,
+): Promise<void> {
+    const brotli = await new Promise<Uint8Array>((compressed, failed) =>
+        brotliCompress(
+            bytes,
+            {
+                params: {
+                    [constants.BROTLI_PARAM_QUALITY]:
+                        constants.BROTLI_MAX_QUALITY,
+                    [constants.BROTLI_PARAM_SIZE_HINT]: bytes.length,
+                },
+            },
+            (thrown, result) =>
+                thrown === null ? compressed(result) : failed(thrown),
+        ),
+    )
+    await Promise.all([
+        Bun.write(path, bytes),
+        Bun.write(path + ENCODING_SUFFIX.br, brotli),
+        Bun.write(
+            path + ENCODING_SUFFIX.gzip,
+            Bun.gzipSync(bytes, { level: 9 }),
+        ),
+    ])
+}
+
 /**
  * Removes from `directory` what this build did not produce.
  *
@@ -680,50 +631,6 @@ async function writeWhole(path: string, content: string | Blob): Promise<void> {
     await rename(partial, path)
 }
 
-/**
- * Writes brotli and gzip copies of one bundle output beside it — a stylesheet's addresses written
- * relative to the bundle first (`stylesheetUnderMount`).
- *
- * 38.5 — EVERY FILE THE BUNDLE WROTE, BESIDE ITSELF IN EACH OF `ENCODING_SUFFIX`'s ENCODINGS, at
- * the highest level each has. The price is paid here once, where a server compressing per request
- * would pay it on every response or settle for a worse level to keep the response fast.
- *
- * ALL AT ONCE. The async brotli runs off the main thread, so the files compress side by side
- * rather than one after another — brotli at 11 is most of what this step costs.
- */
-async function precompressOne(output: Bun.BuildArtifact): Promise<void> {
-    // `arrayBuffer` AND NOT `bytes`: the artifact's type declares both and it answers only the one.
-    let bytes = new Uint8Array(await output.arrayBuffer())
-    // A stylesheet is rewritten on disk before it is compressed, so all three copies carry it.
-    if (output.path.endsWith('.css')) {
-        bytes = new TextEncoder().encode(
-            stylesheetUnderMount(new TextDecoder().decode(bytes)),
-        )
-        await Bun.write(output.path, bytes)
-    }
-    const brotli = await new Promise<Uint8Array>((compressed, failed) =>
-        brotliCompress(
-            bytes,
-            {
-                params: {
-                    [constants.BROTLI_PARAM_QUALITY]:
-                        constants.BROTLI_MAX_QUALITY,
-                    [constants.BROTLI_PARAM_SIZE_HINT]: bytes.length,
-                },
-            },
-            (thrown, result) =>
-                thrown === null ? compressed(result) : failed(thrown),
-        ),
-    )
-    await Promise.all([
-        Bun.write(output.path + ENCODING_SUFFIX.br, brotli),
-        Bun.write(
-            output.path + ENCODING_SUFFIX.gzip,
-            Bun.gzipSync(bytes, { level: 9 }),
-        ),
-    ])
-}
-
 /**
  * Wraps a command body with the app's absolute root and build directory, or fails with no app.
  *
@@ -739,7 +646,7 @@ function inApp<Answer>(
         const app = directoriesOf(given.values)
         if (app === undefined) {
             console.error(
-                `abide ${given.positionals[0]}: no app here. Looked for a .abide under ${resolve('src')}, or under ${process.cwd()} where it has no src. Point --root at the directory your pages sit under.`,
+                `abide ${given.positionals[0]}: ${noAppHere()} Point --root at the directory your pages sit under.`,
             )
             return 1
         }

package/docs/REGISTRY.md

@@ -89,7 +89,7 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 | --- | --- | --- | --- |
 | `schema` | `Schema<Accepted>` | The gate on the way in. | 1.3, 4.3, 4.4, 4.5, 11.46, 11.47 |
 | `transform` | `(value: Accepted) => Shaped` | The shaping on the way to storage. | 4.6, 4.7, 4.8, 4.9, 11.14 |
-| `store` | `Store<Stored> \| ((args: Args) => Store<Stored>)` | Where the value lives when the process does not. | 8.1, 8.2, 8.3, 8.14, 9.5, 11.42 |
+| `store` | `Store<Stored> \| ((args: Args) => Store<Stored>)` | Where the value lives when the process does not. | 8.1, 8.2, 8.3, 8.14, 9.5, 11.42, 11.71 |
 | `identity` | `(next: Stored, previous: Stored) => unknown` | What makes it the same value. | 5.1, 5.2, 5.3, 5.4, 5.5, 9.3, 11.17, 18.4 |
 | `structural` | `(next: unknown, previous: unknown) => boolean` | The by-value comparator an app declares on `identity`. | 5.4, 5.5, 18.4 |
 | `by` | `(keyof Element & string) \| ((element: Element) => unknown)`, over the `Element` a `Stored` array holds | What tells one element of the value from another. | 5.22, 18.4, 18.15, 32.32 |
@@ -214,10 +214,10 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 | `Produced` | `unknown` | What it yields, per the unit rule. | 1.2, 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, 16.18, 19.15 |
 | `Middleware` | `<Ctx, Result>(next: (ctx?: Ctx) => Promise<Result>, ctx: Ctx) => Result \| Promise<Result>` | One rung of `middleware`. | 16.14, 16.15, 16.16, 16.21 |
-| `GET` | `<Value, Args, Failures, RungFailures, Produced = Value>(handler: Reactive<Value, Value, Failures, Produced> \| Keyed<Value, Args, Value, Failures, Produced>, options?: RpcOptions<Args, RungFailures>) => Rpc<Value, Args, Failures \| RungFailures, Produced>` | Declares a read any surface may call. | 16.1, 16.2, 16.5, 16.6, 16.30, 16.31, 16.32, 16.68, 16.34, 16.35, 16.36, 16.37, 16.39, 16.44, 16.45, 16.46, 16.47, 16.50, 16.51, 16.52, 16.64, 18.1, 18.3, 18.6, 18.8, 18.10, 18.12, 18.21, 18.24 |
+| `GET` | `<Value, Args, Failures, RungFailures, Produced = Value>(handler: Reactive<Value, Value, Failures, Produced> \| Keyed<Value, Args, Value, Failures, Produced>, options?: RpcOptions<Args, RungFailures>) => Rpc<Value, Args, Failures \| RungFailures, Produced>` | Declares a read any surface may call. | 16.1, 16.2, 16.5, 16.6, 16.30, 16.31, 16.32, 16.68, 16.76, 16.34, 16.35, 16.36, 16.37, 16.39, 16.44, 16.45, 16.46, 16.47, 16.75, 16.50, 16.51, 16.52, 16.64, 18.1, 18.3, 18.6, 18.8, 18.10, 18.12, 18.21, 18.24, 18.27 |
 | `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 options 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. | 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.38, 16.53 |
+| `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 |
 | `rpc.ready` | `(pattern?: Partial<Args>) => boolean` | `ready` narrowed to the handler's matching entries. | 13.11, 13.12 |
 | `rpc.invalidate` | `(pattern?: Partial<Args>) => void` | `invalidate` narrowed to the handler's matching entries. | 7.2, 7.3, 13.4, 13.12 |
@@ -225,7 +225,7 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 | `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 |
-| `rpc.url` | `(args?: Args) => string` | The address, resolved against the mount. | 16.9, 16.10 |
+| `rpc.url` | `(args?: Args) => string` | The address, resolved against the mount. | 16.9, 16.10, 30.28 |
 | `rpc.description` | `string \| undefined` | The human description. | 16.28 |
 | `PatchOp` | `{ op: 'add' \| 'replace' \| 'test'; path: string; value: unknown } \| { op: 'remove'; path: string } \| { op: 'move' \| 'copy'; from: string; path: string }` | One JSON Patch operation (RFC 6902), its paths JSON Pointers, as a followed `GET` is sent what an `s.patch` wrote. | 18.11, 18.13 |
 
@@ -235,7 +235,7 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 | --- | --- | --- | --- |
 | `description` | `string` | The human description carried onto every generated surface. | 16.28 |
 | `middleware` | `Middleware<{ request: Request; args: () => Args }, Value \| Failures>[]` | The rungs run per call. | 16.11, 16.12, 16.16, 16.17, 16.18, 16.19, 16.20 |
-| `timeout` | `number` | How long the call may stay open, and the floor under the request's idle timeout. | 16.22, 16.23, 16.56, 16.57, 16.58, 16.59, 16.60, 16.61 |
+| `timeout` | `number` | How long the call may stay open, and the floor under the request's idle timeout. | 16.22, 16.23, 16.56, 16.57, 16.58, 16.59, 16.60, 16.61, 16.77 |
 | `clients` | `Clients` | Which surfaces carry this handler. | 16.37, 20.3 |
 | `crossOrigin` | `boolean \| string[]` | Whether other origins may call it, or follow it over the mux. | 16.24, 18.2, 21.19 |
 | `maxBodySize` | `number` | The largest request body a mutation will accept, in bytes. | 16.13, 16.54, 16.55 |
@@ -245,12 +245,12 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
 | `Values<T>` | `Iterable<T> \| AsyncIterable<T> \| ReadableStream<T>` | What every body helper takes. | 17.1 |
-| `page` | `<Body extends string \| Uint8Array \| Values<Uint8Array \| string>>(body: Body) => Body` | A rendered document as `text/html`. | 17.2 |
+| `page` | `<Body extends string \| Uint8Array \| Values<Uint8Array \| string>>(body: Body) => Body` | A rendered document as `text/html`. | 16.75, 17.2 |
 | `json` | `<T>(value: T) => T` | A value as JSON, fixed, with `undefined` sent as `null`. | 17.7, 17.9, 17.10 |
 | `redirect` | `(to: string, status?: RedirectStatus) => undefined` | A navigation. | 16.52, 17.3 |
-| `jsonl` | `<T>(values: Values<T>) => Values<T>` | One JSON value per line, fixed. | 16.44, 17.6, 17.7 |
-| `sse` | `<T>(values: Values<T>) => Values<T>` | The same machine framed as server-sent events, fixed. | 16.45, 17.6, 17.7 |
-| `bytes` | `(values: Values<Uint8Array>) => Values<Uint8Array>` | A stream of binary chunks, fixed. | 16.34, 17.6, 17.7 |
+| `jsonl` | `<T>(values: Values<T>) => Values<T>` | One JSON value per line, fixed. | 16.44, 16.75, 17.6, 17.7 |
+| `sse` | `<T>(values: Values<T>) => Values<T>` | The same machine framed as server-sent events, fixed. | 16.45, 16.75, 17.6, 17.7 |
+| `bytes` | `(values: Values<Uint8Array>) => Values<Uint8Array>` | A stream of binary chunks, fixed. | 16.34, 16.75, 17.6, 17.7 |
 | `RedirectStatus` | `301 \| 302 \| 303 \| 307 \| 308` | The statuses a `redirect` may carry. | 17.3 |
 | `refuse` | `(status: number, message?: string) => Failed<'HttpError', undefined>` | An undeclared refusal at a status. | 15.5, 15.9, 15.10, 15.16, 15.19, 15.20, 16.40, 17.4, 17.5, 17.8 |
 
@@ -490,7 +490,7 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 | `RequiredNames<P>` | `string` | The required segment names. | 30.3 |
 | `OptionalNames<P>` | `string` | The optional segment names. | 30.4 |
 | `RestNames<P>` | `string` | The rest segment names. | 30.5 |
-| `Query` | `Record<string, unknown> \| URLSearchParams` | The query half. | 30.6 |
+| `Query` | `Record<string, unknown> \| URLSearchParams` | The query half. | 30.6, 30.28 |
 | `ParamsOf<P>` | `& { [K in RequiredNames<P>]: string \| number } & { [K in OptionalNames<P>]?: string \| number } & { [K in RestNames<P>]?: string \| number \| (string \| number)[] }` | What a route literal's segments accept. | 30.3, 30.4, 30.5 |
 | `RouteParams<P>` | `{ [K in RequiredNames<P>]: string } & { [K in OptionalNames<P>]?: string } & { [K in RestNames<P>]: string[] }` | What a page filed under `P` reads its params as. | 23.9 |
 | `Routes` | `interface Routes {}` | The app's route literals and public file addresses, which `abide check` declares. | 30.26 |
@@ -564,7 +564,7 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 | Spelling | Meaning | Rules |
 | --- | --- | --- |
 | `{#component Name(pattern)}` | An inline component. | 32.39, 32.40, 32.41, 32.42, 32.43, 32.44, 32.45, 32.46, 32.47, 32.48, 32.49, 32.50, 32.51, 32.52, 32.53, 32.54, 32.55 |
-| `<Name/>` | A component invocation. | 32.17, 32.34, 32.35, 32.36, 33.19, 33.21, 41.24 |
+| `<Name/>` | A component invocation. | 32.17, 32.34, 32.35, 32.36, 33.19, 33.21, 41.24, 41.28 |
 | `<slot/>` | The position children render into. | 32.18 |
 | `<slot>fallback</slot>` | Renders children, or a fallback. | 32.18 |
 | `<Tag>…</Tag>` | Children passed to a component's slot. | 32.18 |
@@ -594,7 +594,7 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 
 | Path | Meaning | Rules |
 | --- | --- | --- |
-| `<head>` | A page's contribution to the document head. | 39.1, 39.2, 39.3, 39.4, 39.5, 39.6, 39.11, 39.12, 39.13, 39.14 |
+| `<head>` | A page's, layout's or component's contribution to the document head. | 39.1, 39.2, 39.3, 39.4, 39.5, 39.6, 39.11, 39.12, 39.13, 39.14, 39.15, 39.16 |
 | `view-transition-name` | What turns view transitions on, in the app's own stylesheet. | 39.7, 39.8, 39.9, 39.10 |
 | `[name]` | A required dynamic segment. | 16.65, 23.5, 30.3 |
 | `[[name]]` | An optional segment. | 23.5, 30.4 |
@@ -606,7 +606,7 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
 | `Component` | `interface Component {}` | A component bound to its props. | 32.17, 34.16, 35.4 |
-| `render` | `(component: Component) => Promise<Uint8Array>` | What produces a document. | 29.10, 35.4, 35.5, 35.6, 35.15, 35.16, 41.1, 41.2, 41.3, 41.4, 41.9, 41.13, 41.16, 41.17, 41.18, 41.19, 41.20, 35.11 |
+| `render` | `(component: Component) => Promise<Uint8Array>` | What produces a document. | 29.10, 35.4, 35.5, 35.6, 35.15, 35.16, 41.1, 41.2, 41.3, 41.4, 41.9, 41.13, 41.16, 41.17, 41.18, 41.19, 41.20, 41.28, 35.11 |
 
 ## Sinks
 
@@ -718,11 +718,11 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 | `abide routes [--json]` | Every address the app answers, the file answering it, and where each hook is filed. | 38.108 |
 | `abide dev [--port <n>]` | Watches the project and keeps the app up. | 37.8, 37.9, 38.4, 38.14, 38.15, 38.16, 38.17, 38.19, 38.24, 38.25, 38.26, 38.28, 38.30, 38.35, 38.36, 38.37, 38.38, 38.41, 38.43, 38.58, 38.63, 38.64, 38.65, 38.94, 38.96, 38.97 |
 | `abide build` | Builds the client into content-hashed chunks and a manifest. | 38.43, 38.5, 38.18, 38.25, 38.26, 38.27, 38.30, 38.66, 38.94 |
-| `abide start [--port <n>]` | Boots the built app. | 37.8, 37.10, 37.11, 37.12, 38.6, 38.100, 38.20, 38.21, 38.22, 38.23, 38.25, 38.26, 38.27, 38.28, 38.29, 38.58, 38.67, 38.68, 38.95, 38.97 |
+| `abide start [--port <n>]` | Boots the built app. | 37.8, 37.10, 37.11, 37.12, 38.6, 38.100, 38.20, 38.21, 38.22, 38.23, 38.25, 38.26, 38.27, 38.28, 38.29, 38.58, 38.67, 38.68, 38.95, 38.97, 38.110 |
 | `abide [--url <origin>] [--port <n>]` | The interactive shell — on the built app it boots, or on the running app `--url` names. | 37.8, 37.10, 37.11, 37.12, 38.6, 38.7, 38.53, 38.54, 38.55, 38.58, 38.59, 38.60, 38.62 |
-| `abide call <address> [args]` | One call to one handler. | 38.8, 38.61 |
-| `abide openapi [--out <file>] [--url <origin>]` | The OpenAPI document written rather than served. | 38.9 |
-| `abide mcp [--url <origin>]` | The app's MCP server over stdio. | 38.9, 38.13 |
+| `abide call <address> [args]` | One call to one handler. | 38.8, 38.61, 38.110 |
+| `abide openapi [--url <origin>]` | The OpenAPI document printed rather than served. | 38.9, 38.25, 38.110, 38.111 |
+| `abide mcp [--url <origin>]` | The app's MCP server over stdio. | 38.9, 38.13, 38.25, 38.110 |
 | `abide watch <address> [args]` | A live subscription to one of the app's followed `GET`s. | 38.69 |
 | `abide compile [--target] [--out] [--platforms]` | One standalone executable. | 37.8, 37.10, 37.11, 37.12, 38.10, 38.25, 38.26, 38.44, 38.45, 38.46, 38.47, 38.48, 38.49, 38.50, 38.51, 38.52, 38.56, 38.93, 38.97 |
 | `abide bundle [--out]` | A desktop app for the host platform, with a window on the app. | 38.10, 38.25, 38.26, 38.70, 38.71, 38.72, 38.73, 38.74, 38.75, 38.76, 38.77, 38.78, 38.79, 38.80, 38.81, 38.82, 38.83, 38.84, 38.85, 38.86, 38.87, 38.88, 38.89, 38.90, 38.91, 38.92, 38.101, 38.102 |