running 8 tests
K638 direct DTB and UEFI DTB/payload witnesses published exactly
K639 assembly-x1-zero rejected; unpublished state retained; healthy progress
test absent_or_damaged_cookie_never_publishes ... ok
test direct_x1_clobber_cannot_silently_select_uefi ... ok
test assembly_witness_layout_is_fixed ... ok
test every_register_bit_must_match_in_both_boot_paths ... ok
test opaque_address_boundaries_do_not_dereference_memory ... ok
test os_entry_arguments_positive ... ok
test subsequent_publication_cannot_replace_healthy_observation ... ok
test os_entry_arguments_negative ... ok

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

    Blocking waiting for file lock on package cache
    Blocking waiting for file lock on package cache
   Compiling turkos-os-entry-arguments v0.1.0 (<project>/os-entry-arguments)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.22s
     Running tests/arguments.rs (reports/os-implementation/K636-K639-uqt4Qk/target/debug/build/turkos-os-entry-arguments/7e23202805a1d2d4/out/arguments-7e23202805a1d2d4)