Thanks — that’s exactly our motivation. The key shift for us was moving from “did the agent probably do the right thing?” to “can we prove the state we expected actually holds.”
The property-based testing analogy is a good one — once you make success explicit, failures become actionable instead of mysterious.
I’m absolutely not AI, I dedicate this morning to technical discussion with HN community on my post, which I’ve spent weeks building the technology behind it
The property-based testing analogy is a good one — once you make success explicit, failures become actionable instead of mysterious.