90 Commits

Author	SHA1	Message	Date
lilleman	822c8c0a5d	Name the path walks and steps by what each does: drawCallerPath, callerPathSteps, compiledPath, provePath, compileStep, childNamed, table.columnOrLinked, table.followStep and pathPos.fromRow	2026-10-07 02:27:24 +02:00
lilleman	ac6158e841	Answer prose round 2: resolvedRef names its two fields, checkCalcFields and refuseTwiceDrawn read on one pass, refuseSingleRead says why a calc's read stands, street_delivery states both rules, and Template.Fake claims nothing about names	2026-10-07 01:22:24 +02:00
lilleman	1419673b96	Answer prose round 1 and product-owner round 1: plainer resolvedRef, checkCalcFields and name-fence docs, geo-se.py's pointers name their headings, Fake and Columns keep a godoc line, and arm.go's Layout line names what an arm is	2026-10-07 01:22:24 +02:00
lilleman	94e3eabbcf	Name the column each case of columnReadOf reads, strip a head's / in categoryOf, and say on resolvedRef that its head carries the /	2026-10-07 01:22:24 +02:00
lilleman	d0886e4795	Answer stability round 2, prose round 2 and product-owner round 2: a head may be a name, scope and link come before the entries using them, a path reaches a node, and resolve ties a reference or a name	2026-10-07 01:04:44 +02:00
lilleman	98bb73f096	Give scope, binding, link, pick and head one meaning each: renderEnv, nodeSet, pipeline, resolvedRef, resolveTemplates, drawItem and a read's start	2026-10-07 01:04:44 +02:00
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