{ "checkpoint": "R135", "event": "E11", "E11_R135_RESULT": "FAST AND ANOTHER FAMILY BOTH REMAIN ADMISSIBLE", "meaning": "Conditional outer FAST and SLOW completions survive different unmeasured flow/geometry assumptions; neither visible front receives an independent observational type.", "outer": { "conditional_families": [ "FAST", "SLOW" ], "observed_family_selected": false, "ordinary_fast_certificate_deg": { "lower_open": 0, "upper_closed": 90 }, "certificate_domain": "Frozen R93 normalized r,b domain and stationary-upstream interpretation; not an observed angle bound.", "theta_Bn_observational_interval": null, "theta_Bn_model_bounded_interval": null, "central_wcrit_km_s": 308.6147663145275, "central_u1n_threshold_km_s": 396.9205748456277, "slow_counterexample": "R135_outer_slow_counterexample.json" }, "inner": { "observed_family_selected": false, "observational_status": "UNRESOLVED", "conditional_compressive_family_in_new_grid": [ "SLOW" ], "assumption": "Uniform plasma copied from the central R110 ordinary-fast downstream family; R120 geometry and absolute-flow conditions.", "other_emission_material_and_unmeasured_state_interpretations": "Not observationally excluded.", "sampled_slow_outer_angle_extent_deg": [ 30.5, 68.0 ], "extent_is_not_an_observed_angle_or_certified_continuous_boundary": true }, "counts": { "outer_nodes": 10440, "outer_algebraic_roots": 20880, "outer_root_statuses": { "REJECTED_NON_EVOLUTIONARY": 7586, "fast_shock": 5580, "UNRESOLVED": 3310, "REJECTED_COMPLEX_ROOT": 2056, "slow_shock": 305, "REJECTED_NEGATIVE_FIELD_SQUARED": 2025, "REJECTED_NONREAL_FIELD": 18 }, "outer_scenarios": { "R93_corner_0": { "REJECTED_NON_EVOLUTIONARY": 178, "fast_shock": 180, "UNRESOLVED": 2 }, "R93_corner_1": { "REJECTED_NON_EVOLUTIONARY": 178, "fast_shock": 180, "UNRESOLVED": 2 }, "R93_corner_2": { "REJECTED_NON_EVOLUTIONARY": 179, "fast_shock": 180, "UNRESOLVED": 1 }, "R93_corner_3": { "REJECTED_NON_EVOLUTIONARY": 179, "fast_shock": 180, "UNRESOLVED": 1 }, "R110_C0": { "REJECTED_NON_EVOLUTIONARY": 179, "fast_shock": 180, "UNRESOLVED": 1 }, "R109_corner_0": { "REJECTED_NON_EVOLUTIONARY": 179, "fast_shock": 180, "UNRESOLVED": 1 }, "R109_corner_1": { "REJECTED_NON_EVOLUTIONARY": 179, "fast_shock": 180, "UNRESOLVED": 1 }, "R109_corner_2": { "REJECTED_NON_EVOLUTIONARY": 179, "fast_shock": 180, "UNRESOLVED": 1 }, "R109_corner_3": { "REJECTED_NON_EVOLUTIONARY": 179, "fast_shock": 180, "UNRESOLVED": 1 }, "R109_corner_4": { "REJECTED_NON_EVOLUTIONARY": 178, "fast_shock": 180, "UNRESOLVED": 2 }, "R109_corner_5": { "REJECTED_NON_EVOLUTIONARY": 178, "fast_shock": 180, "UNRESOLVED": 2 }, "R109_corner_6": { "REJECTED_NON_EVOLUTIONARY": 179, "fast_shock": 180, "UNRESOLVED": 1 }, "R109_corner_7": { "REJECTED_NON_EVOLUTIONARY": 179, "fast_shock": 180, "UNRESOLVED": 1 }, "R110_C0_flow_0.75": { "REJECTED_COMPLEX_ROOT": 150, "slow_shock": 12, "REJECTED_NON_EVOLUTIONARY": 99, "REJECTED_NEGATIVE_FIELD_SQUARED": 97, "UNRESOLVED": 1, "REJECTED_NONREAL_FIELD": 1 }, "R110_C0_flow_0.9": { "REJECTED_COMPLEX_ROOT": 90, "slow_shock": 11, "REJECTED_NON_EVOLUTIONARY": 129, "REJECTED_NEGATIVE_FIELD_SQUARED": 128, "UNRESOLVED": 1, "REJECTED_NONREAL_FIELD": 1 }, "R110_C0_flow_1": { "UNRESOLVED": 360 }, "R110_C0_flow_1.1": { "REJECTED_NON_EVOLUTIONARY": 178, "fast_shock": 180, "UNRESOLVED": 2 }, "R110_C0_flow_1.5": { "REJECTED_NON_EVOLUTIONARY": 179, "fast_shock": 180, "UNRESOLVED": 1 }, "R109_corner_0_flow_0.75": { "REJECTED_COMPLEX_ROOT": 136, "slow_shock": 17, "REJECTED_NON_EVOLUTIONARY": 108, "REJECTED_NEGATIVE_FIELD_SQUARED": 97, "UNRESOLVED": 1, "REJECTED_NONREAL_FIELD": 1 }, "R109_corner_0_flow_0.9": { "REJECTED_COMPLEX_ROOT": 82, "slow_shock": 12, "REJECTED_NON_EVOLUTIONARY": 135, "REJECTED_NEGATIVE_FIELD_SQUARED": 128, "UNRESOLVED": 2, "REJECTED_NONREAL_FIELD": 1 }, "R109_corner_0_flow_1": { "UNRESOLVED": 360 }, "R109_corner_0_flow_1.1": { "REJECTED_NON_EVOLUTIONARY": 178, "fast_shock": 180, "UNRESOLVED": 2 }, "R109_corner_0_flow_1.5": { "REJECTED_NON_EVOLUTIONARY": 179, "fast_shock": 180, "UNRESOLVED": 1 }, "R109_corner_1_flow_0.75": { "REJECTED_COMPLEX_ROOT": 136, "slow_shock": 17, "REJECTED_NON_EVOLUTIONARY": 108, "REJECTED_NEGATIVE_FIELD_SQUARED": 97, "UNRESOLVED": 1, "REJECTED_NONREAL_FIELD": 1 }, "R109_corner_1_flow_0.9": { "REJECTED_COMPLEX_ROOT": 82, "slow_shock": 12, "REJECTED_NON_EVOLUTIONARY": 135, "REJECTED_NEGATIVE_FIELD_SQUARED": 128, "UNRESOLVED": 2, "REJECTED_NONREAL_FIELD": 1 }, "R109_corner_1_flow_1": { "UNRESOLVED": 360 }, "R109_corner_1_flow_1.1": { "REJECTED_NON_EVOLUTIONARY": 178, "fast_shock": 180, "UNRESOLVED": 2 }, "R109_corner_1_flow_1.5": { "REJECTED_NON_EVOLUTIONARY": 179, "fast_shock": 180, "UNRESOLVED": 1 }, "R109_corner_2_flow_0.75": { "REJECTED_COMPLEX_ROOT": 164, "REJECTED_NEGATIVE_FIELD_SQUARED": 97, "slow_shock": 21, "REJECTED_NON_EVOLUTIONARY": 76, "UNRESOLVED": 1, "REJECTED_NONREAL_FIELD": 1 }, "R109_corner_2_flow_0.9": { "REJECTED_COMPLEX_ROOT": 102, "REJECTED_NEGATIVE_FIELD_SQUARED": 128, "slow_shock": 18, "REJECTED_NON_EVOLUTIONARY": 110, "UNRESOLVED": 1, "REJECTED_NONREAL_FIELD": 1 }, "R109_corner_2_flow_1": { "UNRESOLVED": 360 }, "R109_corner_2_flow_1.1": { "REJECTED_NON_EVOLUTIONARY": 179, "fast_shock": 180, "UNRESOLVED": 1 }, "R109_corner_2_flow_1.5": { "REJECTED_NON_EVOLUTIONARY": 179, "fast_shock": 180, "UNRESOLVED": 1 }, "R109_corner_3_flow_0.75": { "REJECTED_COMPLEX_ROOT": 164, "REJECTED_NEGATIVE_FIELD_SQUARED": 97, "slow_shock": 21, "REJECTED_NON_EVOLUTIONARY": 76, "UNRESOLVED": 1, "REJECTED_NONREAL_FIELD": 1 }, "R109_corner_3_flow_0.9": { "REJECTED_COMPLEX_ROOT": 102, "REJECTED_NEGATIVE_FIELD_SQUARED": 128, "slow_shock": 18, "REJECTED_NON_EVOLUTIONARY": 110, "UNRESOLVED": 1, "REJECTED_NONREAL_FIELD": 1 }, "R109_corner_3_flow_1": { "UNRESOLVED": 360 }, "R109_corner_3_flow_1.1": { "REJECTED_NON_EVOLUTIONARY": 179, "fast_shock": 180, "UNRESOLVED": 1 }, "R109_corner_3_flow_1.5": { "REJECTED_NON_EVOLUTIONARY": 179, "fast_shock": 180, "UNRESOLVED": 1 }, "R109_corner_4_flow_0.75": { "REJECTED_COMPLEX_ROOT": 108, "slow_shock": 29, "REJECTED_NON_EVOLUTIONARY": 123, "REJECTED_NEGATIVE_FIELD_SQUARED": 97, "UNRESOLVED": 2, "REJECTED_NONREAL_FIELD": 1 }, "R109_corner_4_flow_0.9": { "REJECTED_COMPLEX_ROOT": 62, "slow_shock": 21, "REJECTED_NON_EVOLUTIONARY": 145, "REJECTED_NEGATIVE_FIELD_SQUARED": 128, "UNRESOLVED": 3, "REJECTED_NONREAL_FIELD": 1 }, "R109_corner_4_flow_1": { "UNRESOLVED": 360 }, "R109_corner_4_flow_1.1": { "REJECTED_NON_EVOLUTIONARY": 177, "fast_shock": 180, "UNRESOLVED": 3 }, "R109_corner_4_flow_1.5": { "REJECTED_NON_EVOLUTIONARY": 178, "fast_shock": 180, "UNRESOLVED": 2 }, "R109_corner_5_flow_0.75": { "REJECTED_COMPLEX_ROOT": 108, "slow_shock": 29, "REJECTED_NON_EVOLUTIONARY": 123, "REJECTED_NEGATIVE_FIELD_SQUARED": 97, "UNRESOLVED": 2, "REJECTED_NONREAL_FIELD": 1 }, "R109_corner_5_flow_0.9": { "REJECTED_COMPLEX_ROOT": 62, "slow_shock": 21, "REJECTED_NON_EVOLUTIONARY": 145, "REJECTED_NEGATIVE_FIELD_SQUARED": 128, "UNRESOLVED": 3, "REJECTED_NONREAL_FIELD": 1 }, "R109_corner_5_flow_1": { "UNRESOLVED": 360 }, "R109_corner_5_flow_1.1": { "REJECTED_NON_EVOLUTIONARY": 177, "fast_shock": 180, "UNRESOLVED": 3 }, "R109_corner_5_flow_1.5": { "REJECTED_NON_EVOLUTIONARY": 178, "fast_shock": 180, "UNRESOLVED": 2 }, "R109_corner_6_flow_0.75": { "REJECTED_COMPLEX_ROOT": 158, "slow_shock": 12, "REJECTED_NEGATIVE_FIELD_SQUARED": 97, "REJECTED_NON_EVOLUTIONARY": 91, "UNRESOLVED": 1, "REJECTED_NONREAL_FIELD": 1 }, "R109_corner_6_flow_0.9": { "REJECTED_COMPLEX_ROOT": 96, "slow_shock": 11, "REJECTED_NEGATIVE_FIELD_SQUARED": 128, "REJECTED_NON_EVOLUTIONARY": 123, "UNRESOLVED": 1, "REJECTED_NONREAL_FIELD": 1 }, "R109_corner_6_flow_1": { "UNRESOLVED": 360 }, "R109_corner_6_flow_1.1": { "REJECTED_NON_EVOLUTIONARY": 179, "fast_shock": 180, "UNRESOLVED": 1 }, "R109_corner_6_flow_1.5": { "REJECTED_NON_EVOLUTIONARY": 179, "fast_shock": 180, "UNRESOLVED": 1 }, "R109_corner_7_flow_0.75": { "REJECTED_COMPLEX_ROOT": 158, "slow_shock": 12, "REJECTED_NEGATIVE_FIELD_SQUARED": 97, "REJECTED_NON_EVOLUTIONARY": 91, "UNRESOLVED": 1, "REJECTED_NONREAL_FIELD": 1 }, "R109_corner_7_flow_0.9": { "REJECTED_COMPLEX_ROOT": 96, "slow_shock": 11, "REJECTED_NEGATIVE_FIELD_SQUARED": 128, "REJECTED_NON_EVOLUTIONARY": 123, "UNRESOLVED": 1, "REJECTED_NONREAL_FIELD": 1 }, "R109_corner_7_flow_1": { "UNRESOLVED": 360 }, "R109_corner_7_flow_1.1": { "REJECTED_NON_EVOLUTIONARY": 179, "fast_shock": 180, "UNRESOLVED": 1 }, "R109_corner_7_flow_1.5": { "REJECTED_NON_EVOLUTIONARY": 179, "fast_shock": 180, "UNRESOLVED": 1 } }, "inner_nodes": 6660, "inner_algebraic_roots": 19980, "inner_root_statuses": { "REJECTED_COMPLEX_ROOT": 8226, "REJECTED_EXPANSIVE_ROOT": 2374, "slow_shock": 2470, "REJECTED_NONPOSITIVE_STATE": 6227, "UNRESOLVED": 4, "REJECTED_NON_EVOLUTIONARY": 230, "REJECTED_NONPOSITIVE_DENSITY": 449 }, "maximum_accepted_scaled_flux_residual": 3.478185979665451e-15, "counts_meaning": "Finite model/root records, not observations, probabilities or continuous-region area fractions." }, "numerical_guards": { "outer": { "denominator_or_gas_boundary": 70, "gas_boundary_guard_applies_before_root_sign": 3240 }, "inner": { "entropy_boundary": 1, "right_characteristic_coincidence": 1, "root_coalescence_guard_applies_before_realness": 2 } }, "no_new_measurements_or_observed_alpha_theta_interval": true, "no_two_wave_or_full_Riemann_fan_identification": true, "R132_R133_R134_unchanged": true, "minimum_observational_closure": "An independently associated local state pair: for the outer ridge, locate the radio compression and bound plasma-relative normal inflow with local geometry/thermal constraints; for the inner ridge, constrain the intervening plasma and the jump across that ridge.", "next_action": "Stop after verified R135 delivery.", "flow_closure": { "status": "PASS", "central_ucrit_km_s": 396.92057484562775, "whole_domain_sufficient_upper_u1n_km_s": 277.51356046971364, "whole_domain_wcrit_max_km_s": 428.0217806904416, "regular_slow_onset_infimum_proved": true, "additional_onset_controls": { "ACCEPTED": 27, "UNRESOLVED": 18 }, "meaning": "Conditional regular-family uniqueness only; local state association, normal velocity and closure must be observationally justified." } }