diff --git a/docs/research/2026-08-06-c5c-closeout-handoff.md b/docs/research/2026-08-06-c5c-closeout-handoff.md index 173a6f10..07e5d6f8 100644 --- a/docs/research/2026-08-06-c5c-closeout-handoff.md +++ b/docs/research/2026-08-06-c5c-closeout-handoff.md @@ -5,8 +5,23 @@ applies and is repeated in §6). Branch `claude/acdream-physics-divergence-5aa784`, 21 commits from `02578441` -to `7b3e2895`. **Nothing is pushed** — the branch does not exist on the remote, -and there are 388+ unpushed commits ahead of `origin/main`. +to `7b3e2895`. + +**CORRECTED 2026-08-06 — the original line here said "Nothing is pushed — the +branch does not exist on the remote, and there are 388+ unpushed commits ahead +of `origin/main`". That was FALSE, and false in the direction that would most +alarm a successor.** The campaign was merged to `main` and pushed the same day: +`main` and `github/main` are both `d4e956b4`, and `git branch --contains +7b3e2895` lists `main`. + +**The measurement error, because it will recur.** This repo has TWO remotes. +`github` (`git@github.com:eriknihlen/acdream.git`) is the live one. `origin` +(`https://git.snakedesert.se/erik/acdream.git`) is a second remote whose cached +ref `origin/main` still points at `f6275f45` and whose ref file has not been +written since **April 27** — three months stale. `main` is 412 commits ahead of +that ref, which is where "388+ unpushed" came from. **Never measure push state +against `origin/*` in this repo without checking the ref's age first**; compare +against `github/main`, or check `git branch --contains `. ---