From bec5c69daf5c7f076db9bc1d814a0bed14d72cbc Mon Sep 17 00:00:00 2001 From: Erik Date: Thu, 6 Aug 2026 22:37:43 +0200 Subject: [PATCH] =?UTF-8?q?docs:=20correct=20the=20C5c=20handoff's=20"noth?= =?UTF-8?q?ing=20is=20pushed"=20line=20=E2=80=94=20it=20was=20false?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The handoff's opening said "Nothing is pushed — the branch does not exist on the remote, and there are 388+ unpushed commits ahead of origin/main." All three clauses were wrong, in the direction that would most alarm a successor into thinking the campaign could be lost. main and github/main are both d4e956b4, and git branch --contains 7b3e2895 lists main. The campaign was merged and pushed the same day. The measurement error is recorded because it will recur: this repo has TWO remotes. github is live; origin (git.snakedesert.se) has a cached origin/main ref pointing at f6275f45 whose ref file has not been written since 2026-04-27. main is 412 commits ahead of that three-month-stale ref, which is where "388+ unpushed" came from. Measuring push state against origin/* here without checking the ref's age produces a false alarm every time. Also opens Campaign S as the ACTIVE work ahead of the remaining M4 vendor slices, per user direction: "I think its better to fix these kind of things before we add new stuff. Physics and collisions are vital." Clean-room gate at a0690947, all 43 bin/obj directories deleted first per the closeout's own rule 4: 11,231 passed / 4 skipped / 0 failed across all nine projects. Co-Authored-By: Claude Opus 5 --- .../2026-08-06-c5c-closeout-handoff.md | 19 +++++++++++++++++-- 1 file changed, 17 insertions(+), 2 deletions(-) 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 `. ---