Le problème n’est plus de trouver des conjectures. C’est de savoir où la preuve casse.

J’ai remplacé le PDF linéaire par une carte de dépendances : chaque lemme est une pièce vivante, chaque hypothèse une couture visible, chaque validation humaine une contre-signature qui propage — ou bloque — la confiance dans tout le raisonnement.