• DS ∈ S₂ sous régularisation φ ∈ L² ; borne 0,8495 prouvée (Lean)
  • Cdet₂ ∝ ξ conditionnel
  • Opassage S₂ → S₁ (L7 du Plan Verrou T)
Ce que cela montre

le bon cadre fonctionnel et une borne explicite.

Ce que cela ne prouve pas

l’identification finale det₂ ↔ ξ.

Régime · démonstratif

Commentaires
Cet espace accueille questions, remarques, intuitions et critiques.
Un commentaire n’engage pas le statut scientifique du projet.
Toute proposition mathématique doit pouvoir être formulée, testée et classée.