6 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
james	868a68649c	Merge pull request #1 from ecstasygg/improvements ... prove decoder canonicality, verify tail recursive frontend workers and make binary output atomic	2026-10-31 17:43:59 +00:00
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