Same workspace, same moment, in all three panels: the PR merged, so main is 1 ahead of the branch,
and one later save is 1 ahead of main. The only thing that changes is whether a TERMINAL is attached.
Panels 1 and 2 are the proposal; panel 3 is what the app renders today in that same situation.
Counters are live: the backend fetched main and the branch on this poll.
No number is shown that the backend didn't just verify. dirty, unpushed and the last commit stay live — they're true without a fetch — so pending-push still lights up during a terminal session. The three grey buttons are already disabled while a TERMINAL is attached today; nothing changes there.
Numbers frozen at the last fetch before the terminal opened, and — because the stale drift and unpushed read 0 — a green in sync tick for a branch nobody has looked at in 20 minutes. This is the screen that was on demo1.