running 18 tests
test actual_width_uses_mmfr0_and_tcr_separately ... ok
test a_b_a_selection_preserves_each_cached_private_value ... ok
test failed_retirement_restores_id_and_asid_exactly ... ok
test backend_extraction_requires_every_root_id_retired ... ok
test failed_root_acquisition_registers_neither_id_nor_asid ... ok
test id_capacity_fails_before_root_acquisition ... ok
test foreign_registry_and_wrong_owner_fail_before_backend_selection ... ok
test active_root_release_retains_identical_owner_token ... ok
test immutable_root_observation_does_not_duplicate_or_release_owner ... ok
test invalid_backing_stops_observation_activation_and_release ... ok
test kernel_asid_zero_and_illegal_root_bits_never_encode ... ok
test owner_zero_is_rejected_before_acquisition ... ok
test recycled_asid_flushes_old_cached_value_before_new_activation ... ok
test scarce_asid_capacity_fails_before_root_acquisition ... ok
test software_quota_is_bounded_by_real_active_width ... ok
test successful_retirement_rejects_stale_and_double_release ... ok
test two_live_spaces_have_distinct_roots_and_asids ... ok
test unsupported_translation_regimes_are_refused ... ok

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

   Compiling turkos-os-address-spaces v0.1.0 (<project>/os-address-spaces)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.31s
     Running tests/spaces.rs (reports/os-implementation/K821-K839-preparation-6JTwAT/target/debug/build/turkos-os-address-spaces/8a8b018c19f35bf8/out/spaces-8a8b018c19f35bf8)