From a7c99dfb09724300cc93de68a0b3811169c13bbb Mon Sep 17 00:00:00 2001 From: Lilleman auf Larv Date: Wed, 30 Sep 2026 17:01:52 +0200 Subject: [PATCH] Say rowReads' own-family refusal runs before any survey, not first --- reads.go | 3 ++- todo.md | 2 -- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/reads.go b/reads.go index 10890f0..a2ffdc5 100644 --- a/reads.go +++ b/reads.go @@ -159,7 +159,8 @@ func pinBelow(reads []pathRead, tr *tableRead) []pathRead { // rowReads is what the rows of t read: the cells of the columns its format renders, each tagged // with its row, and the format's other reads, which every row shares. A format reaching its own -// cells through another category is checkOwnFamily's refusal, which runs first. +// cells through another category is checkOwnFamily's refusal, which runs before any survey of +// these reads. func (f *readFold) rowReads(t *table, tag func(*branches, int) bool) []pathRead { var out []pathRead for _, e := range renderEdges(t.formatTemplate) { diff --git a/todo.md b/todo.md index cc227ea..c750647 100644 --- a/todo.md +++ b/todo.md @@ -40,8 +40,6 @@ maintainer chose on 2026-09-30 to go on with the path steps regardless. This round, in order: -- Correct `rowReads`' "checkOwnFamily's refusal, which runs first": `checkNodeFences` - runs `checkDrawGroup`, which folds through it, before `checkOwnFamily`. - Compile each path once at link into steps holding no pointer, with its leaves and cover, and have `renderEdges`, `heldNodes`, `valueProof` and `tableReadOf` read them, deleting `pathCover`, `coverPath` and `pathLeaves`. Prototyped green, allocations