Commit Graph

  • 6bd2b155d2 Move the Generator's lock-free-reader invariant from its godoc onto mu lilleman 2026-09-29 04:40:07 +02:00
  • 16604de74c Name the table lookup the Generator doc's fixed tree excepts, and drop the renders restatement lilleman 2026-09-29 04:37:19 +02:00
  • c422c9e436 Build the walk root in New, drop the categories copy, and correct the node and renders comments lilleman 2026-09-29 04:34:50 +02:00
  • d519a61f58 Keep Fake as the one example of a shared name lilleman 2026-09-29 04:25:49 +02:00
  • 3047627715 Call the body funcCall refuses a name-read body lilleman 2026-09-29 04:25:07 +02:00
  • fe2fea5da2 Drop the last field-alternation wording, say checkNodeFences holds the fences every binding needs, and tick the rename off lilleman 2026-09-29 04:22:39 +02:00
  • f0992e7151 Rename categoriesOf to segmentsOf lilleman 2026-09-29 04:22:39 +02:00
  • 29f3821a21 Rename pinnedRow, table.category, checkRenders, fieldAlternation and referenceFence to what they are lilleman 2026-09-29 04:20:28 +02:00
  • 4d35ead2a4 Say prints is handed to proveNumber, and give shortestDecimals its own const lilleman 2026-09-29 04:12:52 +02:00
  • 0dfa615b54 Name printedNumber's dp cases, and say what prints and proveNumber a builtin sets lilleman 2026-09-29 04:10:36 +02:00
  • be9ab3efcf Panic through internalError on a disagreement key mapped to nil too lilleman 2026-09-29 03:54:31 +02:00
  • e74457a470 Let disagreementFix alone judge a key the test builds lilleman 2026-09-29 03:54:31 +02:00
  • c304dae303 Panic through internalError on a disagreement key with no fix lilleman 2026-09-29 03:51:44 +02:00
  • 526b4c84fd Test that disagreements holds every key disagreement builds, and a miss panics as an internal error lilleman 2026-09-29 03:51:03 +02:00
  • 3131ecf2d6 Say which held names the expansion keeps, and cut formatOps restatements lilleman 2026-09-29 03:46:35 +02:00
  • 58e26c6d6b Report a held arm with no hold as an internal error, and name readHeld as the hold lilleman 2026-09-29 03:43:11 +02:00
  • a9ec8b3632 Test that readField reports a held arm with no hold as an internal error lilleman 2026-09-29 03:42:33 +02:00
  • 5ce0ce147e Read a reference path through readReference, which takes no held lilleman 2026-09-29 03:38:29 +02:00
  • e77a9371db Cut tableSite.row's stray clause lilleman 2026-09-29 03:32:25 +02:00
  • e9cdfe9edd Keep a template's table in one field, tableSite lilleman 2026-09-29 03:30:19 +02:00
  • 05bc56fe75 Define descended where table.route takes it lilleman 2026-09-29 03:24:44 +02:00
  • 0ad94089e2 Say on which route readSurvey.walk's dropped cell never renders lilleman 2026-09-29 03:19:25 +02:00
  • 38fbc47678 Spell readSurvey.walk's dropped cell as a default arm lilleman 2026-09-29 03:15:51 +02:00
  • 4e4254fa84 Title the stem decision by its rule, and point doc.go's whole at surveyAt lilleman 2026-09-29 03:00:31 +02:00
  • ecc7833e04 Name drawFence's receiver f, and say a survey route reaches a read lilleman 2026-09-29 02:57:46 +02:00
  • f7cfc75394 Name the fence drawFence and the route surveyRoute, and move the survey tests to readsurvey_test.go lilleman 2026-09-29 02:54:53 +02:00
  • 2d82f34cd4 Rename the load-time draw types to the read survey and fence, and move the survey to readsurvey.go lilleman 2026-09-29 02:51:35 +02:00
  • 1cefa18039 Name the four node-kind switches on node lilleman 2026-09-29 02:36:07 +02:00
  • b41ce7679f State the node-kind switch rule on node lilleman 2026-09-29 02:35:02 +02:00
  • f523283463 Assert the node-kind panics through mustPanic lilleman 2026-09-29 02:35:02 +02:00
  • 38837b86a8 Panic through internalError on a node kind contained or paths does not list lilleman 2026-09-29 02:31:52 +02:00
  • a82e937412 Test that contained and paths panic on a node kind they do not list lilleman 2026-09-29 02:31:10 +02:00
  • 501ea274ad File the 2026-09-29 nine-seat panel's findings, scored 5.8 lilleman 2026-09-29 02:19:00 +02:00
  • 7b01a7fd68 Say what List returns: fields, columns, linked tables, direct descents only lilleman 2026-09-29 01:55:00 +02:00
  • a9f35a1ab3 Correct List's, reached's and rng's false comments lilleman 2026-09-29 01:53:20 +02:00
  • 4c5466cad0 Spell rowOf's panic apart from mustRow's lilleman 2026-09-29 01:41:24 +02:00
  • e88c7e0170 Say mustPanic wants internalError's phrase lilleman 2026-09-29 01:41:24 +02:00
  • 125fb1e9aa Drop the done panic-phrase round item lilleman 2026-09-29 01:38:45 +02:00
  • 514d738b08 Report every invariant break through internalError lilleman 2026-09-29 01:38:45 +02:00
  • 3aa747de02 Require every panic to report through internalError, one greppable phrase lilleman 2026-09-29 01:36:53 +02:00
  • 3af4526ef6 Give Fake a local hold set, as the other renders have, and drop the done round item lilleman 2026-09-29 01:30:42 +02:00
  • 5a87dc04d3 Pin readField's unheld-path panic past the trace check, and fail the gathered-reads test when nothing traced lilleman 2026-09-29 01:15:22 +02:00
  • 77f79de443 Trace a render's reads through the hold set the test makes, dropping session.trace and repeatDepth lilleman 2026-09-29 01:10:10 +02:00
  • 64f339b0db Pin holdOne's disagreement by the end of the error, which the other two extend lilleman 2026-09-29 00:53:06 +02:00
  • fd4906846d Name disagreement's item pair itemPair lilleman 2026-09-29 00:51:19 +02:00
  • 7a6ca476a8 Pin the proven disagreements of two declared and two read datatypes lilleman 2026-09-29 00:50:48 +02:00
  • ef6116f795 Make disagreement a table keyed by the two item kinds and the proof, and drop the done round item lilleman 2026-09-29 00:47:50 +02:00
  • ac0d177939 Pin each column-datatype disagreement with its items in either order lilleman 2026-09-29 00:45:22 +02:00
  • 1542867c71 Say how each path walk differs from pathCheck at a choice and a table, and drop the done round item lilleman 2026-09-29 00:31:24 +02:00
  • e09a0434a3 Drop the comment restating readsRef lilleman 2026-09-29 00:18:50 +02:00
  • 010bcd15bc Carry the linked arm on renderEdge and reader, and drop the done round item lilleman 2026-09-29 00:15:54 +02:00
  • 181e0bbb6e Keep the renderEdges test to the panic it names lilleman 2026-09-29 00:01:03 +02:00
  • d19c5d4719 Make renderEdges panic on a node kind it does not handle, and drop the done round item lilleman 2026-09-28 23:58:14 +02:00
  • 446a3f98d6 Test that renderEdges panics on a node kind it does not handle lilleman 2026-09-28 23:56:34 +02:00
  • 62ae658b4d Drop checkCells from the compile fill header lilleman 2026-09-28 23:42:14 +02:00
  • 6158eb0f46 Build a table cell's template through compileString, and drop the done round item lilleman 2026-09-28 23:41:22 +02:00
  • e257dc0e6e Return link's and format compile's outputs as templateLink and formatOps, assigned once in linkTemplate lilleman 2026-09-28 23:37:32 +02:00
  • 243094e4ab Name every Fake receiver and fold the function-method rule into its test in the one-name decision lilleman 2026-09-28 23:19:17 +02:00
  • 54d933ecc2 Name renderScope.groupHold for what it returns, correct pathDraw's pins comment, and drop the done round item lilleman 2026-09-28 23:18:25 +02:00
  • 194f194f81 Split the expansion's hold from the group's, and read a table's row from where the table is entered lilleman 2026-09-28 23:09:13 +02:00
  • 88f762077f Key drawWalk's visits by interned pin sets and the whole table lilleman 2026-09-28 22:42:07 +02:00
  • d03c92ddbf Pin that the fence walk reaches a table's cells by every route lilleman 2026-09-28 22:57:46 +02:00
  • df230e286f Key the traced reads by their table row, not drawAt.rowsKey lilleman 2026-09-28 22:41:24 +02:00
  • 19033bf2e5 Fail the whole-replay comparison where it compared no read set lilleman 2026-09-28 22:26:35 +02:00
  • 0825819e44 Hold replayPairs to a whole replay of every read set rendering together lilleman 2026-09-28 22:20:14 +02:00
  • 9ae65d13a0 Name the panics the round respells, and drop a quoted panic no code prints lilleman 2026-09-28 22:05:53 +02:00
  • 3a639c93b5 File the 2026-09-28 nine-seat panel's findings, scored 5.7 lilleman 2026-09-28 22:05:24 +02:00
  • 836ab8ddc4 State the alternatives rule by the row a cell sits in lilleman 2026-09-28 21:51:55 +02:00
  • 805a2d11fc Name the selector syntax the alternatives rule turns on lilleman 2026-09-28 21:50:54 +02:00
  • 7eb1b2473f State in the README which reads never render together, and drop the decision restating alternatives lilleman 2026-09-28 21:47:29 +02:00
  • dc0f9fa2d6 Drop the comment claims that name callers and List's gaps lilleman 2026-09-28 21:33:45 +02:00
  • 21b48c8c41 Correct the false comments and delete dead code lilleman 2026-09-28 21:29:54 +02:00
  • a84997d2f4 Settle the open questions through the goals and audience lilleman 2026-09-28 20:26:20 +02:00
  • e4d075af6c Name the hold set in the decision's first line lilleman 2026-09-28 18:56:07 +02:00
  • a1852076fe Start a named draw group from an empty hold, and state the decision's goal and cost exactly lilleman 2026-09-28 18:53:47 +02:00
  • 1b9cf00a26 Start every render from the zero hold set lilleman 2026-09-28 18:45:07 +02:00
  • 1d73f1dc90 Start the record test root from the zero hold set lilleman 2026-09-28 18:45:07 +02:00
  • ce469cb3a3 State the row lookup whole in the key-map decision lilleman 2026-09-28 11:52:40 +02:00
  • 8f86de2187 Name pathKeys, pathKeyReaders, proveKeys and readValue's hold for what they hold, and give no token kind to the zero value lilleman 2026-09-28 11:44:06 +02:00
  • 0225f16924 Name the tests' holds, header and row lookup by their one meaning, and drop the dead bound_test.go pointer lilleman 2026-09-28 11:42:56 +02:00
  • affbb9ac6f Give head, index, bound and draw one meaning each, name familyRoot, and type the token kinds lilleman 2026-09-28 11:36:04 +02:00
  • cb064362d1 Name the tests' held reads held, keeping bound for a numeric bound lilleman 2026-09-28 11:36:04 +02:00
  • c6a0ef2e98 Read checkColumns' first datatype through columnDatatype lilleman 2026-09-28 11:18:14 +02:00
  • b2ffac5317 Derive a column's datatype in columnDatatype alone lilleman 2026-09-28 11:15:09 +02:00
  • 86118e2710 Name the both-declared case in disagreement's comment lilleman 2026-09-28 11:00:39 +02:00
  • 6afe16ba01 Pick a column disagreement's wording from one swap, one proof and one switch lilleman 2026-09-28 10:55:49 +02:00
  • 2254b33f0e Keep the binding's prose to what its code cannot say lilleman 2026-09-28 10:40:35 +02:00
  • 01a60d06f1 Name the inline drawGroup refusal as a binding's reference fence, beside the cycle fence lilleman 2026-09-28 10:37:26 +02:00
  • 224cf12fdd Link the compile-at-link fragment as every other test does lilleman 2026-09-28 10:36:35 +02:00
  • cfe653de4d Run New, NewTemplate and FakeStruct through one bind pipeline naming where they differ lilleman 2026-09-28 10:32:28 +02:00
  • 9ea8f84421 Approve and reword the link-time checks decision lilleman 2026-09-28 10:21:01 +02:00
  • ecb90f828f Correct the comments and decision around link-time compilation lilleman 2026-09-28 03:09:30 +02:00
  • 6e0f302d20 Plan naming the file a link error comes from lilleman 2026-09-28 03:07:47 +02:00
  • aee932dc93 Rewrap the linkRefs comment lilleman 2026-09-28 03:06:46 +02:00
  • dbddb0845a Name the compiled-flag map and fail on its walk lilleman 2026-09-28 03:06:46 +02:00
  • 0dee3e01f8 Want a fence error to name its category path lilleman 2026-09-28 02:55:42 +02:00
  • 306b88ef56 Compile every format at link lilleman 2026-09-28 02:53:08 +02:00
  • e11ee9ec0e Link every test fragment before asserting on it lilleman 2026-09-28 02:53:08 +02:00
  • e0969e69e7 Want every format compiled at link, not only one holding a reference lilleman 2026-09-28 02:48:24 +02:00
  • f6ac63f3ab Place checkOwnFamily beside checkDraws, its caller lilleman 2026-09-28 02:39:36 +02:00