Commit Graph

  • 2b61433258 Name a read's context its group, route and branches, deleting surveyAt lilleman 2026-09-29 21:46:25 +02:00
  • 9e786ccf39 Move the read fold to reads.go and the survey's verdict to drawfence.go, deleting readsurvey.go lilleman 2026-09-29 21:44:39 +02:00
  • 4952ae9442 Checkpoint the round with a nine-seat run before the path steps lilleman 2026-09-29 21:37:08 +02:00
  • 42c443bd5a Build the draw fence's fold with the fence, deleting its lazy accessor lilleman 2026-09-29 21:27:23 +02:00
  • a222fb985e Share one read fold across each oracle's corpus, as the draw fence does lilleman 2026-09-29 21:26:47 +02:00
  • b7bbf40366 Move surveyRender and surveyColumns, used only by tests, into readsurvey_test.go lilleman 2026-09-29 21:17:26 +02:00
  • 78b08b699f Have the draw fence query the read fold, deleting hasRead and its helpers lilleman 2026-09-29 21:16:50 +02:00
  • 8d5c7e0adf Fold a table format's own reference reads, and tag only its own columns' cells with a row lilleman 2026-09-29 20:30:36 +02:00
  • fc5f1e8685 Test that a table format's own reference reads are fenced, whole or by row lilleman 2026-09-29 20:28:51 +02:00
  • 4cd6e9f767 Gather a render's reads as a fold memoised per node, deleting readSurvey.walk and edge lilleman 2026-09-29 20:21:00 +02:00
  • 6fdd8bd09b Test that a pin clash below a nested template names the root's route lilleman 2026-09-29 20:18:13 +02:00
  • 73fa013011 Survey tests: reach a table's cells through its own format, the shape New lets through lilleman 2026-09-29 20:16:48 +02:00
  • 45bdd10c9b Record that a cell may read a reference, and plan the round as the approved restructure lilleman 2026-09-29 20:11:47 +02:00
  • 85cc000d23 Drop the backfilled date where a decision already records its own lilleman 2026-09-29 20:11:11 +02:00
  • 0e8c054a46 Check CodeRabbit once at ready, and never wait for it below 10 stars lilleman 2026-09-29 18:41:07 +02:00
  • dbac4c5ad8 Date every decision from the history that first names it, and credit it to Lilleman lilleman 2026-09-29 18:41:07 +02:00
  • 672263421a File the operand route's missing spelling under the refusal-spelling item lilleman 2026-09-29 16:38:20 +02:00
  • fe40e2ca95 Name the holding operand in the operand refusal, and an operand route's fix lilleman 2026-09-29 16:34:05 +02:00
  • 5880487f47 Test that the operand refusal names the holding operand, and an operand route's fix lilleman 2026-09-29 16:33:11 +02:00
  • c4911e15bc Narrow the refusal-spelling item to the path refusals lilleman 2026-09-29 16:30:41 +02:00
  • 316c69c063 Name the operand refusal's call as written, and the spelling that reads its draw lilleman 2026-09-29 16:30:31 +02:00
  • 401141bb66 Test that the operand refusal names the operand as written and the spelling to use lilleman 2026-09-29 16:29:54 +02:00
  • e84522f244 Scope the held-reference decision to a draw group, and give both hold decisions their goal lilleman 2026-09-29 16:27:44 +02:00
  • acbc6943b8 Spell a reference path as arm.isRefPath, and say where each tail's head is held lilleman 2026-09-29 16:24:10 +02:00
  • dee1e186e3 Hold only an expansion's names in formatOps.held, deleting keepsHold lilleman 2026-09-29 16:18:13 +02:00
  • 14952d0c06 Test that a repeated bare reference beside its path names the draw fence's refusal lilleman 2026-09-29 16:17:08 +02:00
  • ff54251e9b Put the draw fence and its refusals in drawfence.go lilleman 2026-09-29 16:10:16 +02:00
  • dd2ba5696e File the fifth 2026-09-29 nine-seat panel's findings, scored 5.8 lilleman 2026-09-29 15:57:13 +02:00
  • 6ee7ee4234 Delete the sort-order restatements on walkNodes and compileFields lilleman 2026-09-29 15:44:50 +02:00
  • 9b050994f5 Delete the reported-order clauses and checkRecordDraws' record-only comment lilleman 2026-09-29 15:43:46 +02:00
  • 789c47d0ee Name a real method in declaredFuncs' example lilleman 2026-09-29 15:29:01 +02:00
  • ba43eb1c91 Compile a format in format.go lilleman 2026-09-29 15:27:21 +02:00
  • c2ac7bf843 File the missing spellings and the linked-tables paragraph split lilleman 2026-09-29 15:08:59 +02:00
  • 9d9d72c892 File the drawGroup advice for two reads under one field lilleman 2026-09-29 15:08:03 +02:00
  • d943bdca16 Name a drawGroup only on a field that splits the pair, and a field around a reference lilleman 2026-09-29 15:05:45 +02:00
  • 82ea599458 Pin the drawGroup advice to a field that splits the pair, or none lilleman 2026-09-29 15:05:13 +02:00
  • ba8bf06c00 Name the reference-draw overlap's disagreement and the read a drawGroup goes on lilleman 2026-09-29 14:59:16 +02:00
  • 68dc2e594a Pin the reference-draw overlap to naming the disagreement and the read a drawGroup goes on lilleman 2026-09-29 14:58:32 +02:00
  • 5c8e7d66d0 Word the reference-draw overlap so it holds for a path and a family table lilleman 2026-09-29 14:53:45 +02:00
  • 7cb07bfc5d Pin the reference-draw overlap to wording true of a path and of a family table lilleman 2026-09-29 14:53:14 +02:00
  • 2e57a38e0b Word the second-route and reference-draw overlap refusals apart from the format's own lilleman 2026-09-29 14:50:08 +02:00
  • 487f60c6af Pin each overlap refusal to its own wording lilleman 2026-09-29 14:48:43 +02:00
  • f1b0cda818 Say a draw group holds a reference path, and correct the stale hold wording lilleman 2026-09-29 14:41:46 +02:00
  • b99966fe19 Name the render's draws apart from the expansion hold: drawMemo, groupDraws, renderDraws lilleman 2026-09-29 14:38:36 +02:00
  • 40f1129c23 Choose disagreement's error directly, ranking itemKind with < lilleman 2026-09-29 14:27:34 +02:00
  • ccc079a9ca Test disagreement's two-text panic through disagreement itself lilleman 2026-09-29 14:26:47 +02:00
  • 8fb3695fa9 Delete node's switch list, which the kind test now holds lilleman 2026-09-29 14:12:36 +02:00
  • 4ee0d61a64 Name each node switch sample by its type lilleman 2026-09-29 14:11:19 +02:00
  • 9d5b81d2f5 Test that every node switch handles every node kind, and render and renderEdges agree lilleman 2026-09-29 14:05:54 +02:00
  • 64040c745f Give readSurvey's pin clash checkOwnFamily's advice lilleman 2026-09-29 13:46:23 +02:00
  • b3cc37be26 Report a pin clash in readSurvey.edge as a load error, not a panic lilleman 2026-09-29 13:44:08 +02:00
  • 4c42c60651 Test that readSurvey reports a pin clash as an error lilleman 2026-09-29 13:42:19 +02:00
  • acbb8f0b24 Say the group hold embeds the expansion hold in the round's naming item lilleman 2026-09-29 13:39:57 +02:00
  • 57d9698b0b File the fourth 2026-09-29 nine-seat panel's findings, scored 5.8 lilleman 2026-09-29 13:39:33 +02:00
  • e1769f20a2 Delete loadData's, drawRow's and selector's comments, and render.go's second and third compile notes lilleman 2026-09-29 13:28:27 +02:00
  • 94c8bd229d Give checkOwnFamily the scope walk's signature, and drop its wrapper lilleman 2026-09-29 13:14:15 +02:00
  • 0fde439d8b Drop the done readSurvey.edge item from todo.md lilleman 2026-09-29 13:09:19 +02:00
  • 6cb2d143d6 Refuse own-family reads before any survey, and panic on a clash where readSurvey.edge enters a read's pins lilleman 2026-09-29 13:09:19 +02:00
  • 25857fb660 Test a selected row reaching its family's other row through a draw group lilleman 2026-09-29 13:06:18 +02:00
  • 322c8dead7 State pinSet.pin's precondition, and file readSurvey.edge's unchecked pins lilleman 2026-09-29 12:51:00 +02:00
  • 8079157329 File the newRand rename in todo.md lilleman 2026-09-29 12:35:03 +02:00
  • 186443f883 Rename eachToken to eachScanUnit, and narrow generatorState to draw state lilleman 2026-09-29 12:34:36 +02:00
  • 14194a775d Rename ftoken to scanUnit and session to generatorState lilleman 2026-09-29 12:31:52 +02:00
  • aa2890b479 Spell traceRead's format case as the other format tests do lilleman 2026-09-29 12:15:43 +02:00
  • 8793681d8a Test a table cell through tableSite.isCell, and trace no row outside a table lilleman 2026-09-29 12:13:33 +02:00
  • 4fcf45b5d0 Trace a render's read with the row it renders, none outside a table lilleman 2026-09-29 12:12:42 +02:00
  • d50136223a Rank itemKind through a free declaresLess, named in the type's comment lilleman 2026-09-29 11:58:44 +02:00
  • a4547472ec Pick disagreement's fix through itemKind.declaresLess lilleman 2026-09-29 11:56:51 +02:00
  • b75e517bda Name resolveLink as what proves splitArm's reference, and the tail it takes lilleman 2026-09-29 11:42:43 +02:00
  • 6b17205159 Give arm its head as written, and spell readRow's selector from it lilleman 2026-09-29 11:39:14 +02:00
  • df4d4001f7 Test a relative reference's selector spelling in the selection fence's rewrite lilleman 2026-09-29 11:39:14 +02:00
  • bad15a5bdb Name formatOps' held entry firstReach, and checkNameHeld's path spelling path lilleman 2026-09-29 11:22:29 +02:00
  • bb70688f1d Hold each name in one formatOps map, beside its first reader and path lilleman 2026-09-29 11:20:09 +02:00
  • 1b219e333a Word readsurvey.go's Layout line so the own-family fence is not the survey's verdict lilleman 2026-09-29 11:14:43 +02:00
  • 7baee64cc3 Move each draw fence beside the check it pairs with, and inline checkColumnDraws lilleman 2026-09-29 11:13:33 +02:00
  • 4772fa7df3 Key the survey by a pin set's rows spelled as a string lilleman 2026-09-29 11:06:57 +02:00
  • 79e63829c4 Keep the four path walks: one loop fails the allocation gate lilleman 2026-09-29 11:01:16 +02:00
  • 704837bf0b File the one-loop path walk experiment as the next round item lilleman 2026-09-29 10:52:38 +02:00
  • 21140042d3 File the third 2026-09-29 nine-seat panel's findings, scored 6.1 lilleman 2026-09-29 10:43:11 +02:00
  • eebf2aa62b Delete the comments and preambles the panel found empty lilleman 2026-09-29 10:30:13 +02:00
  • 64705fcf0f Name checkOwnFamily's found table familyTable lilleman 2026-09-29 10:15:39 +02:00
  • 6275c6d41e Rename refBinding.key to head, and the stale key wording beside it lilleman 2026-09-29 10:14:00 +02:00
  • a7d77bd3ad Rename arm.key to head, give renderScope.row its own type, and value.go to valueproof.go lilleman 2026-09-29 10:11:12 +02:00
  • 30d0f84ea4 Drop table.fields for formatTemplate.fields lilleman 2026-09-29 10:06:00 +02:00
  • ade2a7855f Trim disagreementFix's comment to the proof it defines lilleman 2026-09-29 10:00:12 +02:00
  • e8469f1f89 Replace disagreements' ten keys with the rule they encode lilleman 2026-09-29 09:58:01 +02:00
  • c15067b942 Assert disagreementFix takes the two kinds and the proof, and refuses two text items lilleman 2026-09-29 09:57:13 +02:00
  • e494d61647 Fold the product-owner's wording findings into the row-read refusal item lilleman 2026-09-29 09:43:24 +02:00
  • 14ced0e642 File prove's composed-text reason for a one-column table format lilleman 2026-09-29 09:42:47 +02:00
  • 16e4f4ebbb Give prove, stepInto and columnItems a case per node kind, panicking on the rest lilleman 2026-09-29 09:37:32 +02:00
  • d01c914e7f Assert prove, stepInto and columnItems panic on an unhandled node, and a bare table read is refused as a row lilleman 2026-09-29 09:36:14 +02:00
  • 64bb5c7004 Separate the hold's gloss from the hold set in README's layout lilleman 2026-09-29 09:31:16 +02:00
  • 9ab18c575a Move the render's read path into render.go and merge holdset.go into hold.go lilleman 2026-09-29 09:30:00 +02:00
  • 2e553d29f7 Record each selector's table and spelling in pathProbe.readRow lilleman 2026-09-29 09:20:20 +02:00
  • 2499e71809 Assert the table each probed selector is credited to lilleman 2026-09-29 09:17:31 +02:00
  • c78f9618cf Move readSurvey's verdict from drawfence.go into readsurvey.go lilleman 2026-09-29 09:02:02 +02:00
  • 2f8d431940 Correct the seat counts lilleman 2026-09-29 08:58:41 +02:00
  • d8887e0ea1 File the second 2026-09-29 nine-seat panel's findings, scored 5.7 lilleman 2026-09-29 08:58:19 +02:00
  • 5b313a44bb Plan the promise that a Generator's renders run one at a time lilleman 2026-09-29 08:43:37 +02:00
  • 83f8c45493 Name the fields mu guards lilleman 2026-09-29 04:42:36 +02:00