 lilleman
|
e63efe327f
|
Load each spelling that only restated a shorter one, as that shorter form
|
2026-10-08 12:37:59 +02:00 |
|
|
lilleman
|
91b65e3ded
|
Test that each spelling goal 5.7 no longer refuses loads as its shorter form
|
2026-10-08 12:37:59 +02:00 |
|
|
lilleman
|
c55b296385
|
Answer prose round 2: the maintainer's approval beside the list it covers, Facts and compileInto docs naming what they read, and "the folder that dir names"
|
2026-10-05 16:30:28 +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
|
4f484cd780
|
Answer architecture round 3, stability round 1 and product-owner round 1: CalcName and proven.OfCalc for one meaning per name, a lazy load placed where its lookup found it, DataType's constants typed under it, and cover printing the module's total
|
2026-10-05 16:30:28 +02:00 |
|
|
lilleman
|
a229ae90a2
|
Test Noun on a datatype no data writes, and check panics against invariant.Broken's phrase
|
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
|
83e4daefdb
|
Test internal/datafiles, internal/datatype, internal/proven and internal/builtinfunc, and allow the root to import them
|
2026-10-05 16:30:28 +02:00 |
|