test_checkout_temp_destination_rejected (__main__.S4Bundle) ... ok
test_existing_output_never_overwritten (__main__.S4Bundle) ... ok
test_import_closure_rejections (__main__.S4Bundle) ... ok
test_missing_bundle_manifest_seal_and_changed_bytes (__main__.S4Bundle) ... ok
test_missing_private_evidence_and_extra_rejected (__main__.S4Bundle) ... ok
test_missing_profile_not_export_success (__main__.S4Bundle) ... ok
test_phase_role_pid_audio_and_guard_rejected (__main__.S4Bundle) ... ok
test_seal_normal_and_changes_not_native_proof (__main__.S4Bundle) ... ok
test_synthetic_phase_all_real_checkers_not_native_proof (__main__.S4Bundle) ... ok

----------------------------------------------------------------------
Ran 9 tests in 19.447s

OK
