docs(18-07): record the pushed heads and the v0.1.25 tag in the plan summary

.planning/phases/18-payment-gateway/18-07-SUMMARY.md

@@ -319,7 +319,24 @@ None.
 
 **Human reply (verbatim):** `push-all`
 
-Before pushing, all four repositories ran `git fetch origin`; `HEAD..origin/<branch>` was empty in each, so none was behind. The pushed heads, the tag and the post-push verification are recorded in the section below, added after the push.
+Before pushing, all four repositories ran `git fetch origin`; `HEAD..origin/<branch>` was empty in each, so none was behind. summercms.go master held no commits from outside phase 18. The pushes used `git push origin <branch>`, with no force-push:
+
+| Repository | Branch | Range pushed | Pushed head |
+|------------|--------|--------------|-------------|
+| summercms.go | master | `79b1f85..2f5e8e3` (26 commits: all of phase 18, held since 18-01) | `2f5e8e3014ea02158d2e8e6c42bcbfcb483356cd` |
+| sm-paymentgateway-plugin | main | `ef72b85..f55320a` (3) | `f55320a986bc1e4ea143593ecfdba0116457eb17` |
+| sm-pgstripe-plugin | main | `a8bc0b5..d488834` (1) | `d4888349926c517ad27ad2865e93cc6d490bf7ea` |
+| vue-paymentgateway-layer | main | `14d4522..ac2b960` (1) | `ac2b96023f985ccaa2e8a571952fbc9535892c60` |
+
+**Tag:** the annotated `v0.1.25` ("summercms v0.1.25") was created on summercms.go `2f5e8e3`, the STATE/ROADMAP commit after this SUMMARY, and pushed with `git push origin v0.1.25`. The tag object is `3f98702bbad9189855901d707a1ad3dfae139228`; on origin, `v0.1.25^{}` is `2f5e8e3`.
+
+**Verification after the push:**
+- In each repository, local `HEAD` equals `origin/<branch>` and `ls-remote refs/heads/<branch>` (all four EQUAL).
+- `git cat-file -t v0.1.25` prints `tag`.
+
+This section was added in a fast-forward commit after the tag, so master is one docs commit ahead of the tagged commit.
+
+The plugins still require summercms v0.1.24 with a local replace. Bumping them to v0.1.25 and tagging the plugins are later decisions.
 
 ## Next Phase Readiness