AI Can Write the Code. Can It Prove the Fix?

Autonomous agents can produce green diffs that are actually wrong. The no_human project introduces strict gates—tamper guard, reproduction gate, independent adv