@astryxdesign/core 0.7.5-canary.fd0aba8 → 0.7.5

package/dist/utils/focusReturn.js

@@ -41,21 +41,14 @@ export function isFocusDetached(doc = document) {
  * autofocus target, the control that opened a Dialog, or a menu trigger the
  * caller renders. Pass `options` (for example `preventScroll`) as to `focus()`.
  *
- * `modality` defaults to the page's last input. A caller moving focus inside a
- * second document (a same-origin iframe, a Document Picture-in-Picture window)
- * passes that document's, which it tracks with `trackInteractionModalityIn`.
- *
  * Make sure modality tracking is active (`useInteractionModalityTracking()`)
  * in the component that calls this.
  */
-export function focusForLastInput(element, options, modality = getInteractionModality()) {
+export function focusForLastInput(element, options) {
   // A text-entry field paints its own focus treatment to show where typing
-  // goes, and an extra blur there can run validation or mark it touched. The
-  // field's own window: one in an iframe or a Picture-in-Picture window is
-  // never an instance of the page's constructors.
-  const view = element.ownerDocument.defaultView ?? window;
-  const isTextEntry = element instanceof view.HTMLInputElement || element instanceof view.HTMLTextAreaElement || element instanceof view.HTMLSelectElement || element.isContentEditable;
-  if (isTextEntry || modality !== 'pointer') {
+  // goes, and an extra blur there can run validation or mark it touched.
+  const isTextEntry = element instanceof HTMLInputElement || element instanceof HTMLTextAreaElement || element instanceof HTMLSelectElement || element.isContentEditable;
+  if (isTextEntry || getInteractionModality() !== 'pointer') {
     if (options === undefined) {
       element.focus();
     } else {

package/dist/utils/interactionModality.d.ts

@@ -2,17 +2,8 @@ export type InteractionModality = 'keyboard' | 'pointer';
 declare function trackInteractionModality(): () => void;
 /** Activate shared modality tracking when the first consumer mounts. */
 export declare function useInteractionModalityTracking(): void;
-/**
- * Track a second document while a consumer there is mounted: a component an
- * app renders into a same-origin iframe or a Document Picture-in-Picture
- * window gets input there that never reaches the page's listeners. The first
- * consumer installs the document's listener pair and the last one's cleanup
- * removes it. Read the value with `getInteractionModality(doc)`. The page's
- * own document keeps its document-lifetime listeners.
- */
-export declare function trackInteractionModalityIn(targetDocument: Document): () => void;
-/** How the user last interacted with the page, or with `targetDocument`. */
-export declare function getInteractionModality(targetDocument?: Document): InteractionModality;
+/** How the user last interacted with the page. */
+export declare function getInteractionModality(): InteractionModality;
 /** Test-only: restore the initial state between cases. */
 export declare function __resetInteractionModalityForTest(): void;
 /** Test-only: activate the tracker without rendering a hook. */

package/dist/utils/interactionModality.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"interactionModality.d.ts","sourceRoot":"","sources":["../../src/utils/interactionModality.ts"],"names":[],"mappings":"AAwCA,MAAM,MAAM,mBAAmB,GAAG,UAAU,GAAG,SAAS,CAAC;AAgDzD,iBAAS,wBAAwB,IAAI,MAAM,IAAI,CAsB9C;AAED,wEAAwE;AACxE,wBAAgB,8BAA8B,IAAI,IAAI,CAErD;AAED;;;;;;;GAOG;AACH,wBAAgB,0BAA0B,CACxC,cAAc,EAAE,QAAQ,GACvB,MAAM,IAAI,CAkCZ;AAED,4EAA4E;AAC5E,wBAAgB,sBAAsB,CACpC,cAAc,CAAC,EAAE,QAAQ,GACxB,mBAAmB,CAOrB;AAED,0DAA0D;AAC1D,wBAAgB,iCAAiC,IAAI,IAAI,CAIxD;AAED,gEAAgE;AAChE,eAAO,MAAM,yCAAyC,iCAC5B,CAAC"}
+{"version":3,"file":"interactionModality.d.ts","sourceRoot":"","sources":["../../src/utils/interactionModality.ts"],"names":[],"mappings":"AAkCA,MAAM,MAAM,mBAAmB,GAAG,UAAU,GAAG,SAAS,CAAC;AA8CzD,iBAAS,wBAAwB,IAAI,MAAM,IAAI,CAsB9C;AAED,wEAAwE;AACxE,wBAAgB,8BAA8B,IAAI,IAAI,CAErD;AAED,kDAAkD;AAClD,wBAAgB,sBAAsB,IAAI,mBAAmB,CAI5D;AAED,0DAA0D;AAC1D,wBAAgB,iCAAiC,IAAI,IAAI,CAIxD;AAED,gEAAgE;AAChE,eAAO,MAAM,yCAAyC,iCAC5B,CAAC"}

package/dist/utils/interactionModality.js

@@ -6,9 +6,7 @@
  * @file interactionModality.ts
  * @input Global pointerdown/keydown events
  * @output `useInteractionModalityTracking()` activates document-lifetime tracking;
- *   `getInteractionModality()` reads how the user last interacted;
- *   `trackInteractionModalityIn(doc)` and `getInteractionModality(doc)` do the
- *   same for a second document
+ *   `getInteractionModality()` reads how the user last interacted
  * @position Internal document-wide singleton; used where `:focus-visible` alone
  *   is too broad
  *
@@ -28,12 +26,8 @@
  * The store lives on `document`, so duplicate Astryx bundles share one state
  * value and one listener pair. The first mounted consumer activates tracking;
  * the listeners then remain for the document lifetime so input during a gap
- * between consumers is not lost. A second document (a same-origin iframe, a
- * Document Picture-in-Picture window) gets its own store when a component
- * tracks it, since input there never reaches the page's listeners; its
- * listeners stay only while a consumer there is mounted. Importing this module
- * has no DOM side effects, and server rendering keeps the keyboard-safe
- * default.
+ * between consumers is not lost. Importing this module has no DOM side effects,
+ * and server rendering keeps the keyboard-safe default.
  */
 import { useEffect } from 'react';
 const interactionModalityStoreKey = Symbol.for('@astryxdesign/core/interaction-modality/v1');
@@ -95,55 +89,8 @@ export function useInteractionModalityTracking() {
   useEffect(() => trackInteractionModality(), []);
 }
 
-/**
- * Track a second document while a consumer there is mounted: a component an
- * app renders into a same-origin iframe or a Document Picture-in-Picture
- * window gets input there that never reaches the page's listeners. The first
- * consumer installs the document's listener pair and the last one's cleanup
- * removes it. Read the value with `getInteractionModality(doc)`. The page's
- * own document keeps its document-lifetime listeners.
- */
-export function trackInteractionModalityIn(targetDocument) {
-  if (typeof document !== 'undefined' && targetDocument === document) {
-    return trackInteractionModality();
-  }
-  const store = getStore(targetDocument);
-  store.consumers = (store.consumers ?? 0) + 1;
-  if (store.consumers === 1) {
-    store.isListening = true;
-    targetDocument.addEventListener('pointerdown', store.onPointerDown, {
-      capture: true,
-      passive: true
-    });
-    targetDocument.addEventListener('keydown', store.onKeyDown, {
-      capture: true,
-      passive: true
-    });
-  }
-  let isReleased = false;
-  return () => {
-    if (isReleased) {
-      return;
-    }
-    isReleased = true;
-    store.consumers = (store.consumers ?? 1) - 1;
-    if (store.consumers === 0) {
-      store.isListening = false;
-      targetDocument.removeEventListener('pointerdown', store.onPointerDown, {
-        capture: true
-      });
-      targetDocument.removeEventListener('keydown', store.onKeyDown, {
-        capture: true
-      });
-    }
-  };
-}
-
-/** How the user last interacted with the page, or with `targetDocument`. */
-export function getInteractionModality(targetDocument) {
-  if (targetDocument != null) {
-    return getStore(targetDocument).modality;
-  }
+/** How the user last interacted with the page. */
+export function getInteractionModality() {
   return typeof document === 'undefined' ? 'keyboard' : getStore(document).modality;
 }
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@astryxdesign/core",
-  "version": "0.7.5-canary.fd0aba8",
+  "version": "0.7.5",
   "displayName": "Astryx Core",
   "description": "The component library. Accessible, themeable React components with built-in spacing, dark mode, and StyleX styling.",
   "author": "Meta Open Source",
@@ -847,8 +847,6 @@
     "react-dom": ">=19.0.0"
   },
   "devDependencies": {
-    "@astryxdesign/a11y-spec": "0.7.5-canary.fd0aba8",
-    "@astryxdesign/cli": "0.7.5-canary.fd0aba8",
     "@babel/cli": "^7.29.7",
     "@babel/core": "^7.29.7",
     "@babel/preset-react": "^7.29.7",
@@ -859,7 +857,9 @@
     "@testing-library/jest-dom": "^6.6.0",
     "@testing-library/react": "^16.3.2",
     "@types/babel__core": "^7.20.5",
-    "tailwindcss": "^4.3.2"
+    "tailwindcss": "^4.3.2",
+    "@astryxdesign/cli": "0.7.5",
+    "@astryxdesign/a11y-spec": "0.0.0"
   },
   "dependencies": {
     "intl-messageformat": "^11.2.9"

package/src/BottomSheet/BottomSheet.test.tsx

@@ -1045,52 +1045,6 @@ describe('BottomSheet', () => {
   });
 
   describe('swipe to dismiss', () => {
-    it("a sheet opened from inside another sheet's content drags to dismiss by its own handle, and the covered host neither drags nor takes the pointer (FR6, FR7)", () => {
-      const onInnerOpenChange = vi.fn();
-      const onOuterOpenChange = vi.fn();
-      render(
-        <BottomSheet isOpen onOpenChange={onOuterOpenChange} label="Outer">
-          Outer content
-          <BottomSheet isOpen onOpenChange={onInnerOpenChange} label="Inner">
-            Inner content
-          </BottomSheet>
-        </BottomSheet>,
-      );
-      const dialogs = screen.getAllByRole('dialog', {hidden: true});
-      expect(dialogs).toHaveLength(2);
-      const [outerDialog, innerDialog] = dialogs;
-      // The inner sheet's dialog is rendered inside the outer sheet's body,
-      // so its events bubble through the outer body's gesture listeners.
-      expect(outerDialog.contains(innerDialog)).toBe(true);
-      const outerPanel = outerDialog.querySelector<HTMLElement>(
-        ':scope > .astryx-bottom-sheet',
-      )!;
-      const outerBody = outerPanel.querySelector<HTMLElement>(
-        ':scope > :not([aria-hidden])',
-      )!;
-      const innerHandle = innerDialog.querySelector<HTMLElement>(
-        '.astryx-bottom-sheet > [aria-hidden="true"]',
-      )!;
-      // `setPointerCapture` is a prototype stub here, so record who captures.
-      const captured: Element[] = [];
-      const capture = vi
-        .spyOn(Element.prototype, 'setPointerCapture')
-        .mockImplementation(function (this: Element) {
-          captured.push(this);
-        });
-      drag(innerHandle, [{y: 0}, {y: 40}, {y: 120}], 'touch');
-      capture.mockRestore();
-      // The inner sheet's own drag ran to its dismissal.
-      expect(onInnerOpenChange).toHaveBeenCalledWith(false);
-      // The covered host saw the same pointer bubble up and did nothing with
-      // it: no drag of its own (its panel keeps its resting transform) and no
-      // pointer capture, which would have cancelled the inner handle's drag.
-      expect(onOuterOpenChange).not.toHaveBeenCalled();
-      expect(captured).toContain(innerHandle);
-      expect(captured).not.toContain(outerBody);
-      expect(outerPanel.style.transform).toBe('');
-    });
-
     it('requests close when dragged past the dismiss threshold', () => {
       const onOpenChange = vi.fn();
       render(

package/src/BottomSheet/useSheetGestures.test.ts

@@ -12,7 +12,6 @@
 import {describe, it, expect, vi, beforeEach, afterEach} from 'vitest';
 import {act, renderHook} from '@testing-library/react';
 import {
-  isInsideNestedLayer,
   useSheetGestures,
   type UseSheetGesturesOptions,
 } from './useSheetGestures';
@@ -107,27 +106,6 @@ function up(hook: Hook, y: number, t: number, target: HTMLElement) {
   );
 }
 
-describe('isInsideNestedLayer', () => {
-  it("is true for a target inside a <dialog> rendered within the body, and false for the body's own content", () => {
-    const body = document.createElement('div');
-    const own = document.createElement('button');
-    body.append(own);
-    const nested = document.createElement('dialog');
-    const nestedHandle = document.createElement('div');
-    nested.append(nestedHandle);
-    body.append(nested);
-    expect(isInsideNestedLayer(own, body)).toBe(false);
-    expect(isInsideNestedLayer(body, body)).toBe(false);
-    expect(isInsideNestedLayer(nestedHandle, body)).toBe(true);
-    expect(isInsideNestedLayer(nested, body)).toBe(true);
-    // A dialog above the body (the sheet's own) does not count.
-    const ownDialog = document.createElement('dialog');
-    ownDialog.append(body);
-    expect(isInsideNestedLayer(own, body)).toBe(false);
-    expect(isInsideNestedLayer(null, body)).toBe(false);
-  });
-});
-
 describe('useSheetGestures', () => {
   it('dismisses on a fast downward flick (swipe-to-close)', () => {
     const {hook, onDismiss} = setup({snapHeights: () => [200]});
@@ -1235,36 +1213,6 @@ describe('useSheetGestures', () => {
       expect(hook.result.current.isDragging).toBe(true);
     });
 
-    it('leaves a touch that starts inside a nested <dialog> to that layer', () => {
-      // A sheet opened from this sheet's content renders its <dialog> inside
-      // the body, so its touches bubble here. The same pull-down from the
-      // body's own content promotes (see above); from the nested layer it
-      // must not.
-      const {hook} = setup({snapHeights: () => [200]});
-      const {body} = makeNested({
-        bodyScrollTop: 0,
-        innerScrollTop: 0,
-        innerScrollHeight: 200,
-      });
-      const nested = document.createElement('dialog');
-      const nestedHandle = document.createElement('div');
-      nested.appendChild(nestedHandle);
-      body.appendChild(nested);
-      act(() => hook.result.current.sheetRef(body));
-      act(() => hook.result.current.bodyProps.ref(body));
-      let start: Event | undefined;
-      let pull: Event | undefined;
-      act(() => {
-        start = touchOn(nestedHandle, body, 'touchstart', 100);
-        pull = touchOn(nestedHandle, body, 'touchmove', 160);
-      });
-      expect(start?.defaultPrevented).toBe(false);
-      expect(pull?.defaultPrevented).toBe(false);
-      expect(hook.result.current.isDragging).toBe(false);
-      expect(liveOffset(hook)).toBe(0);
-      expect(body.style.transform).toBe('');
-    });
-
     it('leaves a pull-up to a nested scroller with content below', () => {
       const {hook} = setup({snapHeights: () => [200]});
       const {body, tile} = makeNested({bodyScrollTop: 0, innerScrollTop: 100});

package/src/BottomSheet/useSheetGestures.ts

@@ -235,33 +235,6 @@ function isBlockScroller(element: HTMLElement): boolean {
   return overflowY === 'auto' || overflowY === 'scroll';
 }
 
-/**
- * Whether a gesture that lands on `target` began inside another layer
- * rendered in this sheet's content — a `<dialog>` between the target and the
- * body. A sheet opened from inside a sheet's content, a Dialog opened there,
- * renders its dialog as a descendant of the host's body, so its pointer and
- * touch events bubble through the host's gesture listeners. That gesture is
- * the layer's own: the host must neither arm a drag on it nor take pointer
- * capture for it, which would cancel the drag the layer's own handle began
- * (`component:BottomSheet` FR7: a swipe reaches only the top sheet of a
- * stack; FR6: a covered sheet is blocked).
- */
-export function isInsideNestedLayer(
-  target: EventTarget | null,
-  body: HTMLElement,
-): boolean {
-  for (
-    let element = target instanceof Element ? target : null;
-    element != null && element !== body;
-    element = element.parentElement
-  ) {
-    if (element.localName === 'dialog') {
-      return true;
-    }
-  }
-  return false;
-}
-
 /**
  * The scrollers a gesture that lands on `target` can scroll, innermost first
  * and the body last: every scrollable box between the target and the body,
@@ -1355,13 +1328,10 @@ export function useSheetGestures({
     if (event.button !== 0 || !event.isPrimary) {
       return;
     }
-    const body = event.currentTarget as HTMLElement;
-    // A gesture inside a layer this sheet hosts belongs to that layer.
-    if (isInsideNestedLayer(event.target, body)) {
-      armedBodyRef.current = null;
-      return;
-    }
-    const scrollers = scrollChainUnder(event.target, body);
+    const scrollers = scrollChainUnder(
+      event.target,
+      event.currentTarget as HTMLElement,
+    );
     if (!chainAtTop(scrollers)) {
       armedBodyRef.current = null;
       return;
@@ -1495,9 +1465,8 @@ export function useSheetGestures({
       // At the top, a pull DOWN hands off (collapse); at the bottom, a pull UP
       // hands off (expand). A gesture that starts mid-content is an ordinary
       // scroll, but it is tracked all the same: the scroller can run out of
-      // content while the finger is still down (see onTouchMove). A touch
-      // inside a layer this sheet hosts is that layer's, never tracked here.
-      if (!touch || isInsideNestedLayer(event.target, body)) {
+      // content while the finger is still down (see onTouchMove).
+      if (!touch) {
         touchDragRef.current = null;
         return;
       }

package/src/DateTimeInput/DateTimeInput.spec.md

@@ -3,11 +3,11 @@ schema_version: 3
 template_version: 7
 kind: component
 id: component:DateTimeInput
-authority: current
+authority: draft
 archive_reason: null
 superseded_by: null
-approved_by: cixzhang
-approved_at: 2026-10-30
+approved_by: null
+approved_at: null
 owners: [cixzhang]
 review_triggers: [public-api, behavior, layout, theming, accessibility]
 verified_by:
@@ -16,37 +16,30 @@ verified_by:
     packages/core/src/DateTimeInput/DateTimeInputTouch.test.tsx,
     packages/core/src/DateTimeInput/NativePickerSegments.test.tsx,
     packages/core/src/DateTimeInput/Presentation.test.tsx,
-    packages/core/src/DateTimeInput/DateTimeInput.fr10.test.tsx,
-    packages/core/src/__tests__/BusyOwnerAnnouncement.test.tsx,
     packages/core/src/theme/themingTargets.test.ts,
     scripts/check-knowledge.mjs,
   ]
 modules: []
 families: [family:input-fields, family:overlay-dismissal]
 design_specs: []
-architecture:
-  [
-    architecture:component-theming-surface,
-    architecture:internationalization,
-    architecture:public-component-api,
-  ]
+architecture: [architecture:component-theming-surface]
 contributing: []
-system_specs: [spec:AST-043, spec:AST-085, spec:AST-086, spec:AST-102]
+system_specs: [spec:AST-043]
 ---
 
 # DateTimeInput component contract
 
 ## Contract at a glance
 
-| Area                    | Contract                                                                                                                                                                                                                                                                                 |
-| ----------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
-| Public contract         | One controlled ISO date-time value presented through coordinated date and time segments; `presentation` selects Astryx, native, or adaptive picker surfaces.                                                                                                                             |
-| Behavior                | Date and time changes emit one combined value; clear emits `undefined`; controlled empty state remains empty in every rendered picker.                                                                                                                                                   |
-| End-user impact         | People selecting a date and time see one value reflected consistently in the closed field and the active picker, including after clearing.                                                                                                                                               |
-| Builder impact          | None.                                                                                                                                                                                                                                                                                    |
-| Compatibility/readiness | Records shipped behavior; no API, default, or DOM change. The presentation matrix and deprecated `nativePicker` mapping follow `spec:AST-043`. Fixed segment height, locale time text and parsing, busy paint, and caller handlers while disabled are listed under Current-state impact. |
-| Review checks           | Reject competing picker selection, date/time output that is not one valid combined value, presentation precedence drift, lost per-segment fallback, or broken segment accessibility.                                                                                                     |
-| Governing rules         | `spec:AST-043`, `family:input-fields`, `family:overlay-dismissal`, `spec:AST-085`, `spec:AST-086` FR8, and objective platform accessibility standards.                                                                                                                                   |
+| Area                    | Contract                                                                                                                                                                                                  |
+| ----------------------- | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| Public contract         | One controlled ISO date-time value presented through coordinated date and time segments; `presentation` selects Astryx, native, or adaptive picker surfaces.                                              |
+| Behavior                | Date and time changes emit one combined value; clear emits `undefined`; controlled empty state remains empty in every rendered picker.                                                                    |
+| End-user impact         | People selecting a date and time see one value reflected consistently in the closed field and the active picker, including after clearing.                                                                |
+| Builder impact          | None.                                                                                                                                                                                                     |
+| Compatibility/readiness | Released defaults and deprecated `nativePicker` behavior remain unchanged. The presentation matrix is governed by current `spec:AST-043`; component-local observations remain draft pending owner review. |
+| Review checks           | Reject competing picker selection, date/time output that is not one valid combined value, presentation precedence drift, lost per-segment fallback, or broken segment accessibility.                      |
+| Governing rules         | `spec:AST-043`, `family:input-fields`, `family:overlay-dismissal`, and objective platform accessibility standards.                                                                                        |
 
 This table is a review projection; the body below is authoritative.
 
@@ -78,16 +71,13 @@ Consumer migration instructions belong in consumer docs and release notes.
 - Applying component-local date-time bounds, date constraints, time precision,
   typed-time stepping, and optional preset-time behavior.
 - Emitting `onChange` before an optional optimistic `changeAction`.
-- The disabled-reason Tooltip composition, which `family:input-fields` assigns
-  to the member.
 
 **Does not own / non-goals**
 
-- Field label, description, status, and clear-button presentation —
-  owned by Field under `family:input-fields` (shared owner section) and
-  `component:FieldStatus`.
+- Field label, description, status, disabled-reason, and clear-button presentation —
+  owned by `component:Field` and `component:FieldStatus`.
 - Calendar-grid rendering and date-cell interaction — owned by
-  Calendar.
+  `component:Calendar`.
 - Popover and sheet hosting or dismissal — owned by the composed layer components
   and `family:overlay-dismissal`.
 - Cross-component picker-presentation vocabulary and deprecated-prop mapping —
@@ -105,17 +95,18 @@ Consumer migration instructions belong in consumer docs and release notes.
 
 ## Behavioral and layout contract
 
-| ID  | Invariant                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          | Basis                                                                                                   |
-| --- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | ------------------------------------------------------------------------------------------------------- |
-| FR1 | DateTimeInput MUST reflect one controlled date-time value across its visible segments and active picker, and MUST NOT reveal a competing selected date after the parent accepts a clear.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           | Public docs, controlled component seam, current source, focused tests                                   |
-| FR2 | Every committed date or time change MUST emit one valid combined ISO date-time value; clearing MUST emit `undefined`; changing time while no date is committed MUST emit nothing.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  | Public types, docs, current source, focused tests                                                       |
-| FR3 | `presentation`, deprecated `nativePicker`, precedence, pointer adaptation, forced surfaces, and per-segment native fallbacks MUST follow `spec:AST-043` FR1–FR4.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   | `spec:AST-043`                                                                                          |
-| FR4 | When `changeAction` is present, every value-change path MUST call `onChange` first, show the proposed controlled value optimistically, and contribute to one busy state until the controlled value accepts or replaces it.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         | `family:input-fields/FR6`                                                                               |
-| FR5 | The two pointer segments share one row while each retains its intrinsic basis; when the container is narrower, flex wrapping moves them into separate full-width rows. Each segment is the shared element height for its size, as a minimum that grows with a set text size under `spec:AST-102` FR4. Implementation gap: the height is fixed at that size.                                                                                                                                                                                                                                                                                                                                                                                                                                                        | Public docs, current source, focused layout tests; `spec:AST-102` FR4                                   |
-| FR6 | Date-time bounds and date constraints MUST prevent invalid commits. Native controls MAY receive platform hints, but JavaScript validation remains the final commit boundary; calendar-only options MAY be unavailable on native surfaces.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          | Public docs, current source, focused presentation tests                                                 |
-| FR7 | A preset-time listbox MUST remain optional, preserve typed entry, expose one selected option independently from keyboard highlight, and limit offered values to the selected date's effective minimum and maximum. Time text and typed times MUST follow the active locale's digits, separator, and day-period words (`architecture:internationalization` INV1a, INV8). Implementation gap: time text, preset options, and the stepped-time announcement use ASCII digits, a `:` separator, and a fixed English "AM"/"PM", and the typed time parser takes no locale.                                                                                                                                                                                                                                              | Public docs, current source, focused interaction tests; `architecture:internationalization` INV1a, INV8 |
-| FR8 | Base props and `ref` MUST reach the date segment's input; a caller `aria-describedby` joins the component's own descriptions, and a caller DOM handler runs after the field's own handler. `container*` reaches the Field box and `control*` the segment row; root `xstyle`, `className`, and `style` are not accepted.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            | `family:input-fields` FR10; `DateTimeInput.fr10.test.tsx`                                               |
-| FR9 | A disabled field MUST keep both segments focusable with `aria-disabled` and no native `disabled`, block every value-changing path, keep the calendar button's tab stop, and paint the keyboard focus ring. Explicit `isLoading` makes every surface inert the same way; a pending `changeAction` does so only on the popover surface, and the bottom sheet and any field with a native date segment keep accepting edits. The busy start is announced once. Implementation gap: a caller `onKeyDown` and other DOM handlers on the date segment still run while disabled (`spec:AST-085` FR2). Implementation gap: a busy field that is not disabled takes the disabled paint (half opacity), on every surface while `isLoading` and on the popover while a `changeAction` is pending, against `spec:AST-085` FR6. | `spec:AST-085` FR1, FR2, FR6; `spec:AST-086` FR8; current source and tests                              |
+Draft requirements identify their basis so observed code is not mistaken for an
+intentional decision.
+
+| ID  | Candidate invariant                                                                                                                                                                                                                       | Basis                                                                 | Draft review state                                     |
+| --- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------- | ------------------------------------------------------ |
+| FR1 | DateTimeInput MUST reflect one controlled date-time value across its visible segments and active picker, and MUST NOT reveal a competing selected date after the parent accepts a clear.                                                  | Public docs, controlled component seam, current source, focused tests | Verified observation; owner approval pending           |
+| FR2 | Every committed date or time change MUST emit one valid combined ISO date-time value; clearing MUST emit `undefined`; changing time while no date is committed MUST emit nothing.                                                         | Public types, docs, current source, focused tests                     | Verified observation; owner approval pending           |
+| FR3 | `presentation`, deprecated `nativePicker`, precedence, pointer adaptation, forced surfaces, and per-segment native fallbacks MUST follow `spec:AST-043` FR1–FR4.                                                                          | `spec:AST-043`                                                        | Inherited current authority                            |
+| FR4 | When `changeAction` is present, every value-change path MUST call `onChange` first, show the proposed controlled value optimistically, and contribute to one busy state until the controlled value accepts or replaces it.                | `family:input-fields/FR6`                                             | Inherited current authority                            |
+| FR5 | The two pointer segments share one row while each retains its intrinsic basis; when the container is narrower, flex wrapping moves them into separate full-width rows.                                                                    | Public docs, current source, focused layout tests                     | Verify rendered geometry; class-level behavior covered |
+| FR6 | Date-time bounds and date constraints MUST prevent invalid commits. Native controls MAY receive platform hints, but JavaScript validation remains the final commit boundary; calendar-only options MAY be unavailable on native surfaces. | Public docs, current source, focused presentation tests               | Verified observation; owner approval pending           |
+| FR7 | A preset-time listbox MUST remain optional, preserve typed entry, expose one selected option independently from keyboard highlight, and limit offered values to the selected date's effective minimum and maximum.                        | Public docs, current source, focused interaction tests                | Verified observation; owner approval pending           |
 
 ### Allowed variation
 
@@ -128,13 +119,13 @@ Consumer migration instructions belong in consumer docs and release notes.
 
 ### Representative states
 
-| State                       | Required invariant                                                                                                                                                                                          | Allowed variation                          |
-| --------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------ |
-| Empty                       | Both segments and every active picker expose no committed selection.                                                                                                                                        | Placeholder and selected surface.          |
-| Date-time value             | Date segment, time segment, and active picker reflect the same committed value.                                                                                                                             | Locale, hour format, and time precision.   |
-| Cleared after picker change | Closed field is empty and reopening the picker reveals no selected date or retained committed time.                                                                                                         | Picker focus date may remain navigational. |
-| Busy                        | Proposed value remains visible; both editable segments expose busy. With explicit `isLoading`, mutation paths are unavailable on every surface; with a pending `changeAction`, only on the popover surface. | Explicit loading or pending action source. |
-| Focusable disabled          | Both segments stay focusable with `aria-disabled` while every value-changing path stays blocked.                                                                                                            | Disabled-reason text.                      |
+| State                       | Required invariant                                                                                        | Allowed variation                          |
+| --------------------------- | --------------------------------------------------------------------------------------------------------- | ------------------------------------------ |
+| Empty                       | Both segments and every active picker expose no committed selection.                                      | Placeholder and selected surface.          |
+| Date-time value             | Date segment, time segment, and active picker reflect the same committed value.                           | Locale, hour format, and time precision.   |
+| Cleared after picker change | Closed field is empty and reopening the picker reveals no selected date or retained committed time.       | Picker focus date may remain navigational. |
+| Busy                        | Proposed value remains visible; mutation paths are unavailable; both editable segments expose busy.       | Explicit loading or pending action source. |
+| Focusable disabled          | Both segments remain focusable enough to expose the reason while every value-changing path stays blocked. | Disabled-reason text.                      |
 
 ### Transformation and precedence order
 
@@ -229,38 +220,24 @@ leading clock glyph uses `date-time-input-clock-icon`.
 
 ## Verification map
 
-| Contract            | Verification                                                                                                 | Representative states                                         | Mutation or failure expectation                                                                                                                                                                    | Audit section                     |
-| ------------------- | ------------------------------------------------------------------------------------------------------------ | ------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | --------------------------------- |
-| FR1–FR2             | `DateTimeInput.test.tsx`                                                                                     | empty, calendar selection, typed date/time, clear             | A stale Calendar selection, partial output, or invalid mutation makes a public-state test fail.                                                                                                    | `audit:DateTimeInput/behavior`    |
-| FR3, FR6            | `Presentation.test.tsx`, `NativePickerSegments.test.tsx`, `DateTimeInputTouch.test.tsx`                      | forced, adaptive, legacy, native fallback, constrained commit | A substituted surface, precedence drift, or invalid commit makes a presentation test fail.                                                                                                         | `audit:DateTimeInput/surfaces`    |
-| FR4, FR9, AR4       | `DateTimeInput.test.tsx`, `DateTimeInputTouch.test.tsx`; `BusyOwnerAnnouncement.test.tsx` DateTimeInput case | pending, loading, disabled reason                             | Mutation during busy/disabled state or stale optimistic output makes a state test fail. Evidence gap: no test asserts that caller handlers still run while disabled.                               | `audit:DateTimeInput/state`       |
-| FR5                 | `DateTimeInput.test.tsx`                                                                                     | intrinsic row, narrow-container wrap classes                  | Removing the intrinsic basis or wrap styles makes the class-level layout assertions fail; rendered geometry remains review evidence. Evidence gap: no test asserts segment heights or text growth. | `audit:DateTimeInput/layout`      |
-| FR7, AR1–AR3        | `DateTimeInput.test.tsx`, `DateTimeInputTouch.test.tsx`                                                      | popovers, time options, keyboard/focus                        | Wrong role, name, state, keyboard behavior, or focus behavior makes a focused interaction test fail. Evidence gap: no test asserts locale-specific time text or parsing.                           | `audit:DateTimeInput/interaction` |
-| FR8                 | `DateTimeInput.fr10.test.tsx`                                                                                | each surface; caller id, describedby, onClick, onKeyDown      | A base prop off the date input, a dropped caller description, or styling on the wrong part fails.                                                                                                  | `audit:DateTimeInput/api`         |
-| Theming anatomy map | `scripts/check-knowledge.mjs`, `themingTargets.test.ts`                                                      | root, segments, icons, listbox, options                       | Missing, undocumented, or wrongly placed targets fail knowledge or target checks.                                                                                                                  | `audit:DateTimeInput/theming`     |
-
-## Current-state impact
-
-- **Fixed height (FR5).** Segments hold the fixed shared element height instead
-  of growing with a set text size, against `spec:AST-102` FR4.
-- **Time text and parsing (FR7).** Time text, preset options, and the stepped
-  announcement use ASCII digits, a `:` separator, and English "AM"/"PM", and
-  typed times parse without the locale, against
-  `architecture:internationalization` INV1a and INV8.
-- **Busy paint (FR9).** A busy field that is not disabled takes the disabled
-  half-opacity paint, against `spec:AST-085` FR6.
-- **Caller handlers while disabled (FR9).** Caller DOM handlers on the date
-  segment, such as `onKeyDown`, still run while disabled, against
-  `spec:AST-085` FR2.
+| Contract            | Verification                                                                            | Representative states                                         | Mutation or failure expectation                                                                                                      | Audit section                     |
+| ------------------- | --------------------------------------------------------------------------------------- | ------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------ | --------------------------------- |
+| FR1–FR2             | `DateTimeInput.test.tsx`                                                                | empty, calendar selection, typed date/time, clear             | A stale Calendar selection, partial output, or invalid mutation makes a public-state test fail.                                      | `audit:DateTimeInput/behavior`    |
+| FR3, FR6            | `Presentation.test.tsx`, `NativePickerSegments.test.tsx`, `DateTimeInputTouch.test.tsx` | forced, adaptive, legacy, native fallback, constrained commit | A substituted surface, precedence drift, or invalid commit makes a presentation test fail.                                           | `audit:DateTimeInput/surfaces`    |
+| FR4, AR4            | `DateTimeInput.test.tsx`, `DateTimeInputTouch.test.tsx`                                 | pending, loading, disabled reason                             | Mutation during busy/disabled state or stale optimistic output makes a state test fail.                                              | `audit:DateTimeInput/state`       |
+| FR5                 | `DateTimeInput.test.tsx`                                                                | intrinsic row, narrow-container wrap classes                  | Removing the intrinsic basis or wrap styles makes the class-level layout assertions fail; rendered geometry remains review evidence. | `audit:DateTimeInput/layout`      |
+| FR7, AR1–AR3        | `DateTimeInput.test.tsx`, `DateTimeInputTouch.test.tsx`                                 | popovers, time options, keyboard/focus                        | Wrong role, name, state, keyboard behavior, or focus behavior makes a focused interaction test fail.                                 | `audit:DateTimeInput/interaction` |
+| Theming anatomy map | `scripts/check-knowledge.mjs`, `themingTargets.test.ts`                                 | root, segments, icons, listbox, options                       | Missing, undocumented, or wrongly placed targets fail knowledge or target checks.                                                    | `audit:DateTimeInput/theming`     |
 
 ## Decision log
 
-No component-local decision. Cross-component picker decisions live in
-`spec:AST-043`.
+No component-local decision is asserted by this draft. Current cross-component
+picker decisions remain in `spec:AST-043`.
 
 ## Open questions
 
-None.
+None. Owner review may accept, amend, or reject the observational component-local
+rows without changing inherited current authority.
 
 ## Content boundary