@abide/abide 0.116.4 → 0.117.1

package/CHANGELOG.md

@@ -1,5 +1,27 @@
 # @abide/abide
 
+## 0.117.1
+
+### Patch Changes
+
+- 05ba855: a ceiling naming no bench fails the run, and a bench file sits beside any code it times (RULEBOOK 23.22, 43.32-43.34) ([`d5f3d3c`](https://github.com/briancray/abide/commit/d5f3d3cc6368057f8437559aafc7113abd2b3269))
+- 05ba855: a refusal and the starter's notes say a lib/ or public/ fence may sit in any directory above the file (RULEBOOK 23.22, 23.23, 37.1) ([`d9d95df`](https://github.com/briancray/abide/commit/d9d95df07fb8cb92a295ffc9a316da9b5bc6141e))
+- 9e24653: `runBenches` (`@abide/harness/runner`) and the `harness-bench` command run every `*.bench.ts` under an app's `src`, print each arm's time and the claim between them, and fail the run where an arm goes over its `CEILINGS` entry or a ceiling names no arm (RULEBOOK 43.29-43.33); `abide scaffold` writes a `bench` script that runs it, and the starter's agent notes say to measure with the harness (RULEBOOK 38.124)
+
+## 0.117.0
+
+### Minor Changes
+
+- 3bb5cc9: `abide dev`, `build`, `start`, `check`, `routes`, `compile`, `bundle`, `openapi`, `mcp` and the shell now refuse to run on a bun outside abide's `engines.bun`, naming the bun running and the range it needs (RULEBOOK 38.123)
+
+### Patch Changes
+
+- 3bb5cc9: a component whose markup reads a bare `busy()` or `ready()` is now built on the server after the turn, once the siblings after it have started their loads, so it paints the arm the browser chooses at hydration rather than one that is rebuilt (RULEBOOK 41.28, 41.31)
+- 3bb5cc9: the rulebook now states that the effects one turn wakes, a slot's own update among them, run in no guaranteed order (12.15) — a `watch` that post-processes what a sibling `{raw(...)}` slot renders cannot count on the slot having updated first
+- 3bb5cc9: markdown imported `with { type: 'text' }` into an app's `.ts` now checks as a `string` under `abide check`, as it already did in a `.abide` — no more hand-written `declare module '*.md'`
+- 3bb5cc9: the `bunfig.toml` `abide scaffold` writes now sets `[install] peer = false`, so a dependency's peer on `bun` (`bun-plugin-tailwind`'s) cannot install an older bun that shadows the system one inside `bun run` (RULEBOOK 38.122)
+- 3bb5cc9: the rulebook states three things that held but were never written down: a `raw` slot writes its markup unchecked (32.77), a fragment-only step moves `route.url` (30.33), and a `refresh` over `tags` reruns no synchronous derivation that carries none of them (13.20) — and the registry says `route.params` is `Params` outside a page or layout
+
 ## 0.116.4
 
 ### Patch Changes

package/bin/abide.ts

@@ -41,12 +41,17 @@ import { executableName } from '#server/executableName.ts'
 import { iconAccent } from '#server/iconAccent.ts'
 import { namesUnder } from '#server/namesUnder.ts'
 import { DEFAULT_DOCUMENT, intoHead } from '#server/render.ts'
+import { runtimeRefusal } from '#server/runtimeRefusal.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'
 import abidePackage from '../package.json' with { type: 'json' }
 
+// 38.123 — the bun this process runs on, held to abide's `engines.bun` before anything is built or
+// booted. A compiled app carries the bun `abide compile` ran on, which this held already.
+const RUNTIME_REFUSAL = runtimeRefusal(Bun.version, abidePackage.engines.bun)
+
 /** Where the app a command builds or serves is, and where its build goes — both absolute. */
 type AppDirectories = { root: string; out: string }
 
@@ -59,14 +64,18 @@ const DISK: Host = {
     version: abidePackage.version,
     // 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) =>
+    app: ({ values }) => {
+        const handle = appOnDisk(directoriesOf(values), async (root, out) =>
             (await serveBuild(root, out, (root, out) =>
                 writeBuild({ root, out }, console.error),
             ))
                 ? out
                 : undefined,
-        ),
+        )
+        return RUNTIME_REFUSAL === undefined
+            ? handle
+            : { ...handle, boot: async () => RUNTIME_REFUSAL }
+    },
     source: {
         scaffold: scaffoldCommand,
         dev: inApp(dev),
@@ -645,6 +654,10 @@ function inApp<Answer>(
     body: (app: AppDirectories, given: Given) => Promise<Answer>,
 ): (given: Given) => Promise<Answer | number> {
     return async (given) => {
+        if (RUNTIME_REFUSAL !== undefined) {
+            console.error(`abide ${given.positionals[0]}: ${RUNTIME_REFUSAL}`)
+            return 1
+        }
         const app = directoriesOf(given.values)
         if (app === undefined) {
             console.error(

package/docs/REGISTRY.md

@@ -160,7 +160,7 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 | --- | --- | --- | --- |
 | `Disposer` | `() => void` | What tears down the previous run. | 12.1 |
 | `Effect` | `() => void \| Disposer` | What runs on change. | 12.2, 12.8, 14.6 |
-| `watch` | `(effect: Effect) => () => void` | Begins a watch over whatever the effect reads. | 12.2, 12.4, 12.5, 12.6, 12.7, 12.10, 12.13 |
+| `watch` | `(effect: Effect) => () => void` | Begins a watch over whatever the effect reads. | 12.2, 12.4, 12.5, 12.6, 12.7, 12.10, 12.13, 12.15 |
 | `watch` | `(sources: Reactive<unknown, never, unknown, unknown> \| Reactive<unknown, never, unknown, unknown>[], effect: Effect) => () => void` | The narrowed form, over named sources. | 12.3 |
 | `flushSync` | `() => void` | Ends the turn: every `Effect` a write woke runs now. | 9.10, 12.11, 12.12 |
 
@@ -169,10 +169,10 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
 | `Selection` | `Reactive<any, any, any, any> \| Keyed<any, any, any, any> \| Rpc<any, any, any, any> \| { tags: string[] }` | What is being asked about. | 13.1, 13.8, 13.9, 13.13, 31.14 |
-| `busy` | `(selection?: Selection, pattern?: Partial<Args>) => boolean` | Whether any entry in the selection has work in flight. | 13.2, 13.3, 13.5, 13.12, 46.11 |
-| `ready` | `(selection?: Selection, pattern?: Partial<Args>) => boolean` | Whether every entry in the selection has a value to serve. | 13.3, 13.5, 13.11, 13.12 |
+| `busy` | `(selection?: Selection, pattern?: Partial<Args>) => boolean` | Whether any entry in the selection has work in flight. | 13.2, 13.3, 13.5, 13.12, 41.28, 41.31, 46.11 |
+| `ready` | `(selection?: Selection, pattern?: Partial<Args>) => boolean` | Whether every entry in the selection has a value to serve. | 13.3, 13.5, 13.11, 13.12, 41.28, 41.31 |
 | `synced` | `(selection?: Selection, pattern?: Partial<Args>) => boolean` | Whether every entry in the selection holds what its producer made. | 13.12, 13.18 |
-| `refresh` | `(selection?: Selection, pattern?: Partial<Args>) => void` | Stale-while-revalidate over the selection. | 13.4, 13.7, 13.10, 13.12, 13.14, 13.15, 13.16, 13.17 |
+| `refresh` | `(selection?: Selection, pattern?: Partial<Args>) => void` | Stale-while-revalidate over the selection. | 13.4, 13.7, 13.10, 13.12, 13.14, 13.15, 13.16, 13.17, 13.20 |
 | `invalidate` | `(selection?: Selection, pattern?: Partial<Args>) => void` | Marks the selection stale. | 13.4, 13.6, 13.10, 13.12, 13.15, 13.17 |
 
 
@@ -380,8 +380,8 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `route.url` | `Reactive<URL>` | Where we are, fragment included. | 23.1, 23.2, 23.3, 23.4, 30.20, 30.21, 30.23, 19.16, 31.16 |
-| `route.params` | `Reactive<Params>` | The matched route's segments. | 23.1, 23.5, 23.9, 30.23, 31.16 |
+| `route.url` | `Reactive<URL>` | Where we are, fragment included. | 23.1, 23.2, 23.3, 23.4, 30.20, 30.21, 30.23, 30.33, 19.16, 31.16 |
+| `route.params` | `Reactive<Params>` | The matched route's segments — typed by its own route in a page or a layout, and `Params` in any other file. | 23.1, 23.5, 23.9, 30.23, 31.16 |
 | `Params` | `Record<string, string \| string[]>` | What a matched route's segments are. | 23.5 |
 | `route.name` | `Reactive<string>` | The resolution path, the same under any mount path. | 23.1, 23.6, 23.14, 31.16 |
 | `route.navigating` | `Reactive<boolean>` | Whether a navigation is in flight. | 23.1, 31.16 |
@@ -571,7 +571,7 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `raw` | `(value: unknown) => Raw` | The branding a value takes to render as markup rather than as text. | 32.2, 32.24, 32.26, 32.30, 32.31, 32.70 |
+| `raw` | `(value: unknown) => Raw` | The branding a value takes to render as markup rather than as text. | 32.2, 32.24, 32.26, 32.30, 32.31, 32.70, 32.77 |
 | `Raw` | `class Raw { html: string }` | What `raw` hands back. | 32.24 |
 
 ### Control flow
@@ -629,7 +629,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, 41.28, 35.11, 41.29, 41.30 |
+| `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, 41.29, 41.30, 41.31 |
 
 ## Sinks
 
@@ -677,6 +677,7 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 | `**/lib/**` | The app's code that is no address: components and modules. | 23.15, 23.16, 23.18, 23.22, 37.1 |
 | `**/lib/**/<name>.server.<extension>` | A server file: source the browser never loads. | 16.29, 23.23, 34.20, 36.10 |
 | `**/<name>.test.ts` | A test file: one of the app's tests, wherever it lies. | 23.22, 38.109 |
+| `**/<name>.bench.ts` | A bench file: benches `bun run bench` runs, wherever it lies. | 23.22, 43.29 |
 | `**/<name>.d.ts` | A declaration file: types for the checker, wherever it lies. | 23.22 |
 | `**/public/**` | The files answered as authored, at their path below that directory. | 23.15, 23.16, 23.18, 36.11, 36.12, 36.13, 36.14, 36.15, 36.17, 21.12, 21.13, 21.14, 38.18, 38.19 |
 | `src/public/favicon.ico` | The file answered at `/favicon.ico`. | 36.11 |
@@ -824,13 +825,19 @@ rows a runner prints, and an adapter for an abide app.
 | `inScope` | `(item: RowItem, scope: string) => boolean` | Whether an item falls in a `--scope`. | 43.26 |
 | `matchesFilter` | `(item: RowItem, filter: string) => boolean` | Whether an item matches a `--filter`. | 43.26 |
 
-## `@abide/harness/runner` — runners that print rows
+## `@abide/harness/runner` — runners that print rows, and the bench runner
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
 | `rowsCommand` | `<Item extends RowItem, Row>(items: Item[], run: (selected: Item[], emit: (row: Row) => void) => Promise<void>) => Promise<void>` | A runner's command line: its catalog under `--list`, else the rows of what it selects. | 43.26 |
 | `testRows` | `(suites: TestSuite[], cwd: string) => Promise<void>` | `rowsCommand` over the test files of `suites`, one `TestRow` per file. | 43.27 |
 | `TestSuite` | `{ section: string; root: string; runner: 'bun'; pattern?: string } \| { section: string; root: string; runner: 'playwright'; projects: string[]; pattern?: string }` | One directory of test files, listed under one section. | 43.27 |
+| `runBenches` | `(root: string, only?: string) => Promise<{ file: string; name: string; case: string; n: number; floor: number; arms: Record<string, number>; claim: string; over: string[] }[]>` | Every bench under `root`'s `src`, run, with each arm's time per operation and the ceilings it went over. | 43.29, 43.30, 43.31, 43.32, 43.34 |
+| `CEILINGS` | `Record<string, Record<string, number>>` | A bench file's export naming the most each arm of each of its benches may take, in milliseconds. | 43.29, 43.31, 43.32 |
+
+| Name | Meaning | Rules |
+| --- | --- | --- |
+| `harness-bench [word]` | The command that runs `runBenches` over the directory it runs in and prints each bench. | 43.33, 43.34 |
 
 ## `@abide/harness/abide` — the adapter for an abide app
 
@@ -849,20 +856,20 @@ rows a runner prints, and an adapter for an abide app.
 
 | Command | Meaning | Rules |
 | --- | --- | --- |
-| `abide scaffold <name>` | Writes a starter project. | 38.1, 38.42, 38.103, 38.104, 38.106, 38.112 |
+| `abide scaffold <name>` | Writes a starter project. | 38.1, 38.42, 38.103, 38.104, 38.106, 38.112, 38.122, 38.124 |
 | `abide run <file> [args…]` | Runs a script under the abide runtime. | 38.2, 38.57 |
-| `abide check [dir…]` | The type-checker over a `.abide` tree. | 38.3, 38.31, 38.32, 38.33, 38.40, 38.105 |
-| `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. | 16.23, 16.56, 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, 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 check [dir…]` | The type-checker over a `.abide` tree. | 38.3, 38.31, 38.32, 38.33, 38.40, 38.105, 38.123 |
+| `abide routes [--json]` | Every address the app answers, the file answering it, and where each hook is filed. | 38.108, 38.123 |
+| `abide dev [--port <n>]` | Watches the project and keeps the app up. | 16.23, 16.56, 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, 38.123 |
+| `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, 38.123 |
+| `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, 38.123 |
+| `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, 38.123 |
 | `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 openapi [--url <origin>]` | The OpenAPI document printed rather than served. | 38.9, 38.25, 38.110, 38.111, 38.123 |
+| `abide mcp [--url <origin>]` | The app's MCP server over stdio. | 38.9, 38.13, 38.25, 38.110, 38.123 |
 | `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 |
+| `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, 38.123 |
+| `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, 38.123 |
 | `abide lsp` | The `.abide` language server, over stdio. | 38.11, 38.34, 38.39, 38.98, 38.116, 38.117, 38.118 |
 | `--help` · `-h` · `abide help` | Usage, generated from the command list. | 38.12, 38.113, 38.114 |
 | `--version` · `-v` | The version of abide, or of the app a compiled executable holds. | 38.115 |

package/docs/RULEBOOK.md

@@ -700,6 +700,9 @@ holding that arm or row is removed.
 `watch`, MUST stop reading its sources once that owner stops and nothing else reads it, and MUST
 answer a later read with what its body computes then.
 
+12.15 The `Effect` values one turn wakes, a slot's own update among them, MAY run in any order,
+save where a clause orders them.
+
 # 13. Selections
 
 13.1 A `Selection` MUST be one `Reactive`, one `Keyed`, one `Rpc`, or a set of `tags`.
@@ -757,6 +760,9 @@ where every value it sweeps is.
 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.
 
+13.20 `refresh` over a set of `tags` MUST NOT rerun a synchronous derivation that carries none of
+them, which MUST recompute from the load it reads.
+
 # 14. Tracking
 
 14.1 A `Reactive` MUST be tracked only where something downstream will be rebuilt from it.
@@ -1543,7 +1549,7 @@ error naming the mount.
 `layout.abide`, an `error.abide` and the root's `launcher.abide`.
 
 23.22 A file of the app's own directly in a directory under no fence that is neither a `.abide`, a
-handler file, a test file nor a declaration file MUST be a build error naming the file and a `lib` directory, save one
+handler file, a test file, a bench file nor a declaration file MUST be a build error naming the file and a `lib` directory, save one
 beside the `package.json` of a root that holds it, nor a `.ts`.
 
 23.23 A server file of the app's own under no `lib` directory MUST be a build error naming the file
@@ -1819,6 +1825,9 @@ to `middleware`.
 30.32 A `navigate` that is not a history step, whose request gets no answer while `online` is false,
 MUST leave the page and the address where they stand, save where 45.12 holds.
 
+30.33 A history step under 30.20, and a `navigate` under 30.21, MUST move `route.url` to the address
+it steps to.
+
 # 31. Reading and writing by name
 
 31.1 Inside a `.abide` file a name bound to a `Reactive` MUST be read wherever 31.3 does not hold it.
@@ -2099,6 +2108,9 @@ element, written or spread, runs for the same event, wherever the two are writte
 32.76 A `bind:` whose operand is a path into a value that takes an optional step (`?.`) MUST be a
 build error.
 
+32.77 A slot holding a value branded by `raw` MUST write its markup as given, with no element or
+attribute in it removed and no URL in it scheme-checked.
+
 # 33. Props
 
 33.1 `props` MUST be callable from a `<script>` block only, and calling it from a `<script module>`
@@ -2766,6 +2778,14 @@ 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.
 
+38.122 The project `abide scaffold` writes MUST NOT install a dependency's peer dependencies.
+
+38.123 A command `abide` builds, checks or boots the app for MUST be refused where the bun running it
+is outside the range abide's `engines.bun` names, and the refusal MUST name that bun's version and
+the range.
+
+38.124 The project `abide scaffold` writes MUST carry a `bench` script that runs `harness-bench`.
+
 # 39. Head and view transitions
 
 39.1 A `<head>` element in a `.abide` file MUST contribute its children to the document head.
@@ -3031,13 +3051,18 @@ has answered or failed.
 adopts the page, however early its answer arrived.
 
 41.28 A `render` MUST let the turn's queued microtasks run between setting up a `<Name/>` whose setup
-made an `Rpc` call and building that component's markup.
+made an `Rpc` call, or whose markup reads a bare `busy` or `ready`, and building that component's
+markup.
 
 41.29 A `render` answering a request whose `sec-fetch-dest` is `empty` MUST NOT fill the seed buffer,
 save one whose `abide-keep` header names `open`.
 
 41.30 A `render` answering a request carrying `abide-keep` MUST write 41.20's script.
 
+41.31 On a server, a bare `busy` or `ready` MUST answer over the loads set up before its component's
+markup is built, and a load a component set up later, one only a pending value places, MAY have it
+choose another arm at hydration under 41.24.
+
 # 42. The app object
 
 42.1 `createApp` MUST build the route table and compose every `Middleware` rung, per 16.14.
@@ -3175,6 +3200,20 @@ runner wrote no report as `broken` rather than as a result.
 43.28 The DOM `@abide/harness/preload` registers MUST leave the runtime's own `fetch`, `Request`,
 `Response`, `Headers`, `Blob`, `File`, `FormData`, `AbortController` and `AbortSignal` the globals.
 
+43.29 `runBenches` MUST run, as one bench each, every function a bench file exports other than
+`CEILINGS`.
+
+43.30 `runBenches` MUST NOT report a bench's A/A control as one of its arms.
+
+43.31 `runBenches` MUST report an arm whose time per operation is over its `CEILINGS` entry.
+
+43.32 `runBenches` MUST report a `CEILINGS` entry naming an arm its bench does not have, and one
+naming a bench its file does not export.
+
+43.33 `harness-bench` MUST exit non-zero where `runBenches` reports anything under 43.31 or 43.32.
+
+43.34 `runBenches` given `only` MUST run only the bench files whose path below `root` holds it.
+
 # 44. The assistant
 
 44.1 `assistant` MUST answer only through a handler that yields it, and MUST NOT mount an address

package/docs/abide.md

@@ -196,6 +196,7 @@ at its address with `.md` on the end, and the links below point at those files.
 - `rowsCommand` — `reference/harness-runner/rowsCommand.md`
 - `testRows` — `reference/harness-runner/testRows.md`
 - `TestSuite` — `reference/harness-runner/types/TestSuite.md`
+- `runBenches` — `reference/harness-runner/runBenches.md`
 - `measure` — `reference/harness-abide/measure.md`
 - `AbideWork` — `reference/harness-abide/types/AbideWork.md`
 - CLI — `reference/cli.md`
@@ -773,7 +774,7 @@ A hole is `{}` around an expression, and it updates the one thing it names and n
 | You write | Where it lands |
 | --- | --- |
 | `{expr}` | a text node, escaped |
-| `{raw(...)}` | markup, unescaped: `raw` brands a string as a `Raw` |
+| `{raw(...)}` | markup, unescaped and unchecked (32.77): `raw` brands a string as a `Raw`, so hand it markup you wrote, never a model's reply or a fetched page as it came |
 | `name={expr}` | one attribute, whole |
 | `name="…{expr}…"` | one attribute, interpolated |
 | `class:name={cond}` | one class, there while the condition holds |
@@ -2996,7 +2997,7 @@ test('one file answers for every company, reading its id', async () => {
 | --- | --- |
 | `route.name` | the pattern that matched, `/companies/[id]` for every company, so a log line keys on the page rather than on each address |
 | `Params` | what the segments matched; a query string is never in it |
-| `RouteParams<P>` | the type `route.params` has in a page filed under `P`, so `id` is text and a key the route lacks is an error |
+| `RouteParams<P>` | the type `route.params` has in a page or layout filed under `P`, so `id` is text and a key the route lacks is an error. A component under `lib/` has no route of its own and reads the loose `Params`: pass it the value as a prop, or narrow it with `RouteParams<'/…'>` |
 
 ## A layout holds what the companies pages share
 
@@ -3888,7 +3889,7 @@ test('the server paints the density the cookie holds', async () => {
 
 `cookies()` is the request's cookies on the server and the document's in the browser, as a `CookieMap`. Reading a cookie by name follows it, so the list changes on the click. The server render reads the same cookie off the request, so a reload paints compact rather than flashing comfortable first.
 
-The principal cookie is `HttpOnly`, so script never sees the seal. Use `cookies()` for the ones that are yours: a density, a theme, a dismissed banner.
+`cookies()` reads and writes any cookie the request carries: a density, a theme, or another system's session cookie your server checks. The principal cookie is `HttpOnly`, so in the browser `cookies()` never sees the seal.
 
 ## A handler decides which fields a caller may read
 
@@ -6258,6 +6259,9 @@ function pipeline(count: number): () => void {
     }
 }
 
+// The most an advance may take among 1,000 deals, in milliseconds.
+export const CEILINGS = { priced: { 'among 1,000': 1 } }
+
 /** Advancing one deal among 100, and among 1,000. */
 export function priced(): Batched {
     return batch({
@@ -6285,8 +6289,13 @@ A millisecond describes the machine it was taken on. A ratio between two sizes o
 | `emulatedDom` | whether this process's DOM is an emulator |
 | `time` | `batch` with `emulated` filled in, refusing to run while the counters are armed |
 | `THRESHOLDS` | a frame and an interaction, the two lines a cost is judged against |
+| `runBenches` | runs every bench under `src`, and reports each arm over its ceiling |
+| `CEILINGS` | the most each arm of a bench may take, in milliseconds, by bench and then by arm |
+| `harness-bench` | the `bench` script: `runBenches` printed, failing where a ceiling is not held |
+
+`batch` throws on a duration whose op touched an emulated DOM, and on a sample taken in a parallel test worker. That is why the bench builds no component: it times the derived value the component reads. Run the benches with `bun run bench`, never inside `bun test`.
 
-`batch` throws on a duration whose op touched an emulated DOM, and on a sample taken in a parallel test worker. That is why the bench builds no component: it times the derived value the component reads. Run a bench under `bun run`, never inside `bun test`.
+The `bench` script is `harness-bench`, which hands `runBenches` every `*.bench.ts` under `src`, wherever one sits beside the code it times, and prints each arm's time and the claim between them. A bench file's `CEILINGS` names the most each arm may take, in milliseconds, and the run fails where an arm takes more.
 
 ## Find which layer a click spends its time in
 
@@ -6806,6 +6815,7 @@ Arrive here knowing which name you want. Each page is read off the registry: the
 | [`rowsCommand`](/reference/harness-runner/rowsCommand.md) | `@abide/harness/runner` |
 | [`testRows`](/reference/harness-runner/testRows.md) | `@abide/harness/runner` |
 | [`TestSuite`](/reference/harness-runner/types/TestSuite.md) | `@abide/harness/runner` |
+| [`runBenches`](/reference/harness-runner/runBenches.md) | `@abide/harness/runner` |
 | [`measure`](/reference/harness-abide/measure.md) | `@abide/harness/abide` |
 | [`AbideWork`](/reference/harness-abide/types/AbideWork.md) | `@abide/harness/abide` |
 
@@ -7112,7 +7122,7 @@ Arrive here knowing which name you want. Each page is read off the registry: the
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `watch` | `(effect: Effect) => () => void` | Begins a watch over whatever the effect reads. | [12.2](/rulebook#12.2), [12.4](/rulebook#12.4), [12.5](/rulebook#12.5), [12.6](/rulebook#12.6), [12.7](/rulebook#12.7), [12.10](/rulebook#12.10), [12.13](/rulebook#12.13) |
+| `watch` | `(effect: Effect) => () => void` | Begins a watch over whatever the effect reads. | [12.2](/rulebook#12.2), [12.4](/rulebook#12.4), [12.5](/rulebook#12.5), [12.6](/rulebook#12.6), [12.7](/rulebook#12.7), [12.10](/rulebook#12.10), [12.13](/rulebook#12.13), [12.15](/rulebook#12.15) |
 | `watch` | `(sources: Reactive<unknown, never, unknown, unknown> \| Reactive<unknown, never, unknown, unknown>[], effect: Effect) => () => void` | The narrowed form, over named sources. | [12.3](/rulebook#12.3) |
 
 ## Taught in
@@ -7167,7 +7177,7 @@ Arrive here knowing which name you want. Each page is read off the registry: the
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `busy` | `(selection?: Selection, pattern?: Partial<Args>) => boolean` | Whether any entry in the selection has work in flight. | [13.2](/rulebook#13.2), [13.3](/rulebook#13.3), [13.5](/rulebook#13.5), [13.12](/rulebook#13.12), [46.11](/rulebook#46.11) |
+| `busy` | `(selection?: Selection, pattern?: Partial<Args>) => boolean` | Whether any entry in the selection has work in flight. | [13.2](/rulebook#13.2), [13.3](/rulebook#13.3), [13.5](/rulebook#13.5), [13.12](/rulebook#13.12), [41.28](/rulebook#41.28), [41.31](/rulebook#41.31), [46.11](/rulebook#46.11) |
 
 ## Taught in
 
@@ -7185,7 +7195,7 @@ Arrive here knowing which name you want. Each page is read off the registry: the
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `ready` | `(selection?: Selection, pattern?: Partial<Args>) => boolean` | Whether every entry in the selection has a value to serve. | [13.3](/rulebook#13.3), [13.5](/rulebook#13.5), [13.11](/rulebook#13.11), [13.12](/rulebook#13.12) |
+| `ready` | `(selection?: Selection, pattern?: Partial<Args>) => boolean` | Whether every entry in the selection has a value to serve. | [13.3](/rulebook#13.3), [13.5](/rulebook#13.5), [13.11](/rulebook#13.11), [13.12](/rulebook#13.12), [41.28](/rulebook#41.28), [41.31](/rulebook#41.31) |
 
 ## Taught in
 
@@ -7221,7 +7231,7 @@ Arrive here knowing which name you want. Each page is read off the registry: the
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `refresh` | `(selection?: Selection, pattern?: Partial<Args>) => void` | Stale-while-revalidate over the selection. | [13.4](/rulebook#13.4), [13.7](/rulebook#13.7), [13.10](/rulebook#13.10), [13.12](/rulebook#13.12), [13.14](/rulebook#13.14), [13.15](/rulebook#13.15), [13.16](/rulebook#13.16), [13.17](/rulebook#13.17) |
+| `refresh` | `(selection?: Selection, pattern?: Partial<Args>) => void` | Stale-while-revalidate over the selection. | [13.4](/rulebook#13.4), [13.7](/rulebook#13.7), [13.10](/rulebook#13.10), [13.12](/rulebook#13.12), [13.14](/rulebook#13.14), [13.15](/rulebook#13.15), [13.16](/rulebook#13.16), [13.17](/rulebook#13.17), [13.20](/rulebook#13.20) |
 
 ## Taught in
 
@@ -8196,8 +8206,8 @@ Generated surfaces: what is written in place rather than imported.
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `route.url` | `Reactive<URL>` | Where we are, fragment included. | [23.1](/rulebook#23.1), [23.2](/rulebook#23.2), [23.3](/rulebook#23.3), [23.4](/rulebook#23.4), [30.20](/rulebook#30.20), [30.21](/rulebook#30.21), [30.23](/rulebook#30.23), [19.16](/rulebook#19.16), [31.16](/rulebook#31.16) |
-| `route.params` | `Reactive<Params>` | The matched route's segments. | [23.1](/rulebook#23.1), [23.5](/rulebook#23.5), [23.9](/rulebook#23.9), [30.23](/rulebook#30.23), [31.16](/rulebook#31.16) |
+| `route.url` | `Reactive<URL>` | Where we are, fragment included. | [23.1](/rulebook#23.1), [23.2](/rulebook#23.2), [23.3](/rulebook#23.3), [23.4](/rulebook#23.4), [30.20](/rulebook#30.20), [30.21](/rulebook#30.21), [30.23](/rulebook#30.23), [30.33](/rulebook#30.33), [19.16](/rulebook#19.16), [31.16](/rulebook#31.16) |
+| `route.params` | `Reactive<Params>` | The matched route's segments — typed by its own route in a page or a layout, and `Params` in any other file. | [23.1](/rulebook#23.1), [23.5](/rulebook#23.5), [23.9](/rulebook#23.9), [30.23](/rulebook#30.23), [31.16](/rulebook#31.16) |
 | `route.name` | `Reactive<string>` | The resolution path, the same under any mount path. | [23.1](/rulebook#23.1), [23.6](/rulebook#23.6), [23.14](/rulebook#23.14), [31.16](/rulebook#31.16) |
 | `route.navigating` | `Reactive<boolean>` | Whether a navigation is in flight. | [23.1](/rulebook#23.1), [31.16](/rulebook#31.16) |
 
@@ -8961,7 +8971,7 @@ Generated surfaces: what is written in place rather than imported.
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `raw` | `(value: unknown) => Raw` | The branding a value takes to render as markup rather than as text. | [32.2](/rulebook#32.2), [32.24](/rulebook#32.24), [32.26](/rulebook#32.26), [32.30](/rulebook#32.30), [32.31](/rulebook#32.31), [32.70](/rulebook#32.70) |
+| `raw` | `(value: unknown) => Raw` | The branding a value takes to render as markup rather than as text. | [32.2](/rulebook#32.2), [32.24](/rulebook#32.24), [32.26](/rulebook#32.26), [32.30](/rulebook#32.30), [32.31](/rulebook#32.31), [32.70](/rulebook#32.70), [32.77](/rulebook#32.77) |
 
 ## Taught in
 
@@ -9084,7 +9094,7 @@ Pages and routing: what is written in place rather than imported.
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `render` | `(component: Component) => Promise<Uint8Array>` | What produces a document. | [29.10](/rulebook#29.10), [35.4](/rulebook#35.4), [35.5](/rulebook#35.5), [35.6](/rulebook#35.6), [35.15](/rulebook#35.15), [35.16](/rulebook#35.16), [41.1](/rulebook#41.1), [41.2](/rulebook#41.2), [41.3](/rulebook#41.3), [41.4](/rulebook#41.4), [41.9](/rulebook#41.9), [41.13](/rulebook#41.13), [41.16](/rulebook#41.16), [41.17](/rulebook#41.17), [41.18](/rulebook#41.18), [41.19](/rulebook#41.19), [41.20](/rulebook#41.20), [41.28](/rulebook#41.28), [35.11](/rulebook#35.11), [41.29](/rulebook#41.29), [41.30](/rulebook#41.30) |
+| `render` | `(component: Component) => Promise<Uint8Array>` | What produces a document. | [29.10](/rulebook#29.10), [35.4](/rulebook#35.4), [35.5](/rulebook#35.5), [35.6](/rulebook#35.6), [35.15](/rulebook#35.15), [35.16](/rulebook#35.16), [41.1](/rulebook#41.1), [41.2](/rulebook#41.2), [41.3](/rulebook#41.3), [41.4](/rulebook#41.4), [41.9](/rulebook#41.9), [41.13](/rulebook#41.13), [41.16](/rulebook#41.16), [41.17](/rulebook#41.17), [41.18](/rulebook#41.18), [41.19](/rulebook#41.19), [41.20](/rulebook#41.20), [41.28](/rulebook#41.28), [35.11](/rulebook#35.11), [41.29](/rulebook#41.29), [41.30](/rulebook#41.30), [41.31](/rulebook#41.31) |
 
 ## Taught in
 
@@ -9133,6 +9143,7 @@ Configuration: what is written in place rather than imported.
 | `**/lib/**` | The app's code that is no address: components and modules. | [23.15](/rulebook#23.15), [23.16](/rulebook#23.16), [23.18](/rulebook#23.18), [23.22](/rulebook#23.22), [37.1](/rulebook#37.1) |
 | `**/lib/**/<name>.server.<extension>` | A server file: source the browser never loads. | [16.29](/rulebook#16.29), [23.23](/rulebook#23.23), [34.20](/rulebook#34.20), [36.10](/rulebook#36.10) |
 | `**/<name>.test.ts` | A test file: one of the app's tests, wherever it lies. | [23.22](/rulebook#23.22), [38.109](/rulebook#38.109) |
+| `**/<name>.bench.ts` | A bench file: benches `bun run bench` runs, wherever it lies. | [23.22](/rulebook#23.22), [43.29](/rulebook#43.29) |
 | `**/<name>.d.ts` | A declaration file: types for the checker, wherever it lies. | [23.22](/rulebook#23.22) |
 | `**/public/**` | The files answered as authored, at their path below that directory. | [23.15](/rulebook#23.15), [23.16](/rulebook#23.16), [23.18](/rulebook#23.18), [36.11](/rulebook#36.11), [36.12](/rulebook#36.12), [36.13](/rulebook#36.13), [36.14](/rulebook#36.14), [36.15](/rulebook#36.15), [36.17](/rulebook#36.17), [21.12](/rulebook#21.12), [21.13](/rulebook#21.13), [21.14](/rulebook#21.14), [38.18](/rulebook#38.18), [38.19](/rulebook#38.19) |
 | `src/public/favicon.ico` | The file answered at `/favicon.ico`. | [36.11](/rulebook#36.11) |
@@ -9633,6 +9644,12 @@ The measurement harness: what is written in place rather than imported.
 | --- | --- | --- |
 | `preload = ["@abide/harness/preload"]` | The `[test]` preload that registers a DOM with the measure lane's patches installed. | [43.4](/rulebook#43.4), [43.28](/rulebook#43.28) |
 
+## `@abide/harness/runner` — runners that print rows, and the bench runner
+
+| Name | Meaning | Rules |
+| --- | --- | --- |
+| `harness-bench [word]` | The command that runs `runBenches` over the directory it runs in and prints each bench. | [43.33](/rulebook#43.33), [43.34](/rulebook#43.34) |
+
 ## `@abide/harness/abide` — the adapter for an abide app
 
 | Name | Meaning | Rules |
@@ -10281,11 +10298,12 @@ The measurement harness: what is written in place rather than imported.
 
 `import { rowsCommand } from '@abide/harness/runner'`
 
-## `@abide/harness/runner` — runners that print rows
+## `@abide/harness/runner` — runners that print rows, and the bench runner
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
 | `rowsCommand` | `<Item extends RowItem, Row>(items: Item[], run: (selected: Item[], emit: (row: Row) => void) => Promise<void>) => Promise<void>` | A runner's command line: its catalog under `--list`, else the rows of what it selects. | [43.26](/rulebook#43.26) |
+| `CEILINGS` | `Record<string, Record<string, number>>` | A bench file's export naming the most each arm of each of its benches may take, in milliseconds. | [43.29](/rulebook#43.29), [43.31](/rulebook#43.31), [43.32](/rulebook#43.32) |
 
 ## Taught in
 
@@ -10299,7 +10317,7 @@ The measurement harness: what is written in place rather than imported.
 
 `import { testRows } from '@abide/harness/runner'`
 
-## `@abide/harness/runner` — runners that print rows
+## `@abide/harness/runner` — runners that print rows, and the bench runner
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
@@ -10317,7 +10335,7 @@ The measurement harness: what is written in place rather than imported.
 
 `import type { TestSuite } from '@abide/harness/runner'`
 
-## `@abide/harness/runner` — runners that print rows
+## `@abide/harness/runner` — runners that print rows, and the bench runner
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
@@ -10329,6 +10347,24 @@ The measurement harness: what is written in place rather than imported.
 
 ---
 
+<!-- reference/harness-runner/runBenches.md -->
+
+# `runBenches`
+
+`import { runBenches } from '@abide/harness/runner'`
+
+## `@abide/harness/runner` — runners that print rows, and the bench runner
+
+| Name | Signature | Meaning | Rules |
+| --- | --- | --- | --- |
+| `runBenches` | `(root: string, only?: string) => Promise<{ file: string; name: string; case: string; n: number; floor: number; arms: Record<string, number>; claim: string; over: string[] }[]>` | Every bench under `root`'s `src`, run, with each arm's time per operation and the ceilings it went over. | [43.29](/rulebook#43.29), [43.30](/rulebook#43.30), [43.31](/rulebook#43.31), [43.32](/rulebook#43.32), [43.34](/rulebook#43.34) |
+
+## Taught in
+
+- [Test, measure, ship](/guide/test-measure-and-ship.md)
+
+---
+
 <!-- reference/harness-abide/measure.md -->
 
 # `measure`
@@ -10375,20 +10411,20 @@ CLI: what is written in place rather than imported.
 
 | Command | Meaning | Rules |
 | --- | --- | --- |
-| `abide scaffold <name>` | Writes a starter project. | [38.1](/rulebook#38.1), [38.42](/rulebook#38.42), [38.103](/rulebook#38.103), [38.104](/rulebook#38.104), [38.106](/rulebook#38.106), [38.112](/rulebook#38.112) |
+| `abide scaffold <name>` | Writes a starter project. | [38.1](/rulebook#38.1), [38.42](/rulebook#38.42), [38.103](/rulebook#38.103), [38.104](/rulebook#38.104), [38.106](/rulebook#38.106), [38.112](/rulebook#38.112), [38.122](/rulebook#38.122), [38.124](/rulebook#38.124) |
 | `abide run <file> [args…]` | Runs a script under the abide runtime. | [38.2](/rulebook#38.2), [38.57](/rulebook#38.57) |
-| `abide check [dir…]` | The type-checker over a `.abide` tree. | [38.3](/rulebook#38.3), [38.31](/rulebook#38.31), [38.32](/rulebook#38.32), [38.33](/rulebook#38.33), [38.40](/rulebook#38.40), [38.105](/rulebook#38.105) |
-| `abide routes [--json]` | Every address the app answers, the file answering it, and where each hook is filed. | [38.108](/rulebook#38.108) |
-| `abide dev [--port <n>]` | Watches the project and keeps the app up. | [16.23](/rulebook#16.23), [16.56](/rulebook#16.56), [37.8](/rulebook#37.8), [37.9](/rulebook#37.9), [38.4](/rulebook#38.4), [38.14](/rulebook#38.14), [38.15](/rulebook#38.15), [38.16](/rulebook#38.16), [38.17](/rulebook#38.17), [38.19](/rulebook#38.19), [38.24](/rulebook#38.24), [38.25](/rulebook#38.25), [38.26](/rulebook#38.26), [38.28](/rulebook#38.28), [38.30](/rulebook#38.30), [38.35](/rulebook#38.35), [38.36](/rulebook#38.36), [38.37](/rulebook#38.37), [38.38](/rulebook#38.38), [38.41](/rulebook#38.41), [38.43](/rulebook#38.43), [38.58](/rulebook#38.58), [38.63](/rulebook#38.63), [38.64](/rulebook#38.64), [38.65](/rulebook#38.65), [38.94](/rulebook#38.94), [38.96](/rulebook#38.96), [38.97](/rulebook#38.97) |
-| `abide build` | Builds the client into content-hashed chunks and a manifest. | [38.43](/rulebook#38.43), [38.5](/rulebook#38.5), [38.18](/rulebook#38.18), [38.25](/rulebook#38.25), [38.26](/rulebook#38.26), [38.27](/rulebook#38.27), [38.30](/rulebook#38.30), [38.66](/rulebook#38.66), [38.94](/rulebook#38.94) |
-| `abide start [--port <n>]` | Boots the built app. | [37.8](/rulebook#37.8), [37.10](/rulebook#37.10), [37.11](/rulebook#37.11), [37.12](/rulebook#37.12), [38.6](/rulebook#38.6), [38.100](/rulebook#38.100), [38.20](/rulebook#38.20), [38.21](/rulebook#38.21), [38.22](/rulebook#38.22), [38.23](/rulebook#38.23), [38.25](/rulebook#38.25), [38.26](/rulebook#38.26), [38.27](/rulebook#38.27), [38.28](/rulebook#38.28), [38.29](/rulebook#38.29), [38.58](/rulebook#38.58), [38.67](/rulebook#38.67), [38.68](/rulebook#38.68), [38.95](/rulebook#38.95), [38.97](/rulebook#38.97), [38.110](/rulebook#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](/rulebook#37.8), [37.10](/rulebook#37.10), [37.11](/rulebook#37.11), [37.12](/rulebook#37.12), [38.6](/rulebook#38.6), [38.7](/rulebook#38.7), [38.53](/rulebook#38.53), [38.54](/rulebook#38.54), [38.55](/rulebook#38.55), [38.58](/rulebook#38.58), [38.59](/rulebook#38.59), [38.60](/rulebook#38.60), [38.62](/rulebook#38.62) |
+| `abide check [dir…]` | The type-checker over a `.abide` tree. | [38.3](/rulebook#38.3), [38.31](/rulebook#38.31), [38.32](/rulebook#38.32), [38.33](/rulebook#38.33), [38.40](/rulebook#38.40), [38.105](/rulebook#38.105), [38.123](/rulebook#38.123) |
+| `abide routes [--json]` | Every address the app answers, the file answering it, and where each hook is filed. | [38.108](/rulebook#38.108), [38.123](/rulebook#38.123) |
+| `abide dev [--port <n>]` | Watches the project and keeps the app up. | [16.23](/rulebook#16.23), [16.56](/rulebook#16.56), [37.8](/rulebook#37.8), [37.9](/rulebook#37.9), [38.4](/rulebook#38.4), [38.14](/rulebook#38.14), [38.15](/rulebook#38.15), [38.16](/rulebook#38.16), [38.17](/rulebook#38.17), [38.19](/rulebook#38.19), [38.24](/rulebook#38.24), [38.25](/rulebook#38.25), [38.26](/rulebook#38.26), [38.28](/rulebook#38.28), [38.30](/rulebook#38.30), [38.35](/rulebook#38.35), [38.36](/rulebook#38.36), [38.37](/rulebook#38.37), [38.38](/rulebook#38.38), [38.41](/rulebook#38.41), [38.43](/rulebook#38.43), [38.58](/rulebook#38.58), [38.63](/rulebook#38.63), [38.64](/rulebook#38.64), [38.65](/rulebook#38.65), [38.94](/rulebook#38.94), [38.96](/rulebook#38.96), [38.97](/rulebook#38.97), [38.123](/rulebook#38.123) |
+| `abide build` | Builds the client into content-hashed chunks and a manifest. | [38.43](/rulebook#38.43), [38.5](/rulebook#38.5), [38.18](/rulebook#38.18), [38.25](/rulebook#38.25), [38.26](/rulebook#38.26), [38.27](/rulebook#38.27), [38.30](/rulebook#38.30), [38.66](/rulebook#38.66), [38.94](/rulebook#38.94), [38.123](/rulebook#38.123) |
+| `abide start [--port <n>]` | Boots the built app. | [37.8](/rulebook#37.8), [37.10](/rulebook#37.10), [37.11](/rulebook#37.11), [37.12](/rulebook#37.12), [38.6](/rulebook#38.6), [38.100](/rulebook#38.100), [38.20](/rulebook#38.20), [38.21](/rulebook#38.21), [38.22](/rulebook#38.22), [38.23](/rulebook#38.23), [38.25](/rulebook#38.25), [38.26](/rulebook#38.26), [38.27](/rulebook#38.27), [38.28](/rulebook#38.28), [38.29](/rulebook#38.29), [38.58](/rulebook#38.58), [38.67](/rulebook#38.67), [38.68](/rulebook#38.68), [38.95](/rulebook#38.95), [38.97](/rulebook#38.97), [38.110](/rulebook#38.110), [38.123](/rulebook#38.123) |
+| `abide [--url <origin>] [--port <n>]` | The interactive shell — on the built app it boots, or on the running app `--url` names. | [37.8](/rulebook#37.8), [37.10](/rulebook#37.10), [37.11](/rulebook#37.11), [37.12](/rulebook#37.12), [38.6](/rulebook#38.6), [38.7](/rulebook#38.7), [38.53](/rulebook#38.53), [38.54](/rulebook#38.54), [38.55](/rulebook#38.55), [38.58](/rulebook#38.58), [38.59](/rulebook#38.59), [38.60](/rulebook#38.60), [38.62](/rulebook#38.62), [38.123](/rulebook#38.123) |
 | `abide call <address> [args]` | One call to one handler. | [38.8](/rulebook#38.8), [38.61](/rulebook#38.61), [38.110](/rulebook#38.110) |
-| `abide openapi [--url <origin>]` | The OpenAPI document printed rather than served. | [38.9](/rulebook#38.9), [38.25](/rulebook#38.25), [38.110](/rulebook#38.110), [38.111](/rulebook#38.111) |
-| `abide mcp [--url <origin>]` | The app's MCP server over stdio. | [38.9](/rulebook#38.9), [38.13](/rulebook#38.13), [38.25](/rulebook#38.25), [38.110](/rulebook#38.110) |
+| `abide openapi [--url <origin>]` | The OpenAPI document printed rather than served. | [38.9](/rulebook#38.9), [38.25](/rulebook#38.25), [38.110](/rulebook#38.110), [38.111](/rulebook#38.111), [38.123](/rulebook#38.123) |
+| `abide mcp [--url <origin>]` | The app's MCP server over stdio. | [38.9](/rulebook#38.9), [38.13](/rulebook#38.13), [38.25](/rulebook#38.25), [38.110](/rulebook#38.110), [38.123](/rulebook#38.123) |
 | `abide watch <address> [args]` | A live subscription to one of the app's followed `GET`s. | [38.69](/rulebook#38.69) |
-| `abide compile [--target] [--out] [--platforms]` | One standalone executable. | [37.8](/rulebook#37.8), [37.10](/rulebook#37.10), [37.11](/rulebook#37.11), [37.12](/rulebook#37.12), [38.10](/rulebook#38.10), [38.25](/rulebook#38.25), [38.26](/rulebook#38.26), [38.44](/rulebook#38.44), [38.45](/rulebook#38.45), [38.46](/rulebook#38.46), [38.47](/rulebook#38.47), [38.48](/rulebook#38.48), [38.49](/rulebook#38.49), [38.50](/rulebook#38.50), [38.51](/rulebook#38.51), [38.52](/rulebook#38.52), [38.56](/rulebook#38.56), [38.93](/rulebook#38.93), [38.97](/rulebook#38.97) |
-| `abide bundle [--out]` | A desktop app for the host platform, with a window on the app. | [38.10](/rulebook#38.10), [38.25](/rulebook#38.25), [38.26](/rulebook#38.26), [38.70](/rulebook#38.70), [38.71](/rulebook#38.71), [38.72](/rulebook#38.72), [38.73](/rulebook#38.73), [38.74](/rulebook#38.74), [38.75](/rulebook#38.75), [38.76](/rulebook#38.76), [38.77](/rulebook#38.77), [38.78](/rulebook#38.78), [38.79](/rulebook#38.79), [38.80](/rulebook#38.80), [38.81](/rulebook#38.81), [38.82](/rulebook#38.82), [38.83](/rulebook#38.83), [38.84](/rulebook#38.84), [38.85](/rulebook#38.85), [38.86](/rulebook#38.86), [38.87](/rulebook#38.87), [38.88](/rulebook#38.88), [38.89](/rulebook#38.89), [38.90](/rulebook#38.90), [38.91](/rulebook#38.91), [38.92](/rulebook#38.92), [38.101](/rulebook#38.101), [38.102](/rulebook#38.102) |
+| `abide compile [--target] [--out] [--platforms]` | One standalone executable. | [37.8](/rulebook#37.8), [37.10](/rulebook#37.10), [37.11](/rulebook#37.11), [37.12](/rulebook#37.12), [38.10](/rulebook#38.10), [38.25](/rulebook#38.25), [38.26](/rulebook#38.26), [38.44](/rulebook#38.44), [38.45](/rulebook#38.45), [38.46](/rulebook#38.46), [38.47](/rulebook#38.47), [38.48](/rulebook#38.48), [38.49](/rulebook#38.49), [38.50](/rulebook#38.50), [38.51](/rulebook#38.51), [38.52](/rulebook#38.52), [38.56](/rulebook#38.56), [38.93](/rulebook#38.93), [38.97](/rulebook#38.97), [38.123](/rulebook#38.123) |
+| `abide bundle [--out]` | A desktop app for the host platform, with a window on the app. | [38.10](/rulebook#38.10), [38.25](/rulebook#38.25), [38.26](/rulebook#38.26), [38.70](/rulebook#38.70), [38.71](/rulebook#38.71), [38.72](/rulebook#38.72), [38.73](/rulebook#38.73), [38.74](/rulebook#38.74), [38.75](/rulebook#38.75), [38.76](/rulebook#38.76), [38.77](/rulebook#38.77), [38.78](/rulebook#38.78), [38.79](/rulebook#38.79), [38.80](/rulebook#38.80), [38.81](/rulebook#38.81), [38.82](/rulebook#38.82), [38.83](/rulebook#38.83), [38.84](/rulebook#38.84), [38.85](/rulebook#38.85), [38.86](/rulebook#38.86), [38.87](/rulebook#38.87), [38.88](/rulebook#38.88), [38.89](/rulebook#38.89), [38.90](/rulebook#38.90), [38.91](/rulebook#38.91), [38.92](/rulebook#38.92), [38.101](/rulebook#38.101), [38.102](/rulebook#38.102), [38.123](/rulebook#38.123) |
 | `abide lsp` | The `.abide` language server, over stdio. | [38.11](/rulebook#38.11), [38.34](/rulebook#38.34), [38.39](/rulebook#38.39), [38.98](/rulebook#38.98), [38.116](/rulebook#38.116), [38.117](/rulebook#38.117), [38.118](/rulebook#38.118) |
 | `--help` · `-h` · `abide help` | Usage, generated from the command list. | [38.12](/rulebook#38.12), [38.113](/rulebook#38.113), [38.114](/rulebook#38.114) |
 | `--version` · `-v` | The version of abide, or of the app a compiled executable holds. | [38.115](/rulebook#38.115) |

package/package.json

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

package/scaffold/AGENTS.md

@@ -20,8 +20,14 @@ before writing code, rather than guessing from Svelte, Vue or React. It installs
   Where the read is meant, `// abide-ignore` and the clause the warning cites, on the line above
   (`// abide-ignore 14.15`), silences that one (RULEBOOK 14.19); a read hoisted out of its place
   only to quiet a warning is the bug it named.
-- `bun run test` — runs `bun test`. `src/getGreeting.test.ts` is the pattern: a test imports a
-  handler or a `.abide` file and calls it.
+- `bun run test` — runs `bun test`. `src/getGreeting.test.ts` is the pattern for a handler: a test
+  imports it and calls it. `src/index.test.ts` is the pattern for a page: `mount` it, then count
+  the work a click did with `measure`, both from `@abide/harness/abide` (RULEBOOK 38.119, 43.23).
+- `bun run bench` — runs `harness-bench`: every `*.bench.ts` under `src/`, kept beside the code it
+  times. Each export is a function returning `batch()` from `@abide/harness/report`, an op at two
+  sizes; a `CEILINGS` export, `{ [bench]: { [arm]: milliseconds } }`, names the most each arm may
+  take, and an arm over it, or a ceiling naming no bench or arm, fails the run (RULEBOOK 43.29,
+  43.31, 43.32, 43.33).
 - `bun run dev` — serves the app on a local port and rebuilds when a file changes.
 - `bun run build` then `bun run start` — the production build, and the app served from it.
 
@@ -35,10 +41,15 @@ before writing code, rather than guessing from Svelte, Vue or React. It installs
   scripts, the CLI and MCP alike.
 - A `.abide` cannot export. A `<script server>` in one holds that file's private handlers
   (`const save = POST(…)`), callable by that file alone, and its hooks (`onStart`, `middleware`, …).
-- A directory holds addresses, tests, `.d.ts` declarations and two fenced directories alone: `lib/` for components and
-  modules, and `public/` for files served as they are (`src/blog/public/cover.png` answers
-  `/blog/cover.png`). Anything else beside the pages is a build error.
-- A test is a `.test.ts`, kept beside the file it tests — a page, a handler, or a module in `lib/`.
+- A directory holds addresses, tests, benches, `.d.ts` declarations and two fenced directories alone: `lib/` for components and
+  modules, and `public/` for files served as they are. Anything else beside the pages is a build error.
+- Either fence may sit in any directory, at the root or beside the pages that use it.
+  `src/lib/` and `src/invoices/lib/` import alike (`#src/…`); the one difference is a lifecycle
+  hook a `lib/` file calls, filed at the route of the directory holding that `lib/` (RULEBOOK 37.1).
+  A `public/` file answers at the route of the directory holding it: `src/public/logo.png` answers
+  `/logo.png`, and `src/blog/public/cover.png` answers `/blog/cover.png`.
+- A test is a `.test.ts`, and a bench a `.bench.ts`, kept beside the file it tests or times — a
+  page, a handler, or a module in `lib/` (RULEBOOK 23.22).
   A browser test (playwright) is a `.test.ts` too, under `e2e/` beside `src/`: `bun test` reads
   `src/` alone (`root` in `bunfig.toml`), so it never runs one.
 - A module the browser never loads is named `<name>.server.ts` and lives in `lib/`
@@ -50,6 +61,13 @@ before writing code, rather than guessing from Svelte, Vue or React. It installs
 
 ## Habits
 
+- Measure with `@abide/harness`, not a hand-written timer, bench runner or Chrome DevTools Protocol
+  script. Its three lanes: `measure` from `@abide/harness/abide` is the DOM work and wakes an op
+  did, under `bun test`; `batch` from `@abide/harness/report` is time, in a bench; `traceOp` and
+  `shares` from `@abide/harness/engine` are what Chromium did, from a playwright test. The page
+  `guide/test-measure-and-ship.md` in `abide.md`, and "The measurement harness" in `REGISTRY.md`,
+  document it.
+
 - Export a `Reactive` itself, never wrapped in an object: an `.abide` file reads and writes it by
   name (RULEBOOK 31.1), and one reached through a property is left to `x()` and `x.set(v)` (31.7).
 - Model output and fetched HTML are untrusted. Never hand them to `raw()` (RULEBOOK 32.2)

package/src/compiler/TypeSession.ts

@@ -915,8 +915,9 @@ export class TypeSession {
             checked.push({ source, map, refusals: shadow.refusals })
         }
         // 34.6 — WHAT THE BUNDLER RESOLVES AND THE CHECKER CANNOT: a stylesheet imported for its
-        // effect. Declared in a file of its own at the app's root, which is a script, because a
-        // pattern module can only be declared outside a module.
+        // effect, and (34.21) markdown imported as text into a `.ts`, which bun's own types leave
+        // out where they declare `.txt`. Declared in a file of its own at the app's root, which is
+        // a script, because a pattern module can only be declared outside a module.
         this.register(
             `${this.canonical(within)}/${AMBIENT}`,
             AMBIENT_DECLARATIONS,
@@ -1484,6 +1485,10 @@ function routesDeclaration(addresses: readonly string[]): string {
     return `export {}\ndeclare module ${JSON.stringify(URL_SOURCE)} {\n    interface Routes {\n${keys}    }\n}\n`
 }
 const AMBIENT_DECLARATIONS = `declare module '*.css' {}
+declare module '*.md' {
+    const text: string
+    export default text
+}
 `
 
 /**

package/src/compiler/emitComponent.ts

@@ -1,9 +1,9 @@
 import type { JsonValue } from '#shared/JsonValue.ts'
-import { SERVER_SPECIFIER } from '#shared/SPECIFIERS.ts'
+import { SERVER_SPECIFIER, SHARED_SPECIFIER } from '#shared/SPECIFIERS.ts'
 import { type CheckerAnswer, UNCHECKED } from './CheckerAnswer.ts'
 import { Cursor, placeTemplate } from './Cursor.ts'
 import { type LoweredChunk, Lowering, PROPS } from './Lowering.ts'
-import type { AbideFile } from './parseAbide.ts'
+import { type AbideFile, scriptBodies } from './parseAbide.ts'
 import { privateExports } from './projectShadow.ts'
 import {
     concat,
@@ -15,7 +15,7 @@ import {
     SERVER_LANE,
 } from './renderMarkup.ts'
 import { insideShare, SETTLED_AT, shareScope } from './shareScope.ts'
-import { splitImports, withoutProps } from './splitImports.ts'
+import { importStatements, splitImports, withoutProps } from './splitImports.ts'
 import type { TemplateNode } from './TemplateNode.ts'
 
 // The name the body is bound to while a component's head contributions land (`HEADS`).
@@ -41,7 +41,8 @@ const CALLS_BEFORE = '__callsBefore'
  * `settles` IS A PAGE OR A LAYOUT, which `render` builds a level at a time (41.19): its setup runs
  * at the call and its markup is built on the first read of `head` or `body`, so the calls the
  * setup started are given the turn to answer. Every other component answers the same way only where
- * its setup made a call (41.28), and builds where it is called otherwise.
+ * its setup made a call or its markup reads a bare `busy` or `ready` (41.28), and builds where it is
+ * called otherwise.
  */
 export function emitComponent(
     file: AbideFile,
@@ -144,16 +145,22 @@ ${heldToAnnotations(lowering, derived)}${privateExports(file.servers.join('\n'))
     // made a call, and then answers as a page does, for `renderComponent` to build after the turn.
     // THE BUILD IS WRITTEN TWICE rather than always run through `__build`: the closure measured ~4%
     // a row on `bench:component`'s card under JSC, the second copy nothing but server module bytes.
-    // One with no setup cannot call, and is written once.
-    const waits = !settles && componentBody.trim() !== ''
-    const level = settles
-        ? deferred()
-        : waits
-          ? `    if (${lowering.use('callsInRender')}() !== ${CALLS_BEFORE}) {
+    // One with no setup cannot call, and is written once. One whose markup reads a bare `busy` or
+    // `ready` answers as a page does always: built where it is called, it would answer before the
+    // siblings after it had started a load, where the browser's answers once every setup has run.
+    const probes =
+        !settles &&
+        readsBareProbe(file, `${head}\n${declared}\n${body.join('\n')}`)
+    const waits = !settles && !probes && componentBody.trim() !== ''
+    const level =
+        settles || probes
+            ? deferred()
+            : waits
+              ? `    if (${lowering.use('callsInRender')}() !== ${CALLS_BEFORE}) {
 ${deferred()}
     }
 ${build}`
-          : build
+              : build
     return `${moduleImports(lowering, () => SERVER_SPECIFIER, [moduleSetup, serverSetup, setup])}
 ${moduleSetup.body === '' ? '' : `${moduleSetup.body}\n`}${serverBody}export default function Component(${lowering.takesProps() ? `${PROPS} = {}` : ''}) {
 ${waits ? `    const ${CALLS_BEFORE} = ${lowering.use('callsInRender')}()\n` : ''}${opened}${componentBody}
@@ -162,6 +169,29 @@ ${level}${closed}
 `
 }
 
+/**
+ * Whether `markup`, a component's emitted head and body, calls `busy` or `ready` with no argument,
+ * under any name the file's scripts import either by from `@abide/abide`. A member's (`s.busy()`)
+ * is not bare.
+ */
+function readsBareProbe(file: AbideFile, markup: string): boolean {
+    let names = ''
+    for (const script of scriptBodies(file))
+        for (const statement of importStatements(script))
+            if (statement.specifier === SHARED_SPECIFIER && !statement.typeOnly)
+                for (const binding of statement.bindings)
+                    if (
+                        !binding.typeOnly &&
+                        (binding.imported === 'busy' ||
+                            binding.imported === 'ready')
+                    )
+                        names += `${names === '' ? '' : '|'}${binding.local}`
+    return (
+        names !== '' &&
+        new RegExp(`(?<![\\w$.])(?:${names})\\(\\s*\\)`).test(markup)
+    )
+}
+
 /**
  * 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

package/src/compiler/scaffold.ts

@@ -35,15 +35,17 @@ const SOURCE_ALIAS = { '#src/*': ['./src/*', './src/*.ts'] }
  * 38.109, 38.119 — the starter's `bunfig.toml`: the harness's abide preload, which is a DOM a test
  * can mount into and measure, then abide's own — the app's `.abide` files imported as modules, with
  * nothing booted first. Its test root is `src`, so a browser test under `e2e` is playwright's alone.
+ * 38.122 — and no peer installed: `bun-plugin-tailwind` names `bun` as one, and an installed copy
+ * lands first on the PATH inside `bun run`, shadowing the bun that runs everything else.
  */
-export const TEST_PRELOAD =
-    '# 38.109, 38.119 — a DOM to mount into and measure, then the app\'s `.abide` files as modules.\n[test]\nroot = "src"\npreload = ["@abide/harness/abide/preload"]\n'
+export const BUNFIG =
+    '# 38.122 — a peer is not installed: an installed `bun` would shadow this one inside `bun run`.\n[install]\npeer = false\n\n# 38.109, 38.119 — a DOM to mount into and measure, then the app\'s `.abide` files as modules.\n[test]\nroot = "src"\npreload = ["@abide/harness/abide/preload"]\n'
 
 // WRITTEN, NOT COPIED, beside the manifests: a packer drops a `bunfig.toml` or a `.gitignore` from
 // the tarball (`bun pm pack` both, `npm pack` the second), so neither survives as a starter file.
 function filesFor(name: string): Record<string, string> {
     return {
-        'bunfig.toml': TEST_PRELOAD,
+        'bunfig.toml': BUNFIG,
         '.gitignore': 'node_modules\n.abide\n',
         'package.json': `${JSON.stringify(
             {
@@ -60,6 +62,8 @@ function filesFor(name: string): Record<string, string> {
                     routes: 'abide routes',
                     // 38.112 — the starter's own test, under the 38.109 preload.
                     test: 'bun test',
+                    // 38.124 — every `*.bench.ts` under `src`, timed, and failed over its `CEILINGS`.
+                    bench: 'harness-bench',
                 },
                 // ONE ALIAS FOR THE SOURCE, and two targets for it, because an extensionless
                 // specifier is how an import is written and only bun probes for the extension:
@@ -72,7 +76,8 @@ function filesFor(name: string): Record<string, string> {
                 dependencies: { '@abide/abide': ABIDE_DEPENDENCY },
                 // `Bun`, `bun:sqlite` and the rest of the runtime a server module reaches for are
                 // typed by these, and `abide check` reports every one untyped without them. The
-                // harness is what the starter's tests measure the work a click does with (38.119).
+                // harness is what the starter's tests measure the work a click does with (38.119), and
+                // what `bench` runs (38.124).
                 devDependencies: {
                     '@abide/harness': HARNESS_DEPENDENCY,
                     '@types/bun': 'latest',

package/src/server/appTree.ts

@@ -23,6 +23,7 @@ import {
     DIRECTORY_FILES,
     isDeclarationFile,
     isServerFile,
+    isBenchFile,
     isTestFile,
     placeOf,
     routeOf,
@@ -111,7 +112,7 @@ function walk(
             refusals.at(
                 path,
                 new Error(
-                    `abide: ${path} is a server file under no lib directory. Move it into a lib directory beside it. RULEBOOK 23.23.`,
+                    `abide: ${path} is a server file under no lib directory. Move it into a lib directory, beside it or in any directory above it. RULEBOOK 23.23.`,
                 ),
             )
             continue
@@ -119,14 +120,19 @@ function walk(
         const abide = path.endsWith('.abide')
         if (abide) files.abide.push(path)
         if (place === 'address') {
-            if (isTestFile(path) || isDeclarationFile(path)) continue
+            if (
+                isTestFile(path) ||
+                isBenchFile(path) ||
+                isDeclarationFile(path)
+            )
+                continue
             if (!abide && !isModule(path)) {
                 if (packaged && relative === '' && !path.endsWith('.ts'))
                     continue
                 refusals.at(
                     path,
                     new Error(
-                        `abide: ${path} is directly in an address directory, which holds pages, layouts, error pages, handler files, test files and declaration files alone. Move it into a lib directory beside it. RULEBOOK 23.22.`,
+                        `abide: ${path} is directly in an address directory, which holds pages, layouts, error pages, handler files, test files, bench files and declaration files alone. Move it into a lib directory, beside it or in any directory above it. RULEBOOK 23.22.`,
                     ),
                 )
                 continue
@@ -152,9 +158,14 @@ function walk(
     }
 }
 
-/** Whether `path` names a module the app runs — neither a declaration nor a test. */
+/** Whether `path` names a module the app runs — neither a declaration, a test nor a bench. */
 function isModule(path: string): boolean {
-    return path.endsWith('.ts') && !isDeclarationFile(path) && !isTestFile(path)
+    return (
+        path.endsWith('.ts') &&
+        !isDeclarationFile(path) &&
+        !isTestFile(path) &&
+        !isBenchFile(path)
+    )
 }
 
 /** The refusal of `source` where `route` lies in the framework's own namespace, or `undefined`. 23.17. */

package/src/server/deferredBuilds.ts

@@ -1,4 +1,5 @@
-// 41.28 — A CHILD WHOSE SETUP MADE A CALL IS BUILT AS A PAGE IS: after the turn.
+// 41.28 — A CHILD WHOSE SETUP MADE A CALL IS BUILT AS A PAGE IS: after the turn — and so is one whose
+// markup reads a bare `busy` or `ready`, which the compiler writes to answer as a page does always.
 // A component is set up where its parent's markup invokes it, so its build cannot wait inline; it is
 // left as a marker in the parent's head and body, built once the turn has run, and written in where
 // its marker stands. A child whose setup made no call builds where it stands, as before, and pays a

package/src/server/placement.ts

@@ -109,6 +109,11 @@ export function isTestFile(path: string): boolean {
     return path.endsWith('.test.ts')
 }
 
+/** Whether `path` names a bench file, which `bun run bench` reads and the app never runs. */
+export function isBenchFile(path: string): boolean {
+    return path.endsWith('.bench.ts')
+}
+
 /** Whether `path` names a declaration file, which the checker reads and nothing runs. */
 export function isDeclarationFile(path: string): boolean {
     return path.endsWith('.d.ts')

package/src/server/renderComponent.ts

@@ -30,8 +30,9 @@ export function renderComponent(
     const rendered = (
         component as (props: Record<string, () => unknown>) => Rendered
     )(props)
-    // 41.28 — A CHILD WHOSE SETUP MADE A CALL ANSWERS AS A PAGE DOES, with a `scope` and its build
-    // left for the first read, and is built after the turn where a page is being built.
+    // 41.28 — A CHILD WHOSE SETUP MADE A CALL, OR WHOSE MARKUP READS A BARE PROBE, ANSWERS AS A PAGE
+    // DOES, with a `scope` and its build left for the first read, and is built after the turn where a
+    // page is being built.
     if ('scope' in rendered) {
         const marker = deferBuild(rendered, heads, callsFrom)
         if (marker !== undefined) return marker

package/src/server/runtimeRefusal.ts

@@ -0,0 +1,13 @@
+/**
+ * Why the bun at `version` cannot run abide, which asks for `range` — or `undefined` where it can.
+ *
+ * 38.123 — named in full, both versions and the way out, since an older bun fails later and
+ * somewhere unrelated, if at all.
+ */
+export function runtimeRefusal(
+    version: string,
+    range: string,
+): string | undefined {
+    if (Bun.semver.satisfies(version, range)) return undefined
+    return `this is bun ${version}, and abide needs bun ${range}. Run \`bun upgrade\`, or install a bun in that range. RULEBOOK 38.123.`
+}