running 9 tests
K614 payload bisects Image: rejected; previous plan unchanged
K613 adjacent disjoint: five owners, 51 pages, no free collision
test checked_overflow_and_empty ... ok
test free_map_may_not_contain_image_or_guard ... ok
test direct_has_three_owners ... ok
test free_map_may_not_contain_payload ... ok
test non_ram_pages_rejected ... ok
test missing_pair_rejected ... ok
test os_boot_contract_regions_positive ... ok
test os_boot_contract_regions_negative ... ok
test same_page_adjacent_bytes_rejected ... ok

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

   Compiling turkos-os-boot-regions v0.1.0 (<project>/os-boot-regions)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.21s
     Running tests/regions.rs (reports/os-implementation/K611-K614-EzW3BR/target/debug/build/turkos-os-boot-regions/7b192f17a667f2eb/out/regions-7b192f17a667f2eb)