v0.6.0

0.6.0 (2026-08-06)

Features

• add behavior-equivalence community verifier (uniq reimplementation) (f0be299)
• add held-out-oracle community verifier (roman numeral converter) (bbef488)
• add property-based community verifier (rpn calculator) (611d4c1)
• check_verifiers verifies the adversarial path (bad-solution must fail) (e011562)

Documentation

• summarize community verifiers in the examples gallery (7595129)