Skip to content

Robustness: validate cavities before mutating; repair with exact predicates or reject atomically#6

Merged
basnijholt merged 3 commits into
mainfrom
robustness/cavity-repair
Jun 10, 2026
Merged

Robustness: validate cavities before mutating; repair with exact predicates or reject atomically#6
basnijholt merged 3 commits into
mainfrom
robustness/cavity-repair

test: pin the degenerate-input robustness contract

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

Annotations

1 warning
Rust checks
succeeded Jun 10, 2026 in 25s