47 Commits

Author	SHA1	Message	Date
lilleman	71c5039f04	Let a struct field's Go type type a bare number or boolean in its tag, and offer only a datatype that holds a refused column's number	2026-10-08 12:37:59 +02:00
lilleman	97e72988b1	Refuse a calc over digits(0) or a repeat of 0, name an option's wrong kind as JSON does, type the name scope kinds, and compile only from a jsonvalue.Value	2026-10-08 12:37:59 +02:00
lilleman	ee236d7955	Load whatever is well-formed and means one thing: ignore a part with no effect, print a constant sample, render any JSON value, draw no weight-0 item, and let a name, a rows file, a struct or a CLI flag go unused	2026-10-08 12:37:59 +02:00
lilleman	6b26b18104	Let a declared datatype win over a column read, count a repeat as written, refuse null alone on stdin and a second leading slash, and hand NewTemplate stdin as sent	2026-10-08 12:37:59 +02:00
lilleman	e63efe327f	Load each spelling that only restated a shorter one, as that shorter form	2026-10-08 12:37:59 +02:00
lilleman	fcec9c4a2a	Rename grammar's NameRead to PathRead and CheckName to CheckIdentifier, so a name in the engine is only a bound name	2026-10-07 02:27:24 +02:00
lilleman	10dbd471fb	Delete the doc lines the 2026-10-07 panel read as restating their code, and say what gatherFields' index is	2026-10-07 02:04:32 +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	643efc8650	Answer prose round 1: the restructure in three named parts, Category.Folders and proven.Facts for one meaning per name, plainer builtinfunc and datafiles comments, and no false iban rationale	2026-10-05 16:30:28 +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	9357abb279	Move DataType into internal/datatype, aliased by the root, and what a proof knows of a value into internal/proven	2026-10-05 16:30:28 +02:00
lilleman	c2f2e86735	Move how the template language is written into internal/grammar	2026-10-05 12:35:08 +02:00
lilleman	1d0fe9f555	Answer architecture round 1: read the module path from go.mod, keep the randomness behind State's methods, rename the field drawState and the counter Seq, and file items 108 and 109	2026-10-05 12:03:38 +02:00
lilleman	2d9c315e75	Move the seeded randomness and the {seq()} counters into internal/drawstate	2026-10-05 12:03:38 +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	a45edf8fb5	Document fresh draws and named picks, revise the decisions the restructure ends, and close items 4 and 87	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	c3b462ec0a	Answer architecture round 1: one inline load-and-bind, go generate for the index, sorted unloaded names, item 79 named in the decision, and the audit's other findings filed	2026-10-03 20:37:07 +02:00
lilleman	8b3bbc4003	Load shipped categories before binding, panic on an index that misses a read, and name the index entry and unloaded category plainly	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	698ac036d5	Move checkField to valueproof.go and rename checkPath to checkResolves	2026-09-30 21:49:05 +02:00
lilleman	b99966fe19	Name the render's draws apart from the expansion hold: drawMemo, groupDraws, renderDraws	2026-09-29 14:45:34 +02:00
lilleman	14194a775d	Rename ftoken to scanUnit and session to generatorState	2026-09-29 12:47:38 +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	514d738b08	Report every invariant break through internalError	2026-09-29 01:51:44 +02:00
lilleman	21b48c8c41	Correct the false comments and delete dead code	2026-09-28 21:46:24 +02:00
lilleman	1b9cf00a26	Start every render from the zero hold set	2026-09-28 19:08:07 +02:00
lilleman	cfe653de4d	Run New, NewTemplate and FakeStruct through one bind pipeline naming where they differ	2026-09-28 10:53:26 +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	cfe8124cc3	Rename addField to gatherField and reachMemo to renderCounts, and list every shared name left	2026-09-25 19:02:58 +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	3927dc9fa5	Give render and the draw fences one pin set	2026-09-24 10:19:23 +02:00
lilleman	d0d9df5220	Name a fresh hold set's two spellings, eager and lazy	2026-09-22 22:04:32 +02:00
lilleman	d128621fc1	Name a render's holds apart from the draw fence	2026-09-21 22:06:01 +02:00
lilleman	c8a4ffa764	Export ErrNoColumns, name the cure for a shell-split template and an unquoted record, and name the flag a missing data path came from	2026-09-18 20:35:56 +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	acad25708a	Leave column agreement to the records that read DataType, name the text spelling beside a typed column read, and check a column after the columns it reads	2026-09-15 21:13:34 +02:00
lilleman	b4ebab5abf	Keep a read's null with its draw, share the lone-reference check, name a JSON-string item's object form again, prove each column once per pass, and read a record off template.record	2026-09-15 20:42:13 +02:00
lilleman	2b2010bdd6	Take the datatype and null of the column a lone reference reads, and check a column's datatypes once its references are linked	2026-09-15 20:20:25 +02:00
lilleman	3cd3f8f317	Spend the struct cap on embedded structs too, word it for any struct field, and route path advice through the name check	2026-09-15 17:50:42 +02:00
lilleman	e4ebfdb28d	Cap a struct type's records at 1024, find a lone reference in the value a template holds, word range refusals as unproven, and scope the lone-reference Decision to arguments and tags	2026-09-15 17:35:15 +02:00
lilleman	bbe6c5b1d9	Fold the range check into columnKind.past, refuse a leading / in IsTemplate, reserve the name -, and document fake:"-" on an embedded struct	2026-09-15 17:11:20 +02:00
lilleman	e6bd4c5972	Fill embedded fields into their struct's record, add fake:"-", round integer ranges inward naming a wider kind, and refuse a lone reference in IsTemplate	2026-09-15 16:54:04 +02:00
lilleman	c0b176a839	Struct-filling: FakeStruct fills fake-tagged fields as a record, each field's Go type its datatype, and IsTemplate owns the path-or-template shape rule	2026-09-15 16:23:10 +02:00