feat: complete WinUI native input conformance

Author: Roy Lin

.github/workflows/ci.yml

@@ -111,14 +111,14 @@ jobs:
             throw "Windows App Runtime installer exited with code $LASTEXITCODE"
           }
 
-      - name: Capture WinUI button-backed role OS-input smoke evidence
+      - name: Capture complete WinUI OS-input smoke evidence
         if: runner.os == 'Windows' && github.event_name == 'workflow_dispatch'
         shell: pwsh
         run: >-
           cargo run --locked --no-default-features --features winui-native
           --bin a3s-gui-winui-input-smoke -- native-input-winui-smoke.json
 
-      - name: Upload WinUI button-backed role OS-input smoke evidence
+      - name: Upload complete WinUI OS-input smoke evidence
         if: always() && runner.os == 'Windows' && github.event_name == 'workflow_dispatch'
         uses: actions/upload-artifact@v6
         with:

README.md

@@ -30,14 +30,14 @@ object graph at the host boundary.
   conformance checks. Versioned native-input manifests expand every role marked
   native into strict OS-automation cases; adapter and headless traces cannot
   satisfy that evidence gate.
-  A WinUI smoke runner records real XAML Button mouse and keyboard input through
-  `SendInput`, pen and touch through Windows synthetic pointer injection, and
-  assistive activation through UI Automation `InvokePattern`. It covers
-  activation, mouse/pen/touch cancellation, keyed-rerender cancellation, and
-  disabled input for all 14 cases of each button-backed `Button`,
-  `DisclosureSummary`, `Link`, `ImageMapArea`, and `MenuItem` role (70 of 98
-  WinUI cases); `ListBoxItem` and `TreeItem` remain outstanding.
-  Populating the remaining manifest cases with real platform automation,
+  A WinUI smoke runner records real XAML Button and list-item mouse and keyboard
+  input through `SendInput`, pen and touch through Windows synthetic pointer
+  injection, and assistive activation through UI Automation `InvokePattern`
+  and `SelectionItemPattern`. It covers activation, mouse/pen/touch
+  cancellation, keyed-rerender cancellation, and disabled input for all 14
+  cases of each `Button`, `DisclosureSummary`, `Link`, `ImageMapArea`,
+  `MenuItem`, `ListBoxItem`, and `TreeItem` role (98 of 98 WinUI cases).
+  Populating the AppKit and GTK4 manifests with real platform automation,
   role-edge input parity, layout-aware collection page movement, IME/dead-key
   conformance, measured overlay collision/arrow conformance and scroll locking,
   remaining native focus conformance, and locale formatting are still in
@@ -185,7 +185,7 @@ platform-matched typography, for example `w-[396px]`, `rounded-[12px]`, and
 | AppKit native surface | Usable for macOS smoke apps with role-aware press/hover/focus/key translation, controls, menus, close actions, and typed post-mount `autoFocus`. |
 | GTK4 native surface | Usable for Linux smoke apps with role-aware press/hover/focus/key translation, controls, menus, dialogs, and scroll containers. |
 | WinUI native surface | Usable for Windows smoke apps with role-aware press/hover/focus/key translation, typed programmatic focus and post-mount `autoFocus`, core controls, resize bounds, close actions, and root-window exit. |
-| Native input conformance | Versioned requirement/run/report artifacts and a strict verifier are available. The WinUI smoke harness covers all 70 button-backed role cases (70 of 98); full AppKit, GTK4, and WinUI evidence is not complete. |
+| Native input conformance | Versioned requirement/run/report artifacts and a strict verifier are available. The WinUI smoke harness covers the complete 98-case manifest; AppKit and GTK4 evidence is not complete. |
 | Product app shell | Dogfood-ready. Production distribution still needs signed installers and longer real-world focus/input hardening. |
 
 ## Roadmap
@@ -272,18 +272,18 @@ then verify an artifact emitted by an operating-system automation runner:
 ```bash
 just native-input-manifest winui
 just native-input-conformance path/to/winui-evidence.json
-just winui-input-smoke path/to/winui-button-backed-smoke.json
+just winui-input-smoke path/to/winui-smoke.json
 ```
 
 The verifier exits nonzero for missing or duplicate cases, incorrect semantic
 event order, modality/target mismatches, incomplete environment identity, or
 evidence produced only by an adapter kernel or the portable runtime.
-The WinUI smoke command opens a real XAML window and emits a partial artifact;
-passing that command validates its 70 captured button-backed role cases, not
-the full WinUI manifest. It requires a supported Windows desktop session with
-the Windows App Runtime 1.7 framework package available. WinUI examples enter
-the XAML-owned application lifecycle with `run_winui_application_staged_async`
-and keep native layout and input responsive through the asynchronous app loop.
+The WinUI smoke command opens a real XAML window and emits a complete 98-case
+artifact. Passing that command validates the full current WinUI manifest. It
+requires a supported Windows desktop session with the Windows App Runtime 1.7
+framework package available. WinUI examples enter the XAML-owned application
+lifecycle with `run_winui_application_staged_async` and keep native layout and
+input responsive through the asynchronous app loop.
 
 The default feature set includes RSX authoring and the built-in design system.
 The runtime/protocol core is independently buildable without SWC or `rsx_ui`:

docs/architecture.md

@@ -178,21 +178,22 @@ driver and event-loop integration; the portable verifier owns only the shared
 semantic contract.
 
 The Windows-only `a3s-gui-winui-input-smoke` harness keeps automation outside
-the runtime library. It mounts each button-backed semantic role as a real WinUI
-Button, confirms that the mounted native role matches the manifest case,
-locates and verifies its enabled state through the OS UI Automation tree,
-injects mouse and Enter-key input with `SendInput`, injects pen and touch with
-`CreateSyntheticPointerDevice` / `InjectSyntheticPointerInput`, and invokes its
-assistive `InvokePattern`. Mouse cancellation releases the real XAML pointer
-capture after the injected press; pen and touch cancellation inject Windows'
-cancelled-up pointer state. The production WinUI message loop records successful,
-cancelled, keyed-rerender, and disabled responses. The harness validates all 70
-observations for `Button`, `DisclosureSummary`, `Link`, `ImageMapArea`, and
-`MenuItem` with the strict manifest verifier while allowing only `ListBoxItem`
-and `TreeItem` to remain `MissingObservation`. Its output therefore remains an
-explicitly partial run artifact rather than a conformance report. The harness
-requires an interactive Windows desktop and the Windows App Runtime 1.7
-framework package used by the WinUI backend's dynamic dependency.
+the runtime library. It mounts button-backed semantic roles as real WinUI
+Buttons and collection items inside real XAML list containers, confirms that
+the mounted native role matches the manifest case, and locates and verifies its
+enabled state through the OS UI Automation tree. Mouse and Enter-key input use
+`SendInput`; pen and touch use `CreateSyntheticPointerDevice` /
+`InjectSyntheticPointerInput`; assistive activation uses `InvokePattern` for
+buttons and `SelectionItemPattern` for collection items. Mouse cancellation
+releases the real XAML pointer capture after the injected press; pen and touch
+cancellation inject Windows' cancelled-up pointer state. The production WinUI
+message loop records successful, cancelled, keyed-rerender, and disabled
+responses. The strict manifest verifier validates all 98 observations for
+`Button`, `DisclosureSummary`, `Link`, `ImageMapArea`, `MenuItem`,
+`ListBoxItem`, and `TreeItem`, so the output is a complete current WinUI run
+artifact. The harness requires an interactive Windows desktop and the Windows
+App Runtime 1.7 framework package used by the WinUI backend's dynamic
+dependency.
 
 ## NativeHost Boundary
 

docs/react-aria-native.md

@@ -341,23 +341,23 @@ just native-input-manifest appkit
 just native-input-manifest gtk4
 just native-input-manifest winui
 just native-input-conformance path/to/evidence.json
-just winui-input-smoke path/to/winui-button-backed-smoke.json
+just winui-input-smoke path/to/winui-smoke.json
 ```
 
-The WinUI smoke harness covers the XAML Button-backed `Button`,
-`DisclosureSummary`, `Link`, `ImageMapArea`, and `MenuItem` roles. Mouse and
-keyboard use Windows `SendInput`, pen and touch use synthetic pointer injection,
-and assistive activation uses UI Automation `InvokePattern`. It exercises
+The WinUI smoke harness covers XAML Button-backed `Button`,
+`DisclosureSummary`, `Link`, `ImageMapArea`, and `MenuItem` roles plus
+`ListBoxItem` and `TreeItem` inside real list containers. Mouse and keyboard use
+Windows `SendInput`, pen and touch use synthetic pointer injection, and
+assistive activation uses UI Automation `InvokePattern` or
+`SelectionItemPattern` according to the native control contract. It exercises
 successful activation, mouse/pen/touch cancellation, keyed-rerender
 cancellation, and disabled input inside the production XAML application
 lifecycle. Handled routed pointer events and preview key events feed the same
 portable press state machine while the asynchronous dispatcher loop leaves
-WinUI layout and input dispatch unblocked.
-The strict verifier accepts no semantic defect in the complete 70-case slice,
-but the 28 `ListBoxItem` and `TreeItem` WinUI cases remain. The P0 gap is
-therefore still open. Native automation drivers still need to execute every
-generated case and submit passing run artifacts on real macOS, Linux, and
-Windows runners.
+WinUI layout and input dispatch unblocked. The strict verifier accepts the
+complete 98-case WinUI manifest with no semantic defect. Native automation
+drivers still need to submit complete passing run artifacts on real macOS and
+Linux runners.
 
 ## Known Gaps
 
@@ -366,7 +366,7 @@ props:
 
 | Priority | Area | Required outcome |
 | --- | --- | --- |
-| P0 | Native input conformance | Populate the generated V1 manifests with platform-run mouse, pen, touch where applicable, keyboard, assistive activation, disabled, cancellation, and keyed-rerender fixtures for every role currently marked native; then close or retain evidence-backed menu/item exceptions. |
+| P0 | Native input conformance | WinUI's complete 98-case V1 manifest passes real OS automation. Populate the AppKit and GTK4 manifests with platform-run mouse, pen, touch where applicable, keyboard, assistive activation, disabled, cancellation, and keyed-rerender fixtures for every role currently marked native; then close or retain evidence-backed menu/item exceptions. |
 | P1 | Event propagation | Add platform-run conformance fixtures for conditional `Stop`/`Continue` across nested native controls. |
 | P1 | Focus management | Add platform-run conformance fixtures for post-mount `autoFocus`, nested containment, and restoration. |
 | P1 | Collections and selection | Add layout-aware page navigation and complete IME/dead-key typeahead conformance. |

docs/roadmap.md

@@ -87,8 +87,9 @@ The following foundations are implemented and are not roadmap placeholders:
   native evidence, and CI publishes each backend's outstanding matrix
 - a Windows OS-input smoke harness that drives real XAML Button-backed
   `Button`, `DisclosureSummary`, `Link`, `ImageMapArea`, and `MenuItem` roles
-  through `SendInput`, synthetic pen/touch injection, and UI Automation,
-  currently covering all 70 of their cases (70 of 98 required WinUI cases)
+  plus list-backed `ListBoxItem` and `TreeItem` roles through `SendInput`,
+  synthetic pen/touch injection, and UI Automation, covering the complete
+  98-case WinUI manifest
 
 ## Delivery Dependency
 

justfile

@@ -327,7 +327,7 @@ native-input-manifest BACKEND:
 native-input-conformance EVIDENCE:
     cargo run --locked --quiet --bin a3s-gui-native-input-conformance -- verify "{{ EVIDENCE }}"
 
-# Capture the complete 70-case WinUI button-backed role OS-input smoke artifact
+# Capture the complete 98-case WinUI OS-input smoke artifact
 winui-input-smoke EVIDENCE:
     cargo run --locked --quiet --no-default-features --features winui-native --bin a3s-gui-winui-input-smoke -- "{{ EVIDENCE }}"