test_all_operations (__main__.Diffs) ... ok
test_invalid_operations (__main__.Diffs) ... ok
test_reconstruction_and_proofs (__main__.Diffs) ... ok
test_attempt_to_normalize_violation_rejected (__main__.Normalization) ... ok
test_environment_values_differ_but_normal_form_equal (__main__.Normalization) ... ok
test_every_save_event_reversible (__main__.Normalization) ... ok
test_f3_keeps_relative_paths_and_words (__main__.Normalization) ... ok
test_guard_mismatch (__main__.Normalization) ... ok
test_nested_lookalike_is_not_eligible (__main__.Normalization) ... ok
test_original_transport_sha_detects_forged_timing (__main__.Normalization) ... ok
test_partial_timing_payload_rejected (__main__.Normalization) ... ok
test_prefix_boundary_and_reserved_token (__main__.Normalization) ... ok
test_sidecar_missing_duplicate_and_forged_paths (__main__.Normalization) ... ok
test_snapshot_and_latest_reversible (__main__.Normalization) ... ok
test_snapshot_event_outside_recent_is_not_eligible (__main__.Normalization) ... ok
test_wrong_event_and_source_are_preserved (__main__.Normalization) ... ok
test_wrong_timing_type_and_negative (__main__.Normalization) ... ok
test_all_events_beyond_recent_window (__main__.Reports) ... ok
test_all_semantic_layers_compared (__main__.Reports) ... ok
test_digest_alone_is_not_enough (__main__.Reports) ... ok
test_event_original_types_and_order (__main__.Reports) ... ok
test_event_start_and_ids (__main__.Reports) ... ok
test_exclusions_keep_actual_values (__main__.Reports) ... ok
test_handler_sets_and_counts (__main__.Reports) ... ok
test_observation_full_layers (__main__.Reports) ... ok
test_product_digest_self_consistency (__main__.Reports) ... ok
test_same_report (__main__.Reports) ... ok
test_scenario_existing_failures_preserved (__main__.Reports) ... ok
test_timing_digest_rule (__main__.Reports) ... ok
test_unknown_or_missing_fields_rejected (__main__.Reports) ... ok
test_violation_presence_and_difference (__main__.Reports) ... ok
test_O_cadence (__main__.S2Format) ... ok
test_counter_and_published_ids_binding (__main__.S2Format) ... ok
test_diff_and_same_as_S_transport (__main__.S2Format) ... ok
test_digest_and_scenario_contradiction (__main__.S2Format) ... ok
test_event_no_drop_duplicate_remap (__main__.S2Format) ... ok
test_event_original_field_types_mandatory (__main__.S2Format) ... ok
test_guard_actual_not_assumed (__main__.S2Format) ... ok
test_harness_digest_allows_only_dictionary_order (__main__.S2Format) ... ok
test_join_is_copy_and_retains_normalization_proof (__main__.S2Format) ... ok
test_kernel_cache_contradictions (__main__.S2Format) ... ok
test_lifecycle_guard_errors_and_boundaries (__main__.S2Format) ... ok
test_missing_full_state_not_digest_only (__main__.S2Format) ... ok
test_normalized_digest_and_raw_tree_are_both_bound (__main__.S2Format) ... ok
test_product_event_shape_and_typed_array (__main__.S2Format) ... ok
test_raw_observation_binding (__main__.S2Format) ... ok
test_roundtrip_tree_sha_and_raw_sha (__main__.S2Format) ... ok
test_s2_valid_and_not_formal_acceptance (__main__.S2Format) ... ok
test_state_witness_and_observation_mutation (__main__.S2Format) ... ok
test_stdout_exactly_one_line (__main__.S2Format) ... ok
test_autoload_class_and_script_import (__main__.S2Static) ... ok
test_comment_does_not_supply_proof (__main__.S2Static) ... ok
test_current_probe (__main__.S2Static) ... ok
test_full_state_and_godot_roundtrip_required (__main__.S2Static) ... ok
test_no_changes_outside_preparation_or_step (__main__.S2Static) ... ok
test_no_event_cap_or_duplicate_report (__main__.S2Static) ... ok
test_pause_and_step_arguments (__main__.S2Static) ... ok
test_textual_stringname_ordering (__main__.S2Static) ... ok
test_unlisted_live_method_and_late_preparation (__main__.S2Static) ... ok
test_variant_inference (__main__.S2Static) ... ok
test_X_recent_limit_and_counter (__main__.S3a) ... ok
test_duplicate_JSON_key_rejected (__main__.S3a) ... ok
test_e3_NA_cannot_be_PASS_or_applied (__main__.S3a) ... ok
test_e3_coverage_input_and_event_count_binding (__main__.S3a) ... ok
test_e3_invented_codes_and_missing_load_code (__main__.S3a) ... ok
test_e3_valid_R_and_O_records (__main__.S3a) ... ok
test_envelope_duplicates_not_defect (__main__.S3a) ... ok
test_event_count_defect_not_silently_accepted (__main__.S3a) ... ok
test_exact_phase_keys (__main__.S3a) ... ok
test_interval_gap_rejected (__main__.S3a) ... ok
test_invalid_input_accepted_is_not_PASS (__main__.S3a) ... ok
test_load_payload_and_pause_outcome (__main__.S3a) ... ok
test_operation_moved_outside_scenario_rejected (__main__.S3a) ... ok
test_package_fixed_mutations_and_hashes (__main__.S3a) ... ok
test_probe_connection_required (__main__.S3a) ... ok
test_rejection_mutation_retained_as_defect (__main__.S3a) ... ok
test_save_refusal_makes_load_NA (__main__.S3a) ... ok
test_scenario_mutation_static_boundary (__main__.S3a) ... ok
test_signals_all_minutes_and_order (__main__.S3a) ... ok
test_E5_cached_digest_defect_is_comparable (__main__.S3b) ... ok
test_NA_not_PASS (__main__.S3b) ... ok
test_aliasing_cannot_be_PASS (__main__.S3b) ... ok
test_aliasing_missing_record (__main__.S3b) ... ok
test_all_paths_and_ownership_R_O (__main__.S3b) ... ok
test_digest_defect_other_checkpoint_still_rejected (__main__.S3b) ... ok
test_digest_materialization_required (__main__.S3b) ... ok
test_empty_registry_not_NA (__main__.S3b) ... ok
test_event_count_mismatch (__main__.S3b) ... ok
test_facts_normalization_is_reversible (__main__.S3b) ... ok
test_first_placeable_choice (__main__.S3b) ... ok
test_interval_gap (__main__.S3b) ... ok
test_joined_s3b_self_comparison (__main__.S3b) ... ok
test_load_X_not_digest_only (__main__.S3b) ... ok
test_load_extra_event (__main__.S3b) ... ok
test_missing_path_and_combination (__main__.S3b) ... ok
test_missing_preview_observation (__main__.S3b) ... ok
test_missing_trial (__main__.S3b) ... ok
test_nested_mutation_required (__main__.S3b) ... ok
test_no_staleness_assertion_for_non_tick (__main__.S3b) ... ok
test_ownership_fact_dictionary_order_fallback (__main__.S3b) ... ok
test_path_order (__main__.S3b) ... ok
test_restore_extra_event (__main__.S3b) ... ok
test_signal_facts_cannot_be_dropped (__main__.S3b) ... ok
test_sort_rule_rejected (__main__.S3b) ... ok
test_static_handler_and_outside_mutations (__main__.S3b) ... ok
test_unpreviewed_choice (__main__.S3b) ... ok
test_wrong_registry_in_either_role (__main__.S3b) ... ok
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_rebound_lifecycle_and_scenario_contradictions (__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
test_copied_manifest_root_and_destination_count_rejected (__main__.S4NativeBundleLogic) ... ok
test_failure_keeps_raw_and_no_bundle_without_starting_engine (__main__.S4NativeBundleLogic) ... ok
test_gate_none_success_not_boolean (__main__.S4NativeBundleLogic) ... ok
test_receipt_and_source_rejection_matrix (__main__.S4NativeBundleLogic) ... ok
test_synthetic_full_bundle_positive_not_native_evidence (__main__.S4NativeBundleLogic) ... ok
test_check_accepts_true (__main__.S4ProbeAdmission) ... ok
test_check_rejects_false_all_errors (__main__.S4ProbeAdmission) ... ok
test_run_admission_accepts_true_mock_launch_only (__main__.S4ProbeAdmission) ... ok
test_run_admission_rejects_false_without_engine (__main__.S4ProbeAdmission) ... ok
test_nine_original_destinations_required (__main__.S4RemainingBindings) ... ok
test_nonzero_determinism_rejected_after_real_join (__main__.S4RemainingBindings) ... ok
test_owned_lifecycle_exit_diagnostic_and_profile_rejections (__main__.S4RemainingBindings) ... ok
test_verifier_accepts_true_recomputes_raw (__main__.S4RemainingBindings) ... ok
test_verifier_rejects_false_with_every_error (__main__.S4RemainingBindings) ... ok
test_cached_verdict_not_trusted (__main__.S4StoredResultBindings) ... ok
test_missing_sidecar_rejected_after_seal (__main__.S4StoredResultBindings) ... ok
test_raw_joined_substitution_rejected_after_seal (__main__.S4StoredResultBindings) ... ok
test_fixed_scenario_paths (__main__.SourcesAndMetrics) ... ok
test_metric_ranges (__main__.SourcesAndMetrics) ... ok
test_source_closure_synthetic_registered_map (__main__.SourcesAndMetrics) ... ok
test_source_pin_is_not_caller_controlled (__main__.SourcesAndMetrics) ... ok
test_array_order_and_all_differences (__main__.TypedTrees) ... ok
test_components_and_sha (__main__.TypedTrees) ... ok
test_deep_state_not_truncated (__main__.TypedTrees) ... ok
test_duplicate_textual_keys_rejected (__main__.TypedTrees) ... ok
test_exact_and_types (__main__.TypedTrees) ... ok
test_nested_order_all_paths (__main__.TypedTrees) ... ok
test_nonstring_keys_keep_types_and_values (__main__.TypedTrees) ... ok
test_unsupported_and_malformed (__main__.TypedTrees) ... ok

----------------------------------------------------------------------
Ran 146 tests in 293.277s

OK

exit_code=0
wall_seconds=293.5742515
