A differential oracle: making agentic code prove its own correctness

Six months ago I was running a kitchen. I taught myself to build agentic systems, and the thing I'm proudest of is the part nobody demos: the evaluation layer. Coding agents are easy to demo and hard ...