3.8.4 (2026-05-21) Bug Fixes agents: rename .agent.md to .md for VS Code Copilot tool access (#846) (796bea7) ce-compound: drop date suffix from generated doc filenames (#849) (ac1c6d9) ce-proof: update HITL flow for Proof v2 (#847) (2a46670)