Field notes

Make Claude Code keep going until the tests pass

How /goal works, how to write a condition the checker can prove, and the one trap with permissions.