running 35 tests
test a_valid_tick_failure_cannot_rewrite_any_host_stack_byte ... ok
test actual_cancelled_dead_thread_never_receives_later_body_callback ... ok
test actual_class_slice_and_progress_regression_cannot_rewrite_history ... ok
test actual_cpu_irq_and_mask_gates_return_the_same_delivery ... ok
test actual_dead_owner_in_a_wait_chain_refuses_whole_tick ... ok
test actual_sleep_wait_records_high_waiter_low_owner_chain_without_busy_loop ... ok
test backend_future_counter_cannot_be_accepted_from_a_delivery ... ok
test caller_forged_tick_source_sequence_epoch_and_current_are_refused ... ok
test canary_guard_and_page_owner_change_refuse_without_consuming_delivery ... ok
test conservative_whole_history_sample_gap_cannot_be_reset_at_begin ... ok
test constructor_refusal_returns_actual_backend_and_frozen_owners ... ok
test consumed_delivery_cannot_reappear_as_duplicate_sequence ... ok
test counter_regression_and_repeat_cannot_double_charge ... ok
test dead_owner_cannot_be_unregistered_while_real_waiter_link_remains ... ok
test duplicate_registration_returns_exact_owned_subscription ... ok
test every_live_member_requires_sixty_distinct_charged_progress_advances ... ok
test failed_actual_member_observation_returns_tick_without_any_ledger_commit ... ok
test final_unsampled_actual_dead_transition_refuses_previously_proven_hour ... ok
test independent_cpu_idle_and_per_thread_ready_ledgers_sum_exact_ticks ... ok
test initial_progress_then_actual_dead_members_for_hour_cannot_pass_workload ... ok
test late_new_progress_cannot_erase_earlier_failed_deadline ... ok
test long_run_baseline_refuses_actual_cancelled_dead_member_with_all_pins_retained ... ok
test long_run_contract_requires_actual_fresh_progress_duration_and_bounded_samples ... ok
test mathematically_one_hour_without_sixty_samples_is_rejected ... ok
test owner_cycles_and_unknown_live_owner_refuse_without_partial_ledger_commit ... ok
test policy_release_refuses_live_members_and_actual_irq_context ... ok
test read_only_queue_observer_gates_before_table_borrow_in_irq_wrong_cpu_or_i0 ... ok
test real_low_owner_sleep_with_running_high_waiter_is_rejected_before_tick_consumption ... ok
test real_ready_thread_omitted_from_frozen_queue_is_detected_as_starved ... ok
test registration_guard_failure_returns_same_subscription_before_publication ... ok
test rejected_source_clock_change_returns_exact_delivery ... ok
test running_membership_cannot_be_returned_or_release_stack_owners ... ok
test three_frozen_tasks_ten_thousand_fifo_slices_preserve_pages_and_fair_progress ... ok
test total_initial_progress_does_not_cover_later_stopped_live_workload ... ok
test unsampled_late_progress_cannot_extend_validated_hour_with_stopped_work ... ok

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

   Compiling turkos-os-context-completion v0.1.0 (<project>/reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-context-completion)
   Compiling turkos-os-threads v0.1.0 (<project>/reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-threads)
   Compiling turkos-os-exceptions v0.1.0 (<project>/reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-exceptions)
   Compiling turkos-os-policy-runqueue-observation v0.1.0 (<project>/reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-policy-runqueue-observation)
   Compiling turkos-os-scheduler-policy v0.1.0 (<project>/reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-scheduler-policy)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 1.32s
     Running tests/policy.rs (reports/os-implementation/K1081-K1099-preparation-LxQVvv/target/aarch64-apple-darwin/debug/build/turkos-os-scheduler-policy/d34236d592cee6dc/out/policy-d34236d592cee6dc)