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_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 91 tests in 18.303s

OK
