63 Commits

Author	SHA1	Message	Date
lilleman	ee25212618	Answer stability round 1: readsRow counts a selector, checkNameReads defers to refuseSingleRead, climbed names the child's row, and geo-se.py owns its big-city reading	2026-10-07 01:22:24 +02:00
lilleman	f7d9e3fb71	Delete the doc lines the panel read as restating their code	2026-10-07 01:22:24 +02:00
lilleman	f272c5b025	State the step-down rule at drawSteps' climbed, and name the parts of route's draw condition	2026-10-07 01:22:24 +02:00
lilleman	0e3c986801	Move renderEnv's methods into env.go, a table's route and draw steps into table.go, and the compiled read into arm.go	2026-10-07 01:22:24 +02:00
lilleman	29a5314f60	Answer architecture round 1: rows.Options checked whole in internal/rows, Owner and ProveStepUp, neutral pin docs, one walk position, tests of internal/rows and Weighted, and a true README list of Fake's failures	2026-10-05 22:10:04 +02:00
lilleman	707cd6b203	Move a table's rows, links and pins into internal/rows, and walk every path through one per-step function, so Fake refuses a level carrying a repeat	2026-10-05 22:10:04 +02:00
lilleman	d7613bd7c7	Answer prose round 2: a complexity rule whose exception excepts, and plainer walk and ancestor comments	2026-10-05 21:21:46 +02:00
lilleman	449e8e3233	Answer prose round 1 and product-owner round 1: plainer walk, link and ancestor comments, a complexity rule that reads one way, shorter items 115 and 116, and a cycle through a cell filed under item 115	2026-10-05 21:21:46 +02:00
lilleman	54cb52b483	Answer architecture round 1: one categoryPath, the walk's label named label, checkAncestors split from proveParent, and file items 115 and 116	2026-10-05 21:21:46 +02:00
lilleman	8ffaa31e39	Set a table's path when it compiles, link a table family in one function, and label a cell from the walk	2026-10-05 21:21:46 +02:00
lilleman	818a9b56c2	Move the folder walk and the reading of a data tree's JSON and TSV files into internal/datafiles	2026-10-05 16:30:28 +02:00
lilleman	6fd7da19e5	Answer architecture round 1: calls carry no operands in the grammar, ParseCalc returns its operands, one empty-segment check, sorted token kinds, and file items 110 and 111	2026-10-05 12:35:08 +02:00
lilleman	c2f2e86735	Move how the template language is written into internal/grammar	2026-10-05 12:35:08 +02:00
lilleman	2d9c315e75	Move the seeded randomness and the {seq()} counters into internal/drawstate	2026-10-05 12:03:38 +02:00
lilleman	6aebeebb72	Draw every {…} afresh, keep a pick only by name, and delete drawGroup with the hold and draw fences	2026-10-05 10:19:01 +02:00
lilleman	5667cd5dc3	Load a shipped category on the first call reaching it, from an index generated from data/	2026-10-03 20:37:07 +02:00
lilleman	2bb795e08c	Split the picks and the name fences out of name.go, state the repeat refusal and the naming rule where they hold, and draw a memo's variants one way	2026-10-03 14:23:58 +02:00
lilleman	b1aed332e7	Keep in a pick only what reads of its name address, look frames up on the stack alone, and refuse a name read once whole	2026-10-03 14:23:58 +02:00
lilleman	23e426016d	Bind a pick to a name with {ref as n}, and read it with {n} and {n.path}	2026-10-03 14:23:58 +02:00
lilleman	e1769f20a2	Delete loadData's, drawRow's and selector's comments, and render.go's second and third compile notes	2026-09-29 13:31:04 +02:00
lilleman	14194a775d	Rename ftoken to scanUnit and session to generatorState	2026-09-29 12:47:38 +02:00
lilleman	eebf2aa62b	Delete the comments and preambles the panel found empty	2026-09-29 10:33:56 +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	29f3821a21	Rename pinnedRow, table.category, checkRenders, fieldAlternation and referenceFence to what they are	2026-09-29 04:31:25 +02:00
lilleman	e9cdfe9edd	Keep a template's table in one field, tableSite	2026-09-29 03:34:48 +02:00
lilleman	6158eb0f46	Build a table cell's template through compileString, and drop the done round item	2026-09-28 23:55:22 +02:00
lilleman	e257dc0e6e	Return link's and format compile's outputs as templateLink and formatOps, assigned once in linkTemplate	2026-09-28 23:55:22 +02:00
lilleman	21b48c8c41	Correct the false comments and delete dead code	2026-09-28 21:46:24 +02:00
lilleman	8f86de2187	Name pathKeys, pathKeyReaders, proveKeys and readValue's hold for what they hold, and give no token kind to the zero value	2026-09-28 12:06:03 +02:00
lilleman	affbb9ac6f	Give head, index, bound and draw one meaning each, name familyRoot, and type the token kinds	2026-09-28 12:06:03 +02:00
lilleman	306b88ef56	Compile every format at link	2026-09-28 03:23:27 +02:00
lilleman	4a52085e8f	Gather the family fence beside drawWalk.check in drawfence.go	2026-09-28 02:43:14 +02:00
lilleman	c1b928a3f5	Give whole one meaning, the bare table read, and name the pinned row pinnedRow, landsRow and compileRowFormat	2026-09-26 15:42:42 +02:00
lilleman	c55c75a29e	Give dir, path, structs and r one meaning each, and name the table option indexes keyIndex through parentIndex	2026-09-25 19:31:09 +02:00
lilleman	d6ac8ed9fd	Give check, children, column, columns, draw, drawn, fields, format, head, index, key, n, name, named, names, null, number, op, reads, record, root, row, t and whole one meaning each	2026-09-25 19:31:09 +02:00
lilleman	65091233a8	Give rows, field, walk, column, expr and of one meaning each: rowCount, readRows, gatherFields, addField, addTag, renderCount and the prove methods	2026-09-25 19:02:58 +02:00
lilleman	068e2b73ca	Rename drawAt.pinned to pins, the visit keys' rows to rowsKey and cellNode to cellTemplate, and file format_test.go's split	2026-09-25 17:35:26 +02:00
lilleman	005f4d7adc	Rename template.go to format.go, a table's tokens to cellTemplates, drawAt.alt to pinned and ftoken's brace-body kind to 't', and drop the done item	2026-09-25 17:35:26 +02:00
lilleman	bb2bbe9697	Keep the transform's arity inside its operand func, skip calls in compileWhole's column check, and file the two tokens for renaming	2026-09-24 23:36:27 +02:00
lilleman	467cb6fb18	Parse a format once into tokens, and have the fences read its ops	2026-09-24 23:36:27 +02:00
lilleman	2e778f3b31	Name a cell's line in its link-time errors, and say where a format holding a reference compiles	2026-09-24 22:45:36 +02:00
lilleman	526832fc3f	Compile a format holding a reference once, at link	2026-09-24 22:45:36 +02:00
lilleman	9f00ad039e	Move the decisions to docs/decisions.md, indexed in AGENTS.md and linked from the fences they back	2026-09-24 13:44:06 +02:00
lilleman	a817f21842	Move the render's row draw beside the table's draws, as table.drawIn	2026-09-24 13:24:58 +02:00
lilleman	3927dc9fa5	Give render and the draw fences one pin set	2026-09-24 10:19:23 +02:00
lilleman	3e5e01643f	Say which files the panel's draw.go became	2026-09-21 22:06:01 +02:00
lilleman	41dbbd3fda	Say hold where the prose still said draws	2026-09-21 22:06:01 +02:00
lilleman	d128621fc1	Name a render's holds apart from the draw fence	2026-09-21 22:06:01 +02:00
lilleman	ce8ea550a3	Correct what the readers proved false, and lift the file map out of last place	2026-09-20 21:47:17 +02:00