Skip to content

Audit R437 bad-class proof against literal pivot routines - #4584

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
mihir-s-05:research/r437-bad-class-pivot-audit
Oct 22, 2026
Merged

Audit R437 bad-class proof against literal pivot routines#4584
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
mihir-s-05:research/r437-bad-class-pivot-audit

Audit R437 bad-class pivots and high-lift invariance

cc304c0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Oct 22, 2026 in 2m 55s