@aiquants/daily-report 0.41.0 → 0.42.0

package/README.md

@@ -56,6 +56,7 @@ domain-specific knowledge. It is one module with three entries:
 - [Client wiring](#client-wiring)
   - [View height (host layout)](#view-height-host-layout)
   - [Keyboard, focus and selection (List / DetailList)](#keyboard-focus-and-selection-list--detaillist)
+    - [Assistive technology checklist](#assistive-technology-checklist)
   - [Selection and focus appearance](#selection-and-focus-appearance)
   - [Attachment display](#attachment-display)
   - [Test hooks](#test-hooks)
@@ -82,11 +83,16 @@ pnpm add @aiquants/daily-report @aiquants/virtualscroll @aiquants/swipe-overlay
 ```
 
 `@aiquants/virtualscroll` / `@aiquants/swipe-overlay` / `@aiquants/resize-panels` / `react` / `react-dom` / `react-router` / `drizzle-orm` / `zod` are
-**peer dependencies**. React must be **19 or later** (`react` / `react-dom` `>=19`): the rows register their keyboard focus targets with ref callbacks
-that return a cleanup.
+**peer dependencies**. React must be **19 or later** (`react` / `react-dom` `>=19`): the views attach their `VirtualScroll` handle and observe the attachment
+names with ref callbacks that return a cleanup.
 `zod` may be 3.25.76 or later, zod 4 included (`>=3.25.76 <5.0.0`): the package reads zod only through its `zod/v3` entry, which every version in that
 range ships, so the shipped declarations compile and a mismatch names the same issue codes whichever version the host installs.
-The peer floor of `@aiquants/virtualscroll` is **3.14.0**: install 3.14.0 or later.
+The peer floor of `@aiquants/virtualscroll` is **3.17.0**: install 3.17.0 or later.
+Both views name their active row through its `activeItemIndex`, which renders `aria-activedescendant` in the same render as the row and keeps that
+row mounted, count that row as shown only beyond its `activeItemVisibleInset`, describe an empty composite by its empty text, and skip the rendering
+of far rows through its `itemZones` and `useVirtualScrollItem`; they bind its focus-ring colour variable `--aqvs-focus-ring-color` to the row outline
+(each since 3.17.0; see [Keyboard, focus and selection](#keyboard-focus-and-selection-list--detaillist) and
+[Selection and focus appearance](#selection-and-focus-appearance)).
 Both views pass its scroll-bar option `enableArrowButtonTabStops: false`, since 3.10.0 its one signal that the host scrolls by keyboard itself, under
 which the scroll bar is pointer-only — hidden from assistive technology, out of the Tab order and never taking focus on a press (the views scroll by
 keyboard themselves; see [Keyboard, focus and selection](#keyboard-focus-and-selection-list--detaillist)) —; its stylesheet stops the motion of its
@@ -116,7 +122,7 @@ of the floor, and the row says what those engines draw:
 | Feature | Supported from | Used for | Below the floor |
 | --- | --- | --- | --- |
 | `Element.checkVisibility({ visibilityProperty: true })` and its `opacityProperty` option | Chrome 121, Firefox 122, Safari 17.4 (the method alone: Chrome 105, Firefox 106) | Finding Tab stops for the `Ctrl+Home` / `Ctrl+End` exits and the mobile overlay's Tab wrap; the focus successors (with `opacityProperty: true` too; **Focus goes only to what shows it** in [Client wiring](#client-wiring)) | Without the method (Safari before 17.4) those key handlers throw a `TypeError`: the exit keys keep their browser meaning, and at the overlay's ends Tab moves to the browser's own interface instead of wrapping (the page behind the dialog stays inert); a hand-over of focus throws the same error before it moves focus (a retry button's press then does not retry, the notice's close does not close, and a hand-over in a layout effect reaches the nearest error boundary). With the method but not the options (Chrome 105–120, Firefox 106–121) an element hidden by `visibility: hidden` counts as a stop, so an exit key whose nearest stop is such an element is consumed while focus stays where it was, and an element at opacity 0 counts as a visible successor |
-| `:has()` | Chrome 105, Firefox 121, Safari 15.4 | The List card's selection ring and keyboard focus outline, and the forced-colours selection outline of a List row with a card (all read from the card's primary button) | List cards show neither the selection nor keyboard focus (the DetailList is unaffected) |
+| `:has()` | Chrome 105, Firefox 121, Safari 15.4 | The keyboard-focus outline of a List card whose primary button holds keyboard focus (the card's surface reads its direct-child button). The selection ring, its forced-colours outline and the active row's outline come from the row frame's own `aria-selected` and `data-daily-report-active` and do not use `:has()` | A List card whose primary button holds keyboard focus (after a pointer hand-back, a key on the button) shows no focus outline; the selection ring and the active row's outline still show, and the DetailList is unaffected |
 | Container size queries and container query units (`cqi`) | Chrome 105, Firefox 110, Safari 16 | The attachment grid's column count and its whole-pixel width (both read from the grid's own size container); the tile frame's height and the tile's lattice pad (`100cqi` of the tile root, an inline-size container as wide as its track); the view-mode toolbar's end inset in the single-column List | One attachment column at every width; frames sized by `aspect-ratio` alone and tiles without the pad (below); the toolbar's end edge overhangs the List's scroll bar by 8 px |
 | CSS `round()` | Chrome 125, Firefox 118, Safari 15.4 | The attachment grid's whole-pixel width `calc(round(down, 100% − 16 (n − 1), n px) + 16 (n − 1))` per column count, which makes every track a whole pixel, the tile frame's whole-pixel height `round(nearest, 100cqi * 320 / 480, 1px)` and the tile's lattice pad `round(up, h, var(--aqdr-lattice-block)) − h` under its last line (see [Attachment display](#attachment-display)); the views' column origin on the lattice (see **Origin on the lattice**) | Chrome 121–124, inside the floor, drop those declarations: the grid fills its container with the fluid tracks (W − 16 (n − 1)) / n (every breakpoint keeps its column count, which no `round()` declaration sets), so tile edges can fall between pixels and the names are fitted less than 1 px narrower than the track; the frame's `aspect-ratio: 480 / 320`, always declared beside its height, sizes the frame at the exact fractional 2t / 3, so the frames of one grid can paint one device pixel apart; a tile stays its frame's fractional height + 48 px tall, so the rows below an image grid can start between device pixels; and the column keeps the `mx-auto` centre |
 | CSS `calc-size()` | Chrome 129 | The DetailList row bodies', the error notice's and the view-mode toolbar band's height, their content height rounded up to the block quantum of the device-pixel lattice (`calc-size(auto, round(up, size, var(--aqdr-lattice-block)))`: 4 px, 8 px at the odd multiples of 1/8; see **Row slots on the lattice** and **Origin on the lattice**) | Chrome 121–128, and any engine that does not implement it, drop the declaration: a body keeps its content height, which is on the 4 px lattice at a 16 px root and can leave it at other roots and at the odd multiples of 1/8, so the DetailList rows below can start between device pixels; the toolbar's band keeps its content height, so at the odd multiples of 1/8 the views start half a device pixel off whenever that height is not a multiple of 8 px (the toolbar alone is 32) |
@@ -213,10 +219,17 @@ const tables = defineDailyReportSchema("dbo_app", { userTable: Users })
 ```
 
 `DailyReportHub.source_id_num` is a computed column (`TRY_CAST(source_id AS BIGINT)`), used to join external legacy sources.
+`DailyReportHub.source_type` must be an `nvarchar(n)` column with a declared length from 1 to 4,000 (`defineDailyReportSchema` declares
+`nvarchar(20)`): the source-type predicate compares the lower-cased stored value and the tokens as UTF-16 bytes of twice that length
+([Source-type visibility](#source-type-visibility)), and `createDailyReportService` stops with a `RangeError` for any other column
+(`[daily-report] tables.hub.sourceType must be an nvarchar(n) column with a declared length (source types compare as UTF-16 bytes); got "<SQL type>"`).
+Every write to an existing report starts its transaction with an update of the report's live hub row that changes no value and outputs the row, so
+the hub's `update` must support drizzle's `output()` (a hand-written database stand-in answers it).
 
 The text search adds two optional tables in a schema of their own (see [Text search](#text-search)); `defineDailyReportSearchSchema(schemaName)`
 defines them, and a host may inject its own models of the same shape. The service also needs `execute` on `DailyReportDb` (drizzle's `db.execute`; the
-handle a host already passes has it).
+handle a host already passes has it): the star and read toggles write the viewer's status row with one `MERGE … WITH (HOLDLOCK)` through it and read
+the row it outputs, so two first toggles of the same report and viewer never collide on the primary key.
 
 ## Server wiring (DI)
 
@@ -231,6 +244,8 @@ export const dailyReportServer = createDailyReportServer({
     resolveUserId: async (externalId) => {/* External ID (e.g., OAuth sub) -> internal numeric ID */},
     encodeUserId: (id) => encodeId(id),          // Internal ID obfuscation (e.g. sqids)
     authenticate: authenticateInLoader,          // DailyReportAuthenticate (overloaded): string mode => { user, cookie? } / null mode => { user?, cookie? }
+    loginRedirectPath: SIGN_IN_PATH,             // Required: the host's sign-in route, where the page loader sends a signed-out reader
+    resolveVisibleSourceTypes: visibilityPort,   // Required: the source types each request may view (see Source-type visibility)
     redis: redisProvider as unknown as DailyReportRedisProvider, // Optional (disables SSE/epoch)
     externalSources: [                           // Optional: ingest legacy daily report tables from external systems
         { sourceType: "legacy", table: LegacyReport, idColumn: LegacyReport.reportId, mapRow: mapLegacyRow },
@@ -390,6 +405,12 @@ the two routes need no guard of their own:
   `cache_miss_admission_suppressed count=<N> since=<ISO 8601 time of the window's first refusal> viewer=<internal id> endpoints=business-date:<n>,ids-columns:<n>,report:<n>`
   line written by the window's own timer at its end; the refusal of an aborted request writes nothing.
   The slots and the queues are per worker process, so the effective bounds across workers are the worker count times these.
+- **Visibility unavailable**: every endpoint, the ids stream included, resolves the viewer's source-type visibility once per request, after the 405
+  and before its own checks and reads (the cache keys depend on the scope). When the visibility port throws or answers outside its contract
+  ([Source-type visibility](#source-type-visibility)), the request is answered 503 `{"error":{"message":"Report visibility is unavailable"}}` with
+  `Retry-After: 5` and `Cache-Control: no-store`, before any read, and no body starts: an empty list would read as "no visible report" and an ids
+  stream would hand out the live anchor with it. The action, the attachment route and the SSE route answer the same outcome in their own forms
+  (**Visibility, then the user** under **Request values** below; the `busy` 503 in [Attachments](#attachments); [SSE wire contract](#sse-wire-contract)).
 - **Security headers**: every response of the API, action and SSE routes, whatever its status — the JSON answers and refusals, the action's answers,
   the request isolation's refusals, the SSE stream, its terminal frames and its errors, the ids NDJSON — carries `X-Content-Type-Options: nosniff`,
   `X-Frame-Options: DENY` and `Content-Security-Policy: default-src 'none'`, set last, so no header of a response overrides them.
@@ -496,6 +517,12 @@ its payload — with one strict parser each, after authentication and before any
   - **`toggleStar` / `toggleRead`**: `isStarred` / `isRead` is exactly `true` or `false`. Anything else — `TRUE`, `1`, `yes`, the empty text — is
     `Invalid isStarred` / `Invalid isRead`, and a missing one is `isStarred required` / `isRead required`.
   - **`addComment`**: `content` is a non-empty text (`Content required` otherwise). **`deleteComment`**: `commentId` (**Ids** above).
+  - **Visibility, then the user**: once the form is read and checked, the action resolves the viewer's source-type visibility once
+    ([Source-type visibility](#source-type-visibility)). When the port throws or answers outside its contract, the action answers 503
+    `{"error":"Report visibility is unavailable"}` with `Retry-After: 5` and `Cache-Control: no-store`, before the internal user lookup and any intent.
+    Then the internal user (`User not found`, 404). A `create` whose scope does not show the package's own source type (`Internal`) is 403
+    `{"error":"Creating reports is restricted"}` before any query; the other intents answer a report the scope hides as 404 (**Where it applies** in
+    [Source-type visibility](#source-type-visibility)).
 - **One wire contract for the action and the JSON endpoints**, which the server, the package's client and a host that calls the routes itself all read
   from the shared entry (`@aiquants/daily-report`; neither side restates a name):
   - the intents (`DAILY_REPORT_ACTION_INTENTS` and their type `DailyReportActionIntent`, from which the server's form reading and the client's
@@ -570,9 +597,15 @@ its payload — with one strict parser each, after authentication and before any
   The client compares no name: the views open the viewer's own draft in the editor by `isDraft` alone, so a draft named by any of the names, or by a
   variant the collation equates, behaves as one ([Client wiring](#client-wiring)). The SSE stream's key carries the wire version (`<streamKey>:v3`),
   so an entry written before `isDraft` existed is never read.
-- `resolveVisibleSourceTypes(request)` — **Optional row-level authorization port.** Returns the `Hub.source_type` values this request may view.
-  Applies uniformly to every server data path: list (ids stream), business-date list, detail, comments, attachment bytes, and SSE. See
+- `resolveVisibleSourceTypes(request, { reason })` — **Required row-level authorization port.** Returns the `Hub.source_type` values this request may
+  view, or the explicit opt-out `{ unrestricted: "<reason>" }` of a deployment that does not restrict by source type. Applies uniformly to every server
+  data path: list (ids stream), business-date list, detail, comments, attachment bytes, SSE, the create and every write to a report.
+  A configuration without it is a type error, and `createDailyReportServer` / `createDailyReportHandlers` stop with a `TypeError` when it is missing
+  (`[daily-report] resolveVisibleSourceTypes must be a function`), so no deployment can leave every category open by forgetting it. See
   [Source-type visibility](#source-type-visibility) below.
+- `loginRedirectPath` — **Required**: the path of the host's sign-in route, where the page loader (`index.loader`) redirects a reader who is not
+  signed in. `createDailyReportServer` and `createDailyReportHandlers` stop with a `RangeError` for anything but a non-blank text
+  (`[daily-report] loginRedirectPath must be the non-blank path of the host's sign-in route; got <value>`): the package names no host route of its own.
 - `enableDevCacheClear` — Gates the dev-only `POST /action` `intent=clearCache` (flush every worker's cache). Default `false` → the action answers
   `400` (`Invalid intent`) and never calls `service.clearCache()`. Wire `import.meta.env.DEV` to enable it only in development (any authenticated user
   could otherwise flush all caches without limit).
@@ -590,7 +623,7 @@ its payload — with one strict parser each, after authentication and before any
   | Channel | Console from | Lines |
   | --- | --- | --- |
   | `[DailyReportAPI]` | `error` | the 500 of a JSON endpoint and of the action, the ids stream's emission failures, and the JSON answers' `debug` trace (below) |
-  | `[DailyReportVisibility]` | `error` | a `resolveVisibleSourceTypes` that threw (the request fails closed) |
+  | `[DailyReportVisibility]` | `error` | a `resolveVisibleSourceTypes` that threw or answered outside its contract (the request is answered "not now": **Failure** in [Source-type visibility](#source-type-visibility)) |
   | `[DailyReportSSE]` | `info` | the SSE route: a malformed resume cursor, its producers' and the shared reader's errors, its 500 |
   | `[DailyReportAttachment]` | `info` | both attachment deliveries (**Log levels** under [Attachments](#attachments)) |
   | `[DailyReportIsolation]` | `warn` | the refusal record of [Request isolation](#request-isolation) |
@@ -622,7 +655,7 @@ its payload — with one strict parser each, after authentication and before any
   and 405), so a client decides neither the number nor the size of the lines.
 - Primary tuning parameters: `idsTtlMs` (180 s) / `businessDateTtlMs` (300 s) / `cacheDefaultTtlMs` (60 s) / `cacheMaxBuckets` (4,096) /
   `cacheMaxBytes` (512 MiB per process; both **The SQL result cache** in [The API route](#the-api-route)) / `streamKey` / `streamMaxLen` (10,000
-  entries) / `loginRedirectPath`; the attachment tuning lives in the `attachments` block ([Attachments](#attachments)).
+  entries); the attachment tuning lives in the `attachments` block ([Attachments](#attachments)).
   Every number among them is an integer of at least 1, and only an omitted one takes its default: `0`, a negative number, `NaN`, a fraction or 2^53
   stops `createDailyReportService` and `createDailyReportServer` with a `RangeError` that names the key
   (`[daily-report] idsTtlMs must be an integer >= 1; got 0`).
@@ -711,59 +744,119 @@ streaming body is refused from the start.
 ### Source-type visibility
 
 Restrict which report categories a viewer may see, without the package depending on any authorization library. The port receives the request and
-returns plain strings; your app decides the policy.
+returns plain strings; your app decides the policy. The port is required, so no deployment leaves every category open by omission: a deployment
+that does not restrict by source type says so with the explicit opt-out and its reason.
 
 ```ts illustrative
+import { createDailyReportVisibilityCache } from "@aiquants/daily-report/server"
+
 createDailyReportServer({
   // …existing config
-  resolveVisibleSourceTypes: async (request, { reason }) => {
-    // `reason === "refresh"` is the periodic re-check of a live SSE connection: bypass any
-    // request-scoped cache there, or a revoked grant keeps streaming until the client reconnects.
-    const grants = await yourAuthz.grantsFor(request, { skipCache: reason === "refresh" })
-    return grants.canReadLegacy ? ["legacy"] : []
-  },
+  resolveVisibleSourceTypes: createDailyReportVisibilityCache({
+    ttlMs: 30_000,
+    // `refresh` is the periodic re-check of a live SSE connection: read the viewer from the session afresh there,
+    // so a viewer who signed out reads as null and the stream ends.
+    readViewerKey: async (request, { reason }) => (reason === "initial" ? yourAuth.viewerIdOf(request) : yourSession.viewerIdOf(request)),
+    resolve: async (request, { reason }) => {
+      const grants = await yourAuthz.grantsFor(request, { skipCache: reason !== "initial" })
+      return grants.canReadLegacy ? ["legacy"] : []
+    },
+  }),
 })
 ```
 
+A deployment that shows every category to every viewer answers `{ unrestricted: "<why this deployment needs no category restriction>" }`; the
+reason is the audit trail, so `grep -rn "unrestricted:"` in the host lists every such answer.
+
 #### Contract
 
 | Return value | Meaning |
 | --- | --- |
-| `undefined` / `null` | Unrestricted — every source type (the default when the port is not injected). |
 | `["legacy", "Internal"]` | Only those source types are visible (bodies **and** comments). |
-| `[]` | Nothing is visible (zero rows) — **not** the same as `null`. |
+| `[]` | Nothing is visible (zero rows): a revocation, which reads answer with no rows and SSE delivery with anchors only. |
 | `{ read: [...] }` | Same as returning the bare array — the comment dimension follows `read`. |
 | `{ read: [...], comment: [...] }` | Bodies and comments restricted independently. See [Comment visibility](#comment-visibility). |
-| throws | Treated as `[]` (deny all). The failure is logged; an authorization-store outage never falls open. |
+| `{ unrestricted: "<reason>" }` | Every source type: the explicit opt-out of a deployment that does not restrict by source type, with a non-blank reason. |
+| throws | The visibility of this request cannot be decided now: the request is answered "not now", never as `[]` (**Failure** below). |
+| anything else — `null`, `undefined`, a string, an array with a non-string element, an object with another key (such as `comments`), a blank reason | Outside the contract: handled like a throw. Reading an unknown key as an omitted `comment` would silently let comments follow `read`. |
 
 - **Vocabulary**: the strings are `DailyReportHub.source_type` **values** — the `sourceType` of each entry you registered in `externalSources`, plus
-  `"Internal"` which the package writes for reports it creates. They are *not* your authorization resource keys; mapping a resource key (e.g.
-  `report_legacy`) onto a source type (e.g. `legacy`) is the consuming app's job. Read the canonical set at boot from
-  `dailyReportServer.knownSourceTypes` (frozen: `Internal` first, then each adapter's in order) and assert your mapping against it — an unknown token
-  silently matches zero rows.
+  `"Internal"`, the package's own source type for the reports it creates (`DAILY_REPORT_INTERNAL_SOURCE_TYPE` on the shared entry). They are *not* your
+  authorization resource keys; mapping a resource key (e.g. `report_legacy`) onto a source type (e.g. `legacy`) is the consuming app's job. Read the
+  canonical set at boot from `dailyReportServer.knownSourceTypes` (frozen: `Internal` first, then each adapter's in order) and assert your mapping
+  against it — an unknown token silently matches zero rows. Fold your tokens with `foldDailyReportSourceTypeToken` (shared entry), the fold the server
+  applies to the tokens it reads, instead of a copy of it.
   Two adapters whose source types are equal ignoring case (an exact duplicate included), or an adapter whose source type is `Internal` in any case,
   stop `createDailyReportService` and `createDailyReportServer` with a `RangeError`
   (`[daily-report] externalSources[1].sourceType must be a source type that differs, ignoring case, from externalSources[0].sourceType "legacy"; got "Legacy"`):
   matching folds case, so two such source types could not be told apart.
-- **Matching** is case-insensitive on both the JS and SQL sides (both fold to lower case), so it does not depend on the database collation.
-  Surrounding whitespace is trimmed from the *tokens you return* but never from the stored column value — the two sides fold identically, and a padded
-  stored value is simply invisible (fail-closed) rather than visible on one path and hidden on the other.
+- **Matching** is case-insensitive and exact, the same on the JS and SQL sides: a token is trimmed and lower-cased (`foldDailyReportSourceTypeToken`),
+  a stored value is lower-cased and never trimmed, and the two must be equal. In SQL the predicate compares bytes,
+  `CAST(LOWER(source_type) AS VARBINARY(2n)) IN (CAST(@token AS VARBINARY(2n)), …)` with n the column's declared length (**Required database schema**),
+  because SQL Server compares strings with trailing blanks padded and, under a width-insensitive collation, full-width and half-width forms alike: the
+  bytes do neither, so the predicate does not depend on the database collation.
+  A padded (`kintone␠`) or full-width stored value therefore matches no token and is invisible on every path — the SQL reads, SSE delivery, the write
+  gate and attachment bytes alike. A token longer than the column matches no stored value and is left out of the list (the cast would cut it, and its
+  cut head could match); a list left empty denies everything. The predicate cannot use an index, as `LOWER()` could not.
 - **Where it applies**: the SQL predicate is injected in the service layer, so it holds for every delivery path (including attachment bytes) rather
-  than only the HTTP handlers. It also gates the mutations that act on someone else's report (`addComment`, `deleteComment`, star, read); a hidden
-  report is reported as `404`, never `403`.
+  than only the HTTP handlers. It also gates every write:
+  - **Creating** needs the package's own source type: a scope that does not show `Internal` is refused (`Forbidden`, answered 403
+    `{"error":"Creating reports is restricted"}`) before any query. A create names no existing row, so there is nothing to hide, and a report its author
+    could not read back would be stranded; give every author the read of `Internal`. The create's answer is the report read again under the actor's
+    scope.
+  - **Every write to an existing report** — `addComment`, `deleteComment`, star and read, and the author's own `updateDailyReport`,
+    `publishDailyReport` and `deleteDailyReport` — first passes the same gate (`assertHubMutable`, the read rule's category and draft clauses on the
+    live row), before the owner or author is compared. The comment writes, the update and the publish start their transaction with a lock of the
+    report's live hub row (`lockLiveHub`: an update that changes no value, conditioned on the row being live and, for the author's writes, owned), and
+    the delete conditions its own update the same way, so a delete committed after the gate turns the write into `Not Found` instead of a write to a
+    deleted report (a draft's labels stripped, its search document rewritten).
+  - A hidden report — a category outside the scope, another user's draft, a missing or a deleted row — is reported as `404`, never `403`, after the
+    same single read, so the answer does not tell whether a hidden row exists (a comment of such a report is `404` `Comment not found` for
+    `deleteComment`); a visible report of another user is still `403` for the three author mutations, and so is another viewer's comment on a visible
+    report for `deleteComment`.
+  - The publish action answers with the report read again under the actor's scope, so the comment dimension applies to the answer (other users'
+    comments of a category the scope's `comment` excludes are dropped, the actor's own posted comments stay, and external comments are emptied); the
+    `report-publish` event carries the whole report, and SSE delivery filters it for each recipient.
 - **How it reaches the service**: the resolved set is wrapped in a `DailyReportViewerScope` and passed as the **first** argument of every gated
-  service method.
+  service method, the create and the three author mutations included.
   The class is nominal (it holds a private field), so `{ visible: null }`, `{ ...scope, visible: null }` and `new DailyReportViewerScope(...)` are all
   type errors — the only ways to obtain one are `DailyReportViewerScope.restrictTo(tokens)` — which accepts `readonly string[]` only, so it cannot be
-  handed a nullish value and quietly widen — and `DailyReportViewerScope.unrestricted(auditReason)`.
+  handed a nullish value and quietly widen — and `DailyReportViewerScope.unrestricted(auditReason)`, which the handlers call only for the port's
+  explicit opt-out, with its reason.
   Because a bare `null` is not spellable as a visibility value, `grep -rn "DailyReportViewerScope.unrestricted("` enumerates every unfiltered read in
   a codebase, each carrying a written reason.
-- **Performance**: the port is called once per request on the critical path (cache keys incorporate the resolved set), so keep it fast — cache grants
-  per session/user with a short TTL (≤ 60s). A live SSE connection re-resolves on a dedicated 60 s timer (independent of the heartbeat) to bound how
+- **Failure**: a port that throws — an authorization-store outage, or a viewer who is gone (signed out or disabled) — or answers outside the contract
+  leaves the request's visibility undecided, and the package answers "not now" rather than "nothing visible", on every path, before any read or write:
+  - every JSON endpoint and the ids stream: 503 `{"error":{"message":"Report visibility is unavailable"}}` with `Retry-After: 5` and
+    `Cache-Control: no-store` (**Visibility unavailable** in [The API route](#the-api-route));
+  - the action: 503 `{"error":"Report visibility is unavailable"}` with the same headers, before the user lookup;
+  - an original or a thumbnail: the `busy` 503 with `Retry-After: 5` ([Attachments](#attachments));
+  - an SSE connect: 503 with `Retry-After: 5`; an open stream whose periodic re-check fails ends without writing anchors for the entries it has not
+    delivered (**SSE latency** below).
+
+  An empty answer for a failure would show an empty list during a blip, hand the client the live stream anchor with it, and let SSE skip the events of
+  the outage for good. Each failure writes one `error` line on the `[DailyReportVisibility]` channel per cause (`port_failure`, `port_contract`) and
+  window of 60 s — `visibility unavailable cause=<cause> reason=<initial|refresh>`, with the error (a throw) or the answer's shape (`answer=<null|array|type>`,
+  never its value) —, and the window's own timer writes
+  `visibility_unavailable_suppressed count=<N> since=<ISO 8601 time of the window's first failure> cause=<cause> reasons=initial:<n>,refresh:<n>` at its
+  end when it counted more.
+- **Performance**: the port is called once per request on the critical path (cache keys incorporate the resolved set), so keep it fast.
+  `createDailyReportVisibilityCache({ ttlMs, readViewerKey, resolve })` (server entry) is the package's memoizer of the port's answers, which a host
+  wraps around its own lookup instead of restating the cache rules:
+  - it keeps one answer per viewer key (`readViewerKey`) for `ttlMs`, an integer from 1 to `DAILY_REPORT_VISIBILITY_MAX_CACHE_TTL_MS` (60,000; a
+    `RangeError` otherwise), measured on the monotonic clock, and sweeps expired answers on every write;
+  - it reads its memory for `initial` only; `refresh` (and any other reason) looks up afresh and writes the answer back, so the next `initial` uses it;
+  - concurrent `initial` calls share the pending lookup (written when it starts, so a slower earlier lookup never overwrites a later answer);
+  - a failed lookup is forgotten while the viewer's entry still holds it, keeping an answer written after it;
+  - a request whose `readViewerKey` answers null — nobody signed in, or a viewer gone by the time of a `refresh` — throws before any lookup.
+
+  A live SSE connection re-resolves on a dedicated 60 s timer (`DAILY_REPORT_SSE_VISIBILITY_REFRESH_MS`, independent of the heartbeat) to bound how
   long a revoked grant keeps streaming; that call passes `reason: "refresh"` and reuses the connection's original `Request`, so a cache keyed on
-  request identity **must** be bypassed when `reason === "refresh"` or the re-check silently returns the stale set.
-- **SSE latency**: because a live connection re-resolves periodically, a grant change (in either direction) takes effect for the stream within ~60s.
-  Events dropped before a widening are not replayed; the next read (which re-resolves per request) restores them.
+  request identity **must** be bypassed when `reason === "refresh"` or the re-check silently returns the stale set (the memoizer does so).
+- **SSE latency**: because a live connection re-resolves periodically, a grant change (in either direction) takes effect for the stream within the
+  re-check period plus the cache's lifetime. Events dropped as outside the scope before a widening are not replayed (the next read restores the
+  reports). A re-check that fails ends the stream instead: the last `id:` on the wire is the last delivered entry, so the browser's reconnect catches up
+  from there once the lookup answers again, and a viewer who signed out meets the stream's sign-in end on the reconnect.
 
 ### Comment visibility
 
@@ -787,7 +880,8 @@ resolveVisibleSourceTypes: async (request, { reason }) => {
 | `["Internal"]` | Only those source types' comments are visible/writable. Narrowed to `read ∩ comment` at construction, since comments only ever ship inside an already-read-filtered report. |
 
 - **`null` is rejected by the type system** — a second spelling for "follow `read`" would make the dimension four-state and reintroduce exactly the
-  unrestricted-vs-deny-all confusion the tri-state contract exists to prevent. A `null` that slips through at runtime fails **closed**.
+  unrestricted-vs-deny-all confusion the contract exists to prevent. A `null` (or any other value that is not a token array) that slips through at
+  runtime is outside the contract and answered like a port failure (**Failure** in [Source-type visibility](#source-type-visibility)).
 - **What it covers**: `DailyReportDetail` carries comments in **two** structurally different fields — `postedComments` (the package's own comment
   table) and `externalComments` (JSON supplied by an `externalSources` adapter). Both are gated. They are emptied, never omitted: the keys are
   required by the SSE schema, and dropping them would make a receiver discard the whole message.
@@ -798,7 +892,7 @@ resolveVisibleSourceTypes: async (request, { reason }) => {
 - **Writing to external sources remains impossible regardless** — `addComment` rejects any non-`Internal` source type outright, so for external
   categories the comment dimension effectively controls *reading*.
 - **Cache**: the dimension is folded into the cache-key digest, so revoking only the comment grant invalidates immediately. When `comment` follows
-  `read` (the default) the digest is byte-identical to before, so existing deployments see no cache churn.
+  `read` (the default) the digest equals the single-dimension digest of `read`, so such a deployment's cache keys do not depend on the dimension.
 
 ### Attachments
 
@@ -960,6 +1054,9 @@ type DailyReportReadAttachment = (
 
   `busy`, `deadline` and `unavailable` are transient: a thumbnail generation concludes nothing from them, caches nothing and marks nothing missing.
   The requests that joined that generation receive the same failure, and the next request reads again.
+  A request whose viewer visibility cannot be decided (the visibility port failed; **Failure** in [Source-type visibility](#source-type-visibility))
+  gets the same transient 503 with `Retry-After: 5` on both deliveries, at the authorization step, before any query or read: an undecided scope is
+  not read as "not visible", whose 404 a thumbnail would conclude from.
 - **`principal` is for attribution and audit only: the read result must not depend on it.** The SQL predicate (`getAttachmentForUser`) is the only
   authorization boundary; the port reads the `filePath` of a row that has already been authorized. Thumbnail generation relies on this: requests
   waiting for the same content share one read, made with the first requester's `principal`, and the outcome is cached for every authorized viewer of
@@ -1457,7 +1554,7 @@ The thumbnail delivery (`?thumbnail=tile`):
 | 405 | Any method other than GET (`Allow: GET`) |
 | 429 | An empty generation bucket (`reason=rate_limit`) or revalidation bucket (`reason=revalidation_rate_limit`), or a revalidation that is not a matching 304 when no generation token is left after authorization (`reason=rate_limit`) (`Retry-After: 60`) |
 | 502 | Storage unreachable or a read ended early (`unavailable`), the port's `failed` (`render_failed`), or the render stage's deadline (`render_timeout`) |
-| 503 | Wait queue full or wait timed out (`queue`), the storage busy (`busy`), or the generation abandoned by every waiting request (`aborted`; no one receives it) (`Retry-After: 5`); the message is `Thumbnail temporarily unavailable` for every cause |
+| 503 | Wait queue full or wait timed out (`queue`), the storage busy (`busy`), the generation abandoned by every waiting request (`aborted`; no one receives it), or the viewer's visibility undecided at authorization (the visibility port failed; **Failure** in [Source-type visibility](#source-type-visibility); logged on that channel, not here) (`Retry-After: 5`); the message is `Thumbnail temporarily unavailable` for every cause |
 | 504 | A storage read past a deadline: the read port's own (`deadline`) or the read stage's `readMs` (`read_timeout`); never cached |
 | 500 | Unexpected exception, including one thrown by a port during generation (logged as `500 attachment=<id> viewer=<id> variant=thumbnail cache=miss reason=port_exception message=<msg>`, never cached), or a port contract violation (`port_contract`: a render result outside the contract, logged with `code=result` for a value that is not an object, `code=failure_reason` for a failure whose reason is neither `unsupported` nor `failed`, and for a read failure whose reason is outside `DailyReportAttachmentFailure`, or the output check that failed, `code=` `content_type`, `bytes`, `empty`, `too_large`, `signature` or `dimensions`; or a read over `maxBytes`, `code=over_max_bytes`), or a host route that passes no `token` parameter (a route misconfiguration, below) |
 
@@ -1505,7 +1602,8 @@ also when the refusals stop, and a bucket the limiter evicts (it keeps 1,024 use
 
 ### Transactions
 
-Creating and editing a report each write in one transaction. The service has one entry to its transactions, which retries **only a transaction the
+Creating and editing a report each write in one transaction; creating also writes the author's status row (read, not starred) in it, so the
+report reads back as read. The service has one entry to its transactions, which retries **only a transaction the
 database chose as a deadlock victim** (the decision is
 [`@aiquants/mssql`](../mssql/README.md)'s, and the closure is wrapped with its `capture`, so the cause is kept before the ORM drops it): concurrent
 operations whose lock ranges overlap can deadlock,
@@ -1567,7 +1665,7 @@ and without the retry the victim would answer 500 and lose what it wrote.
 
 Stop signals are **in-band**: the server answers 200 and writes `retry: 86400000` before one named terminal event, so a client that does not listen
 for the event (an older bundle) reconnects at most once a day instead of in a loop. A non-200 response is reserved for a misconfigured endpoint, an
-unexpected error and a request that is not the package's client (another origin's page).
+unexpected error, a request that is not the package's client (another origin's page) and the transient 503s the client retries on its own backoff.
 
 | Server-side situation | Response | Client (`useDailyReportSseConnection`) |
 | --- | --- | --- |
@@ -1579,6 +1677,8 @@ unexpected error and a request that is not the package's client (another origin'
 | A `HEAD` request | the status and headers a `GET` would get (one of the rows here), with no body work: no subscription, no heartbeat, no visibility refresh timer ([Streaming routes](#streaming-routes)) | never sent by the client |
 | Unexpected error before the stream starts (for example the internal-user lookup fails) | 500 with the body `Internal Server Error` (no error detail), `Set-Cookie` forwarded | treated as retryable; backoff up to 30 s |
 | The viewer already holds every stream slot of the worker (**Streams per viewer** in [The API route](#the-api-route): 32, SSE and ids streams together), after the resume cursor is read | 503 with the body `Too many streams` and `Retry-After: 5`, `Set-Cookie` forwarded; nothing is subscribed and the visibility is not resolved | treated as retryable; backoff up to 30 s |
+| The viewer's visibility cannot be decided at connect (the visibility port throws or answers outside its contract; **Failure** in [Source-type visibility](#source-type-visibility)), after the stream slot is taken | 503 with the body `Report visibility is unavailable` and `Retry-After: 5`, `Set-Cookie` forwarded; the slot is given back and nothing is subscribed | treated as retryable; backoff up to 30 s |
+| The periodic re-check of an open stream's visibility fails (the port throws, a viewer who signed out included, or answers outside its contract) | the body ends without writing an anchor for any entry not yet delivered; the last `id:` on the wire is the last delivered entry | the browser reopens with `Last-Event-ID`, and the catch-up delivers what the closed stream had not; a viewer who signed out meets `auth-required` |
 | Malformed cursor | 200, `retry: 86400000` → `event: resync-required` | rereads the ids (server cache bypassed) and reopens from the new anchor |
 | Cursor older than the oldest retained entry (the stream is trimmed with `MAXLEN ~ streamMaxLen`) | 200, `connected` → heartbeat → `retry: 86400000` → `event: resync-required` → end | same as above |
 | The start of a catch-up page is trimmed away before the page is read | 200, the entries delivered so far → `retry: 86400000` → `event: resync-required` → end | same as above |
@@ -1853,6 +1953,10 @@ released search or another view's search holds the viewer's slot until its SQL e
 Its order: 404 without the `search` block, the 400s below, then a viewer without an internal user answered with the plan's words and no hits, with no
 admission and no dataset query, then the admission with the request's signal, the search, the slot's release whatever the outcome, and the ETag'd
 JSON; a search whose client left gets the bodyless 503 every search route answers (under `search-marks` below).
+Every search route is a GET, so the typed text (`q`, which the `search-marks` URL carries too) and the filter values (author and customer names,
+source types) travel in the URL and may stay in the access logs of the host's server and of a reverse proxy in front of it. That is accepted: there is
+no POST route, and the ETag with the quiet resend's `If-None-Match` (a 304, which only a GET gets) relies on it. The JSON routes answer 405 to other
+methods.
 `words` is the plan's words, keyword by keyword: each word's alternatives `{ text, tier }` (`DailyReportSearchAlternative`), tier 0 the typed word's
 forms and tier 1 its romaji readings. It depends on `q` and `combine` alone, never on the viewer, and the client reads it strictly with the rest of
 the answer (at most 16 keywords, 16 words a keyword, 32 words, 6 alternatives a word of 1 to 100 units, the first alternative of tier 0, tiers that
@@ -2149,8 +2253,8 @@ While an answer shows, the List cards, the side pane and the DetailList rows mar
   accessible description (`aria-description`: `labels.searchReadingMarkDescription`, en `Matched by its romaji reading`, ja `ローマ字の読みで一致`); a word mark
   carries none, so the common case adds no speech. The attribute's value and the description come from one table keyed by the tier; a tier outside it
   stops the render with an error naming the package.
-  Moving through the rows with the keys, a row is announced by its focus target, whose name and description flatten the marks (a List card's author
-  marks sit inside its primary button, whose children are presentational, and its preview reaches the button only as a description), so the row says
+  Moving through the rows with the keys, a row is announced as the composite's active descendant, whose name and description flatten the marks (a
+  List card's author marks sit inside its primary button, which names the row, and its preview reaches the row only as a description), so the row says
   in words what matched:
   one sentence per field heading the row's leaves draw a match under, in the order the view draws them — `labels.searchFieldMatched(heading)` (en
   `Author matched`, ja `作成者で一致`) when a typed word's mark or a dense field is among the heading's leaves,
@@ -2240,10 +2344,10 @@ narrow for the author and the slot the slot drops to a 16 px line of its own ins
   `Matched in fields this view does not show, such as labels or details`), which shows only when no field is marked or dense.
   A DetailList row's description (`aria-describedby`) ends with that element while the screen holds a marks store, so moving through the rows with the
   arrow keys reads the sentences each row shows.
-- A List card shows no slot. While the screen holds a marks store, its primary button's description ends, after the preview, with a `hidden` element
-  inside the card's marks scope (`SearchMatchDescription`, `data-daily-report-search-match-description`) that holds the marked fields' sentence alone
-  (empty while the card draws no match; the List does not announce a hidden match), so a card's focus announcement says what matched and whether only
-  a reading did. Without a store the card's description is unchanged.
+- A List card shows no slot. While the screen holds a marks store, the description of its row and of its primary button ends, after the preview,
+  with a `hidden` element inside the card's marks scope (`SearchMatchDescription`, `data-daily-report-search-match-description`) that holds the marked
+  fields' sentence alone (empty while the card draws no match; the List does not announce a hidden match), so the active row's announcement says what
+  matched and whether only a reading did. Without a store the card's description is unchanged.
 
 ## Client wiring
 
@@ -2349,27 +2453,31 @@ package does nothing silently outside its provider.
   technology); otherwise it renders in the provider's own slot after the page, centred with the row gutter G around it
   (`data-daily-report-notice-slot`). Its block size is rounded up to the lattice like a DetailList body.
 - **Focus is handed back, never dropped**: when the notice leaves while it holds focus, focus goes to the first visible successor (below) of: where it
-  came from (when that element is still in the document), the view's cursor row (its one Tab stop), the dialog that hosts the notice, the selected
-  view tab (a list without rows has no cursor row) and the status panel (no view is mounted yet).
+  came from (when that element is still in the document), the view (its composite, the one Tab stop, or after a pointer input the active row's card
+  button; **Focus handed back to the view**), the dialog that hosts the notice, the selected view tab (no view is rendered) and the status panel (no
+  view is mounted yet).
 - **Focus goes only to what shows it**: every control that removes itself, or empties, while it holds focus — the two retry buttons, the notice's
   close, the header badge's container, the status panel that the content replaces — hands focus on through one rule (`focusVisibleSuccessor` in
   `src/client/keyboard/focus-successor.ts`).
   A candidate takes focus only when it is in the document, focusable, has a box with an area and passes
   `checkVisibility({ visibilityProperty: true, opacityProperty: true })`, and the rule confirms where focus landed before it stops, so a visually
   hidden region, a 0 × 0 box and an element that is not rendered never receive it. When no candidate qualifies, the rule moves nothing.
+  The one exception is a row's own focus target (`data-daily-report-row-focus`, the DetailList card's visually hidden name heading among them): it is
+  checked without the opacity test, which its shared visually-hidden token would always fail, and with every other test (**Focus handed back to the
+  view** below).
 - **The page's stream status**: until the first ids chunk arrives `DailyReportPage` shows one status panel (`data-testid="daily-report-status-panel"`,
   `data-phase` `loading` or `failed`) whose content switches between loading and the load error with its retry button, so the panel persists through a
   retry, and the header's progress badge is one persistent container whose content switches by phase.
   A retry button that its own press removes first hands focus to its container (the status panel, or the badge's container), which draws the control
   focus outline while it holds keyboard focus.
-  When the status panel leaves while it holds focus, the page keeps a pending hand-over (`FocusHandOverContext`): the content's view takes it in the
-  first commit that mounts its Tab-stop row and focuses that row (the selected view tab when the list completed empty), and a status screen that a
-  user switch rebuilds takes it as its new panel mounts and focuses that panel.
+  When the status panel leaves while it holds focus, the page keeps a pending hand-over (`FocusHandOverContext`): the content's view takes it in its
+  first commit and hands focus to its composite (also when the list completed empty: the composite is a Tab stop in every state), and a status screen
+  that a user switch rebuilds takes it as its new panel mounts and focuses that panel.
   Either passes focus only while focus is still nowhere, so focus the user has put elsewhere in the meantime stays. Between the panel leaving and the
   view's first rows focus is on `body` for one commit: a view draws no rows before its first height arrives (**One measurement, in one unit** in
   [View height](#view-height-host-layout)).
   The badge's container, emptied by the stream's completion while it holds focus (an empty container is a 0 × 0 box), hands focus to the page's
-  successors: the view's Tab-stop row, else the selected view tab.
+  successors: the view, else the selected view tab.
   One persistent, visually hidden region of the page (`data-testid="daily-report-stream-announcer"`, outside the screens the phase swaps, never
   focusable) announces the changes of the stream's lifecycle that happen after it mounts: loading after a retry (`labels.loadingIds`) and reconnecting
   (`labels.streamRetrying`) as a `role="status"`, a failure as a `role="alert"` (`labels.loadError` before any report arrived, `labels.streamFailed`
@@ -2381,8 +2489,13 @@ package does nothing silently outside its provider.
   (`data-testid="daily-report-ids-stream-status-announcer"`, visually hidden, never focusable).
   Its `role="status"` and `role="alert"` regions are mounted empty and only their texts change: reconnecting (`labels.streamRetrying`) is a status and
   the stream's failure (`labels.streamFailed`) an alert, and the text present at mount is not written; the badge's pills are no live regions.
-  The regions sit beside the container, not inside it: the empty container is not laid out (`display: none`), so regions inside it would leave the
-  accessibility tree while it is empty and come back already filled, which a screen reader may not announce.
+  The badge holds one slot in the header's row: an invisible sizer (every phase's pill in its widest form at the current digit counts, built like the
+  header's counters) and the container share the slot's one grid cell, so the slot has one size in every phase, also while it shows nothing, and the
+  header's rows and the search band below never move when a pill appears, disappears or changes (the width changes only with the count's digits).
+  The pill's text starts at the slot's start (`text-start`) whatever the host header's alignment, so a narrower phase's label stays beside its dot
+  instead of floating to the slot's other end.
+  The regions sit beside the slot, not inside the container: the empty container is not painted (`visibility: hidden`; it stays laid out), so
+  regions inside it would leave the accessibility tree while it is empty and come back already filled, which a screen reader may not announce.
   Inside the package only that live announcer (`src/client/ui/live-announcer.tsx`) and three reviewed persistent regions — the notice's alert regions
   (**Every failure is announced, once** above), the search box's status line and the filter row's status line — write a live role (`status`, `alert`,
   `log`, `marquee`, `timer`), an `aria-live` or an `<output>`: `src/client/ui/live-regions.spec.ts` reads the shipped client's sources and fails on
@@ -2589,73 +2702,102 @@ view, and no script computes or writes a height.
   「項目がありません」), which `VirtualScroll` draws over the top of its content, out of the flow, so an empty view keeps the same box. The views render no
   message of their own; they only theme the engine's (on `VirtualScroll`'s root: 16 px above and below, slate-500 in light and slate-400 in dark:
   4.55:1 and 7.66:1 against the page, where the engine's default grey reaches only 4.17:1 in dark).
+  Because the views pass an active row (`activeItemIndex`, `null` while the list is empty), `VirtualScroll` draws the message outside the composite —
+  in a layer over the composite's box, with the same pixels and the same `.aqvs-no-items-container` / `.aqvs-no-items-text` hooks — and names it first
+  in the composite's `aria-describedby`, before the key help: the `treegrid` owns nothing but rows, and a screen reader entering an empty view (a
+  viewer who may see no category, for example) hears the title, the empty state and the key help.
 
 ### Keyboard, focus and selection (List / DetailList)
 
-Each view keeps one cursor: the selected report, the report that holds the view's single Tab stop, the row that owns focus, and at most one pending
-focus request, all keyed by report id.
-The keys are delegated to each view's **list**: the element that holds the view's `VirtualScroll` (its rows and its scroll bar). In the List view the
-resize handle and the side pane lie outside the list.
+Each view is one composite widget: `VirtualScroll`'s content element carries `role="treegrid"`, the view's single Tab stop (`tabIndex=0`, also while
+the rows load and when the list is empty), and DOM focus stays on it while the keys move. What the keys move is the view's **active row** — the row
+assistive technology's focus is on — which the composite names through `aria-activedescendant`. `@aiquants/virtualscroll` writes that attribute
+itself, in the same render as the row it names (`activeItemIndex`), and keeps that row mounted even outside the rendered window, so the reference
+always resolves (the peer's README, "The active item"). The host never writes the attribute.
+Each view keeps one row cursor: the active row and the selected report, both keyed by report id; a key re-renders exactly the two rows whose state
+changes.
+The keys are delegated to each view's **list**: the element that holds the view's `VirtualScroll` (its composite and its scroll bar). In the List view
+the resize handle and the side pane lie outside the list.
 
 | Key | List | DetailList | Default prevented |
 | --- | --- | --- | --- |
-| `ArrowUp` / `ArrowDown` | Selects the previous / next report and reveals it by the nearer edge. Focus moves to the card's primary button (to the row frame while the card is not shown). | Selects the previous / next report and aligns it to the top (the reading start); focus moves to the row. | Yes, also at the ends (no wrap-around) |
+| `ArrowUp` / `ArrowDown` | Makes the previous / next report active and selected, and reveals it by the nearer edge | Makes the previous / next report active and selected, and aligns it to the top (the reading start) | Yes, also at the ends (no wrap-around) |
 | `Home` / `End` | First / last report, aligned to the top / bottom | First / last report, aligned to the top / bottom (to the top when the last row is taller than the viewport) | Yes |
-| `PageDown` / `PageUp` | Selects the farthest row that still fits in the viewport together with the focused row, revealed by the nearer edge | The same; a focused row taller than the viewport is first scrolled by min(overflow, ⌊0.875 × viewport⌋) without changing the selection | Yes |
-| `Enter` / `Space` | The focused primary button's native activation: selects (on a mobile layout it also opens the detail overlay) | On the row element itself: selects without scrolling. On a control inside the row: that control's own action | Native / yes |
+| `PageDown` / `PageUp` | The farthest row that still fits in the viewport together with the active row, revealed by the nearer edge | The same; an active row taller than the viewport is first scrolled by min(overflow, ⌊0.875 × viewport⌋) without changing the selection | Yes |
+| `Enter` / `Space` on the composite | Activates the active row like a press of its card's primary button: selects it (on a mobile layout it also opens the detail overlay) | Selects the active row without scrolling | Yes, also without an active row (the page does not scroll) |
+| `Enter` / `Space` on a control of the active row | That control's own action | The same | Native |
+| `Escape` on a control of the active row, a field or button of an in-row form included | Focus returns to the composite; the active row does not change (below: where `Escape` keeps its own meaning) | The same | Yes |
 | `Ctrl+Home` / `Ctrl+End` | Leaves the list: focus moves to the last Tab stop before the list / the first one after it (below; on the desktop layout `Ctrl+End` reaches the resize handle), which the browser scrolls into view; the selection does not change | The same | Yes, when there is such a stop (otherwise not handled: the key keeps its browser meaning) |
-| `Tab` / `Shift+Tab` | Moves through the Tab-stop row's controls only (below); Tab never selects | The same | No |
-| Any other key, a modifier combination, IME | Not handled, and cancels a pending focus request | The same | No |
-
-- **The move starts from the focused row**, not from the selection: Tab into a row, press `ArrowDown`, and the report after that row is selected.
-- **`Home` and `End` name a report**, the first or the last: pressed on a focused row that already is that report but is not selected — the last row
-  left focused after the selected report was deleted, for example — they select it in place, aligned like any `Home` / `End` (focus is already there,
-  so nothing requests it). The relative moves name a neighbour, so an arrow, `PageUp` or `PageDown` that cannot move at an end selects nothing; and
-  the frames of a held `Home` / `End` do not select again what its first press selected (or the host refused).
+| `Tab` / `Shift+Tab` | Native order: the composite, then the active row's controls (below), then out of the view; Tab never selects | The same | No |
+| Any other key, a modifier combination, IME | Not handled | The same | No |
+
+- **The move starts from the active row**, never from `document.activeElement` and never from the layout: Tab into a view, press `ArrowDown`, and the
+  report after the active row is selected. A movement key pressed on a control of the active row (★, 既読, 編集, 削除, an attachment link, a comment
+  control outside its form) moves from that row as on the composite and then focuses the composite once (`focus({ preventScroll: true })`), so the
+  repeats that follow arrive at the composite. `Escape` on such a control returns focus to the composite without changing the active row — from the
+  fields and buttons of the in-row edit and comment forms too, whose typed text stays where it was typed (the comment in its field, the editor's
+  title and body in the view's editing store), so nothing is lost and row navigation is one key away instead of a dozen `Shift+Tab` presses —,
+  unless the event's default is already prevented, the key belongs to an IME
+  composition, the target is an element where `Escape` has its own meaning (`select`, `input[type="search"]`, which `Escape` clears, an editing host,
+  `audio` / `video` with `controls`), the target or an ancestor up to the row carries `aria-expanded="true"` (an open disclosure, which `Escape` closes
+  first), or it lies inside an ARIA widget that uses the keys itself (below).
+- **`Home` and `End` name a report**, the first or the last: pressed on an active row that already is that report but is not selected — the row left
+  active after the selected report was deleted, for example — they select it in place, aligned like any `Home` / `End`. The relative moves name a
+  neighbour, so an arrow, `PageUp` or `PageDown` that cannot move at an end selects nothing; and the frames of a held `Home` / `End` do not select again
+  what its first press selected (or the host refused).
 - **Held keys move at once, then at most once per frame.** The first repeated keydown (`repeat`) of a key is checked like any key and starts a repeat
-  stream from the focused row; it and every later repeat on the same axis have their default prevented.
+  stream from the active row; it and every later repeat on the same axis have their default prevented.
   A repeat that finds the stream's frame fence open — the first one, and any repeat after a frame in which nothing was pending — moves at once inside
-  its own keydown (one selection, the scroll, one focus request; React commits the discrete event synchronously), so a key that repeats more slowly
-  than the display refreshes moves once per keydown and never waits for a frame.
+  its own keydown (the active row, the selection and the scroll in one commit; React commits the discrete event synchronously), so a key that repeats
+  more slowly than the display refreshes moves once per keydown and never waits for a frame.
   The repeats behind the fence only add their step: the arrows one row each (up and down cancel out), `PageUp` / `PageDown` one page each, and `Home`,
-  `End` and `Enter` / `Space` on a DetailList row count once; they read neither the DOM nor the layout.
+  `End` and `Enter` / `Space` count once; they read neither the DOM nor the layout.
   The frame right after an immediate move applies nothing (two moves never commit in one frame); every later frame applies what accumulated as one
-  move with `flushSync` from the row that holds focus, so the next key already starts from the new row, and a frame with nothing pending opens the
-  fence again. A key that repeats faster than the display therefore moves at most once per frame. A repeat on another axis (rows, pages, `Home`,
-  `End`, activation) applies what is pending before it starts a new stream.
-  A key that is not a repeat first resolves its command, drops the pending focus request and then applies the pending repeats synchronously: the
-  destination row renders and takes focus inside that call, however far the repeats went, so the key moves from there. Every `keyup` applies what is
-  pending and ends the stream; a pointer press, a wheel or touch start in the view, focus leaving the view and unmounting end it without applying it.
+  move with `flushSync` from the active row, so the next key already starts from the new row, and a frame with nothing pending opens the fence again.
+  A key that repeats faster than the display therefore moves at most once per frame. A repeat on another axis (rows, pages, `Home`, `End`, activation)
+  applies what is pending before it starts a new stream.
+  A key that is not a repeat first resolves its command and then applies the pending repeats synchronously, so it moves from the active row they
+  reached, however far they went. Every `keyup` applies what is pending and ends the stream; a pointer press, a wheel or touch start in the view, focus
+  leaving the view and unmounting end it without applying it.
   On a slow device the keys therefore never queue up, and the selection stops when the key is released. `Ctrl+Home` / `Ctrl+End` are never
-  accumulated. While a stream lasts, the desktop side pane keeps showing the report the stream started from (see **List side pane** below).
+  accumulated. While a stream lasts, the desktop side pane keeps showing the report the stream started from (see **List side pane** below), and rows
+  far from the active row stay shells (see **Rows mount in two passes** below).
 - **Ignored keys**: `Alt` / `Ctrl` / `Meta` / `Shift` combinations other than `Ctrl+Home` / `Ctrl+End` alone (so `Ctrl+PageDown` and `Shift+End` keep
   their browser meaning); an event whose default is already prevented; IME composition (`isComposing` or `keyCode` 229);
-  keys from outside a row (the scroll bar, the side pane, the mobile overlay); keys from an input region — a `form` (every control of the in-row edit
-  form and of the comment form, their buttons included) or an editable element (`input`, `textarea`, `select`, `contenteditable` other than `"false"`,
-  `audio[controls]`, `video[controls]`) —
+  keys whose target is neither the view's composite nor a control inside one of its rows (the scroll bar, the side pane, the mobile overlay); the
+  movement keys and the exits from an input region — a `form` (every control of the in-row edit form and of the comment form, their
+  buttons included) or an editable element (`input`, `textarea`, `select`, `contenteditable` other than `"false"`, `audio[controls]`,
+  `video[controls]`); `Escape` there follows its own rule above —
   or from inside ARIA widgets that use these keys themselves (`combobox`, `listbox`, `menu`, `menubar`, `radiogroup`, `slider`, `spinbutton`,
   `textbox`, `tree`, `grid`, `scrollbar`, `tablist`, `toolbar`, `treegrid`, `separator`) between the key's origin and the view's scroll container, the
-  exits included.
+  exits included; the view's own composite is the one `treegrid` that is exempt, since it is the element the keys arrive at.
   So no key pressed in an open in-row editor moves the list: the keys keep their meaning in the field (the caret, the text selection, the form's
-  buttons), and the row being edited stays where the viewer types. Only elements **inside** the view count: wrapping the whole view in a host `form`,
+  buttons), and the row being edited stays where the viewer types; `Escape` only returns focus to the composite, and the editor stays open with what
+  was typed. Only elements **inside** the view count: wrapping the whole view in a host `form`,
   `role="grid"`, `role="listbox"` or `contenteditable` region does not disable the keys. While the viewport has no size yet, the movement keys are not
   handled.
-- **One Tab order rule for both views: only the Tab-stop row's controls are in the Tab order.** The Tab-stop row is the row that owns focus (below)
-  while it is inside the visible range, otherwise the selected row while it is visible, otherwise the first visible row (until the view has reported
-  its visible range: the focus owner, then the selection).
-  Every focusable control the package draws inside a row reads the rule: the List card's primary button, ★ and 既読, the DetailList row's ★, 既読, 編集 (on
-  the viewer's own reports) and 削除, the comment controls (delete and its confirmation, the comment field and its send button), the edit form's fields
-  and buttons, and the attachment links keep their natural order in the Tab-stop row and have `tabIndex=-1` in every other row. The stop row's own
-  element is a stop too where it takes focus: a DetailList row (`tabIndex=0`) and a List row frame whose card is not shown.
-  So the Tab path through a view is one row's controls long, however many rows are rendered: crossing the List takes exactly 3 presses (the primary
-  button, ★ and 既読). Because the focus owner is the stop, a control reached by pointer continues within its own row, and a row in edit mode keeps its
-  form in the Tab order.
+- **One Tab stop per view.** The composite is the view's only stop, and only the active row's controls follow it in the Tab order: the List card's ★
+  and 既読, and the DetailList row's ★, 既読, 編集 (on the viewer's own reports) and 削除, the comment controls (delete and its confirmation, the comment
+  field and its send button), the edit form's fields and buttons, and the attachment links, in their natural order; every other row's controls have
+  `tabIndex=-1`. The List card's primary button is never a stop (`tabIndex=-1`; it stays the click target and the pointer hand-back target, below),
+  and no row frame carries a `tabindex`.
+  So the Tab path through a view is the composite plus one row's controls, however many rows are rendered: crossing the List takes exactly 3 presses
+  (the composite, ★ and 既読), and `Shift+Tab` from the active row's first control returns to the composite. A row in edit mode is the active row (the
+  title field took focus inside it), so its form stays in the Tab order.
+  When the active row is not visible and the key's default action lands inside it — `Tab` from the composite when the row has a Tab stop, `Tab`
+  from a control of the row with another stop after it, `Shift+Tab` from a control with another stop before it, never `Shift+Tab` from the composite,
+  which leaves the view — the keydown first reveals the row by the nearer edge, synchronously, and then leaves the default action to the browser,
+  which focuses a control already in view. A `Tab` or `Shift+Tab` that leaves the view moves nothing, so the list stays where the viewer left it.
+  The landing is read from the package's one tab-order model (`tabLandsInRow` over `listTabbables` and `partitionTabbables` in
+  `src/client/keyboard/row-tab-order.ts` and `src/client/keyboard/dom-node.ts`), the same model the exits use.
+  The reveal cannot wait for `focusin`: Chromium decides the scroll of a focus move before `focusin` runs, so a row pinned far outside the window would
+  scroll the document instead (an off-screen row is revealed by its index, never by its rect).
   The view-mode tab panel that holds a view is no Tab stop: a panel is a stop when its first meaningful content is not focusable, or when it is a
   scroll container that Tab must reach so the keys can scroll it (WAI-ARIA APG Tabs; `TabsContent` takes a required `tabStop`), and a view's content
-  begins with its own stop, the cursor row.
+  begins with its own stop, the composite.
   The panel carries no `tabindex` at all (not −1, which would let a pointer press on blank view space focus the panel, an ancestor of the list where
-  the view's keys never arrive), so one Tab from the last control before the view reaches the cursor row, and `Ctrl+Home` from a row returns to that
-  control.
+  the view's keys never arrive), so one Tab from the last control before the view reaches the composite, and `Ctrl+Home` from the view returns to
+  that control.
   The side pane's article and relations panels are stops of their own: each is the pane's scroll box, which Tab must reach so the keys scroll it,
   although the article holds buttons, the comment field and attachment links further down.
   The scroll bar is pointer-only in both views, like a native scroll bar, because the keys above already scroll the list: both views pass
@@ -2663,13 +2805,17 @@ resize handle and the side pane lie outside the list.
   accessibility and the Tab order").
   The bar carries `aria-hidden="true"`, so assistive technology sees no `scrollbar` and no `slider` in either view, named or not; its arrow buttons
   have `tabIndex=-1` and the bar and its thumb no `tabindex`, so the bar adds no Tab stop; and a press anywhere on the bar has its default prevented,
-  so it moves no focus, neither onto a part of the bar nor away from the row that holds it. Every pointer interaction still scrolls: the arrows on a
-  press and while held, the track, the thumb and the tap-scroll circle.
+  so it moves no focus, neither onto a part of the bar nor away from the composite. Every pointer interaction still scrolls: the arrows on a press and
+  while held, the track, the thumb and the tap-scroll circle.
   The bar and its thumb still carry their names (the engine keys `verticalScrollBar` and `verticalScrollThumb`, below), which the hidden bar does not
   expose.
 - **Leaving the list** (`Ctrl+Home` / `Ctrl+End`, as in the WAI-ARIA feed pattern): focus moves to the last Tab stop before the list or the first one
   after it — where real `Shift+Tab` from the list's first stop and real `Tab` from its last stop go — and the browser scrolls it into view as it does
   for Tab.
+  This departs from the WAI-ARIA APG treegrid pattern, where `Ctrl+Home` / `Ctrl+End` on a row move to the first / last row: here `Home` / `End`
+  already do that (as they do on a row in the APG pattern; the rows have no cells to cross), so the two chords keep the feed's exits, and a keyboard
+  user leaves the view in one key instead of tabbing through the active row's controls (a DetailList row can hold a dozen or more). `labels.listKeyboardHelp` names both exits, so a screen reader
+  announces them with the composite's description.
   In the List view the exits are measured from the list like in the DetailList, so on the desktop layout `Ctrl+End` moves to the resize handle (then
   Tab goes on to the side pane), and `Ctrl+Home` to the last stop before the list (in `DailyReportPage`, the search row's last control when the search
   is configured — its clear button while it shows, otherwise the field — and the view-mode toolbar's last control when it is not).
@@ -2696,83 +2842,98 @@ resize handle and the side pane lie outside the list.
   When there is no such element on that side, the key is not handled and keeps its browser meaning; for example, when nothing focusable follows the
   list on the page, `Ctrl+End` scrolls the document as usual. `labels.listKeyboardHelp` names both exits and says that they apply when there is a
   control before or after the list.
-- **Focus follows the selection by report id, inside the key's commit.** A key move focuses its destination before its one synchronous commit ends,
-  whether or not the row was rendered: a destination outside the rendered window gets the alignment scroll (`scrollToIndex`) in that same commit,
-  which renders it, and a move without alignment lands on a fully visible row, which is rendered already (a key that only scrolls, such as `PageDown`
-  inside a tall DetailList row, requests nothing).
-  So no key leaves a focus request behind: a wheel that follows in the same task finds the destination focused and changes nothing. Focus is set with
-  `focus({ preventScroll: true })` (native focus scrolling would move the pane's `overflow: hidden` content element away from the virtual scroll
-  position).
-  A request stays pending only on the paths that send focus to a row that may lie outside the rendered window: the focus owner's report leaving the
-  list and the selected report deleted from the side pane or the mobile overlay (the table below), and the List's return to the card whose overlay
-  closed (its scroll runs in an effect after the commit). Such a request settles when its row registers, however long that takes;
-  the next key, a `pointerdown`, `wheel` or `touchstart` in the view, and the destination leaving the list drop it, and a dropped request never
-  settles later.
-  Focus is only ever taken from nowhere — no element, `body`, or an element inside an `inert` subtree such as the mobile overlay while it slides out
-  (such an element cannot keep focus; `isFocusNowhere` in `src/client/keyboard/dom-node.ts`) — or from inside the view; focus that has meanwhile moved
-  to the side pane, the open overlay or a host element stays there and the request is dropped.
-- **A key move writes at the focus hand-over and commits once.** The row cursor owns the `tabindex` of every registered focus target (0 on the
-  Tab-stop row, −1 on every other row; the row components render none): it writes the attribute when a target registers and when the row's Tab stop
-  changes, and never rewrites a value the element already has.
-  A move first makes the destination current and the Tab stop while focus is still on the origin, without a React commit and without writing its
-  `tabindex` yet. The cursor writes the destination's `tabindex="0"` at the hand-over of its focus move: inside the origin's `focusout`, while no
-  element holds focus (before the move when no element held focus, right after it when the move hands nothing over, and before any later change of the
-  rows' states when no focus move comes first).
-  Then focus arrives on the destination, and the selection and the Tab stop settle on it (the cursor writes the origin's `-1`). The rows' states, the
-  host's selection and the scroll commit in one synchronous React commit.
-  Chromium's `focus()` recalculates the document's style twice whenever focus moves between two elements — right after the origin loses focus and
-  right after the destination gains it — and once more at its entry when a style change is still pending there (a `tabindex` written before the call
-  is one whenever the page's CSS has a `[tabindex]` selector). The hand-over write rides on the first of the two.
-  No step writes the `tabindex` of the element that holds focus (Chromium recalculates the document's style and layout on the spot when that happens,
-  to check that the element can still take focus), and none reads layout after a write,
-  so a key whose destination is rendered forces exactly the two recalculations of its one `focus()` call and no layout (a destination that the key's
-  own commit renders also has the entry recalculation of the rows that commit inserted): in Chromium 148 with a host `[tabindex]` selector, 8 key
-  moves force 16 recalculations (24 when the destination's `tabindex` is written before the call; 16 either way without such a selector).
-  The app's keyboard harness counts the style and layout work done inside keydown tasks and, in a run of its own, records the JavaScript stack of
-  each. The entries without a stack (at 4× CPU from row 200,000 in run `2026-10-05T16-45-08-477Z`: two recalculations and two layouts, DetailList
-  16.00 ms and 23.00 ms, List 3.76 ms and 2.42 ms) are the frame's own rendering update, which Chromium ran in the same task as the keydown; the
-  keydown handler forces none of them, and each laid out from virtualscroll's items boundary (`.aqvs-items-boundary`), none from the document root.
-  When the destination is not rendered yet, focus is still on the origin as the commit starts: the destination renders in that commit, registers and
-  takes focus, and the commit's layout effect then settles the origin, which keeps the Tab stop until then.
-  The commit renders the destination's and the origin's row frames, the view and the host component that owns the controlled selection (the List's
-  `selectedReportHubId`, the DetailList's `selectedItemId`), and `VirtualScroll` only when the key scrolled. Report rows, card bodies and the row
+- **A key commits once and forces no layout.** A key move sets the active row, the selection, the scroll and the remembered selection in one
+  synchronous commit (`flushSync`) inside its keydown: a destination outside the rendered window gets the alignment scroll (`scrollToIndex`) in that
+  same commit, which renders it, and `VirtualScroll` names it in the same render. No key calls `focus()` (DOM focus is already on the composite), and
+  no key reads the layout, so a key task forces no style recalculation and no layout of its own.
+  The commit renders the two row frames whose state changed (the old and the new active row, and the old and the new selection), `VirtualScroll` once
+  (the active index and, when the key scrolled, the new window) through the view's `VirtualScroll` wrapper, and the host component that owns the
+  controlled selection (the List's `selectedReportHubId`, the DetailList's `selectedItemId`); the view itself, report rows, card bodies and the row
   renderer do not render, and no context value changes per key.
-  A row that the commit brings into the rendered window outside the rows the key shows — the rows of the viewport after the scroll, plus one on each
-  side, computed from the same row heights `VirtualScroll` uses (overscan rows, in other words) — mounts its row element alone, with an empty surface
-  that fills its slot and `aria-busy="true"` (a DetailList row without its name and description references, whose elements do not exist yet), and
-  renders its body in a transition right after the commit; a held row that the next key's shown rows reach renders its body inside that key's commit.
-  A report that arrives later — a load's answer or an SSE update — is drawn the same way: the List card and the DetailList body draw the loaded report
-  through `useDeferredValue`, so its card mounts in a deferred render that a key press interrupts, never inside the update that brought it.
-  Until that render commits, a row that has no card yet keeps its skeleton and `aria-busy="true"` (a loaded report waiting for its render is not
-  missing). Only the drawing is deferred: every decision reads the loaded report itself, not the deferred one — the safety valve that removes a row
-  whose report no longer exists, and a DetailList body's draft and ownership, its opening of the viewer's own draft in the editor and its edit
-  button's action (which does nothing once the report is gone).
-  A row frame always fills the box `VirtualScroll` gives it (the List's slot; the DetailList's measured or estimated height), held or not, and a held
-  surface is not measured, so holding moves neither the other rows nor the scroll anchor.
-- **The row that owns focus keeps it.** Each view has at most one focus owner, the row it gives focus back to. One rule decides it, a pure transition
-  over these events (`nextFocusOwner` in `src/client/keyboard/focus-ownership.ts`; the view only translates DOM events into them): outside the list a
-  pointer press ends ownership, and inside the list only focus transitions change it.
-
-  | Event | Focus owner after it |
+  The app's keyboard harness counts the style and layout work that starts inside a keydown dispatch or inside a frame callback the key caused: 0 in
+  every run of its nine conditions.
+- **Rows mount in two passes.** A row that a commit mounts outside the visible range first renders as a **shell**: its row frame, with its role,
+  id, position, set size, level and selection, named by the report's ISO business date and `aria-busy="true"`, and an empty surface
+  (`data-daily-report-row-shell`) that fills the box `VirtualScroll` gives the row, so nothing moves when the body arrives.
+  One scheduler per view then advances the rows one at a time — a shell to its body, a body that still draws an older report to the latest loaded one
+  (a report that arrived by a load's answer or an SSE update) — each unit applied with `flushSync` as one commit of its own, in a slot that runs right
+  after a frame's rendering (a `MessageChannel` task armed from the scheduler's own task by `requestAnimationFrame`, never from a keydown, a commit or a
+  held key's frame).
+  The order is by zone — visible, then the active row's reach, then near, then far (**Far rows skip rendering** below) — and within a zone by the
+  distance from the active row, the side the keys travel towards first. A slot applies one unit, and a second when the next pending unit is visible or
+  in reach.
+  A row that becomes visible with a pending unit renders its body inside the commit that made it visible, so a visible row is never a shell. A newer
+  loaded report for a row that is already visible is applied inside the commit that brings it, outside a key hold, so such a row never shows an outdated
+  rendering of a loaded report while no key is held. A commit that brings a pending row into the reach or the near band wakes a sleeping scheduler, so
+  the rows a key can reveal get their bodies in a slot before that key.
+  While a key is held, the scheduler keeps its slots out of the frames that render the keys:
+  - far units wait: far rows stay shells and take no arriving card until the key is released;
+  - a slot applies one unit, and a second only when both rows have boxes of a fixed size (the List's slots): two measured DetailList bodies do not fit
+    one key-free frame;
+  - a slot runs only when the frame that renders its commit starts before the next repeat keydown can arrive. The next keydown is predicted from the
+    hold's own keydowns (the median interval of the latest 8 and their earliest phase; `predictNextHoldKey`), and the frame interval is the shortest
+    gap between the scheduler's consecutive frame callbacks, measured again for each hold. The decision is taken in the frame callback that would arm
+    the slot, and taken again when the slot runs (a key that arrived after the frame began, or a frame that ran long, holds the unit back to the next
+    frame); while the cadence or the frame interval is still unknown (the first one or two frames of a hold), no slot runs;
+  - a newer loaded report for a visible row waits for the next slot that runs, ranked first.
+
+  So during a hold the units go to the frames without a key commit, and a row the keys reveal before a slot reached it renders its body in the key's
+  own commit (counted).
+  Decisions never wait for the drawing: the safety valve that removes a row whose report no longer exists, and a DetailList body's draft and
+  ownership, its opening of the viewer's own draft in the editor and its edit button's action, read the loaded report itself.
+- **Far rows skip rendering.** Every mounted row lies in one zone, computed in the render that positions the rows from that render's own scroll
+  position (half-open intervals in content pixels, V the viewport's size, s the scroll position): **visible** when it intersects [s, s + V);
+  **reach** when it intersects the active row's reach, from V above the row before the active one to V below the row after it — every row that a
+  step of one or two rows can reveal, with any alignment, intersects the reach before the step, whatever the rows' heights; **near** when it
+  intersects [s − V, s + 2V), the visible range widened by one viewport on each side; and **far** otherwise.
+  A far row whose size is settled skips its rendering: `@aiquants/virtualscroll` writes `content-visibility: hidden` and `aria-hidden="true"` on its
+  item container (`itemZones`; the peer's README, "Item zones and far-item skipping"). The container keeps its explicit height, so skipping and
+  showing a row change no box.
+  A List row is settled when it mounts (its slot is fixed); a DetailList row is settled once the view's size observer has measured its body after
+  its last change, and becomes unsettled again when its body is replaced or its comment list changes, until it is measured again.
+  **Consequences:** a far row is absent from the accessibility tree, from a screen reader's browse mode, from a touch screen reader's swipe order and
+  from the browser's find-in-page, until it comes near; the active row, its reach and the rows within one viewport of the visible range never are.
+  An engine without `content-visibility` (Safari before 18) skips nothing and hides nothing.
+- **The active row.** It is the row the composite names while focus is in the view, and the row focus lands on when it enters. One pure
+  transition decides it (`nextActiveRow` in `src/client/keyboard/focus-ownership.ts`; the view only translates DOM events into it):
+
+  | Event | Active row after it |
   | --- | --- |
-  | Focus enters an element of a row | That row |
-  | Focus enters an element of the list outside every row | None |
-  | Focus moves to an element outside the list (the resize handle and the side pane included) | None |
-  | Focus goes nowhere (`body`): the focused element was removed or scrolled out of the rendered window, the window lost focus, or a press inside the list landed on something that does not take focus | Unchanged: giving focus back is the owner's job |
-  | A pointer press outside the list, anywhere in the list's document, also while focus is already nowhere | None |
-  | A pointer press inside the list (a gutter, the focused card or row, another row) | Unchanged; a press that moves focus into a row changes the owner through that focus |
-  | The list changes and the owner's report is still listed | Unchanged |
-  | The list changes and the owner's report is gone (a delete, an SSE removal, a stale removal) | The report now at the owner's index (clamped to the new length), which takes focus and becomes the Tab stop; none in an empty list |
-  | The selected report is deleted from the side pane or the mobile overlay | The report now at the deleted report's index, which takes focus and becomes the Tab stop |
-
-  Wheel and touch scrolling change nothing. While a row owns focus and its focus target is replaced (the List frame ⇄ card while loading, a control
-  that disappears, the DetailList body turning into an error, loading or edit form and back), remounted, or scrolled back into the rendered window
-  while focus is nowhere (`body`), the row's registered target takes focus again; focus left on a List row frame moves to the card's primary button
-  when the card arrives.
-  Focus is only ever taken from nowhere: focus that the user put elsewhere is never moved.
+  | A handled key | The key's destination; the selection follows |
+  | Activation: a click on the List card's primary button or on a DetailList row body, `Enter` / `Space` on the composite | The activated row |
+  | Focus enters a control inside a row (Tab, a click, a script) | That row, so focus on a control always lies in the active row |
+  | Focus enters the composite from outside the view | The row under the mouse or pen press that caused it, which is not revealed (a press never moves what the viewer pressed); otherwise (a Tab) the **Tab-stop rule**: the active row if it is visible, else the selected report if it is visible, else the first visible row, and a row that is only partly shown is then revealed by the nearer edge |
+  | Focus enters the composite from inside the view (`Escape`, `Shift+Tab`, a hand-back), or by a focus move the view makes itself (the return to the composite after a key on a control, `Escape`, every hand-back) | Unchanged |
+  | Focus leaves the view for an element outside it (`Tab` or `Shift+Tab` out of the view, the `Ctrl+Home` / `Ctrl+End` exits, a press outside the view) | The Tab-stop rule, so while focus is outside, the active row is a shown row, and any later entry — a reverse Tab included — lands on a shown row |
+  | The visible range changes while focus is outside the view | The Tab-stop rule, for the same reason |
+  | The visible range changes while focus is in the view | Unchanged: the row stays mounted and is never skipped |
+  | The active report leaves the list (a delete, an SSE removal, a stale removal, a search answer that replaces the list) | The report now at its index, clamped to the new length; none in an empty list |
+  | The selected report is deleted from the side pane or the mobile overlay | The report now at the deleted report's index |
+
+  The row under a press is recorded at the press (mouse and pen) and dropped by every `focusin` in the view and every handled key, so a press whose
+  focus never entered the composite — a List card's primary button takes the click's focus — cannot decide a later entry: a far key after a card
+  click moves from the clicked row and stays on the key's destination.
+  A press in the List's row gutter moves no focus, so it changes nothing; a touch scroll fires no click and no focus, so it changes nothing either.
+  When the active row is removed while the composite holds focus, only the active row moves (nothing scrolls); when focus was inside the UI that
+  left, the view hands it back (below). An empty list has no active row: the composite keeps focus and shows its pane ring.
+- **Focus handed back to the view.** One rule serves every path that returns focus to the view: the mobile overlay closing, the active row or its
+  comment section leaving while focus was inside it, a focused control that leaves its row for another reason (the row's body turned into an error,
+  an edit closed with no edit button to return to: while a control of a row holds focus, the view watches that row for the control's removal, since
+  browsers fire no `focusout`, or fire it while the control is still in the document), a report deleted from the side pane or the overlay, and the
+  page's hand-over from its status screen to the views. It makes the row active, reveals it by the nearer edge, and focuses by the last input's
+  modality: after a key (or with no input recorded) the composite, with `preventScroll`; after a pointer or a touch the row's own focus target
+  (`data-daily-report-row-focus`; `findRowFocusTarget`) — the List card's primary button, or the DetailList card's visually hidden name heading
+  (`tabIndex=-1`, "date author subject"), so a touch reader lands on the row and hears its name. The heading adds no Tab stop, and a key pressed on it
+  acts as on any control of the row. A row that renders no card (a shell, loading, an error, the editor), or a target that does not show, hands
+  focus to the composite instead. iOS VoiceOver, TalkBack and Switch Access follow DOM focus rather than the active descendant, so a touch hand-back
+  lands on a real element of the row.
+  Focus is only ever taken from nowhere — no element, `body`, or an element inside an `inert` subtree such as the mobile overlay while it slides out
+  (such an element cannot keep focus; `isFocusNowhere` in `src/client/keyboard/dom-node.ts`) — or, for the overlay's close and for a leaving UI, from
+  inside the view (a leaving comment section hands back just before it detaches; focus left on the composite stays there); focus that has moved to
+  the side pane, the open overlay or a host element stays where it is.
 - **Keyboard focus**: one predicate decides it for the whole view (`isKeyboardFocused` in `src/client/keyboard/keyboard-focus.ts`): the focused
   element matches `:focus-visible` and the last input of its document was not a pointer press. `:focus-visible` alone is not enough, because browsers
-  match it on a text field (`input`, `textarea`, an editing host) that a click or a tap focused.
+  match it on a text field (`input`, `textarea`, an editing host) that a click or a tap focused, and on a composite that a press inside it focused.
   The last input is recorded per document (the element's `ownerDocument`, so a view in an iframe or a pop-out window reads its own), while a view of
   that document is mounted (`observeInputModality` in `src/client/keyboard/input-modality.ts`, reference-counted across the views):
   a capture-phase `pointerdown` records the pointer, and a capture-phase `keydown` records the keyboard unless the key is a modifier alone (`Shift`,
@@ -2782,21 +2943,25 @@ resize handle and the side pane lie outside the list.
   alone) turns the focus into keyboard focus without moving it. The row and card focus outlines follow this predicate through the attribute below, not
   `:focus-visible` alone, so they never show while the view treats the focus as a pointer's (also where Chromium matches `:focus-visible` after a bare
   `Shift` or `CapsLock` that follows a pointer press).
-- **Keyboard focus is revealed**: when an element inside a row receives keyboard focus, the view scrolls the row frame into the visible area by the
-  nearer edge — or, for a row taller than the viewport, the focused element with 8 px around it. Focus from a pointer never scrolls.
+- **Keyboard focus is revealed**: focus entering the composite from outside by `Tab` reveals the active row by the nearer edge when it is only
+  partly shown (above; an entry by a press reveals nothing), and `Tab` reveals an active row that is not shown at all before focus moves into it
+  (**One Tab stop per view**). When a control inside a row
+  receives keyboard focus, the view scrolls the row frame into the visible area by the nearer edge — or, for a row taller than the viewport, the
+  focused element with 8 px around it — measured against the composite's box. Focus from a pointer never scrolls.
 - **Keyboard-focus attribute**: while keyboard focus is inside a view, the view root carries `data-daily-report-keyboard-focus` (the List's
   `[data-testid="daily-report-root"]`, the DetailList's scroll container). Every `focusin` and `keydown` inside the view sets it from the focused
   element by the same predicate (a key press can turn pointer focus into keyboard focus without moving it), and `pointerdown` inside the view or focus
   leaving it removes it; a click into a text field of a row therefore leaves it off, and the tap-scroll circle stays pressable.
-  It is a plain DOM attribute toggled with `toggleAttribute`, so arrow keys moving between rows never rewrite it and nothing re-renders. The floating
-  tap-scroll circle hides while it is present, because the circle is drawn over the rows.
-  The keyboard-focus outlines of the row frames and the List cards paint only under it (**Selection and focus appearance**), so an outline is drawn
+  It is a plain DOM attribute toggled with `toggleAttribute`, so arrow keys moving the active row never rewrite it and nothing re-renders. The
+  floating tap-scroll circle hides while it is present, because the circle is drawn over the rows.
+  The keyboard-focus outlines of the active row and of the List cards paint only under it (**Selection and focus appearance**), so an outline is drawn
   only while the circle is hidden and the two never show together; the package's controls (buttons, links, tabs, switches, fields) keep their plain
   `:focus-visible` outlines.
-- **Pointer selection**: in the List the card's primary `<button>` selects on `click` (a pointer click, Enter or Space; the click that ends a drag is
-  swallowed by the scroll pane), and ★ / 既読 run only their own action. In the DetailList a click on a row selects it without scrolling, except clicks
-  on controls inside the row (`button`, `a[href]`, `input`, `textarea`, `select`, `label`, `[role="button"]`, `contenteditable`). Without
-  `onSelectItem` the DetailList handles neither clicks nor keys.
+- **Pointer selection**: in the List the card's primary `<button>` selects on `click` and makes its row active (a pointer click, or Enter or Space
+  on the button after a pointer hand-back; the click that ends a drag is swallowed by the scroll pane); the button keeps the focus the click gives it,
+  and the next key moves the active row from there and focuses the composite. ★ / 既読 run only their own action. In the DetailList a click on a row
+  body selects it without scrolling and makes it active, except clicks on controls inside the row (`button`, `a[href]`, `input`, `textarea`,
+  `select`, `label`, `[role="button"]`, `contenteditable`). Without `onSelectItem` the DetailList handles neither clicks nor keys.
 - **Host selections and list changes**: when the host changes the selection, the selection ring follows it and the DetailList scrolls that row to the
   top (when the selected report is not in the list yet, as soon as it arrives); focus does not move.
   A change of the list alone (SSE inserts and deletes, a stale removal) keeps what is on screen in place. Rows are keyed by report id in both views,
@@ -2815,7 +2980,7 @@ resize handle and the side pane lie outside the list.
     first visible row (its layout-shift compensation); the update, the compensation and the position are all complete when the call returns, so the
     record reads the compensated state and never mistakes the compensation for a scroll of the user.
     An insert or a delete that commits between such a change and the next frame therefore keeps the position: `End`, `PageDown` and a held key are
-    never reverted, focus stays on the key's destination, and a re-measured row shifts no report.
+    never reverted, the active row stays the key's destination, and a re-measured row shifts no report.
     The single path is a type: the keyboard navigation and the views receive only a read-only handle (`ListNavigationHandle`, the getters they read),
     so a view that calls `scrollToIndex`, `scrollBy`, `scrollTo`, `applyWheel` or `updateItemSize` fails the type check, however the call is spelled.
     Only the anchor's scroller holds the full handle (the end-to-end test handle gets the read-only part and the scroller, so its one position change,
@@ -2839,10 +3004,10 @@ resize handle and the side pane lie outside the list.
     Over rows of one height (the List) the new anchor follows from the distance by arithmetic; over measured rows (the DetailList) it walks the
     previous list's row heights from the anchor to the report now at the top, so the walk is bounded by the rows passed since the record (one frame's
     scroll), whatever the list's length or the position.
-  An insert or a delete before or inside the rendered window therefore leaves the first visible report — and the focus inside the rows — where it was.
+  An insert or a delete before or inside the rendered window therefore leaves the first visible report — and the active row — where it was.
   At the start of the list (scroll position 0) no anchor is kept, so reports that arrive at the top are shown;
   the anchor yields only to a pending selection reveal (a DetailList selection waiting for its report; a key move needs no precedence, since its
-  scroll, its destination's render and the focus all end inside its own commit); and when the anchor report itself is removed, the first remaining
+  scroll, its destination's render and the active row all end inside its own commit); and when the anchor report itself is removed, the first remaining
   report that followed it on screen is shown at its offset.
 - **List side pane**: keys select through `onSelectItem` directly, so on a mobile layout they never open the detail overlay.
   On the desktop layout the pane follows the selection in a deferred render: its frame (`[data-testid="daily-report-side-pane"]`) takes the new
@@ -2866,27 +3031,38 @@ resize handle and the side pane lie outside the list.
   The mobile overlay shows the report it opened, so its pane carries the same `data-displayed-report-id` and no `aria-busy`.
   The article tab scrolls to its end (where the comments are) only after the viewer's own comment has been posted; a comment that arrives over SSE,
   from another user or another tab, never moves what the viewer is reading.
-- **Screen readers**: each list references `labels.listKeyboardHelp` (visually hidden) through `aria-describedby` — the DetailList only when it
-  handles keys (with `onSelectItem`); there is no live region, announcements come from focus.
-  The List card's primary button is named by its content ("YYYY-MM-DD creator"), described first by its position in the list
-  (`labels.listRowPosition`, a visually hidden text: en "3 of 40", ja 「全 40 件中 3 件目」; the row frame carries `aria-posinset` / `aria-setsize`, which
-  the focused button cannot carry), then by the row state (`labels.rowState`: read or unread, and starred), then by the markers the card paints and
-  then by its preview, and carries `aria-current="true"` when selected.
-  The position text reads the row's place from the same context as the row frame, so an insert or a delete before the rendered window re-renders the
-  frames and these texts, never a card's body.
-  The total the position names is the size of the set the rows belong to — every row frame's `aria-setsize` and the header's total count read the same
-  value, which `DailyReportResolvedContent` decides once for both views (`resolveRowSetSize`):
+- **Screen readers**: the composite is a `treegrid` named by `labels.title`; it references `labels.listKeyboardHelp` (visually hidden, outside the
+  composite) through `aria-describedby` — the DetailList only when it handles keys (with `onSelectItem`) — and carries `aria-rowcount`, the size of
+  the set its rows belong to. There is no live region: announcements come from the active descendant, which the composite names while it holds focus.
+  Every row frame is a `row` with an `id` derived from the composite's id and the report id (`virtualScrollItemElementId`), `aria-rowindex` and
+  `aria-posinset` (its place in the list, from 1), `aria-setsize`, `aria-level="1"` and an explicit `aria-selected` — `"true"` on the selected row,
+  `"false"` on every other, so Chromium adds no implicit selection. Its surface is the row's one `gridcell`, named by the row's name element, so a
+  cell is never named by the whole card.
+  A List row with a card is named by its card's primary button, whose content is "YYYY-MM-DD creator" (`aria-labelledby`), and described by the row
+  state (`labels.rowState`: read or unread, and starred), the markers the card paints, the preview and, while the screen holds a search marks store,
+  the match description; the button itself is described first by its position in the list (`labels.listRowPosition`, a visually hidden text: en
+  "3 of 40", ja 「全 40 件中 3 件目」), because touch screen readers land on the button, which carries no position attribute.
+  A DetailList row with a body is named by its report heading (date, author and subject; `aria-labelledby`) and described by the row state, the
+  markers its header paints and, while the screen holds a search marks store, the match indicator's hidden sentences last (**Match indicator** in
+  [Text search](#text-search)).
+  While the set's size is unknown (`aria-setsize="-1"`, whose support in assistive technology is unproven), a card row's description ends with its
+  position text as well (`labels.listRowPositionInUnknownTotal`: en "Item 3", ja 「3 件目」); once the size is known the attributes alone carry the
+  position, so it is not read twice. The position reads the row's place from the same context as the row frame, so an insert or a delete before the
+  rendered window re-renders the frames and these texts, never a card's body.
+  The total is the size of the set the rows belong to — every row frame's `aria-setsize`, the composite's `aria-rowcount` and the header's total count
+  read the same value, which `DailyReportResolvedContent` decides once for both views (`resolveRowSetSize`):
   while the ids stream delivers, the total the server declared on the stream's first line (never fewer than the rows shown, and unchanged as chunks
-  arrive); before the server has declared it, unknown — `aria-setsize="-1"`, the header shows `labels.totalCountLoading`, and the position reads
-  `labels.listRowPositionInUnknownTotal` (en "Item 3", ja 「3 件目」); once the scan has completed, the rows shown.
+  arrive); before the server has declared it, unknown — `-1`, and the header shows `labels.totalCountLoading`; once the scan has completed, the rows
+  shown.
   A host that renders `DailyReportList` or `DailyReportDetailList` itself passes that size as `rowSetSize` (−1 while unknown), or omits it when its
-  rows are the whole set; the views' `VirtualScroll` always counts the rows given. A DetailList row is named by its report heading (date, author and
-  subject; `aria-labelledby`) and described by the row state and the markers its header paints, and, while the screen holds a search marks store, by
-  the match indicator's hidden sentences last (**Match indicator** in [Text search](#text-search)).
+  rows are the whole set; the views' `VirtualScroll` always counts the rows given.
   The markers are the attachment marker (`<labels.attachments>: <count>`) and the source badge (its full `name` when the configuration gives one,
-  otherwise its label); a description references only the markers that are painted. A row without content (loading, failed, missing, editing) is named
-  by its ISO business date, with `aria-busy="true"` while loading. At most one element per view carries `aria-current`. ★, 既読, 編集 and 削除 carry
-  `aria-label` equal to their `title` and no `aria-pressed`.
+  otherwise its label); a description references only the markers that are painted. A shell, and a row without content (loading, failed, missing,
+  editing), is named by its ISO business date, with `aria-busy="true"` while its report or its body is still to come. ★, 既読, 編集 and 削除 carry
+  `aria-label` equal to their `title` and no `aria-pressed`; no element of a view carries `aria-current`.
+  The active row is never skipped, so its name and description are always complete; a far row that skips rendering is absent from the accessibility
+  tree (**Far rows skip rendering** above). The package's tests compute the active row's name and description in both views; how real screen readers
+  announce the treegrid rows is the manual checklist in [Assistive technology checklist](#assistive-technology-checklist).
 - **Document structure**: every report has a heading at `config.headingLevel` (an integer from 2 to 5, default 3; pick the level that continues the
   host page's outline). A DetailList card starts with a visually hidden heading `<date> <author> <subject>`, which names the row.
   The side pane and the mobile overlay start with two label / value pairs: `labels.businessDate`, whose value is the report heading (the business date
@@ -2912,8 +3088,8 @@ resize handle and the side pane lie outside the list.
   `labels.reportTabList` (the report heading names only the business date, which reports of the same day share).
 - **Editing**: on the viewer's own reports, an Edit button (`labels.edit`, `data-detail-edit-button`, a pencil icon) stands before Delete in the
   DetailList header and in the side pane's action row. It is the keyboard way into the editor; a double click is the pointer shortcut. Entering the
-  editor this way moves focus to its title field, and Cancel or a successful Publish returns focus to the Edit button (when the button is not
-  rendered, the DetailList row takes focus itself and the side pane focuses its report heading).
+  editor this way moves focus to its title field, and Cancel or a successful Publish returns focus to the Edit button (the side pane focuses its
+  report heading when the button is not rendered).
   A draft of the viewer's own opens in the editor by itself, in a DetailList row and in the side pane alike (another user's draft never does), without
   moving focus; it closes by itself only when the report turns published, and an editor the viewer opened stays open then.
   The editor's state lives in one editing store per action provider, by report (`src/client/contexts/daily-report-draft-store.ts`), not in the row or
@@ -2935,11 +3111,14 @@ resize handle and the side pane lie outside the list.
   belongs to an IME composition is left alone), by focus leaving the trash button and the confirmation, or by a pointer press outside them.
   A cancel by the trash button or by Escape returns focus to the trash button when focus was on the confirmation.
   Confirming moves focus before the comment is hidden, to a destination computed from what remains: the next remaining trash button, else the previous
-  one, else the comment section's heading (`tabIndex=-1`) when the section stays, else the report's own anchor — the row in the DetailList (through
-  the view's focus request), the pane's report heading in the side pane and the mobile overlay — so focus never falls to `body`.
+  one, else the comment section's heading (`tabIndex=-1`) when the section stays, else the report's own anchor — in the DetailList the view, through
+  its hand-back just before the section detaches (**Focus handed back to the view**: the composite after a key, the row's name heading after a
+  pointer), and the pane's report heading in the side pane and the mobile overlay — so focus never falls to `body`.
 - **One comment section rule**: the DetailList row, the side pane and the mobile overlay (which shows the side pane's content) render one comment
   section, its `labels.comments` heading included, only while the report has comments or the viewer may comment on it (the same decision that shows
   the comment form: see [External Source Badge Configuration](#external-source-badge-configuration-sourcetypeconfigs)).
+  The comment field is named by that heading (`aria-labelledby`; `labels.comments`), which renders whenever the form does, so the field has a name of
+  its own in the DetailList row, the side pane and the mobile overlay; its placeholder (`labels.commentPlaceholder`) stays a hint, not its name.
   A report of a source that takes no comments and has none shows no empty section, and deleting the last comment of such a report removes the section,
   so focus goes to the report's anchor above.
 - **Mobile detail overlay** (List, single-column layout): the platform's modal dialog, a `<dialog data-daily-report-mobile-overlay>` (implicit
@@ -2956,10 +3135,11 @@ resize handle and the side pane lie outside the list.
   the close path runs too, and the dialog opens modally again when the close is refused.
   Closing it by any means (close button, Escape, backdrop, browser back, a switch to the desktop layout) first blurs the focus inside the dialog, then
   ends the modal state with `close()` (the platform returns focus, without scrolling, to the element that had it when the dialog opened, when that
-  element is still in the document), and then the view hands focus to the report's card with `preventScroll`, the list scrolling only when that row is
-  not fully visible.
+  element is still in the document), and then the view hands focus back to the report's row (**Focus handed back to the view**): the row becomes
+  active and is revealed by the nearer edge only when it is not fully visible, and focus lands on the composite after a keyboard close (Escape) and on
+  the card's primary button after a tap or a click, with `preventScroll`.
   The dialog is never opened again to show the slide-out: it stays rendered while closed (its layout does not depend on the `open` attribute) and
-  `inert` — no focus, no pointer, nothing in the accessibility tree — until it has slid out, and the row cursor counts focus left inside it as focus
+  `inert` — no focus, no pointer, nothing in the accessibility tree — until it has slid out, and the view's hand-back counts focus left inside it as focus
   that is nowhere. Opening the overlay again during the slide-out shows the same dialog modally again.
   The dialog itself takes focus (`tabIndex=-1`), so pressing a non-focusable part of it never drops focus to `body`. The backdrop is a decorative
   layer (`data-daily-report-overlay-backdrop`, `aria-hidden`, without a role or a name, not focusable): pressing it closes the overlay, while keyboard
@@ -2969,6 +3149,38 @@ resize handle and the side pane lie outside the list.
   the element's own window.
 - `VirtualScroll`'s own `enableKeyboardNavigation` stays `false`; the keys are handled by the package.
 
+#### Assistive technology checklist
+
+The package's tests prove the treegrid semantics in jsdom and Chromium's accessibility tree; how screen readers announce a treegrid whose rows are
+active descendants is checked by hand, with this checklist, which the package delivers and does not run. Run the steps below with each of six pairs —
+NVDA with Chrome, JAWS with Chrome and Narrator with Edge on Windows, VoiceOver with Safari on macOS, VoiceOver on iOS (Safari) and TalkBack on Android
+(Chrome) — in a List and in a DetailList that show at least 20 reports, and once more while the ids stream still delivers and has not declared its
+total (the set size unknown); run the Switch Access, forced-colours and reduced-motion steps once each. Desktop readers stay in their focus (forms)
+mode on the composite; touch readers navigate by swiping, since they follow DOM focus rather than the active descendant. Record the reader, the browser
+and their versions, and per step either a pass or the text announced.
+
+| Step | Do | Expect |
+| --- | --- | --- |
+| Entry | Desktop: Tab from the last control before the view. Touch: swipe into the view | Desktop: the composite is announced as a tree grid named by the title, described by the keyboard help, and its active row (the selected report, else the first visible row) with its name, its description, its position (row M of N, or "Item M" while the total is unknown) and as selected. Touch: the first visible row's card button or row is reached, announced by its name and description |
+| ↑ / ↓ | Desktop: press ArrowDown three times, then ArrowUp once | Each key announces the new active row once — name, position, selection — and nothing else; if a reader repeats "level 1" or the row count on every key, note it (the alternative is the composite role `grid`) |
+| Home / End, PageUp / PageDown | Desktop: press End, then Home, then PageDown twice and PageUp once; repeat End right after opening the view, so that it lands on a row whose body has not loaded yet | Each key announces the row it lands on once, with its position. A row that lands before its body is announced by its ISO business date and as busy; note whether the reader announces the row's full name (date, author, subject) once the body arrives, or only on the next key |
+| Enter / Space | Desktop: on the composite press Enter, then move with ArrowDown and press Space; in the List on the phone layout, press Enter | The active row is selected in both views and announced as selected (the DetailList does not scroll); on the phone layout Enter opens the report's overlay, whose dialog is announced by the report heading and the author |
+| Tab to ★ | From the composite press Tab (the List: ★ of the active row; the DetailList: the row's first control) | Focus moves to that control of the active row and its label is announced; the next Tab reaches the row's next control; Shift+Tab from the first control returns to the composite, which announces the active row again |
+| Escape | On ★ press Escape | Focus returns to the composite, the same active row is announced, and the selection does not change |
+| Escape from the comment field | Desktop, DetailList: Tab to the active row's comment field, type a few characters, press Escape, then Tab back to the field | The field is announced by its name (the comment section's heading, 「コメント」), not only by its placeholder. Escape returns focus to the composite and announces the same active row; the typed characters are still in the field |
+| Exits | Desktop: on the composite press Ctrl+End, then Shift+Tab back into the view; press Ctrl+Home | Ctrl+End moves focus to the first control after the list (on the desktop List the resize handle) and Ctrl+Home to the last control before it, each announced by its own name; the keyboard help names both exits. These chords leave the view instead of moving to the first / last row as in the APG treegrid pattern (Home / End do that) |
+| Reverse entry | Desktop: from the first control after the view press Shift+Tab | Focus lands on the active row's last control, which is in view (the page does not scroll), and its label is announced; further Shift+Tab presses walk the row's controls back to the composite |
+| Tab into a far row | Desktop: with focus on the composite, wheel the list until the active row is far out of view (thousands of px), then press Tab | The active row is scrolled into view before focus lands on its first control, which is announced; the page does not scroll |
+| Removal of the active report | Desktop: with focus on the composite, delete the active report from another tab or window (an SSE removal) | Focus stays on the composite, nothing scrolls, and the report now at the removed report's position is announced as the active row (or nothing, when the list is empty) |
+| A search answer | Desktop: run a search from the search box and Tab into the view; then clear the search and Tab into the view again | The composite announces its active row, a shown row of the answer (the Tab-stop rule of **The active row**), with the answer's count as its set size; after the search is cleared, a shown row of the whole list, with the list's total |
+| Empty and no-category views | A search that matches nothing, and a viewer who may see no category: Tab into the view | The composite is announced by its title, described by the empty text (「項目がありません」) and the keyboard help, with no row; for the viewer without a category, the page's notice (「閲覧できる日報の区分がありません。…」) is reached in browse mode before the view |
+| Overlay close | Phone layout, List: open a report's overlay with Enter on the composite and close it with Escape; open it with a tap and close it with the close button | After the keyboard close, focus is on the composite and the same row is announced as active; after the tap close, focus is on the card's primary button, announced with its position first |
+| Touch hand-back in the DetailList | Touch reader, DetailList: in the active row of your own report from a source that takes no comments, delete its last comment (the trash button, then the confirmation) | The comment section leaves and focus lands on the row's name heading, announced as the report's date, author and subject (not on the list as a whole) |
+| Far rows | Browse mode (NVDA, JAWS, Narrator) or swiping (VoiceOver on iOS, TalkBack) past the visible rows | The rows within one viewport of the visible range are reached; rows farther away are reached only once the list has scrolled near them (**Far rows skip rendering**); the active row is always reached |
+| Switch Access | Android, Switch Access with Chrome, List on the phone layout: scan to a card and select it, then close the overlay with its close button | The card is reachable by scanning and opens the overlay; after the close, focus (which Switch Access follows) is on that card's primary button, or on the composite when the page recorded no pointer input for the action (a hand-back after no recorded input lands on the composite): record which, and that scanning continues from there |
+| Forced colours | Windows contrast theme (forced colours) with the keyboard: move the active row with the arrows, wheel it out of view, then press a key | The selected row shows the system's `Highlight` outline, the active row's keyboard outline shows in the system colour while it is visible, and the composite's 2 px pane ring shows while the active row is out of view |
+| Reduced motion | `prefers-reduced-motion: reduce`: move with the keys, hover a card, open and close the phone overlay | No transition or animation runs; every state change (selection, outline, hover lift, the overlay's opening) shows at once |
+
 ### Selection and focus appearance
 
 Selection and keyboard focus are two separate channels, identical in both views, so "selected and focused" never looks like "focused":
@@ -2976,7 +3188,8 @@ Selection and keyboard focus are two separate channels, identical in both views,
 | State | Channel | Geometry | Light | Dark | Forced colours |
 | --- | --- | --- | --- | --- | --- |
 | Selected | box-shadow ring; the surface paints no shadow outside it | 2 px, 0–2 px outside the surface | blue-500 | blue-500 | 2 px `Highlight` outline of the row frame in the ring's band (below) |
-| Keyboard focus on a row or card (only while the view root carries `data-daily-report-keyboard-focus`) | outline | 2 px at offset 4 (4–6 px outside) | blue-600 | blue-400 | kept (system colour) |
+| Keyboard focus on the active row (the composite holds keyboard focus) or on a List card's primary button (only while the view root carries `data-daily-report-keyboard-focus`) | outline | 2 px at offset 4 (4–6 px outside) | blue-600 | blue-400 | kept (system colour) |
+| Keyboard focus on the composite with no active row, or with the active row not shown beyond 4 px (below) | `@aiquants/virtualscroll`'s pane ring, coloured through its `--aqvs-focus-ring-color` | 2 px inset of the pane | blue-600 | blue-400 | kept (system colour) |
 | Keyboard focus on a control or link | outline | 2 px at offset 2 | blue-600 | blue-400 | kept |
 | Pointer focus | none | — | — | — | — |
 | Hover (cards) | blue-300 border, `shadow-lg` (a selected card paints no shadow), a lift L of at most 2 px on whole device pixels (motion-safe; **Row gutter G** below) | — | — | — | — |
@@ -3052,18 +3265,31 @@ luminance by 0.026 in the light theme, and a `shadow-md` brings the ring down to
 - **Forced colours**: the ring (a box shadow) disappears, so the row frame draws the selection itself: a 2 px solid `Highlight` outline at offset −8
   (−G), which puts the line in the ring's band, 0–2 px outside the surface. The frame's corner radius is the surface's radius plus G
   (`calc(var(--radius-2xl) + 8px)`, 24 at a 16 px root), so the line is concentric with the surface at every root font size.
-  A DetailList row and a List row without a card read their own `aria-current`; a List row with a card reads its card's primary button
-  (`:has(> [data-daily-report-card] > [aria-current=true])`). The selected row differs by shape as well as by colour (WCAG 1.4.1); the surface border
+  Every row reads its own `aria-selected="true"`, in every load state. The selected row differs by shape as well as by colour (WCAG 1.4.1); the surface border
   stays 1 px in every state, and the focus outline (4–6 px outside) sits beside the selection line without touching it.
 - **State comes from the row itself**: a row frame styles its surface — the direct child that carries `data-daily-report-row-surface` in every load
-  state — from its own `aria-current` / `:focus-visible`, and the List card surface styles itself from its direct-child primary button (`:has(> …)`).
-  Conditions on an ancestor read only the attributes the package writes itself (`data-daily-report-scrolling`, `data-daily-report-keyboard-focus`), so
-  an ancestor that carries shared attributes such as `aria-current` never lights up a row.
-  The focus outline of both surfaces also requires the view root's `data-daily-report-keyboard-focus`
-  (`:where([data-daily-report-keyboard-focus]) <frame>:focus-visible > :where(<surface>)` and
-  `:where([data-daily-report-keyboard-focus]) <card surface>:has(> <primary button>:focus-visible)`): the ancestor sits in `:where()`, so the rules
-  keep their specificity of (0,2,0) and (0,3,0), and the attribute changes only when the input modality does, never per arrow key, so it restyles the
-  surfaces once per change of modality.
+  state — from its own `aria-selected` (the selection ring) and its own `data-daily-report-active` (the focus outline), and the List card surface
+  styles itself from its direct-child primary button (`:has(> …)`).
+  Conditions on an ancestor read only the attributes the package writes itself (`data-daily-report-scrolling`, `data-daily-report-keyboard-focus`)
+  and the composite's `:focus-visible`, so an ancestor that carries shared attributes such as `aria-current` or `aria-selected` never lights up a row.
+  The active row's outline requires the view root's `data-daily-report-keyboard-focus` and a `:focus-visible` ancestor — the composite, the only
+  focusable ancestor of a row — (`:where([data-daily-report-keyboard-focus]) :where(:focus-visible) <frame>[data-daily-report-active] > :where(<surface>)`),
+  and the List card's outline requires the same root attribute
+  (`:where([data-daily-report-keyboard-focus]) <card surface>:has(> <primary button>:focus-visible)`): the ancestors sit in `:where()`, so the rules
+  keep their specificity of (0,2,0) and (0,3,0). The root attribute is load-bearing: a press inside a keyboard-focused composite leaves the composite
+  `:focus-visible`, and the attribute, removed by the press, keeps the outline off. It changes only when the input modality does, never per arrow key,
+  so it restyles the surfaces once per change of modality.
+  No selector reads `aria-activedescendant`: it changes on every key and would invalidate the composite's subtree; a key restyles the two row frames
+  whose `data-daily-report-active` and `aria-selected` change. `@aiquants/virtualscroll` draws its pane ring on the composite only while the active
+  row is not shown (`data-aqvs-active-item` is not `visible`), and both views count an active row that a viewport edge clips as shown only while more
+  than 4 px of it show at that edge (`activeItemVisibleInset` = G − the outline's offset = 8 − 4: the distance from the row frame's edge to the inner
+  edge of the surface's 2 px outline). The ring therefore yields only once the outline's whole width shows at the
+  clipped edge, and a keyboard-focused composite always shows a whole indicator: the active row's outline, or the ring.
+  The ring wears the outline's colour: both views bind the peer's neutral variable `--aqvs-focus-ring-color` to blue-600 (dark: blue-400) on
+  `VirtualScroll`'s root, so one focus shows one colour in each scheme (the peer's default `#2563eb` stays just
+  above 3:1 on the dark page, 3.90:1, against the outline's 7.63:1). The peer's scroll bar and edge pills read the same variable for their rings,
+  but never take focus in these views (`enableArrowButtonTabStops: false`), and the arrow buttons keep their own fill, whose glyph contrast depends
+  on it.
 - **A key press restyles only what paints the change**: every selector that depends on another element's state ends in the styled element's own class
   or attribute, and `:has()` sits only on the styled element itself. A featureless subject (`*:`, `group-*`) or an ancestor's `:has(:focus-visible)`
   would make the browser restyle whole rows or the whole view on each key; `src/client/ui/tailwind-selector-scope.spec.ts` compiles the package's
@@ -3084,13 +3310,13 @@ luminance by 0.026 in the light theme, and a `shadow-md` brings the ring down to
   held.
   Inside the box the rows' overflow is ink overflow, so a scroll the browser makes on its own to reveal an overscan row (a find-in-page match there)
   cannot move the list and moves the nearest outer scroller instead when the row's box lies outside its view; the views' own reveals do not depend on
-  it (one Tab stop per view, rows focused with `preventScroll`, keyboard focus revealed by the scroller).
+  it (one Tab stop per view, `Tab` revealing the active row in its keydown, keyboard focus revealed by the scroller).
   Size containment makes the frame's size independent of its content: its width is the row box `VirtualScroll` lays out, and its height is the slot P
   the List writes on the frame or, in the DetailList, that row box itself (`h-full`), whose height `VirtualScroll` takes from the measured row.
   The DetailList therefore measures each row's body — the frame's direct child, as tall as its content rounded up to the block quantum q (**Row slots
   on the lattice**) — and adds 2G, handing the height to `VirtualScroll` through the scroller's `resizeRow` (see **Host selections and list
-  changes**); measuring the frame would read back the box it fills. A held body is not measured, and a body that is replaced (another load state, a
-  released hold) is observed in its place.
+  changes**); measuring the frame would read back the box it fills. A shell is not measured, and a body that is replaced (another load state, a
+  shell's first body, a newer report's card) is observed in its place.
   A frame with layout and size containment that is neither a flex nor a grid item is a relayout boundary in Chromium. Neither frame contains paint,
   because the hover `shadow-lg` of an unselected surface (22 px below, 12 px to the sides) reaches beyond the 8 px gutter G that paint containment
   would clip (the resting `shadow-sm`, 4 px below, stays inside G; a selected surface paints no shadow).
@@ -3556,7 +3782,7 @@ luminance by 0.026 in the light theme, and a `shadow-md` brings the ring down to
   The visually hidden copy, `title` and `data-attachment-file-name` stay plain.
 - **Tab order inside list rows**: the attachment links follow the row rule of
   [Keyboard, focus and selection](#keyboard-focus-and-selection-list--detaillist): inside a DetailList row they are Tab stops only in the view's
-  Tab-stop row (`tabIndex=-1` in every other row); in the side pane and the mobile overlay they keep their natural order.
+  active row (`tabIndex=-1` in every other row); in the side pane and the mobile overlay they keep their natural order.
 - **Marker**: the List card and the DetailList header show `DailyReportAttachmentIndicator` when a report has attachments: a 24 px tall box without
   padding or radius (its first ink starts at the content edge) holding a 16 px paperclip icon and, from 2 attachments on, the count in 12 px type on a
   16 px line; it is named `<labels.attachments>: <count>` (`role="img"`).
@@ -3675,11 +3901,14 @@ DOM hooks are `data-*` attributes, test ids and ARIA; class names are styling an
 
 | Hook | Element |
 | --- | --- |
-| `[data-daily-report-row="<id>"]` | Row frame of both views (`role="listitem"` with `aria-posinset` / `aria-setsize`; the set size is the declared total while the ids stream delivers and `-1` before it is declared, see **Screen readers**), in every load state |
-| `[data-daily-report-row-surface]` | Surface of a row frame: its direct child that paints the selection ring and the focus outline, in every load state (opaque and never animated; a loading pulse runs inside it) |
+| `[role="treegrid"]` | Each view's composite: `VirtualScroll`'s content element, the view's one Tab stop and the element that holds DOM focus while the keys move; its `id` prefixes the row ids, `aria-activedescendant` names the active row's `id` (written by `@aiquants/virtualscroll`), `aria-rowcount` is the set's size, and `data-aqvs-active-item` is `visible` or `outside` while there is an active row |
+| `[data-daily-report-row="<id>"]` | Row frame of both views (`role="row"` with `id`, `aria-rowindex`, `aria-posinset`, `aria-setsize`, `aria-level` and an explicit `aria-selected`; the set size is the declared total while the ids stream delivers and `-1` before it is declared, see **Screen readers**), in every load state |
+| `[data-daily-report-active]` | The active row's frame (the row the composite's `aria-activedescendant` names) |
+| `[data-daily-report-row-surface]` | Surface of a row frame (`role="gridcell"`): its direct child that paints the selection ring and the focus outline, in every load state (opaque and never animated; a loading pulse runs inside it) |
+| `[data-daily-report-row-shell]` | The empty surface of a shell: a row mounted outside the visible range whose body is still to come (**Rows mount in two passes**) |
 | `[data-daily-report-card]` | List card surface (present while the card is shown) |
-| `button[data-daily-report-button="<id>"]` | List card primary button (selection, focus target, `aria-current`) |
-| `[role="listitem"][data-daily-report-button="<id>"]` | DetailList row element (also its focus target) |
+| `button[data-daily-report-button="<id>"]` | List card primary button (the click target that selects, and the pointer hand-back target; never a Tab stop, `tabIndex=-1`) |
+| `[data-daily-report-row-focus]` | A row's own focus target, where a pointer or touch hand-back lands: the List card's primary button, or the DetailList card's visually hidden name heading (`tabIndex=-1`; never a Tab stop) |
 | `[data-list-star-button="<id>"]` / `[data-list-read-button="<id>"]` | List card toggles |
 | `[data-detail-star-button="<id>"]` / `[data-detail-read-button="<id>"]` / `[data-detail-edit-button="<id>"]` / `[data-detail-delete-button="<id>"]` | Toggles, edit and delete in the DetailList header and the List side pane (edit and delete on the viewer's own reports only) |
 | `[data-testid="daily-report-side-pane"]` | List side pane: `data-report-id` is the selected report, `data-displayed-report-id` the report its content shows; the desktop pane carries `aria-busy="true"` while the two differ (the overlay's pane shows the report it opened, so they are equal) |
@@ -3699,7 +3928,7 @@ DOM hooks are `data-*` attributes, test ids and ARIA; class names are styling an
 | `[data-daily-report-view-tabs]` | The view-mode tab list (its selected tab is the focus successor of a list without rows) |
 | `data-testid` | `daily-report-root`, `daily-report-list`, `daily-report-detail-list`, `daily-report-side-pane`, `daily-report-error-banner` (the error notice), `daily-report-status-panel` (the status screen's panel, `data-phase` `loading` / `failed`), `daily-report-load-error-retry`, `daily-report-stream-announcer` (the page's status region, never focusable), `daily-report-ids-stream-status` and `daily-report-ids-stream-retry` (the badge's content and its retry button), `daily-report-ids-stream-status-announcer` (the badge's own live regions, rendered only while it announces its phases), and the attachment ids above |
 
-Only the package writes `data-daily-report-keyboard-focus` and `data-daily-report-scrolling`. Hosts may select on them — in tests, or in CSS to adapt
+Only the package writes `data-daily-report-keyboard-focus`, `data-daily-report-scrolling`, `data-daily-report-active`, `data-daily-report-row-shell` and `data-daily-report-row-focus`. Hosts may select on them — in tests, or in CSS to adapt
 their own content inside a view — but never set them. When the pane content matters, wait for `data-displayed-report-id`, not `data-report-id`: during
 a key's render the frame already names the new selection while the content still shows the previous report.
 
@@ -3836,8 +4065,8 @@ first), `DAILY_REPORT_LABEL_CATALOGS` (the frozen catalogs), `resolveDailyReport
 | `tabRelations` | side pane tab | Related | 関連 |
 | `reportTabList` | accessible name (`aria-label`) of the side pane's tab list | Report sections | 日報の表示の切り替え |
 | `relationsEmpty` | side pane related tab body | No related view configured yet. | 関連ビューはまだ構成されていません。 |
-| `title` | `renderHeader({ title })`, both lists' `aria-label` | Daily Reports | 日報 |
-| `listKeyboardHelp` | both lists' `aria-describedby`, visually hidden (the DetailList only with `onSelectItem`) | Up and Down arrows: previous or next report. Home and End: first or last report. Page Up and Page Down: move by a page. Enter or Space on a report row: make it current. Control+Home and Control+End: move to the nearest control before or after the list, when there is one. | ↑↓ で前後の日報、Home / End で先頭・末尾、PageUp / PageDown でページ移動、日報の行で Enter または Space を押すと選択、Ctrl+Home / Ctrl+End で一覧の直前・直後の操作部品があればそこへ移ります。 |
+| `title` | `renderHeader({ title })`, both composites' `aria-label` | Daily Reports | 日報 |
+| `listKeyboardHelp` | both composites' `aria-describedby`, visually hidden and outside the composite (the DetailList only with `onSelectItem`) | Up and Down arrows: previous or next report. Home and End: first or last report. Page Up and Page Down: move by a page. Enter or Space: select. Tab: the report's controls. Escape: back to the report row. Control+Home and Control+End: move to the nearest control before or after the list, when there is one. | ↑↓ で前後の日報、Home / End で先頭・末尾、PageUp / PageDown でページ移動、Enter または Space で選択、Tab でその日報の操作部品へ、Escape で日報の行へ戻ります。Ctrl+Home / Ctrl+End で一覧の直前・直後の操作部品があればそこへ移ります。 |
 | `tabList` | top-level tab | 📄 List | 📄 一覧 |
 | `tabTree` | top-level tab | 🌳 Tree | 🌳 ツリー |
 | `tabDetailList` | top-level tab | 📋 DetailList | 📋 詳細一覧 |
@@ -3900,9 +4129,9 @@ first), `DAILY_REPORT_LABEL_CATALOGS` (the frozen catalogs), `resolveDailyReport
 | `interviewerWithAffiliation` | interviewer chip | `("Sato", "Acme")` → Sato (Acme) | `("佐藤", "山田商事")` → 佐藤 (山田商事) |
 | `operationFailed` | the error notice / `DailyReportErrorInfo.message` | `("update")` → Failed to save the report. Please try again later. | `("update")` → 日報の保存に失敗しました。時間をおいて再度お試しください。 |
 | `noticeRepeated` | the error notice, beside its message when failures with the same message follow one another (`count` is how many came in a row, from 2; part of the notice's name) | `(2)` → (2 times) | `(2)` → (2 回目) |
-| `rowState` | visually hidden row state, the first description of a DetailList row and the second of the List card's primary button | `({ isRead: false, isStarred: true })` → Unread, starred | `({ isRead: false, isStarred: true })` → 未読、スター付き |
+| `rowState` | visually hidden row state, the first description of a card row in both views and the second of the List card's primary button | `({ isRead: false, isStarred: true })` → Unread, starred | `({ isRead: false, isStarred: true })` → 未読、スター付き |
 | `listRowPosition` | visually hidden position of a List card in the list, the first description of its primary button (`position` is 1-based; `total` is the size of the views' set) | `(3, 1234)` → 3 of 1,234 | `(3, 1234)` → 全 1,234 件中 3 件目 |
-| `listRowPositionInUnknownTotal` | the same position while the size of the views' set is unknown (the ids stream has not declared its total yet), in place of `listRowPosition` | `(3)` → Item 3 | `(3)` → 3 件目 |
+| `listRowPositionInUnknownTotal` | the same position while the size of the views' set is unknown (the ids stream has not declared its total yet), in place of `listRowPosition`; it also ends the description of a card row in both views while the size is unknown | `(3)` → Item 3 | `(3)` → 3 件目 |
 | `searchFieldMatched` | match sentences of a row (the DetailList row's and the side pane's hidden indicator sentences, the List card's hidden match description): a field heading the row's leaves marked with a typed word's mark (`field` is the heading's resolved label) | `("Author")` → Author matched | `("作成者")` → 作成者で一致 |
 | `searchFieldMatchedByReading` | the same, for a heading whose marks matched only through a romaji reading | `("Author")` → Author matched by its romaji reading | `("作成者")` → 作成者がローマ字の読みで一致 |
 | `searchFiltersToggle` | search box: the filter toggle, with the number of selected filter values (no number at 0; digit grouping) | `(0)` → Filters; `(3)` → Filters (3) | `(0)` → 絞り込み; `(3)` → 絞り込み (3) |
@@ -4028,7 +4257,10 @@ Documenting a name here is no reason to export it, and the values that tune the
     routes itself: `DAILY_REPORT_ACTION_INTENTS` / `DAILY_REPORT_ACTION_FIELDS` (the intents and the form's field names),
     `encodeDailyReportActionCommand(command)` (a command as its `FormData`), `parseDailyReportActionResult(intent, json)` (the strict reading of a 200
     answer: `{ result }` or `{ mismatch }`), `DAILY_REPORT_API_ENDPOINTS` / `DAILY_REPORT_API_QUERY_PARAMS` (the endpoint and GET query-parameter
-    names) and `DAILY_REPORT_CLIENT_TEMP_ID_PATTERN` (the echo id's two canonical forms).
+    names) and `DAILY_REPORT_CLIENT_TEMP_ID_PATTERN` (the echo id's two canonical forms),
+    and the source-type vocabulary a host builds its visibility port with: `DAILY_REPORT_INTERNAL_SOURCE_TYPE` (`"Internal"`, the source type of the
+    reports the package creates) and `foldDailyReportSourceTypeToken(token)` (the one fold the server applies to the tokens the port returns:
+    surrounding blanks removed, then lower case; [Source-type visibility](#source-type-visibility)).
   - Types: `DailyReportItem` / `DailyReportDetail` / `DailyReportUser` / `DailyReportInterviewer` / `DailyReportLabelDef` / `DailyReportPostedComment`
     / `DailyReportExternalComment` / `DailyReportAttachmentSummary`, `DailyReportSseMessage` / `DailyReportSseStreamAnchor` /
     `DailyReportIdsStreamChunkLine` / `DailyReportIdsStreamChunk` (what `readIdsStreamChunkLine` answers), `DailyReportAttachmentDeliveryRequest` /
@@ -4125,14 +4357,18 @@ Documenting a name here is no reason to export it, and the values that tune the
     server entry alone, so client bundles do not carry it).
   - Request values: `parseClientTempId` and its branded result type `DailyReportClientTempId` (the action's echo id in its two canonical forms, the
     only id the service's write methods take; **The echo id** in [Request values](#request-values)).
+  - Visibility: `createDailyReportVisibilityCache({ ttlMs, readViewerKey, resolve })` (the package's memoizer of the visibility port's answers, which
+    returns a `DailyReportResolveVisibleSourceTypes`; its settings type `DailyReportVisibilityCacheConfig`) and
+    `DAILY_REPORT_VISIBILITY_MAX_CACHE_TTL_MS` (60,000, the longest `ttlMs` it takes; **Performance** in
+    [Source-type visibility](#source-type-visibility)).
   - Types: `DailyReportServerConfig` / `DailyReportServer` (what `createDailyReportServer` returns) / `DailyReportHandlersConfig` /
     `DailyReportHandlers` (what `createDailyReportHandlers` takes and returns) / `DailyReportServiceConfig` / `DailyReportTables` / `DailyReportDb` /
     `DailyReportAuthenticate` / `DailyReportAuthResult` / `DailyReportIdCodec` / `DailyReportRedisProvider` / `DailyReportSseReaderPort` (the shared
     reader `createDailyReportHandlers` takes) / `DailyReportSseStreamEntry` (an entry as the reader hands it to every subscriber: its id and its
     message read once, or `null`) / `DailyReportExternalReportFields` (what an `externalSources` adapter's `mapRow` returns),
     the ports' own types `DailyReportResolveUserId` / `DailyReportEncodeUserId` / `DailyReportResolveVisibleSourceTypes` (with
-    `DailyReportVisibleSourceTypes`, `DailyReportVisibilityDimensions`, `DailyReportVisibilityResolveContext` and
-    `DailyReportVisibilityResolveReason`) / `DailyReportRedisClient` / `DailyReportRedisBlockingClient` / `DailyReportRedisStreamMessage` /
+    `DailyReportVisibleSourceTypes`, `DailyReportVisibilityDimensions`, `DailyReportVisibilityOptOut` (the explicit opt-out
+    `{ unrestricted: <reason> }`), `DailyReportVisibilityResolveContext` and `DailyReportVisibilityResolveReason`) / `DailyReportRedisClient` / `DailyReportRedisBlockingClient` / `DailyReportRedisStreamMessage` /
     `DailyReportSseEntryMessage` (an entry's message read once) / `DailyReportExternalSource` (an `externalSources` adapter),
     the injected tables `DailyReportHubTable` / `DailyReportInternalTable` / `DailyReportCommentTable` / `DailyReportLabelTable` /
     `DailyReportHubLabelTable` / `DailyReportUserStatusTable` / `DailyReportUserTable` / `DailyReportAttachmentTable` (the members of