Joris van de Donk is a Senior Games Industry Specialist Solutions Architect at Amazon Web Services, based in Stockholm. He works with studios and platform providers globally on the awkward end of game infrastructure — streaming, game servers, live operations, and lately what happens when you turn agentic coding tools loose on a production codebase. This talk comes from a side project that got out of hand: wondering whether the automated-reasoning tooling used to prove properties about cloud security policies could be pointed at a game’s crafting rules instead, and finding out that the hard part was never the mathematics.