Record the v0.5.0 release: re-checkable decisions, the event chain, and upgrading to v0.5
Record the v0.4.0 release: the gate, the MCP proxy, and upgrading to v0.4