running 3 tests
test os_init_restart_bounded_positive ... ok
test os_init_restart_failure_retains_owner_and_exhausts_budget ... ok
test os_init_restart_rejects_invalid_policy_and_late_poll ... ok

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

   Compiling turkos-os-init-restart v0.1.0 (<project>/reports/os-implementation/K1255-restart-local-preflight-ohDsN9/workspace/os-init-restart)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.63s
     Running tests/restart.rs (reports/os-implementation/K1255-restart-local-preflight-ohDsN9/target/debug/build/turkos-os-init-restart/ccc4b7d4625eaead/out/restart-ccc4b7d4625eaead)