From c256c630cf842cbc91ba4290d9ea0c1fed51bf3b Mon Sep 17 00:00:00 2001 From: Levi Neuwirth Date: Wed, 12 Aug 2026 00:05:21 +0200 Subject: [PATCH] docs: record PR #237 in the 1-pre lane An open PR gets its number in the ledger at the moment it opens, per the standing correction from #171 and #215 --- #171 drifted 153 commits while invisible here. Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_016bqGA6s9tTUFzYpbeW3tai --- docs/active-work.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/active-work.md b/docs/active-work.md index 71f1b02..33c246e 100644 --- a/docs/active-work.md +++ b/docs/active-work.md @@ -250,11 +250,12 @@ hazard in a shape that looks committed. **A documented error message that never appears is worse than no documentation**, because the reader waits for a signal that is not coming. -## GUI arc Stage 1 — 1-pre IMPLEMENTED, no PR yet +## GUI arc Stage 1 — 1-pre OPEN as PR #237 **Written at the branch's first commit**, with the framing, as the arc's §5 requires of every PR in it. +- **PR #237** — https://github.com/levineuwirth/pmacs/pull/237. - **Branch `gui-stage1-pre`**, base `githubsucks/main` @ `f8ad3e7` (the Stage 0 merge, #236). **`githubsucks/gui-stage1-pre` is the authoritative tip** — the ref, not a SHA. Recover with