https://invarians.org/index.php?action=history&feed=atom&title=The_Principia_Machina%2FDiagrams%2F03_Digest_gate_and_recovery 2026-10-21T06:57:27Z Revision history for this page on the wiki MediaWiki 1.46.2 https://invarians.org/index.php?title=The_Principia_Machina/Diagrams/03_Digest_gate_and_recovery&diff=4540&oldid=prev 2026-09-29T02:11:00Z

<p>Post-TPC-PY page batch (S70): HF</p> <table style="background-color: #fff; color: #202122;" data-mw-interface=""> <tr class="diff-title" lang="en"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 02:11, 29 September 2026</td> </tr><tr><td colspan="2" class="diff-notice" lang="en"><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

DeltaS Zero https://invarians.org/index.php?title=The_Principia_Machina/Diagrams/03_Digest_gate_and_recovery&diff=4541&oldid=prev 2026-09-29T02:10:48Z

<p>1 revision imported</p> <table style="background-color: #fff; color: #202122;" data-mw-interface=""> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 02:10, 29 September 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l5">Line 5:</td> <td colspan="2" class="diff-lineno">Line 5:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* LANGUAGE: Mermaid</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* LANGUAGE: Mermaid</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* GENERATED FROM: static, TPS 2.5</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* GENERATED FROM: static, TPS 2.5</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* STATUS: hand-authored at TPS 0.1.0<ins style="font-weight: bold; text-decoration: none;">; checked against TPS 0.3.0 on 2026-09-28: still true (the label D-TFK stands for D(TFK))</ins>; superseded by TPX at its first build</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* SOURCE SHA-256: &lt;code&gt;4be2e6c404af62401bd2e9e150494b524fe136aae72463f7c617a49bf7fc9b35&lt;/code&gt;</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* SOURCE SHA-256: &lt;code&gt;4be2e6c404af62401bd2e9e150494b524fe136aae72463f7c617a49bf7fc9b35&lt;/code&gt;</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l63">Line 63:</td> <td colspan="2" class="diff-lineno">Line 63:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Text equivalent ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Text equivalent ==</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>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).</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Before every write TPX<ins style="font-weight: bold; text-decoration: none;">, the controller, </ins>recomputes <ins style="font-weight: bold; text-decoration: none;">the digest </ins>D<ins style="font-weight: bold; text-decoration: none;">(TFK) of the Full Kernel </ins>(TFK) and matches it against the certificate (2.5.8<ins style="font-weight: bold; text-decoration: none;">); the drawing's label D-TFK stands for D(TFK</ins>). 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).</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Category:The Principia Machina]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Category:The Principia Machina]]</div></td></tr> </table>

BFP Rauch https://invarians.org/index.php?title=The_Principia_Machina/Diagrams/03_Digest_gate_and_recovery&diff=3226&oldid=prev 2026-09-25T05:40:23Z

<p>Structural diagram 3 of 13 (the hub lists thirteen; diagram 13 added 2026-09-22)</p> <table style="background-color: #fff; color: #202122;" data-mw-interface=""> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 05:40, 25 September 2026</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{{TPM map}}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{{TPM map}}</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{{DISPLAYTITLE:Diagram 03 Digest gate and recovery}}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{{DISPLAYTITLE:Diagram 03 Digest gate and recovery}}</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>''Structural diagram 3 of <del style="font-weight: bold; text-decoration: none;">12</del>.'' Part of [[The Principia Machina/Hub|the TPM hub]].</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>''Structural diagram 3 of <ins style="font-weight: bold; text-decoration: none;">13</ins>.'' Part of [[The Principia Machina/Hub|the TPM hub]].</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* KIND: process</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* KIND: process</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* LANGUAGE: Mermaid</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* LANGUAGE: Mermaid</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l66">Line 66:</td> <td colspan="2" class="diff-lineno">Line 66:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Category:The Principia Machina]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Category:The Principia Machina]]</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2" class="diff-side-added"></td></tr> </table>

DeltaS Zero https://invarians.org/index.php?title=The_Principia_Machina/Diagrams/03_Digest_gate_and_recovery&diff=2998&oldid=prev 2026-09-22T06:09:44Z

<p>1 revision imported</p> <table style="background-color: #fff; color: #202122;" data-mw-interface=""> <tr class="diff-title" lang="en"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 06:09, 22 September 2026</td> </tr><tr><td colspan="2" class="diff-notice" lang="en"><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

BFP Rauch https://invarians.org/index.php?title=The_Principia_Machina/Diagrams/03_Digest_gate_and_recovery&diff=2796&oldid=prev 2026-09-22T05:33:58Z

<p>1 revision imported</p> <table style="background-color: #fff; color: #202122;" data-mw-interface=""> <tr class="diff-title" lang="en"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 05:33, 22 September 2026</td> </tr><tr><td colspan="2" class="diff-notice" lang="en"><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

BFP Rauch https://invarians.org/index.php?title=The_Principia_Machina/Diagrams/03_Digest_gate_and_recovery&diff=2997&oldid=prev 2026-09-22T05:25:03Z

<p>Human-facing page: 03 Digest gate and recovery</p> <table style="background-color: #fff; color: #202122;" data-mw-interface=""> <tr class="diff-title" lang="en"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 05:25, 22 September 2026</td> </tr><tr><td colspan="2" class="diff-notice" lang="en"><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

BFP Rauch https://invarians.org/index.php?title=The_Principia_Machina/Diagrams/03_Digest_gate_and_recovery&diff=2795&oldid=prev 2026-09-22T05:25:03Z

<p>Human-facing page: 03 Digest gate and recovery</p> <table style="background-color: #fff; color: #202122;" data-mw-interface=""> <tr class="diff-title" lang="en"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 05:25, 22 September 2026</td> </tr><tr><td colspan="2" class="diff-notice" lang="en"><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

BFP Rauch https://invarians.org/index.php?title=The_Principia_Machina/Diagrams/03_Digest_gate_and_recovery&diff=2216&oldid=prev 2026-09-18T04:35:40Z

<p>1 revision imported</p> <table style="background-color: #fff; color: #202122;" data-mw-interface=""> <tr class="diff-title" lang="en"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 04:35, 18 September 2026</td> </tr><tr><td colspan="2" class="diff-notice" lang="en"><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

BFP Rauch https://invarians.org/index.php?title=The_Principia_Machina/Diagrams/03_Digest_gate_and_recovery&diff=2215&oldid=prev 2026-09-18T04:34:06Z

<p>Human-facing page: 03 Digest gate and recovery</p> <table style="background-color: #fff; color: #202122;" data-mw-interface=""> <tr class="diff-title" lang="en"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 04:34, 18 September 2026</td> </tr><tr><td colspan="2" class="diff-notice" lang="en"><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

BFP Rauch https://invarians.org/index.php?title=The_Principia_Machina/Diagrams/03_Digest_gate_and_recovery&diff=2022&oldid=prev 2026-09-18T04:19:46Z

<p>1 revision imported</p> <table style="background-color: #fff; color: #202122;" data-mw-interface=""> <tr class="diff-title" lang="en"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 04:19, 18 September 2026</td> </tr><tr><td colspan="2" class="diff-notice" lang="en"><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

BFP Rauch