aup - Declarative systems language and compiler targeting verified Pure modules.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Set the DSL direction and the text model	eunhhu	2026-09-25	1	-0/+70
\| \| \| \| \| \| \| \| \| \|	aup declares connections and leaves storage, transactions and screen models to Pure. Interface vocabulary lives in Vega, an aup library, not in the language. text is one immutable UTF-8 type from a word to a 1 MiB document; positions are cursors bound to a value that stay on character boundaries and follow edits, lengths name their unit, and comparison is exact without silent normalization. Stages v0b-v0d and their acceptance tests are listed.
*	Charter aup and specify language v0	eunhhu	2026-09-25	1	-0/+110
	aup is the language and toolchain for the Pure runtime, as Java and javac are for the JVM. v0a unifies the workbench scalar dialect (state, key inputs, atomic handlers, views) with the same numeric semantics; v0b drafts byte values and runtime-owned persistent documents to replace the document dialect. Parity with the existing executors is the acceptance test.