Skip to content

Refuse a merge-gate run that examined nothing it could verify - #23

Merged
imanimanyara merged 1 commit into
mainfrom
fix/merge-gate-non-vacuity
Nov 8, 2026
Merged

Refuse a merge-gate run that examined nothing it could verify#23
imanimanyara merged 1 commit into
mainfrom
fix/merge-gate-non-vacuity

Commits

  1. Commits on Nov 8, 2026