running 6 tests
test header_negative_bad_magic_is_rejected_before_body ... ok
test header_negative_declared_lengths_are_rejected_before_body ... ok
test header_negative_error_tags_are_stable ... ok
test header_negative_unknown_versions_are_rejected_before_body ... ok
test header_negative_truncated_v1_tail_does_not_copy ... ok
test os_boot_contract_header_negative ... ok

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

    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.00s
     Running tests/boot_header.rs (reports/os-implementation/K606-K609-dHreLg/target/debug/build/turkos-os-boot-header/d401b44f41192269/out/boot_header-d401b44f41192269)