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

Commits

Commits on Jun 10, 2026