The Principia Machina/Diagrams/03 Digest gate and recovery

Structural diagram 3 of 12. Part of the TPM hub.

• KIND: process
• LANGUAGE: Mermaid flow
• GENERATED FROM: static, D5(g), 4.4
• STATUS: hand-authored at PMP-TPM 0.2.0 from foundations record 0.5.0 section 4.1; superseded by TPX at its first build (D21, structural diagram pages are TPX output).

The diagram is rendered live from the source below, which is its text equivalent (4.1). If rendering is unavailable the source still stands.

flowchart TD
  A[Write requested on container] --> B[TPX recomputes D TPK, D TrM, D TMS, D TFK]
  B --> C{D TFK equals certificate?}
  C -- yes --> D[Write proceeds]
  C -- no --> E[Halt write; name mismatched zone]
  E --> F[Offer COPY-FORWARD; open decision item]
  F --> G{H-DECL declares}
  G -- RESTORE --> H[Return TFK pages to revision whose content hash matches the chain]
  H --> I{Digest matches?}
  I -- yes --> D
  I -- no --> E
  G -- FORK --> J[Copy-forward under newly declared TFK; new UUID, new prefix]
  J --> K[Predecessor frozen with forward pointer]