@astryxdesign/core 0.7.5 → 0.7.6-canary.0bd3b37

package/src/Pagination/Pagination.spec.md

@@ -1,49 +1,68 @@
 ---
 schema_version: 3
-template_version: 3
+template_version: 7
 kind: component
 id: component:Pagination
-authority: draft
+authority: current
 archive_reason: null
 superseded_by: null
-approved_by: null
-approved_at: null
+approved_by: cixzhang
+approved_at: 2026-10-31
 owners: [cixzhang]
-review_triggers: [theming]
+review_triggers: [public-api, behavior, layout, theming, accessibility]
 verified_by:
   [
     packages/core/src/Pagination/Pagination.test.tsx,
-    packages/core/src/Button/Button.test.tsx,
-    packages/core/src/Text/Text.test.tsx,
-    packages/core/src/NumberInput/NumberInput.test.tsx,
-    packages/core/src/Selector/Selector.test.tsx,
+    packages/core/src/hooks/useListFocus.test.tsx,
     packages/core/src/theme/themingTargets.test.ts,
     scripts/check-knowledge.mjs,
   ]
 modules: []
 families: []
-design_specs: []
-architecture: [architecture:component-theming-surface]
+design_specs: [design:bidirectionality, design:reduced-motion]
+architecture:
+  [
+    architecture:component-theming-surface,
+    architecture:internationalization,
+    architecture:public-component-api,
+  ]
 contributing: []
-system_specs: []
+system_specs:
+  [spec:AST-020/FR15, spec:AST-085, spec:AST-086, spec:AST-094, spec:AST-102]
 ---
 
 # Pagination component contract
 
+## Contract at a glance
+
+| Area                    | Contract                                                                                                                                                                                                                                                                             |
+| ----------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ |
+| Public contract         | None changes. Pagination takes `page`, `onChange`, `changeAction`, `totalItems`, `totalPages`, `hasMore`, `pageSize`, `pageSizeOptions`, `onPageSizeChange`, `variant`, `pageLabel`, `hasFirstLast`, `step`, `siblingCount`, `size`, `isDisabled`, `label`, and base props.          |
+| Behavior                | A labelled navigation landmark with Previous and Next buttons around a variant-specific indicator. Every page change calls `onChange`, announces the new page, and runs an optional `changeAction` with an optimistic page.                                                          |
+| End-user impact         | People move through pages by buttons, page numbers, dots, or typing a page, and screen-reader users hear the page they landed on. A keyboard user on Next at the last page loses focus because Next becomes natively disabled.                                                       |
+| Builder impact          | None.                                                                                                                                                                                                                                                                                |
+| Compatibility/readiness | Records shipped behavior; no API, default, or DOM change. Boundary and disabled buttons use native `disabled`, the dots are not exposed as a radio group and have no coarse-pointer hit area, and delegated Buttons carry their own gaps; all are listed under Current-state impact. |
+| Review checks           | Reject a page change outside 1 to the total, a page change without an announcement, a disabled Pagination that changes page, a landmark without a name, or a delegated control re-themed by Pagination.                                                                              |
+| Governing rules         | `spec:AST-020` FR15, DEC-4; `spec:AST-085` FR1, FR4, FR7; `spec:AST-086`; `spec:AST-094` FR42; `spec:AST-102` FR4; `design:bidirectionality` DR6; `design:reduced-motion` DR1; `architecture:component-theming-surface`; `architecture:internationalization` INV1a.                  |
+
+This table is a review projection; the body below is authoritative.
+
 ## Intent
 
-Pagination presents controls for moving through pages and may let people choose a
-page size or enter a page directly. This draft records its current consumer
-anatomy, four local theming targets, delegated control ownership, and current
-unreached Ellipsis without changing runtime behavior, styling, targets, or public
-API.
+Pagination presents controls for moving through pages and may let people choose
+a page size or enter a page directly. It owns the page arithmetic, which
+controls render for each variant, the page-change pipeline and announcement,
+and its four local theming targets. Consumer usage lives in
+`Pagination.doc.mjs`.
 
 ## Compatibility and migration
 
-- Released default preserved: `yes`
-- Compatibility class: additive documentation only; runtime, DOM, styling,
-  targets, aliases, and public API remain unchanged
-- Controlled/uncontrolled behavior: unchanged
+- Released default preserved: `yes`; `variant="pages"`, `pageSize={10}`,
+  `step={1}`, `siblingCount={1}`, `size="md"`
+- Compatibility class: records shipped behavior; no public prop, default,
+  export, or DOM change
+- Controlled/uncontrolled behavior: controlled; `page` is the committed page,
+  and Pagination shows an optimistic page only while a `changeAction` is pending
 - Migration decision: none
 
 Consumer migration instructions belong in consumer docs and release notes.
@@ -58,84 +77,113 @@ Consumer migration instructions belong in consumer docs and release notes.
   targets.
 - Choosing which stable controls and readouts render for the current paging
   configuration.
+- Page-count arithmetic, step clamping, the page range with ellipses, and the
+  page-change pipeline and announcement.
 
 **Does not own / non-goals**
 
 - Button, Text, NumberInput, or Selector presentation and targets; those remain
   owned by their respective components.
 - Button icon artwork or other internals of delegated controls.
-- A public target for Ellipsis; none exists on current `main`.
-- New paging behavior, variants, state, public API, or theming targets.
+- A public target for Ellipsis; none exists (OQ2).
+- Fetching or slicing the data being paged — owned by the caller.
 
 ## Public concepts
 
-No new public concept is introduced. Consumer props, presentations, defaults,
-and usage remain documented in `Pagination.doc.mjs`.
+| Concept    | Closed values or states                              | Meaning                                               | Availability by variant/orientation/state                                  | Default     | Owner                  | Stability | Invalid-value behavior                                              |
+| ---------- | ---------------------------------------------------- | ----------------------------------------------------- | -------------------------------------------------------------------------- | ----------- | ---------------------- | --------- | ------------------------------------------------------------------- |
+| Page       | integer from 1                                       | The current page.                                     | Always.                                                                    | required    | `component:Pagination` | Stable    | Not clamped; Previous and Next follow it.                           |
+| Data shape | `totalItems`, `totalPages`, or `hasMore`             | Known item count, known page count, or cursor paging. | `totalPages` wins over the count derived from `totalItems`.                | unknown     | `component:Pagination` | Stable    | A zero or negative total renders nothing.                           |
+| Variant    | `pages`, `count`, `compact`, `dots`, `input`, `none` | What sits between Previous and Next.                  | Indicators that need a total render nothing without one.                   | `pages`     | `component:Pagination` | Stable    | TypeScript rejects values absent from `PaginationVariantMap`.       |
+| Step       | positive integer                                     | Pages Previous and Next move per press.               | Always.                                                                    | `1`         | `component:Pagination` | Stable    | A non-integer or value below 1 becomes 1.                           |
+| Page size  | positive integer; optional option list               | Items per page; a selector when options are given.    | Always.                                                                    | `10`        | `component:Pagination` | Stable    | A non-finite size becomes 10; a fraction floors; below 1 becomes 1. |
+| First/last | on, off                                              | Jump buttons flanking Previous and Next.              | `input` (on by default) and `compact` (off by default) with a known total. | per variant | `component:Pagination` | Stable    | Other variants ignore it.                                           |
+| Size       | `sm`, `md`                                           | Control size.                                         | Always.                                                                    | `md`        | `component:Pagination` | Stable    | TypeScript rejects other values.                                    |
 
 ## Behavioral and layout contract
 
-| ID  | Candidate invariant                                                                                                                                                                                                                                                                                | Basis                                  | Draft review state                                                        |
-| --- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | -------------------------------------- | ------------------------------------------------------------------------- |
-| FR1 | The current render contains one Pagination landmark and Previous/next buttons. Page-size selector, First/last buttons, Page number buttons, Ellipsis, Count readout, Compact readout, Dots, Page input label, Page input, and Page input total appear only when their existing conditions are met. | Current source, docs, and tests        | Verified current behavior; no new behavior decided                        |
-| FR2 | Pagination, Dot, Page input label, and Page input total carry the four current local targets `pagination`, `pagination-dot`, `pagination-input-label`, and `pagination-input-total`.                                                                                                               | Current source, docs, and history      | Verified current inventory; focused placement coverage is absent          |
-| FR3 | Page-size selector delegates to Selector; First/last, Previous/next, and Page number buttons delegate to Button; Count and Compact readouts delegate to Text; Page input delegates to NumberInput.                                                                                                 | Current source and owner evidence      | Verified current ownership; no target change                              |
-| FR4 | Ellipsis is stable visible Pagination-rendered content in a numbered presentation and currently carries no public target.                                                                                                                                                                          | Current source, tests, and target docs | Verified current reachability; long-term theming intent remains unsettled |
+| ID   | Invariant                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      | Basis                                                                                                    |
+| ---- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | -------------------------------------------------------------------------------------------------------- |
+| FR1  | The current render contains one Pagination landmark (`<nav>` named by `label`, else the localized "Pagination", unless a caller's `aria-labelledby` names it) and Previous/next buttons. Page-size selector, First/last buttons, Page number buttons, Ellipsis, Count readout, Compact readout, Dots, Page input label, Page input, and Page input total appear only when their existing conditions are met. Pagination renders nothing when `totalItems` or the resolved page count is zero or less.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          | Current source and tests                                                                                 |
+| FR2  | Pagination, Dot, Page input label, and Page input total carry the four current local targets `pagination` (with `data-variant` and `data-size`), `pagination-dot` (`data-active`, `data-size`), `pagination-input-label` (`data-size`), and `pagination-input-total` (`data-size`).                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            | `architecture:component-theming-surface`; current source                                                 |
+| FR3  | Page-size selector delegates to Selector; First/last, Previous/next, and Page number buttons delegate to Button; Count and Compact readouts delegate to Text; Page input delegates to NumberInput. The delegated Buttons carry `component:Button`'s gaps: their press scale applies under reduced motion (`design:reduced-motion` DR1) and their height is fixed (`spec:AST-102` FR4).                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         | Current source; `design:reduced-motion` DR1; `spec:AST-102` FR4                                          |
+| FR4  | Ellipsis is stable visible Pagination-rendered content in a numbered presentation, hidden from assistive technology, and currently carries no public target.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   | Current source                                                                                           |
+| FR5  | The page count is `totalPages`, else `totalItems / pageSize` rounded up, else unknown. Previous is available above page 1; Next is available below the known count, or when `hasMore` with no count. Previous and Next move by `step`, clamped to 1 and the known count; First goes to 1 and Last to the count.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | Current tests                                                                                            |
+| FR6  | Every page change calls `onChange(page)`, announces "Page X of Y" (or "Page X" without a count) through the shared polite channel, and runs `changeAction(page)` in a transition while the optimistic page shows. A later change while one is pending starts a fresh transition. Pagination shows no other pending treatment.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  | `spec:AST-086`; current tests                                                                            |
+| FR7  | `pages` shows page buttons for the range when the count is known: every page when the count fits `5 + 2 × siblingCount` slots, otherwise, near an end, `3 + 2 × siblingCount` consecutive pages from that end, an ellipsis, and the other end (page 1 of 10 shows `1 2 3 4 5 … 10`); elsewhere the first page, an ellipsis, the current page with `siblingCount` neighbours, an ellipsis, and the last page. Each page button shows its number, is named "Go to page N", and the current one has `aria-current="page"`.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        | Current tests                                                                                            |
+| FR8  | `count` shows "X–Y of Z" for the visible item range (needs `totalItems`); `compact` shows "Page X of Y" (needs a count); `none` shows nothing between the buttons.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             | Current tests                                                                                            |
+| FR9  | With a known count, `dots` renders one dot button per page in a group named by the localized page-indicators label, as one composite single-choice control: a single roving Tab stop on the current dot; ArrowLeft and ArrowRight follow the reading direction (`design:bidirectionality` DR6) and wrap, Home and End reach the first and last dot, and focus landing on a dot selects its page; a click focuses the dot. While disabled, dots stay focusable with `aria-disabled` and change no page. Because the dots already play the APG radio group's role, they MUST expose its required parts: a `radiogroup` container and `radio` dots named by their page with `aria-checked` on the current one (`spec:AST-020` FR15, DEC-4); the arrow keys and Home/End are the composite's adopted extras. Implementation gap: the container is `role="group"` and the dots are buttons with `aria-current` on the current page. Under a coarse pointer each dot MUST gain an invisible hit area, clamped to half the gap between dots (`spec:AST-094` FR42). Implementation gap: dots are 8 px (6 px at `sm`) with no hit area. | `spec:AST-020` FR15, DEC-4; `spec:AST-094` FR42; `design:bidirectionality` DR6; current source and tests |
+| FR10 | `input` renders the page label (visual only), a hidden-label integer NumberInput bounded to 1 and the count, and "/ N" when the count is known. Committing a different page changes to it; the input is disabled without a known count.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        | `component:NumberInput`; current tests                                                                   |
+| FR11 | With `pageSizeOptions`, a Selector labelled "Items per page" shows the options; choosing one calls `onPageSizeChange(size)` and then changes to page 1.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        | Current tests                                                                                            |
+| FR12 | Previous, Next, First, and Last name themselves with localized phrases (Previous and Next name the stride when `step` is above 1) and show that name as a tooltip only while available. Their chevrons mirror under RTL.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       | `architecture:internationalization`; current source and tests                                            |
+| FR13 | `isDisabled` blocks every page change and disables every control. A disabled or boundary control MUST stay focusable with `aria-disabled` and keep focus when it becomes unavailable (`spec:AST-085` FR1, FR4, FR7). Implementation gap: dots and the page-size Selector use `aria-disabled`, but the Buttons use their native-disabled path, so a focused Previous, Next, First, or Last that reaches a boundary drops focus.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 | `spec:AST-085`; current source and tests                                                                 |
+| FR14 | `ref`, `className`, `style`, `xstyle`, `data-testid`, and other base props reach the landmark. A caller's `aria-label` never replaces the computed landmark name (`label`, else the localized default); other caller ARIA props, such as `aria-labelledby`, still reach the landmark. `data-testid` also reaches the input variant's NumberInput as `<id>-input`.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              | Current tests                                                                                            |
 
 ### Allowed variation
 
-- **AV1 — Paging data.** Current page, total pages, total items, page size, and
-  stride may vary without changing anatomy ownership.
-- **AV2 — Presentation.** Existing presentation selection changes which optional
-  stable parts are present; presentation names and runtime states are not anatomy.
-- **AV3 — Delegated rendering.** Button, Text, NumberInput, and Selector may
-  change internal element shape while preserving their own public contracts.
+- **AV1 — Theme paint.** Themes may restyle the local targets; delegated
+  controls follow their own targets.
+- **AV2 — Custom variants.** None. The variant axis MUST be closed
+  (`architecture:component-theming-surface` INV14). Implementation gap: the
+  variant map is open to module augmentation, and an augmented variant renders
+  Previous and Next only.
 
 ### Representative states
 
-| State                         | Required invariant                                                                           | Allowed variation                                  |
-| ----------------------------- | -------------------------------------------------------------------------------------------- | -------------------------------------------------- |
-| Numbered, known page count    | Page number buttons render; Ellipsis appears only where pages are omitted.                   | Page count, sibling range, and active page.        |
-| Count with known item total   | Count readout renders between Previous/next buttons.                                         | Range and total text.                              |
-| Compact with known page count | Compact readout renders between Previous/next buttons; First/last render only when opted in. | Current and total page text and first/last opt-in. |
-| Dots with known page count    | One Dot renders for each page and active state stays on the Dot target.                      | Dot count and active Dot.                          |
-| Input with known page count   | Page input label, Page input, and Page input total render; First/last may render.            | Label text and first/last opt-out.                 |
-| Input with unknown page count | Page input label and disabled Page input remain; total and First/last are absent.            | Cursor-backed current page.                        |
-| None                          | Previous/next buttons remain without a presentation-specific part between them.              | Enabled state follows current paging availability. |
-
-The optional Page-size selector may precede the paging controls in any current
-presentation when page-size options are provided.
+| State                | Required invariant                                                                                         | Allowed variation |
+| -------------------- | ---------------------------------------------------------------------------------------------------------- | ----------------- |
+| First page           | Previous unavailable; Next available.                                                                      | Variant.          |
+| Middle page, `pages` | Range with ellipses; current page `aria-current`.                                                          | `siblingCount`.   |
+| Cursor paging        | No count; Next follows `hasMore`; count-only indicators hidden.                                            | —                 |
+| Input variant        | Label, bounded input, total; First and Last by default.                                                    | `pageLabel`.      |
+| Disabled             | No page change from any control. Implementation gap: native `disabled` on Buttons (FR13).                  | —                 |
+| Dots                 | One Tab stop; arrows, Home, and End select. Implementation gap: group of buttons, not a radio group (FR9). | Size.             |
+| Zero items           | Nothing renders.                                                                                           | —                 |
 
 ### Transformation and precedence order
 
-- No new page calculation, range generation, optimistic update, or styling
-  precedence rule is introduced.
+- **ORD1 — Page count.** `totalPages`, then `ceil(totalItems / pageSize)`, then
+  unknown.
+- **ORD2 — Page change.** Disabled guard → `onChange` → announcement →
+  optimistic page and `changeAction`.
+- **ORD3 — First/last.** `hasFirstLast` for `input` (default on) and `compact`
+  (default off); omitted without a known count.
 
 ### Performance and resources
 
-- No new performance or resource rule is introduced.
+- **PR1 — Bounded resources.** The dots share one roving-focus handler on
+  their group. The delegated Buttons add the press controller's shared window
+  and document listeners; each tooltip's `interactionRef` adds pointer and focus
+  listeners on its Button, and the Tooltip layer installs the shared
+  gesture-counter document listeners once per page.
 
 ## Accessibility contract
 
-This draft does not change or extend Pagination's existing navigation landmark,
-button naming, current-page semantics, roving Dot focus, live announcements, or
-input bounds.
+- **AR1 — Landmark.** A named `nav` landmark (FR1).
+- **AR2 — Current page.** `aria-current="page"` on the current page button
+  (FR7). The dots MUST expose the current page with `aria-checked` in a radio
+  group; FR9 records the gap.
+- **AR3 — Announcement.** FR6.
+- **AR4 — Disabled and boundaries.** FR13.
+- **AR5 — Decorative parts.** The ellipsis and the input variant's page label
+  are hidden from assistive technology; the input is named by its hidden label.
 
 ## Design relationships
 
 | Anatomy or state      | Design requirement                                                 | Representation authority       | Hierarchy role | Component contract |
 | --------------------- | ------------------------------------------------------------------ | ------------------------------ | -------------- | ------------------ |
 | Pagination            | Groups the page-size and paging controls in a navigation landmark. | Current source and public docs | Supporting     | FR1, FR2           |
-| Page-size selector    | Lets people choose the number of items shown per page.             | `component:Selector`           | Supporting     | FR1, FR3           |
-| First/last buttons    | Jump directly to the first or last known page.                     | `component:Button`             | Supporting     | FR1, FR3           |
-| Previous/next buttons | Move backward or forward through pages.                            | `component:Button`             | Prominent      | FR1, FR3           |
-| Page number button    | Selects one page directly in the numbered presentation.            | `component:Button`             | Prominent      | FR1, FR3           |
-| Ellipsis              | Indicates an omitted span of page numbers.                         | Current source and public docs | Supporting     | FR1, FR4           |
-| Count readout         | Presents the visible item range and total.                         | `component:Text`               | Prominent      | FR1, FR3           |
-| Compact readout       | Presents the current and total page counts.                        | `component:Text`               | Prominent      | FR1, FR3           |
-| Dot                   | Presents and selects one page in the dot presentation.             | Current source and public docs | Prominent      | FR1, FR2           |
-| Page input label      | Names the editable page field visually.                            | Current source and public docs | Supporting     | FR1, FR2           |
-| Page input            | Accepts a direct page-number entry.                                | `component:NumberInput`        | Prominent      | FR1, FR3           |
-| Page input total      | Presents the known total after the editable page field.            | Current source and public docs | Supporting     | FR1, FR2           |
+| Page-size selector    | Lets people choose the number of items shown per page.             | `component:Selector`           | Supporting     | FR3, FR11          |
+| First/last buttons    | Jump directly to the first or last known page.                     | `component:Button`             | Supporting     | FR3, FR5, FR12     |
+| Previous/next buttons | Move backward or forward through pages.                            | `component:Button`             | Prominent      | FR3, FR5, FR12     |
+| Page number button    | Selects one page directly in the numbered presentation.            | `component:Button`             | Prominent      | FR3, FR7           |
+| Ellipsis              | Indicates an omitted span of page numbers.                         | Current source and public docs | Supporting     | FR4, FR7           |
+| Count readout         | Presents the visible item range and total.                         | `component:Text`               | Prominent      | FR3, FR8           |
+| Compact readout       | Presents the current and total page counts.                        | `component:Text`               | Prominent      | FR3, FR8           |
+| Dot                   | Presents and selects one page in the dot presentation.             | Current source and public docs | Prominent      | FR2, FR9           |
+| Page input label      | Names the editable page field visually.                            | Current source and public docs | Supporting     | FR2, FR10          |
+| Page input            | Accepts a direct page-number entry.                                | `component:NumberInput`        | Prominent      | FR3, FR10          |
+| Page input total      | Presents the known total after the editable page field.            | Current source and public docs | Supporting     | FR2, FR10          |
 
 The three Button rows are separate stable controls with different conditions and
 jobs; they do not create Pagination-owned Button targets. Presentation values,
@@ -191,36 +239,62 @@ does not decide whether it should remain unreachable.
   target mapping, delegation, state placement, and factual `none` dispositions.
 - Button, Text, NumberInput, and Selector retain ownership of their delegated
   targets and presentation.
+- `spec:AST-085` owns disabled focusability; FR13 records the gap.
+- `spec:AST-020` FR15 owns which APG parts the dots adopt; FR9 records the gap.
+- `spec:AST-094` FR42 owns coarse-pointer hit areas; FR9 records the gap.
+- `spec:AST-086` owns the page announcement channel.
 
 ## Verification map
 
-| Contract            | Verification                                                                                         | Representative states                                      | Mutation or failure expectation                                                                    | Audit section              |
-| ------------------- | ---------------------------------------------------------------------------------------------------- | ---------------------------------------------------------- | -------------------------------------------------------------------------------------------------- | -------------------------- |
-| FR1                 | `Pagination.test.tsx` presentation, page-size, input, and navigation suites                          | Numbered, count, compact, dots, input, none, known/unknown | Removing or misplacing a stable control fails existing role, text, or interaction assertions.      | `audit:Pagination/anatomy` |
-| FR2                 | Source inspection, public target metadata, target-introduction history, and `themingTargets.test.ts` | Four local targets and their current capabilities          | Removing a current target fails the global inventory; focused placement is not currently pinned.   | `audit:Pagination/theming` |
-| FR3                 | Pagination composition tests plus Button, Text, NumberInput, and Selector target tests and metadata  | All delegated controls and readouts                        | A composed owner losing its target fails owner coverage; replacing it requires this map to change. | `audit:Pagination/theming` |
-| FR4                 | `generatePageRange` tests, render-source inspection, and current target metadata                     | Left, right, and two-sided omission                        | Adding or documenting an Ellipsis target requires an explicit map and target-inventory update.     | `audit:Pagination/theming` |
-| Theming anatomy map | `scripts/check-knowledge.mjs`                                                                        | Canonical anatomy and four current local targets           | Missing, extra, prefixed, stale, or multiply assigned local mappings fail repository validation.   | `audit:Pagination/theming` |
-
-Pagination has broad behavior coverage but no focused assertions for placement
-of its four local target classes. Delegated owner tests pin the owner targets;
-Pagination tests pin that the corresponding controls render, not their target
-class composition.
+| Contract            | Verification                                                                                                                                                                                                                                                                                                                                                                                     | Representative states                                                                            | Mutation or failure expectation                                                                                                                                                                                                                                                                                              | Audit section                    |
+| ------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | ------------------------------------------------------------------------------------------------ | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | -------------------------------- |
+| FR1, FR14           | `Pagination.test.tsx` basic-rendering, zero-item, and rest-forwarding cases                                                                                                                                                                                                                                                                                                                      | Default and custom label; zero items or pages; `data-testid`, `id`, `aria-describedby`           | A missing or misnamed landmark, a render at zero, or a dropped `data-testid`, `id`, or `aria-*` fails. Evidence gap: no test asserts `ref`, `className`, `style`, `xstyle`, the computed `aria-label` replacing a caller's, a caller's `aria-labelledby` reaching the landmark, or the input variant's `<id>-input` test id. | `audit:Pagination/anatomy`       |
+| FR2                 | `themingTargets.test.ts`                                                                                                                                                                                                                                                                                                                                                                         | Rendered targets                                                                                 | A rendered class absent from the documented targets fails. Evidence gap: no test asserts the placement or reflected properties of the four local targets (OQ1).                                                                                                                                                              | `audit:Pagination/theming`       |
+| FR3                 | `Pagination.test.tsx` "does not introduce Stack theme targets around navigation controls"                                                                                                                                                                                                                                                                                                        | Navigation controls                                                                              | An added Stack target fails. Evidence gap: no test asserts each delegated owner; the delegated Button gaps are asserted by `component:Button`'s own records, not here.                                                                                                                                                       | `audit:Pagination/theming`       |
+| FR4, FR7            | `generatePageRange` cases; `Pagination.test.tsx` pages cases ("renders page number buttons", "marks current page with aria-current", "shows ellipsis for many pages")                                                                                                                                                                                                                            | Left, right, and two-sided omission; `siblingCount` 0 and 2                                      | A wrong range, a missing ellipsis, or a missing `aria-current` fails. Evidence gap: no test asserts that the ellipsis is hidden from assistive technology.                                                                                                                                                                   | `audit:Pagination/behavior`      |
+| FR5, ORD1           | `Pagination.test.tsx` boundary, cursor, step, page-size guarding, and totalItems cases                                                                                                                                                                                                                                                                                                           | First, middle, last, single page; `hasMore`; step clamp; invalid `pageSize`                      | A move past a bound or a wrong count derived from `totalItems` and `pageSize` fails. Evidence gap: no test passes both `totalItems` and `totalPages`, so ORD1's precedence is untested.                                                                                                                                      | `audit:Pagination/behavior`      |
+| FR6, ORD2           | `Pagination.test.tsx` page-change and changeAction cases                                                                                                                                                                                                                                                                                                                                         | Mount, page button, Previous, Next, dot; pending, interrupted, and synchronous Actions; disabled | A missing `onChange`, announcement, or optimistic page, a `changeAction` before `onChange`, or an Action while disabled fails. Evidence gap: no test asserts the announcement's order relative to `onChange`.                                                                                                                | `audit:Pagination/behavior`      |
+| FR8                 | `Pagination.test.tsx` count and compact cases                                                                                                                                                                                                                                                                                                                                                    | Count range and last-page clamp; compact text                                                    | A wrong readout fails.                                                                                                                                                                                                                                                                                                       | `audit:Pagination/behavior`      |
+| FR9                 | `Pagination.test.tsx` dots cases ("uses roving tabindex — active dot has tabIndex 0, others -1", "ArrowRight moves focus to the next dot and selects it", "Home selects the first page, End the last", the wrap cases, "does not navigate with arrow keys when disabled", "marks active dot with aria-current" asserting the current gap pending conformance); `useListFocus.test.tsx` RTL cases | Dots; RTL; disabled                                                                              | A second Tab stop, an arrow or Home/End that does not select, a missing wrap, a disabled dot that drops focus or changes page, or reversed RTL arrows fail. Evidence gap: no Pagination-level RTL dots test and no coarse-pointer hit-area test.                                                                             | `audit:Pagination/accessibility` |
+| FR10                | `Pagination.test.tsx` input and pageLabel cases                                                                                                                                                                                                                                                                                                                                                  | Known and unknown totals; Enter, blur, invalid, below and above range; custom label; disabled    | A wrong bound, a missing commit or announcement, or a commit while disabled fails.                                                                                                                                                                                                                                           | `audit:Pagination/behavior`      |
+| FR11                | `Pagination.test.tsx` page-size selector cases                                                                                                                                                                                                                                                                                                                                                   | With and without `pageSizeOptions`                                                               | Evidence gap: the page-size cases only check that the landmark and buttons render, so no test asserts the Selector's presence or absence, `onPageSizeChange`, or the reset to page 1.                                                                                                                                        | `audit:Pagination/behavior`      |
+| FR12, ORD3          | `Pagination.test.tsx` first/last, step-name, tooltip, and RTL chevron cases                                                                                                                                                                                                                                                                                                                      | `hasFirstLast` on `compact` and `input`; stride names; RTL                                       | A wrong name, a missing First or Last, a Previous or Next without a tooltip, or a First or Last chevron that does not mirror like Previous and Next fails. Evidence gap: no test asserts the tooltip text, that the tooltip is absent while a control is unavailable, or that the chevrons mirror under RTL.                 | `audit:Pagination/accessibility` |
+| FR13                | `Pagination.test.tsx` disabled-state and boundary cases, asserting native `disabled` on the Buttons as the current gap pending conformance                                                                                                                                                                                                                                                       | Disabled; first and last page                                                                    | A page change while disabled fails. Evidence gap: no test asserts focus kept at a boundary.                                                                                                                                                                                                                                  | `audit:Pagination/accessibility` |
+| PR1, AR1–AR5        | PR1 has no test (evidence gap). AR1 to AR5 are covered by the FR1, FR6, FR7, FR9, FR10, and FR13 rows.                                                                                                                                                                                                                                                                                           | —                                                                                                | —                                                                                                                                                                                                                                                                                                                            | `audit:Pagination/accessibility` |
+| Theming anatomy map | `scripts/check-knowledge.mjs`                                                                                                                                                                                                                                                                                                                                                                    | Canonical anatomy and current targets                                                            | Missing, extra, or stale mappings fail repository validation.                                                                                                                                                                                                                                                                | `audit:Pagination/theming`       |
+
+## Current-state impact
+
+- **Dots semantics (FR9).** The dots act as one single-choice control but are
+  exposed as a group of buttons with `aria-current`, not a radio group, against
+  `spec:AST-020` FR15.
+- **Dot hit area (FR9).** Dots are 8 px (6 px at `sm`) with no coarse-pointer
+  hit area, against `spec:AST-094` FR42.
+- **Open variant axis (AV2).** The variant map accepts module-augmented
+  values, which render Previous and Next only, against
+  `architecture:component-theming-surface` INV14.
+- **Page-count docs (FR5, ORD1).** `totalPages` wins over the count derived
+  from `totalItems`, while the prop documentation says `totalItems` takes
+  precedence when both are given.
+- **Delegated Button gaps (FR3).** The page and navigation Buttons scale on a
+  press under reduced motion and hold a fixed height, as `component:Button`
+  records, against `design:reduced-motion` DR1 and `spec:AST-102` FR4.
+- **Boundary and disabled focus (FR13).** Previous, Next, First, Last, and page
+  buttons use native `disabled`, so a keyboard user on Next at the last page
+  loses focus, against `spec:AST-085` FR1, FR4, and FR7.
 
 ## Decision log
 
-None. This draft records current facts and introduces no component-local design,
-API, behavior, or theming decision.
+No component-local decision.
 
 ## Open questions
 
 - **OQ1 — Which focused tests should pin placement and reflected properties for
   the four local Pagination targets?** (`checkable`)
 - **OQ2 — Should Ellipsis gain a stable public theming target?** (`human-api`)
-  Its current lack of reachability is an audit gap, not settled intent.
+  Its current lack of reachability does not decide the answer.
 
 ## Content boundary
 
-This file does not duplicate consumer prop tables/examples, paging algorithms,
-implementation steps, owner-component internals, or system theming rules. It
-links to their owners.
+This file does not duplicate consumer prop tables/examples, current audit
+results, implementation steps, or system rules. It links to their owners.

package/src/Popover/Popover.tsx

@@ -446,6 +446,15 @@ const styles = stylex.create({
   },
 });
 
+/**
+ * The window that holds `element`: the page's own, or a second document's (a
+ * same-origin iframe, a Document Picture-in-Picture window) when the Popover
+ * renders there.
+ */
+function windowOf(element: Element | null): Window & typeof globalThis {
+  return element?.ownerDocument.defaultView ?? window;
+}
+
 // =============================================================================
 // Component
 // =============================================================================
@@ -512,7 +521,7 @@ export function Popover({
 }: PopoverProps): ReactElement {
   const t = useTranslator();
   const wrapperRef = useRef<HTMLDivElement>(null);
-  const measurementFrameRef = useRef<number | null>(null);
+  const measurementFrameRef = useRef<{id: number; view: Window} | null>(null);
   const [hasOverflow, setHasOverflow] = useState(false);
   const isControlled = isOpen !== undefined;
   // The bottom-sheet presentation: the surface it resolves to now, and
@@ -711,11 +720,16 @@ export function Popover({
     if (measurementFrameRef.current != null) {
       return;
     }
-    measurementFrameRef.current = window.requestAnimationFrame(() => {
-      measurementFrameRef.current = null;
-      measureOverflow();
-    });
-  }, [measureOverflow]);
+    // The surface's own window paints it, so its frame runs the measurement.
+    const view = windowOf(popover.contentRef.current);
+    measurementFrameRef.current = {
+      view,
+      id: view.requestAnimationFrame(() => {
+        measurementFrameRef.current = null;
+        measureOverflow();
+      }),
+    };
+  }, [measureOverflow, popover.contentRef]);
 
   useIsomorphicLayoutEffect(() => {
     if (!popover.isOpen) {
@@ -725,11 +739,16 @@ export function Popover({
     if (!surface) {
       return;
     }
+    // Observe from the surface's own window. A Popover rendered into a second
+    // document resizes with that document's window, and a ResizeObserver the
+    // page created checks a box in a Picture-in-Picture window only while the
+    // page itself renders frames.
+    const view = windowOf(surface);
     measureOverflow();
     const resizeObserver =
-      typeof ResizeObserver === 'undefined'
+      typeof view.ResizeObserver === 'undefined'
         ? null
-        : new ResizeObserver(scheduleOverflowMeasurement);
+        : new view.ResizeObserver(scheduleOverflowMeasurement);
     const mutationObserver =
       typeof MutationObserver === 'undefined'
         ? null
@@ -741,8 +760,8 @@ export function Popover({
       subtree: true,
     });
     surface.addEventListener('load', scheduleOverflowMeasurement, true);
-    window.addEventListener('resize', scheduleOverflowMeasurement);
-    window.visualViewport?.addEventListener(
+    view.addEventListener('resize', scheduleOverflowMeasurement);
+    view.visualViewport?.addEventListener(
       'resize',
       scheduleOverflowMeasurement,
     );
@@ -750,13 +769,14 @@ export function Popover({
       resizeObserver?.disconnect();
       mutationObserver?.disconnect();
       surface.removeEventListener('load', scheduleOverflowMeasurement, true);
-      window.removeEventListener('resize', scheduleOverflowMeasurement);
-      window.visualViewport?.removeEventListener(
+      view.removeEventListener('resize', scheduleOverflowMeasurement);
+      view.visualViewport?.removeEventListener(
         'resize',
         scheduleOverflowMeasurement,
       );
-      if (measurementFrameRef.current != null) {
-        window.cancelAnimationFrame(measurementFrameRef.current);
+      const frame = measurementFrameRef.current;
+      if (frame != null) {
+        frame.view.cancelAnimationFrame(frame.id);
         measurementFrameRef.current = null;
       }
     };

package/src/Popover/usePopover.tsx

@@ -459,13 +459,20 @@ function usePopoverImplementation(
     }
   }, [layer.isOpen, hasAutoFocus, focusInitialTarget]);
 
-  // Combined ref for trigger element (layer anchor + our ref)
+  // Combined ref for trigger element (layer anchor + our ref). It is keyed on
+  // the layer's own ref, not the whole layer: the layer object changes with
+  // every new onShow or onHide, and a trigger ref that changed with it made
+  // React detach and reattach the trigger on every render. It reads nothing
+  // else from the layer, and layer.ref (useLayer's contextRef) reads only refs
+  // and its anchor name and anchor-clearance option, so nothing in it goes
+  // stale.
+  const layerRef = layer.ref;
   const triggerRef = useCallback(
     (el: HTMLElement | null) => {
       triggerElementRef.current = el;
-      layer.ref(el);
+      layerRef(el);
     },
-    [layer],
+    [layerRef],
   );
 
   // Show function with optional focus preservation