The Principia Machina/Diagrams/03 Digest gate and recovery: Difference between revisions
m 1 revision imported |
Diagram page 03 Digest gate and recovery, TPS 0.1.0 |
||
| Line 5: | Line 5: | ||
* STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build | * STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build | ||
* SOURCE SHA-256: <code>5d73d11cd9885162ed173ca65e6462f4494b8dffcdd47b5bff6353a2db7626c1</code> | * SOURCE SHA-256: <code>5d73d11cd9885162ed173ca65e6462f4494b8dffcdd47b5bff6353a2db7626c1</code> | ||
* KEY: [[The Principia Machina/Diagrams/Key for process diagrams|key for process diagrams]]: what each shape and arrow means | |||
Rendered live from the source below, which is the text equivalent; if rendering is unavailable the source still stands. | Rendered live from the source below, which is the text equivalent; if rendering is unavailable the source still stands. | ||
Revision as of 19:59, 17 September 2026
Structural diagram 3 of 12. Part of the TPM hub.
- KIND: process
- LANGUAGE: Mermaid flow
- GENERATED FROM: static, TPS 2.5
- STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build
- SOURCE SHA-256:
5d73d11cd9885162ed173ca65e6462f4494b8dffcdd47b5bff6353a2db7626c1 - KEY: key for process diagrams: what each shape and arrow means
Rendered live from the source below, which is the text equivalent; if rendering is unavailable the source still stands.
Text equivalent
Before every write TPX recomputes D(TFK) and matches it against the certificate (2.5.8). A match lets the write proceed. A mismatch halts the write and names the zone (2.5.5, 2.5.6); recovery is a human declaration: RESTORE returns the TFK pages to the revision whose content hash matches the chain and writes resume only after the digest matches; FORK copies forward under a newly declared TFK (2.5.7, 3.4).