548 B
548 B
Accessibility
All inputs, limits, presets, and actions use labelled native controls with visible keyboard focus. Progress and errors use live text status rather than colour alone. Source, predicate, and result regions follow document order and stack on narrower screens; long source and trace content remains scrollable.
Light, dark, and system themes inherit the shared Toolbox shell. Reduced-motion preferences disable transitions. Cancellation is keyboard reachable and the last completed result remains available while a new run is active.