03 · Reçus structurels
POM-RX
Lire les trois reçus publics et leurs contrôles sans élargir ce qu’ils démontrent.
POM-RX v0.1 est une spécification de travail avec un prototype testé. Il ne prouve ni vérité externe, ni exécution, ni blocage.
Objectifs
- Nommer les trois phases.
- Lire les liens structurels.
- Conserver les limites publiques exactes.
0110 min
Chaîne fournie de trois reçus
POM-RX v0.1 décrit une chaîne fournie en trois phases : preflight, execution acknowledgement et reconciliation.
Commencer0210 min
Les limites du contrôle structurel
Un résultat structurel valide ne devient ni preuve de vérité, ni attestation, ni garantie de sécurité.
Commencer