 lilleman
|
0b5124d4d5
|
Rename checkResolves to checkPathResolves
|
2026-09-30 21:49:05 +02:00 |
|
|
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
|
16d6497396
|
Read isFormat in the render test helpers
|
2026-09-30 21:41:53 +02:00 |
|
|
lilleman
|
492772b995
|
Give tableSite an isFormat beside isCell
|
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
|
4ed4b10fa2
|
Nest disagreement's other-item switch in the fixed item's text arm
|
2026-09-30 21:01:31 +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
|
faa4bba898
|
Fail the arm kind test on an arm it lists no kind for
|
2026-09-30 20:49:58 +02:00 |
|
|
lilleman
|
55b127856b
|
Drop the done readField item from the plan
|
2026-09-30 20:49:58 +02:00 |
|
|
lilleman
|
26b35abe70
|
Fix at compile how readField reads an arm, deleting its two panics and its held lookup per read
|
2026-09-30 20:49:58 +02:00 |
|
|
lilleman
|
efbad0f325
|
Require compile to fix how each arm is read, in place of readField's panics
|
2026-09-30 20:49:58 +02:00 |
|
|
lilleman
|
c80d5016f6
|
Say heldCheck also rejects a held draw read two ways, and name its helper checkTemplateHold
|
2026-09-30 20:32:35 +02:00 |
|
|
lilleman
|
71feec7db9
|
Drop the done heldCheck fold from the plan
|
2026-09-30 20:32:35 +02:00 |
|
|
lilleman
|
317486df0a
|
Fold checkNoOverlap and checkNoRepeatedRead into heldCheck, so compileFormat compiles and nothing more
|
2026-09-30 20:32:35 +02:00 |
|
|
lilleman
|
4ea7cb48a5
|
Check a repeated held token through NewTemplate, where the load fences run
|
2026-09-30 20:32:35 +02:00 |
|
|
lilleman
|
4bf8deddb4
|
Name the goals behind probing a path before drawing it, and cut comments restating their code
|
2026-09-30 20:20:28 +02:00 |
|
|
lilleman
|
220129584e
|
Write the seeded pin's data through writeFiles
|
2026-09-30 20:20:28 +02:00 |
|
|
lilleman
|
270ba93fbe
|
Name a failed step's index in drawSteps' panics, and quote the decision's measurement as the experiment it was
|
2026-09-30 20:20:28 +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
|
d5d1e86b1c
|
Draw a path's compiled steps through drawSteps in the tests
|
2026-09-30 20:20:28 +02:00 |
|
|
lilleman
|
d1722a8706
|
Pin the seeded bytes of paths through a choice, a selector and a drawn row
|
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
|
d279408ba5
|
Step a table's routes past its selector, and panic on an arm with no bound head
|
2026-09-30 20:02:16 +02:00 |
|
|
lilleman
|
c29885e31f
|
Require a compiled step to sit at the segment it consumes, and name the table read's test for it
|
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
|
0f58784a1b
|
Require each path's leaves, cover and table steps from compilePath
|
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
|
3240f05027
|
Require readFold.reads to panic 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
|
a898df62c1
|
Exempt below the floor a repair of documented behaviour, where goal 5 no longer promises one
|
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
|
4cba01fc7a
|
Test the draw fence's pairs through check and coRender, and that the lowest route's pin clash is named
|
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
|
9e786ccf39
|
Move the read fold to reads.go and the survey's verdict to drawfence.go, deleting readsurvey.go
|
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
|
42c443bd5a
|
Build the draw fence's fold with the fence, deleting its lazy accessor
|
2026-09-29 21:31:07 +02:00 |
|
|
lilleman
|
a222fb985e
|
Share one read fold across each oracle's corpus, as the draw fence does
|
2026-09-29 21:31:07 +02:00 |
|
|
lilleman
|
b7bbf40366
|
Move surveyRender and surveyColumns, used only by tests, into readsurvey_test.go
|
2026-09-29 21:31:07 +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
|
8d5c7e0adf
|
Fold a table format's own reference reads, and tag only its own columns' cells with a row
|
2026-09-29 20:35:25 +02:00 |
|
|
lilleman
|
fc5f1e8685
|
Test that a table format's own reference reads are fenced, whole or by row
|
2026-09-29 20:35:25 +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 |
|