OMEGA_UNIFIED_EXACT_CHECK_V2
symbolic_polynomial_identities=11
certified_lambda_floor_states=32768
out_of_domain_disagreement_examples=1
consecutive_output_fibers=50001
fiber_predecessors=147084
maximum_fiber_cardinality_proved=3
optimal_fixed_width_witness_bits_proved=2
geometric_scale_cases_including_zero=32768
marked_point_vector_identities=131072
positive_scale_planar_recoveries=32767
canonical_transition_checks=753664
canonical_telescoping_prefix_checks=753664
canonical_full_history_roundtrips_per_witness_type=32768
maximum_extinction_horizon_observed=10
zero_horizon_roundtrips=4
messages_of_lengths_zero_through_two_per_codec=65793
composed_message_history_roundtrips_per_witness_type=7
malformed_input_cases_rejected=15
status=PASS