From 8ab20b5d6819705c939b7c225d0f48bee9687af2 Mon Sep 17 00:00:00 2001 From: Levi Neuwirth Date: Wed, 5 Aug 2026 14:51:28 +0200 Subject: [PATCH] docs(ledger): the second CI checkpoint, and the row a table cannot carry MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Both heads that carry code are 14/14 green — `2d9c678` (the fixes and the framing) and `668fc72` (this block). The tip row is explicit rather than missing: a checkpoint table can never record the head that adds the checkpoint, and #215's lane used the same convention. The branch tip stays authoritative over any row. Co-Authored-By: Claude Opus 5 (1M context) --- docs/active-work.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/active-work.md b/docs/active-work.md index 07508b7..5a76083 100644 --- a/docs/active-work.md +++ b/docs/active-work.md @@ -193,7 +193,9 @@ already approved. Stage 1 is acceptance 1–5; Stage 2 is acceptance 6–9. | head | CI run | result | |---|---|---| - | `2d9c678` | [31003333581](https://github.com/levineuwirth/pmacs/actions/runs/31003333581) | **14/14 green** — the opening head, including **both macOS legs**: R2's job (macOS / lua54) and R4's (macOS / luajit) | + | `2d9c678` | [31003333581](https://github.com/levineuwirth/pmacs/actions/runs/31003333581) | **14/14 green** — the opening head, and the last one carrying code. Includes **both macOS legs**: R2's job (macOS / lua54) and R4's (macOS / luajit) | + | `668fc72` | [31006160334](https://github.com/levineuwirth/pmacs/actions/runs/31006160334) | **14/14 green** — this ledger block, docs only | + | *(tip)* | — | the checkpoint row for `668fc72`; a table can never carry the head that adds it | **The branch tip is authoritative over any row here.** Verify with `git rev-parse githubsucks/ci-signal-hardening` rather than trusting