neuwirth
/
pmacs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

docs(lane): #247 merged as 27743fd 

Merged at head 72a3488 via --match-head-commit, 14/14 CI green on that
exact commit and the sixteen-stage local gate green on its code head
ef25920. The merge commit's second parent is 72a3488, so what landed is
what was reviewed.

The canonical base stays 0ec13b3. An absorption that renames its own
merge commit as the base starts a cycle with no end.

The lane block keeps its review history rather than collapsing to a
line, because the shape is worth carrying: nine rounds on the
implementation, and most findings were against a RECORD rather than
against code --- a count stated from memory, a margin compared against
the wrong baseline, a reason asserted about a file I had not read, a
checkpoint that certified itself. The four findings that were against
code were all found by WRITING the witness, never by reading it: a TUI
scroll undone by the next paint, a GPU origin left past its maximum, a
scroll that changed state without requesting the frame to present it,
and panel replacement paths a hand-made census missed.
This commit is contained in:
Levi Neuwirth 2026-09-02 21:52:30 +02:00
parent 27743fd8a0
commit 01de6c8cdc
No known key found for this signature in database
1 changed files with 17 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
docs/active-work.md
View File

@ -301,17 +301,25 @@ waits for a signal that is not coming.
- **THE FIRST DISPATCH IMMEDIATELY FOUND A RED ON `main`**, which is - **THE FIRST DISPATCH IMMEDIATELY FOUND A RED ON `main`**, which is
what this lane was built for. See the proptest entry below. what this lane was built for. See the proptest entry below.
## GUI arc Stage 1b — pointer and scroll — IN REVIEW (PR #247) ## GUI arc Stage 1b — pointer and scroll — MERGED as `27743fd`
**PR #247** — `https://github.com/levineuwirth/pmacs/pull/247`, opened **PR #247 merged 2026-09-02**, at head `72a3488` via
2026-09-02 against `main` at `0ec13b3`, 13 files, on the gate-green `--match-head-commit`, with 14/14 CI green on that exact commit and the
head. **Not to be merged unprompted.** full sixteen-stage local gate green on its code head `ef25920`. The
merge commit's second parent is `72a3488`, so what landed is what was
reviewed.
**CI is GREEN at `5fcc3a3`: 14 of 14 checks, zero non-success**, and the **The canonical base stays `0ec13b3`.** This absorption does not
PR reports `MERGEABLE` / `CLEAN`. The two macOS legs are the long poles advance it to `27743fd`; a docs absorption that renames its own merge
(13m47s and 21m12s); `Test (crdt)` — the flavor `scripts/gate`'s clippy commit as the base starts a cycle with no end.
step cannot lint locally — passed at 11m21s. Checks ran against the
current head, not an earlier one. The block below keeps its review history rather than collapsing to a
line. Nine rounds on the implementation, and the shape worth carrying
forward is that **most findings were against a RECORD, not against
code** — a count stated from memory, a margin compared against the
wrong baseline, a reason asserted about a file that had not been read,
a checkpoint that certified itself. The four that were against code
were all found by *writing the witness*, never by reading it.
**Branch `gui-stage1b-pointer-scroll`, rebased onto `0ec13b3`.** The **Branch `gui-stage1b-pointer-scroll`, rebased onto `0ec13b3`.** The