v0.8.5
protected
0fb377f5
·
0.8.5: live-model verify gate + bounded verify completions
·
Oct 17, 2026