Beyond A2A: How Rust-Powered Shared State Machines Turn Agent Protocols Into Executable Infrastructure