Johnathan Corgan 0ebd1b44c0 node: add the initiator-cutover and drain executor actions (unwired) ...

Prepare the establish executor to drive FMP rekey by activating the
SwapSendState action (initiator K-bit cutover via cutover_to_new_session,
with the gated decrypt-worker re-registration) and adding a CompleteDrain
action (erase the drained previous session: free its index, drop its
peers_by_index entry, unregister its decrypt session). Both reproduce the
current inline rekey.rs cutover and drain bodies. The machine's drain
mapping now emits CompleteDrain, using the real drained index rather than
a shadow copy.

Unwired: nothing drives the machine's rekey path yet (live rekey still
runs inline), so these arms are unreachable and the change is
behavior-neutral. The cadence fold that routes cutover and drain through
the machine follows.

2026-07-13 14:51:11 +00:00

..

connected_udp

peer/connected_udp: own the connected-socket fd with OwnedFd

2026-07-13 09:20:04 +00:00

active.rs

peer: split ActivePeer send-state into PeerSendState (two-tier boundary)

2026-07-13 10:36:15 +00:00

connection.rs

proto/fmp: sans-IO connection-lifecycle state machine

2026-07-07 06:20:02 +00:00

machine.rs

node: add the initiator-cutover and drain executor actions (unwired)

2026-07-13 14:51:11 +00:00

mod.rs

peer: add the per-peer FMP control state machine (unwired)

2026-07-13 09:58:45 +00:00