La Phase 1 (contact) + la Phase 2 (selle, analytique) + la Phase 3 (rentrant) se composent en une SES de Connolly mathématiquement complète. Pas de grilles, pas de commutation floue, pas de boucles Python sur les atomes. Tout est vmappé sur la liste de triplets à forme statique avec préfiltre de distance d_ab ≤ ρ_a + ρ_b + 2 r_solv.

La contrainte d'orientation du sommet externe ((P − C_triangle) · n̂_outward > 0) est intégrée directement dans le calcul tensoriel — la sonde 'fantôme interne' est rejetée sans itération. Le cas dégénéré de la molécule à 3 atomes (centroïde du triangle = centroïde de la molécule) est géré par un drapeau is_degenerate qui marque les deux sommets comme externes.

Fidélité mathématique

Cinq tests unitaires couvrant l'aire du triangle sphérique, l'intersection de trois sphères, l'inclusion de surface, l'orientation des sommets et la gestion du cas dégénéré — chaque test réussit à la précision machine ε. La cavité est mathématiquement complète ; il n'y a aucun paramètre ajusté par molécule.

Pivot de validation

La cohorte LVPP B3LYP/def2-SVPD avec dft_relax=True a atteint un r² moyen de 0,20 — au même niveau que la base de référence. Cela confirme que l'écart est structurel (LVPP ne publie pas de géométries), non numérique. Pivot vers la cohorte MolForge Ground-Truth comme nouveau benchmark reproductible.