Repository navigation

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

Commits on Oct 23, 2026
- Retain orthogonal witness sources for a finite-precision detector
  aliromman
  committed
  f736ece
- Prove separation and fund a dyadic detector for orthogonal witnesses
  aliromman
  committed
  26fe40c