@abide/abide 0.117.2 → 0.119.0

package/src/server/remote.ts

@@ -11,6 +11,7 @@ import type { PatchOp } from '#shared/reactive/PATCH_SINKS.ts'
 import { rankRoutes } from '#shared/routePattern.ts'
 import type { Method } from '#shared/rpc.ts'
 import { argsInURL, rpcRequest } from '#shared/rpcRequest.ts'
+
 import type { Mount } from './answerRpc.ts'
 import { DEFAULT_PORT } from './DEFAULT_PORT.ts'
 import { withoutTrailingSlash } from './withoutTrailingSlash.ts'
@@ -115,11 +116,15 @@ function handlerAt(
     address: string,
     method: string | undefined,
 ): Mount | undefined {
-    const rows: { pattern: string; mount: Mount }[] = []
+    const rows: {
+        pattern: string
+        matchers: Record<string, string>
+        mount: Mount
+    }[] = []
     for (const mount of handlers) {
         if (method !== undefined && mount.method !== method) continue
         if (mount.address === address) return mount
-        rows.push({ pattern: mount.address, mount })
+        rows.push({ pattern: mount.address, matchers: mount.matchers, mount })
     }
     return firstMatch(rankRoutes(rows), partsOf(address) ?? [])?.route.mount
 }

package/src/server/render.ts

@@ -9,6 +9,7 @@ import { headKeyOf } from '#shared/headKeyOf.ts'
 import { isThenable } from '#shared/reactive/isThenable.ts'
 import type { ShareScope } from '#shared/reactive/share.ts'
 import { setUpLevels } from '#shared/setUpLevels.ts'
+
 import { buildDeferred, markPainted } from './deferredBuilds.ts'
 import { currentRequestScope, type PageCall } from './requestScope.ts'
 
@@ -23,7 +24,7 @@ import { currentRequestScope, type PageCall } from './requestScope.ts'
  * satisfy the linter would put the code and the registry row out of step, which is the drift
  * the documents exist to stop.
  */
-// biome-ignore lint/suspicious/noEmptyInterface: REGISTRY declares `interface Component {}`.
+// REGISTRY declares `interface Component {}`.
 export interface Component {}
 
 /**
@@ -364,8 +365,7 @@ export async function renderDocument(
  */
 function earlyCallScript(calls: PageCall[]): string {
     const rows: (
-        | [string, string, RequestInit]
-        | [string, string, RequestInit, 1]
+        [string, string, RequestInit] | [string, string, RequestInit, 1]
     )[] = []
     for (const { request, painted } of calls)
         rows.push(

package/src/server/renderComponent.ts

@@ -1,4 +1,5 @@
 import { regionMarkup } from '#shared/anchorMarkup.ts'
+
 import { callsMadeSoFar, deferBuild, refuseDocument } from './deferredBuilds.ts'
 import type { Component, Rendered } from './render.ts'
 

package/src/server/reportHealth.ts

@@ -7,6 +7,7 @@
 import type { Health } from '#shared/health.ts'
 import { isRecord } from '#shared/isRecord.ts'
 import { namedLogger } from '#shared/log.ts'
+
 import abidePackage from '../../package.json' with { type: 'json' }
 import { appIdentity, config } from './config.ts'
 import { HOOKS, inOrder } from './hooks.ts'

package/src/server/requestScope.ts

@@ -10,12 +10,14 @@
 // values forwarders rather than process-wide.
 
 import { AsyncLocalStorage } from 'node:async_hooks' // bun implements AsyncLocalStorage and has no context-carrying api of its own
+
 import { Cookies } from '#shared/cookies.ts'
 import type { Framed } from '#shared/framing.ts'
 import type { Params } from '#shared/matchRoute.ts'
 import type { Principal } from '#shared/principal.ts'
-import { SCOPING, type Scope } from '#shared/reactive/scoping.ts'
+import { type Scope, SCOPING } from '#shared/reactive/scoping.ts'
 import type { RpcRequest } from '#shared/rpcRequest.ts'
+
 import type { McpSurface } from './generatedSurfaces.ts'
 import { IDLE_TIMEOUT_SECONDS } from './IDLE_TIMEOUT_SECONDS.ts'
 

package/src/server/runDesktop.ts

@@ -8,7 +8,9 @@
 
 import { FFIType } from 'bun:ffi'
 import { mkdir } from 'node:fs/promises' // bun exposes no directory creation of its own
+
 import { isFailed } from '#shared/Failed.ts'
+
 import {
     callBlock,
     created,
@@ -54,8 +56,7 @@ type Failure = {
 export type Desktop = {
     /** 38.82 — `src/launcher.abide`'s page, where the app has one that paints. */
     launch:
-        | (() => Promise<{ default: (props: Launch) => Component }>)
-        | undefined
+        (() => Promise<{ default: (props: Launch) => Component }>) | undefined
     /** The document the launch page renders into, its stylesheet already in its head (38.84). */
     document: string
     /** 38.101 — the app's icon as a data URL, and the accent taken from it. */

package/src/server/seedBuffer.ts

@@ -30,6 +30,7 @@ import {
     STREAMING,
     streamingOrSettled,
 } from '#shared/reactive/index.ts'
+
 import { positiveSetting } from './config.ts'
 import {
     currentRequestScope,

package/src/server/serveDev.ts

@@ -20,6 +20,7 @@
 
 import { watch } from 'node:fs' // bun exposes no file watcher of its own
 import { dirname, resolve } from 'node:path' // bun exposes no path helpers of its own
+
 import {
     type AppChecker,
     compilationOf,
@@ -28,6 +29,7 @@ import {
 } from '#compiler/compileApp.ts'
 import { formatDiagnosis } from '#compiler/formatDiagnosis.ts'
 import { DEV_ADDRESS } from '#shared/ADDRESSES.ts'
+
 import type { Compilation } from './abideModules.ts'
 import { DEFAULT_PORT } from './DEFAULT_PORT.ts'
 import type { FromWorker, ToWorker } from './devWorker.ts'
@@ -66,8 +68,7 @@ const LAST_DEV_PORT = 3099
 // An app-mux socket's data: the id the worker knows its connection by, and what `Mux.connect` reads
 // off the upgrade. `undefined` on the reload client's.
 type Carried =
-    | { connection: number; url: string; headers: [string, string][] }
-    | undefined
+    { connection: number; url: string; headers: [string, string][] } | undefined
 
 /**
  * `abide dev`'s listener, compiling the app here and serving it from a child process.

package/src/server/shell.ts

@@ -4,9 +4,11 @@
 // is the only part that needs a terminal. A call goes over http through `remote.ts`, as any client's.
 
 import { createInterface } from 'node:readline' // bun exposes no line editor of its own
+
 import { isRecord } from '#shared/isRecord.ts'
 import { useColor } from '#shared/log.ts'
 import { paint as painted } from '#shared/paint.ts'
+
 import type { Mount } from './answerRpc.ts'
 import { LogPanel } from './LogPanel.ts'
 import { callHandler, watch } from './remote.ts'

package/src/server/streamEvent.ts

@@ -5,6 +5,7 @@
 import type { Problem } from '#shared/Failed.ts'
 import type { Framed } from '#shared/framing.ts'
 import { REFUSAL_KEY } from '#shared/REFUSAL_KEY.ts'
+
 import { HEARTBEAT_MILLISECONDS } from './HEARTBEAT_MILLISECONDS.ts'
 
 /** AN EVENT STREAM OPENS ON A COMMENT, so a proxy has bytes to pass before the first event. */

package/src/server/surfaceOf.ts

@@ -1,4 +1,5 @@
 import type { Method } from '#shared/rpc.ts'
+
 import type { Mount, Mounted } from './answerRpc.ts'
 
 /** A generated surface a handler may be listed on, besides the browser's (20.4 is the build's). */
@@ -17,6 +18,8 @@ export type Listed = {
     schema: unknown
     /** What it answers, as JSON Schema, where its type says. 19.21. */
     result: unknown
+    /** 23.26 — each matcher its address names, to its anchored source. */
+    matchers: Record<string, string>
 }
 
 /**
@@ -50,6 +53,7 @@ export function surfaceOf(
             live === undefined ? mount.description : live.handler.description,
         schema: live === undefined ? mount.args : live.argsDocument,
         result: mount.result,
+        matchers: mount.matchers,
     }
 }
 
@@ -60,7 +64,8 @@ export function surfaceOf(
  * and dots dropped, so `/media/[id]` reads `media_id` rather than `media__id_`.
  */
 export function surfaceName(method: Method, route: string): string {
-    return `${method.toLowerCase()}${route === '/' ? '' : route.replace(/[[\].]/g, '')}`.replace(
+    // 19.1 — a matcher is no part of what a route is, so none of its name: `=NAME` goes first.
+    return `${method.toLowerCase()}${route === '/' ? '' : route.replace(/=[^\]]*/g, '').replace(/[[\].]/g, '')}`.replace(
         /[^a-zA-Z0-9-]/g,
         '_',
     )

package/src/server/testBuild.ts

@@ -6,6 +6,7 @@
 
 import { mkdir, rename, rm, utimes, writeFile } from 'node:fs/promises' // bun exposes no directory creation, rename, removal, mtime write or exclusive create of its own
 import { dirname } from 'node:path' // bun exposes no path helpers of its own
+
 import { namesUnder } from './namesUnder.ts'
 import { runBuild } from './runBuild.ts'
 

package/src/server/testMount.ts

@@ -3,6 +3,7 @@
 // same two halves a page load runs, in one process, so a test can click it and read the work.
 
 import { flushSync } from '#shared/reactive/Reactive.ts'
+
 import { MOUNTABLE } from './MOUNTABLE.ts'
 import { type Component, render } from './render.ts'
 

package/src/server/trace.ts

@@ -7,7 +7,9 @@
 // (24.5) while a sibling running concurrently names its own.
 
 import { AsyncLocalStorage } from 'node:async_hooks' // bun implements AsyncLocalStorage and has no context-carrying api of its own
+
 import { writeSpan } from '#shared/log.ts'
+
 import { randomToken } from './randomToken.ts'
 import {
     currentRequestScope,

package/src/server/withAbideSources.ts

@@ -1,4 +1,5 @@
 import { relative, resolve } from 'node:path' // bun exposes no path helpers of its own
+
 import type { Compilation } from './abideModules.ts'
 import { COMPONENT_NAMESPACE } from './faceOf.ts'
 import { COMPONENT_QUERY } from './MODULE_QUERIES.ts'

package/src/shared/Attributes.ts

@@ -47,11 +47,13 @@ type Reflected<Element> = {
 
 /** `Element`'s keys without its index signatures. */
 type Named<Element> = keyof {
-    [Key in keyof Element as string extends Key
-        ? never
-        : number extends Key
-          ? never
-          : Key]: Element[Key]
+    [
+        Key in keyof Element as string extends Key
+            ? never
+            : number extends Key
+              ? never
+              : Key
+    ]: Element[Key]
 }
 
 /** The properties whose attribute is not their name lowercased. */
@@ -119,9 +121,11 @@ export type Attributes<
 
 /** An HTML element's attributes, derived from what its DOM type reflects. */
 type HtmlAttributes<Tag extends keyof HTMLElementTagNameMap> = {
-    [Key in Reflected<HTMLElementTagNameMap[Tag]> as Key extends `on${string}`
-        ? never
-        : AttributeName<Key>]?: Written<
+    [
+        Key in Reflected<
+            HTMLElementTagNameMap[Tag]
+        > as Key extends `on${string}` ? never : AttributeName<Key>
+    ]?: Written<
         AttributeName<Key>,
         NonNullable<HTMLElementTagNameMap[Tag][Key]>
     > | null

package/src/shared/cookies.ts

@@ -238,7 +238,7 @@ export function browserCookies(): Cookies {
     const jar = new Cookies(
         document.cookie,
         (serialized) => {
-            // biome-ignore lint/suspicious/noDocumentCookie: the Cookie Store API is asynchronous and missing from some browsers, and a read of the jar is synchronous.
+            // The Cookie Store API is asynchronous and missing from some browsers, and a read of the jar is synchronous.
             document.cookie = serialized
         },
         true,

package/src/shared/escapeText.ts

@@ -4,7 +4,7 @@
 // `escapeless` in #ui is that path, and the two sitting apart is what keeps them from being
 // confused for one another.
 
-import { RAW_WRITES, Raw, textOf } from './Raw.ts'
+import { Raw, RAW_WRITES, textOf } from './Raw.ts'
 
 // The common slot holds nothing to escape, so the scan is the fast path and the rewrite is
 // the fallback: a clean string is returned as it arrived, with no allocation.

package/src/shared/filledPath.ts

@@ -42,32 +42,38 @@ export function filledSegments(
         }
         if (segment.kind === 'rest' && Array.isArray(value)) {
             for (const each of value)
-                address += `/${encodedSegment(spelled, segment.name, each, refused)}`
+                address += `/${encodedSegment(spelled, segment, each, refused)}`
             continue
         }
-        address += `/${encodedSegment(spelled, segment.name, value, refused)}`
+        address += `/${encodedSegment(spelled, segment, value, refused)}`
     }
     return address === '' ? '/' : address
 }
 
 /**
- * A param value encoded as one path segment; `.` and `..` are refused.
+ * A param value encoded as one path segment, refused where no address can carry it.
  *
- * 30.19 — A VALUE OF `.` OR `..` HAS NO SPELLING AS A SEGMENT: the URL parser collapses it as a
- * dot-segment, and `%2E` / `%2E%2E` with it, so the address would land on another route. Refused
- * rather than written, as a missing required segment is (30.3).
+ * 30.19 — A VALUE NO SEGMENT TAKES HAS NO SPELLING: one carrying a period, where the segment names no
+ * matcher to lift the default (30.34), and `.` or `..` whatever it names (30.36), which the URL
+ * parser collapses as a dot-segment, `%2E` / `%2E%2E` with it. Refused rather than written, as a
+ * missing required segment is (30.3). A named matcher is not run here: the literal says a matcher
+ * is named, and only a route table holds the regex (23.26).
  */
 function encodedSegment(
     spelled: string,
-    name: string,
+    segment: Segment,
     value: unknown,
     refused: (name: string, message: string) => unknown,
 ): string {
     const text = String(value)
-    if (text === '.' || text === '..')
+    const carried =
+        segment.matcher === undefined
+            ? !text.includes('.')
+            : text !== '.' && text !== '..'
+    if (!carried)
         throw refused(
-            name,
-            `abide: ${spelled} was given '${text}' for '${name}', and no address carries it as a segment — the URL parser resolves it to another route. RULEBOOK 30.19.`,
+            segment.name,
+            `abide: ${spelled} was given '${text}' for '${segment.name}', and no address carries ${segment.matcher === undefined ? 'a period in a param naming no matcher' : 'a dot-segment'}. RULEBOOK 30.19.`,
         )
     return encodeURIComponent(text)
 }

package/src/shared/index.ts

@@ -23,11 +23,7 @@ export {
 } from './boundValue.ts'
 export { type Cookies, cookies } from './cookies.ts'
 export { csp } from './csp.ts'
-export {
-    escapeAttribute,
-    escapeStyleValue,
-    escapeText,
-} from './escapeText.ts'
+export { escapeAttribute, escapeStyleValue, escapeText } from './escapeText.ts'
 export { type Failed, isFailed } from './Failed.ts'
 // 25 — the account of the app.
 export { type Health, health } from './health.ts'

package/src/shared/jsonSchema.ts

@@ -31,9 +31,7 @@ export function jsonSchema<T = Untyped>(
             vendor: 'abide',
             validate(value: unknown) {
                 const found = validateJson(document, value) as
-                    | Record<string, string[]>
-                    | string[]
-                    | null
+                    Record<string, string[]> | string[] | null
                 if (found === null) return { value: value as T }
                 const issues: { message: string; path: string[] }[] = []
                 // A value that is not an object came back as the bare list, every issue on `''`.

package/src/shared/matchRoute.ts

@@ -56,9 +56,16 @@ function walk(
         return prefix || at === parts.length ? {} : null
     const segment = segments[index] as Segment
     // 30.5 — A REST TAKES THE MOST THE SEGMENTS AFTER IT LEAVE, nothing included, so a handler's
-    // name after one (`/docs/[...path]/save`) is reached rather than spent on the rest.
+    // name after one (`/docs/[...path]/save`) is reached rather than spent on the rest — and 30.35,
+    // never past a part it does not accept.
     if (segment.kind === 'rest') {
-        for (let end = parts.length; end >= at; end -= 1) {
+        let furthest = at
+        while (
+            furthest < parts.length &&
+            segment.accepts.test(parts[furthest] as string)
+        )
+            furthest += 1
+        for (let end = furthest; end >= at; end -= 1) {
             const params = walk(segments, index + 1, parts, end, prefix)
             if (params !== null) {
                 params[segment.name] = parts.slice(at, end)
@@ -68,8 +75,12 @@ function walk(
         return null
     }
     const part = parts[at]
+    // 30.34, 30.35 — A PARAM TAKES A PART ITS SEGMENT ACCEPTS: the matcher it names, or, naming
+    // none, no part carrying a period, which is how a file is named — the `/favicon.ico` a browser
+    // asks every site for is no `[param]` page's to answer.
+    const takeable = part !== undefined && segment.accepts.test(part)
     if (segment.kind === 'optional') {
-        if (part !== undefined) {
+        if (takeable) {
             const taken = walk(segments, index + 1, parts, at + 1, prefix)
             if (taken !== null) {
                 taken[segment.name] = part
@@ -79,7 +90,8 @@ function walk(
         return walk(segments, index + 1, parts, at, prefix)
     }
     if (part === undefined) return null
-    if (segment.kind === 'static' && part !== segment.name) return null
+    if (segment.kind === 'static' ? part !== segment.name : !takeable)
+        return null
     const params = walk(segments, index + 1, parts, at + 1, prefix)
     if (params !== null && segment.kind === 'required')
         params[segment.name] = part

package/src/shared/menuBridge.ts

@@ -5,8 +5,7 @@
  * page inside a desktop app loads. 38.88.
  */
 export function menuBridge():
-    | { postMessage(message: string): void }
-    | undefined {
+    { postMessage(message: string): void } | undefined {
     return (
         globalThis as {
             webkit?: {

package/src/shared/outbox.ts

@@ -9,9 +9,9 @@
 
 import type { Failed } from './Failed.ts'
 import type { JsonValue } from './JsonValue.ts'
+import { OUTBOX_SENDING } from './OUTBOX_SENDING.ts'
 import { ambient, type Reactive, type Selection } from './reactive/index.ts'
 import { matchesPattern } from './reactive/matchesPattern.ts'
-import { OUTBOX_SENDING } from './OUTBOX_SENDING.ts'
 import type { Method } from './rpc.ts'
 
 /** One call `outbox` holds: what it sends, when it was queued, how often it was sent, and its value. */

package/src/shared/reactive/Keyed.ts

@@ -15,8 +15,8 @@ import {
     normalized,
     PARAMETER_DEFAULTS,
 } from './argsContract.ts'
-import { CELL } from './CELL.ts'
 import { canonicalKey } from './canonicalKey.ts'
+import { CELL } from './CELL.ts'
 import { ENTRY_LIVES } from './ENTRY_LIVES.ts'
 import { armTimer } from './Expiry.ts'
 import { KEYED_BRAND } from './KEYED_BRAND.ts'
@@ -43,8 +43,8 @@ import {
     newSubscriber,
     newTracked,
     type Subscriber,
-    TRACKING,
     type Tracked,
+    TRACKING,
     trackProbe,
 } from './tracking.ts'
 import { owned, owning } from './watch.ts'

package/src/shared/reactive/Reactive.ts

@@ -31,23 +31,23 @@ import { NotLanded } from './NotLanded.ts'
 import { PATCH_SINKS, type PatchOp } from './PATCH_SINKS.ts'
 import { REACTIVE_BRAND } from './REACTIVE_BRAND.ts'
 import { recordWrites } from './recordWrites.ts'
-import { STREAMING } from './STREAMING.ts'
 import { currentScope, runInScope, type Scope } from './scoping.ts'
+import { STREAMING } from './STREAMING.ts'
 import {
     CHECK,
     CLEAN,
-    DIRTY,
     detach,
+    DIRTY,
     dropProbeReader,
     newSubscriber,
     newTracked,
     RELEASING,
     revive,
     type Subscriber,
-    TRACKING,
-    type Tracked,
     tombstone,
     track,
+    type Tracked,
+    TRACKING,
     trackProbe,
     truncate,
     truncateProbes,
@@ -252,12 +252,12 @@ export type Reactive<
             | Accepted
             | PromiseLike<Accepted>
             | Reactive<Accepted, unknown, Failures, unknown>,
-        // biome-ignore lint/suspicious/noConfusingVoidType: same reason as `watch` below — a `set` that returns nothing infers `void`, and 4.18's refusal is the other arm.
+        // Same reason as `watch` below — a `set` that returns nothing infers `void`, and 4.18's refusal is the other arm.
     ): void | Failures
     patch(mutate: (value: Stored) => void): void
     refresh(): void
     invalidate(): void
-    // biome-ignore lint/suspicious/noConfusingVoidType: `void` is the RETURN POSITION of an author's effect, and it is load-bearing. `undefined` there refuses `(v) => { read(v) }` — a block body returning nothing infers `void`, which is not assignable to `undefined` — so the rule's fix would reject the ordinary effect.
+    // `void`, not `undefined`: see `Effect` in `watch.ts` — `(v) => { read(v) }` infers `void`.
     watch(effect: (value: Stored) => void | (() => void)): () => void
     /** What one run produced: the settled value once, or a stream's chunks to its close (2.5, 2.6). */
     [Symbol.asyncIterator](): AsyncIterator<Produced>
@@ -658,8 +658,7 @@ class Cell {
      * keyed on `.id` read every number as the same `undefined` and never woke again.
      */
     declare declaredIdentityFn:
-        | ((next: unknown, previous: unknown) => boolean)
-        | null
+        ((next: unknown, previous: unknown) => boolean) | null
     declare transform: ((value: unknown) => unknown) | null
     /**
      * `null` on every value that declares no `schema`, which keeps the gate off the write
@@ -859,8 +858,7 @@ class Cell {
         )
         this.declaredIdentityFn = this.identityFn
         this.transform = (options?.transform ?? null) as
-            | ((value: unknown) => unknown)
-            | null
+            ((value: unknown) => unknown) | null
         this.schema = (options?.schema ?? null) as Schema<unknown> | null
         this.ring = EMPTY_RING
         this.ringBase = 0
@@ -906,9 +904,7 @@ class Cell {
                       unwatch: null,
                   }
         this.by = (options?.by ?? null) as
-            | string
-            | ((element: unknown) => unknown)
-            | null
+            string | ((element: unknown) => unknown) | null
         this.probePass = 0
         this.owes = OWES_NOTHING
         this.isEffect = false
@@ -3502,7 +3498,7 @@ function settled(cell: Cell, untilStreaming = false): Promise<unknown> {
  */
 function watchCell(
     cell: Cell,
-    // biome-ignore lint/suspicious/noConfusingVoidType: `void` is an EFFECT'S RETURN POSITION and is load-bearing. `undefined` there refuses the ordinary effect — a block body that returns nothing infers `void`, which is not assignable to `undefined` — so the rule's own fix would reject every caller that does not return a disposer.
+    // `void`, not `undefined`: see `Effect` in `watch.ts`.
     effect: (value: unknown) => void | (() => void),
 ): () => void {
     return owned(
@@ -4459,7 +4455,7 @@ const MEMBERS = {
     },
     watch(
         this: Callable,
-        // biome-ignore lint/suspicious/noConfusingVoidType: `void` is an EFFECT'S RETURN POSITION and is load-bearing. `undefined` there refuses the ordinary effect — a block body that returns nothing infers `void`, which is not assignable to `undefined` — so the rule's own fix would reject every caller that does not return a disposer.
+        // `void`, not `undefined`: see `Effect` in `watch.ts`.
         effect: (value: unknown) => void | (() => void),
     ): () => void {
         return watchCell(this[CELL], effect)
@@ -4467,7 +4463,7 @@ const MEMBERS = {
     [Symbol.asyncIterator](this: Callable): AsyncIterator<unknown> {
         return producedRun(this[CELL])
     },
-    // biome-ignore lint/suspicious/noThenProperty: RULEBOOK 1.4 — a `Reactive` MUST be thenable, which is what this rule warns about. Banning it buys a discrimination rather than a semantics, and 16.4's in-process `Rpc` arm is what that discrimination would have cost. 1.6 is the guard that makes thenability safe — the brand is read before `then`.
+    // RULEBOOK 1.4 — a `Reactive` MUST be thenable. Banning it buys a discrimination rather than a semantics, and 16.4's in-process `Rpc` arm is what that discrimination would have cost. 1.6 is the guard that makes thenability safe — the brand is read before `then`.
     then(
         this: Callable,
         onSettled?: (value: unknown) => unknown,

package/src/shared/reactive/index.ts

@@ -231,7 +231,7 @@ export function reactive<
  */
 export function reactive<
     Body extends (args?: never) => unknown,
-    Optional extends OptionalParameter<Body>,
+    _Optional extends OptionalParameter<Body>,
     Shaped = ChunkOf<Body>[],
     Gate = Schema<ChunkOf<Body>[]>,
     ArgsGate = Schema<Parameters<Body>[0]>,
@@ -291,7 +291,7 @@ export function reactive<
  */
 export function reactive<
     Body extends (args?: never) => unknown,
-    Optional extends OptionalParameter<Body>,
+    _Optional extends OptionalParameter<Body>,
     Shaped = Awaited<ReturnType<Body>>,
     Gate = Schema<Awaited<ReturnType<Body>>>,
     ArgsGate = Schema<Parameters<Body>[0]>,
@@ -388,8 +388,7 @@ export function reactive(
     // `store`, built where it is first reached (11.71). `global` is what keeps a value process-wide
     // (11.34).
     const options = given[1] as
-        | { global?: boolean; store?: unknown }
-        | undefined
+        { global?: boolean; store?: unknown } | undefined
     if (outsideScope(options?.global === true))
         return scoped(
             () => build(given, keyed),

package/src/shared/reactive/isReactive.ts

@@ -1,3 +1,4 @@
+import type { Reactive } from './Reactive.ts'
 // 1.6 — THE BRAND, READ ON ITS OWN. A `Reactive` is callable AND thenable, so every guard that
 // can meet one reads this before `typeof value === 'function'` or an `isThenable` probe.
 //
@@ -9,7 +10,6 @@
 // 2,348 bytes without it. The `Reactive` import is TYPE-ONLY and erased, which is what lets the
 // predicate keep its exact shape at no cost.
 import { REACTIVE_BRAND } from './REACTIVE_BRAND.ts'
-import type { Reactive } from './Reactive.ts'
 
 export function isReactive(value: unknown): value is Reactive<unknown> {
     return (

package/src/shared/reactive/scoped.ts

@@ -16,9 +16,9 @@ import { contractOf, type Gated } from './argsContract.ts'
 import { CELL } from './CELL.ts'
 import { KEYED_BRAND } from './KEYED_BRAND.ts'
 import { brandedPrototype, MEMBER_KEYS, signalMoved } from './Reactive.ts'
-import { SELECTION_MEMBERS } from './SELECTION_MEMBERS.ts'
 import { currentScope, runInScope, SCOPING } from './scoping.ts'
-import { newTracked, TRACKING, type Tracked, trackProbe } from './tracking.ts'
+import { SELECTION_MEMBERS } from './SELECTION_MEMBERS.ts'
+import { newTracked, type Tracked, TRACKING, trackProbe } from './tracking.ts'
 
 const UNBUILT: unique symbol = Symbol('abide.unbuilt')
 

package/src/shared/reactive/share.ts

@@ -35,7 +35,7 @@ let CURRENT: ShareScope | null = null
  * Empty here: an app widens it, and a key it declares is checked against it where a key it does
  * not is inferred from the thunk.
  */
-// biome-ignore lint/suspicious/noEmptyInterface: 10.3 — an app merges its own keys into this.
+// 10.3 — an app merges its own keys into this.
 export interface Shared {}
 
 /** The value held under `key` by this component or its nearest ancestor, or one created here. */