diff --git a/docs/specs/agent-environments/state-writes/verification.md b/docs/specs/agent-environments/state-writes/verification.md
index c52777670b..bea21aecb3 100644
--- a/docs/specs/agent-environments/state-writes/verification.md
+++ b/docs/specs/agent-environments/state-writes/verification.md
@@ -163,3 +163,13 @@ not modelled.
 - Collections tied to a create's own collection on a real capture, and UUID
   or token identities through an AgentEnv run (both are covered by tests).
 - Agent token usage and cost.
+
+## After merging the base branches and main
+
+The branch then merged the serving branch at 5a61853a, the coverage branch at
+b4b7ebc7 (their review fixes) and main at edbd291a. The gates above ran again
+and passed: `npm run jscpd` 3.44% over 3579 files; domain and services 7442
+passed with 5 pre-existing skips; the focused boundary set 72 passed. The
+write verdicts over the 51 captures were unchanged plan by plan, and the
+in-process smoke again applied all 33 served write tools. The AgentEnv runs
+and the live comparison above ran on cbb7b613, before these merges.