Repository navigation

Project: Six distances from the E2 diameter-heptagon pattern - #359

Closed

lyfar wants to merge 51 commits into

LeanPool:mainfrom

lyfar:lyfar/e2-solution

Closed

Project: Six distances from the E2 diameter-heptagon pattern#359
lyfar wants to merge 51 commits into
LeanPool:mainfrom
lyfar:lyfar/e2-solution

Commits on Aug 26, 2026
- Challenge: six distances from the E2 diameter-heptagon pattern
  
  lyfar
  and
  claude
  committed
  fa6431d
- alg: prove E2 angle ranges and sign identities
  lyfar
  committed
  88ed393
- alg: prove six-value counting endgame
  lyfar
  committed
  f1b7555
- alg: add E2 exclusion interface skeleton
  lyfar
  committed
  ae681b6
- alg: close E2 exclusion certificates
  lyfar
  committed
  5448a53
- alg: prove E2 eC below Q
  lyfar
  committed
  6729164
- alg: assemble E2 six-distance capstone
  lyfar
  committed
  d73e4b9
- geom: scaffold E2 angle parametrization
  lyfar
  committed
  3bca963
- geom: prove diameter pattern basics
  lyfar
  committed
  186a23f
- geom: prove diameter crossing kernel
  lyfar
  committed
  a9572a5
- geom: prove diameter star orientation
  lyfar
  committed
  0385031
- geom: prove apex angle classes
  lyfar
  committed
  4acf91f
- geom: prove angle layer
  lyfar
  committed
  8be0e5a
- Merge branch 'lyfar/e2-solution-dev-geom' into lyfar/e2-solution
  lyfar
  committed
  e48e163
- sol: integrate Wei E2 six-distance solution
  lyfar
  committed
  2124bdd
- geom: prove walk closure and dictionary
  lyfar
  committed
  198e660
- Merge branch 'lyfar/e2-solution-dev-geom' into lyfar/e2-solution
  lyfar
  committed
  8201bcc
- sol: add docstrings for generated Bezout cofactors and exclusion polynomials
  lyfar
  committed
  3a74d14
- sol: warning-free build repairs (narrow tactic imports, module docstring placement)
  lyfar
  committed
  c1d7850
Commits on Aug 27, 2026
- Merge remote-tracking branch 'origin/main' into pr-359
  github-actions[bot]
  committed
  5c3e7ee
Commits on Aug 28, 2026
- Merge remote-tracking branch 'origin/main' into pr-359
  github-actions[bot]
  committed
  16eff38
- Merge remote-tracking branch 'origin/main' into pr-359
  github-actions[bot]
  committed
  c3172a8
Commits on Aug 29, 2026
- Merge remote-tracking branch 'origin/main' into pr-359
  github-actions[bot]
  committed
  5a01043
Commits on Aug 30, 2026
- Merge remote-tracking branch 'origin/main' into pr-359
  github-actions[bot]
  committed
  abe7e85
Commits on Sep 1, 2026
Commits on Sep 2, 2026
- Merge remote-tracking branch 'origin/lyfar/e2-solution' into lyfar/e2-solution
  lyfar
  committed
  ec1b04b
- docs: pin Bezout cofactor provenance to the public certificates repo
  
  lyfar
  and
  claude
  committed
  333e275
- project: address E2 solution review findings
  lyfar
  committed
  ab22212
- Merge remote-tracking branch 'origin/main' into pr-359
  github-actions[bot]
  committed
  94eb385
- Merge remote-tracking branch 'origin/main' into pr-359
  github-actions[bot]
  committed
  c16ed65
Commits on Sep 3, 2026
Commits on Sep 4, 2026
Commits on Sep 5, 2026
- Merge remote-tracking branch 'origin/main' into pr-359
  github-actions[bot]
  committed
  59b6f53
Commits on Sep 8, 2026
- Merge remote-tracking branch 'origin/main' into pr-359
  github-actions[bot]
  committed
  f50719c
Commits on Sep 10, 2026
Commits on Sep 11, 2026

Commits

Commits on Aug 26, 2026

Commits on Aug 27, 2026

Commits on Aug 28, 2026

Commits on Aug 29, 2026

Commits on Aug 30, 2026

Commits on Sep 1, 2026

Commits on Sep 2, 2026

Commits on Sep 3, 2026

Commits on Sep 4, 2026

Commits on Sep 5, 2026

Commits on Sep 8, 2026

Commits on Sep 10, 2026

Commits on Sep 11, 2026