32 Commits

Author	SHA1	Message	Date
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	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	4ed4b10fa2	Nest disagreement's other-item switch in the fixed item's text arm	2026-09-30 21:01:31 +02:00
lilleman	57f4863107	Switch disagreement on the fixed item's kind, and rename its proven local to fits	2026-09-30 21:01:31 +02:00
lilleman	40f1129c23	Choose disagreement's error directly, ranking itemKind with <	2026-09-29 14:31:23 +02:00
lilleman	d50136223a	Rank itemKind through a free declaresLess, named in the type's comment	2026-09-29 12:11:15 +02:00
lilleman	a4547472ec	Pick disagreement's fix through itemKind.declaresLess	2026-09-29 12:11: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	ade2a7855f	Trim disagreementFix's comment to the proof it defines	2026-09-29 10:03:36 +02:00
lilleman	e8469f1f89	Replace disagreements' ten keys with the rule they encode	2026-09-29 10:03:36 +02:00
lilleman	16e4f4ebbb	Give prove, stepInto and columnItems a case per node kind, panicking on the rest	2026-09-29 09:56:09 +02:00
lilleman	be9ab3efcf	Panic through internalError on a disagreement key mapped to nil too	2026-09-29 04:08:24 +02:00
lilleman	c304dae303	Panic through internalError on a disagreement key with no fix	2026-09-29 04:08:24 +02:00
lilleman	fd4906846d	Name disagreement's item pair itemPair	2026-09-29 01:06:06 +02:00
lilleman	ef6116f795	Make disagreement a table keyed by the two item kinds and the proof, and drop the done round item	2026-09-29 01:06:06 +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	c6a0ef2e98	Read checkColumns' first datatype through columnDatatype	2026-09-28 11:31:00 +02:00
lilleman	b2ffac5317	Derive a column's datatype in columnDatatype alone	2026-09-28 11:31:00 +02:00
lilleman	86118e2710	Name the both-declared case in disagreement's comment	2026-09-28 11:13:09 +02:00
lilleman	6afe16ba01	Pick a column disagreement's wording from one swap, one proof and one switch	2026-09-28 11:13: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	5aae86638b	Keep reference bindings out of template.fields, in template.refHeads	2026-09-24 19:38:10 +02:00
lilleman	72a6ef9071	Name the typed spelling for a column read whose values hold the datatype beside it, and say holding for a datatype taken from a column read	2026-09-15 21:44:36 +02:00
lilleman	72fe01e89b	Refuse only a datatype restating the column read, name the text spelling for datatypes taken from column reads keeping an item's other keys, and keep the fence Decision true	2026-09-15 21:28:52 +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	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
lilleman	3e7127da71	Parse a divisor's rounding half exactly, print zero unsigned, name int64 refusals, and quote CSV fields without a writer	2026-09-15 15:08:26 +02:00
lilleman	5615ab6d89	Check a typed column's value, not its text: one literal, value call, calc or read, bounded by its arguments	2026-09-15 14:33:04 +02:00
lilleman	94dc562c6c	Typed columns and null: a datatype option, null items, and a load check that every typed render parses	2026-09-15 11:23:57 +02:00