james 20c77b9771 fix(cli): publish binary output atomically and preserve raw input

2026-10-31 13:00:00 +00:00

..

cli.py

fix(cli): publish binary output atomically and preserve raw input

2026-10-31 13:00:00 +00:00

Examples.thy

feat(encoding): prove canonical decoding and instruction injectivity

2026-10-31 10:00:00 +00:00