aup/compiler/aup.h, branch master Declarative systems language and compiler targeting verified Pure modules. http://git.yeowoo.org/aup/atom?h=master 2026-10-18T23:40:55Z Pure 027's 4f-4: a source of any size (files and standard input read whole), the compiler's tables raised to Pure's widths (4,096 states, 1,024 inputs, 4,096 views and handlers, 1,024 records, 16,384 record fields; 15 MB calloc'd, its unused rooms never touched) and its diagnostics saying so; at most 255 outputs (Pure's store counts them in a byte), a walked or folded list among the first 256 states (its argument's byte), said before Pure would refuse; a wide program checked: 301 states, 40 inputs, 70 views and 20 records in 48 KB of source, run to the last of each 2026-10-18T23:40:55Z eunhhu necpition205@gmail.com 2026-10-18T23:40:55Z urn:sha1:e0298482010b0f78398b3c94cb0d127db5042a78 Name aup's one part: compiler/ 2026-09-27T12:45:45Z eunhhu necpition205@gmail.com 2026-09-27T12:45:45Z urn:sha1:56b8202a23eb08167f27fea4782152959f8ea9ef As in Pure and Vega, the top level directories are the parts; aup has one, the compiler, checked end to end by tests/check.py.