Commits

Branch selector

 main

User selector

All users

All time

Commit history

Commits on Jun 24, 2026

• release: v3.4.29 — collar re-summation + indicial parity certificate

  Show description for 667c8b9
  

  Brieuc de La Fourniere

  and

  claude

  committed
  667c8b9

  Copy full SHA for 667c8b9

Commits on Jun 19, 2026

• release: v3.4.28 — b₂-side rigidity companion to realises_iff_cocycleDim_77

  Show description for 9e2b9b0
  

  Brieuc

  and

  claude

  committed
  9e2b9b0

  Copy full SHA for 9e2b9b0

Commits on Jun 18, 2026

• docs(K3Isotype): clarify σ_A_ambient (sympl Mukai V_4) vs σ_A_phase_d8

  Show description for b140fe3
  

  Brieuc

  and

  claude

  committed
  b140fe3

  Copy full SHA for b140fe3

Commits on Jun 17, 2026

• feat(relations): boson triangle assembly — R1c falsified for m_H/m_W

  Show description for f738282
  

  Brieuc

  committed
  f738282

  Copy full SHA for f738282

• release: v3.4.27 — K3 explicit-model removed from public; Koide R1c machine-falsified

  Show description for 54ae9e8
  

  Brieuc

  committed
  54ae9e8

  Copy full SHA for 54ae9e8

• chore(contrib): remove K3 explicit-model module from public package

  Show description for 6789aab
  

  Brieuc

  committed
  6789aab

  Copy full SHA for 6789aab

• docs(lean): refresh stale comments — v3.4.26, 27^phi~207.01, drop P3 jargon

  Show description for 8a0f86b
  

  Brieuc

  committed
  8a0f86b

  Copy full SHA for 8a0f86b

• docs(contrib): archive v3.0-v3.3.32 development history

  Show description for 00eceb8
  

  Brieuc

  committed
  00eceb8

  Copy full SHA for 00eceb8

Commits on Jun 16, 2026

• docs(foundations): fix remaining 27^phi~206.77 comments in GoldenRatioPowers

  Show description for 4de3fbe
  

  Brieuc

  and

  claude

  committed
  4de3fbe

  Copy full SHA for 4de3fbe

• feat(relations): strict Koide certificate — Q_gift < 2/3 (machine-checked)

  Show description for 50c6775
  

  Brieuc

  and

  claude

  committed
  50c6775

  Copy full SHA for 50c6775

• feat(relations): Koide assembly from GIFT mass formulas (algebraic reduction + enclosure)

  Show description for 09ce7ea
  

  Brieuc

  and

  claude

  committed
  09ce7ea

  Copy full SHA for 09ce7ea

• docs(hierarchy): fix m_mu/m_e comment (27^phi ~ 207.01, not 206.77)

  Show description for ebb0c85
  

  Brieuc

  and

  claude

  committed
  ebb0c85

  Copy full SHA for ebb0c85

• docs: Type-I mean deviation 0.92% -> 0.99% (exp-source reconciliation)

  Show description for 65a1128
  

  Brieuc

  and

  claude

  committed
  65a1128

  Copy full SHA for 65a1128

Commits on Jun 12, 2026

• docs: link to the Arithmon program (banner + canonical footer), refresh stale homepage numbers

  Show description for 4f92edd
  

  Brieuc

  and

  claude

  committed
  4f92edd

  Copy full SHA for 4f92edd

Commits on Jun 5, 2026

• docs: unify headline numbers to canonical (v3.4.26 / NuFIT 6.1)

  Show description for e0ce5d5
  

  Brieuc

  and

  claude

  committed
  e0ce5d5

  Copy full SHA for e0ce5d5

Commits on Jun 3, 2026

• release: v3.4.26 — remove competing post-hoc κ_T⁻¹=61 expressions (numerology modules)

  Show description for 0be4a9e
  

  Brieuc

  and

  claude

  committed
  0be4a9e

  Copy full SHA for 0be4a9e

Commits on Jun 2, 2026

• release: v3.4.25 — academic-terminology cleanup follow-up

  Show description for 1e95681
  

  Brieuc

  and

  claude

  committed
  1e95681

  Copy full SHA for 1e95681

Commits on Jun 1, 2026

• release: v3.4.24 — K3 modules academic-terminology cleanup

  Show description for 39a1ede
  

  Brieuc

  and

  claude

  committed
  39a1ede

  Copy full SHA for 39a1ede

Commits on May 30, 2026

• feat(K3): K3KrawczykContainment — Lean strict-containment K(X) ⊊ int(X) componentwise (Plan A P1)

  Show description for ef95fe2
  

  Brieuc

  and

  claude

  committed
  ef95fe2

  Copy full SHA for ef95fe2

• feat(K3): K3ClosedFormBoxEnclosures — Lean-recomputed CY-residual envelope (Plan A P0)

  Show description for 6026de3
  

  Brieuc

  and

  claude

  committed
  6026de3

  Copy full SHA for 6026de3

• feat(Foundations): Lean certificate for exact Vandermonde smoothness of the Z_2^3 K3 (#161)

  Show description for bd35c7e
  

  3 peopleauthored
  bd35c7e

  Copy full SHA for bd35c7e

Commits on May 19, 2026

• release: v3.4.23 — closed-form K3 CY-residual witness (III.3 / NS-1c), delta-free

  Show description for e1c33da
  

  Brieuc

  and

  claude

  committed
  e1c33da

  Copy full SHA for e1c33da

Commits on May 18, 2026

• release: v3.4.22 — Donaldson discriminant-family characterisation (III.2)

  Show description for 5aa9899
  

  Brieuc

  and

  claude

  committed
  5aa9899

  Copy full SHA for 5aa9899

Commits on May 16, 2026

• release: v3.4.21 — K3 Z_2^3-isotype Lefschetz certificate

  Show description for d24964f
  

  Brieuc

  and

  claude

  committed
  d24964f

  Copy full SHA for d24964f

• foundations: K3 Z_2^3-isotype Lefschetz certificate (III.1)

  Show description for f42ce31
  

  Brieuc

  and

  claude

  committed
  f42ce31

  Copy full SHA for f42ce31

Commits on May 14, 2026

• cleanup(lean): audit core repo — migrate research-plan modules to private + remove internal jargon

  Show description for b432202
  

  Brieuc

  and

  claude

  committed
  b432202

  Copy full SHA for b432202

• feat(lean): G_2 irrep + Mukai V_4 lattice certificate (Phase 4 itér 4.4.2 + Phase A.2 iter #31 closure)

  Show description for df93ec0
  

  Brieuc

  and

  claude

  committed
  df93ec0

  Copy full SHA for df93ec0

Commits on May 13, 2026

• feat(lean): G_2 Donaldson link cohomology certificate (Phase 4 itér 4.3)

  Show description for 2ec7134
  

  Brieuc

  committed
  2ec7134

  Copy full SHA for 2ec7134

• feat(lean): G_2 TCS lattice certificate module (Phase 2 of post-audit plan)

  Show description for 226fd3c
  

  Brieuc

  and

  claude

  committed
  226fd3c

  Copy full SHA for 226fd3c

• feat(k3-explicit): Phase A.2 iter #39 🏁 — Fano pair search (Voie 1 TCS step 6) — Phase A.2 STRUCTURALLY COMPLETE

  Show description for 58d721e
  

  Brieuc

  and

  claude

  committed
  58d721e

  Copy full SHA for 58d721e

• feat(k3-explicit): Phase A.2 iter #38 — TCS analytic gluing theorem (Voie 1 step 5)

  Show description for c2d648e
  

  Brieuc

  and

  claude

  committed
  c2d648e

  Copy full SHA for c2d648e

• feat(k3-explicit): Phase A.2 iter #37 — TCS topology, π_1(M) = 1 CLOSES HOLONOMY GAP (Voie 1 step 4)

  Show description for f471c89
  

  Brieuc

  and

  claude

  committed
  f471c89

  Copy full SHA for f471c89

• feat(k3-explicit): Phase A.2 iter #36 — HK rotation r ∈ O(Λ_K3) (Voie 1 TCS step 3)

  Show description for dbac04e
  

  Brieuc

  and

  claude

  committed
  dbac04e

  Copy full SHA for dbac04e

• feat(k3-explicit): Phase A.2 iter #35 — Primitive embeddings N_± ⊂ Λ_K3 verified (Voie 1 TCS step 2)

  Show description for 1887bc3
  

  Brieuc

  and

  claude

  committed
  1887bc3

  Copy full SHA for 1887bc3

• feat(k3-explicit): Phase A.2 iter #34 — Fano 3-fold database for TCS blocks (Voie 1 step 1)

  Show description for 6bc8615
  

  Brieuc

  and

  claude

  committed
  6bc8615

  Copy full SHA for 6bc8615