Repository navigation
Check #4334's sharp right-vector threshold over F4, F8, F9, F16, F25, F27: no common pivot, three-factor word, delta = 2; F4 two-factor exhaustive (no new κ) - #4347
Merged
Mister-Meeseeks merged 1 commit intoOct 21, 2026
Commits
Commits on Oct 21, 2026