Last released Aug 24, 2026
Machine-checkable claim contract + zero-dependency verification gate. 可复现≠可验证: repro+frozen prove internal consistency; external correctness is carried by the anchor.