5 Commits

Include renames

Author	SHA1	Message	Date
james	20c77b9771	fix(cli): publish binary output atomically and preserve raw input	2026-10-31 13:00:00 +00:00
james	de502ca765	perf(cli): compile binary output and assembly report once	2026-10-31 11:55:00 +00:00
james	dd6b9d1661	perf(frontend): use verified tail recursive parsing and resolution	2026-10-31 10:55:00 +00:00
james	a3a9eb2664	feat(encoding): prove canonical decoding and instruction injectivity	2026-10-31 10:00:00 +00:00
james	a68ad347f4	initial commit	2026-10-31 06:50:40 +00:00