Construct the Exceptional Actual Native Q Split
Abstract
Construct the Exceptional Actual Native Q Split.
Theorem 1.1 (Recover the Second-Order Middle Boundary).
Lean statement: D5/S3/Combinatorics/Graph/PrefixReversal/NativeActualQBaseSlicing.native_actual_q_base_three_fragments
Proof. Machine-checked in Lean as D5/S3/Combinatorics/Graph/PrefixReversal/NativeActualQBaseSlicing.native_actual_q_base_three_fragments (✓ std3). ∎
Source. Repository-derived.
Commentary.
Literal second-order port coordinates identify two restored seams connecting three concrete joint pieces in the middle boundary path. The same prior cycle supplies the retained a and b edges; actual joint ownership earns both cut positions. The three resulting paths exhaust the supplied full Q route with exact support and edge identities.