Comment les calculateurs enregistrent les empreintes de démarrage dans les registres PCR et signent une Quote cryptographique avant de déverrouiller le contact.
Les registres PCR d'un TPM ne peuvent être écrasés ; ils ne tolèrent que l'opération d'extension : `PCR_nouveau = SHA256(PCR_ancien || mesure)`. Chaque phase mesure la suivante avant exécution. Au terme du démarrage, le TPM signe une Quote avec sa clé d'attestation AIK matérielle. Le cloud vérifie : si un seul octet a bougé, les contacteurs haute tension restent désactivés.