Λ Cycles Conditionnels de Collatz Collatz Conditional Cycles
Historique versionné
Versioned history

Changelog

Changelog

Historique transparent de toutes les évolutions du projet : paper, arsenal Lean, site web, cycles Red Team, et mea culpa publics. Versioning sémantique. → Atom feed

Transparent history of all project evolutions: paper, Lean arsenal, website, Red Team cycles, and public mea culpa. Semantic versioning. → Atom feed

v0.5.1 Site web haut de gammeHigh-end website

  • Localisation EN-canonique : anglais par défaut (sauf navigator fr-*), bouton FR/EN sur 4 pages
  • Graphe de dépendances D3 force-directed interactif sur /lemmes/
  • Palette de recherche universelle (⌘K / Ctrl+K / /) sur pistes, théorèmes, lemmes, cf_gaps
  • Widget de citation 5 formats (BibTeX, APA 7, Chicago 17, RIS, plain) avec copy-to-clipboard
  • Mode clair/sombre avec prefers-color-scheme + toggle persisté localStorage
  • Scroll progress bar dorée en haut de chaque page
  • SEO complet : sitemap.xml, robots.txt, JSON-LD ScholarlyArticle, hreflang, Open Graph 1200×630, Twitter Cards, favicons SVG/PNG
  • Atom feed pour les updates : /feed.xml
  • Page changelog (cette page)
  • EN-canonical localization: English by default (except navigator fr-*), FR/EN button on all 4 pages
  • Interactive D3 force-directed dependency graph on /lemmes/
  • Universal search palette (⌘K / Ctrl+K / /) across approaches, theorems, lemmas, cf_gaps
  • 5-format citation widget (BibTeX, APA 7, Chicago 17, RIS, plain) with copy-to-clipboard
  • Light/dark theme toggle with prefers-color-scheme auto-detect, persisted in localStorage
  • Golden scroll progress bar at the top of every page
  • Complete SEO: sitemap.xml, robots.txt, JSON-LD ScholarlyArticle, hreflang, Open Graph 1200×630, Twitter Cards, favicons
  • Atom feed for updates: /feed.xml
  • Changelog page (this page)

v0.5.0 Mise en valeur résultat principal JARJAR main result featured

  • Encart "Résultat principal" sur la page d'accueil avec PDF, DOI, lien Lean
  • Ligne ★ JAR épinglée en tête du tableau des pistes (toujours visible)
  • Diagramme Mermaid Λ enrichi avec le nœud central JAR + 3 conditions externes
  • Tableau profil d'axiomes sur /papers/ (3 kernel + 3 externes)
  • Routing ghURL() : main vs arsenal-postjar pour fichiers Lean
  • 15/15 URLs dynamiques HTTP 200 OK
  • "Main result" highlight box on homepage with PDF, DOI, Lean link
  • ★ JAR pinned row at the top of the approaches table (always visible)
  • Λ Mermaid diagram enriched with central JAR node + 3 external conditions
  • Axiom profile table on /papers/ (3 kernel + 3 external)
  • ghURL() routing: main vs arsenal-postjar for Lean files
  • 15/15 dynamic URLs HTTP 200 OK

v0.4.0 Cycles 4 et 5 - patches Mathlib v4.27 + Knight 2026Cycles 4 and 5 - Mathlib v4.27 patches + Knight 2026

  • Cycle 4 (CGS-7) : 6 lemmes ChatGPT diagnostiqués et patchés pour Mathlib v4.27
  • Cycle 5 (Knight 2026) : Section 5 inconditionnelle (preuve 2-adique 5 lignes), Section 3 Baker-dépendant
  • Mea culpa #24 (Salikhov 2007 ≠ 2008) + #25 (Bost-Charles 2022 inventé) documentés
  • Filtre 4-test consolidé (R72 / Steiner-Eliahou / Lagarias / anti-Λ)
  • Cycle 4 (CGS-7): 6 ChatGPT lemmas diagnosed and patched for Mathlib v4.27
  • Cycle 5 (Knight 2026): Section 5 unconditional (5-line 2-adic proof), Section 3 Baker-dependent
  • Mea culpa #24 (Salikhov 2007 not 2008) + #25 (Bost-Charles 2022 fabricated) documented
  • 4-test filter consolidated (R72 / Steiner-Eliahou / Lagarias / anti-Λ)

v0.3.0 Soumission JAR Springer v1.1JAR Springer submission v1.1

  • Paper de 28 pages soumis au Journal of Automated Reasoning
  • Théorème no_nontrivial_cycle_phase59 kernel-checked Lean 4 + Mathlib v4.27
  • Profil minimal : 3 axiomes kernel + 3 hypothèses externes documentées
  • DOI Zenodo 10.5281/zenodo.19790406
  • reproduce.sh EXIT 0 sur clone propre, runtime ~3-5 min Mac M1 Pro
  • 28-page paper submitted to Journal of Automated Reasoning
  • Theorem no_nontrivial_cycle_phase59 kernel-checked in Lean 4 + Mathlib v4.27
  • Minimal profile: 3 kernel axioms + 3 documented external hypotheses
  • Zenodo DOI 10.5281/zenodo.19790406
  • reproduce.sh EXIT 0 on clean clone, runtime ~3-5 min on Mac M1 Pro

v0.2.0 Arsenal R34-R96 PostJARPostJAR R34-R96 arsenal

  • 72 théorèmes auxiliaires développés post-JAR
  • 5 clusters : Steiner foundations, corrSum divisibility, modular universal, lacunary periodization, block decomposition
  • Branche dédiée arsenal-postjar sur GitHub
  • 72 auxiliary theorems developed post-JAR
  • 5 clusters: Steiner foundations, corrSum divisibility, modular universal, lacunary periodization, block decomposition
  • Dedicated branch arsenal-postjar on GitHub

Discussion sur les versions

Version discussion

Annonces et discussions de releases sur GitHub.

Release announcements and discussions on GitHub.

→ Voir les annonces sur GitHub → View announcements on GitHub