From Hardcoded Protocols to Declarative Ones: Inside Ahoy's Multiagent Bet — type0 | type0