Import full compact one-manifold classification - #479

Open

Vilin97 wants to merge 31 commits into

mainfrom

codex/import42-1mfld

Commits on Sep 21, 2026

Import complete 1mfld proof development
Vilin97
committed
28c58ed
Complete one-manifold classification port and local verification
Vilin97
committed
a7b89e8
Split manifold classification and gluing proofs into geometric lemmas
Vilin97
committed
1f4bccc

Commits on Sep 22, 2026

Merge remote-tracking branch 'origin/main' into pr-479
github-actions[bot]
committed
f36b686

Commits on Sep 23, 2026

Commits on Sep 24, 2026

Merge remote-tracking branch 'origin/main' into pr-479
github-actions[bot]
committed
ddb6cf4

Commits on Sep 25, 2026

Preserve one-manifold API in public modules
Vilin97
committed
641ae65
Sync current main for module checks
Vilin97
committed
b86fa39
Contain one-manifold API and remove unused interval scaffolding
Vilin97
committed
4ade9b5
Merge remote-tracking branch 'origin/main' into HEAD
Vilin97
committed
3a37bed
Merge remote-tracking branch 'origin/main' into HEAD
Vilin97
committed
5548f1f
Qualify namespaced partial-homeomorphism helpers
Vilin97
committed
a07a240
Trim the one-manifold import index whitespace
Vilin97
committed
83cb928
Preserve complete real-interval results in the one-manifold namespace
Vilin97
committed
66db25f
Index the restored real-interval module
Vilin97
committed
50bc0d1

Commits on Sep 26, 2026