Repository navigation

Classify all minimum E7 frame relations in characteristic zero - #5669

Merged

Mister-Meeseeks merged 3 commits into

CrocSwap:mainfrom

aliromman:codex/kappa-ten-03-e7-equality

Oct 26, 2026

Merged

Classify all minimum E7 frame relations in characteristic zero#5669
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
aliromman:codex/kappa-ten-03-e7-equality

Commits on Oct 26, 2026
- research: retain E7 minimum-support source and credit
  aliromman
  committed
  8be0f6d
- research: classify every minimum E7 frame relation
  aliromman
  committed
  fb38d6b
- research: record E7 replay and final overlap evidence
  aliromman
  committed
  700efb5