mirror of
https://github.com/jmcorgan/fips.git
synced 2026-08-09 16:24:45 +00:00
Carries the leg-embed storage move: PeerMachine.leg replaces the Node.connections map. Hand-resolved onto the XX surfaces keeping this line's semantics with the new storage: the msg3 termination arms and executor swap/rekey-responder teardowns keep their exact cleanup sets and index-free behavior; the msg2 cross-connection extract takes the leg before the unconditional machine dispose; msg1 and anonymous leg births embed the leg at machine insertion; the rekey-vs-establish gate tests leg-absence. The merge also drops the now-redundant explicit machine inserts next to the seeded test seam, whose auto-merged combination clobbered leg-carrying machines.