How one agent cracked Curves' access control

A real sub-investigation from the run: a lead comes down from the researcher, an analyzer drills into the code and finds the bug, and the verifier proves it.