Jump to content

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

From The Invariance Itself
← Older editNewer edit →

BFP Rauch (talk | contribs)

4 user groups
811 edits
m Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16
Diagram 03 Digest gate and recovery: source, text equivalent, TPS 0.1.0 addresses
Line 1: Line 1:
''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 flow
* LANGUAGE: Mermaid flow
* GENERATED FROM: static, D5(g), 4.4
* GENERATED FROM: static, TPS 2.5
* 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 TPS 0.1.0; superseded by TPX at its first build
* SOURCE SHA-256: <code>5d73d11cd9885162ed173ca65e6462f4494b8dffcdd47b5bff6353a2db7626c1</code>


The diagram is rendered live from the source below, which is its text equivalent (4.1). 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.


{{#mermaid:flowchart TD
{{#mermaid:
   A[Write requested on container] --&gt; B[TPX recomputes D TPK, D TrM, D TMS, D TFK]
%% 03 Digest gate and recovery. process/Mermaid flow. Generated from: static, TPS 2.5.
  B --&gt; C{D TFK equals certificate?}
flowchart TD
   C -- yes --&gt; D[Write proceeds]
   W[write requested] --> R[TPX recomputes D-TFK and matches the certificate 2.5.8]
   C -- no --&gt; E[Halt write; name mismatched zone]
   R -- match --> OK[write proceeds]
   E --&gt; F[Offer COPY-FORWARD; open decision item]
   R -- mismatch --> H[write halted; the mismatched zone named 2.5.6]
   F --&gt; G{H-DECL declares}
   H --> D[/human declares RESTORE or FORK 2.5.7/]
  G -- RESTORE --&gt; H[Return TFK pages to revision whose content hash matches the chain]
   D -- RESTORE --> RS[TFK pages returned to the revision whose content hash matches the chain]
   H --&gt; I{Digest matches?}
   RS --> R2[digest re-verified]
  I -- yes --&gt; D
   R2 -- match --> OK
   I -- no --&gt; E
   D -- FORK --> F[COPY-FORWARD under a newly declared TFK 3.4]
   G -- FORK --&gt; J[Copy-forward under newly declared TFK; new UUID, new prefix]
  J --&gt; K[Predecessor frozen with forward pointer]
}}
}}


<pre>
== Text equivalent ==
flowchart TD
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).
  A[Write requested on container] --&gt; B[TPX recomputes D TPK, D TrM, D TMS, D TFK]
 
  B --&gt; C{D TFK equals certificate?}
[[Category:The Principia Machina]]
  C -- yes --&gt; D[Write proceeds]
 
  C -- no --&gt; E[Halt write; name mismatched zone]
  E --&gt; F[Offer COPY-FORWARD; open decision item]
  F --&gt; G{H-DECL declares}
  G -- RESTORE --&gt; H[Return TFK pages to revision whose content hash matches the chain]
  H --&gt; I{Digest matches?}
  I -- yes --&gt; D
  I -- no --&gt; E
  G -- FORK --&gt; J[Copy-forward under newly declared TFK; new UUID, new prefix]
  J --&gt; K[Predecessor frozen with forward pointer]
</pre>

Revision as of 19:49, 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

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).

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