running 7 tests
K618 source map mutated; kernel-owned 80-byte copy remained stable
test empty_source_does_not_publish ... ok
test short_destination_does_not_publish ... ok
K619 post-exit service request rejected without state change
test exact_capacity_is_accepted ... ok
test snapshot_requires_exit ... ok
test oversized_source_does_not_publish ... ok
test os_boot_contract_finalize_positive ... ok
test os_boot_contract_finalize_negative ... ok

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

   Compiling turkos-os-boot-finalize v0.1.0 (<project>/os-boot-finalize)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.34s
     Running tests/finalize.rs (reports/os-implementation/K616-K619-bS0TbR/target/debug/build/turkos-os-boot-finalize/dc8785b6a9c612e2/out/finalize-dc8785b6a9c612e2)