docs: tick-drain landed gate-green; #29 raised; three-way dispatch recorded #154

Manually merged
mdoorn merged 1 commit from feat/154-docs-tick-drain-landed-gate-green-29-raised-th into master 2026-07-07 08:30:00 +02:00
Owner

docs: tick-drain landed gate-green; #29 raised; three-way dispatch recorded

Touches 2 files: handoff.md, questions.md.

docs: tick-drain landed gate-green; #29 raised; three-way dispatch recorded Touches 2 files: `handoff.md`, `questions.md`.
mdoorn approved these changes 2026-07-07 08:25:00 +02:00
mdoorn left a comment

Yes. The commit messages carried me through all 2 files, which is not always true.

Yes. The commit messages carried me through all 2 files, which is not always true.
@ -26,3 +19,1 @@
ck_tick_table when armed). 3d (Assert actor) is GATED on #25.
CONDEMNED_COMPOUNDS still 4 (retire in 3d).
- Infra: test.sh refuses unless CK_VIA_TEST_ROTATE=1 (dd8be384).
- TESTING (owner priority): 1, 2, 3a, 3c-i, DI-at-check, 3c-ii, tick-drain
Owner

I had to read TESTING twice. Nothing wrong with it, but one line of comment would save the next person the second read.

I had to read `TESTING` twice. Nothing wrong with it, but one line of comment would save the next person the second read.
@ -272,2 +272,4 @@
the failed fit; the undeclared-pair code is part of that design pass. #28
is unchanged by the refinement.
29. The Region load-side asymmetry (from the tick-drain slice, 2026-08-13). Ruling #25 made the STORE side honest: each test-cell field holds a
Owner

Where does the number beside asymmetry come from? It reads as measured rather than chosen, and nothing on the line says which.

Where does the number beside `asymmetry` come from? It reads as measured rather than chosen, and nothing on the line says which.
Author
Owner

Comment added on TESTING in handoff.md. It was obvious when I wrote it and it will not be in a month.

Comment added on `TESTING` in `handoff.md`. It was obvious when I wrote it and it will not be in a month.
Author
Owner

Measured. It is a named constant in questions.md now, with a line saying how.

Measured. It is a named constant in `questions.md` now, with a line saying how.
mdoorn manually merged commit d1b182659d into master 2026-07-07 08:30:00 +02:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
northgale/cklang-bootstrap!154
No description provided.