@abide/abide 0.123.2 → 0.124.0

package/ABIDE.md

@@ -7,7 +7,7 @@ rather than guessing from Svelte, Vue or React. It installs with the package:
 
 - `node_modules/@abide/abide/docs/abide.md` — every documentation page in reading order, with a
   working example for each task. It is long: read its Contents, then search for the page's
-  address, which heads each page as a comment — `<!-- values/show-a-value-that-changes.md -->`.
+  address, which heads each page as a comment — `<!-- guide/keep-it-current.md -->`.
 - `node_modules/@abide/abide/docs/REGISTRY.md` — every name an app can import or write, with its
   signature and the rules that govern it.
 - `node_modules/@abide/abide/docs/RULEBOOK.md` — every rule, numbered. A compiler or server
@@ -46,6 +46,8 @@ affected code saying what it did, and tell the user.
   your changes are done.
 - `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.
+- `docker build .` — the scaffold's `Dockerfile` runs `abide compile` and ships the one executable it
+  writes on a distroless image, and nothing else of the app (RULEBOOK 38.132).
 
 ## Layout
 
@@ -91,11 +93,12 @@ affected code saying what it did, and tell the user.
 - Change part of a value by writing through its path — `edits.kind = kind`, `items.push(item)`
   (RULEBOOK 31.8, 31.9) — not by rebuilding it (`edits = { ...edits, kind }`,
   `items = [...items, item]`). Bind through the path too: `bind:value={edits.kind}` (32.5), not a
-  `{ get, set }` pair. In a `.ts` file the same write is `edits.patch((value) => { value.kind = kind })`,
-  not `edits.set({ ...edits(), kind })`.
+  `{ get, set }` pair. In a `.ts` file the same write is
+  `edits.patch((value) => { value.kind = kind })`, not `edits.set({ ...edits(), kind })`.
 - Derive a value with `reactive(() => …)`. `watch` is only for reaching outside the reactive graph —
-  the DOM, a timer, an imperative API — and never assigns state; a user action's effect belongs in
-  its event handler. A `watch` runs during a server render too (RULEBOOK 12.5), so one that starts a
+  the DOM, a timer, an imperative API — and its run never assigns state, a value computed from what
+  it read being a derived value. What a timer or a call it started hands back is written when that
+  lands, the way an event handler writes. A user action's effect belongs in its event handler. A `watch` runs during a server render too (RULEBOOK 12.5), so one that starts a
   timer or touches a browser global returns a `Disposer`.
 - A preference the page renders — a currency, a theme, a panel left open — lives in a cookie:
   `const theme = reactive(() => cookies().get('theme') ?? 'light')`, written with

package/CHANGELOG.md

@@ -1,5 +1,63 @@
 # @abide/abide
 
+## 0.124.0
+
+### Minor Changes
+
+- 057aef8: `TypeSession` (from `@abide/abide/compiler`) no longer carries `hold`, `projectWith` or `projectionOf`. Every analysis now asks the shadow program through one `ShadowHost`, which owns the snapshot a question runs against, so a caller no longer holds the session and reaches for a raw project by hand.
+- 1a7baec: `abide scaffold` writes a Dockerfile and `.dockerignore`: the app built with `abide compile` on the bun that scaffolded it, and an image on distroless holding the executable alone (RULEBOOK 38.132).
+
+### Patch Changes
+
+- b50ba69: ABIDE.md points at a page address the bundled docs really carry (`guide/keep-it-current.md`), and names the scaffold's Dockerfile and `abide compile` (RULEBOOK 38.132)
+- d3cee54: ABIDE.md says what a `watch` may write: its run assigns no state, and what a timer or a call it started hands back is written when that lands, as an event handler writes
+- de50907: followers owned per app and passed to the mux ([`19e48d5`](https://github.com/briancray/abide/commit/19e48d5d12bdd12e648867e213442cdba0425cc1))
+- de50907: a ShadowHost every analysis asks through, and one reads fixed point ([`1d3e371`](https://github.com/briancray/abide/commit/1d3e3710a5c42c09b44004b5142b47e09bcb20c6))
+- de50907: split runDesktop into a DesktopSession and the window it drives ([`2174dc2`](https://github.com/briancray/abide/commit/2174dc22fea7c092b5ccf10807fd747fd632416c))
+- 5221322: each test file under the test preload starts cold, so a file passes whatever order bun runs the files in — 38.133 ([`2afa677`](https://github.com/briancray/abide/commit/2afa67778caa5a15248d00cb6219078995b2d342))
+- de50907: the selection index into selections.ts ([`4c58131`](https://github.com/briancray/abide/commit/4c581310ba08ccceaf213600b6f8166e186195c5))
+- de50907: one issueReport module for note and issuesOf ([`4d2b85d`](https://github.com/briancray/abide/commit/4d2b85d88da14b474eaa7979347e5ca6ffc6e837))
+- de50907: editor questions asked of the lowering a check registered ([`57d65a8`](https://github.com/briancray/abide/commit/57d65a8c009d4e4b3a740362e7e85ee97a9e3b10))
+- de50907: one module owns the call starting a load ([`8331a7d`](https://github.com/briancray/abide/commit/8331a7df809e0f851a3ebb1d4b99f0b708d1d2be))
+- de50907: a producer port for the verbs outside the core spend ([`84bfbbd`](https://github.com/briancray/abide/commit/84bfbbddcc96ed6dbaec78348d279c5873269698))
+- de50907: one handler invocation for the http and socket lanes ([`8828727`](https://github.com/briancray/abide/commit/8828727a3c2fa24b8c5b37ef8b580aaaf874c0d2))
+- de50907: declare the Cell shape once, in cellShape.ts ([`8fee2f4`](https://github.com/briancray/abide/commit/8fee2f49e63535e92e59240531669794b6f23b16))
+- de50907: the reads fixed point returns its answers rather than filling the caller's ([`c704569`](https://github.com/briancray/abide/commit/c7045690405bb633c329a5252429485eca03d5c8))
+- de50907: decide a navigation's outcome in a pure outcomeOf, executed by Router ([`dc055fc`](https://github.com/briancray/abide/commit/dc055fc290782ebd9b4ea50b0db23a4c408835a4))
+- de50907: one page-render session owns seeding, recording and early calls ([`fcfb07a`](https://github.com/briancray/abide/commit/fcfb07aa398cedafdbd5cef87cecb022c712f6fa))
+- d870b05: `abide format` opens an expression `bun fmt` breaks onto lines of its own at its brace — `{name` rather than `{    name` — the first line outdented like the rest (RULEBOOK 38.126).
+- 5e3caa6: An array mutator called on a reactive name in a `.abide` file is a write: `tags.push(tag)`, `deal.notes.splice(0, 1)` and the rest run on a copy that the name then holds, so the page repaints (RULEBOOK 31.9). The receiver's type decides it — a class's own `push` or a `Map`'s `set` is still the value's call. ABIDE.md names `items.push(item)` as the write again.
+- 2350996: A page's module, and every module it imports, is now evaluated outside the request that first renders it. In an executable `abide compile` writes, a module's `reactive` was built as the first request's own rather than per request, so whatever that request left — a signed-out caller's refusal — stood for every caller after it (RULEBOOK 11.67).
+- d98f382: `abide scaffold`'s `bunfig.toml` comments fit the 80-column line the formatter prints.
+- 37dddd1: A file with no extension imported `with { type: 'text' }` — a `Dockerfile`, a `LICENSE`, a `Makefile` — is its text under `abide dev` and `abide start`, where the page used to answer 500 (RULEBOOK 34.21).
+
+## 0.123.3
+
+### Patch Changes
+
+- abfff21: Router's doc names the LevelChain that stops a page's scope ([`00c3d2d`](https://github.com/briancray/abide/commit/00c3d2d8038c673e5a067b01402b0d270fa485b8))
+- abfff21: a spread writes through setAttribute's compare-then-write (writeAttribute) ([`017a6ff`](https://github.com/briancray/abide/commit/017a6ff26a1e9ba460973b63b2c8ffc5f9e2f863))
+- abfff21: the routed mount argument comment names LevelChain.mountFrom ([`0942e6e`](https://github.com/briancray/abide/commit/0942e6e9d6545dd24d41579fd5ec28e9478892d9))
+- abfff21: a patch-log release run twice leaves a log a later follower opened ([`206d8df`](https://github.com/briancray/abide/commit/206d8dfde626592eb5ca885567f30afeed6b0b6e))
+- abfff21: one patch log for followed values, and patch marks behind functions ([`3cdda11`](https://github.com/briancray/abide/commit/3cdda118d9a8ed4cbd32834c8cd7823c26f0b5fb))
+- abfff21: one args contract for every way a handler is called ([`4e2dcab`](https://github.com/briancray/abide/commit/4e2dcab0bddaf555404fc22687e2efd41d28b500))
+- abfff21: the {#try} ambient is Scope's private, set only through underBoundary; TryRegion swaps through ArmRegion's fills/armOf ([`54e6a91`](https://github.com/briancray/abide/commit/54e6a9158bd9fe167578479a3ce4669d13797457))
+- abfff21: a file the layout has not seen is checked as painting only where it paints ([`587597f`](https://github.com/briancray/abide/commit/587597f23cdeb331816049ff0670b99eebcb1cd8))
+- abfff21: one diagnostics sink owns the finding type, its placement, abide-ignore, order and printing for build, dev, check, format and the language server ([`6d11f57`](https://github.com/briancray/abide/commit/6d11f57adc226b45bd0ddf1b4a305ee6d7a7a000))
+- abfff21: socketWire and outboxQueue each reset in one call (resetSocketWire, resetOutbox); tests stop reaching into Mux internals and draining the outbox by timing ([`721774f`](https://github.com/briancray/abide/commit/721774f93df6040e20015f03755879c4cf534a38))
+- abfff21: a mounted handler is held to the schema its row derived, so a bundled executable coerces and validates its args (RULEBOOK 19.9) ([`76c92a5`](https://github.com/briancray/abide/commit/76c92a51f0b3f49ee95e95d8088c320d7a896341))
+- abfff21: an editor shows the findings abide check has for a file — lints, handler warnings and the emit's refusals included (RULEBOOK 38.11) ([`9824535`](https://github.com/briancray/abide/commit/9824535e191b0f9748edaafadc0bc8ecc08f75d0))
+- abfff21: simplify pass — one placedSource, packageDirectory in appTree, derivedArgs probes once, manifest read beside the table, PatchLog followers always a set, pairingStatus yields the code alone, KeptChecker's heard takes nothing ([`9a6e663`](https://github.com/briancray/abide/commit/9a6e66361364b841cb53362ace080eb1e7d0372f))
+- abfff21: ServerRoute and ServerError stay private to answerRequest ([`9c51de6`](https://github.com/briancray/abide/commit/9c51de674db98e4c2793fa8f496ebe54924c087f))
+- abfff21: the build on disk is one module, and booting from a compilation is one ordering ([`a3a5349`](https://github.com/briancray/abide/commit/a3a5349baa9c55c9a931f00d635a57743ddf1cdc))
+  
+  An app with no `src/` — its root is its package — now keeps its default `.abide` build and its `bun test` build cache inside the package rather than in the directory above it, as RULEBOOK 38.27 has a build sit beside its app; an app with a `src/` is unchanged.
+- abfff21: a LevelChain owns the routed levels and their head bracketing; Router takes a popped history step through one entry and keeps its step bookkeeping private ([`a4d9641`](https://github.com/briancray/abide/commit/a4d9641105f9d1f9958b9bb6fcf90323c07cd6a8))
+- abfff21: a kept checker reopens a stale project, drops one that threw and owns its watchers, for dev and the language server alike ([`c733d7e`](https://github.com/briancray/abide/commit/c733d7ea7b648a02ed366ffe172aa3b996c7e0de))
+- abfff21: a handler file's mount row is built once, for the compiler and the in-memory test app ([`c7db045`](https://github.com/briancray/abide/commit/c7db0459e89ba4ea74918f29d7823c87a9e01d47))
+- abfff21: format the try and wire changes ([`c85913a`](https://github.com/briancray/abide/commit/c85913a0a36bc8e828885b795ba31340057a22ff))
+- abfff21: the bridge relay writes its own frames and hears sign-ins rather than being told ([`ed69e87`](https://github.com/briancray/abide/commit/ed69e87be6e92f9980cb4f9b66edc59f56f7a88f))
+
 ## 0.123.2
 
 ### Patch Changes

package/bin/abide.ts

@@ -16,8 +16,8 @@ import {
     type CompiledApp,
 } from '#compiler/compileApp.ts'
 import { compiledEntry } from '#compiler/compiledEntry.ts'
+import { type Diagnosis, printDiagnoses } from '#compiler/Diagnostics.ts'
 import { formatAbide } from '#compiler/formatAbide.ts'
-import { formatDiagnosis } from '#compiler/formatDiagnosis.ts'
 import { parseAbide } from '#compiler/parseAbide.ts'
 import { scaffold } from '#compiler/scaffold.ts'
 import { serveLanguage } from '#compiler/serveLanguage.ts'
@@ -26,15 +26,17 @@ import {
     type Compilation,
     serverMapsOf,
 } from '#server/abideModules.ts'
-import { banner } from '#server/banner.ts'
-import { buildDirectory } from '#server/buildDirectory.ts'
 import {
-    CLIENT_DIRECTORY,
-    COMPILATION,
-    ENCODING_SUFFIX,
-    MANIFEST,
-    PUBLIC_DIRECTORY,
-} from '#server/CLIENT_BUILD.ts'
+    buildDirectory,
+    type BuildFiles,
+    buildFiles,
+    builtFiles,
+    markBuild,
+    unmarkedBuild,
+    writeWhole,
+} from '#server/appBuild.ts'
+import { banner } from '#server/banner.ts'
+import { ENCODING_SUFFIX } from '#server/CLIENT_BUILD.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'
@@ -45,7 +47,6 @@ import { namesUnder } from '#server/namesUnder.ts'
 import { skipped } from '#server/placement.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'
@@ -72,12 +73,8 @@ const DISK: Host = {
     // 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 }) => {
-        const handle = appOnDisk(directoriesOf(values), async (root, out) =>
-            (await serveBuild(root, out, (root, out) =>
-                writeBuild({ root, out }, console.error),
-            ))
-                ? out
-                : undefined,
+        const handle = appOnDisk(directoriesOf(values), (root, out) =>
+            writeBuild({ root, out }, console.error),
         )
         return RUNTIME_REFUSAL === undefined
             ? handle
@@ -116,15 +113,12 @@ async function writeBuild(
     process.env.NODE_ENV ??= 'production'
     // 38.66 — what this build may remove is only what was written before it began.
     const began = Date.now()
-    // 38.100 — a build that fails leaves no build: the previous one's marker goes before anything
-    // can fail, so `abide start` builds again and says why rather than booting what is left.
-    const marker = `${out}/${COMPILATION}`
-    await rm(marker, { force: true })
+    // 38.100 — before anything can fail, so a build that fails leaves no build.
+    const files = await unmarkedBuild(out)
     // `--out` is a real flag rather than a constant because two test files each building into
     // one `.abide/` is the contention CLAUDE.md's "checks" section already records once.
     const app = await compileApp(root)
-    for (const warning of app.warnings)
-        console.warn(formatDiagnosis(warning, process.cwd()))
+    printDiagnoses(app.warnings, console.warn)
     if (
         Object.keys(app.files).length === 0 &&
         Object.keys(app.handlers).length === 0
@@ -138,14 +132,13 @@ async function writeBuild(
     // 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.
     await writeClient(
-        out,
+        files,
         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))
+    const copied = await copyPublic(root, files, app.published, began)
+    await markBuild(files, compilation)
     say(
         `abide build: ${app.sources} source(s), ${copied} public file(s) -> ${out}`,
     )
@@ -299,9 +292,7 @@ async function writtenEntry(
             root,
             sourceMaps: serverMapsOf(app, root),
             package: packageUnder(root),
-            manifest: await Bun.file(`${out}/${MANIFEST}`).json(),
-            client: pathsUnder(`${out}/${CLIENT_DIRECTORY}`),
-            published: pathsUnder(`${out}/${PUBLIC_DIRECTORY}`),
+            ...(await builtFiles(out)),
         }),
     )
     return { entry, compilation: app }
@@ -443,7 +434,7 @@ async function writeIcon(root: string, resources: string): Promise<boolean> {
 
 /** 38.79 — the public file the app's icon is drawn from: `/icon.icns`, else `/icon.png`. */
 async function publishedIcon(root: string): Promise<string | undefined> {
-    const published = `${buildDirectory(root)}/${PUBLIC_DIRECTORY}`
+    const { published } = buildFiles(buildDirectory(root))
     for (const address of [ICON_ADDRESSES.icns, ICON_ADDRESSES.png])
         if (await Bun.file(`${published}${address}`).exists())
             return `${published}${address}`
@@ -517,7 +508,7 @@ ${body}</dict>
  */
 async function copyPublic(
     root: string,
-    out: string,
+    files: BuildFiles,
     published: Map<string, string>,
     began: number,
 ): Promise<number> {
@@ -528,35 +519,35 @@ async function copyPublic(
         produced.add(address.slice(1))
         copies.push(
             writeWhole(
-                `${out}/${PUBLIC_DIRECTORY}${address}`,
+                `${files.published}${address}`,
                 Bun.file(`${root}/${source}`),
             ),
         )
     }
     await Promise.all(copies)
     // 38.66 — a public file the app no longer has is no longer answered.
-    await pruneStale(`${out}/${PUBLIC_DIRECTORY}`, produced, began)
+    await pruneStale(files.published, produced, began)
     return published.size
 }
 
 /**
- * Writes the client bundle (`clientBundle`) into `out`, with its manifest and precompressed copies.
+ * Writes the client bundle (`clientBundle`) into the build, with its manifest and precompressed copies.
  *
  * 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 writeClient(
-    out: string,
+    files: BuildFiles,
     bundle: ClientBundle,
     began: number,
 ): Promise<void> {
-    const client = `${out}/${CLIENT_DIRECTORY}`
+    const { client } = files
     // 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()}`
+    const staging = `${dirname(client)}/.staging-${crypto.randomUUID()}`
     try {
         const written: Promise<void>[] = []
         for (const [name, { bytes }] of bundle.files)
@@ -574,7 +565,7 @@ async function writeClient(
         }
         await Promise.all(moves)
         await pruneStale(client, produced, began)
-        await writeWhole(`${out}/${MANIFEST}`, JSON.stringify(bundle.manifest))
+        await writeWhole(files.manifest, JSON.stringify(bundle.manifest))
     } finally {
         await rm(staging, { recursive: true, force: true })
     }
@@ -642,17 +633,6 @@ async function pruneStale(
     await Promise.all(stale)
 }
 
-/**
- * Writes `path` whole: to a name of its own beside it, then renamed over it.
- *
- * 38.66 — a reader, or a second build, finds the last complete file there and never a partial one.
- */
-async function writeWhole(path: string, content: string | Blob): Promise<void> {
-    const partial = `${path}.${crypto.randomUUID()}.partial`
-    await Bun.write(partial, content)
-    await rename(partial, path)
-}
-
 /**
  * Wraps a command body with the app's absolute root and build directory, or fails with no app.
  *
@@ -741,24 +721,18 @@ async function check(
     { positionals }: Given,
 ): Promise<number> {
     const within = namedDirectories(positionals)
-    const found = await checkApp(root)
-    let errors = 0
-    let warnings = 0
-    for (const diagnosis of found) {
+    const found: Diagnosis[] = []
+    for (const diagnosis of await checkApp(root))
         if (
-            within.length > 0 &&
-            !within.some(
+            within.length === 0 ||
+            within.some(
                 (directory) =>
                     diagnosis.path === directory ||
                     diagnosis.path.startsWith(`${directory}/`),
             )
         )
-            continue
-        if (diagnosis.category === 'error') errors += 1
-        else if (diagnosis.category === 'warning') warnings += 1
-        else continue
-        console.log(formatDiagnosis(diagnosis, process.cwd()))
-    }
+            found.push(diagnosis)
+    const { errors, warnings } = printDiagnoses(found, console.log)
     console.log(
         `abide check: ${errors} error${errors === 1 ? '' : 's'}, ${warnings} warning${warnings === 1 ? '' : 's'}`,
     )
@@ -802,10 +776,7 @@ async function format(within: string[], { values }: Given): Promise<number> {
             next += 1
             const text = await Bun.file(path).text()
             const formatted = await formatAbide(path, text)
-            for (const finding of formatted.findings) {
-                errors += 1
-                console.log(formatDiagnosis(finding, process.cwd()))
-            }
+            errors += printDiagnoses(formatted.findings, console.log).errors
             if (formatted.text === text) continue
             changed += 1
             if (values.check)

package/docs/REGISTRY.md

@@ -2,6 +2,9 @@
 
 Every name an app author can write, with its type and what it is.
 
+`@abide/abide/compiler`, and the `/runtime`, `/routing` and `/wire` entries a compiled bundle
+imports, are tooling rather than surface an app author writes, and none of their names is a row.
+
 ## What this document is
 
 A **registry**. One row per name, and the row answers exactly one question: *what is this?*
@@ -51,6 +54,7 @@ Accepted, Failures>` is the inner value's own `Accepted`. Then `Failures`, then
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
 | `Reactive` | `Reactive<Stored = undefined, Accepted = Stored, Failures = never, Produced = Stored>` | The value type every producer in this design hands back. | 1.1, 1.2, 1.3, 1.4, 1.6, 1.7, 1.8, 9.1, 9.14 |
+| `isReactive` | `(value: unknown) => value is Reactive<unknown>` | Whether a value is a `Reactive`. | 1.6 |
 | `Keyed` | `Keyed<Stored, Args, Accepted = Stored, Failures = never, Produced = Stored>` | What a body declaring a parameter hands back: a factory carrying the probes and the triggers. | 4.13, 11.2, 11.4, 11.6, 11.23, 11.55 |
 | `Accepted` | `unknown` | What a factory and a write take, before the gates run. | 4.1, 4.2 |
 | `Stored` | `unknown` | What is held, and what a read returns. | 4.7, 5.2 |
@@ -213,28 +217,45 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `Rpc` | `<Value, Args, Failures, Produced = Value>(args?: Args, options?: { signal?: AbortSignal; offline?: (args: Args) => Value }) => Reactive<Value, Value, Failures \| Failed<'HttpError', undefined>, Produced>` | A handler reached over http, or in process on a server. | 16.3, 16.4, 16.8, 16.11, 16.25, 16.26, 16.27, 16.28, 16.29, 16.33, 16.43, 16.48, 16.49, 16.62, 41.5, 41.7, 41.12, 41.21, 41.22, 41.25, 41.26, 41.27, 16.79, 16.80, 16.85 |
+| `Rpc` | `<Value, Args, Failures = never, Produced = Value>(args?: Args, options?: { signal?: AbortSignal; offline?: (args: Args) => Value }) => Reactive<Value, Value, Failures \| Failed<'HttpError', undefined> \| Annotated<Args>, Produced>` | A handler reached over http, or in process on a server. | 16.3, 16.4, 16.8, 16.11, 16.25, 16.26, 16.27, 16.28, 16.29, 16.33, 16.43, 16.48, 16.49, 16.62, 41.5, 41.7, 41.12, 41.21, 41.22, 41.25, 41.26, 41.27, 16.79, 16.80, 16.85 |
 | `offline` | `(args: Args) => Value` | What a call settles to where a browser could not get its answer. | 16.81, 16.82, 16.83, 16.84 |
 | `Value` | `unknown` | What the addressed `Reactive` holds. | 16.3, 16.30 |
 | `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` | `Middleware<Answer = never, Extra extends object = object> = <Given extends { request: Request } & Extra, Result>(next: (ctx?: Given) => Promise<Result>, ctx: Given) => Result \| Answer \| Failed<string, unknown> \| Promise<Result \| Answer \| Failed<string, unknown>>` | One rung, written once for every lane whose context carries `Extra`. | 16.14, 16.15, 16.16, 16.21, 37.14, 37.15 |
-| `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 `ReactiveOptions` (`ttl`, `global`, `debounce` and the rest) build the value it becomes beside its address. | 16.1, 16.6, 16.7 |
-| `GET` | `<Value, Failures, RungFailures>(handler: Value \| PromiseLike<Value>, options?: RpcOptions<undefined, RungFailures> & ReactiveOptions<Value, Value, Failures>) => Rpc<Value, undefined, Failures \| RungFailures>` | The value overload, for what the handler owns outright, whose `ReactiveOptions` build the value it becomes. | 16.1, 16.6, 16.7 |
+| `GET` | `<Stored, Accepted, Failures, Produced>(handler: Reactive<Stored, Accepted, Failures, Produced>, options?: RpcOptions<undefined>) => Rpc<Stored, undefined, Failures, 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` | `<Stored, Args, Accepted, Failures, Produced>(handler: Keyed<Stored, Args, Accepted, Failures, Produced>, options?: RpcOptions<Args>) => Rpc<Stored, Args, Failures, Produced>` | The keyed overload, for a `Keyed` given an address. | 11.2, 16.1, 16.3, 16.6 |
+| `GET` | `<Chunk, Shaped = Chunk[], Gate = Schema<Chunk[]>>(handler: () => AsyncGenerator<Chunk> \| Promise<AsyncGenerator<Chunk>>, options?: Shaping<Chunk[], Shaped, never, Gate> & RpcOptions<undefined>) => Rpc<Kept<Shaped>, undefined, Refusals<Shaped, Gate, Chunk[]>, Chunk>` | The streaming overload, whose options build the value it becomes beside its address. | 16.1, 16.6, 16.7, 16.44, 16.45, 16.46, 16.47 |
+| `GET` | `<Chunk, Args, Shaped = Chunk[], Gate = Schema<Chunk[]>, ArgsGate = Schema<Args>>(handler: (args: Args) => AsyncGenerator<Chunk> \| Promise<AsyncGenerator<Chunk>>, options?: Shaping<Chunk[], Shaped, Args, Gate, ArgsGate> & RpcOptions<Args>) => Rpc<Kept<Shaped>, Args, Refusals<Shaped, Gate, Chunk[], ArgsGate, Args>, Chunk>` | The keyed streaming overload. | 11.2, 16.1, 16.6, 16.7 |
+| `GET` | `<Chunk, Args, Shaped = Chunk[], Gate = Schema<Chunk[]>, ArgsGate = Schema<Args \| undefined>>(handler: (args?: Args) => AsyncGenerator<Chunk> \| Promise<AsyncGenerator<Chunk>>, options?: Shaping<Chunk[], Shaped, Args \| undefined, Gate, ArgsGate> & RpcOptions<Args \| undefined>) => Rpc<Kept<Shaped>, Args \| undefined, Refusals<Shaped, Gate, Chunk[], ArgsGate, Args \| undefined>, Chunk>` | The keyed streaming overload for a body whose parameter is optional. | 11.2 |
+| `GET` | `<Computed, Shaped = Awaited<Computed>, Gate = Schema<Awaited<Computed>>>(handler: () => Computed, options?: Shaping<Awaited<Computed>, Shaped, never, Gate> & RpcOptions<undefined>) => Rpc<Kept<Shaped>, undefined, AdoptedFailures<Computed> \| Refusals<Shaped, Gate, Awaited<Computed>>, AdoptedProduced<Computed, Kept<Shaped>>>` | The plain-function overload, whose options (`ttl`, `global`, `debounce` and the rest) build the value it becomes beside its address. | 16.1, 16.6, 16.7 |
+| `GET` | `<Computed, Args, Shaped = Awaited<Computed>, Gate = Schema<Awaited<Computed>>, ArgsGate = Schema<Args>>(handler: (args: Args) => Computed, options?: Shaping<Awaited<Computed>, Shaped, Args, Gate, ArgsGate> & RpcOptions<Args>) => Rpc<Kept<Shaped>, Args, AdoptedFailures<Computed> \| Refusals<Shaped, Gate, Awaited<Computed>, ArgsGate, Args>, AdoptedProduced<Computed, Kept<Shaped>>>` | The keyed plain-function overload. | 11.2, 16.1, 16.6, 16.7 |
+| `GET` | `<Computed, Args, Shaped = Awaited<Computed>, Gate = Schema<Awaited<Computed>>, ArgsGate = Schema<Args \| undefined>>(handler: (args?: Args) => Computed, options?: Shaping<Awaited<Computed>, Shaped, Args \| undefined, Gate, ArgsGate> & RpcOptions<Args \| undefined>) => Rpc<Kept<Shaped>, Args \| undefined, AdoptedFailures<Computed> \| Refusals<Shaped, Gate, Awaited<Computed>, ArgsGate, Args \| undefined>, AdoptedProduced<Computed, Kept<Shaped>>>` | The keyed plain-function overload for a body whose parameter is optional. | 11.2 |
+| `GET` | `<Accepted, Shaped = Accepted, Gate = Schema<Accepted>>(handler: Accepted \| PromiseLike<Accepted>, options?: Shaping<Accepted, Shaped, never, Gate> & RpcOptions<undefined>) => Rpc<Kept<Shaped>, undefined, Refusals<Shaped, Gate, Accepted>>` | The value overload, for what the handler owns outright, whose options build the value it becomes. | 16.1, 16.6, 16.7 |
 | `POST` / `PUT` / `PATCH` / `DELETE` | same as `GET` | Declares a mutation. | 16.2, 16.7, 16.32, 16.68, 16.76, 16.38, 16.53 |
 | `rpc.busy` | `(pattern?: Partial<Args>) => boolean` | `busy` narrowed to the handler's matching entries. | 13.2, 13.3, 13.12, 13.19, 46.11 |
 | `rpc.ready` | `(pattern?: Partial<Args>) => boolean` | `ready` narrowed to the handler's matching entries. | 13.11, 13.12, 13.19 |
 | `rpc.synced` | `(pattern?: Partial<Args>) => boolean` | `synced` narrowed to the handler's matching entries. | 13.12, 13.18, 13.19 |
 | `rpc.invalidate` | `(pattern?: Partial<Args>) => void` | `invalidate` narrowed to the handler's matching entries. | 7.2, 7.3, 13.4, 13.12, 13.19 |
 | `rpc.refresh` | `(pattern?: Partial<Args>) => void` | `refresh` narrowed to the handler's matching entries. | 7.4, 7.5, 13.4, 13.12, 13.19 |
-| `rpc.isError` | `<Name extends Failures['name']>(error: unknown, name: Name) => error is Extract<Failures, { name: Name }>` | Whether a caught failure is the one named. | 16.8 |
+| `rpc.isError` | `<Name extends string>(error: unknown, name: Name) => error is Extract<Failures \| Failed<'HttpError', undefined> \| Annotated<Args>, { 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, 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 |
 
+The aliases a call's failures and a plain handler's options are spelled through are declared
+rather than listed, none of them being a name an app writes. `Annotated` is the `ValidationError` of
+16.8, `never` wherever 19.9 derives no object's schema from `Args`:
+
+```ts
+type Annotated<Args> = 0 extends 1 & Args ? never : unknown extends Args ? never : Derived<Exclude<Args, undefined>>
+type Derived<Member, Whole = Member> = Member extends readonly unknown[] | ((...given: never[]) => unknown) ? never : Member extends object ? [Whole] extends [Member] ? [keyof Member] extends [never] ? [string] extends [Member] ? Failed<'ValidationError', Issues<Whole>> : never : Failed<'ValidationError', Issues<Whole>> : never : never
+type Shaping<Accepted, Shaped, Args = never, Gate = Schema<Accepted>, ArgsGate = Schema<Args>> = Omit<ReactiveOptions<Accepted, Kept<NoInfer<Shaped>>, never, Args>, 'transform' | 'schema' | 'args'> & { transform?: (value: Accepted) => Shaped; schema?: Gate & Schema<Accepted>; args?: [Args] extends [never] ? never : ArgsGate & Schema<Args> }
+type Refusals<Shaped, Gate, Stored, ArgsGate = Schema<never>, Args = never> = Refused<Shaped> | Gated<Gate, Stored> | Gated<ArgsGate, Args>
+```
+
 ### `RpcOptions`
 
 | Name | Signature | Meaning | Rules |
@@ -349,9 +370,9 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `claudeCode` | `(config?: ClaudeCodeConfig) => Provider` | The visitor's own Claude Code, reached through the bridge paired with their browser, as a provider. | 44.5, 44.13, 44.17, 44.18, 44.19, 44.24, 44.25, 44.27, 44.30, 44.33, 44.45, 44.46 |
+| `claudeCode` | `(config?: ClaudeCodeConfig) => Provider` | The visitor's own Claude Code, reached through the bridge paired with their browser, as a provider. | 44.5, 44.13, 44.17, 44.18, 44.19, 44.33 |
 | `ClaudeCodeConfig` | `{ model?: string; fallbackModel?: string; systemPrompt?: string; appendSystemPrompt?: string; effort?: 'low' \| 'medium' \| 'high' \| 'xhigh' \| 'max'; maxBudgetUsd?: number; betas?: string[]; disallowedTools?: string[]; tools?: string[] }` | The Claude Code options a site may set for a turn, and the built-in tools it asks the visitor for. | 44.16, 44.29 |
-| `claudeCode.bridgeCommand` | `(options?: { tools?: string[] }) => { command: string; link: string; expires: number }` | The command and the link that pair a bridge with this browser, granting the built-in tools it is given. | 44.14, 44.32, 44.33, 44.40, 44.41, 44.42, 44.43, 44.44 |
+| `claudeCode.bridgeCommand` | `(options?: { tools?: string[] }) => { command: string; link: string; expires: number }` | The command and the link that pair a bridge with this browser, granting the built-in tools it is given. | 44.14, 44.32, 44.33, 44.40 |
 | `claudeCode.bridge` | `(options?: { tools?: string[] }) => AsyncGenerator<BridgeStatus>` | This browser's pairing, as it changes. | 44.20, 44.22, 44.32, 44.33, 44.34, 44.40 |
 | `BridgeStatus` | `{ paired: boolean; command: string \| undefined; link: string \| undefined }` | Whether a bridge is paired, and the command and the link that pair one where none is. | 44.20, 44.40 |
 | `/__abide/bridge` | `GET`, `POST` | Where a bridge pairs, and is relayed its turns. | 36.7, 44.14, 44.15, 44.19, 44.23, 44.26, 16.57, 16.78 |
@@ -362,7 +383,8 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `cookies` | `() => CookieMap` | The cookies of the request being served, live and mutable. | 22.2, 22.3, 22.4, 22.5, 22.6, 22.7, 22.8, 22.10 |
+| `cookies` | `() => Cookies` | The cookies of the request being served, live and mutable. | 22.2, 22.3, 22.4, 22.5, 22.6, 22.7, 22.8, 22.10 |
+| `Cookies` | `class Cookies implements Iterable<[string, string]> { get(name: string): string \| null; has(name: string): boolean; set(name: string, value: string, options?: CookieInit): void; set(options: CookieInit): void; delete(name: string, options?: Omit<CookieStoreDeleteOptions, 'name'>): void; delete(options: CookieStoreDeleteOptions): void; size: number; toJSON(): Record<string, string>; toSetCookieHeaders(): string[] }` | A cookie jar shaped like Bun's `CookieMap`. | 22.4, 22.5, 22.6 |
 
 ## `request`
 
@@ -499,7 +521,7 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 
 | Name | Signature | Meaning | Rules |
 | --- | --- | --- | --- |
-| `csp` | `(sources?: Record<string, string[]>) => (next: (ctx?: { request: Request }) => Promise<Response>, ctx: { request: Request }) => Promise<Response>` | The rung that sets `content-security-policy`. | 29.1, 29.2, 29.5, 29.6, 29.7, 29.8 |
+| `csp` | `(sources?: Record<string, string[]>) => (next: (ctx?: { request: Request }) => Promise<Response>, ctx: { request: Request }) => Response \| Promise<Response>` | The rung that sets `content-security-policy`. | 29.1, 29.2, 29.5, 29.6, 29.7, 29.8 |
 | `csp.nonce` | `() => string` | This response's nonce, for the app's own inline script. | 29.3, 29.4, 29.9, 29.11 |
 
 ## `url`
@@ -539,7 +561,7 @@ type Gated<Gate, Accepted> = [Schema<Accepted>] extends [Gate] ? never : Failed<
 | `foo.push(v)` | the same | 31.8, 31.9 |
 | `const [a, b] = foo` / `...foo` | one read of the value | 31.12 |
 | `foo.bar` | the value's `bar`, or the `Reactive`'s own `bar` where it declares one the value does not | 31.5 |
-| `foo.bar(…)` | the `Reactive` API where `bar` is a member | 31.6 |
+| `foo.bar(…)` | a call of the value's `bar`, or of the `Reactive`'s own `bar` where it declares one the value does not | 31.6 |
 | `foo()` / `foo.set(v)` | the explicit forms | 31.7, 31.11 |
 
 ## Templating
@@ -850,7 +872,7 @@ rows a runner prints, and an adapter for an abide app.
 
 | Name | Meaning | Rules |
 | --- | --- | --- |
-| `preload = ["@abide/harness/abide/preload"]` | The `[test]` preload that registers a DOM a test mounts into and measures, then abide's own. | 38.109, 38.119 |
+| `preload = ["@abide/harness/abide/preload"]` | The `[test]` preload that registers a DOM a test mounts into and measures, then abide's own. | 38.109, 38.119, 38.133 |
 
 # CLI
 
@@ -858,7 +880,7 @@ 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, 38.122, 38.124, 38.131 |
+| `abide scaffold <name>` | Writes a starter project. | 38.1, 38.42, 38.103, 38.104, 38.106, 38.112, 38.122, 38.124, 38.131, 38.132 |
 | `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, 38.123 |
 | `abide format [--check] [dir…]` | The formatter over a `.abide` tree. | 38.25, 38.125, 38.126, 38.127, 38.128, 38.129 |
@@ -876,3 +898,14 @@ rows a runner prints, and an adapter for an abide app.
 | `abide lsp` | The `.abide` language server, over stdio. | 38.11, 38.34, 38.39, 38.98, 38.116, 38.117, 38.118, 38.130 |
 | `--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 |
+
+## `abide-bridge` — the bridge
+
+`@abide/bridge`, a package of its own: what a visitor runs to put their own Claude Code behind a
+site's `claudeCode`.
+
+| Command | Meaning | Rules |
+| --- | --- | --- |
+| `abide-bridge <site> <code> [--claude <path>] [--env NAME=VALUE]… [-- <options>]` | This machine's Claude Code, paired with the browser a site minted the code for. | 44.15, 44.16, 44.24, 44.25, 44.27, 44.30, 44.44, 44.45, 44.46 |
+| `abide-bridge install [--claude <path>] [--env NAME=VALUE]… [-- <options>]` | The app that opens a site's `abide-bridge` links on this machine, registered. | 44.41, 44.42, 44.43, 44.44 |
+| `abide-bridge uninstall` | `abide-bridge install`, undone. | 44.43 |

package/docs/RULEBOOK.md

@@ -1559,9 +1559,11 @@ error naming the mount.
 23.21 A `.abide` of the app's own directly in a directory under no fence MUST be a page, save a
 `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 param 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.22 A file of the app's own directly in a directory under no fence MUST be a `.abide`, a handler
+file (`<name>.handler.ts`), a param file (`<NAME>.param.ts`), a test file (`<name>.test.ts`), a bench
+file (`<name>.bench.ts`) or a declaration file (`<name>.d.ts`), and any other MUST be a build error
+naming the file and a `lib` directory — save a file directly in a root that holds its package's
+`package.json`, which MAY be any file but a `.ts`.
 
 23.23 A server file of the app's own under no `lib` directory MUST be a build error naming the file
 and a `lib` directory.
@@ -1891,8 +1893,8 @@ member, and the value's method otherwise.
 31.8 A write through a member path into plain data MUST copy down that path and then write, and the
 copy MUST NOT be optimized away.
 
-31.9 A mutator lifted per 31.8 MUST be resolved from the type of the `Reactive` rather than from
-the member name.
+31.9 A call of an array's mutator through a member path MUST be a write per 31.8, run on a copy of
+the receiver, and MUST be resolved from the type of the receiver rather than from the member name.
 
 31.10 A template-local binding MUST shadow a name bound to a `Reactive` for the body it is bound in.
 
@@ -1903,8 +1905,8 @@ the member name.
 31.13 A name MUST hold the `Reactive` where the declared type of its position is a `Selection`, or a
 type parameter constrained by one.
 
-31.14 A write through a member path that reaches a value which is not plain data — an array, or an
-object whose prototype is `Object.prototype` or `null` — MUST assign on that value itself, MUST NOT
+31.14 A write through a member path that reaches a value which is not plain data — anything but an
+array or an object whose prototype is `Object.prototype` or `null` — MUST assign on that value itself, MUST NOT
 copy it or any level above it, and MUST NOT wake a reader.
 
 31.15 `route.url`, `route.params`, `route.name` and `route.navigating` MUST each be read and written
@@ -2281,8 +2283,9 @@ loads MUST NOT carry it.
 34.20 A `<script server>` in a `.abide` file of the app's own under a `public` directory MUST be a
 compile error.
 
-34.21 A file a script block imports `with { type: 'text' }`, a `.abide` among them, MUST be imported
-as its text and typed a `string`, on a server, in a browser and to the checker alike.
+34.21 A file a script block imports `with { type: 'text' }`, a `.abide` and a file whose name has no
+extension among them, MUST be imported as its text and typed a `string`, on a server, in a browser
+and to the checker alike.
 
 34.22 A binding a `<script server>` imports that its file's `<script module>` or `<script>` imports
 from the same specifier under the same name MUST compile as that one binding, a value wherever any
@@ -2863,6 +2866,12 @@ editor holds.
 38.131 The project `abide scaffold` writes MUST carry Tailwind wired: `bun-plugin-tailwind` declared
 in its `bunfig.toml` (38.43), and a stylesheet importing `tailwindcss` that its root layout imports.
 
+38.132 The project `abide scaffold` writes MUST carry a Dockerfile whose image holds the executable
+`abide compile` writes and nothing else of the app.
+
+38.133 Under `bun test` with `@abide/abide/test` preloaded, each test file after the first in a
+process MUST start as a bare `invalidate` (13.6) leaves the values the files before it loaded.
+
 # 39. Head and view transitions
 
 39.1 A `<head>` element in a `.abide` file MUST contribute its children to the document head.
@@ -2968,7 +2977,8 @@ NOT be answered by a fixture.
 
 40.16 Instrumentation the documentation adds to an `<Example>` MUST sit outside the render.
 
-40.17 A page MUST embed one `<Example>` per behavior it teaches, save a page 40.35 exempts.
+40.17 A page MUST embed one `<Example>` per behavior it teaches, save a page or a section 40.35
+exempts.
 
 40.18 An `<Example>` MUST demonstrate exactly one behavior.
 
@@ -3014,11 +3024,11 @@ about.
 40.34 The documentation site MUST serve `docs/RULEBOOK.md` at `/rulebook`, read from the file as the
 site builds, with each clause and each group anchored by its own number.
 
-40.35 A page whose every behavior is performed by a command, or decided by the deployment an app is
-served from, MAY embed no `<Example>`.
+40.35 A page, or a section of one, whose every behavior is performed by a command, or decided by the
+deployment an app is served from, MAY embed no `<Example>`.
 
-40.36 A page embedding no `<Example>` under 40.35 MUST name which of the two in its `SITE` entry's
-`cardless`.
+40.36 A page embedding no `<Example>` at all under 40.35 MUST name which of the two in its `SITE`
+entry's `cardless`.
 
 40.37 The documentation site MUST serve each chapter's feature directory at the address the chapter
 app serves it at, with none of the site's chrome around its pages.