Le résultat ne contient pas nécessairement son histoire
La provenance étudie ce qui reste déterminable du chemin de production, séparément de la valeur finale.
Gen → ExtReg → Obs : plusieurs étages d'oubli peuvent séparer l'histoire de ce qui est finalement observé.Statut actuel
Le programme conserve les histoires, les traces partielles et leurs oublis comme objets distincts. Le résultat R1-3 est maintenu sous hypothèses : l'unicité élémentaire ne découle pas automatiquement des seules propriétés antérieures.
Une piste retirée
La piste torsorielle a été retirée faute d'une action libre et transitive établie sur chaque fibre. Elle reste dans l'histoire du programme, mais n'est pas nécessaire au résultat conditionnel conservé.
Non-claim
Une chaîne cryptographiquement cohérente ne suffit pas à établir la légitimité de son origine ; une sortie extensionnelle ne choisit pas automatiquement sa propre genèse.
Couret–Unification / InterIA · état documentaire du 21 août 2026. Une page scientifique ne doit jamais être plus affirmative que la pièce qui la soutient.