test_01_golden_normal_forms (test_tga.TGA.test_01_golden_normal_forms) ... ok
test_02_normalizer_rejects_code_and_float (test_tga.TGA.test_02_normalizer_rejects_code_and_float) ... ok
test_03_candidates_do_not_admit (test_tga.TGA.test_03_candidates_do_not_admit) ... ok
test_04_all_supported_edges_admit (test_tga.TGA.test_04_all_supported_edges_admit) ... ok
test_05_no_witness (test_tga.TGA.test_05_no_witness) ... ok
test_06_numerical_evidence_is_not_proof (test_tga.TGA.test_06_numerical_evidence_is_not_proof) ... ok
test_07_external_reference_is_not_proof (test_tga.TGA.test_07_external_reference_is_not_proof) ... ok
test_08_cannot_relabel_parameter_choice_as_equivalence (test_tga.TGA.test_08_cannot_relabel_parameter_choice_as_equivalence) ... ok
test_09_cannot_broaden_domain (test_tga.TGA.test_09_cannot_broaden_domain) ... ok
test_10_cannot_mark_floor_reversible (test_tga.TGA.test_10_cannot_mark_floor_reversible) ... ok
test_11_inverse_required_and_bound (test_tga.TGA.test_11_inverse_required_and_bound) ... ok
test_12_implementation_and_payload_bound (test_tga.TGA.test_12_implementation_and_payload_bound) ... ok
test_13_unknown_schema_and_duplicate_rejected (test_tga.TGA.test_13_unknown_schema_and_duplicate_rejected) ... ok
test_14_floor_sum_matches_brute_oracle (test_tga.TGA.test_14_floor_sum_matches_brute_oracle) ... ok
test_15_boundary_exact_certificate (test_tga.TGA.test_15_boundary_exact_certificate) ... ok
test_16_cached_certificate_cannot_be_mutated (test_tga.TGA.test_16_cached_certificate_cannot_be_mutated) ... ok
test_17_rewrite_guard_is_exclusive (test_tga.TGA.test_17_rewrite_guard_is_exclusive) ... ok
test_18_exact_399_ledger (test_tga.TGA.test_18_exact_399_ledger) ... ok
test_19_all_32768_seeds_roundtrip (test_tga.TGA.test_19_all_32768_seeds_roundtrip) ... ok
test_20_ledger_mutations_and_suffix (test_tga.TGA.test_20_ledger_mutations_and_suffix) ... ok
test_21_pair_image_guard (test_tga.TGA.test_21_pair_image_guard) ... ok
test_22_wrong_type_composition_rejected (test_tga.TGA.test_22_wrong_type_composition_rejected) ... ok
test_23_type_conventions_are_bound (test_tga.TGA.test_23_type_conventions_are_bound) ... ok
test_24_centered_probability_roundtrip (test_tga.TGA.test_24_centered_probability_roundtrip) ... ok
test_25_softmax_gauge_and_positivity_guards (test_tga.TGA.test_25_softmax_gauge_and_positivity_guards) ... ok
test_26_numerical_underflow_is_not_silent (test_tga.TGA.test_26_numerical_underflow_is_not_silent) ... ok
test_27_full_geometry_chain_retains_loss (test_tga.TGA.test_27_full_geometry_chain_retains_loss) ... ok
test_28_complex_image_guard (test_tga.TGA.test_28_complex_image_guard) ... ok
test_29_fourier_full_inverse_and_magnitude_loss (test_tga.TGA.test_29_fourier_full_inverse_and_magnitude_loss) ... ok
test_30_marked_fourier_chain (test_tga.TGA.test_30_marked_fourier_chain) ... ok
test_31_preservation_is_intersection_not_union (test_tga.TGA.test_31_preservation_is_intersection_not_union) ... ok
test_32_report_support_labels (test_tga.TGA.test_32_report_support_labels) ... ok

----------------------------------------------------------------------
Ran 32 tests in 7.725s

OK