Deterministisch durch Konstruktion.
Nachweise sind in einen reproduzierbaren Pfad eingebunden. Prove / verify Round-Trips bleiben stabil, und die sichtbare Integritätsoberfläche ist eher für die forensische Überprüfung als für optimistisches Vertrauen ausgelegt.