The Principia Machina/Diagrams/03 Digest gate and recovery: Difference between revisions
m 1 revision imported |
Human-facing page: 03 Digest gate and recovery |
||
| Line 1: | Line 1: | ||
{{TPM map}} | |||
{{DISPLAYTITLE:Diagram 03 Digest gate and recovery}} | {{DISPLAYTITLE:Diagram 03 Digest gate and recovery}} | ||
''Structural diagram 3 of 12.'' Part of [[The Principia Machina/Hub|the TPM hub]]. | ''Structural diagram 3 of 12.'' Part of [[The Principia Machina/Hub|the TPM hub]]. | ||
* KIND: process | * KIND: process | ||
* LANGUAGE: Mermaid | * LANGUAGE: Mermaid | ||
* GENERATED FROM: static, TPS 2.5 | * GENERATED FROM: static, TPS 2.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> | * SOURCE SHA-256: <code>add96a4d6e4d080d23bb00cb1bf1d17ef3a203542160fc4aef6ca8a3b892820c</code> | ||
Rendered live from the source, which is the text equivalent and is shown under the drawing | Rendered live from the source, which is the text equivalent and is shown under the drawing. The key to the shapes is in the panel. | ||
<div style="overflow-x:auto; max-width:100%; border:1px solid #c8ccd1; background:#ffffff; padding:0.5em;"> | <onlyinclude><div style="clear:both; overflow-x:auto; max-width:100%; border:1px solid #c8ccd1; background:#ffffff; padding:0.5em; margin:0.5em 0;"> | ||
{{#mermaid: | {{#mermaid: | ||
%% 03 Digest gate and recovery. process/Mermaid flow. Generated from: static, TPS 2.5. | %% 03 Digest gate and recovery. process/Mermaid flow. Generated from: static, TPS 2.5. | ||
flowchart TD | flowchart TD | ||
W[write requested] --> R[TPX recomputes D-TFK and<br/>matches the certificate<br/>2.5.8] | W[write requested] --> R[TPX recomputes D-TFK and<br/>matches the certificate<br/>TPS 2.5.8] | ||
R -- match --> OK[write proceeds] | R -- match --> OK[write proceeds] | ||
R -- mismatch --> H[write halted;<br/>the mismatched zone named<br/>2.5.5, 2.5.6] | R -- mismatch --> H[write halted;<br/>the mismatched zone named<br/>TPS 2.5.5, 2.5.6] | ||
H --> D[/human declares<br/>RESTORE or FORK<br/>2.5.7/] | H --> D[/human declares<br/>RESTORE or FORK<br/>TPS 2.5.7/] | ||
D -- RESTORE --> RS[TFK pages returned to the<br/>revision whose content hash<br/>matches the chain] | D -- RESTORE --> RS[TFK pages returned to the<br/>revision whose content hash<br/>matches the chain] | ||
RS --> R2[digest re-verified] | RS --> R2[digest re-verified] | ||
R2 -- match --> OK | R2 -- match --> OK | ||
D -- FORK --> F[COPY-FORWARD under a<br/>newly declared TFK<br/>3.4] | D -- FORK --> F[COPY-FORWARD under a<br/>newly declared TFK<br/>TPS 3.4] | ||
classDef task fill:#eaecf0,stroke:#a2a9b1,color:#202122 | classDef task fill:#eaecf0,stroke:#a2a9b1,color:#202122 | ||
| Line 34: | Line 33: | ||
class H bad | class H bad | ||
|config.theme=neutral}} | |config.theme=neutral}} | ||
</div> | </div></onlyinclude> | ||
<div class="mw-collapsible mw-collapsed" style="border:1px solid #c8ccd1; padding:0.3em;">'''Source''' (the text equivalent; Mermaid) | <div class="mw-collapsible mw-collapsed" style="clear:both; border:1px solid #c8ccd1; padding:0.3em;">'''Source''' (the text equivalent; Mermaid) | ||
<div class="mw-collapsible-content"> | <div class="mw-collapsible-content"> | ||
<pre> | <pre> | ||
%% 03 Digest gate and recovery. process/Mermaid flow. Generated from: static, TPS 2.5. | %% 03 Digest gate and recovery. process/Mermaid flow. Generated from: static, TPS 2.5. | ||
flowchart TD | flowchart TD | ||
W[write requested] --> R[TPX recomputes D-TFK and<br/>matches the certificate<br/>2.5.8] | W[write requested] --> R[TPX recomputes D-TFK and<br/>matches the certificate<br/>TPS 2.5.8] | ||
R -- match --> OK[write proceeds] | R -- match --> OK[write proceeds] | ||
R -- mismatch --> H[write halted;<br/>the mismatched zone named<br/>2.5.5, 2.5.6] | R -- mismatch --> H[write halted;<br/>the mismatched zone named<br/>TPS 2.5.5, 2.5.6] | ||
H --> D[/human declares<br/>RESTORE or FORK<br/>2.5.7/] | H --> D[/human declares<br/>RESTORE or FORK<br/>TPS 2.5.7/] | ||
D -- RESTORE --> RS[TFK pages returned to the<br/>revision whose content hash<br/>matches the chain] | D -- RESTORE --> RS[TFK pages returned to the<br/>revision whose content hash<br/>matches the chain] | ||
RS --> R2[digest re-verified] | RS --> R2[digest re-verified] | ||
R2 -- match --> OK | R2 -- match --> OK | ||
D -- FORK --> F[COPY-FORWARD under a<br/>newly declared TFK<br/>3.4] | D -- FORK --> F[COPY-FORWARD under a<br/>newly declared TFK<br/>TPS 3.4] | ||
classDef task fill:#eaecf0,stroke:#a2a9b1,color:#202122 | classDef task fill:#eaecf0,stroke:#a2a9b1,color:#202122 | ||
Revision as of 21:48, 17 September 2026
| The Principia Machina: map |
|---|
| Reading the diagrams Structure key Process key Definition of terms Roles |
| Reading by audience Start here: the walk through The operator's guide Tutorial: create a UUID Workspace Container (UWC) Public Recorder inputs Sponsors: your first agent |
| The specification Contents: parts, tables, diagrams TPS 0.5.0 (declared 2026-10-03, revision 8; machine-optimized text) Decisions (the foundations record, one line each) |
Structural diagram 3 of 12. Part of the TPM hub.
- KIND: process
- LANGUAGE: Mermaid
- GENERATED FROM: static, TPS 2.5
- STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build
- SOURCE SHA-256:
add96a4d6e4d080d23bb00cb1bf1d17ef3a203542160fc4aef6ca8a3b892820c
Rendered live from the source, which is the text equivalent and is shown under the drawing. The key to the shapes is in the panel.
Source (the text equivalent; Mermaid)
%% 03 Digest gate and recovery. process/Mermaid flow. Generated from: static, TPS 2.5. flowchart TD W[write requested] --> R[TPX recomputes D-TFK and<br/>matches the certificate<br/>TPS 2.5.8] R -- match --> OK[write proceeds] R -- mismatch --> H[write halted;<br/>the mismatched zone named<br/>TPS 2.5.5, 2.5.6] H --> D[/human declares<br/>RESTORE or FORK<br/>TPS 2.5.7/] D -- RESTORE --> RS[TFK pages returned to the<br/>revision whose content hash<br/>matches the chain] RS --> R2[digest re-verified] R2 -- match --> OK D -- FORK --> F[COPY-FORWARD under a<br/>newly declared TFK<br/>TPS 3.4] classDef task fill:#eaecf0,stroke:#a2a9b1,color:#202122 classDef human fill:#eaf3ff,stroke:#36c,color:#202122 classDef data fill:#fef6e7,stroke:#ac6600,color:#202122 classDef bad fill:#fee7e6,stroke:#d33,color:#202122 classDef good fill:#d5fdf4,stroke:#14866d,color:#202122 class W,R,RS,R2,F task class D human class OK good class H bad
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).