3.13.1 (2026-06-17) Bug Fixes lfg: run ce-simplify-code before review; clarify report-only contract (#952) (d8d688b) proof: replace HITL review loop with one-way publish (#957) (68dd787)