## Summary\\nDefine the v0 .afl grammar and source forms before implementation.\\n\\n## Depends On\\n- T000\\n\\n## Outputs\\n- spec/afl-core-v0.md\\n- examples/minimal.afl\\n- examples/effect-violation.afl\\n- examples/capability-violation.afl\\n\\n## Done When\\n- module form is specified\\n- target form is specified\\n- requires/capability/forbid forms are specified\\n- gate form is specified\\n- defn/intent/effects/params/returns/failure/test/body forms are specified\\n- three example files exist\\n\\n## Verification\\n- `test -f spec/afl-core-v0.md`\\n- `test -f examples/minimal.afl`\\n- `test -f examples/effect-violation.afl`\\n- `test -f examples/capability-violation.afl`\\n\\n## Risk\\nOver-designing grammar before parser feedback.\\n\\n## AFL-Core Rule\\nProposals are welcomed. Execution is enforced.