Slice the Same Actual Q State
Abstract
Both new boundary cuts are sliced inside the special path already used by the parent.
Theorem 1.1 (Earn the Three Actual Q Fragments).
Lean statement: D5/S3/Combinatorics/Graph/PrefixReversal/NativeActualStateQPromotion.same_state_q_three_fragments
Proof. Machine-checked in Lean as D5/S3/Combinatorics/Graph/PrefixReversal/NativeActualStateQPromotion.same_state_q_three_fragments (✓ std3). ∎
Source. Repository-derived.
Commentary.
For either parity, the retained Q state and its literal boundary coordinates split the previously chosen special path into three path fragments. Their support, complete edge decomposition and filtered-edge inventory refer to that same special path and the two literal new cuts.