Reusable Codex skill for drafting auditable /goal statements with constraints, verification, and stop conditions. - View it on GitHub