—

Moteur interpret_steps générique : aucune preuve ni interprétation en dur. Preuve, prompt et niveaux d'inférence viennent tous de l'instance JSON. La surinterprétation est signalée, jamais inventée.