surety 0.0.1

Surety: an agent-native language where models write implementations, humans write specs, and a checker is the referee. Placeholder release.