Commit Graph

698 Commits

Author SHA1 Message Date
lilleman b75e517bda Name resolveLink as what proves splitArm's reference, and the tail it takes 2026-09-29 11:55: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
lilleman df4d4001f7 Test a relative reference's selector spelling in the selection fence's rewrite 2026-09-29 11:55:15 +02:00
lilleman bad15a5bdb Name formatOps' held entry firstReach, and checkNameHeld's path spelling path 2026-09-29 11:35:46 +02:00
lilleman bb70688f1d Hold each name in one formatOps map, beside its first reader and path 2026-09-29 11:35:46 +02:00
lilleman 1b219e333a Word readsurvey.go's Layout line so the own-family fence is not the survey's verdict 2026-09-29 11:18:24 +02:00
lilleman 7baee64cc3 Move each draw fence beside the check it pairs with, and inline checkColumnDraws 2026-09-29 11:18:24 +02:00
lilleman 4772fa7df3 Key the survey by a pin set's rows spelled as a string 2026-09-29 11:11:52 +02:00
lilleman 79e63829c4 Keep the four path walks: one loop fails the allocation gate 2026-09-29 11:04:05 +02:00
lilleman 704837bf0b File the one-loop path walk experiment as the next round item 2026-09-29 10:53:08 +02:00
lilleman 21140042d3 File the third 2026-09-29 nine-seat panel's findings, scored 6.1 2026-09-29 10:44:59 +02:00
lilleman eebf2aa62b Delete the comments and preambles the panel found empty 2026-09-29 10:33:56 +02:00
lilleman 64705fcf0f Name checkOwnFamily's found table familyTable 2026-09-29 10:28:15 +02:00
lilleman 6275c6d41e Rename refBinding.key to head, and the stale key wording beside it 2026-09-29 10:28:15 +02:00
lilleman a7d77bd3ad Rename arm.key to head, give renderScope.row its own type, and value.go to valueproof.go 2026-09-29 10:28:15 +02:00
lilleman 30d0f84ea4 Drop table.fields for formatTemplate.fields 2026-09-29 10:08:41 +02:00
lilleman ade2a7855f Trim disagreementFix's comment to the proof it defines 2026-09-29 10:03:36 +02:00
lilleman e8469f1f89 Replace disagreements' ten keys with the rule they encode 2026-09-29 10:03:36 +02:00
lilleman c15067b942 Assert disagreementFix takes the two kinds and the proof, and refuses two text items 2026-09-29 10:03:36 +02:00
lilleman e494d61647 Fold the product-owner's wording findings into the row-read refusal item 2026-09-29 09:56:09 +02:00
lilleman 14ced0e642 File prove's composed-text reason for a one-column table format 2026-09-29 09:56:09 +02:00
lilleman 16e4f4ebbb Give prove, stepInto and columnItems a case per node kind, panicking on the rest 2026-09-29 09:56:09 +02:00
lilleman d01c914e7f Assert prove, stepInto and columnItems panic on an unhandled node, and a bare table read is refused as a row 2026-09-29 09:56:09 +02:00
lilleman 64bb5c7004 Separate the hold's gloss from the hold set in README's layout 2026-09-29 09:34:07 +02:00
lilleman 9ab18c575a Move the render's read path into render.go and merge holdset.go into hold.go 2026-09-29 09:34:07 +02:00
lilleman 2e553d29f7 Record each selector's table and spelling in pathProbe.readRow 2026-09-29 09:26:12 +02:00
lilleman 2499e71809 Assert the table each probed selector is credited to 2026-09-29 09:26:12 +02:00
lilleman c78f9618cf Move readSurvey's verdict from drawfence.go into readsurvey.go 2026-09-29 09:14:48 +02:00
lilleman 2f8d431940 Correct the seat counts 2026-09-29 09:00:20 +02:00
lilleman d8887e0ea1 File the second 2026-09-29 nine-seat panel's findings, scored 5.7 2026-09-29 09:00:20 +02:00
lilleman 5b313a44bb Plan the promise that a Generator's renders run one at a time 2026-09-29 08:44:07 +02:00
lilleman 83f8c45493 Name the fields mu guards 2026-09-29 04:45:27 +02:00
lilleman 6bd2b155d2 Move the Generator's lock-free-reader invariant from its godoc onto mu 2026-09-29 04:45:27 +02:00
lilleman 16604de74c Name the table lookup the Generator doc's fixed tree excepts, and drop the renders restatement 2026-09-29 04:45:27 +02:00
lilleman c422c9e436 Build the walk root in New, drop the categories copy, and correct the node and renders comments 2026-09-29 04:45:27 +02:00
lilleman d519a61f58 Keep Fake as the one example of a shared name 2026-09-29 04:31:25 +02:00
lilleman 3047627715 Call the body funcCall refuses a name-read body 2026-09-29 04:31:25 +02:00
lilleman fe2fea5da2 Drop the last field-alternation wording, say checkNodeFences holds the fences every binding needs, and tick the rename off 2026-09-29 04:31:25 +02:00
lilleman f0992e7151 Rename categoriesOf to segmentsOf 2026-09-29 04:31:25 +02:00
lilleman 29f3821a21 Rename pinnedRow, table.category, checkRenders, fieldAlternation and referenceFence to what they are 2026-09-29 04:31:25 +02:00
lilleman 4d35ead2a4 Say prints is handed to proveNumber, and give shortestDecimals its own const 2026-09-29 04:17:59 +02:00
lilleman 0dfa615b54 Name printedNumber's dp cases, and say what prints and proveNumber a builtin sets 2026-09-29 04:17:59 +02:00
lilleman be9ab3efcf Panic through internalError on a disagreement key mapped to nil too 2026-09-29 04:08:24 +02:00
lilleman e74457a470 Let disagreementFix alone judge a key the test builds 2026-09-29 04:08:24 +02:00
lilleman c304dae303 Panic through internalError on a disagreement key with no fix 2026-09-29 04:08:24 +02:00
lilleman 526b4c84fd Test that disagreements holds every key disagreement builds, and a miss panics as an internal error 2026-09-29 04:08:24 +02:00
lilleman 3131ecf2d6 Say which held names the expansion keeps, and cut formatOps restatements 2026-09-29 03:49:59 +02:00
lilleman 58e26c6d6b Report a held arm with no hold as an internal error, and name readHeld as the hold 2026-09-29 03:49:59 +02:00
lilleman a9ec8b3632 Test that readField reports a held arm with no hold as an internal error 2026-09-29 03:49:59 +02:00
lilleman 5ce0ce147e Read a reference path through readReference, which takes no held 2026-09-29 03:49:59 +02:00