From dd2ba5696e0ae103e212454c6d2d176f170b3c8d Mon Sep 17 00:00:00 2001 From: Lilleman auf Larv Date: Tue, 29 Sep 2026 15:57:13 +0200 Subject: [PATCH] File the fifth 2026-09-29 nine-seat panel's findings, scored 5.8 --- todo.md | 55 ++++++++++++++++++++++++++++++++++++++++++++++++++----- 1 file changed, 50 insertions(+), 5 deletions(-) diff --git a/todo.md b/todo.md index 1d4808a..9264ae1 100644 --- a/todo.md +++ b/todo.md @@ -30,10 +30,54 @@ on 2026-09-29 a third time (Navigation 7.0, Locality 5.6, Shape 6.3, Self-suffic `readSurvey` walk or check hardest and the unit they would least modify; 5.8 on 2026-09-29 a fourth time (Navigation 6.7, Locality 5.0, Shape 5.7, Self-sufficiency 5.7), every seat's lowest dimension Locality, alone or tied, all seven unit seats -ranking `readSurvey.walk` and `edge` hardest and the unit they would least modify. +ranking `readSurvey.walk` and `edge` hardest and the unit they would least modify; 5.8 +on 2026-09-29 a fifth time (Navigation 6.9, Locality 5.2, Shape 6.1, Self-sufficiency +5.8), every seat's lowest dimension Locality, alone or tied, all seven unit seats ranking +`readSurvey.walk` hardest and the unit they would least modify. This round, in order: +- Put the draw fence in one file: `drawFence.checkDraws` in `drawfence.go` hands + `surveyRender(t).check()` the verdict, whose refusals live in `readsurvey.go`, and + eight seats grepped one fence error across `holdfence.go`, `drawfence.go`, + `readsurvey.go` and `pins.go`. +- Split `formatOps.held` into the names an expansion holds and the reference paths a + render's draws hold, deleting `keepsHold` and `heldCheck`'s skip of a reference path: + one map carries both, told apart by `isRef` and `firstReach.path == ""`, and six seats + hunted for which fence owns which. +- Give `surveyAt`'s whole read one field, its table and pins together, rename + `alternatives` for what it answers, two reads that never render together, and say at + `check` why a level landing on a row may sit beside a path into it: five seats held + `surveyAt`'s five fields at once, two misread `alternatives`, and two found no reason + for the `landsRow` exemption. +- Switch `disagreement` on the fixed item's kind, with the other item inside each arm, + and rename its `proven` local, which shadows the `proven` type: seven seats read the + seven-arm switch as a truth table without the table. +- Say at `checkNodeFences` that its walks recurse unguarded, so a caller runs + `checkNoCycles` first, and compute `refs` apart from `checkDrawGroup`'s pass: five + seats reconstructed the order, and the inline binding runs no cycle check. +- Give `tableSite` an `isFormat` beside `isCell`, so `renderRecord` and `traceRead` stop + comparing `row` with `formatRow` alone, which holds only because a template outside a + table has row 0: four seats found the invariant unstated. +- Move each unit to its owner's file, `valueProof.checkField` to `valueproof.go` and + `coverPath` and `pathLeaves` beside their walks in `path.go`, and rename `checkPath`, + which differs from the `pathCheck` type it wraps by word order alone: both architects + placed them wrong. +- Correct the claims readers followed wrong: `IsTemplate`'s doc says an argument holding + a bracket that is not valid JSON errors, where `misc.territory[SE]` is a path; `arm`'s + says a tail's head is drawn once per expansion, where a reference path is held per + render; the README says rows are indexed on the first draw, where `New` builds the key + map; and `loadDir`'s says it builds the tree deterministically, where it reports an + unnamed rows file in map order. +- Delete the comments the panel found restating their code or arranging the file: + `node`'s second sentence, `op`'s "compile builds these so render never re-scans the + format", `checkCalc`'s last sentence, `calcVar.eval`'s four lines, `checkNoCycles`' + grey and black, and the docs on `expand`, `readRows`, `splitOutside`, `reservedList` + and `writesRecords`. +- Delete `doc.go`'s "The draw fences are …" sentence: it names a function, a type and + a helper reached only through `readSurvey.check`, and misses `checkDrawGroup`, + `checkOwnFamily` and `checkNestedDrawGroup`; the README's Layout indexes the fences by file. + Say "fences" in the `pin` entry then, which names the draw fences too. - Run the nine-seat panel again and file what it names here. ### Data @@ -233,6 +277,11 @@ by a `data-import/` script, as README goal 12 asks. - Report the same error every load for a table with two bad options, and for a folder with two unnamed rows files: `readTableOptions` and `loadDir` return on the first in Go's map order. +- Refuse a category naming a hidden rows file, `"rows": ".x.tsv"`, as a rows file that + is not there: `loadDir` indexes hidden TSVs and skips them in two places, so one loads + where its comment says a hidden file is never data. +- Print `--help`'s repeat range from `fejkdata.MaxRepeat`: the usage spells + `1..1048576` a second time. - Report a CRLF rows file holding only its header as having no rows: `parseRows` answers "line 2 is empty". - Reword `prove`'s refusal of a typed column reading a row, `{/region}`: say the @@ -327,10 +376,6 @@ because pairing a street with its exact postnummer rewrites shipped rows. - Name goal 2's four criteria with the axes the panel scores, so a recorded score maps back to the clause it came from: the goal spells them out in prose while `todo.md` records `Navigation`, `Locality`, `Shape` and `Self-sufficiency`. -- Delete `doc.go`'s "The draw fences are …" sentence: it names a function, a type and - a helper reached only through `readSurvey.check`, and misses `checkDrawGroup`, - `checkOwnFamily` and `checkNestedDrawGroup`; the README's Layout indexes the fences by file. - Say "fences" in the `pin` entry then, which names the draw fences too. - Cut the README's Layout block to the lines that say what a file name cannot: `calc.go`, `doc.go` and `cmd/fejkdata/` restate their names. - Cut `AGENTS.md` to the rules only it states: the round procedure stands word for word