The Principia Machina/Diagrams/03 Digest gate and recovery: Difference between revisions
m 1 revision imported: TPM bootstrap under PMP-TPM 0.2.0 |
m Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16 |
||
| Line 6: | Line 6: | ||
* 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). | * 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 diagram is rendered live from the source below, which is its text equivalent (4.1). If rendering is unavailable the source still stands. | ||
{{#mermaid: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] | |||
}} | |||
<pre> | <pre> | ||
| Line 23: | Line 38: | ||
J --> K[Predecessor frozen with forward pointer] | J --> K[Predecessor frozen with forward pointer] | ||
</pre> | </pre> | ||
Revision as of 13:01, 16 September 2026
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]