Repository navigation

Import the Goldberg–Seymour edge-coloring theorem - #761

Open

Vilin97 wants to merge 45 commits into

mainfrom

codex/daily-goldberg-seymour-20261105

Open

Import the Goldberg–Seymour edge-coloring theorem#761
Vilin97 wants to merge 45 commits into
mainfrom
codex/daily-goldberg-seymour-20261105

Commits on Nov 5, 2026
Commits on Nov 6, 2026
- Share Goldberg–Seymour transport proofs and elementary facts
  Vilin97
  committed
  45810e7
- Share tree and Kempe facts and remove redundant proof contracts
  Vilin97
  committed
  b379527
- Generalize missing-color transport and simplify split-swap preparation
  Vilin97
  committed
  c8299d3
- Share Goldberg-Seymour proof facts and remove private forwarding layers
  Vilin97
  authored
  83a7892
- Share and generalize Goldberg-Seymour proof infrastructure
  Vilin97
  committed
  48f4097
- Integrate concurrent shared Goldberg-Seymour proof facts
  Vilin97
  committed
  fccfd81
- Share Goldberg-Seymour tree, walk and series transport facts
  Vilin97
  committed
  cc2347e
- Remove unused Goldberg-Seymour condition helper
  Vilin97
  authored
  7ddd402
- Share Goldberg-Seymour graph arguments and shorten embedded proofs
  Vilin97
  committed
  053fbd6
- Share terminal routes and advancement facts
  Vilin97
  committed
  606e50e
- Share hierarchy transport and tail color arguments
  Vilin97
  committed
  7c2452a
- Share closed-component and certified-series reconstruction facts
  Vilin97
  committed
  b2910bf
- Share hierarchy prefix and two-color component facts
  Vilin97
  committed
  326e25c
- Share nonparallel and hierarchy field transport facts
  Vilin97
  committed
  57bdca3
- Use intrinsic correspondence and first-position invariants
  Vilin97
  committed
  b1ab898
Commits on Nov 7, 2026
- Share terminal transport and remove unused proof subtrees
  Vilin97
  committed
  2279afc
- Share certified coloring and first-entry path facts
  Vilin97
  committed
  b1327b0
- Use explicit proofs for revisiting-prefix context goals
  Vilin97
  committed
  b146d8b
- Share exit path swaps, symmetry and color counting
  Vilin97
  committed
  660e9c8
- Reuse first-position invariance and explicit arithmetic bounds
  Vilin97
  committed
  545d084
- Share first-position witnesses and prefix agreement
  Vilin97
  committed
  3482acd
- Share endpoint and prefix proofs, simplify hierarchy transport
  Vilin97
  committed
  f81a020
- Reuse hierarchy and certified-series nesting APIs
  Vilin97
  committed
  8233cdb
- Remove discarded constructions and share route transport
  Vilin97
  committed
  d83be76
- Share terminal certificates and streamline hierarchy transport
  Vilin97
  committed
  e67914b
- Share hierarchy continuations and tighten proof interfaces
  Vilin97
  committed
  f76d36a
Commits on Nov 8, 2026
Commits on Nov 9, 2026