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