Slice the Exceptional Base Q Route from Actual Joint Pieces
Abstract
Slice the Exceptional Base Q Route from Actual Joint Pieces.
Theorem 1.1 (Earn the Exceptional Two-Cut Order).
Lean statement: D5/S3/Combinatorics/Graph/Walks/ActualBaseJointRouteSlicing.actual_base_joint_route_three_fragments
Proof. Machine-checked in Lean as D5/S3/Combinatorics/Graph/Walks/ActualBaseJointRouteSlicing.actual_base_joint_route_three_fragments (✓ std3). ∎
Source. Repository-derived.
Commentary.
At the exceptional second order, the actual middle boundary is recovered as the join of three concrete joint pieces and two restored seams. The two retained cuts lie in its first and third joint pieces, which earns their strict order on the supplied full Q route. The output exhausts that same route with exact support and edge identities; no higher-order crossing hypothesis is substituted.