running 14 tests
test origin_negative_bootinfo_in_dtb_position_is_rejected ... ok
test origin_negative_all_truncated_header_lengths_are_rejected ... ok
test origin_negative_bad_register_pointers_are_rejected ... ok
test origin_negative_checked_range_rejects_empty_overflow ... ok
test origin_negative_map_overflow_and_unknown_flags_never_fall_back ... ok
test origin_negative_nonzero_x1_without_payload_is_not_silently_direct ... ok
test origin_negative_image_dtb_overlap_is_rejected_on_both_paths ... ok
test origin_negative_image_and_dtb_outside_ram_are_rejected ... ok
test origin_negative_truncated_and_corrupt_dtb_are_rejected ... ok
test origin_negative_wrong_address_labels_are_rejected ... ok
test origin_negative_zero_x1_with_payload_is_not_silently_direct ... ok
test origin_negative_payload_aliasing_dtb_is_rejected ... ok
test origin_negative_version_size_magic_have_explicit_errors ... ok
test os_boot_contract_origin_negative ... ok

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

    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.00s
     Running tests/boot_contract.rs (reports/os-implementation/K601-K604-bSl4iH/target/debug/build/turkos-os-runtime/783d0bec6651390d/out/boot_contract-783d0bec6651390d)