@astryxdesign/core 0.7.5-canary.fccd771 → 0.7.5

package/src/Stepper/Step.tsx

@@ -535,18 +535,27 @@ const styles = stylex.create({
     color: colorVars['--color-accent'],
   },
   iconSuccess: {
-    color: colorVars['--color-success'],
+    color: colorVars['--color-icon-success'],
   },
   iconWarning: {
-    color: colorVars['--color-warning'],
+    color: colorVars['--color-icon-warning'],
   },
   iconError: {
-    color: colorVars['--color-error'],
+    color: colorVars['--color-icon-error'],
   },
 
   // Number badge — same box as every other indicator (see INDICATOR_SIZE).
   numberBadge: {
     display: 'grid',
+    // Forced colors replace status fills with Canvas; this boundary keeps the
+    // fill's shape visible (architecture:theme-tokens INV11).
+    outlineWidth: {default: null, '@media (forced-colors: active)': '1px'},
+    outlineStyle: {default: null, '@media (forced-colors: active)': 'solid'},
+    outlineColor: {
+      default: null,
+      '@media (forced-colors: active)': 'CanvasText',
+    },
+    outlineOffset: {default: null, '@media (forced-colors: active)': '-1px'},
     placeItems: 'center',
     width: INDICATOR_SIZE,
     height: INDICATOR_SIZE,
@@ -1316,6 +1325,10 @@ export function Step({
   const iconLabelNode = (
     <div {...stylex.props(styles.iconLabelRow)}>
       {(!isCompact || indicatorPosition !== 'on-track') && indicatorNode}
+      {/* A space between the indicator and the label: the row is a flex
+          container, which drops whitespace-only text, so nothing changes on
+          screen, but a text reading of the button then keeps "1 Account" as two
+          words instead of "1Account". */}{' '}
       <span
         {...mergeProps(
           labelThemeProps,
@@ -1576,6 +1589,8 @@ export function Step({
               )}
             />
           </div>
+          {/* Whitespace between the indicator column and the label, as in
+              iconLabelNode. */}{' '}
           <div {...stylex.props(styles.otBodyV)}>
             {labelLineNode}
             {otDescriptionNode}
@@ -1658,6 +1673,7 @@ export function Step({
             )}
           />
         </div>
+        {/* Whitespace between the rail and the label, as in iconLabelNode. */}{' '}
         {/* The on-track indicator remains visible as a node on the rail at
             compact widths, but the wrapper becomes presentational with its
             label. Navigation moves to the named controls in the summary row. */}

package/src/Stepper/Stepper.test.tsx

@@ -10,6 +10,7 @@ import {useStepperContext} from './StepperContext';
 import {useLayer} from '../Layer/useLayer';
 import {defineTheme} from '../theme/defineTheme';
 import {generateThemeCSS} from '../theme/generateThemeRules';
+import {getForcedColorsRules} from '../__tests__/forcedColors';
 
 describe('Stepper', () => {
   it('renders an ordered list of steps (not a nav landmark)', () => {
@@ -2016,3 +2017,52 @@ describe('step-label and step-description theme targets', () => {
     );
   });
 });
+
+describe('clickable step text reading', () => {
+  // axe-core's Label in Name rule joins a button's text nodes with nothing
+  // between them, aria-hidden ones included, so a number badge next to a label
+  // reads as one word ("1Account") that the step's name does not contain.
+  // Whitespace between them changes nothing on screen (the rows are flex
+  // containers) and keeps the two words apart.
+  it.each([
+    ['vertical', 'separated'],
+    ['horizontal', 'separated'],
+    ['vertical', 'on-track'],
+    ['horizontal', 'on-track'],
+  ] as const)(
+    'keeps the number and label apart in a %s %s step',
+    (orientation, indicatorPosition) => {
+      render(
+        <Stepper
+          orientation={orientation}
+          indicatorPosition={indicatorPosition}
+          activeStep={0}
+          label="Steps"
+          onStepClick={() => {}}>
+          <Step step={0} label="Account" indicator="number" />
+          <Step step={1} label="Payment" indicator="number" />
+        </Stepper>,
+      );
+
+      const button = screen.getByRole('button', {name: /Account/});
+      expect(button.textContent).toMatch(/1\s+Account/);
+      expect(button.textContent).not.toMatch(/1Account/);
+    },
+  );
+});
+
+// jsdom cannot emulate forced colors, so this asserts the compiled rule the
+// number badge fill relies on (architecture:theme-tokens INV11).
+describe('Step number badge forced colors', () => {
+  it('keeps a visible boundary on the badge fill', () => {
+    render(
+      <Stepper activeStep={0}>
+        <Step step={0} label="First" indicator="number" />
+        <Step step={1} label="Second" indicator="number" />
+      </Stepper>,
+    );
+    const css = getForcedColorsRules();
+    expect(css).toContain('outline-style: solid;');
+    expect(css).toContain('outline-color: canvastext;');
+  });
+});

package/src/Switch/Switch.focusRing.source-build.test.mjs

@@ -0,0 +1,81 @@
+// Copyright (c) Meta Platforms, Inc. and affiliates.
+
+/**
+ * @file Switch.focusRing.source-build.test.mjs
+ * @input Uses Babel, the StyleX plugin as the package stylesheet compiles it,
+ *   and the Switch source
+ * @output Verifies the shipped focus ring follows the switch's own input
+ *   through a sibling relation, with no `:has()` ancestor scan
+ * @position Regression test for the compiled CSS of the Switch module
+ *
+ * The ring's condition once read `:has(:focus-visible)` on an ancestor of the
+ * track (`.track:where(.scope:has(:focus-visible) *)`). That shape makes the
+ * browser restyle everything under the ancestor on every DOM change. The
+ * track's preceding sibling is the focusable input, so the ring reads that
+ * input directly.
+ */
+
+import fs from 'node:fs/promises';
+import path from 'node:path';
+import {fileURLToPath} from 'node:url';
+import {transformAsync} from '@babel/core';
+import stylexBabelPlugin from '@stylexjs/babel-plugin';
+import {describe, expect, it} from 'vitest';
+import stylexResolution from '../../../../scripts/stylex-module-resolution.cjs';
+
+const __dirname = path.dirname(fileURLToPath(import.meta.url));
+
+async function compiledCss(fileName) {
+  const file = path.join(__dirname, fileName);
+  const result = await transformAsync(await fs.readFile(file, 'utf8'), {
+    babelrc: false,
+    configFile: false,
+    filename: file,
+    presets: [
+      ['@babel/preset-typescript', {isTSX: true, allExtensions: true}],
+      ['@babel/preset-react', {runtime: 'automatic'}],
+    ],
+    plugins: [
+      [
+        stylexBabelPlugin,
+        {
+          dev: false,
+          runtimeInjection: false,
+          genConditionalClasses: true,
+          treeshakeCompensation: true,
+          unstable_moduleResolution: stylexResolution.stylexModuleResolution,
+        },
+      ],
+    ],
+  });
+  return stylexBabelPlugin.processStylexRules(
+    result?.metadata?.stylex ?? [],
+    false,
+  );
+}
+
+/** Every selector in `css`, one per rule. */
+function selectorsOf(css) {
+  return [...css.matchAll(/([^{}]+)\{[^{}]*\}/g)].map(match => match[1].trim());
+}
+
+describe('the shipped Switch focus ring', () => {
+  it('reads the input as the track\u2019s preceding sibling, never through :has()', async () => {
+    const selectors = selectorsOf(await compiledCss('Switch.tsx'));
+    const ring = selectors.filter(selector =>
+      selector.includes(':focus-visible'),
+    );
+    expect(ring.length).toBeGreaterThan(0);
+    for (const selector of ring) {
+      expect(selector).toMatch(/:focus-visible ~ \*/);
+      expect(selector).not.toContain(':has(');
+    }
+  });
+
+  it('ships no :has() followed by a descendant *', async () => {
+    const selectors = selectorsOf(await compiledCss('Switch.tsx'));
+    expect(
+      selectors.filter(selector => /:has\([^{]*\)[^{,]* \*/.test(selector)),
+    ).toEqual([]);
+  });
+});

package/src/Switch/Switch.spec.md

@@ -1,45 +1,82 @@
 ---
 schema_version: 3
-template_version: 3
+template_version: 7
 kind: component
 id: component:Switch
-authority: draft
+authority: current
 archive_reason: null
 superseded_by: null
-approved_by: null
-approved_at: null
+approved_by: cixzhang
+approved_at: 2026-10-28
 owners: [cixzhang]
-review_triggers: [theming]
+review_triggers:
+  [
+    public-api,
+    behavior,
+    layout,
+    interaction,
+    motion,
+    theming,
+    styling,
+    accessibility,
+    visual,
+    react-runtime,
+    compatibility,
+  ]
 verified_by:
   [
     packages/core/src/Switch/Switch.test.tsx,
+    packages/core/src/Switch/Switch.focusRing.source-build.test.mjs,
     packages/core/src/Switch/__tests__/Switch.a11y.test.tsx,
     packages/core/src/Switch/__tests__/Switch.a11y.chromium.spec.ts,
+    packages/core/src/__tests__/PressedState.a11y.chromium.spec.ts,
     packages/core/src/theme/themingTargets.test.ts,
     scripts/check-knowledge.mjs,
   ]
 modules: []
 families: []
-design_specs: []
-architecture: [architecture:component-theming-surface]
+design_specs: [design:user-states, design:reduced-motion]
+architecture:
+  [
+    architecture:component-theming-surface,
+    architecture:interaction-modality,
+    architecture:public-component-api,
+  ]
 contributing: []
-system_specs: []
+system_specs: [spec:AST-021, spec:AST-085, spec:AST-086, spec:AST-094]
 ---
 
 # Switch component contract
 
+## Contract at a glance
+
+| Area                    | Contract                                                                                                                                                                                                                                                    |
+| ----------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| Public contract         | None changes. Switch takes `label`, `value`, `onChange`, `changeAction`, `isLoading`, `isDisabled`, `disabledMessage`, `isRequired`, `isOptional`, `status`, `size`, `labelPosition`, `labelSpacing`, field content, and base props.                        |
+| Behavior                | A native checkbox with `role="switch"` drawn as a track and thumb. A change calls `onChange`, then an optional `changeAction` with the optimistic value; while busy the switch shows a Spinner in the thumb and refuses changes.                            |
+| End-user impact         | People flip a setting that takes effect at once and hear when it is saving. Keyboard and screen-reader users can reach a disabled switch and its reason.                                                                                                    |
+| Builder impact          | None.                                                                                                                                                                                                                                                       |
+| Compatibility/readiness | Records shipped behavior; no API, default, or DOM change. Caller handlers other than `onClick` run while disabled, the coarse-pointer hit area stops at 24 by 24, and caller ARIA lands on the field root; all three are listed under Current-state impact. |
+| Review checks           | Reject a lost switch role or name, a change while disabled or busy, focus moving on change, a ring painted anywhere but the track, a thumb that travels the wrong way under RTL, or a disabled switch that submits.                                         |
+| Governing rules         | `spec:AST-021` switch pattern; `spec:AST-085` FR1–FR3, FR5, FR6; `spec:AST-086` FR8; `design:user-states` DR1, DR2 (pressed overlay); `design:reduced-motion` DR1; WCAG 2.5.2, 3.2.2, 1.4.11; `spec:AST-094` FR42.                                          |
+
+This table is a review projection; the body below is authoritative.
+
 ## Intent
 
-Switch presents a labeled boolean control whose change takes effect immediately.
-This draft records current consumer anatomy and theming ownership without
-changing runtime behavior, styling, targets, or public API.
+Switch presents a labelled boolean setting whose change takes effect
+immediately. It owns the switch control, its change and Action pipeline, busy
+and disabled behavior, label placement, and the field's theming anatomy.
+Consumer usage lives in `Switch.doc.mjs`.
 
 ## Compatibility and migration
 
-- Released default preserved: `yes`
-- Compatibility class: additive documentation only; runtime, DOM, styling,
-  targets, and public API remain unchanged
-- Controlled/uncontrolled behavior: unchanged; Switch remains controlled
+- Released default preserved: `yes`; `size="md"`, `labelPosition="end"`,
+  `labelSpacing="hug"`
+- Compatibility class: records shipped behavior; no public prop, default,
+  export, or DOM change
+- Controlled/uncontrolled behavior: controlled only; `value` is required, and
+  the switch shows an optimistic value only while a `changeAction` is pending
 - Migration decision: none
 
 Consumer migration instructions belong in consumer docs and release notes.
@@ -50,6 +87,11 @@ Consumer migration instructions belong in consumer docs and release notes.
 
 - The switch field, track, thumb, and label presentations represented by the
   existing `switch-field`, `switch`, `switch-thumb`, and `switch-label` targets.
+- The native switch input, its name, description, state, and form
+  participation.
+- The change and Action pipeline, busy state, and busy announcement.
+- Disabled and disabled-reason behavior.
+- The track's focus ring, hover tint, and pressed overlay.
 
 **Does not own / non-goals**
 
@@ -57,68 +99,93 @@ Consumer migration instructions belong in consumer docs and release notes.
 - Validation-message presentation — owned by `component:FieldStatus`.
 - Loading-indicator presentation — owned by `component:Spinner`.
 - Tooltip surfaces used for shared label and disabled-reason behavior.
+- Label rendering — owned by FieldLabel.
 
 ## Public concepts
 
-No new public concept is introduced. Consumer props, states, and usage remain
-documented in `Switch.doc.mjs`.
+| Concept        | Closed values or states | Meaning                                             | Availability by variant/orientation/state                   | Default  | Owner              | Stability | Invalid-value behavior                         |
+| -------------- | ----------------------- | --------------------------------------------------- | ----------------------------------------------------------- | -------- | ------------------ | --------- | ---------------------------------------------- |
+| Value          | on, off                 | The setting's state.                                | Always.                                                     | required | `component:Switch` | Stable    | TypeScript rejects non-booleans.               |
+| Size           | `sm`, `md`              | Track 32×20 or 40×24 CSS px.                        | Always.                                                     | `md`     | `component:Switch` | Stable    | TypeScript rejects other values.               |
+| Label position | `start`, `end`          | Label before or after the switch.                   | Always.                                                     | `end`    | `component:Switch` | Stable    | TypeScript rejects other values.               |
+| Label spacing  | `hug`, `spread`         | Label beside the switch, or pushed to the far edge. | Always.                                                     | `hug`    | `component:Switch` | Stable    | TypeScript rejects other values.               |
+| Busy           | idle, busy              | A change is loading or being saved.                 | `isLoading`, or while the shown state differs from `value`. | idle     | `component:Switch` | Stable    | Not applicable.                                |
+| Disabled       | off, on, on with reason | Blocks changes.                                     | A reason applies only with `isDisabled`.                    | off      | `component:Switch` | Stable    | A reason without `isDisabled` renders nothing. |
 
 ## Behavioral and layout contract
 
-| ID  | Candidate invariant                                                                                    | Basis                                   | Draft review state                                 |
-| --- | ------------------------------------------------------------------------------------------------------ | --------------------------------------- | -------------------------------------------------- |
-| FR1 | The current render places a thumb inside the switch track and arranges that control with its label.    | Current source, docs, and focused tests | Verified current behavior; no new behavior decided |
-| FR2 | The field, track, thumb, and label carry their existing local targets.                                 | Current source, public docs, and tests  | Verified current behavior; no target change        |
-| FR3 | A busy switch renders Spinner inside the thumb; a status message renders through detached FieldStatus. | Current source, docs, and focused tests | Verified conditional composition                   |
+| ID   | Invariant                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              | Basis                                                                                                                                   |
+| ---- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------------- |
+| FR1  | The current render places a thumb inside the switch track and arranges that control with its label: a visually hidden native `<input type="checkbox" role="switch">` sits over a decorative track, with the label after it by default or before it with `labelPosition="start"`.                                                                                                                                                                                                                                                       | `spec:AST-021`; current source, docs, and focused tests                                                                                 |
+| FR2  | The field, track, thumb, and label carry their existing local targets. The field reflects `data-label-position` and `data-label-spacing` only for non-default values; the track reflects `data-size`, `data-checked`, and `data-disabled`; the thumb reflects `data-size` and `data-checked`.                                                                                                                                                                                                                                          | `architecture:component-theming-surface`; current source and tests                                                                      |
+| FR3  | A busy switch renders Spinner inside the thumb; a status message renders through detached FieldStatus.                                                                                                                                                                                                                                                                                                                                                                                                                                 | Current source, docs, and focused tests                                                                                                 |
+| FR4  | The input is named by its label (or a caller `aria-labelledby`) and described by any caller description, then the description, status message, and disabled reason that exist; the description is not part of the name. A click on the label or description toggles the switch.                                                                                                                                                                                                                                                        | `spec:AST-021`; current tests                                                                                                           |
+| FR5  | A change calls `onChange(checked, event)`; unless that call prevents default, `changeAction(checked, event)` runs in a transition and the switch shows the proposed state while the Action is pending, and `value` once it settles.                                                                                                                                                                                                                                                                                                    | Current tests                                                                                                                           |
+| FR6  | While `isLoading`, or while the shown state differs from `value`, the input sets `aria-busy`, ignores pointer input, refuses changes, keeps focus, and the switch announces its busy start once per busy period through the shared channel.                                                                                                                                                                                                                                                                                            | `spec:AST-086` FR8; current tests                                                                                                       |
+| FR7  | Disabled: `aria-disabled="true"` on a focusable input, no `name`, detached from its form (so it neither submits nor blocks submission when required), no change, no caller `onClick` on the field, no hover or press paint, and a half-opacity track. With `disabledMessage`, a reason tooltip opens on row hover and keyboard focus and describes the input. Implementation gap: caller DOM handlers other than `onClick`, such as `onKeyDown`, still run on the field root while disabled (`spec:AST-085` FR2).                      | `spec:AST-085` FR1–FR3, FR5; current tests                                                                                              |
+| FR8  | Enabled, the input submits `on` under `htmlName` when on and nothing when off; `isRequired` sets native `required`, while `aria-required` follows the effective required state.                                                                                                                                                                                                                                                                                                                                                        | Current tests                                                                                                                           |
+| FR9  | Keyboard focus paints the shared focus outline on the track. Hovering the enabled row tints the track; pressing paints the pressed overlay on both, applying `design:user-states` DR1 and DR2; a touch press fades out from the row. Track color transitions are instant under reduced motion.                                                                                                                                                                                                                                         | `architecture:interaction-modality` INV1; `design:user-states` DR1, DR2 for the pressed overlay; `design:reduced-motion`; current tests |
+| FR10 | The thumb travels toward the inline end when on, mirrored under RTL, and moves without a transition under reduced motion (`design:reduced-motion` DR1). On coarse pointers the input's hit area is at least 24 by 24 CSS pixels (WCAG 2.5.8) and follows the inline direction. Under `spec:AST-094` FR42 a coarse-pointer target MUST reach 44 CSS pixels through an invisible hit area where neighbors allow. Implementation gap: the input's hit area stops at 24 by 24.                                                             | WCAG 2.5.8; current tests; `design:reduced-motion` DR1; `spec:AST-094` FR42                                                             |
+| FR11 | Under forced colors, on and off stay distinguishable (Highlight track when on), and the hover tint does not hide the thumb.                                                                                                                                                                                                                                                                                                                                                                                                            | WCAG 1.4.11; current tests                                                                                                              |
+| FR12 | `ref`, `onFocus`, and `onBlur` reach the input, and a caller `aria-labelledby` and `aria-describedby` name and describe it. Other base props (`id`, `data-*`, other ARIA, `onClick`, and other handlers), `className`, `style`, `xstyle`, and `width` reach the field root. Caller ARIA attributes name and describe the switch, so they MUST reach the input (`architecture:public-component-api` INV5). Implementation gap: ARIA other than `aria-labelledby` and `aria-describedby`, such as `aria-label`, lands on the field root. | Current tests; `architecture:public-component-api` INV5                                                                                 |
 
 ### Allowed variation
 
-- Label position and spacing, size, checked state, and disabled state remain
-  current target capabilities rather than separate anatomy parts.
-- A description may be absent without changing the remaining anatomy.
+- **AV1 — Placement.** Label position and spacing, size, checked state, and
+  disabled state remain current target capabilities rather than separate
+  anatomy parts.
+- **AV2 — Description.** A description may be absent without changing the
+  remaining anatomy.
 
 ### Representative states
 
-| State               | Required invariant                                      | Allowed variation                      |
-| ------------------- | ------------------------------------------------------- | -------------------------------------- |
-| Off or on           | Track, thumb, and label render within the switch field. | Checked state, size, label placement   |
-| Busy                | Spinner renders inside the thumb.                       | Controlled or optimistic checked value |
-| Status with message | Detached FieldStatus follows the switch row.            | Error, warning, or success status      |
+| State                | Required invariant                                                                                                    | Allowed variation                      |
+| -------------------- | --------------------------------------------------------------------------------------------------------------------- | -------------------------------------- |
+| Off or on            | Track, thumb, and label render within the switch field.                                                               | Checked state, size, label placement   |
+| Busy                 | Spinner inside the thumb; changes refused; announced. Busy while `isLoading` or the shown state differs from `value`. | Controlled or optimistic checked value |
+| Disabled with reason | Focusable; not submitted; reason tooltip.                                                                             | —                                      |
+| Status with message  | Detached FieldStatus follows the switch row.                                                                          | Error, warning, or success status      |
 
 ### Transformation and precedence order
 
-- No new state, event, layout, or styling precedence rule is introduced.
+- **ORD1 — Change.** Disabled or busy guard → `onChange` → optimistic value and
+  `changeAction` unless prevented.
+- **ORD2 — Description.** Caller description, description, status message,
+  disabled reason.
 
 ### Performance and resources
 
-- No new performance or resource rule is introduced.
+- **PR1 — Bounded resources.** Each Switch attaches the disabled-reason
+  tooltip's pointer, mouse, and focus listeners to its row, whether or not it is
+  disabled, and shares the press controller's window and document listeners
+  while any pressable is mounted, and, through the tooltip's layer, the shared
+  gesture counter's document listeners, installed once per page; it owns no
+  observer, and the busy announcement fires once per busy period.
 
 ## Accessibility contract
 
-This draft does not change or extend Switch's existing accessible name, switch
-role, checked state, busy state, description/status association, or disabled
-behavior.
-
-Switch binds to the shared switch-pattern accessibility contract
-(`internal/a11y-spec`, authored under
-[AST-020](../../../../docs/specs/AST-020/spec.md) and migrated under
-[AST-021](../../../../docs/specs/AST-021/spec.md)). The binding owns the
-standards-derived outcomes — role, accessible name, exposed on/off state,
-description, disabled exposure and inoperability, pointer and keyboard
-activation, pointer cancellation, and focus staying put on change — across the
-representative states listed in
+Switch binds to the shared switch-pattern accessibility contract under
+`spec:AST-021`. The binding owns the standards-derived outcomes — role,
+accessible name, exposed on/off state, description, disabled exposure and
+inoperability, pointer and keyboard activation, pointer cancellation, and focus
+staying put on change — across the representative states listed in
 `__tests__/Switch.a11y.states.ts`. Callback payloads, form participation,
 disabled-reason tooltip composition, and styling remain Switch-owned and stay in
 `Switch.test.tsx`.
 
+- **AR1 — Disabled reachability.** FR7 satisfies `spec:AST-085` FR1, FR5, and
+  FR6.
+- **AR2 — Busy.** FR6; spoken output follows `spec:AST-009`.
+- **AR3 — Non-color state.** FR11.
+
 ## Design relationships
 
 | Anatomy or state | Design requirement                                       | Representation authority        | Hierarchy role | Component contract |
 | ---------------- | -------------------------------------------------------- | ------------------------------- | -------------- | ------------------ |
 | Field            | Arranges the switch control with its label and feedback. | Current source and public docs  | Supporting     | FR1, FR2           |
-| Track and thumb  | Present the current on/off control.                      | Current source and public docs  | Prominent      | FR1, FR2           |
-| Label            | Identifies the controlled setting.                       | Current source and public docs  | Prominent      | FR1, FR2           |
-| Spinner/status   | Present conditional progress and validation feedback.    | Current shared-component source | Supporting     | FR3                |
+| Track and thumb  | Present the current on/off control.                      | Current source and public docs  | Prominent      | FR1, FR2, FR9–FR11 |
+| Label            | Identifies the controlled setting.                       | Current source and public docs  | Prominent      | FR1, FR2, FR4      |
+| Spinner/status   | Present conditional progress and validation feedback.    | Current shared-component source | Supporting     | FR3, FR6           |
 
 ### Theming anatomy
 
@@ -153,6 +220,11 @@ making the absence intentional.
 
 ## Family and system relationships
 
+- `spec:AST-021` owns the reusable switch-pattern binding and its evidence
+  layers.
+- `spec:AST-085` owns disabled focusability; Switch meets it.
+- `spec:AST-086` FR8 owns the busy announcement.
+- `design:user-states` owns the pressed treatment.
 - `architecture:component-theming-surface` owns anatomy qualification, factual
   `none` dispositions, and composition-preserving target ownership.
 - FieldStatus and Spinner retain their existing public target contracts when
@@ -160,28 +232,40 @@ making the absence intentional.
 
 ## Verification map
 
-| Contract                         | Verification                                                                                                                                 | Representative states                                                                                                                                                                                                                                                                                                                                                                                             | Mutation or failure expectation                                                                                                                                                                                                                                                                                        | Audit section          |
-| -------------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ---------------------- |
-| FR1                              | `Switch.test.tsx` structure and interaction suites                                                                                           | On/off, size, label position, hidden label                                                                                                                                                                                                                                                                                                                                                                        | Removing or reordering stable parts breaks existing role, label, or DOM assertions.                                                                                                                                                                                                                                    | `audit:Switch/anatomy` |
-| FR2                              | `Switch.test.tsx` label-target suite and `themingTargets.test.ts`                                                                            | Current local targets                                                                                                                                                                                                                                                                                                                                                                                             | Removing the label target fails focused coverage; source/docs drift fails the target guard.                                                                                                                                                                                                                            | `audit:Switch/theming` |
-| FR3                              | `Switch.test.tsx` loading and status suites                                                                                                  | Busy and detached status                                                                                                                                                                                                                                                                                                                                                                                          | Removing composed feedback breaks existing spinner, busy-state, or message assertions.                                                                                                                                                                                                                                 | `audit:Switch/anatomy` |
-| Switch pattern — semantics       | `__tests__/Switch.a11y.test.tsx` (DOM layer, higher layers reported unrun) and `__tests__/Switch.a11y.chromium.spec.ts` (accessibility tree) | Off, on, on after a controlled update, described, hidden label, disabled, focusable-disabled, required, invalid, loading                                                                                                                                                                                                                                                                                          | Losing the switch role, the accessible name, the visible label's words within that name, the exposed on/off state, an attached description, or disabled, required, and invalid exposure fails the shared contract.                                                                                                     | `audit:Switch/anatomy` |
-| Switch pattern — interaction     | `__tests__/Switch.a11y.chromium.spec.ts` (real browser)                                                                                      | Every state, each checked for what applies to it: round trips, pointer cancellation, and focus-on-change cover the operable states (off, on, on after a controlled update, described, hidden label, required, invalid); Tab reach-and-escape covers every focusable state, adding focusable-disabled and loading; inoperability covers the states the user cannot change (disabled, focusable-disabled, loading). | Losing either direction of a pointer or Space round trip, letting a press slid off the control still change it (WCAG 2.5.2), moving focus when the state changes (WCAG 3.2.2), failing to reach or leave the control by Tab, or changing a state the user is not meant to be able to change fails the shared contract. | `audit:Switch/anatomy` |
-| Switch pattern — label stability | `__tests__/Switch.a11y.chromium.spec.ts`, reported not gated                                                                                 | Every operable state: off, on, on after a controlled update, described, hidden label, required, invalid                                                                                                                                                                                                                                                                                                           | The APG requires the label not to change with the state. No current record adopts it, so the expectation is advisory: a name that flips across a round trip is reported, and does not fail the build.                                                                                                                  | `audit:Switch/anatomy` |
-| Switch pattern — state inventory | `__tests__/Switch.a11y.chromium.spec.ts` inventory assertion                                                                                 | Every bound state                                                                                                                                                                                                                                                                                                                                                                                                 | The labels `__tests__/Switch.a11y.states.ts` claims each state renders are compared against the rendered page, so a stale inventory is reported as one rather than as a standards failure.                                                                                                                             | `audit:Switch/anatomy` |
-| Theming anatomy map              | `scripts/check-knowledge.mjs`                                                                                                                | Canonical anatomy and all current targets                                                                                                                                                                                                                                                                                                                                                                         | Canonical-key drift, invalid dispositions or target spelling, or an unclaimed current local target fails repository validation.                                                                                                                                                                                        | `audit:Switch/theming` |
-
-The focused Switch suite pins `switch-label`, but does not separately assert the
-exact `switch-field`, `switch`, or `switch-thumb` class placement. The
-source/metadata target guard covers those local declarations. No current
-repository check resolves `delegatesTo` owner/target pairs; the pairs in this
-draft were verified manually, so semantic delegation drift remains a validation
-gap.
+| Contract                         | Verification                                                                                                                                                                       | Representative states                                                                                                                                                                                                                                                                                                                                                                                             | Mutation or failure expectation                                                                                                                                                                                                                                                                                                                                                                             | Audit section           |
+| -------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------------------- |
+| FR1, FR4                         | `Switch.test.tsx` structure, label, description, and interaction suites                                                                                                            | On/off, size, label position, hidden label                                                                                                                                                                                                                                                                                                                                                                        | Removing stable parts, or folding the description into the name, fails; the caller description first is asserted. Evidence gap: no test asserts the label order (the position cases count children only) or the disabled reason last.                                                                                                                                                                       | `audit:Switch/anatomy`  |
+| FR2                              | `Switch.test.tsx` label-target, labelSpacing, and pressed-state cases; `themingTargets.test.ts`                                                                                    | Current local targets                                                                                                                                                                                                                                                                                                                                                                                             | A missing label, field, track, or thumb target, or a missing `data-label-spacing`, fails; a rendered class absent from the documented targets fails. Evidence gap: no test asserts `data-label-position`, or the track and thumb `data-size`, `data-checked`, and `data-disabled`.                                                                                                                          | `audit:Switch/theming`  |
+| FR3, FR5, FR6                    | `Switch.test.tsx` loading, announcement, and status suites                                                                                                                         | Busy, pending Action, StrictMode, re-busy, detached status                                                                                                                                                                                                                                                                                                                                                        | Removing composed feedback, or announcing more than once per busy period, fails. Evidence gap: no test asserts the Spinner inside the thumb, `changeAction` after `onChange` with `preventDefault`, the optimistic state, or that pointer input is ignored while busy.                                                                                                                                      | `audit:Switch/anatomy`  |
+| FR7, FR8                         | `Switch.test.tsx` disabled, disabledMessage, and form cases; `PressedState.a11y.chromium.spec.ts` disabled press case                                                              | Disabled with and without reason; required; on and off                                                                                                                                                                                                                                                                                                                                                            | A change while disabled, a submitted disabled value, a blocked submit, or press paint on a disabled switch fails. Evidence gap: no test asserts the absent hover tint, the half-opacity track, or that caller `onKeyDown` still runs while disabled (the FR7 gap). No test asserts `aria-required` following a form-level required default.                                                                 | `audit:Switch/behavior` |
+| FR9–FR11                         | `Switch.test.tsx` pressed-state, RTL, coarse-pointer, and forced-colors cases; `Switch.focusRing.source-build.test.mjs`                                                            | Mouse and touch press; RTL; coarse pointer; forced colors                                                                                                                                                                                                                                                                                                                                                         | Missing press paint, unmirrored travel, or lost forced-colors state fails. Evidence gap: no test asserts the hover tint, the 24 by 24 coarse minimum (the coarse cases check only the centering class), instant transitions under reduced motion, or the track focus outline; the source-build check covers only how the outline finds the input.                                                           | `audit:Switch/visual`   |
+| FR12                             | `Switch.test.tsx` rest-forwarding and ref cases                                                                                                                                    | Root attributes; caller labelledby and describedby                                                                                                                                                                                                                                                                                                                                                                | A dropped ref, or a caller `aria-labelledby` or `aria-describedby` on the root, fails; the rest-forwarding case asserts `aria-label` on the root, which is the FR12 gap, so fixing the gap changes that test. Evidence gap: no test distinguishes `onFocus` and `onBlur` on the input from the root, or asserts a caller `onClick`, other handlers, `className`, `style`, `xstyle`, or `width` on the root. | `audit:Switch/api`      |
+| Switch pattern — semantics       | `__tests__/Switch.a11y.test.tsx` (DOM layer, higher layers reported unrun) and `__tests__/Switch.a11y.chromium.spec.ts` (accessibility tree)                                       | Off, on, on after a controlled update, described, hidden label, disabled, focusable-disabled, required, invalid, loading                                                                                                                                                                                                                                                                                          | Losing the switch role, the accessible name, the visible label's words within that name, the exposed on/off state, an attached description, or disabled, required, and invalid exposure fails the shared contract.                                                                                                                                                                                          | `audit:Switch/anatomy`  |
+| Switch pattern — interaction     | `__tests__/Switch.a11y.chromium.spec.ts` (real browser)                                                                                                                            | Every state, each checked for what applies to it: round trips, pointer cancellation, and focus-on-change cover the operable states (off, on, on after a controlled update, described, hidden label, required, invalid); Tab reach-and-escape covers every focusable state, adding focusable-disabled and loading; inoperability covers the states the user cannot change (disabled, focusable-disabled, loading). | Losing either direction of a pointer or Space round trip, letting a press slid off the control still change it (WCAG 2.5.2), moving focus when the state changes (WCAG 3.2.2), failing to reach or leave the control by Tab, or changing a state the user is not meant to be able to change fails the shared contract.                                                                                      | `audit:Switch/anatomy`  |
+| Switch pattern — label stability | `__tests__/Switch.a11y.chromium.spec.ts`, reported not gated                                                                                                                       | Every operable state: off, on, on after a controlled update, described, hidden label, required, invalid                                                                                                                                                                                                                                                                                                           | The APG requires the label not to change with the state. No current record adopts it, so the expectation is advisory: a name that flips across a round trip is reported, and does not fail the build.                                                                                                                                                                                                       | `audit:Switch/anatomy`  |
+| Switch pattern — state inventory | `__tests__/Switch.a11y.chromium.spec.ts` inventory assertion                                                                                                                       | Every bound state                                                                                                                                                                                                                                                                                                                                                                                                 | The labels `__tests__/Switch.a11y.states.ts` claims each state renders are compared against the rendered page, so a stale inventory is reported as one rather than as a standards failure.                                                                                                                                                                                                                  | `audit:Switch/anatomy`  |
+| ORD1, ORD2, PR1                  | ORD1 is covered by the FR5 and FR7 rows, and the caller-description-first part of ORD2 by the FR1 row. Evidence gap: no test asserts the rest of the ORD2 order or listener bounds | —                                                                                                                                                                                                                                                                                                                                                                                                                 | —                                                                                                                                                                                                                                                                                                                                                                                                           | `audit:Switch/behavior` |
+| Theming anatomy map              | `scripts/check-knowledge.mjs`                                                                                                                                                      | Canonical anatomy and all current targets                                                                                                                                                                                                                                                                                                                                                                         | Canonical-key drift, invalid dispositions or target spelling, or an unclaimed current local target fails repository validation.                                                                                                                                                                                                                                                                             | `audit:Switch/theming`  |
+
+No repository check resolves `delegatesTo` owner and target pairs; the pairs
+above match the current Spinner and FieldStatus targets.
+
+## Current-state impact
+
+- **Caller handlers while disabled (FR7).** Caller DOM handlers other than
+  `onClick`, such as `onKeyDown`, still run while disabled, against
+  `spec:AST-085` FR2.
+- **Coarse target (FR10).** The coarse-pointer hit area stops at 24 by 24 CSS
+  pixels, short of the 44 px target `spec:AST-094` FR42 sets where neighbors
+  allow.
+- **Caller ARIA on the root (FR12).** A caller's `aria-label` and other ARIA
+  attributes, except `aria-labelledby` and `aria-describedby`, land on the field
+  root instead of the switch input, against `architecture:public-component-api`
+  INV5.
 
 ## Decision log
 
-None. This draft records current facts and introduces no component-local design
-or API decision.
+No component-local decision. Switch applies `spec:AST-021` and `spec:AST-085`.
 
 ## Open questions