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 source below is the text equivalent of the diagram. Rendering requires a Mermaid extension; without one the source is shown as text, which 4.1 accepts.

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]