Λ Cycles Conditionnels de Collatz Collatz / Syracuse Conditional Cycles
Registre public versionné
Public versioned registry

Registre de recherche

Research Ledger

Un registre public et versionné documentant les développements Lean, audits, corrections, lectures critiques et investigations en cours autour des cycles conditionnels de Collatz.

A public, versioned research ledger documenting formal Lean developments, audit findings, corrections, literature studies, and ongoing investigations related to conditional Collatz cycles.

Cette section documente l'état du projet et sa traçabilité ; elle ne constitue pas une revendication d'acceptation ou de preuve finale. Les revendications scientifiques restent limitées au paper et aux artefacts Lean formels. The ledger is provided for traceability and reproducibility; scientific claims remain limited to the paper and formal Lean artefacts.

§ I — Compteurs
§ I — Stats

Vue d'ensemble

Overview

1 preprint (Zenodo, 4 versions ; v4 avec erratum le 20/10/2026) — soumission JAR rejetée le 13/05/2026 preprint (Zenodo, 4 versions; v4 with erratum on 2026-10-20) — JAR submission rejected on 2026-05-13
14+ phases Lean (Lean 4.27.0 ; jusqu'à Phase58, revérifiées sous Lean 4.34.0 les 20 et 21/10/2026 ; Phase59 à Phase63 et PhaseVIII, non revérifiées) Lean phases (Lean 4.27.0; up to Phase58, re-checked on Lean 4.34.0 on 20–21 Oct 2026; Phase59 to Phase63 and PhaseVIII, not re-checked)
16 audit findings audit findings
32 mea culpa (numérotés jusqu'au #32 ; 16 présentés sur le site) mea culpa (numbered up to #32; 16 shown on the site)
0 étude ouverte (les 4 ouvertes en avril 2026 sont closes depuis le 21/10/2026) open studies (the 4 opened in April 2026 were closed on 2026-10-21)
§ II — Timeline visuelle
§ II — Visual timeline

Coup d'œil chronologique

Chronological glance

Ligne de temps verticale : dates à gauche, jalons à droite. Cliquez ou survolez un point pour voir l'événement détaillé. ★ = jalon majeur (milestone). Couleur = famille.

Vertical timeline: dates on the left, milestones on the right. Click or hover a dot for details. ★ = major milestone. Colour = family.

§ III — Audits & corrections
§ III — Audits & Corrections

Audits et corrections publiques

Audits and public corrections

Findings d'audit (FIND-001..016), AI-assisted Three-Key/Two-Key validations, mea culpa publics avec sévérité et règle extraite. Les pistes abandonnées proprement documentées sont préservées (renforce la crédibilité).

Audit findings (FIND-001..016), AI-assisted Three-Key/Two-Key validations, public mea culpa with severity and extracted rule. Properly documented archived paths are preserved (reinforces credibility).

§ IV — Études ouvertes
§ IV — Open studies

Études ouvertes

Open studies

Les quatre études déclarées ouvertes en avril 2026 ont été closes le 21/10/2026 ; leur issue figure dans le registre complet.

The four studies declared open in April 2026 were closed on 2026-10-21; their outcome is in the full ledger.

§ V — Registre complet
§ V — Full ledger

Tous les événements (filtrable)

All events (filterable)

Liste complète de tous les événements traçables. Toggle « Milestones only » actif par défaut pour vue rapide.

Complete list of all traceable events. "Milestones only" toggle active by default for quick view.

0 / 0 événements events
§ VI — Références externes
§ VI — External references

Liens publics

Public links