status(samever): M1 PASS recorded; M2 in progress (custom-html two-run on cc-ci)

machine-docs/BACKLOG-samever.md

@@ -10,3 +10,8 @@
 - [ ] **M2** — prove in real CI: nightly steady-state (canonical==latest) cold-on-latest steps back
   (base_version < latest); PR form (non-version-bump PR, head==canonical); discourse #4 version-bump
   UNAFFECTED; spot-check ≥1 other enrolled recipe. Awaiting M1 PASS before starting real-CI runs.
+
+## M2 execution log (live)
+- Run A (custom-html cold-on-latest, /root/samever-runA.log on cc-ci): launched 04:3xZ. No canonical
+  yet → upgrade base kind=skip (head==main tip); on green promotes canonical→latest 1.13.0+1.31.1.
+- Run B (next): cold-on-latest again → canonical==head → expect step-back base 1.11.0+1.29.0 (<latest).

machine-docs/STATUS-samever.md

@@ -8,7 +8,11 @@ Started 2026-06-17. Gates: **M1** (implemented + unit-tested), **M2** (proven in
 
 ## Current status
 
-**Gate: M1 CLAIMED, awaiting Adversary** @2026-06-17T04:24Z
+**M1: PASS** (REVIEW-samever.md @2026-06-17T04:27Z — cold-verified, teeth hold, no regression).
+**M2: IN PROGRESS** — real-CI demonstration on cc-ci. Plan: custom-html cold-on-latest twice (run A
+promotes canonical→latest 1.13.0+1.31.1; run B = nightly steady state → step-back to 1.11.0+1.29.0,
+base<latest); PR form (head==canonical → step-back); version-bump UNAFFECTED (canonical older→head);
+discourse #4 unaffected; spot-check.
 
 ## M1 — WHAT is claimed