The Principia Machina/Diagrams/06 Three-zone TFK: Difference between revisions
m 1 revision imported: TPM bootstrap under PMP-TPM 0.2.0 |
m Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16 |
||
| Line 6: | Line 6: | ||
* 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 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). | ||
The source below is | The diagram is rendered live from the source below, which is its text equivalent (4.1). If rendering is unavailable the source still stands. | ||
<graphviz> | |||
digraph three_zone_tfk { | |||
rankdir=LR; | |||
node [shape=box, fontname="Helvetica"]; | |||
subgraph cluster_tfk { | |||
label="TFK (immutable per container)"; style=dashed; | |||
TPK [label="Zone 1: TPK in full"]; | |||
TrM [label="Zone 2: TrM identification fields\nDOF, DOMAIN, identification, FALSIFIER, BEARS"]; | |||
TMS [label="Zone 3: TMS in full\nSTEP CONVENTION, k, N_x, local yardsticks"]; | |||
} | |||
DTPK [label="D(TPK)", shape=ellipse]; | |||
DTrM [label="D(TrM)", shape=ellipse]; | |||
DTMS [label="D(TMS)", shape=ellipse]; | |||
DTFK [label="D(TFK)\nover the three in fixed order", shape=doubleoctagon]; | |||
TPK -> DTPK; TrM -> DTrM; TMS -> DTMS; | |||
DTPK -> DTFK; DTrM -> DTFK; DTMS -> DTFK; | |||
CERT [label="CAC certificate\nassigns UUID; master record", shape=note]; | |||
CHAIN [label="BUILD CHAIN line\nnames DECLARATIONS line verified against", shape=note]; | |||
DTFK -> CERT; DTFK -> CHAIN; | |||
MUT [label="Mutable, in register records naming the entry:\nSTATE, SCRUTINY, RIDER, NOTE, CHECKS OWED, RECORDS", style=dotted]; | |||
TrM -> MUT [style=dotted, label="status lives outside the TFK"]; | |||
} | |||
</graphviz> | |||
<pre> | <pre> | ||
| Line 31: | Line 55: | ||
} | } | ||
</pre> | </pre> | ||
Revision as of 13:01, 16 September 2026
Structural diagram 6 of 12. Part of the TPM hub.
- KIND: structure
- LANGUAGE: DOT
- GENERATED FROM: per-container manifest digests
- 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).
The diagram is rendered live from the source below, which is its text equivalent (4.1). If rendering is unavailable the source still stands.
Diagrams error (with dot command): /bin/sh: 1: /home/u2504-hc9fzwzjsgj6/bin/dot: not found
digraph three_zone_tfk {
rankdir=LR;
node [shape=box, fontname="Helvetica"];
subgraph cluster_tfk {
label="TFK (immutable per container)"; style=dashed;
TPK [label="Zone 1: TPK in full"];
TrM [label="Zone 2: TrM identification fields\nDOF, DOMAIN, identification, FALSIFIER, BEARS"];
TMS [label="Zone 3: TMS in full\nSTEP CONVENTION, k, N_x, local yardsticks"];
}
DTPK [label="D(TPK)", shape=ellipse];
DTrM [label="D(TrM)", shape=ellipse];
DTMS [label="D(TMS)", shape=ellipse];
DTFK [label="D(TFK)\nover the three in fixed order", shape=doubleoctagon];
TPK -> DTPK; TrM -> DTrM; TMS -> DTMS;
DTPK -> DTFK; DTrM -> DTFK; DTMS -> DTFK;
CERT [label="CAC certificate\nassigns UUID; master record", shape=note];
CHAIN [label="BUILD CHAIN line\nnames DECLARATIONS line verified against", shape=note];
DTFK -> CERT; DTFK -> CHAIN;
MUT [label="Mutable, in register records naming the entry:\nSTATE, SCRUTINY, RIDER, NOTE, CHECKS OWED, RECORDS", style=dotted];
TrM -> MUT [style=dotted, label="status lives outside the TFK"];
}