## 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\\nProve AFL-Core on a tiny real app with full verification report.\\n\\n## Depends On\\n- T007\\n- T008\\n- T009\\n- T010\\n\\n## Outputs\\n- examples/apps/calculator.afl\\n- reports/apps/calculator.verify.json\\n- generated/apps/calculator.fl\\n\\n## Done When\\n- app passes parse gate\\n- app passes effect gate\\n- app passes capability gate\\n- app lowers to v11 .fl\\n- app runs on v11\\n- fx2 native gate is either passed or honestly blocked with reason\\n\\n## Verification\\n- node src/verify.js examples/apps/calculator.afl\\n- node src/lower-v11.js examples/apps/calculator.afl > generated/apps/calculator.fl\\n- node /home/kimjin/freelang-v11/bootstrap.js run generated/apps/calculator.fl\\n\\n## Risk\\nDo not use a demo that avoids all hard checks, include at least one declared gate.\\n\\n## AFL-Core Rule\\nProposals are welcomed. Execution is enforced.