Jump to content

The Principia Machina/Diagrams/03 Digest gate and recovery: Difference between revisions

From The Invariance Itself
← Older edit

BFP Rauch (talk | contribs)

4 user groups
811 edits
m 1 revision imported
m 1 revision imported
 
(17 intermediate revisions by 2 users not shown)
Line 1: Line 1:
''Structural diagram 3 of 12.'' Part of [[The Principia Machina/Hub|the TPM hub]].
{{TPM map}}
{{DISPLAYTITLE:Diagram 03 Digest gate and recovery}}
''Structural diagram 3 of 13.'' Part of [[The Principia Machina/Hub|the TPM hub]].
* KIND: process
* KIND: process
* LANGUAGE: Mermaid flow
* 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; checked against TPS 0.3.0 on 2026-09-28: still true (the label D-TFK stands for D(TFK)); superseded by TPX at its first build
* SOURCE SHA-256: <code>5d73d11cd9885162ed173ca65e6462f4494b8dffcdd47b5bff6353a2db7626c1</code>
* SOURCE SHA-256: <code>4be2e6c404af62401bd2e9e150494b524fe136aae72463f7c617a49bf7fc9b35</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, which is the text equivalent and is shown under the drawing. The key to the shapes is in the panel.


<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. Static, TPS 2.5.
%% One line per label: the wiki renderer clips a second line.
flowchart TD
flowchart TD
   W[write requested] --> R[TPX recomputes D-TFK and matches the certificate 2.5.8]
   W[write requested] --> R[TPX rematches D-TFK, TPS 2.5.8]
   R -- match --> OK[write proceeds]
   R -- match --> OK[write proceeds]
   R -- mismatch --> H[write halted; the mismatched zone named 2.5.6]
   R -- mismatch --> H[write halted, zone named]
   H --> D[/human declares RESTORE or FORK 2.5.7/]
   H --> D[/human declares RESTORE or FORK/]
   D -- RESTORE --> RS[TFK pages returned to the revision whose content hash matches the chain]
   D -- RESTORE --> RS[kernel pages back to that revision]
   RS --> R2[digest re-verified]
   RS --> R2[digest re-verified]
   R2 -- match --> OK
   R2 -- match --> OK
   D -- FORK --> F[COPY-FORWARD under a newly declared TFK 3.4]
   D -- FORK --> F[COPY-FORWARD under a new TFK]
}}
 
  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
|config.theme=neutral}}
</div></onlyinclude>
<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">
<pre>
%% 03 Digest gate and recovery. process/Mermaid flow. Static, TPS 2.5.
%% One line per label: the wiki renderer clips a second line.
flowchart TD
  W[write requested] --> R[TPX rematches D-TFK, TPS 2.5.8]
  R -- match --> OK[write proceeds]
  R -- mismatch --> H[write halted, zone named]
  H --> D[/human declares RESTORE or FORK/]
  D -- RESTORE --> RS[kernel pages back to that revision]
  RS --> R2[digest re-verified]
  R2 -- match --> OK
  D -- FORK --> F[COPY-FORWARD under a new TFK]
 
  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
</pre>
</div></div>


== Text equivalent ==
== 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).
Before every write TPX, the controller, recomputes the digest D(TFK) of the Full Kernel (TFK) and matches it against the certificate (2.5.8); the drawing's label D-TFK stands for D(TFK). 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).


[[Category:The Principia Machina]]
[[Category:The Principia Machina]]

Latest revision as of 02:10, 29 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 13. Part of the TPM hub.

  • KIND: process
  • LANGUAGE: Mermaid
  • GENERATED FROM: static, TPS 2.5
  • STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: still true (the label D-TFK stands for D(TFK)); superseded by TPX at its first build
  • SOURCE SHA-256: 4be2e6c404af62401bd2e9e150494b524fe136aae72463f7c617a49bf7fc9b35

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. Static, TPS 2.5.
%% One line per label: the wiki renderer clips a second line.
flowchart TD
  W[write requested] --> R[TPX rematches D-TFK, TPS 2.5.8]
  R -- match --> OK[write proceeds]
  R -- mismatch --> H[write halted, zone named]
  H --> D[/human declares RESTORE or FORK/]
  D -- RESTORE --> RS[kernel pages back to that revision]
  RS --> R2[digest re-verified]
  R2 -- match --> OK
  D -- FORK --> F[COPY-FORWARD under a new TFK]

  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, the controller, recomputes the digest D(TFK) of the Full Kernel (TFK) and matches it against the certificate (2.5.8); the drawing's label D-TFK stands for D(TFK). 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).

Retrieved from "https://invarians.org/index.php?title=The_Principia_Machina/Diagrams/03_Digest_gate_and_recovery&oldid=4541"