The Principia Machina/Diagrams/06 Three-zone TFK: Difference between revisions
m Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16 |
Diagram 06 Three-zone TFK: source, text equivalent, TPS 0.1.0 addresses |
||
| Line 1: | Line 1: | ||
''Structural diagram 6 of 12. Part of [[The Principia Machina/Hub|the TPM hub]]. | ''Structural diagram 6 of 12.'' Part of [[The Principia Machina/Hub|the TPM hub]]. | ||
* KIND: structure | * KIND: structure | ||
* LANGUAGE: DOT | * LANGUAGE: DOT | ||
* GENERATED FROM: per-container manifest digests | * GENERATED FROM: per-container manifest digests; TPS 2.1, 2.5, 5.6 | ||
* STATUS: hand-authored at | * STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build | ||
* SOURCE SHA-256: <code>ca50fef97a83b164895a4e4e7a56be7d9104d1f60cc9aeb588b956aafa3974b2</code> | |||
Rendered live from the source below, which is the text equivalent; if rendering is unavailable the source still stands. | |||
<graphviz> | <graphviz> | ||
// 06 Three-zone TFK. structure/DOT. Generated from: per-container manifest digests; TPS 2.1, 2.5, 5.6. | |||
digraph three_zone_tfk { | digraph three_zone_tfk { | ||
rankdir= | rankdir=TB; node [shape=box, fontname="Helvetica", fontsize=10]; edge [fontname="Helvetica", fontsize=9]; | ||
subgraph cluster_tfk { label="TFK immutable per container (2.1)"; style=filled; fillcolor="#f2f2f2"; | |||
subgraph cluster_tfk { | 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]; | |||
TPK [label=" | 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"]; | |||
DTFK [label="D(TFK)\nover the three in fixed order", shape= | |||
CERT [label="CAC certificate\nassigns UUID | |||
} | } | ||
</graphviz> | </graphviz> | ||
Source, verbatim, while the graphviz tag is being repaired (see TPS docket G-08): | |||
<pre> | <pre> | ||
// 06 Three-zone TFK. structure/DOT. Generated from: per-container manifest digests; TPS 2.1, 2.5, 5.6. | |||
digraph three_zone_tfk { | digraph three_zone_tfk { | ||
rankdir= | rankdir=TB; node [shape=box, fontname="Helvetica", fontsize=10]; edge [fontname="Helvetica", fontsize=9]; | ||
subgraph cluster_tfk { label="TFK immutable per container (2.1)"; style=filled; fillcolor="#f2f2f2"; | |||
subgraph cluster_tfk { | 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]; | |||
TPK [label=" | 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"]; | |||
DTFK [label="D(TFK)\nover the three in fixed order", shape= | |||
CERT [label="CAC certificate\nassigns UUID | |||
} | } | ||
</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]] --> | |||
== 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). | |||
[[Category:The Principia Machina]] | |||
Revision as of 19:49, 17 September 2026
Structural diagram 6 of 12. Part of the TPM hub.
- KIND: structure
- LANGUAGE: DOT
- GENERATED FROM: per-container manifest digests; TPS 2.1, 2.5, 5.6
- STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build
- SOURCE SHA-256:
ca50fef97a83b164895a4e4e7a56be7d9104d1f60cc9aeb588b956aafa3974b2
Rendered live from the source below, which is the text equivalent; if rendering is unavailable the source still stands.
Source, verbatim, while the graphviz tag is being repaired (see TPS docket G-08):
// 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, fontname="Helvetica", fontsize=10]; edge [fontname="Helvetica", fontsize=9];
subgraph cluster_tfk { label="TFK immutable per container (2.1)"; style=filled; fillcolor="#f2f2f2";
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).