test_adjacency_one_step_and_no_stack (test_model.Tests.test_adjacency_one_step_and_no_stack) ... ok
test_atomic_old_price_and_tool_first_loss (test_model.Tests.test_atomic_old_price_and_tool_first_loss) ... ok
test_ledger_invariants_all_recorded_paths (test_model.Tests.test_ledger_invariants_all_recorded_paths) ... ok
test_load_replace_returns_only_original (test_model.Tests.test_load_replace_returns_only_original) ... ok
test_no_rearrange_at_market_no_packing (test_model.Tests.test_no_rearrange_at_market_no_packing) ... ok
test_reject_never_mutates (test_model.Tests.test_reject_never_mutates) ... ok
test_rest_swap_recomputes_without_permanent_effect (test_model.Tests.test_rest_swap_recomputes_without_permanent_effect) ... ok
test_safe_goal_below_and_goal_above (test_model.Tests.test_safe_goal_below_and_goal_above) ... ok
test_shop_atomicity_and_unique_ownership (test_model.Tests.test_shop_atomicity_and_unique_ownership) ... ok
test_strict_action_shapes_and_slot_types (test_model.Tests.test_strict_action_shapes_and_slot_types) ... ok
test_tampered_board_and_tick (test_model.Tests.test_tampered_board_and_tick) ... ok
test_undo_and_cross_process_all_policy_witnesses (test_model.Tests.test_undo_and_cross_process_all_policy_witnesses) ... ok
test_verified_bank_has_multiple_successful_loads (test_model.Tests.test_verified_bank_has_multiple_successful_loads) ... ok
test_export_feedback_and_restart (test_ui.UITests.test_export_feedback_and_restart) ... ok
test_extra_ui_frames_forecasts_do_not_change (test_ui.UITests.test_extra_ui_frames_forecasts_do_not_change) ... ok
test_next_phase_latches_held_primary (test_ui.UITests.test_next_phase_latches_held_primary) ... ok
test_pause_held_across_resume (test_ui.UITests.test_pause_held_across_resume) ... ok
test_pause_release_and_resume_fresh (test_ui.UITests.test_pause_release_and_resume_fresh) ... ok
test_rest_swap_and_cancel_anchor (test_ui.UITests.test_rest_swap_and_cancel_anchor) ... ok
test_same_frame_space_z_only_one_action (test_ui.UITests.test_same_frame_space_z_only_one_action) ... ok
test_start_hold_staggered (test_ui.UITests.test_start_hold_staggered) ... ok

----------------------------------------------------------------------
Ran 21 tests in 0.668s

OK
