Skip to content

Prove finite separation and fund dyadic detection of orthogonal witnesses - #5339

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
aliromman:codex/five-more-20261023-r3
Oct 23, 2026
Merged

Prove finite separation and fund dyadic detection of orthogonal witnesses#5339
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
aliromman:codex/five-more-20261023-r3

Prove separation and fund a dyadic detector for orthogonal witnesses

26fe40c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 4m 42s