Explanation: Narrow-local hold probe step 9/9: route to narrow then test right into color-11 body.

Rejected response: Infer horizontal collision without a direct probe.


Explanation: Reset for clean delayed-first-arrival/crossing choreography.

Rejected response: Continue the blocked narrow-horizontal probe.


Explanation: Delayed-first-crossing Actor 1 step 1/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Delayed-first-crossing Actor 1 step 2/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Delayed-first-crossing Actor 1 step 3/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Delayed-first-crossing Actor 1 step 4/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Delayed-first-crossing Actor 1 step 5/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Delayed-first-crossing Actor 1 step 6/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Delayed-first-crossing Actor 1 step 7/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Delayed-first-crossing Actor 1 step 8/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Delayed-first-crossing Actor 1 step 9/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Delayed-first-crossing Actor 1 step 10/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Delayed-first-crossing Actor 1 step 11/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Delayed-first-crossing Actor 1 step 12/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Delayed-first-crossing Actor 1 step 13/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Delayed-first-crossing Actor 1 step 14/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Delayed-first-crossing Actor 1 step 15/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Delayed-first-crossing Actor 1 step 16/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Delayed-first-crossing Actor 1 step 17/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Delayed-first-crossing Actor 1 step 18/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Delayed-first-crossing Actor 1 step 19/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Delayed-first-crossing Actor 1 step 20/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Delayed-first-crossing Actor 1 step 21/21: top oscillations postpone first narrow arrival to step 18.

Rejected response: Introduce any earlier color-11 arrival.


Explanation: Commit delayed-first-arrival Actor 1 on right-8.

Rejected response: Leave the synchronized step-18 holder uncommitted.


Explanation: Delayed-first-crossing Actor 2 step 1/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 2/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 3/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 4/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 5/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 6/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 7/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 8/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 9/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 10/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 11/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 12/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 13/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 14/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 15/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 16/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 17/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 18/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 19/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 20/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 21/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 22/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 23/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 24/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 25/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 26/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 27/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 28/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Delayed-first-crossing Actor 2 step 29/29: top-column oscillations postpone its first crossing to shifted step 19.

Rejected response: Attempt color-11 before Actor-1 first arrival.


Explanation: Commit clean delayed-crossing Actor 2 on left-8.

Rejected response: Leave the no-block 29-move trajectory uncommitted.


Explanation: Final delayed-first replay clock step 1/19: align Actor-1 arrival 18 and Actor-2 clean crossing 19.

Rejected response: Pause playback with blocked inputs.


Explanation: Final delayed-first replay clock step 2/19: align Actor-1 arrival 18 and Actor-2 clean crossing 19.

Rejected response: Pause playback with blocked inputs.


Explanation: Final delayed-first replay clock step 3/19: align Actor-1 arrival 18 and Actor-2 clean crossing 19.

Rejected response: Pause playback with blocked inputs.


Explanation: Final delayed-first replay clock step 4/19: align Actor-1 arrival 18 and Actor-2 clean crossing 19.

Rejected response: Pause playback with blocked inputs.


Explanation: Final delayed-first replay clock step 5/19: align Actor-1 arrival 18 and Actor-2 clean crossing 19.

Rejected response: Pause playback with blocked inputs.


Explanation: Final delayed-first replay clock step 6/19: align Actor-1 arrival 18 and Actor-2 clean crossing 19.

Rejected response: Pause playback with blocked inputs.


Explanation: Final delayed-first replay clock step 7/19: align Actor-1 arrival 18 and Actor-2 clean crossing 19.

Rejected response: Pause playback with blocked inputs.


Explanation: Final delayed-first replay clock step 8/19: align Actor-1 arrival 18 and Actor-2 clean crossing 19.

Rejected response: Pause playback with blocked inputs.


Explanation: Final delayed-first replay clock step 9/19: align Actor-1 arrival 18 and Actor-2 clean crossing 19.

Rejected response: Pause playback with blocked inputs.


Explanation: Final delayed-first replay clock step 10/19: align Actor-1 arrival 18 and Actor-2 clean crossing 19.

Rejected response: Pause playback with blocked inputs.


Explanation: Final delayed-first replay clock step 11/19: align Actor-1 arrival 18 and Actor-2 clean crossing 19.

Rejected response: Pause playback with blocked inputs.


Explanation: Final delayed-first replay clock step 12/19: align Actor-1 arrival 18 and Actor-2 clean crossing 19.

Rejected response: Pause playback with blocked inputs.


Explanation: Final delayed-first replay clock step 13/19: align Actor-1 arrival 18 and Actor-2 clean crossing 19.

Rejected response: Pause playback with blocked inputs.


Explanation: Final delayed-first replay clock step 14/19: align Actor-1 arrival 18 and Actor-2 clean crossing 19.

Rejected response: Pause playback with blocked inputs.


Explanation: Final delayed-first replay clock step 15/19: align Actor-1 arrival 18 and Actor-2 clean crossing 19.

Rejected response: Pause playback with blocked inputs.


Explanation: Final delayed-first replay clock step 16/19: align Actor-1 arrival 18 and Actor-2 clean crossing 19.

Rejected response: Pause playback with blocked inputs.


Explanation: Final delayed-first replay clock step 17/19: align Actor-1 arrival 18 and Actor-2 clean crossing 19.

Rejected response: Pause playback with blocked inputs.


Explanation: Final delayed-first replay clock step 18/19: align Actor-1 arrival 18 and Actor-2 clean crossing 19.

Rejected response: Pause playback with blocked inputs.


Explanation: Final delayed-first replay clock step 19/19: align Actor-1 arrival 18 and Actor-2 clean crossing 19.

Rejected response: Pause playback with blocked inputs.


Explanation: Second-lag tick after Actor-1 first arrival; component-check Actor 2 immediately.

Rejected response: Continue unbounded ticks without resolving first-arrival behavior.


Explanation: Reset for full top-boundary replay realignment program.

Rejected response: Continue the ruled-out first-arrival program.


Explanation: Top-realignment Actor 1 step 1/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Top-realignment Actor 1 step 2/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Top-realignment Actor 1 step 3/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Top-realignment Actor 1 step 4/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Top-realignment Actor 1 step 5/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Top-realignment Actor 1 step 6/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Top-realignment Actor 1 step 7/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Top-realignment Actor 1 step 8/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Top-realignment Actor 1 step 9/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Top-realignment Actor 1 step 10/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Top-realignment Actor 1 step 11/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Top-realignment Actor 1 step 12/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Top-realignment Actor 1 step 13/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Top-realignment Actor 1 step 14/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Top-realignment Actor 1 step 15/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Top-realignment Actor 1 step 16/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Top-realignment Actor 1 step 17/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Top-realignment Actor 1 step 18/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Top-realignment Actor 1 step 19/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Top-realignment Actor 1 step 20/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Top-realignment Actor 1 step 21/21: arrivals 10,12,18 then right-8.

Rejected response: Alter the three-arrival shift schedule.


Explanation: Commit three-arrival Actor 1 on right-8.

Rejected response: Leave the top-realignment schedule uncommitted.


Explanation: Top-realignment Actor 2 step 1/29: cross 11, climb Ux4, shared descent under third arrival, finish left-8.

Rejected response: Skip boundary realignment and desynchronize replay.


Explanation: Top-realignment Actor 2 step 2/29: cross 11, climb Ux4, shared descent under third arrival, finish left-8.

Rejected response: Skip boundary realignment and desynchronize replay.


Explanation: Top-realignment Actor 2 step 3/29: cross 11, climb Ux4, shared descent under third arrival, finish left-8.

Rejected response: Skip boundary realignment and desynchronize replay.


Explanation: Top-realignment Actor 2 step 4/29: cross 11, climb Ux4, shared descent under third arrival, finish left-8.

Rejected response: Skip boundary realignment and desynchronize replay.


Explanation: Top-realignment Actor 2 step 5/29: cross 11, climb Ux4, shared descent under third arrival, finish left-8.

Rejected response: Skip boundary realignment and desynchronize replay.


Explanation: Top-realignment Actor 2 step 6/29: cross 11, climb Ux4, shared descent under third arrival, finish left-8.

Rejected response: Skip boundary realignment and desynchronize replay.


Explanation: Top-realignment Actor 2 step 7/29: cross 11, climb Ux4, shared descent under third arrival, finish left-8.

Rejected response: Skip boundary realignment and desynchronize replay.


Explanation: Top-realignment Actor 2 step 8/29: cross 11, climb Ux4, shared descent under third arrival, finish left-8.

Rejected response: Skip boundary realignment and desynchronize replay.


Explanation: Top-realignment Actor 2 step 9/29: cross 11, climb Ux4, shared descent under third arrival, finish left-8.

Rejected response: Skip boundary realignment and desynchronize replay.


Explanation: Top-realignment Actor 2 step 10/29: cross 11, climb Ux4, shared descent under third arrival, finish left-8.

Rejected response: Skip boundary realignment and desynchronize replay.


Explanation: Top-realignment Actor 2 step 11/29: cross 11, climb Ux4, shared descent under third arrival, finish left-8.

Rejected response: Skip boundary realignment and desynchronize replay.


Explanation: Top-realignment Actor 2 step 12/29: cross 11, climb Ux4, shared descent under third arrival, finish left-8.

Rejected response: Skip boundary realignment and desynchronize replay.


Explanation: Top-realignment Actor 2 step 13/29: cross 11, climb Ux4, shared descent under third arrival, finish left-8.

Rejected response: Skip boundary realignment and desynchronize replay.


Explanation: Top-realignment Actor 2 step 14/29: cross 11, climb Ux4, shared descent under third arrival, finish left-8.

Rejected response: Skip boundary realignment and desynchronize replay.


Explanation: Top-realignment Actor 2 step 15/29: cross 11, climb Ux4, shared descent under third arrival, finish left-8.

Rejected response: Skip boundary realignment and desynchronize replay.


Explanation: Reset for second-world-model post-exhaustion upward probe.

Rejected response: Retry upward while Actor 1 remains active.


Explanation: WM2 Actor 1 step 1/15: dual arrival then exhaust on right-8.

Rejected response: Change the established dual-arrival holder.


Explanation: WM2 Actor 1 step 2/15: dual arrival then exhaust on right-8.

Rejected response: Change the established dual-arrival holder.


Explanation: WM2 Actor 1 step 3/15: dual arrival then exhaust on right-8.

Rejected response: Change the established dual-arrival holder.


Explanation: WM2 Actor 1 step 4/15: dual arrival then exhaust on right-8.

Rejected response: Change the established dual-arrival holder.


Explanation: WM2 Actor 1 step 5/15: dual arrival then exhaust on right-8.

Rejected response: Change the established dual-arrival holder.


Explanation: WM2 Actor 1 step 6/15: dual arrival then exhaust on right-8.

Rejected response: Change the established dual-arrival holder.


Explanation: WM2 Actor 1 step 7/15: dual arrival then exhaust on right-8.

Rejected response: Change the established dual-arrival holder.


Explanation: WM2 Actor 1 step 8/15: dual arrival then exhaust on right-8.

Rejected response: Change the established dual-arrival holder.


Explanation: WM2 Actor 1 step 9/15: dual arrival then exhaust on right-8.

Rejected response: Change the established dual-arrival holder.


Explanation: WM2 Actor 1 step 10/15: dual arrival then exhaust on right-8.

Rejected response: Change the established dual-arrival holder.


Explanation: WM2 Actor 1 step 11/15: dual arrival then exhaust on right-8.

Rejected response: Change the established dual-arrival holder.


Explanation: WM2 Actor 1 step 12/15: dual arrival then exhaust on right-8.

Rejected response: Change the established dual-arrival holder.


Explanation: WM2 Actor 1 step 13/15: dual arrival then exhaust on right-8.

Rejected response: Change the established dual-arrival holder.


Explanation: WM2 Actor 1 step 14/15: dual arrival then exhaust on right-8.

Rejected response: Change the established dual-arrival holder.


Explanation: WM2 Actor 1 step 15/15: dual arrival then exhaust on right-8.

Rejected response: Change the established dual-arrival holder.


Explanation: Commit WM2 dual-arrival Actor 1.

Rejected response: Leave the right-holder path uncommitted.


Explanation: WM2 Actor 2 step 1/17: cross, exhaust Actor1 on right-8, then test upward re-entry.

Rejected response: Test upward before holder exhaustion.


Explanation: WM2 Actor 2 step 2/17: cross, exhaust Actor1 on right-8, then test upward re-entry.

Rejected response: Test upward before holder exhaustion.


Explanation: WM2 Actor 2 step 3/17: cross, exhaust Actor1 on right-8, then test upward re-entry.

Rejected response: Test upward before holder exhaustion.


Explanation: WM2 Actor 2 step 4/17: cross, exhaust Actor1 on right-8, then test upward re-entry.

Rejected response: Test upward before holder exhaustion.


Explanation: WM2 Actor 2 step 5/17: cross, exhaust Actor1 on right-8, then test upward re-entry.

Rejected response: Test upward before holder exhaustion.


Explanation: WM2 Actor 2 step 6/17: cross, exhaust Actor1 on right-8, then test upward re-entry.

Rejected response: Test upward before holder exhaustion.


Explanation: WM2 Actor 2 step 7/17: cross, exhaust Actor1 on right-8, then test upward re-entry.

Rejected response: Test upward before holder exhaustion.


Explanation: WM2 Actor 2 step 8/17: cross, exhaust Actor1 on right-8, then test upward re-entry.

Rejected response: Test upward before holder exhaustion.


Explanation: WM2 Actor 2 step 9/17: cross, exhaust Actor1 on right-8, then test upward re-entry.

Rejected response: Test upward before holder exhaustion.


Explanation: WM2 Actor 2 step 10/17: cross, exhaust Actor1 on right-8, then test upward re-entry.

Rejected response: Test upward before holder exhaustion.


Explanation: WM2 Actor 2 step 11/17: cross, exhaust Actor1 on right-8, then test upward re-entry.

Rejected response: Test upward before holder exhaustion.


Explanation: WM2 Actor 2 step 12/17: cross, exhaust Actor1 on right-8, then test upward re-entry.

Rejected response: Test upward before holder exhaustion.


Explanation: WM2 Actor 2 step 13/17: cross, exhaust Actor1 on right-8, then test upward re-entry.

Rejected response: Test upward before holder exhaustion.


Explanation: WM2 Actor 2 step 14/17: cross, exhaust Actor1 on right-8, then test upward re-entry.

Rejected response: Test upward before holder exhaustion.


Explanation: WM2 Actor 2 step 15/17: cross, exhaust Actor1 on right-8, then test upward re-entry.

Rejected response: Test upward before holder exhaustion.


Explanation: WM2 Actor 2 step 16/17: cross, exhaust Actor1 on right-8, then test upward re-entry.

Rejected response: Test upward before holder exhaustion.


Explanation: WM2 Actor 2 step 17/17: cross, exhaust Actor1 on right-8, then test upward re-entry.

Rejected response: Test upward before holder exhaustion.


Explanation: Reset for early replay re-entry before first crossing command.

Rejected response: Continue post-exhaustion repair.


Explanation: Early-reentry Actor1 step 1/13: arrival8 re-entry10 right-holder13.

Rejected response: Delay re-entry past Actor2 first crossing.


Explanation: Early-reentry Actor1 step 2/13: arrival8 re-entry10 right-holder13.

Rejected response: Delay re-entry past Actor2 first crossing.


Explanation: Early-reentry Actor1 step 3/13: arrival8 re-entry10 right-holder13.

Rejected response: Delay re-entry past Actor2 first crossing.


Explanation: Early-reentry Actor1 step 4/13: arrival8 re-entry10 right-holder13.

Rejected response: Delay re-entry past Actor2 first crossing.


Explanation: Early-reentry Actor1 step 5/13: arrival8 re-entry10 right-holder13.

Rejected response: Delay re-entry past Actor2 first crossing.


Explanation: Early-reentry Actor1 step 6/13: arrival8 re-entry10 right-holder13.

Rejected response: Delay re-entry past Actor2 first crossing.


Explanation: Early-reentry Actor1 step 7/13: arrival8 re-entry10 right-holder13.

Rejected response: Delay re-entry past Actor2 first crossing.


Explanation: Early-reentry Actor1 step 8/13: arrival8 re-entry10 right-holder13.

Rejected response: Delay re-entry past Actor2 first crossing.


Explanation: Early-reentry Actor1 step 9/13: arrival8 re-entry10 right-holder13.

Rejected response: Delay re-entry past Actor2 first crossing.


Explanation: Early-reentry Actor1 step 10/13: arrival8 re-entry10 right-holder13.

Rejected response: Delay re-entry past Actor2 first crossing.


Explanation: Early-reentry Actor1 step 11/13: arrival8 re-entry10 right-holder13.

Rejected response: Delay re-entry past Actor2 first crossing.


Explanation: Early-reentry Actor1 step 12/13: arrival8 re-entry10 right-holder13.

Rejected response: Delay re-entry past Actor2 first crossing.


Explanation: Early-reentry Actor1 step 13/13: arrival8 re-entry10 right-holder13.

Rejected response: Delay re-entry past Actor2 first crossing.


Explanation: Commit early-reentry Actor1 on right8.

Rejected response: Leave the no-loss test uncommitted.


Explanation: Early-reentry Actor2 first-crossing test step 1/11.

Rejected response: Infer second-departure behavior without direct crossing.


Explanation: Early-reentry Actor2 first-crossing test step 2/11.

Rejected response: Infer second-departure behavior without direct crossing.


Explanation: Early-reentry Actor2 first-crossing test step 3/11.

Rejected response: Infer second-departure behavior without direct crossing.


Explanation: Early-reentry Actor2 first-crossing test step 4/11.

Rejected response: Infer second-departure behavior without direct crossing.


Explanation: Early-reentry Actor2 first-crossing test step 5/11.

Rejected response: Infer second-departure behavior without direct crossing.


Explanation: Early-reentry Actor2 first-crossing test step 6/11.

Rejected response: Infer second-departure behavior without direct crossing.


Explanation: Early-reentry Actor2 first-crossing test step 7/11.

Rejected response: Infer second-departure behavior without direct crossing.


Explanation: Early-reentry Actor2 first-crossing test step 8/11.

Rejected response: Infer second-departure behavior without direct crossing.


Explanation: Early-reentry Actor2 first-crossing test step 9/11.

Rejected response: Infer second-departure behavior without direct crossing.


Explanation: Early-reentry Actor2 first-crossing test step 10/11.

Rejected response: Infer second-departure behavior without direct crossing.


Explanation: Early-reentry Actor2 first-crossing test step 11/11.

Rejected response: Infer second-departure behavior without direct crossing.


Explanation: Reset exhausted early-reentry branch before exact 15/25/30 below-gate realignment program.

Rejected response: Continue a branch whose Actor2 step-11 crossing is already falsified.


Explanation: N75 exact Actor1 dual-arrival/right-8 holder step 1/15.

Rejected response: Use the 13-step early-reentry holder whose second-departure live crossing failed.


Explanation: N75 exact Actor1 dual-arrival/right-8 holder step 2/15.

Rejected response: Use the 13-step early-reentry holder whose second-departure live crossing failed.


Explanation: N75 exact Actor1 dual-arrival/right-8 holder step 3/15.

Rejected response: Use the 13-step early-reentry holder whose second-departure live crossing failed.


Explanation: N75 exact Actor1 dual-arrival/right-8 holder step 4/15.

Rejected response: Use the 13-step early-reentry holder whose second-departure live crossing failed.


Explanation: N75 exact Actor1 dual-arrival/right-8 holder step 5/15.

Rejected response: Use the 13-step early-reentry holder whose second-departure live crossing failed.


Explanation: N75 exact Actor1 dual-arrival/right-8 holder step 6/15.

Rejected response: Use the 13-step early-reentry holder whose second-departure live crossing failed.


Explanation: N75 exact Actor1 dual-arrival/right-8 holder step 7/15.

Rejected response: Use the 13-step early-reentry holder whose second-departure live crossing failed.


Explanation: N75 exact Actor1 dual-arrival/right-8 holder step 8/15.

Rejected response: Use the 13-step early-reentry holder whose second-departure live crossing failed.


Explanation: N75 exact Actor1 dual-arrival/right-8 holder step 9/15.

Rejected response: Use the 13-step early-reentry holder whose second-departure live crossing failed.


Explanation: N75 exact Actor1 dual-arrival/right-8 holder step 10/15.

Rejected response: Use the 13-step early-reentry holder whose second-departure live crossing failed.


Explanation: N75 exact Actor1 dual-arrival/right-8 holder step 11/15.

Rejected response: Use the 13-step early-reentry holder whose second-departure live crossing failed.


Explanation: N75 exact Actor1 dual-arrival/right-8 holder step 12/15.

Rejected response: Use the 13-step early-reentry holder whose second-departure live crossing failed.


Explanation: N75 exact Actor1 dual-arrival/right-8 holder step 13/15.

Rejected response: Use the 13-step early-reentry holder whose second-departure live crossing failed.


Explanation: N75 exact Actor1 dual-arrival/right-8 holder step 14/15.

Rejected response: Use the 13-step early-reentry holder whose second-departure live crossing failed.


Explanation: N75 exact Actor1 dual-arrival/right-8 holder step 15/15.

Rejected response: Use the 13-step early-reentry holder whose second-departure live crossing failed.


Explanation: Commit verified 15-step Actor1 dual-arrival trajectory on right-8.

Rejected response: Modify the verified holder before testing the derived Actor2 realignment.


Explanation: N75 exact Actor2 far-route step 1/25; verify first-departure crossing at step 11.

Rejected response: Depend on the falsified second-departure crossing.


Explanation: N75 exact Actor2 far-route step 2/25; verify first-departure crossing at step 11.

Rejected response: Depend on the falsified second-departure crossing.


Explanation: N75 exact Actor2 far-route step 3/25; verify first-departure crossing at step 11.

Rejected response: Depend on the falsified second-departure crossing.


Explanation: N75 exact Actor2 far-route step 4/25; verify first-departure crossing at step 11.

Rejected response: Depend on the falsified second-departure crossing.


Explanation: N75 exact Actor2 far-route step 5/25; verify first-departure crossing at step 11.

Rejected response: Depend on the falsified second-departure crossing.


Explanation: N75 exact Actor2 far-route step 6/25; verify first-departure crossing at step 11.

Rejected response: Depend on the falsified second-departure crossing.


Explanation: N75 exact Actor2 far-route step 7/25; verify first-departure crossing at step 11.

Rejected response: Depend on the falsified second-departure crossing.


Explanation: N75 exact Actor2 far-route step 8/25; verify first-departure crossing at step 11.

Rejected response: Depend on the falsified second-departure crossing.


Explanation: N75 exact Actor2 far-route step 9/25; verify first-departure crossing at step 11.

Rejected response: Depend on the falsified second-departure crossing.


Explanation: N75 exact Actor2 far-route step 10/25; verify first-departure crossing at step 11.

Rejected response: Depend on the falsified second-departure crossing.


Explanation: N75 exact Actor2 far-route step 11/25; verify first-departure crossing at step 11.

Rejected response: Depend on the falsified second-departure crossing.


Explanation: N75 exact Actor2 below-gate realignment and left-8 route step 12/25.

Rejected response: Attempt upward color-11 re-entry or preserve the two-tile replay offset.


Explanation: N75 exact Actor2 below-gate realignment and left-8 route step 13/25.

Rejected response: Attempt upward color-11 re-entry or preserve the two-tile replay offset.


Explanation: N75 exact Actor2 below-gate realignment and left-8 route step 14/25.

Rejected response: Attempt upward color-11 re-entry or preserve the two-tile replay offset.


Explanation: N75 exact Actor2 below-gate realignment and left-8 route step 15/25.

Rejected response: Attempt upward color-11 re-entry or preserve the two-tile replay offset.


Explanation: N75 exact Actor2 below-gate realignment and left-8 route step 16/25.

Rejected response: Attempt upward color-11 re-entry or preserve the two-tile replay offset.


Explanation: N75 exact Actor2 below-gate realignment and left-8 route step 17/25.

Rejected response: Attempt upward color-11 re-entry or preserve the two-tile replay offset.


Explanation: N75 exact Actor2 below-gate realignment and left-8 route step 18/25.

Rejected response: Attempt upward color-11 re-entry or preserve the two-tile replay offset.


Explanation: N75 exact Actor2 below-gate realignment and left-8 route step 19/25.

Rejected response: Attempt upward color-11 re-entry or preserve the two-tile replay offset.


Explanation: N75 exact Actor2 below-gate realignment and left-8 route step 20/25.

Rejected response: Attempt upward color-11 re-entry or preserve the two-tile replay offset.


Explanation: N75 exact Actor2 below-gate realignment and left-8 route step 21/25.

Rejected response: Attempt upward color-11 re-entry or preserve the two-tile replay offset.


Explanation: N75 exact Actor2 below-gate realignment and left-8 route step 22/25.

Rejected response: Attempt upward color-11 re-entry or preserve the two-tile replay offset.


Explanation: N75 exact Actor2 below-gate realignment and left-8 route step 23/25.

Rejected response: Attempt upward color-11 re-entry or preserve the two-tile replay offset.


Explanation: N75 exact Actor2 below-gate realignment and left-8 route step 24/25.

Rejected response: Attempt upward color-11 re-entry or preserve the two-tile replay offset.


Explanation: N75 exact Actor2 below-gate realignment and left-8 route step 25/25.

Rejected response: Attempt upward color-11 re-entry or preserve the two-tile replay offset.


Explanation: Commit verified 25-step Actor2 far-route and below-gate realignment trajectory on left-8.

Rejected response: Alter the all-successful live trajectory before its replay realignment test.


Explanation: N75 final Actor3 route/clock step 1/30; Actor1 re-arrival step 12 and peer replay release step 13.

Rejected response: Attempt the goal before Actor2 replay is realigned on left-8.


Explanation: N75 final Actor3 route/clock step 2/30; Actor1 re-arrival step 12 and peer replay release step 13.

Rejected response: Attempt the goal before Actor2 replay is realigned on left-8.


Explanation: N75 final Actor3 route/clock step 3/30; Actor1 re-arrival step 12 and peer replay release step 13.

Rejected response: Attempt the goal before Actor2 replay is realigned on left-8.


Explanation: N75 final Actor3 route/clock step 4/30; Actor1 re-arrival step 12 and peer replay release step 13.

Rejected response: Attempt the goal before Actor2 replay is realigned on left-8.


Explanation: N75 final Actor3 route/clock step 5/30; Actor1 re-arrival step 12 and peer replay release step 13.

Rejected response: Attempt the goal before Actor2 replay is realigned on left-8.


Explanation: N75 final Actor3 route/clock step 6/30; Actor1 re-arrival step 12 and peer replay release step 13.

Rejected response: Attempt the goal before Actor2 replay is realigned on left-8.


Explanation: N75 final Actor3 route/clock step 7/30; Actor1 re-arrival step 12 and peer replay release step 13.

Rejected response: Attempt the goal before Actor2 replay is realigned on left-8.


Explanation: N75 final Actor3 route/clock step 8/30; Actor1 re-arrival step 12 and peer replay release step 13.

Rejected response: Attempt the goal before Actor2 replay is realigned on left-8.


Explanation: N75 final Actor3 route/clock step 9/30; Actor1 re-arrival step 12 and peer replay release step 13.

Rejected response: Attempt the goal before Actor2 replay is realigned on left-8.


Explanation: N75 final Actor3 route/clock step 10/30; Actor1 re-arrival step 12 and peer replay release step 13.

Rejected response: Attempt the goal before Actor2 replay is realigned on left-8.


Explanation: N75 final Actor3 route/clock step 11/30; Actor1 re-arrival step 12 and peer replay release step 13.

Rejected response: Attempt the goal before Actor2 replay is realigned on left-8.


Explanation: N75 final Actor3 route/clock step 12/30; Actor1 re-arrival step 12 and peer replay release step 13.

Rejected response: Attempt the goal before Actor2 replay is realigned on left-8.


Explanation: N75 final Actor3 route/clock step 13/30; Actor1 re-arrival step 12 and peer replay release step 13.

Rejected response: Attempt the goal before Actor2 replay is realigned on left-8.


Explanation: N75 final Actor3 successful clock step 14/30; advance Actor2 through replay-only boundary blocks to left-8.

Rejected response: Enter the still-closed goal route before Actor2 reaches left-8 at step 25.


Explanation: N75 final Actor3 successful clock step 15/30; advance Actor2 through replay-only boundary blocks to left-8.

Rejected response: Enter the still-closed goal route before Actor2 reaches left-8 at step 25.


Explanation: N75 final Actor3 successful clock step 16/30; advance Actor2 through replay-only boundary blocks to left-8.

Rejected response: Enter the still-closed goal route before Actor2 reaches left-8 at step 25.


Explanation: N75 final Actor3 successful clock step 17/30; advance Actor2 through replay-only boundary blocks to left-8.

Rejected response: Enter the still-closed goal route before Actor2 reaches left-8 at step 25.


Explanation: N75 final Actor3 successful clock step 18/30; advance Actor2 through replay-only boundary blocks to left-8.

Rejected response: Enter the still-closed goal route before Actor2 reaches left-8 at step 25.


Explanation: N75 final Actor3 successful clock step 19/30; advance Actor2 through replay-only boundary blocks to left-8.

Rejected response: Enter the still-closed goal route before Actor2 reaches left-8 at step 25.


Explanation: N75 final Actor3 successful clock step 20/30; advance Actor2 through replay-only boundary blocks to left-8.

Rejected response: Enter the still-closed goal route before Actor2 reaches left-8 at step 25.


Explanation: N75 final Actor3 successful clock step 21/30; advance Actor2 through replay-only boundary blocks to left-8.

Rejected response: Enter the still-closed goal route before Actor2 reaches left-8 at step 25.


Explanation: N75 final Actor3 successful clock step 22/30; advance Actor2 through replay-only boundary blocks to left-8.

Rejected response: Enter the still-closed goal route before Actor2 reaches left-8 at step 25.


Explanation: N75 final Actor3 successful clock step 23/30; advance Actor2 through replay-only boundary blocks to left-8.

Rejected response: Enter the still-closed goal route before Actor2 reaches left-8 at step 25.


Explanation: N75 final Actor3 successful clock step 24/30; advance Actor2 through replay-only boundary blocks to left-8.

Rejected response: Enter the still-closed goal route before Actor2 reaches left-8 at step 25.


Explanation: N75 final Actor3 successful clock step 25/30; advance Actor2 through replay-only boundary blocks to left-8.

Rejected response: Enter the still-closed goal route before Actor2 reaches left-8 at step 25.


Explanation: Reset refuted N75 attempt before WM3 blocked-bottom-down test.

Rejected response: Continue the closed-left-gate final actor after replay ended at row 38.


Explanation: N77 Actor1 dual-arrival/right-8 holder action 1/16 including commit.

Rejected response: Change the empirically verified dual-arrival holder.


Explanation: N77 Actor1 dual-arrival/right-8 holder action 2/16 including commit.

Rejected response: Change the empirically verified dual-arrival holder.


Explanation: N77 Actor1 dual-arrival/right-8 holder action 3/16 including commit.

Rejected response: Change the empirically verified dual-arrival holder.


Explanation: N77 Actor1 dual-arrival/right-8 holder action 4/16 including commit.

Rejected response: Change the empirically verified dual-arrival holder.


Explanation: N77 Actor1 dual-arrival/right-8 holder action 5/16 including commit.

Rejected response: Change the empirically verified dual-arrival holder.


Explanation: N77 Actor1 dual-arrival/right-8 holder action 6/16 including commit.

Rejected response: Change the empirically verified dual-arrival holder.


Explanation: N77 Actor1 dual-arrival/right-8 holder action 7/16 including commit.

Rejected response: Change the empirically verified dual-arrival holder.


Explanation: N77 Actor1 dual-arrival/right-8 holder action 8/16 including commit.

Rejected response: Change the empirically verified dual-arrival holder.


Explanation: N77 Actor1 dual-arrival/right-8 holder action 9/16 including commit.

Rejected response: Change the empirically verified dual-arrival holder.


Explanation: N77 Actor1 dual-arrival/right-8 holder action 10/16 including commit.

Rejected response: Change the empirically verified dual-arrival holder.


Explanation: N77 Actor1 dual-arrival/right-8 holder action 11/16 including commit.

Rejected response: Change the empirically verified dual-arrival holder.


Explanation: N77 Actor1 dual-arrival/right-8 holder action 12/16 including commit.

Rejected response: Change the empirically verified dual-arrival holder.


Explanation: N77 Actor1 dual-arrival/right-8 holder action 13/16 including commit.

Rejected response: Change the empirically verified dual-arrival holder.


Explanation: N77 Actor1 dual-arrival/right-8 holder action 14/16 including commit.

Rejected response: Change the empirically verified dual-arrival holder.


Explanation: N77 Actor1 dual-arrival/right-8 holder action 15/16 including commit.

Rejected response: Change the empirically verified dual-arrival holder.


Explanation: N77 Actor1 dual-arrival/right-8 holder action 16/16 including commit.

Rejected response: Change the empirically verified dual-arrival holder.


Explanation: N77 Actor2 direct far-bottom route step 1/23 before blocked-D padding.

Rejected response: Use upward replay repair refuted by N76.


Explanation: N77 Actor2 direct far-bottom route step 2/23 before blocked-D padding.

Rejected response: Use upward replay repair refuted by N76.


Explanation: N77 Actor2 direct far-bottom route step 3/23 before blocked-D padding.

Rejected response: Use upward replay repair refuted by N76.


Explanation: N77 Actor2 direct far-bottom route step 4/23 before blocked-D padding.

Rejected response: Use upward replay repair refuted by N76.


Explanation: N77 Actor2 direct far-bottom route step 5/23 before blocked-D padding.

Rejected response: Use upward replay repair refuted by N76.


Explanation: N77 Actor2 direct far-bottom route step 6/23 before blocked-D padding.

Rejected response: Use upward replay repair refuted by N76.


Explanation: N77 Actor2 direct far-bottom route step 7/23 before blocked-D padding.

Rejected response: Use upward replay repair refuted by N76.


Explanation: N77 Actor2 direct far-bottom route step 8/23 before blocked-D padding.

Rejected response: Use upward replay repair refuted by N76.


Explanation: N77 Actor2 direct far-bottom route step 9/23 before blocked-D padding.

Rejected response: Use upward replay repair refuted by N76.


Explanation: N77 Actor2 direct far-bottom route step 10/23 before blocked-D padding.

Rejected response: Use upward replay repair refuted by N76.


Explanation: N77 Actor2 direct far-bottom route step 11/23 before blocked-D padding.

Rejected response: Use upward replay repair refuted by N76.


Explanation: N77 Actor2 direct far-bottom route step 12/23 before blocked-D padding.

Rejected response: Use upward replay repair refuted by N76.


Explanation: N77 Actor2 direct far-bottom route step 13/23 before blocked-D padding.

Rejected response: Use upward replay repair refuted by N76.


Explanation: N77 Actor2 direct far-bottom route step 14/23 before blocked-D padding.

Rejected response: Use upward replay repair refuted by N76.


Explanation: N77 Actor2 direct far-bottom route step 15/23 before blocked-D padding.

Rejected response: Use upward replay repair refuted by N76.


Explanation: N77 Actor2 direct far-bottom route step 16/23 before blocked-D padding.

Rejected response: Use upward replay repair refuted by N76.


Explanation: WM3 predicted retained live-blocked bottom DOWN padding step 17/23.

Rejected response: Assume invisible blocked inputs are omitted without a replay component test.


Explanation: WM3 predicted retained live-blocked bottom DOWN padding step 18/23.

Rejected response: Assume invisible blocked inputs are omitted without a replay component test.


Explanation: N77 Actor2 left-switch suffix step 19/23 after blocked-D padding.

Rejected response: Commit before recording the left-switch suffix after the discriminating padding.


Explanation: N77 Actor2 left-switch suffix step 20/23 after blocked-D padding.

Rejected response: Commit before recording the left-switch suffix after the discriminating padding.


Explanation: N77 Actor2 left-switch suffix step 21/23 after blocked-D padding.

Rejected response: Commit before recording the left-switch suffix after the discriminating padding.


Explanation: N77 Actor2 left-switch suffix step 22/23 after blocked-D padding.

Rejected response: Commit before recording the left-switch suffix after the discriminating padding.


Explanation: N77 Actor2 left-switch suffix step 23/23 after blocked-D padding.

Rejected response: Commit before recording the left-switch suffix after the discriminating padding.


Explanation: Commit N77 Actor2 trajectory with two live-blocked bottom DOWNs preceding left-switch suffix.

Rejected response: Drop the blocked padding before its required replay verdict.


Explanation: WM3 verdict clock: final Actor3 step 1/28; inspect retained blocked-D padding at replay steps 17-18.

Rejected response: Attempt the left gate before verifying Actor2 replay reaches row 50.


Explanation: WM3 verdict clock: final Actor3 step 2/28; inspect retained blocked-D padding at replay steps 17-18.

Rejected response: Attempt the left gate before verifying Actor2 replay reaches row 50.


Explanation: WM3 verdict clock: final Actor3 step 3/28; inspect retained blocked-D padding at replay steps 17-18.

Rejected response: Attempt the left gate before verifying Actor2 replay reaches row 50.


Explanation: WM3 verdict clock: final Actor3 step 4/28; inspect retained blocked-D padding at replay steps 17-18.

Rejected response: Attempt the left gate before verifying Actor2 replay reaches row 50.


Explanation: WM3 verdict clock: final Actor3 step 5/28; inspect retained blocked-D padding at replay steps 17-18.

Rejected response: Attempt the left gate before verifying Actor2 replay reaches row 50.


Explanation: WM3 verdict clock: final Actor3 step 6/28; inspect retained blocked-D padding at replay steps 17-18.

Rejected response: Attempt the left gate before verifying Actor2 replay reaches row 50.


Explanation: WM3 verdict clock: final Actor3 step 7/28; inspect retained blocked-D padding at replay steps 17-18.

Rejected response: Attempt the left gate before verifying Actor2 replay reaches row 50.


Explanation: WM3 verdict clock: final Actor3 step 8/28; inspect retained blocked-D padding at replay steps 17-18.

Rejected response: Attempt the left gate before verifying Actor2 replay reaches row 50.


Explanation: WM3 verdict clock: final Actor3 step 9/28; inspect retained blocked-D padding at replay steps 17-18.

Rejected response: Attempt the left gate before verifying Actor2 replay reaches row 50.


Explanation: WM3 verdict clock: final Actor3 step 10/28; inspect retained blocked-D padding at replay steps 17-18.

Rejected response: Attempt the left gate before verifying Actor2 replay reaches row 50.


Explanation: WM3 verdict clock: final Actor3 step 11/28; inspect retained blocked-D padding at replay steps 17-18.

Rejected response: Attempt the left gate before verifying Actor2 replay reaches row 50.


Explanation: WM3 verdict clock: final Actor3 step 12/28; inspect retained blocked-D padding at replay steps 17-18.

Rejected response: Attempt the left gate before verifying Actor2 replay reaches row 50.


Explanation: WM3 verdict clock: final Actor3 step 13/28; inspect retained blocked-D padding at replay steps 17-18.

Rejected response: Attempt the left gate before verifying Actor2 replay reaches row 50.


Explanation: WM3 verdict clock: final Actor3 step 14/28; inspect retained blocked-D padding at replay steps 17-18.

Rejected response: Attempt the left gate before verifying Actor2 replay reaches row 50.


Explanation: WM3 verdict clock: final Actor3 step 15/28; inspect retained blocked-D padding at replay steps 17-18.

Rejected response: Attempt the left gate before verifying Actor2 replay reaches row 50.


Explanation: WM3 verdict clock: final Actor3 step 16/28; inspect retained blocked-D padding at replay steps 17-18.

Rejected response: Attempt the left gate before verifying Actor2 replay reaches row 50.


Explanation: WM3 verdict clock: final Actor3 step 17/28; inspect retained blocked-D padding at replay steps 17-18.

Rejected response: Attempt the left gate before verifying Actor2 replay reaches row 50.


Explanation: WM3 verdict clock: final Actor3 step 18/28; inspect retained blocked-D padding at replay steps 17-18.

Rejected response: Attempt the left gate before verifying Actor2 replay reaches row 50.


Explanation: Reset refuted WM3 attempt before N79 fresh-first role swap.

Rejected response: Keep far runner second despite later-live upward blockage.


Explanation: N79 fresh Actor1 far-runner/top-realignment probe step 1/29; key upward crossing step15.

Rejected response: Assume fresh-up behavior equals the later-live block without testing actor phase.


Explanation: N79 fresh Actor1 far-runner/top-realignment probe step 2/29; key upward crossing step15.

Rejected response: Assume fresh-up behavior equals the later-live block without testing actor phase.


Explanation: N79 fresh Actor1 far-runner/top-realignment probe step 3/29; key upward crossing step15.

Rejected response: Assume fresh-up behavior equals the later-live block without testing actor phase.


Explanation: N79 fresh Actor1 far-runner/top-realignment probe step 4/29; key upward crossing step15.

Rejected response: Assume fresh-up behavior equals the later-live block without testing actor phase.


Explanation: N79 fresh Actor1 far-runner/top-realignment probe step 5/29; key upward crossing step15.

Rejected response: Assume fresh-up behavior equals the later-live block without testing actor phase.


Explanation: N79 fresh Actor1 far-runner/top-realignment probe step 6/29; key upward crossing step15.

Rejected response: Assume fresh-up behavior equals the later-live block without testing actor phase.


Explanation: N79 fresh Actor1 far-runner/top-realignment probe step 7/29; key upward crossing step15.

Rejected response: Assume fresh-up behavior equals the later-live block without testing actor phase.


Explanation: N79 fresh Actor1 far-runner/top-realignment probe step 8/29; key upward crossing step15.

Rejected response: Assume fresh-up behavior equals the later-live block without testing actor phase.


Explanation: N79 fresh Actor1 far-runner/top-realignment probe step 9/29; key upward crossing step15.

Rejected response: Assume fresh-up behavior equals the later-live block without testing actor phase.


Explanation: N79 fresh Actor1 far-runner/top-realignment probe step 10/29; key upward crossing step15.

Rejected response: Assume fresh-up behavior equals the later-live block without testing actor phase.


Explanation: N79 fresh Actor1 far-runner/top-realignment probe step 11/29; key upward crossing step15.

Rejected response: Assume fresh-up behavior equals the later-live block without testing actor phase.


Explanation: N79 fresh Actor1 far-runner/top-realignment probe step 12/29; key upward crossing step15.

Rejected response: Assume fresh-up behavior equals the later-live block without testing actor phase.


Explanation: N79 fresh Actor1 far-runner/top-realignment probe step 13/29; key upward crossing step15.

Rejected response: Assume fresh-up behavior equals the later-live block without testing actor phase.


Explanation: N79 fresh Actor1 far-runner/top-realignment probe step 14/29; key upward crossing step15.

Rejected response: Assume fresh-up behavior equals the later-live block without testing actor phase.


Explanation: N79 fresh Actor1 far-runner/top-realignment probe step 15/29; key upward crossing step15.

Rejected response: Assume fresh-up behavior equals the later-live block without testing actor phase.


Explanation: Reset refuted fresh-first branch before WM4 post-right-8 epoch test.

Rejected response: Continue a first actor blocked above color-11.


Explanation: WM4 Actor1 post-right-8 epoch path action 1/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 2/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 3/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 4/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 5/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 6/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 7/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 8/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 9/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 10/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 11/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 12/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 13/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 14/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 15/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 16/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 17/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 18/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 19/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 20/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 21/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor1 post-right-8 epoch path action 22/22 including commit; re-entry18, departure19, holder21.

Rejected response: Use an immediate pre-switch second departure already refuted.


Explanation: WM4 Actor2 top-alignment/post-switch epoch test step 1/29; decisive second crossing at step19.

Rejected response: Infer post-switch epoch behavior without the aligned step-19 crossing.


Explanation: WM4 Actor2 top-alignment/post-switch epoch test step 2/29; decisive second crossing at step19.

Rejected response: Infer post-switch epoch behavior without the aligned step-19 crossing.


Explanation: WM4 Actor2 top-alignment/post-switch epoch test step 3/29; decisive second crossing at step19.

Rejected response: Infer post-switch epoch behavior without the aligned step-19 crossing.


Explanation: WM4 Actor2 top-alignment/post-switch epoch test step 4/29; decisive second crossing at step19.

Rejected response: Infer post-switch epoch behavior without the aligned step-19 crossing.


Explanation: WM4 Actor2 top-alignment/post-switch epoch test step 5/29; decisive second crossing at step19.

Rejected response: Infer post-switch epoch behavior without the aligned step-19 crossing.


Explanation: WM4 Actor2 top-alignment/post-switch epoch test step 6/29; decisive second crossing at step19.

Rejected response: Infer post-switch epoch behavior without the aligned step-19 crossing.


Explanation: WM4 Actor2 top-alignment/post-switch epoch test step 7/29; decisive second crossing at step19.

Rejected response: Infer post-switch epoch behavior without the aligned step-19 crossing.


Explanation: WM4 Actor2 top-alignment/post-switch epoch test step 8/29; decisive second crossing at step19.

Rejected response: Infer post-switch epoch behavior without the aligned step-19 crossing.


Explanation: WM4 Actor2 top-alignment/post-switch epoch test step 9/29; decisive second crossing at step19.

Rejected response: Infer post-switch epoch behavior without the aligned step-19 crossing.


Explanation: WM4 Actor2 top-alignment/post-switch epoch test step 10/29; decisive second crossing at step19.

Rejected response: Infer post-switch epoch behavior without the aligned step-19 crossing.


Explanation: WM4 Actor2 top-alignment/post-switch epoch test step 11/29; decisive second crossing at step19.

Rejected response: Infer post-switch epoch behavior without the aligned step-19 crossing.


Explanation: WM4 Actor2 top-alignment/post-switch epoch test step 12/29; decisive second crossing at step19.

Rejected response: Infer post-switch epoch behavior without the aligned step-19 crossing.


Explanation: WM4 Actor2 top-alignment/post-switch epoch test step 13/29; decisive second crossing at step19.

Rejected response: Infer post-switch epoch behavior without the aligned step-19 crossing.


Explanation: WM4 Actor2 top-alignment/post-switch epoch test step 14/29; decisive second crossing at step19.

Rejected response: Infer post-switch epoch behavior without the aligned step-19 crossing.


Explanation: WM4 Actor2 top-alignment/post-switch epoch test step 15/29; decisive second crossing at step19.

Rejected response: Infer post-switch epoch behavior without the aligned step-19 crossing.


Explanation: WM4 Actor2 top-alignment/post-switch epoch test step 16/29; decisive second crossing at step19.

Rejected response: Infer post-switch epoch behavior without the aligned step-19 crossing.


Explanation: WM4 Actor2 top-alignment/post-switch epoch test step 17/29; decisive second crossing at step19.

Rejected response: Infer post-switch epoch behavior without the aligned step-19 crossing.


Explanation: WM4 Actor2 top-alignment/post-switch epoch test step 18/29; decisive second crossing at step19.

Rejected response: Infer post-switch epoch behavior without the aligned step-19 crossing.


Explanation: WM4 Actor2 top-alignment/post-switch epoch test step 19/29; decisive second crossing at step19.

Rejected response: Infer post-switch epoch behavior without the aligned step-19 crossing.


Explanation: N83 aligned Actor2 bottom descent step 20/29.

Rejected response: Probe after the confirmed post-switch crossing.


Explanation: N83 aligned Actor2 bottom descent step 21/29.

Rejected response: Probe after the confirmed post-switch crossing.


Explanation: N83 aligned Actor2 bottom descent step 22/29.

Rejected response: Probe after the confirmed post-switch crossing.


Explanation: N83 aligned Actor2 bottom descent step 23/29.

Rejected response: Probe after the confirmed post-switch crossing.


Explanation: N83 aligned Actor2 bottom descent step 24/29.

Rejected response: Probe after the confirmed post-switch crossing.


Explanation: N83 aligned Actor2 left-8 suffix step 25/29.

Rejected response: Leave the proven left-switch route.


Explanation: N83 aligned Actor2 left-8 suffix step 26/29.

Rejected response: Leave the proven left-switch route.


Explanation: N83 aligned Actor2 left-8 suffix step 27/29.

Rejected response: Leave the proven left-switch route.


Explanation: N83 aligned Actor2 left-8 suffix step 28/29.

Rejected response: Leave the proven left-switch route.


Explanation: N83 aligned Actor2 left-8 suffix step 29/29.

Rejected response: Leave the proven left-switch route.


Explanation: Commit aligned 29-step Actor2 trajectory on left-8 after confirmed post-switch crossing.

Rejected response: Alter the empirically aligned trajectory before final replay.


Explanation: N83 final Actor3 route and successful replay clock step 1/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 2/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 3/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 4/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 5/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 6/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 7/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 8/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 9/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 10/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 11/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 12/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 13/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 14/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 15/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 16/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 17/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 18/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 19/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 20/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 21/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 22/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 23/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 24/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 25/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 26/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 27/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 28/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: N83 final Actor3 route and successful replay clock step 29/34; aligned Actor2 reaches left-8 at step29.

Rejected response: Use blocked waits or enter the gate before both replays reach endpoints.


Explanation: Reset spent-peer-release branch before N85 delayed-first-reentry composition.

Rejected response: Reuse an early reentry that spends peer release on Actor2's upward command.


Explanation: N85 Actor1 delayed-first-reentry action 1/20 including commit; right8@13, first reentry16, holder19.

Rejected response: Spend first peer-release before the post-switch live epoch reset.


Explanation: N85 Actor1 delayed-first-reentry action 2/20 including commit; right8@13, first reentry16, holder19.

Rejected response: Spend first peer-release before the post-switch live epoch reset.


Explanation: N85 Actor1 delayed-first-reentry action 3/20 including commit; right8@13, first reentry16, holder19.

Rejected response: Spend first peer-release before the post-switch live epoch reset.


Explanation: N85 Actor1 delayed-first-reentry action 4/20 including commit; right8@13, first reentry16, holder19.

Rejected response: Spend first peer-release before the post-switch live epoch reset.


Explanation: N85 Actor1 delayed-first-reentry action 5/20 including commit; right8@13, first reentry16, holder19.

Rejected response: Spend first peer-release before the post-switch live epoch reset.


Explanation: N85 Actor1 delayed-first-reentry action 6/20 including commit; right8@13, first reentry16, holder19.

Rejected response: Spend first peer-release before the post-switch live epoch reset.


Explanation: N85 Actor1 delayed-first-reentry action 7/20 including commit; right8@13, first reentry16, holder19.

Rejected response: Spend first peer-release before the post-switch live epoch reset.


Explanation: N85 Actor1 delayed-first-reentry action 8/20 including commit; right8@13, first reentry16, holder19.

Rejected response: Spend first peer-release before the post-switch live epoch reset.


Explanation: N85 Actor1 delayed-first-reentry action 9/20 including commit; right8@13, first reentry16, holder19.

Rejected response: Spend first peer-release before the post-switch live epoch reset.


Explanation: N85 Actor1 delayed-first-reentry action 10/20 including commit; right8@13, first reentry16, holder19.

Rejected response: Spend first peer-release before the post-switch live epoch reset.


Explanation: N85 Actor1 delayed-first-reentry action 11/20 including commit; right8@13, first reentry16, holder19.

Rejected response: Spend first peer-release before the post-switch live epoch reset.


Explanation: N85 Actor1 delayed-first-reentry action 12/20 including commit; right8@13, first reentry16, holder19.

Rejected response: Spend first peer-release before the post-switch live epoch reset.


Explanation: N85 Actor1 delayed-first-reentry action 13/20 including commit; right8@13, first reentry16, holder19.

Rejected response: Spend first peer-release before the post-switch live epoch reset.


Explanation: N85 Actor1 delayed-first-reentry action 14/20 including commit; right8@13, first reentry16, holder19.

Rejected response: Spend first peer-release before the post-switch live epoch reset.


Explanation: N85 Actor1 delayed-first-reentry action 15/20 including commit; right8@13, first reentry16, holder19.

Rejected response: Spend first peer-release before the post-switch live epoch reset.


Explanation: N85 Actor1 delayed-first-reentry action 16/20 including commit; right8@13, first reentry16, holder19.

Rejected response: Spend first peer-release before the post-switch live epoch reset.


Explanation: N85 Actor1 delayed-first-reentry action 17/20 including commit; right8@13, first reentry16, holder19.

Rejected response: Spend first peer-release before the post-switch live epoch reset.


Explanation: N85 Actor1 delayed-first-reentry action 18/20 including commit; right8@13, first reentry16, holder19.

Rejected response: Spend first peer-release before the post-switch live epoch reset.


Explanation: N85 Actor1 delayed-first-reentry action 19/20 including commit; right8@13, first reentry16, holder19.

Rejected response: Spend first peer-release before the post-switch live epoch reset.


Explanation: N85 Actor1 delayed-first-reentry action 20/20 including commit; right8@13, first reentry16, holder19.

Rejected response: Spend first peer-release before the post-switch live epoch reset.


Explanation: N85 Actor2 top-align and joint first-reentry/post-switch crossing step 1/27; decisive step17.

Rejected response: Use a second reentry after peer release has already been spent.


Explanation: N85 Actor2 top-align and joint first-reentry/post-switch crossing step 2/27; decisive step17.

Rejected response: Use a second reentry after peer release has already been spent.


Explanation: N85 Actor2 top-align and joint first-reentry/post-switch crossing step 3/27; decisive step17.

Rejected response: Use a second reentry after peer release has already been spent.


Explanation: N85 Actor2 top-align and joint first-reentry/post-switch crossing step 4/27; decisive step17.

Rejected response: Use a second reentry after peer release has already been spent.


Explanation: N85 Actor2 top-align and joint first-reentry/post-switch crossing step 5/27; decisive step17.

Rejected response: Use a second reentry after peer release has already been spent.


Explanation: N85 Actor2 top-align and joint first-reentry/post-switch crossing step 6/27; decisive step17.

Rejected response: Use a second reentry after peer release has already been spent.


Explanation: N85 Actor2 top-align and joint first-reentry/post-switch crossing step 7/27; decisive step17.

Rejected response: Use a second reentry after peer release has already been spent.


Explanation: N85 Actor2 top-align and joint first-reentry/post-switch crossing step 8/27; decisive step17.

Rejected response: Use a second reentry after peer release has already been spent.


Explanation: N85 Actor2 top-align and joint first-reentry/post-switch crossing step 9/27; decisive step17.

Rejected response: Use a second reentry after peer release has already been spent.


Explanation: N85 Actor2 top-align and joint first-reentry/post-switch crossing step 10/27; decisive step17.

Rejected response: Use a second reentry after peer release has already been spent.


Explanation: N85 Actor2 top-align and joint first-reentry/post-switch crossing step 11/27; decisive step17.

Rejected response: Use a second reentry after peer release has already been spent.


Explanation: N85 Actor2 top-align and joint first-reentry/post-switch crossing step 12/27; decisive step17.

Rejected response: Use a second reentry after peer release has already been spent.


Explanation: N85 Actor2 top-align and joint first-reentry/post-switch crossing step 13/27; decisive step17.

Rejected response: Use a second reentry after peer release has already been spent.


Explanation: N85 Actor2 top-align and joint first-reentry/post-switch crossing step 14/27; decisive step17.

Rejected response: Use a second reentry after peer release has already been spent.


Explanation: N85 Actor2 top-align and joint first-reentry/post-switch crossing step 15/27; decisive step17.

Rejected response: Use a second reentry after peer release has already been spent.


Explanation: N85 Actor2 top-align and joint first-reentry/post-switch crossing step 16/27; decisive step17.

Rejected response: Use a second reentry after peer release has already been spent.


Explanation: N85 Actor2 top-align and joint first-reentry/post-switch crossing step 17/27; decisive step17.

Rejected response: Use a second reentry after peer release has already been spent.


Explanation: Reset N85 branch before N87 second paired-switch epoch test.

Rejected response: Infer peer-release renewal without a second complete gate epoch.


Explanation: N87 Actor1 two-paired-switch-epoch action 1/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 2/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 3/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 4/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 5/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 6/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 7/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 8/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 9/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 10/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 11/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 12/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 13/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 14/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 15/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 16/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 17/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 18/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 19/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 20/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 21/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 22/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 23/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 24/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 25/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 26/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 27/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor1 two-paired-switch-epoch action 28/28 including commit; right8@15,@21,@27.

Rejected response: Test peer renewal without completing the second right8 visit and return.


Explanation: N87 Actor2 second-epoch peer-renewal test step 1/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 2/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 3/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 4/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 5/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 6/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 7/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 8/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 9/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 10/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 11/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 12/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 13/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 14/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 15/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 16/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 17/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 18/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 19/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 20/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 21/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 22/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 23/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 24/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: N87 Actor2 second-epoch peer-renewal test step 25/35; live crossings expected19 and25.

Rejected response: Assume a second paired-switch visit cannot renew peer release.


Explanation: Reset refuted second-epoch branch before N89 left-from-narrow probe.

Rejected response: Assume ACTION3 matches blocked ACTION4 without testing.


Explanation: N89 clean route and left-from-color11-narrow probe step 1/9.

Rejected response: Generalize the right-exit block to left without direct evidence.


Explanation: N89 clean route and left-from-color11-narrow probe step 2/9.

Rejected response: Generalize the right-exit block to left without direct evidence.


Explanation: N89 clean route and left-from-color11-narrow probe step 3/9.

Rejected response: Generalize the right-exit block to left without direct evidence.


Explanation: N89 clean route and left-from-color11-narrow probe step 4/9.

Rejected response: Generalize the right-exit block to left without direct evidence.


Explanation: N89 clean route and left-from-color11-narrow probe step 5/9.

Rejected response: Generalize the right-exit block to left without direct evidence.


Explanation: N89 clean route and left-from-color11-narrow probe step 6/9.

Rejected response: Generalize the right-exit block to left without direct evidence.


Explanation: N89 clean route and left-from-color11-narrow probe step 7/9.

Rejected response: Generalize the right-exit block to left without direct evidence.


Explanation: N89 clean route and left-from-color11-narrow probe step 8/9.

Rejected response: Generalize the right-exit block to left without direct evidence.


Explanation: N89 clean route and left-from-color11-narrow probe step 9/9.

Rejected response: Generalize the right-exit block to left without direct evidence.


Explanation: Reset narrow-left probe before N91 upward post-switch reset test.

Rejected response: Generalize prior unreset upward failures to the proven reset frame.


Explanation: N91 Actor1 proven precycle/right8/reset path action 1/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 2/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 3/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 4/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 5/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 6/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 7/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 8/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 9/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 10/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 11/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 12/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 13/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 14/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 15/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 16/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 17/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 18/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 19/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 20/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 21/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor1 proven precycle/right8/reset path action 22/22 including commit.

Rejected response: Alter the exact reset epoch before upward-direction test.


Explanation: N91 Actor2 below-gate loop and upward reset crossing step 1; decisive U at19.

Rejected response: Conclude the reset is downward-only without testing upward on the same phase.


Explanation: N91 Actor2 below-gate loop and upward reset crossing step 2; decisive U at19.

Rejected response: Conclude the reset is downward-only without testing upward on the same phase.


Explanation: N91 Actor2 below-gate loop and upward reset crossing step 3; decisive U at19.

Rejected response: Conclude the reset is downward-only without testing upward on the same phase.


Explanation: N91 Actor2 below-gate loop and upward reset crossing step 4; decisive U at19.

Rejected response: Conclude the reset is downward-only without testing upward on the same phase.


Explanation: N91 Actor2 below-gate loop and upward reset crossing step 5; decisive U at19.

Rejected response: Conclude the reset is downward-only without testing upward on the same phase.


Explanation: N91 Actor2 below-gate loop and upward reset crossing step 6; decisive U at19.

Rejected response: Conclude the reset is downward-only without testing upward on the same phase.


Explanation: N91 Actor2 below-gate loop and upward reset crossing step 7; decisive U at19.

Rejected response: Conclude the reset is downward-only without testing upward on the same phase.


Explanation: N91 Actor2 below-gate loop and upward reset crossing step 8; decisive U at19.

Rejected response: Conclude the reset is downward-only without testing upward on the same phase.


Explanation: N91 Actor2 below-gate loop and upward reset crossing step 9; decisive U at19.

Rejected response: Conclude the reset is downward-only without testing upward on the same phase.


Explanation: N91 Actor2 below-gate loop and upward reset crossing step 10; decisive U at19.

Rejected response: Conclude the reset is downward-only without testing upward on the same phase.


Explanation: N91 Actor2 below-gate loop and upward reset crossing step 11; decisive U at19.

Rejected response: Conclude the reset is downward-only without testing upward on the same phase.


Explanation: N91 Actor2 below-gate loop and upward reset crossing step 12; decisive U at19.

Rejected response: Conclude the reset is downward-only without testing upward on the same phase.


Explanation: N91 Actor2 below-gate loop and upward reset crossing step 13; decisive U at19.

Rejected response: Conclude the reset is downward-only without testing upward on the same phase.


Explanation: N91 Actor2 below-gate loop and upward reset crossing step 14; decisive U at19.

Rejected response: Conclude the reset is downward-only without testing upward on the same phase.


Explanation: N91 Actor2 below-gate loop and upward reset crossing step 15; decisive U at19.

Rejected response: Conclude the reset is downward-only without testing upward on the same phase.


Explanation: N91 Actor2 below-gate loop and upward reset crossing step 16; decisive U at19.

Rejected response: Conclude the reset is downward-only without testing upward on the same phase.


Explanation: N91 Actor2 below-gate loop and upward reset crossing step 17; decisive U at19.

Rejected response: Conclude the reset is downward-only without testing upward on the same phase.


Explanation: N91 Actor2 below-gate loop and upward reset crossing step 18; decisive U at19.

Rejected response: Conclude the reset is downward-only without testing upward on the same phase.


Explanation: N91 Actor2 below-gate loop and upward reset crossing step 19; decisive U at19.

Rejected response: Conclude the reset is downward-only without testing upward on the same phase.


Explanation: N93 Actor2 top-boundary convergence step 20/33.

Rejected response: Break the proven top-alignment suffix.


Explanation: N93 Actor2 top-boundary convergence step 21/33.

Rejected response: Break the proven top-alignment suffix.


Explanation: N93 Actor2 shared aligned descent step 22/33.

Rejected response: Add any offset-changing detour after top convergence.


Explanation: N93 Actor2 shared aligned descent step 23/33.

Rejected response: Add any offset-changing detour after top convergence.


Explanation: N93 Actor2 shared aligned descent step 24/33.

Rejected response: Add any offset-changing detour after top convergence.


Explanation: N93 Actor2 shared aligned descent step 25/33.

Rejected response: Add any offset-changing detour after top convergence.


Explanation: N93 Actor2 shared aligned descent step 26/33.

Rejected response: Add any offset-changing detour after top convergence.


Explanation: N93 Actor2 shared aligned descent step 27/33.

Rejected response: Add any offset-changing detour after top convergence.


Explanation: N93 Actor2 shared aligned descent step 28/33.

Rejected response: Add any offset-changing detour after top convergence.


Explanation: N93 Actor2 shared aligned left-8 suffix step 29/33.

Rejected response: Leave the canonical left-switch suffix.


Explanation: N93 Actor2 shared aligned left-8 suffix step 30/33.

Rejected response: Leave the canonical left-switch suffix.


Explanation: N93 Actor2 shared aligned left-8 suffix step 31/33.

Rejected response: Leave the canonical left-switch suffix.


Explanation: N93 Actor2 shared aligned left-8 suffix step 32/33.

Rejected response: Leave the canonical left-switch suffix.


Explanation: N93 Actor2 shared aligned left-8 suffix step 33/33.

Rejected response: Leave the canonical left-switch suffix.


Explanation: Commit exact 33-step Actor2 top-realigned trajectory on left-8.

Rejected response: Modify the empirically completed aligned trajectory before replay.


Explanation: N93 final Actor3 successful replay clock step 1/38; Actor2 aligned left-8 endpoint at33.

Rejected response: Use blocked waits or enter the final gate before step33.


Explanation: N93 final Actor3 successful replay clock step 2/38; Actor2 aligned left-8 endpoint at33.

Rejected response: Use blocked waits or enter the final gate before step33.


Explanation: N93 final Actor3 successful replay clock step 3/38; Actor2 aligned left-8 endpoint at33.

Rejected response: Use blocked waits or enter the final gate before step33.


Explanation: N93 final Actor3 successful replay clock step 4/38; Actor2 aligned left-8 endpoint at33.

Rejected response: Use blocked waits or enter the final gate before step33.