docs: record PR #227 on the git Stage 1 lane

The lane heading still said the PR was not opened. Per the standing
correction from #171 and #215, the PR number belongs in the ledger when
the PR exists, not when review asks for it.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_016bqGA6s9tTUFzYpbeW3tai
This commit is contained in:
Levi Neuwirth 2026-08-09 15:19:43 +02:00
parent 40027340df
commit 0aee97b725
No known key found for this signature in database
1 changed files with 6 additions and 1 deletions

View File

@ -265,7 +265,12 @@ also removed: this branch's "R8 NEEDS A LANE" investigation block, and
durable facts are in the retired registry row and the handoff §6
census.
## Git integration Stage 1 — IMPLEMENTED, gates green, PR not opened
## Git integration Stage 1 — PR #227 OPEN
**PR #227** — https://github.com/levineuwirth/pmacs/pull/227. Opened
2026-08-09 at `4002734`, after the framing was approved at revision 5
and the full gate suite went green. Normal review; no merge
authorization.
**Written with the lane's first commit, before the PR exists** — the
standing correction from #171 and #215. This session it was missed on