Jump to content

The Principia Machina/Diagrams/06 Three-zone TFK: Difference between revisions

From The Invariance Itself
m 1 revision imported
Diagram layer page 06 Three-zone TFK, TPS 0.1.0
Line 7: Line 7:
* KEY: [[The Principia Machina/Diagrams/Key for structure diagrams|key for structure diagrams]]: what each shape and arrow means; [[The Principia Machina/Diagrams/Terms|definition of terms]]; [[The Principia Machina/TPS 0.1.0/Contents|contents of the specification]]
* KEY: [[The Principia Machina/Diagrams/Key for structure diagrams|key for structure diagrams]]: what each shape and arrow means; [[The Principia Machina/Diagrams/Terms|definition of terms]]; [[The Principia Machina/TPS 0.1.0/Contents|contents of the specification]]


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; a wide drawing scrolls sideways inside its frame.


<div style="overflow-x:auto; max-width:100%; border:1px solid #c8ccd1; background:#ffffff; padding:0.5em;">
<graphviz>
<graphviz>
// 06 Three-zone TFK. structure/DOT. Generated from: per-container manifest digests; TPS 2.1, 2.5, 5.6.
// 06 Three-zone TFK. structure/DOT. Generated from: per-container manifest digests; TPS 2.1, 2.5, 5.6.
Line 21: Line 22:
}
}
</graphviz>
</graphviz>
 
</div>
Source, verbatim, while the graphviz tag is being repaired (see TPS docket G-08):
<!-- Fallback image, if H-OP uploads the rendering: [[File:TPM diagram 06 Three-zone TFK.png|thumb|900px|Three-zone TFK, rendered from the source above]] -->
<div class="mw-collapsible mw-collapsed" style="border:1px solid #c8ccd1; padding:0.3em;">'''Source''' (the text equivalent; DOT)
<div class="mw-collapsible-content">
<pre>
<pre>
// 06 Three-zone TFK. structure/DOT. Generated from: per-container manifest digests; TPS 2.1, 2.5, 5.6.
// 06 Three-zone TFK. structure/DOT. Generated from: per-container manifest digests; TPS 2.1, 2.5, 5.6.
Line 35: Line 38:
}
}
</pre>
</pre>
<!-- Fallback image, if H-OP uploads the rendering: [[File:TPM diagram 06 Three-zone TFK.png|thumb|900px|Three-zone TFK, rendered from the source above]] -->
</div></div>


== Text equivalent ==
== Text equivalent ==

Revision as of 20:38, 17 September 2026

Structural diagram 6 of 12. Part of the TPM hub.

Rendered live from the source, which is the text equivalent and is shown under the drawing; a wide drawing scrolls sideways inside its frame.

Source (the text equivalent; DOT)
// 06 Three-zone TFK. structure/DOT. Generated from: per-container manifest digests; TPS 2.1, 2.5, 5.6.
digraph three_zone_tfk {
  rankdir=TB; node [shape=box, style=filled, fillcolor="#eaecf0", color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=10]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
  subgraph cluster_tfk { label="TFK  immutable per container  (2.1)"; style=filled; fillcolor="#f8f9fa";
    TPK [label="TPK in full\nD(TPK)"]; TRM [label="TrM identification fields\nDOF, DOMAIN, identification,\nFALSIFIER, BEARS\nD(TrM)"]; TMS [label="TMS in full\nD(TMS)"]; }
  DTFK [label="D(TFK)\nover the three in fixed order\n2.5.3", shape=octagon];
  CERT [label="CAC certificate\nassigns the UUID\n5.6.4", shape=note]; CHAIN [label="BUILD CHAIN line\n5.6.1", shape=note];
  GATE [label="digest gate\nbefore every write, at every CAC\n2.5.5", shape=diamond];
  TPK -> DTFK; TRM -> DTFK; TMS -> DTFK; DTFK -> CERT; DTFK -> CHAIN; DTFK -> GATE [label="matched"];
}

Text equivalent

The Full Kernel is three immutable zones: the TPK in full, the TrM identification fields (DOF, DOMAIN, identification, FALSIFIER, BEARS) and the TMS in full (2.1.1). Each zone has a digest; D(TFK) is computed over the three in fixed order (2.5.3). D(TFK) is written into the CAC certificate that assigns the UUID and appended as a BUILD CHAIN line (5.6.4, 5.6.1), and the digest gate matches it before every write and at every CAC (2.5.5).