Repository navigation

math: compact Morse geometry for one actual ordinary H0 interval - #479

Merged

d6g8k5htny-coder merged 2 commits into

mainfrom

codex/c292-compact-morse-elder-20261018

Oct 18, 2026

Merged

math: compact Morse geometry for one actual ordinary H0 interval#479
d6g8k5htny-coder merged 2 commits into
mainfrom
codex/c292-compact-morse-elder-20261018

Commits on Oct 18, 2026
- math: derive compact Morse torus trap at literal elder death
  d6g8k5htny-coder
  committed
  7b0ea1f
- Merge current main into C292 proof packet without source changes
  d6g8k5htny-coder
  committed
  ec01ddd