@abide/abide 0.117.2 → 0.119.0

package/src/server/answerSocket.ts

@@ -23,6 +23,7 @@ import { PATCH_SINKS } from '#shared/reactive/PATCH_SINKS.ts'
 import { unowned } from '#shared/reactive/watch.ts'
 import { refuse } from '#shared/refuse.ts'
 import { rpcRequest } from '#shared/rpcRequest.ts'
+
 import { handlerKey, type Mounted } from './answerRpc.ts'
 import { argsFor } from './argsFor.ts'
 import { positiveSetting } from './config.ts'
@@ -32,8 +33,8 @@ import { sendOrClose } from './muxUpgrade.ts'
 import {
     heldByApp,
     inOpenScope,
-    type RequestScope,
     releaseScope,
+    type RequestScope,
     scopeFor,
 } from './requestScope.ts'
 import { EVENT_STREAM_OPENER, streamEvent } from './streamEvent.ts'

package/src/server/answerValue.ts

@@ -4,6 +4,7 @@
 // `Values` a handler returned — framed one chunk per pull (16.32, 16.44–16.47).
 
 import { isFailed, problemOf } from '#shared/Failed.ts'
+
 import { compressAnswer } from './compressAnswer.ts'
 import { prefers } from './prefers.ts'
 import {

package/src/server/answerWorker.ts

@@ -19,6 +19,7 @@ import {
 } from '#shared/OFFLINE_CACHES.ts'
 import { PRINCIPAL_HEADER } from '#shared/PRINCIPAL_HEADER.ts'
 import { REACHED_MESSAGE } from '#shared/REACHED_MESSAGE.ts'
+
 import type { Manifest } from './manifestOf.ts'
 
 // What `framingOf` reads as a framed stream (16.32), and a binary's bytes (16.34), which may be one —

package/src/server/appTree.ts

@@ -1,6 +1,6 @@
 // 23.14 — WHERE AN APP'S ADDRESSES ARE, read off the tree in one walk. A file directly in a directory
 // below the root is an address — a page, a layout, an error page or a handler file — and nothing
-// else is there but its tests (23.22); a fence is never one (23.15): `public` holds files answered as
+// else is there but its tests and the param files its segments name (23.22, 23.24); a fence is never one (23.15): `public` holds files answered as
 // authored at the path of the directories above it, and `lib` holds the rest, a server file among it
 // (23.23). So listing a directory lists its routes.
 //
@@ -13,17 +13,21 @@
 // can drop them.
 
 import { type Dirent, existsSync, readdirSync } from 'node:fs' // bun has no directory listing or sync existence check of its own
+
 import type { Refusals } from '#compiler/Refusals.ts'
 import { ABIDE_ADDRESS } from '#shared/ADDRESSES.ts'
 import {
     PUBLIC_DIRECTORY,
     RESERVED_DIRECTORIES,
 } from '#shared/RESERVED_DIRECTORIES.ts'
+
 import {
     DIRECTORY_FILES,
+    isBenchFile,
     isDeclarationFile,
+    isHandlerFile,
+    isParamFile,
     isServerFile,
-    isBenchFile,
     isTestFile,
     placeOf,
     routeOf,
@@ -36,6 +40,8 @@ type AppFiles = {
     abide: string[]
     /** Every handler file, in path order. */
     handlers: string[]
+    /** 23.24 — every param file directly in an address directory, in path order. */
+    params: string[]
     /** Every module under a `lib` directory, in path order — read for 37.13. */
     modules: string[]
     /** Every file under a `public` directory, to the address it is answered at below the mount. */
@@ -52,6 +58,7 @@ export function appFiles(root: string, refusals: Refusals): AppFiles {
     const files: AppFiles = {
         abide: [],
         handlers: [],
+        params: [],
         modules: [],
         published: new Map(),
     }
@@ -61,6 +68,7 @@ export function appFiles(root: string, refusals: Refusals): AppFiles {
     walk(root, '', undefined, files, refusals, packaged)
     files.abide.sort()
     files.handlers.sort()
+    files.params.sort()
     files.modules.sort()
     return files
 }
@@ -126,13 +134,17 @@ function walk(
                 isDeclarationFile(path)
             )
                 continue
-            if (!abide && !isModule(path)) {
+            if (isParamFile(path)) {
+                files.params.push(path)
+                continue
+            }
+            if (!abide && !isHandlerFile(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, bench files and declaration files alone. Move it into a lib directory, beside it or in any directory above it. RULEBOOK 23.22.`,
+                        `abide: ${path} is directly in an address directory, which holds pages, layouts, error pages, handler files, param files, test files, bench files and declaration files alone. ${path.endsWith('.ts') ? 'Name a handler file <name>.handler.ts, or move anything else' : 'Move it'} into a lib directory, beside it or in any directory above it. RULEBOOK 23.22.`,
                     ),
                 )
                 continue
@@ -211,8 +223,7 @@ export function holdsApp(root: string): boolean {
     return !appSourcesUnder(root, '').next().done
 }
 
-// Every `.abide` under `directory`, and every handler file — a module whose place is an address, and
-// no server file (23.23).
+// Every `.abide` under `directory`, and every handler file whose place is an address.
 function* appSourcesUnder(
     directory: string,
     relative: string,
@@ -230,9 +241,7 @@ function* appSourcesUnder(
             yield* appSourcesUnder(`${directory}/${entry.name}`, `${path}/`)
         else if (
             path.endsWith('.abide') ||
-            (isModule(path) &&
-                !isServerFile(path) &&
-                placeOf(path) === 'address')
+            (isHandlerFile(path) && placeOf(path) === 'address')
         )
             yield path
     }

package/src/server/argsFor.ts

@@ -5,6 +5,7 @@
 import { DERIVED_ARGS } from '#shared/DERIVED_ARGS.ts'
 import { normalized } from '#shared/reactive/argsContract.ts'
 import { validationError } from '#shared/refuse.ts'
+
 import type { Mounted } from './answerRpc.ts'
 import { coerceArgs } from './coerceArgs.ts'
 

package/src/server/assistant.ts

@@ -12,8 +12,9 @@
 
 import { namedLogger } from '#shared/log.ts'
 import { refuse } from '#shared/refuse.ts'
-import { IMAGE_TYPES } from './IMAGE_TYPES.ts'
+
 import { type McpReply, McpSurface } from './generatedSurfaces.ts'
+import { IMAGE_TYPES } from './IMAGE_TYPES.ts'
 import { request, within } from './requestScope.ts'
 
 /** A piece of a turn: words, or an image as base64 with its type. */

package/src/server/banner.ts

@@ -1,6 +1,8 @@
 import { networkInterfaces } from 'node:os' // bun exposes no network interface list of its own
+
 import { useColor } from '#shared/log.ts'
 import { paint as painted } from '#shared/paint.ts'
+
 import type { AppPackage } from './config.ts'
 
 /**

package/src/server/bridgeRelay.ts

@@ -15,6 +15,7 @@
 
 import { isFailed } from '#shared/Failed.ts'
 import { refuse } from '#shared/refuse.ts'
+
 import { answered } from './answerFailure.ts'
 import { bodyWithin } from './answerRpc.ts'
 import { framed } from './answerValue.ts'

package/src/server/callerOf.ts

@@ -1,4 +1,5 @@
 import { cookies } from '#shared/cookies.ts'
+
 import { randomToken } from './randomToken.ts'
 import {
     currentRequestScope,

package/src/server/claudeApi.ts

@@ -8,6 +8,7 @@
 
 import { framedStream } from '#shared/framing.ts'
 import { refuse } from '#shared/refuse.ts'
+
 import { blocksOf, type Provider, textOf } from './assistant.ts'
 
 /** A Messages API request body, less what abide writes, with the client's key and origin. */

package/src/server/claudeCode.ts

@@ -10,6 +10,7 @@
 
 import { mounted } from '#shared/mount.ts'
 import { refuse } from '#shared/refuse.ts'
+
 import {
     type AssistantContent,
     type AssistantEvent,

package/src/server/clientBundle.ts

@@ -7,6 +7,7 @@
 // long a browser may keep it.
 
 import { CLIENT_ADDRESS } from '#shared/ADDRESSES.ts'
+
 import { abideModules, type Compilation, tablePath } from './abideModules.ts'
 import { appPlugins } from './appPlugins.ts'
 import { CLIENT_ENTRY } from './CLIENT_BUILD.ts'

package/src/server/coerceArgs.ts

@@ -19,8 +19,7 @@ export type Document = {
 /** The document a handler's `args` schema declares, or `undefined`. */
 export function argsDocumentOf(handler: Gated<unknown>): Document | undefined {
     const gate = gateOf(handler) as
-        | { '~standard'?: { jsonSchema?: { input?: () => unknown } } }
-        | undefined
+        { '~standard'?: { jsonSchema?: { input?: () => unknown } } } | undefined
     const document = gate?.['~standard']?.jsonSchema?.input?.()
     return document !== null && typeof document === 'object'
         ? (document as Document)

package/src/server/commands.ts

@@ -5,8 +5,10 @@
 
 import { resolve } from 'node:path' // bun exposes no path helpers of its own
 import { parseArgs } from 'node:util' // bun exposes no argv parser of its own yet
+
 import { MCP_ADDRESS, OPENAPI_ADDRESS } from '#shared/ADDRESSES.ts'
 import { IN_PROCESS_ORIGIN } from '#shared/IN_PROCESS_ORIGIN.ts'
+
 import { banner } from './banner.ts'
 import { type App, type AppHandle, enterApp } from './createApp.ts'
 import { stopOnSignalOrFault } from './faultPolicy.ts'
@@ -32,6 +34,7 @@ type SourceCommands = Record<
     | 'dev'
     | 'build'
     | 'check'
+    | 'format'
     | 'routes'
     | 'compile'
     | 'bundle'
@@ -194,6 +197,11 @@ function commandsOf(host: Host): Row[] {
             'type-check the templates and the TypeScript, on the line you wrote',
             'check',
         ),
+        fromSource(
+            'format [--check] [dir…]',
+            'format every .abide — its code by bun fmt, its markup by its nesting',
+            'format',
+        ),
         fromSource(
             'routes [--json]',
             'every address the app answers, its file, and where each hook is filed',
@@ -288,6 +296,7 @@ function parseFlags(argv: string[]) {
             target: { type: 'string' },
             platforms: { type: 'string' },
             json: { type: 'boolean' },
+            check: { type: 'boolean' },
             help: { type: 'boolean', short: 'h' },
             version: { type: 'boolean', short: 'v' },
         },

package/src/server/compressAnswer.ts

@@ -10,9 +10,10 @@
 // BUN'S GZIP parts from zlib's past ~130 KB, which only the off-loop lane reaches — so that lane takes
 // zlib's, the loop keeps bun's, and the two make the same bytes.
 import { brotliCompress, brotliCompressSync, constants, gzip } from 'node:zlib' // bun has no brotli, and no compression off the loop
+
 import {
-    ENCODINGS,
     type Encoding,
+    ENCODINGS,
     negotiateEncoding,
 } from './negotiateEncoding.ts'
 

package/src/server/config.ts

@@ -5,11 +5,13 @@
 // and a throw out of `onConfig` is the value's standing error, which a read throws (27.1).
 
 import { homedir } from 'node:os' // bun exposes no home directory of its own
+
 import { isRecord } from '#shared/isRecord.ts'
 import { numberFromText } from '#shared/numberFromText.ts'
 import { reactive } from '#shared/reactive/index.ts'
 import { validationError } from '#shared/refuse.ts'
 import { runSchema } from '#shared/Schema.ts'
+
 import { appDirectories } from './appDirectories.ts'
 import { type Env, HOOKS, inOrder } from './hooks.ts'
 import { withoutTrailingSlash } from './withoutTrailingSlash.ts'

package/src/server/createApp.ts

@@ -5,17 +5,19 @@
 
 import { existsSync } from 'node:fs' // bun exposes no sync existence check of its own
 import { resolve } from 'node:path' // bun exposes no path helpers of its own
+
 import { FAILURE_STATUS_TEXT } from '#shared/FAILURE_STATUS_TEXT.ts'
 import { framingOf } from '#shared/framing.ts'
 import { IN_PROCESS_ORIGIN } from '#shared/IN_PROCESS_ORIGIN.ts'
-import { LONGEST_DELAY } from '#shared/LONGEST_DELAY.ts'
 import { namedLogger } from '#shared/log.ts'
+import { LONGEST_DELAY } from '#shared/LONGEST_DELAY.ts'
 import { compose } from '#shared/Middleware.ts'
 import { MOUNT, unmounted } from '#shared/mount.ts'
 import { PRINCIPAL_HEADER } from '#shared/PRINCIPAL_HEADER.ts'
 import { RPC_SERVER } from '#shared/RPC_SERVER.ts'
+
 import { servedTable } from './abideModules.ts'
-import { type AppSources, answerRequest } from './answerRequest.ts'
+import { answerRequest, type AppSources } from './answerRequest.ts'
 import type { Mount } from './answerRpc.ts'
 import { Mux, type MuxConnection } from './answerSocket.ts'
 import { appDirectories } from './appDirectories.ts'

package/src/server/crossingOrigin.ts

@@ -4,6 +4,7 @@
 
 import type { Failed } from '#shared/Failed.ts'
 import { refuse } from '#shared/refuse.ts'
+
 import { appOrigin } from './config.ts'
 
 /**

package/src/server/csp.ts

@@ -6,6 +6,7 @@
 // rung writing a document's header — so the two agree, and an answer that is not a document mints none.
 
 import type { Middleware } from '#shared/Middleware.ts'
+
 import { randomToken } from './randomToken.ts'
 import { EARLY_CALL_HASH } from './render.ts'
 import { within } from './requestScope.ts'

package/src/server/deferredBuilds.ts

@@ -10,6 +10,7 @@
 
 import { regionMarkup } from '#shared/anchorMarkup.ts'
 import { isReactive, isStreaming, loadOf } from '#shared/reactive/index.ts'
+
 import type { Rendered } from './render.ts'
 import type { PageCall } from './requestScope.ts'
 

package/src/server/derivedArgs.ts

@@ -3,6 +3,7 @@ import type { JsonValue } from '#shared/JsonValue.ts'
 import type { Gated } from '#shared/reactive/argsContract.ts'
 import type { HeldToAnnotation } from '#shared/rpc.ts'
 import { validateJson } from '#shared/validateJson.ts'
+
 import { argsDocumentOf } from './coerceArgs.ts'
 
 /**

package/src/server/devWorker.ts

@@ -20,6 +20,7 @@
 
 import { DEV_ADDRESS } from '#shared/ADDRESSES.ts'
 import { escapeText } from '#shared/escapeText.ts'
+
 import {
     type Compilation,
     serveCompilation,
@@ -34,7 +35,7 @@ import {
     clientBundle,
     type ServedFile,
 } from './clientBundle.ts'
-import { type BootedApp, bootApp, originUnder } from './createApp.ts'
+import { bootApp, type BootedApp, originUnder } from './createApp.ts'
 import { keepServing } from './faultPolicy.ts'
 import { type Manifest, NO_MANIFEST } from './manifestOf.ts'
 import { admitsMux, muxSocketOptions } from './muxUpgrade.ts'

package/src/server/faceOf.ts

@@ -4,6 +4,7 @@
 // specifier, an `onLoad` for a path), and this decides what the answer is.
 
 import type { JsonValue } from '#shared/JsonValue.ts'
+
 import { HANDLER_SUFFIX, SERVER_QUERY } from './MODULE_QUERIES.ts'
 
 // A VIRTUAL FACE'S PATH: its file's, with a suffix that is not a query. Both registries key a module
@@ -38,13 +39,7 @@ export type Face = { path: string; namespace: string }
  * module (`?server`), a `.abide` named bare, or a module that may be a handler file.
  */
 export type Asked =
-    | 'text'
-    | 'style'
-    | 'component'
-    | 'client'
-    | 'server'
-    | 'abide'
-    | 'handler'
+    'text' | 'style' | 'component' | 'client' | 'server' | 'abide' | 'handler'
 
 /**
  * One handler file, as `Compilation.handlers` holds it — and 19.9's schema its default's annotation

package/src/server/generatedSurfaces.ts

@@ -18,8 +18,9 @@ import { essenceOf } from '#shared/framing.ts'
 import { namedLogger } from '#shared/log.ts'
 import { mounted } from '#shared/mount.ts'
 import { type Reactive, reactive } from '#shared/reactive/index.ts'
-import { parseRoutePattern } from '#shared/routePattern.ts'
+import { parseRoutePattern, type Segment } from '#shared/routePattern.ts'
 import { argsInURL, rpcRequest } from '#shared/rpcRequest.ts'
+
 import { answered } from './answerFailure.ts'
 import { bodyWithin, type Mounted } from './answerRpc.ts'
 import type { ToolAnswer, ToolDefinition } from './assistant.ts'
@@ -134,13 +135,22 @@ function openApiOf(handlers: Map<string, Mounted>): {
         for (const segment of parseRoutePattern(each.address)) {
             if (segment.kind === 'static') continue
             inPath.add(segment.name)
+            const declared = schema?.properties?.[segment.name] ?? {
+                type: 'string',
+            }
+            // 20.23 — and what the segment takes, save a rest's: its value is the parts joined,
+            // which one part's pattern does not describe.
             const parameter: Record<string, unknown> = {
                 name: segment.name,
                 in: 'path',
                 required: true,
-                schema: schema?.properties?.[segment.name] ?? {
-                    type: 'string',
-                },
+                schema:
+                    segment.kind === 'rest'
+                        ? declared
+                        : patterned(
+                              declared,
+                              patternOf(segment, each.matchers),
+                          ),
             }
             if (segment.kind === 'optional')
                 parameter.description = 'May be left out, with its segment.'
@@ -172,8 +182,11 @@ function openApiOf(handlers: Map<string, Mounted>): {
                     },
                 },
             }
-        // OpenAPI spells a parameter `{id}` where a route spells it `[id]`.
-        const path = each.address.replace(/\[+(?:\.\.\.)?([^\]]+)\]+/g, '{$1}')
+        // OpenAPI spells a parameter `{id}` where a route spells it `[id]`, and names no matcher.
+        const path = each.address.replace(
+            /\[+(?:\.\.\.)?([^\]=]+)(?:=[^\]]*)?\]+/g,
+            '{$1}',
+        )
         paths[path] ??= {}
         ;(paths[path] as Record<string, unknown>)[each.method.toLowerCase()] =
             operation
@@ -291,7 +304,9 @@ export class McpSurface {
             listing.push({
                 name: tool.name,
                 description: tool.description ?? '',
-                inputSchema: toolInput(tool.schema),
+                inputSchema: toolInput(
+                    withPathPatterns(tool.schema, tool.address, tool.matchers),
+                ),
                 // 20.14 — what the method promises: a `GET` is safe, and a `GET`, a `PUT` and a
                 // `DELETE` idempotent. Any other write may destroy, and nothing says it does not.
                 annotations: {
@@ -454,6 +469,63 @@ function logCall(
     )
 }
 
+/** 20.23 — the anchored pattern a segment takes a part by: its matcher's, or 30.34's default. */
+function patternOf(segment: Segment, matchers: Record<string, string>): string {
+    return segment.matcher === undefined
+        ? PERIODLESS_PATTERN
+        : (matchers[segment.matcher] ?? PERIODLESS_PATTERN)
+}
+
+const PERIODLESS_PATTERN = '^[^.]+$'
+
+/** `declared` constrained to `pattern` too: beside a pattern it declares itself, not over it. */
+function patterned(declared: unknown, pattern: string): unknown {
+    if (declared === null || typeof declared !== 'object') return { pattern }
+    return 'pattern' in declared
+        ? { allOf: [declared, { pattern }] }
+        : { ...declared, pattern }
+}
+
+/**
+ * 20.23 — `schema` with each route parameter it declares constrained to what its segment takes, a
+ * rest's on each of its items; `schema` itself where the route has no parameter it declares.
+ */
+function withPathPatterns(
+    schema: unknown,
+    address: string,
+    matchers: Record<string, string>,
+): unknown {
+    if (schema === null || typeof schema !== 'object') return schema
+    const properties = (schema as { properties?: Record<string, unknown> })
+        .properties
+    if (properties === undefined) return schema
+    const constrained: Record<string, unknown> = { ...properties }
+    let changed = false
+    for (const segment of parseRoutePattern(address)) {
+        if (segment.kind === 'static') continue
+        const declared = properties[segment.name]
+        if (declared === undefined) continue
+        const pattern = patternOf(segment, matchers)
+        constrained[segment.name] =
+            segment.kind === 'rest' &&
+            declared !== null &&
+            typeof declared === 'object' &&
+            'items' in declared
+                ? {
+                      ...declared,
+                      items: patterned(
+                          (declared as { items: unknown }).items,
+                          pattern,
+                      ),
+                  }
+                : segment.kind === 'rest'
+                  ? declared
+                  : patterned(declared, pattern)
+        changed = true
+    }
+    return changed ? { ...schema, properties: constrained } : schema
+}
+
 /**
  * `schema` as a tool's `inputSchema`, its top-level `type` `object` whatever it declared there, or
  * `undefined` where no value it admits is an object. 20.19, 20.20.

package/src/server/hooks.ts

@@ -21,6 +21,7 @@ import {
     type Segment,
 } from '#shared/routePattern.ts'
 import type { Schema } from '#shared/Schema.ts'
+
 import { config } from './config.ts'
 import type { LauncherOptions } from './launcherOptions.ts'
 import { currentRequestScope } from './requestScope.ts'

package/src/server/iconAccent.ts

@@ -82,7 +82,7 @@ function decoded(
     let channels = 0
     const compressed: Uint8Array[] = []
     let length = 0
-    for (let at = 8; at + 8 <= png.length; ) {
+    for (let at = 8; at + 8 <= png.length;) {
         const size = view.getUint32(at)
         const type = String.fromCharCode(...png.subarray(at + 4, at + 8))
         const body = png.subarray(at + 8, at + 8 + size)

package/src/server/installServer.ts

@@ -14,6 +14,7 @@ import { MOUNT } from '#shared/mount.ts'
 import { PRINCIPAL } from '#shared/principal.ts'
 import { RPC_SERVER } from '#shared/RPC_SERVER.ts'
 import { UNEXPECTED } from '#shared/UNEXPECTED.ts'
+
 import { reachedInRender } from './answerRequest.ts'
 import { environmentTimeout } from './answerRpc.ts'
 import { broadcast, feedFromServed, swept } from './answerSocket.ts'

package/src/server/installSourceMaps.ts

@@ -7,6 +7,7 @@
 // rebuild, and a test boots several apps in one process.
 
 import { resolve } from 'node:path' // bun exposes no path helpers of its own
+
 import { HANDLER_FACE } from './MODULE_QUERIES.ts'
 import { decodeMappings, placeAt, type Segment } from './sourceMappings.ts'
 

package/src/server/launcherPage.ts

@@ -7,6 +7,7 @@
 // asks something first, so a Start with no configuration to ask for has none and starts at once.
 
 import { escapeAttribute, escapeText } from '#shared/escapeText.ts'
+
 import type { ConfigField } from './configFields.ts'
 import { inkOn } from './iconAccent.ts'
 
@@ -77,8 +78,7 @@ export function launcherPage(page: Launch): string {
     // field shows them.
     const failureLine = (
         failure:
-            | { message: string; issues: Record<string, string[]> }
-            | undefined,
+            { message: string; issues: Record<string, string[]> } | undefined,
     ): string => {
         if (failure === undefined) return ''
         let line = `<p class="failure" role="alert">${escapeText(failure.message)}</p>`

package/src/server/manifestOf.ts

@@ -16,6 +16,7 @@
 // a preload of the same address is a second request line for bytes already on their way.
 
 import { resolve } from 'node:path' // bun exposes no path helpers of its own
+
 import { CLIENT_ENTRY } from './CLIENT_BUILD.ts'
 import { VIRTUAL_DIRECTORY } from './VIRTUAL_DIRECTORY.ts'
 

package/src/server/muxUpgrade.ts

@@ -10,6 +10,7 @@
 
 import { SOCKET_ADDRESS } from '#shared/ADDRESSES.ts'
 import { unmounted } from '#shared/mount.ts'
+
 import { positiveSetting } from './config.ts'
 import { plainAnswer } from './plainAnswer.ts'
 

package/src/server/nativeMenu.ts

@@ -2,7 +2,9 @@
 // with `onMenu`, built as an `NSMenu`.
 
 import { FFIType } from 'bun:ffi'
+
 import type { MenuRole } from '#shared/menuItem.ts'
+
 import {
     definedClass,
     type Id,

package/src/server/placement.ts

@@ -104,6 +104,16 @@ export function isServerFile(path: string): boolean {
 
 const SERVER_FILE = /[^/]\.server\.[^./]+$/
 
+/** 16.2 — whether `path` names a handler file, `<name>.handler.ts`, whose default export answers at its route. */
+export function isHandlerFile(path: string): boolean {
+    return path.endsWith('.handler.ts')
+}
+
+/** 23.24 — whether `path` names a param file, `<NAME>.param.ts`, declaring the matcher `NAME`. */
+export function isParamFile(path: string): boolean {
+    return path.endsWith('.param.ts')
+}
+
 /** Whether `path` names a test file, which is never an address nor a module the app runs. */
 export function isTestFile(path: string): boolean {
     return path.endsWith('.test.ts')
@@ -127,7 +137,7 @@ export function skipped(name: string): boolean {
 /**
  * The route a file answers at — its path below the root without its extension.
  *
- * 23.14 — `media/[id].abide` and `media/getGrid.ts` are `/media/[id]` and `/media/getGrid`; an
+ * 23.14 — `media/[id].abide` and `media/getGrid.handler.ts` are `/media/[id]` and `/media/getGrid`; an
  * `index.abide`, a `layout.abide` and an `error.abide` are their directory's.
  */
 export function routeOf(path: string): string {
@@ -138,7 +148,7 @@ export function routeOf(path: string): string {
     return `/${parts.filter((part) => part !== '').join('/')}`
 }
 
-const EXTENSION = /\.(?:abide|ts)$/
+const EXTENSION = /\.(?:abide|handler\.ts)$/
 
 /** 23.14, 23.18 — the names whose route is their directory's, and so a route's wherever they stand. */
 export const DIRECTORY_FILES = new Set([

package/src/server/principal.ts

@@ -9,14 +9,15 @@ import { cookies } from '#shared/cookies.ts'
 import { isFailed } from '#shared/Failed.ts'
 import { isRecord } from '#shared/isRecord.ts'
 import { namedLogger } from '#shared/log.ts'
-import { PRINCIPAL_HEADER } from '#shared/PRINCIPAL_HEADER.ts'
 import {
     type PRINCIPAL,
     type Principal,
     principalMembers,
 } from '#shared/principal.ts'
+import { PRINCIPAL_HEADER } from '#shared/PRINCIPAL_HEADER.ts'
 import { refuse } from '#shared/refuse.ts'
 import { declare } from '#shared/rpc.ts'
+
 import { mountedOwn } from './answerRpc.ts'
 import { signedInAt } from './bridgeRelay.ts'
 import { callerOf, callerOrMint, mintCaller } from './callerOf.ts'