Initial public release

Preserve tokenizer ids for appended tokens

Address audit findings for proof coverage and web hardening

Fix lambda proof summary and PDF export

Fix lambda proof summary and PDF export

Pdf export added for model results

Add relation assignment catalog and compact task UI

Add product proof terms and homework sequents

Add live math preview for formal web inputs

Add final formal tools web interface

Add lambda calculus and independence tools

Harden neural pipeline and Qwen diagnostics

Implement remaining CLM feature slices

Document remaining work and fix Qwen path default

Add CLM web UI and acceptance spec