Miri Developer verification map

This directory is the maintained source for proving Miri Developer's user-facing behavior on the real desktop. Read the index, then use the matching feature file as the recipe. V is .claude/skills/verify-miri/scripts/verify-miri, run from the checkout under test.

Baseline preconditions

• A test bundle built by make build in the checkout under test, or one passed with V begin --app.
• V doctor reports every line ok.
• V begin --owner "<thread>" succeeded, so this run holds the live-test lock and the test build runs.
• Management runs: the Settings status is Managing windows, and managementStopped is 0.
• Sam's configuration keeps the default shortcuts that a recipe names. Check [bindings] in ~/Library/Application Support/Miri Developer/config.toml and use the chord it lists.

Driving conventions

• Start every recipe from the baseline. Open new fixtures for each recipe instead of reusing another recipe's windows.
• Drive only fixtures and Miri's own windows. Never focus, move, or close Sam's windows on purpose.
• Name fixtures by fixture-N and window ID, Settings controls by title, and shortcuts by their config.toml chord.
• Snapshot before the action and after each action.
• End every run with V end, also after a failure.

Proof and skip reporting

• Proof is the run folder in ~/.cache/miri/verify-miri/runs/<run id>/: log.txt, the snapshots, and any second view of a side effect.
• A focus or layout proof needs the engine's view and macOS's view to agree.
• Report an entry point you could not drive as skipped, with the command you tried and the unmet precondition. Do not report it as verified through a different entry point.
• Trackpad swipes, title-bar drags, and Space switches need Sam's hands. List them as hand checks for Sam.

Features

Surfaces without a map entry

These user-facing surfaces have no recipe yet. axdo press reaches buttons, tabs, radio buttons, and switches only, so a control marked "config" needs a config.toml edit as setup and a V ax test dump or V snapshot as proof.

• Configuration error: the menu line and the Settings banner with Show Configuration File in Finder (Views.swift, Settings.swift). Drivable with a broken config.toml.
• Diagnostics page and Copy Diagnostics… window (SettingsPages.swift, Views.swift). Drivable with ax press.
• Window recovery: windows that management stops leave on screen (WindowRestorer.swift). Drivable with fixtures and Stop.
• Layout page: gaps, width presets, Animate window movement, windows per stack, maximized window side, and the shared-edge switch (SettingsPages.swift). Config. The shared-edge switch also needs Screen Recording permission and two displays.
• General page: Launch at login and Show in Dock (SettingsPages.swift). Never drive Launch at login, which changes Sam's login items. Show in Dock is drivable with ax press "Show in Dock", and each press writes show_in_dock to config.toml.
• Gestures page and Test Gesture… (GestureSettings.swift). The test needs Sam's trackpad.
• Initial setup, the Set Up Miri window on first launch (InitialSetup.swift). Showing it again needs the launch argument -initialSetupDone NO, which V begin does not pass.
• The menu bar menu (Views.swift). axdo cannot open it. Start, stop, and restart has the System Events route.