Project Diell
Records, micro-ops, registers, and the formal grammar — the whole machine spec in one place.