Skip to content

Research: q<=4 barrier for a noncentral UT4 root pair - #1761

Merged
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
1337isnot1337:research/codex-loop-20261014-cycle3
Oct 14, 2026
Merged

Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
1337isnot1337:research/codex-loop-20261014-cycle3

Record UT4 PR and finding handoff

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

Annotations

1 warning and 1 notice
verify (3.11)
succeeded Oct 15, 2026 in 4m 22s