The Principia Machina/Diagrams/06 Three-zone TFK

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 source below is the text equivalent of the diagram. Rendering requires a DOT extension; without one the source is shown as text, which 4.1 accepts.

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"];
}