The Principia Machina/Diagrams/06 Three-zone TFK

The Principia Machina: map
Reading the diagrams Structure key Process key Definition of terms Roles
Reading by audience Start here: the walk through The operator's guide Tutorial: create a UUID Workspace Container (UWC) Public Recorder inputs Sponsors: your first agent
The specification Contents: parts, tables, diagrams TPS 0.5.0 (declared 2026-10-03, revision 8; machine-optimized text) Decisions (the foundations record, one line each)

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

• KIND: structure
• LANGUAGE: DOT
• GENERATED FROM: per-UWC manifest digests; TPS 2.1, 2.5, 5.6
• STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (the TrM label lists the entry fields without NAME, ENVIRONMENT_QUANTITY and FALSIFIER_CLASS; not drawn: the certificate's STRUCTURE LINE, and MODULES USED outside D(TFK)); checked against TPS 0.4.0 (revision 7, declared final 2026-09-30) and revision 8, proposed as TPS 0.5.0, on 2026-09-30: also not drawn: the MASTER record, prefix-1, carrying the four digests with the certificate, the STRUCTURE LINE and the modules used, 3.3.1; an entry's state computed by the ENTRY VIEW and its prose in ENTRY_STATUS records, outside the TFK, 2.1.3; revision 8 changes nothing it draws; superseded by TPX at its first build
• SOURCE SHA-256: 7e7b5430556de7b07e2205a6d25e4e313173003abd778fb0a7b4e42ef68b7786

Rendered live from the source, which is the text equivalent and is shown under the drawing. The key to the shapes is in the panel.

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: header\nENVIRONMENT INVENTORY, SIGNATURE,\nTRANSFORMATIONS\nthen entries: DOF, DOMAIN,\nidentification, FALSIFIER, BEARS,\nDIMENSION\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 (TFK) is three immutable zones: the Prime Kernel (TPK) in full; the Translation Manifold (TrM) header and, for each entry, the identification fields NAME, DOF, DOMAIN, ENVIRONMENT_QUANTITY, the identification, FALSIFIER, FALSIFIER_CLASS, BEARS and DIMENSION; and the Measure Set (TMS) in full (2.1.1, 2.3.11). Each zone has a digest; D(TFK) is computed over the three in fixed order (2.5.3). D(TFK) is written into the certificate of the congruence and completeness audit (CAC), which assigns the UUID (universally unique identifier), and appended as a BUILD CHAIN line (5.6.4, 5.6.1); the digest gate matches it before every write and at every CAC (2.5.5). The certificate also carries, not drawn, the label of the structure check on its STRUCTURE LINE and, outside D(TFK), the MODULES USED of any environment modules the draft claimed (5.5.3, 5.22.8).