v0.0.27

Changes

• Delegate regression proof planning to the LLM agent instead of hardcoding it in the harness
• The LLM now plans the regression proof as check #1 using .reviewer.md guidance for environment setup and test execution
• Removes all language/runtime assumptions (python, pytest, conda, venv) from the harness — fully project-agnostic