Skip to content

v0.1.15

Choose a tag to compare

@rybruscoe rybruscoe released this 05 Sep 09:37
· 13 commits to main since this release

The reference implementation now also tokenises: chat template plus llama.cpp's pre-tokenisers and byte-level BPE reproduce the runtime's prompt ids for SmolLM2, Qwen2.5 and Llama 3.2, so invar verify --reexec checks a receipt from the certified prompt text to the certified answer with no llama.cpp code (needs regex and jinja2: pip install 'anomly-invar[reexec]'). Static Go verifier binaries attached.