Λ 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 paper soumis paper submitted
14+ phases Lean kernel-checked kernel-checked Lean phases
16 audit findings audit findings
28 mea culpa publics public mea culpa
5 études en cours ongoing studies
26+ commits significatifs significant commits
§ 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 en cours
§ IV — Ongoing studies

Investigations actives

Active investigations

Investigations actives, lectures critiques, formalisations Lean en cours, désaxiomatisations exploratoires.

Active investigations, critical readings, Lean formalizations in progress, exploratory desaxiomatizations.

§ 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