Le labo examine la largeur de corps convexes qui ne contiennent aucun point du réseau dans leur intérieur. Il reconstruit des exemples de référence et réduit certaines configurations de contact à des contraintes vérifiables.
Le dépôt documente des bornes et exclusions sur des familles précises de tétraèdres, avec arguments géométriques, certificats exacts et vérification de réfutations par Ethos. Les hypothèses de contact et les domaines de paramètres font partie de chaque résultat.
Les cas restants et la borne globale demeurent ouverts. Ces résultats restreints ne constituent pas une résolution de la conjecture de flatness ; nouveauté et évaluation scientifique externe ne sont pas établies.