running 34 tests
test irq_restore_failure_retains_previous_state_and_backend ... ok
test dropped_spin_release_failure_quarantines_execution_and_owner ... ok
test live_mutex_owner_keeps_backend_until_explicit_release ... ok
test irq_mask_write_failure_keeps_backend_quarantined ... ok
test mutex_failed_prepare_quarantines_real_backend_resources ... ok
test mutex_prepare_park_failure_publishes_no_owner_or_waiter ... ok
test authorized_dead_waiter_cancellation_restores_healthy_fifo_progress ... ok
test mutex_foreign_owner_and_wait_tokens_are_retained_on_refusal ... ok
test granted_waiter_remains_owner_until_claim_and_newcomers_cannot_barge ... ok
test irq_migration_refuses_restore_on_the_other_cpu ... ok
test mutex_prepare_wake_failure_returns_actual_owner_then_retries_fifo ... ok
test failed_spin_release_returns_the_actual_nonclone_guard ... ok
test invalid_daif_or_cpu_never_writes_registers ... ok
test mutex_cancel_middle_waiter_preserves_fifo_and_failed_wait_token ... ok
test mutex_capacity_and_recursion_preserve_the_fifo_and_scheduler ... ok
test mutex_stale_task_and_masked_task_never_calls_scheduler ... ok
test ordering_capacity_and_recursive_checks_precede_actual_acquisition ... ok
test ordering_multi_source_cycle_publishes_no_prefix_edge ... ok
test os_locking_irq_guard_negative ... ok
test ordering_transitive_cycle_and_high_bit_node_fail_closed ... ok
test os_locking_mutex_negative ... ok
test os_locking_irq_guard_positive ... ok
test os_locking_mutex_positive ... ok
test os_locking_ordering_negative ... ok
test os_locking_ordering_positive ... ok
test os_locking_spin_negative ... ok
test ordering_failed_actual_acquisition_and_panic_preserve_graph ... ok
test private_mutex_payload_requires_the_current_task_and_exact_owned_lease ... ok
test rejected_spin_constructor_returns_real_payload_and_owner_backend ... ok
test panic_unwinds_both_irq_guards_to_the_exact_original_daif ... ok
test scheduler_observation_mismatch_refuses_before_any_callbacks ... ok
test spin_wrong_cpu_mask_never_acquires_or_changes_payload ... ok
test unauthorized_waiter_cancellation_preserves_actual_ticket ... ok
K968 actual host threads=2 protected updates=2001 payload invariant preserved; physical SMP guest evidence pending
test os_locking_spin_positive ... ok

test result: ok. 34 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s

   Compiling turkos-os-locking v0.1.0 (<project>/os-locking)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.40s
     Running tests/locking.rs (reports/os-implementation/K961-K979-preparation-HHDGYT/target/debug/build/turkos-os-locking/36db3b80b1dba7b1/out/locking-36db3b80b1dba7b1)

thread 'ordering_failed_actual_acquisition_and_panic_preserve_graph' (41472907) panicked at tests/locking.rs:1007:21:
actual acquire failed
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

thread 'panic_unwinds_both_irq_guards_to_the_exact_original_daif' (41472918) panicked at tests/locking.rs:147:13:
fault inside critical section