running 9 tests
K608 profile=256MiB BootInfoV1=owned; source mutation ignored
K608 profile=512MiB BootInfoV1=owned; source mutation ignored
K608 profile=1024MiB BootInfoV1=owned; source mutation ignored
test header_negative_error_tags_are_stable ... ok
test header_negative_bad_magic_is_rejected_before_body ... ok
test header_negative_declared_lengths_are_rejected_before_body ... ok
test header_negative_truncated_v1_tail_does_not_copy ... ok
test header_negative_unknown_versions_are_rejected_before_body ... ok
test header_positive_ignores_trailing_readable_bytes ... ok
test os_boot_contract_header_negative ... ok
test header_positive_prefix_accepts_only_first_sixteen_bytes ... ok
test os_boot_contract_header_positive ... ok

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

   Compiling turkos-bootinfo v0.0.1 (<project>/bootinfo)
   Compiling turkos-os-boot-header v0.0.1 (<project>/os-boot-header)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.27s
     Running tests/boot_header.rs (reports/os-implementation/K606-K609-dHreLg/target/debug/build/turkos-os-boot-header/d401b44f41192269/out/boot_header-d401b44f41192269)