## Project\\nFreeLang v13 AFL-Core Roadmap\\n\\nProject API id: p_1783139481644\\n\\nNote: standalone task because project_id create currently hits dclub-tasks DB guard.\\n\\n## Summary\\nReject undeclared effects before lowering/runtime.\\n\\n## Depends On\\n- T003\\n\\n## Outputs\\n- src/effects.js\\n- reports/verify/effect-violation.json\\n\\n## Done When\\n- pure function using db-write fails\\n- failure identifies function, effect, and source location\\n- valid pure arithmetic passes\\n\\n## Verification\\n- node src/verify.js examples/effect-violation.afl > reports/verify/effect-violation.json\\n- node -e "const r=require('./reports/verify/effect-violation.json'), if(r.status !== 'fail') process.exit(1)"\\n\\n## Risk\\nEffect table too large. Start with pure, db-read, db-write, network, shell.\\n\\n## AFL-Core Rule\\nProposals are welcomed. Execution is enforced.