Skip to content

feat(lean,#16752): GenEFT module — description length (orbit-stabilizer), Theorem 1 clustering, competition invariant (R06 Tegmark corpus) - #16968

Closed
jsboige wants to merge 2 commits into
mainfrom
feature/16752-r06-genef
Closed

feat(lean,#16752): GenEFT module — description length (orbit-stabilizer), Theorem 1 clustering, competition invariant (R06 Tegmark corpus)#16968
jsboige wants to merge 2 commits into
mainfrom
feature/16752-r06-genef

Commits

  1. Commits on Sep 20, 2026

  2. Commits on Sep 23, 2026