 lilleman
|
698ac036d5
|
Move checkField to valueproof.go and rename checkPath to checkResolves
|
2026-09-30 21:49:05 +02:00 |
|
|
lilleman
|
cb7b43609f
|
Drop the done isFormat item from the plan
|
2026-09-30 21:41:53 +02:00 |
|
|
lilleman
|
e9b8216116
|
Say at checkNodeFences that its scope's cycles are refused first
|
2026-09-30 21:35:47 +02:00 |
|
|
lilleman
|
57f4863107
|
Switch disagreement on the fixed item's kind, and rename its proven local to fits
|
2026-09-30 21:01:31 +02:00 |
|
|
lilleman
|
55b127856b
|
Drop the done readField item from the plan
|
2026-09-30 20:49:58 +02:00 |
|
|
lilleman
|
71feec7db9
|
Drop the done heldCheck fold from the plan
|
2026-09-30 20:32:35 +02:00 |
|
|
lilleman
|
96d9e2ab24
|
Draw every path through drawSteps over its compiled steps, deleting pathDraw and pathProbe
|
2026-09-30 20:20:28 +02:00 |
|
|
lilleman
|
1397d1438a
|
Say a compiled step holds no node, where its name is a string
|
2026-09-30 20:02:16 +02:00 |
|
|
lilleman
|
6b9755b3ef
|
Compile each path's steps, leaves and cover once at link, deleting pathCover, coverPath and pathLeaves
|
2026-09-30 20:02:16 +02:00 |
|
|
lilleman
|
a7c99dfb09
|
Say rowReads' own-family refusal runs before any survey, not first
|
2026-09-30 17:04:56 +02:00 |
|
|
lilleman
|
e55b9cc89b
|
Panic in readFold.reads on a node kind it has no case for
|
2026-09-30 17:01:02 +02:00 |
|
|
lilleman
|
3d1b153a91
|
Record the maintainer's call to go on with the path steps
|
2026-09-30 15:51:22 +02:00 |
|
|
lilleman
|
54c7d48144
|
File the nine-seat checkpoint, which held Locality at 5.2, and stop the round for the maintainer's call
|
2026-09-30 15:51:22 +02:00 |
|
|
lilleman
|
e54d1c06d6
|
Pin the same-error promise to the calls that fail, and add an inline template's order to the item
|
2026-09-30 11:11:04 +02:00 |
|
|
lilleman
|
f5f4812403
|
Split the Library's failure list, spell up front one way, and name what the item's split decides
|
2026-09-30 11:11:04 +02:00 |
|
|
lilleman
|
49e47d6103
|
Rewrite goal 5 as an aim, and plan a load reporting every mistake at once
|
2026-09-30 11:11:04 +02:00 |
|
|
lilleman
|
b9f7ba04ea
|
File the decision on which of several load mistakes an error names
|
2026-09-30 08:03:56 +02:00 |
|
|
lilleman
|
d34513336d
|
Fold the draw fence's pair checks into one loop over coRender and conflict, naming the lowest pin clash
|
2026-09-30 08:03:56 +02:00 |
|
|
lilleman
|
2306834995
|
Name the fold's route type readRoute, and reword the next item to what it still asks
|
2026-09-30 07:51:17 +02:00 |
|
|
lilleman
|
2b61433258
|
Name a read's context its group, route and branches, deleting surveyAt
|
2026-09-30 07:51:17 +02:00 |
|
|
lilleman
|
4952ae9442
|
Checkpoint the round with a nine-seat run before the path steps
|
2026-09-29 21:37:48 +02:00 |
|
|
lilleman
|
78b08b699f
|
Have the draw fence query the read fold, deleting hasRead and its helpers
|
2026-09-29 21:31:07 +02:00 |
|
|
lilleman
|
4cd6e9f767
|
Gather a render's reads as a fold memoised per node, deleting readSurvey.walk and edge
|
2026-09-29 20:35:25 +02:00 |
|
|
lilleman
|
45bdd10c9b
|
Record that a cell may read a reference, and plan the round as the approved restructure
|
2026-09-29 20:12:33 +02:00 |
|
|
lilleman
|
672263421a
|
File the operand route's missing spelling under the refusal-spelling item
|
2026-09-29 16:50:44 +02:00 |
|
|
lilleman
|
c4911e15bc
|
Narrow the refusal-spelling item to the path refusals
|
2026-09-29 16:50:44 +02:00 |
|
|
lilleman
|
acbc6943b8
|
Spell a reference path as arm.isRefPath, and say where each tail's head is held
|
2026-09-29 16:50:44 +02:00 |
|
|
lilleman
|
dee1e186e3
|
Hold only an expansion's names in formatOps.held, deleting keepsHold
|
2026-09-29 16:50:44 +02:00 |
|
|
lilleman
|
ff54251e9b
|
Put the draw fence and its refusals in drawfence.go
|
2026-09-29 16:15:11 +02:00 |
|
|
lilleman
|
dd2ba5696e
|
File the fifth 2026-09-29 nine-seat panel's findings, scored 5.8
|
2026-09-29 16:08:02 +02:00 |
|
|
lilleman
|
9b050994f5
|
Delete the reported-order clauses and checkRecordDraws' record-only comment
|
2026-09-29 15:49:10 +02:00 |
|
|
lilleman
|
ba43eb1c91
|
Compile a format in format.go
|
2026-09-29 15:41:48 +02:00 |
|
|
lilleman
|
c2ac7bf843
|
File the missing spellings and the linked-tables paragraph split
|
2026-09-29 15:21:52 +02:00 |
|
|
lilleman
|
9d9d72c892
|
File the drawGroup advice for two reads under one field
|
2026-09-29 15:21:52 +02:00 |
|
|
lilleman
|
ba8bf06c00
|
Name the reference-draw overlap's disagreement and the read a drawGroup goes on
|
2026-09-29 15:21:52 +02:00 |
|
|
lilleman
|
2e57a38e0b
|
Word the second-route and reference-draw overlap refusals apart from the format's own
|
2026-09-29 15:21:52 +02:00 |
|
|
lilleman
|
b99966fe19
|
Name the render's draws apart from the expansion hold: drawMemo, groupDraws, renderDraws
|
2026-09-29 14:45:34 +02:00 |
|
|
lilleman
|
40f1129c23
|
Choose disagreement's error directly, ranking itemKind with <
|
2026-09-29 14:31:23 +02:00 |
|
|
lilleman
|
9d5b81d2f5
|
Test that every node switch handles every node kind, and render and renderEdges agree
|
2026-09-29 14:25:28 +02:00 |
|
|
lilleman
|
b3cc37be26
|
Report a pin clash in readSurvey.edge as a load error, not a panic
|
2026-09-29 13:58:59 +02:00 |
|
|
lilleman
|
acbb8f0b24
|
Say the group hold embeds the expansion hold in the round's naming item
|
2026-09-29 13:40:29 +02:00 |
|
|
lilleman
|
57d9698b0b
|
File the fourth 2026-09-29 nine-seat panel's findings, scored 5.8
|
2026-09-29 13:40:29 +02:00 |
|
|
lilleman
|
e1769f20a2
|
Delete loadData's, drawRow's and selector's comments, and render.go's second and third compile notes
|
2026-09-29 13:31:04 +02:00 |
|
|
lilleman
|
0fde439d8b
|
Drop the done readSurvey.edge item from todo.md
|
2026-09-29 13:26:56 +02:00 |
|
|
lilleman
|
322c8dead7
|
State pinSet.pin's precondition, and file readSurvey.edge's unchecked pins
|
2026-09-29 13:03:55 +02:00 |
|
|
lilleman
|
8079157329
|
File the newRand rename in todo.md
|
2026-09-29 12:47:38 +02:00 |
|
|
lilleman
|
14194a775d
|
Rename ftoken to scanUnit and session to generatorState
|
2026-09-29 12:47:38 +02:00 |
|
|
lilleman
|
8793681d8a
|
Test a table cell through tableSite.isCell, and trace no row outside a table
|
2026-09-29 12:28:22 +02:00 |
|
|
lilleman
|
a4547472ec
|
Pick disagreement's fix through itemKind.declaresLess
|
2026-09-29 12:11:15 +02:00 |
|
|
lilleman
|
6b17205159
|
Give arm its head as written, and spell readRow's selector from it
|
2026-09-29 11:55:15 +02:00 |
|