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

package/src/ContextMenu/ContextMenuItem.spec.md

@@ -0,0 +1,132 @@
+---
+schema_version: 3
+template_version: 7
+kind: component
+id: component:ContextMenuItem
+authority: current
+archive_reason: null
+superseded_by: null
+approved_by: cixzhang
+approved_at: 2026-10-31
+owners: [cixzhang]
+review_triggers: [public-api]
+verified_by: [packages/core/src/ContextMenu/ContextMenu.test.tsx]
+modules: []
+families: []
+design_specs: []
+architecture: [architecture:public-component-api]
+contributing: []
+system_specs: []
+---
+
+# ContextMenuItem component contract
+
+## Contract at a glance
+
+| Area                    | Contract                                                                                                                |
+| ----------------------- | ----------------------------------------------------------------------------------------------------------------------- |
+| Public contract         | `ContextMenuItem` is `DropdownMenuItem` exported from the ContextMenu entry point under this name, with its props type. |
+| Behavior                | Identical to `component:DropdownMenuItem` inside a ContextMenu's compound `menuContent`.                                |
+| End-user impact         | A context-menu row looks and behaves exactly like a dropdown-menu row.                                                  |
+| Builder impact          | Builders compose ContextMenu rows without importing from DropdownMenu.                                                  |
+| Compatibility/readiness | Records shipped behavior; no API, default, or DOM change.                                                               |
+| Review checks           | Reject a ContextMenuItem that diverges from DropdownMenuItem, or a separate implementation behind the name.             |
+| Governing rules         | `component:DropdownMenuItem`; `architecture:public-component-api`.                                                      |
+
+This table is a review projection; the body below is authoritative.
+
+## Intent
+
+Give ContextMenu callers a row under the ContextMenu name without a second row
+implementation.
+
+## Compatibility and migration
+
+- Released default preserved: yes.
+- Compatibility class: records shipped behavior; no public prop, default,
+  export, or DOM change.
+- Controlled/uncontrolled behavior: not applicable.
+- Migration decision: none.
+
+Consumer migration instructions belong in consumer docs and release notes.
+
+## Ownership boundary
+
+**Owns**
+
+- The `ContextMenuItem` export name and its `ContextMenuItemProps` type name.
+
+**Does not own / non-goals**
+
+- Every row behavior, semantic, and target — owned by
+  `component:DropdownMenuItem`.
+- The menu around it — owned by `component:ContextMenu`.
+
+## Public concepts
+
+| Concept    | Closed values or states | Meaning                                      | Availability  | Default | Owner                       | Stability | Invalid-value behavior |
+| ---------- | ----------------------- | -------------------------------------------- | ------------- | ------- | --------------------------- | --------- | ---------------------- |
+| Alias name | `ContextMenuItem`       | DropdownMenuItem under the ContextMenu name. | Compound mode | —       | `component:ContextMenuItem` | stable    | Not applicable.        |
+
+## Behavioral and layout contract
+
+| ID  | Invariant                                                                                                                                                           | Basis          |
+| --- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------- | -------------- |
+| FR1 | `ContextMenuItem` is the same component as `DropdownMenuItem`, and `ContextMenuItemProps` is `DropdownMenuItemProps`; the row follows `component:DropdownMenuItem`. | Current source |
+
+### Allowed variation
+
+- **AV1 — None.** The alias adds nothing of its own.
+
+### Representative states
+
+| State        | Required invariant                                    | Allowed variation |
+| ------------ | ----------------------------------------------------- | ----------------- |
+| Compound row | Renders as a DropdownMenuItem row inside ContextMenu. | Row content.      |
+
+### Transformation and precedence order
+
+- **ORD1 — None.** The alias has no precedence of its own.
+
+### Performance and resources
+
+- **PR1 — None of its own.** Resources are DropdownMenuItem's.
+
+## Accessibility contract
+
+- **AR1 — Same row.** Semantics and keyboard behavior are
+  `component:DropdownMenuItem`'s.
+
+## Design relationships
+
+| Anatomy or state | Design requirement           | Representation authority     | Hierarchy role | Component contract |
+| ---------------- | ---------------------------- | ---------------------------- | -------------- | ------------------ |
+| Row              | Same as a dropdown-menu row. | `component:DropdownMenuItem` | Prominent      | FR1                |
+
+`component:DropdownMenuItem` owns the row's targets and `component:ContextMenu`
+maps the pointer action row in its theming anatomy, so this record carries no
+anatomy-theming map.
+
+## Family and system relationships
+
+- `component:DropdownMenuItem` owns the row contract.
+- `component:ContextMenu` owns the menu.
+
+## Verification map
+
+| Contract | Verification                                                                                                                                                     | Representative states | Mutation or failure expectation                                                                                                                             | Audit section               |
+| -------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------- | --------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------- | --------------------------- |
+| FR1, AR1 | `ContextMenu.test.tsx` compound cases ("renders menuContent as menu items", "renders ContextMenuItem endContent", "calls onClick when compound item is clicked") | Compound rows         | A ContextMenuItem that does not render or act as a menu row fails. Evidence gap: no test asserts that the export is the same component as DropdownMenuItem. | `audit:ContextMenuItem/api` |
+
+## Decision log
+
+No component-local decision.
+
+## Open questions
+
+None.
+
+## Content boundary
+
+This file does not duplicate consumer prop tables/examples or the row contract.
+It links to their owners.

package/src/DateInput/DateInput.spec.md

@@ -3,15 +3,16 @@ schema_version: 3
 template_version: 7
 kind: component
 id: component:DateInput
-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: [public-api, behavior, layout, theming, accessibility]
 verified_by:
   [
+    packages/core/src/DateInput/MonthScrollerSettle.test.tsx,
     packages/core/src/DateInput/DateInput.test.tsx,
     packages/core/src/DateInput/DateInput.fr10.test.tsx,
     packages/core/src/DateInput/DateInputTouch.test.tsx,
@@ -28,31 +29,29 @@ architecture:
   [
     architecture:component-theming-surface,
     architecture:interaction-modality,
+    architecture:internationalization,
     architecture:public-component-api,
   ]
 contributing: []
-system_specs: [spec:AST-043, spec:AST-085, spec:AST-086]
+system_specs:
+  [spec:AST-020/FR15, spec:AST-043, spec:AST-085, spec:AST-086, spec:AST-102]
 ---
 
 # DateInput component contract
 
-This draft records shipped behavior. It does not approve a new public API, default,
-compatibility promise, ownership boundary, or visual direction.
-
 ## Contract at a glance
 
-| Area                    | Contract                                                                                                                                                                                                                                                      |
-| ----------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
-| Public contract         | None. API shape and defaults are as shipped; every surface follows the input-field `changeAction`, disabled, and busy contracts.                                                                                                                              |
-| Behavior                | `presentation` selects the picker surface; an omitted value is `adaptive-native`; `presentation` wins over deprecated `nativePicker`; every committed path emits the same controlled ISO-date value and action feedback.                                      |
-| End-user impact         | People type or pick one date using a surface suited to the primary pointer. Disabled and busy fields stay focusable; a busy field keeps its ordinary paint with a Spinner while new commits are blocked.                                                      |
-| Builder impact          | None. `changeAction` runs after `onChange` with optimistic busy feedback on every surface.                                                                                                                                                                    |
-| Compatibility/readiness | Draft observational record of shipped behavior. Released defaults and controlled ownership are preserved; browser evidence remains audit evidence rather than product authority.                                                                              |
-| Review checks           | Reject a surface-mapping change, lost constraint, callback-order change, unlabeled field, native `disabled`, disabled paint on a busy-only field, unreachable disabled reason, changed close behavior, or a theming target placed on the wrong owner.         |
-| Governing rules         | `spec:AST-043/FR1–FR5`; `spec:AST-085/FR1–FR6`; `spec:AST-086/FR3, FR4, FR6, FR8`; `family:input-fields/FR1–FR6, FR8–FR11`; `family:overlay-dismissal/FR1–FR7`, including its recorded BottomSheet adoption gap; the three architecture records linked above. |
+| Area                    | Contract                                                                                                                                                                                                                                                                                              |
+| ----------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| Public contract         | None. API shape and defaults are as shipped; every surface follows the input-field `changeAction`, disabled, and busy contracts.                                                                                                                                                                      |
+| Behavior                | `presentation` selects the picker surface; an omitted value is `adaptive-native`; `presentation` wins over deprecated `nativePicker`; every committed path emits the same controlled ISO-date value and action feedback.                                                                              |
+| End-user impact         | People type or pick one date using a surface suited to the primary pointer. Disabled and busy fields stay focusable; a busy field keeps its ordinary paint with a Spinner while new commits are blocked.                                                                                              |
+| Builder impact          | None. `changeAction` runs after `onChange` with optimistic busy feedback on every surface.                                                                                                                                                                                                            |
+| Compatibility/readiness | Records shipped behavior; no API, default, or DOM change. Caller handlers while disabled, fixed field height, the English-only typed parser, a clear control that drops focus, and month paging in the touch calendar are listed under Current-state impact.                                          |
+| Review checks           | Reject a surface-mapping change, lost constraint, callback-order change, unlabeled field, native `disabled`, disabled paint on a busy-only field, unreachable disabled reason, changed close behavior, or a theming target placed on the wrong owner.                                                 |
+| Governing rules         | `spec:AST-043/FR1–FR5`; `spec:AST-085/FR1–FR6`; `spec:AST-086/FR3, FR4, FR6, FR8`; `family:input-fields/FR1–FR6, FR8–FR11`; `family:overlay-dismissal/FR1–FR7`, including its recorded BottomSheet adoption gap; `spec:AST-020/FR15`; `spec:AST-102/FR4`; the four architecture records linked above. |
 
-This table is a review projection; the body below is authoritative only after this
-record becomes `current`.
+This table is a review projection; the body below is authoritative.
 
 ## Intent
 
@@ -63,8 +62,8 @@ browser/OS date picker selected by the public presentation contract.
 ## Compatibility and migration
 
 - Released default preserved: `yes`
-- Compatibility class: no API shape or default changes; every surface follows the
-  input-field `changeAction`, disabled, and busy contracts
+- Compatibility class: records shipped behavior; no public prop, default,
+  export, or DOM change
 - Controlled/uncontrolled behavior: unchanged; DateInput remains controlled by
   `value`, with `undefined` representing no selected date
 - Migration decision: `spec:AST-043/DEC-1` and `spec:AST-043/DEC-2` own the
@@ -85,12 +84,14 @@ Consumer migration instructions belong in consumer docs and release notes.
   focus handoff between those controls and the selected picker surface.
 - DateInput-specific composition of Field, Calendar, Popover, BottomSheet, and the
   browser/OS date control.
+- The disabled-reason Tooltip composition: DateInput renders the reason Tooltip
+  and links it from its focusable controls (`family:input-fields`
+  representative matrix, "Member with `disabledMessage`").
 
 **Does not own / non-goals**
 
-- Label, description, status, disabled-reason, width, and shared clear-button
-  presentation — owned by `component:Field`, `component:FieldStatus`, and
-  `family:input-fields`.
+- Label, description, status, width, and shared clear-button presentation —
+  owned by `component:Field`, `component:FieldStatus`, and `family:input-fields`.
 - Calendar-grid dates, navigation, and selection semantics — owned by
   `component:Calendar`.
 - Popover hosting and topmost dismissal — owned by `component:Popover` and
@@ -118,23 +119,20 @@ Consumer migration instructions belong in consumer docs and release notes.
 
 ## Behavioral and layout contract
 
-Draft requirements identify their evidence basis; they do not turn observation into
-approved policy.
-
-| ID   | Candidate invariant                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         | Basis                                                                                                         | Draft review state                        |
-| ---- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------- | ----------------------------------------- |
-| FR1  | DateInput MUST present the controlled ISO `value` and emit `onChange` with the next ISO date or `undefined` without maintaining a competing committed value.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | Current source, docs, and focused tests                                                                       | Verified shipped behavior                 |
-| FR2  | The five `presentation` values MUST resolve to the fine/coarse surfaces in `spec:AST-043/FR1`; omitting both presentation props MUST preserve `adaptive-native`.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            | `spec:AST-043/FR1–FR3`; Presentation tests                                                                    | Settled by current system authority       |
-| FR3  | Explicit `presentation` MUST outrank deprecated `nativePicker`; the legacy values MUST retain their mappings and development-only warning from `spec:AST-043/FR3–FR4`.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      | Current source, docs, and Presentation tests                                                                  | Settled by current system authority       |
-| FR4  | Adaptive resolution MUST use the primary pointer rather than viewport width or any-pointer availability, so tablets receive a touch surface and touchscreen laptops retain the typable field.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               | Current source, consumer docs, and surface-selection tests                                                    | Verified shipped behavior                 |
-| FR5  | Text, Calendar, bottom-sheet, and native commit paths MUST enforce `min`, `max`, and `dateConstraints`; a rejected value MUST NOT replace the controlled value.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             | Current source and all four focused suites                                                                    | Verified shipped behavior                 |
-| FR6  | Named committed formats MUST follow the InternationalizationProvider locale and shared Timestamp vocabulary; formatting MUST NOT rewrite in-progress typed text.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            | Current source, docs, locale tests, `spec:AST-043/FR5`                                                        | Verified shipped behavior                 |
-| FR7  | Every value-change path MUST call `onChange` before `changeAction`, present the proposed value optimistically, and expose one busy state while the Action is pending.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       | `family:input-fields/FR6`; current source and focused tests                                                   | Settled shared rule and verified adoption |
-| FR8  | The pointer field MUST open its Calendar from the input, calendar toggle, ArrowDown, or Alt+ArrowDown; Popover dismissal and focus return MUST remain owned by the shared Popover path.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | Current source, Popover composition, keyboard/focus tests                                                     | Verified shipped behavior                 |
-| FR9  | A pointer-surface Calendar selection MUST commit and close its Popover; a bottom-sheet Calendar selection MUST remain editable in the open sheet until Save closes the surface.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             | Current source and pointer/touch tests                                                                        | Verified shipped behavior                 |
-| FR10 | Standalone mode MUST compose Field; admitted InputGroup mode MUST remove competing Field chrome while preserving name, description, value, keyboard, focus, and editing semantics.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          | `family:input-fields/FR3`; current source and InputGroup tests                                                | Settled shared rule and verified adoption |
-| FR11 | Clear MUST emit `undefined` through the ordinary change pipeline. The pointer and bottom-sheet surfaces restore field focus using their shipped timing; the native surface MUST NOT reclaim focus because doing so reopens the OS picker. Implementation gap: when the field becomes disabled or busy while its clear control holds focus, the control unmounts and focus falls to the document body; `spec:AST-085/FR4` requires focus to stay or move to a destination this record names.                                                                                                                                                                                                                                                 | Current source and focused clear tests; `spec:AST-085/FR4`                                                    | Verified shipped behavior                 |
-| FR12 | No surface renders native `disabled`. A disabled field MUST stay focusable with `aria-disabled`, block typing, picking, clearing, and opening, describe its disabled reason when one is given, and take disabled paint. While busy (`isLoading` or a pending Action) the pointer and bottom-sheet surfaces expose `aria-disabled` and `aria-busy`, stay focusable, and block new commits; the native surface does the same for `isLoading`, and during a pending Action stays editable so the OS picker remains attached but rejects additional commits until the Action settles. A busy field that is not disabled keeps its ordinary paint and Spinner, shows no hover ring while commits are blocked, and keeps its keyboard focus ring. | `spec:AST-085/FR1–FR6`; `family:input-fields/FR4–FR6`; `family:buttons/FR4`; current source and focused tests | Settled shared rule and verified adoption |
+| ID   | Invariant                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   | Basis                                                                                                         |
+| ---- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------- |
+| FR1  | DateInput MUST present the controlled ISO `value` and emit `onChange` with the next ISO date or `undefined` without maintaining a competing committed value.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | Current source, docs, and focused tests                                                                       |
+| FR2  | The five `presentation` values MUST resolve to the fine/coarse surfaces in `spec:AST-043/FR1`; omitting both presentation props MUST preserve `adaptive-native`.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            | `spec:AST-043/FR1–FR3`; Presentation tests                                                                    |
+| FR3  | Explicit `presentation` MUST outrank deprecated `nativePicker`; the legacy values MUST retain their mappings and development-only warning from `spec:AST-043/FR3–FR4`.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      | Current source, docs, and Presentation tests                                                                  |
+| FR4  | Adaptive resolution MUST use the primary pointer rather than viewport width or any-pointer availability, so tablets receive a touch surface and touchscreen laptops retain the typable field.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               | Current source, consumer docs, and surface-selection tests                                                    |
+| FR5  | Text, Calendar, bottom-sheet, and native commit paths MUST enforce `min`, `max`, and `dateConstraints`; a rejected value MUST NOT replace the controlled value.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             | Current source and all four focused suites                                                                    |
+| FR6  | Named committed formats MUST follow the InternationalizationProvider locale and shared Timestamp vocabulary; formatting MUST NOT rewrite in-progress typed text. Typed text MUST parse in the provider locale (`architecture:internationalization` INV1a, INV8). Implementation gap: the typed parser accepts only English month names and ASCII digits, using the locale only to order day and month.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      | `architecture:internationalization`; current source, docs, locale tests; `spec:AST-043/FR5`                   |
+| FR7  | Every value-change path MUST call `onChange` before `changeAction`, present the proposed value optimistically, and expose one busy state while the Action is pending.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       | `family:input-fields/FR6`; current source and focused tests                                                   |
+| FR8  | The pointer field MUST open its Calendar from the input, calendar toggle, ArrowDown, or Alt+ArrowDown; Popover dismissal and focus return MUST remain owned by the shared Popover path.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | Current source, Popover composition, keyboard/focus tests                                                     |
+| FR9  | A pointer-surface Calendar selection MUST commit and close its Popover; a bottom-sheet Calendar selection MUST remain editable in the open sheet until Save closes the surface.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             | Current source and pointer/touch tests                                                                        |
+| FR10 | Standalone mode MUST compose Field; admitted InputGroup mode MUST remove competing Field chrome while preserving name, description, value, keyboard, focus, and editing semantics. The field has no root styling props; `control*` reaches the control box on every surface, and `container*` reaches the Field box where one renders (in a horizontal-labels FormLayout none renders and `container*` warns; inside an InputGroup it is dropped) (`family:input-fields` FR10). The field height is the shared element size for its size and MUST grow with a set text size (`spec:AST-102` FR4). Implementation gap: the height is fixed.                                                                                                                                                                                                                                                                                                                                                                                                                                                  | `family:input-fields` FR3, FR10; `spec:AST-102` FR4; current source and tests                                 |
+| FR11 | Clear MUST emit `undefined` through the ordinary change pipeline. The pointer and bottom-sheet surfaces restore field focus using their shipped timing; the native surface MUST NOT reclaim focus because doing so reopens the OS picker. Implementation gap: when the field becomes disabled or busy while its clear control holds focus, the control unmounts and focus falls to the document body; `spec:AST-085/FR4` requires focus to stay or move to a destination this record names.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 | Current source and focused clear tests; `spec:AST-085/FR4`                                                    |
+| FR12 | No surface renders native `disabled`. A disabled field MUST stay focusable with `aria-disabled`, block typing, picking, clearing, and opening, describe its disabled reason when one is given, and take disabled paint. While busy (`isLoading` or a pending Action) the pointer and bottom-sheet surfaces expose `aria-disabled` and `aria-busy`, stay focusable, and block new commits; the native surface does the same for `isLoading`, and during a pending Action stays editable so the OS picker remains attached but rejects additional commits until the Action settles. A busy field that is not disabled keeps its ordinary paint and Spinner, shows no hover ring while commits are blocked, and keeps its keyboard focus ring. Caller handlers other than focus and blur MUST NOT run while the field is disabled (`spec:AST-085` FR2). Implementation gap: only a caller `onClick` is skipped while disabled; caller key, paste, and pointer handlers (such as `onKeyDown`, `onKeyUp`, `onPaste`, and `onPointerDown`) still run on every surface, the native field included. | `spec:AST-085/FR1–FR6`; `family:input-fields/FR4–FR6`; `family:buttons/FR4`; current source and focused tests |
 
 ### Allowed variation
 
@@ -268,8 +266,7 @@ clear-glyph target of its own.
 
 - `family:input-fields` owns stable field sizing, end-control space, grouped
   adaptation, disabled reasons, loading, Transition Actions, status placement,
-  base-prop and part-styling targets, and the iOS-only focus-zoom floor; DateInput
-  adopts every listed concept.
+  base-prop and part-styling targets, and the iOS-only focus-zoom floor.
 - `family:overlay-dismissal` owns topmost Popover and BottomSheet dismissal. DateInput's
   Popover path uses the shared owner; its bottom-sheet path inherits BottomSheet's
   recorded adoption gap. DateInput owns only selection, open-state requests, and focus
@@ -289,27 +286,47 @@ clear-glyph target of its own.
 
 ## Verification map
 
-| Contract                                             | Verification                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              | Representative states                                                                                    | Mutation or failure expectation                                                                                                                         | Audit section                   |
-| ---------------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------- |
-| FR1, FR5–FR8, FR10–FR12; AR1–AR4                     | `DateInput.test.tsx`                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      | empty, valued, typing, invalid, constrained, open, disabled, busy, clear, status, grouped                | Value, callbacks, ARIA, disabled guard, focus, or shared-field composition drifts                                                                       | `audit:DateInput/pointer-field` |
-| FR2–FR4                                              | `Presentation.test.tsx`, `NativeDateField.test.tsx`, `DateInputTouch.test.tsx`                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            | every presentation, omitted props, every deprecated mapping, dual props, fine/coarse, touchscreen laptop | A value resolves to the wrong surface, width affects modality, or legacy behavior wins incorrectly                                                      | `audit:DateInput/presentation`  |
-| FR5–FR7; AR1, AR3–AR5                                | `NativeDateField.test.tsx`                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | empty, valued, focused, constrained, disabled, clear, formatted, locale                                  | Native commit, overlay, label, constraint, or focus reconciliation drifts                                                                               | `audit:DateInput/native`        |
-| FR1, FR4–FR7, FR9, FR11–FR12; AR1, AR4, AR6; PR1–PR2 | `DateInputTouch.test.tsx`                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 | closed/open, month grid, selection correction, wheels, bounds, keyboard, swipe, mouse drag, clear, busy  | Touch value parity, bounded rendering, focus, semantics, or gesture ownership drifts                                                                    | `audit:DateInput/touch`         |
-| FR2–FR3, FR6                                         | `DateInput.doc.mjs`, Storybook controls, `scripts/check-knowledge.mjs`                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    | five presentation values, deprecated prop, named formats, English and Chinese docs                       | Source, docs, types, or default mappings disagree                                                                                                       | `audit:DateInput/docs-api`      |
-| Theming anatomy                                      | `DateInput.test.tsx`, `themingTargets.test.ts`, generated probe theme                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     | root size/status/disabled, toggle state, shared clear target                                             | Target class or state is missing, undocumented, or placed on the wrong element                                                                          | `audit:DateInput/theming`       |
-| FR8; AR2                                             | `apps/storybook/stories/DateInput.stories.tsx`, component-scoped axe                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      | open Calendar dialog plus closed field states                                                            | Important popup semantics stay unreachable to the browser audit                                                                                         | `audit:DateInput/a11y`          |
-| AR7                                                  | `apps/storybook/rtl-audit/targets.json`, component RTL audit                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              | calendar and clear controls in LTR and RTL                                                               | DateInput-owned controls fail to exchange logical inline order                                                                                          | `audit:DateInput/rtl`           |
-| AR8                                                  | `DateInputTouch.test.tsx` calendar-surface suite ("mounts a window of months around the visible one, not the whole century" for the named grids, "moves keyboard focus by date, across the month boundary", "moves a week at a time with the vertical arrows", "leaves exactly one day per month tab-reachable", "gives a spilled date no tab stop in the pane that borrows it", "disables days outside min/max and refuses to commit them", "follows the reading direction under RTL: ArrowLeft moves to the next day", "moves keyboard focus by date, across the month boundary" (the real day, not the spill copy)); ArrowUp, Home/End, Page and activation keys under the Grid accessibility contract (`internal/a11y-spec`, pending) | LTR and RTL; month boundary; selected day; today                                                         | A day loses its gridcell role or selection, two days in one pane hold a Tab stop, or an arrow, Home/End, Page or activation key stops moving or picking | `audit:DateInput/accessibility` |
+| Contract            | Verification                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | Representative states                                                                             | Mutation or failure expectation                                                                                                                                                                                                                                                                                     | Audit section                   |
+| ------------------- | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------- |
+| FR1, ORD2           | `DateInput.test.tsx` "displays formatted date when value is provided", "calls onChange on blur when input is valid", "calls onChange with undefined when input is cleared and blurred", "clears pending input when value changes externally"; `NativeDateField.test.tsx` "keeps the control's own value ISO", "fires onChange with the ISO date the control reports"                                                                                                                                                                                                                                                                                                        | Typed, cleared, external value; native                                                            | A committed value kept beside `value`, a non-ISO change, or pending text that survives an external change fails.                                                                                                                                                                                                    | `audit:DateInput/behavior`      |
+| FR2, FR3, FR4, ORD1 | `Presentation.test.tsx` cases; `DateInputTouch.test.tsx` surface-selection cases; `NativeDateField.test.tsx` nativePicker cases                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             | Each presentation on fine and coarse pointers; deprecated mappings; tablet and touchscreen laptop | A wrong surface, a lost deprecated mapping, `nativePicker` winning, or width-based resolution fails. Evidence gap: no test asserts the development warning.                                                                                                                                                         | `audit:DateInput/behavior`      |
+| FR5                 | `DateInput.test.tsx` min, max, and dateConstraints typed cases; `DateInputTouch.test.tsx` "disables days outside min/max and refuses to commit them", "honors custom date constraints"; `NativeDateField.test.tsx` "refuses an out-of-range date and announces it", "refuses a date dateConstraints rejects"                                                                                                                                                                                                                                                                                                                                                                | Typed, sheet, native; bounds and predicates                                                       | A constrained date that commits on any surface fails. Evidence gap: no test asserts constraints on a popover Calendar pick.                                                                                                                                                                                         | `audit:DateInput/behavior`      |
+| FR6                 | `DateInput.test.tsx` format cases, including "updates when the InternationalizationProvider locale changes (#5074)" and "does not apply format to in-progress typed input"; `NativeDateField.test.tsx` format and locale cases; `DateInputTouch.test.tsx` "updates the field and open picker when the provider locale changes"                                                                                                                                                                                                                                                                                                                                              | Named and function formats; locale change                                                         | A format that ignores the locale or rewrites typed text fails. Evidence gap: no test types a localized month name or non-ASCII digits (the FR6 gap).                                                                                                                                                                | `audit:DateInput/i18n`          |
+| FR7, ORD3           | `DateInput.test.tsx` "runs changeAction after onChange for a typed date"; `NativeDateField.test.tsx` "runs changeAction after onChange and exposes the pending state"; `DateInputTouch.test.tsx` "runs changeAction and shows a busy state"; `BusyOwnerAnnouncement.test.tsx` DateInput cases; `DateInputTouch.test.tsx` "announces a busy start from a pick inside the open sheet, not behind it (spec:AST-086 FR8, Platform support)"                                                                                                                                                                                                                                     | Typed, native, sheet                                                                              | An Action before `onChange`, a missing busy state, or a missing busy announcement fails.                                                                                                                                                                                                                            | `audit:DateInput/behavior`      |
+| FR8, AR2            | `DateInput.test.tsx` "opens the calendar popover on ArrowDown (keyboard, forms-13)", "opens the calendar popover on Alt+ArrowDown (keyboard, forms-13)", "input has aria-expanded attribute", "combobox input has aria-haspopup=\"dialog\" attribute", "moves focus into the calendar on each open from the toggle"; `DateInputTouch.test.tsx` "opens from the keyboard, APG combobox style"                                                                                                                                                                                                                                                                                | Pointer and touch fields                                                                          | A missing open path, combobox state, or focus move fails. Evidence gap: no test asserts Escape outside IME composition on the popover.                                                                                                                                                                              | `audit:DateInput/accessibility` |
+| FR9                 | `DateInputTouch.test.tsx` "commits the tapped day and LEAVES the sheet open", "lets a second tap correct the first, still without closing", "Save closes the sheet without touching the value"                                                                                                                                                                                                                                                                                                                                                                                                                                                                              | Sheet picks and Save                                                                              | A sheet that closes on a pick or a Save that changes the value fails. Evidence gap: no test asserts that a popover Calendar pick closes the popover.                                                                                                                                                                | `audit:DateInput/behavior`      |
+| FR10                | `DateInput.fr10.test.tsx` styling and per-surface cases ("has no root styling props and has the container* and control* parts", "rejects root xstyle, className, and style at compile time", "keeps control* on the control box in a horizontal-labels FormLayout") and handler-composition cases; `DateInput.test.tsx` InputGroup cases; `DateInputTouch.test.tsx` "drops the Field wrapper inside an InputGroup"                                                                                                                                                                                                                                                          | Standalone, grouped, horizontal labels; every surface                                             | A root styling prop, `control*` off the control box, or Field chrome inside a group fails. Evidence gap: no test asserts the field height or its growth with text size (the FR10 gap).                                                                                                                              | `audit:DateInput/layout`        |
+| FR11, ORD4          | `DateInput.test.tsx` hasClear cases; `DateInputTouch.test.tsx` "clears from the field", "returns focus to the field without letting the page scroll"; `NativeDateField.test.tsx` "clears the value without taking focus back", "runs clear through changeAction after onChange"                                                                                                                                                                                                                                                                                                                                                                                             | Pointer, sheet, native clear                                                                      | A clear that does not emit `undefined`, a native clear that takes focus, or a clear shown while disabled fails. Evidence gap: no test covers the clear control unmounting under focus (the FR11 gap).                                                                                                               | `audit:DateInput/behavior`      |
+| FR12, AR4           | `DateInput.test.tsx` disabled, loading, and disabledMessage cases (including "does not call a caller onClick while disabled (AST-085 FR2)" and "links the reason tooltip from the calendar button too (AST-085 FR5)"); `DateInputTouch.test.tsx` open-sheet disablement and disabled cases; `NativeDateField.test.tsx` "keeps a disabled control focusable and its toggle inert (AST-085 FR1, FR2)", "does not call a caller onClick while disabled (AST-085 FR2)"; `DateInput.test.tsx` disabled theme-state cases                                                                                                                                                         | Disabled with and without a reason; loading; open picker becoming disabled                        | Native `disabled`, a change or open while disabled, a caller `onClick` while disabled, a reason not linked from each focusable control, or a missing `aria-busy` fails. Evidence gap: no test asserts that caller key, paste, or pointer handlers are skipped while disabled (the FR12 gap) or the busy-only paint. | `audit:DateInput/accessibility` |
+| AR1, AR3, AR5       | `DateInput.test.tsx` label, required, description, status, and invalid-input cases ("announces an alert message when typed input is invalid", "resolves the invalid-date announcement from the i18n catalog"); `NativeDateField.test.tsx` "keeps the overlay out of the accessibility tree", "keeps the field labelled, required-marked, and ref-forwarded"; `DateInputTouch.test.tsx` "associates the label natively, so the field is named without ARIA"                                                                                                                                                                                                                  | Every surface                                                                                     | A missing label, required, description, status, or invalid announcement, or an exposed native overlay, fails.                                                                                                                                                                                                       | `audit:DateInput/accessibility` |
+| AR6, AR8, PR1       | `DateInputTouch.test.tsx` calendar-surface cases ("mounts a window of months around the visible one, not the whole century", "leaves exactly one day per month tab-reachable", "gives a spilled date no tab stop in the pane that borrows it", "moves keyboard focus by date, across the month boundary", "follows the reading direction under RTL: ArrowLeft moves to the next day", "moves a week at a time with the vertical arrows", "labels the columns with three-letter weekday names", "marks the selection and today") and wheel cases ("is a single tab stop driven by the arrow keys", "shows exactly one footer action, and only the visible one is reachable") | Touch calendar and wheels; RTL                                                                    | A second Tab stop per month, a wrong arrow move, reversed RTL arrows, an unbounded month window, or more than one reachable footer action fails. Evidence gap: no test asserts Home, End, PageUp, PageDown (the AR8 gap), or Enter and Space on a day.                                                              | `audit:DateInput/accessibility` |
+| AR7                 | `apps/storybook/rtl-audit/targets.json` DateInput entry; `DateInputTouch.test.tsx` RTL scroll-offset cases                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  | RTL                                                                                               | A changed audit target or RTL offset fails.                                                                                                                                                                                                                                                                         | `audit:DateInput/rtl`           |
+| PR2                 | `MonthScrollerSettle.test.tsx` cases; `DateInputTouch.test.tsx` "a rest position between two months" cases                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  | Settle and re-snap                                                                                | A scroller that never settles or corrects mid-gesture fails. Evidence gap: no test asserts listener, frame, and observer cleanup on unmount.                                                                                                                                                                        | `audit:DateInput/behavior`      |
+| Theming anatomy     | `DateInput.test.tsx` clear-icon and calendar-toggle icon theme-target cases; `themingTargets.test.ts`; `scripts/check-knowledge.mjs`                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        | Toggle, clear glyph, disabled root                                                                | A missing or moved target, or a stale anatomy mapping, fails.                                                                                                                                                                                                                                                       | `audit:DateInput/theming`       |
+
+## Current-state impact
+
+- **Caller handlers while disabled (FR12).** Caller key, paste, and pointer
+  handlers run on a disabled field on every surface; only `onClick` is skipped,
+  against `spec:AST-085` FR2.
+- **Fixed field height (FR10).** The field holds the shared element height
+  instead of growing with a set text size, against `spec:AST-102` FR4.
+- **English-only typed parser (FR6).** Typed dates parse only English month
+  names and ASCII digits, so a localized committed value cannot be retyped as
+  shown, against `architecture:internationalization` INV1a and INV8.
+- **Clear control under focus (FR11).** A clear control that unmounts while
+  focused drops focus to the page, against `spec:AST-085` FR4.
+- **Month paging (AR8).** PageUp and PageDown do not page the touch calendar by
+  a month, as AR8 states they do.
 
 ## Decision log
 
-No component-local decision is created by this observational draft. The governing
-presentation decisions remain in `spec:AST-043/DEC-1` through `DEC-3`.
+No component-local decision. The governing presentation decisions are
+`spec:AST-043/DEC-1` through `DEC-3`.
 
 ## Open questions
 
-None. Any future API, compatibility, ownership, or subjective visual change requires
-its canonical current owner; this draft records only shipped behavior.
+None.
 
 ## Content boundary