aboutsummaryrefslogtreecommitdiffstats
path: root/research/experiments/045-proof-compiler/2026-10-19-break.jsonl
Commit message (Expand)AuthorAgeFilesLines
* 045: Pure's answers checked for real (cost.c and where.c compared only the C'...eunhhu28 hours1-0/+1
* 045: where the machine instructions go, by mechanism (where.c samples the add...eunhhu29 hours1-0/+3
* 045: 029's principle 1 broken on UAX #14 before any emitter, the tools and th...eunhhu29 hours1-0/+10