Commit Graph

1039 Commits

Author SHA1 Message Date
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
lilleman 6fdd8bd09b Test that a pin clash below a nested template names the root's route 2026-09-29 20:35:25 +02:00
lilleman 73fa013011 Survey tests: reach a table's cells through its own format, the shape New lets through 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 85cc000d23 Drop the backfilled date where a decision already records its own 2026-09-29 20:12:33 +02:00
lilleman 0e8c054a46 Check CodeRabbit once at ready, and never wait for it below 10 stars 2026-09-29 18:41:41 +02:00
lilleman dbac4c5ad8 Date every decision from the history that first names it, and credit it to Lilleman 2026-09-29 18:41:41 +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 fe40e2ca95 Name the holding operand in the operand refusal, and an operand route's fix 2026-09-29 16:50:44 +02:00
lilleman 5880487f47 Test that the operand refusal names the holding operand, and an operand route's fix 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 316c69c063 Name the operand refusal's call as written, and the spelling that reads its draw 2026-09-29 16:50:44 +02:00
lilleman 401141bb66 Test that the operand refusal names the operand as written and the spelling to use 2026-09-29 16:50:44 +02:00
lilleman e84522f244 Scope the held-reference decision to a draw group, and give both hold decisions their goal 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 14952d0c06 Test that a repeated bare reference beside its path names the draw fence's refusal 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