Source two harder discriminating cases for the traversal and verification-sufficiency passes - #92

Merged

shaug merged 3 commits into

mainfrom

scott/89-discriminating-cases

Jul 30, 2026

Commits on Jul 30, 2026

feat(review-suite): source two harder discriminating cases and preregister their validation ceiling (#89)
shaug
committed
docs(review-suite): validate the two new discriminating cases and report an asymmetric result (#89)
shaug
committed
fix(review-suite): unify the audit-log-flush oracle's candidate/corrected retry policy (#89)
shaug
committed