84 Commits

Author	SHA1	Message	Date
lilleman	0993d86f22	Answer architecture round 1: the read-once check back at link over uses from the compiled arms, every link step taking its inputs as arguments in link.go, a record column holding its name and datatype, and items 104 to 106 dropped from the plan with the decisions citing them reworded	2026-10-05 22:49:04 +02:00
lilleman	cd7f0a04dc	Link each template in steps that each return what they build, create a name scope with its owner in one place, and settle each record's columns at load, so Generator.records goes	2026-10-05 22:49:04 +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	dd2fe61b13	Answer architecture round 1: one invariant phrase in internal/invariant, held across every package, Source built by Dir and FS, coverage counted across packages, and file items 112 and 113	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	bf81c38315	Answer prose round 2: one wording for what a binding binds, the calc exception scoped in the decision, and rewrapped lines	2026-10-05 10:19:01 +02:00
lilleman	f89ffd1b73	Answer stability round 3, product-owner round 3 and prose round 1: a column reading a bound column takes its datatype and null, a column bound in part draws afresh, and plainer wording across the README, decisions, plan and errors	2026-10-05 10:19:01 +02:00
lilleman	938bbb5c43	Answer architecture round 2: refuse a self-read only inside what the binding lands on, fix the struct.go Layout line, move loneRef beside its caller, and widen item 83 to the link passes	2026-10-05 10:19:01 +02:00
lilleman	1a15a139c8	Answer architecture round 1: refuse a name read inside the field it binds, check every scope's cycles, build a column read in one pass, drop the implicit struct pick for names across tags, and state the fresh-draw rule once	2026-10-05 10:19:01 +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	94cf741706	Answer architecture round 1: exempt only a calc operand from the read-once refusal, run the name passes from one list, read every operand's leaves, show a name operand in a README example, and plan a path through a name as an operand	2026-10-05 01:23:55 +02:00
lilleman	b4052f77f9	Accept a name as a calc operand	2026-10-05 01:23:55 +02:00
lilleman	3bb8628e39	Answer architecture round 2: one folder walk and one sorted-keys helper, REGENERATE for the index, and the held decisions naming the items that end them	2026-10-03 20:37:07 +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	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	d0c477ec78	Keep a name's frame with the read entering its category, refuse a binding in a choice's item, and read a name as a transform operand	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	0b5124d4d5	Rename checkResolves to checkPathResolves	2026-09-30 21:49:05 +02:00
lilleman	698ac036d5	Move checkField to valueproof.go and rename checkPath to checkResolves	2026-09-30 21:49:05 +02:00
lilleman	26b35abe70	Fix at compile how readField reads an arm, deleting its two panics and its held lookup per read	2026-09-30 20:49:58 +02:00
lilleman	317486df0a	Fold checkNoOverlap and checkNoRepeatedRead into heldCheck, so compileFormat compiles and nothing more	2026-09-30 20:32:35 +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	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	8793681d8a	Test a table cell through tableSite.isCell, and trace no row outside a table	2026-09-29 12:28:22 +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	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	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	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	ecb90f828f	Correct the comments and decision around link-time compilation	2026-09-28 03:23:27 +02:00
lilleman	aee932dc93	Rewrap the linkRefs comment	2026-09-28 03:23:27 +02:00
lilleman	306b88ef56	Compile every format at link	2026-09-28 03:23:27 +02:00
lilleman	94eb7aa81f	Split walkPath's four modes into walkers of their own, sharing how a path steps	2026-09-28 00:55:48 +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	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	5aae86638b	Keep reference bindings out of template.fields, in template.refHeads	2026-09-24 19:38:10 +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	67ff2b258e	Delete the duplicated recompile note and a miscount beside named	2026-09-21 11:43:58 +02:00
lilleman	7abd3e2d95	Refuse a blank TSV line, fence a table's family through any template, resolve a path before drawing, clamp the weighted pick, and say which countries and currencies the tables hold	2026-09-17 13:15:33 +02:00
lilleman	047237f361	Replay each path's selectors through the walk for the family fence, require a key for a name, refuse a name shadowing a key, a table reading its own family and an ancestor's column clash, add the row node and family.go, and pin eight rows inline	2026-09-17 12:54:24 +02:00
lilleman	f6b54c8ae6	Add the table node: rows TSV, key and name selection, linked tables drawn consistently, and the choice-of-rows fence	2026-09-17 12:28:46 +02:00
lilleman	a995aba4e9	Refuse a reference into the category it sits in, and run a record's column fences at load	2026-09-16 09:42:36 +02:00
lilleman	68d2461704	Name the draw option drawGroup, refuse one whose reads all sit behind a nested draw group, and record why the two fences stay apart	2026-09-16 08:55:55 +02:00
lilleman	d3f430bf53	Render a repeat iteration in no group, refuse a group that names nothing, key group names by category, and own reference overlap in one fence	2026-09-15 23:31:48 +02:00
lilleman	5ed45cc55c	Rename the folder node type from group to folder, freeing group for the draw option	2026-09-15 23:25:39 +02:00