The Principia Machina/Diagrams/C1 Kernel and register

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)

Conceptual diagram 1 of 7. Part of the TPM hub.

• KIND: structure
• LANGUAGE: DOT
• GENERATED FROM: declared by the human 2026-09-17; TPS 2.1-2.5, 3.1-3.4, 4.6
• STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (not drawn: the HOLD and RELEASE records and the status HELD, 3.3.11-3.3.13; the bibliography beside the register, 3.1.16; EOM-0, 3.3.16); checked against revision 7 on 2026-09-29, declared final as TPS 0.4.0 on 2026-09-30: also owed a redraw (the MASTER is a keyed record, the register records carry the record table's envelope and fields, GRADE and STATUS replace the tag, 3.2.16-3.2.19, 3.2.10; not drawn: the PROMOTION record, 3.3.17); checked against revision 8, proposed as TPS 0.5.0, on 2026-09-30: also not drawn: a parrot's CORROBORATION record, which TPX writes from its reserved range, naming as TARGET the record the parrot was drawn from, 3.3.4; conceptual, kept by the human; never generated
• SOURCE SHA-256: a185ab617f507fbf1255f0828370d2a2f95b775fdbf3df6332f953edab44ed62, 8003926100b94b9d262ba901efc05aa3f00ae622f09ad08e4398f815a6f7b209

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)

// C1 Kernel and register data structure. TPS 0.1.0 parts 2, 3, 4. Bachman form:
// a box is a record type (name; identifier; home; fields); an arrow is a set,
// owner to member, labeled with the set name and the rule TPS states.
digraph C1a {
  graph [rankdir=TB, nodesep=0.25, ranksep=0.55, newrank=true, fontname="Helvetica", fontsize=10,
         label="C1a  KERNEL, ZONES, MASTER RECORD AND VOLUMES  (TPS 2.1-2.5, 3.1, 3.3.1)", labelloc=t];
  node  [shape=plaintext, fontname="Helvetica", fontsize=9, fontcolor="#202122"];
  edge  [fontname="Helvetica", fontsize=8, arrowhead=vee, color="#54595d", fontcolor="#202122"];

  CONTAINER [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3">
    <TR><TD COLSPAN="3" BGCOLOR="#eaecf0"><B>UWC</B> UUID Workspace Container</TD></TR>
    <TR><TD>UUID v4</TD><TD>prefix</TD><TD>STATE</TD></TR>
    <TR><TD COLSPAN="3" ALIGN="LEFT">binds to D(TFK)<BR/>CERTIFIED / RETIRED / RESTORE / FORK</TD></TR>
    <TR><TD COLSPAN="3">1.1, 1.3, 5.5.3, 5.6.1</TD></TR></TABLE>>];
  TPK [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3">
    <TR><TD COLSPAN="2" BGCOLOR="#eaecf0"><B>TPK</B> zone 1</TD></TR>
    <TR><TD>D(TPK)</TD><TD>immutable</TD></TR>
    <TR><TD COLSPAN="2" ALIGN="LEFT">laws, assumptions, hard boundaries,<BR/>CONSTRAINT entries</TD></TR>
    <TR><TD COLSPAN="2">2.2</TD></TR></TABLE>>];
  TRM [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3">
    <TR><TD COLSPAN="2" BGCOLOR="#eaecf0"><B>TrM ENTRY</B> zone 2</TD></TR>
    <TR><TD>D(TrM)</TD><TD>header + entries,<BR/>immutable</TD></TR>
    <TR><TD COLSPAN="2" ALIGN="LEFT">DOF | DOMAIN | identification |<BR/>FALSIFIER | BEARS  (one isomorphism)</TD></TR>
    <TR><TD COLSPAN="2">2.3</TD></TR></TABLE>>];
  TMS [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3">
    <TR><TD COLSPAN="2" BGCOLOR="#eaecf0"><B>TMS</B> zone 3</TD></TR>
    <TR><TD>D(TMS)</TD><TD>immutable; SR9 at CAC</TD></TR>
    <TR><TD COLSPAN="2" ALIGN="LEFT">STEP CONVENTION | k | N_x |<BR/>local yardsticks</TD></TR>
    <TR><TD COLSPAN="2">2.4</TD></TR></TABLE>>];
  ENTRYSTATUS [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3">
    <TR><TD COLSPAN="2" BGCOLOR="#f8f9fa"><B>ENTRY-STATUS RECORD</B></TD></TR>
    <TR><TD COLSPAN="2" ALIGN="LEFT">names a TFK entry: STATE | SCRUTINY | RIDER |<BR/>NOTE | CHECKS OWED | RECORDS</TD></TR>
    <TR><TD COLSPAN="2">2.1.3, 3.3.2</TD></TR></TABLE>>];
  MASTER [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3">
    <TR><TD COLSPAN="2" BGCOLOR="#eaecf0"><B>MASTER RECORD</B></TD></TR>
    <TR><TD>= certificate</TD><TD>allocated by CAC</TD></TR>
    <TR><TD COLSPAN="2" ALIGN="LEFT">D(TPK) D(TrM) D(TMS) D(TFK) | UUID | prefix<BR/>GRADE: not graded; cannot be amended</TD></TR>
    <TR><TD COLSPAN="2">3.3.1, 5.5.3</TD></TR></TABLE>>];
  VOLUME [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3">
    <TR><TD COLSPAN="2" BGCOLOR="#eaecf0"><B>VOLUME</B></TD></TR>
    <TR><TD>fixed size</TD><TD>OPEN / FROZEN</TD></TR>
    <TR><TD COLSPAN="2" ALIGN="LEFT">volume 1 OPEN at instantiation;<BR/>OPEN written by AI-LEAD only</TD></TR>
    <TR><TD COLSPAN="2">3.1.4, 3.1.9, 3.1.10</TD></TR></TABLE>>];
  TMS -> MASTER [style=invis]; TMS -> VOLUME [style=invis];
  CONTAINER -> TPK [label="TFK ZONES\nimmutable; digested in fixed order\n2.1.1, 2.5.3"];
  CONTAINER -> TRM [label=" ", constraint=false];
  CONTAINER -> TMS [label=" "];
  CONTAINER -> MASTER [label="MASTER\none; = certificate\n3.3.1, 5.5.4", constraint=false];
  CONTAINER -> VOLUME [label="UWC-VOLUMES\nvolume 1 OPEN at instantiation\n3.1.9", constraint=false];
  TRM -> ENTRYSTATUS [label="ENTRY-STATUS\nmutable fields live here\n2.1.3"];
  { rank=same; TPK; TMS; }
  { rank=same; TRM; MASTER; }
  { rank=same; ENTRYSTATUS; VOLUME; }
  TPK -> TRM [style=invis]; TMS -> MASTER [style=invis]; MASTER -> VOLUME [style=invis];
}

Source (the text equivalent; DOT)

// C1 Kernel and register data structure. TPS 0.1.0 parts 2, 3, 4. Bachman form:
// a box is a record type (name; identifier; home; fields); an arrow is a set,
// owner to member, labeled with the set name and the rule TPS states.
digraph C1b {
  graph [rankdir=TB, nodesep=0.25, ranksep=0.55, newrank=true, fontname="Helvetica", fontsize=10,
         label="C1b  REGISTER RECORDS AND THEIR CLASSES  (TPS 3.1-3.4, 4.6)", labelloc=t];
  node  [shape=plaintext, fontname="Helvetica", fontsize=9, fontcolor="#202122"];
  edge  [fontname="Helvetica", fontsize=8, arrowhead=vee, color="#54595d", fontcolor="#202122"];

  VOLUME [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3">
    <TR><TD COLSPAN="2" BGCOLOR="#eaecf0"><B>VOLUME</B></TD></TR>
    <TR><TD>fixed size</TD><TD>OPEN / FROZEN</TD></TR>
    <TR><TD COLSPAN="2" ALIGN="LEFT">volume 1 OPEN at instantiation;<BR/>OPEN written by AI-LEAD only</TD></TR>
    <TR><TD COLSPAN="2">3.1.4, 3.1.9, 3.1.10</TD></TR></TABLE>>];
  MASTER [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3">
    <TR><TD COLSPAN="2" BGCOLOR="#eaecf0"><B>MASTER RECORD</B></TD></TR>
    <TR><TD>= certificate</TD><TD>allocated by CAC</TD></TR>
    <TR><TD COLSPAN="2" ALIGN="LEFT">D(TPK) D(TrM) D(TMS) D(TFK) | UUID | prefix<BR/>GRADE: not graded; cannot be amended</TD></TR>
    <TR><TD COLSPAN="2">3.3.1, 5.5.3</TD></TR></TABLE>>];
  RECORD [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3">
    <TR><TD COLSPAN="3" BGCOLOR="#eaecf0"><B>REGISTER RECORD</B></TD></TR>
    <TR><TD><prefix>-n</TD><TD>allocated by<BR/>the lead</TD><TD>REGIME<BR/>L / M</TD></TR>
    <TR><TD COLSPAN="3" ALIGN="LEFT">FINDING | ASSUMPTIONS, by identifier | DERIVATION<BR/>DOMAIN | VALUE + u_c, QUANTITY, UNIT, M only | tag</TD></TR>
    <TR><TD COLSPAN="3">3.1.1, 3.1.8, 3.2</TD></TR></TABLE>>];
  STRIKE [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3">
    <TR><TD COLSPAN="2" BGCOLOR="#f8f9fa"><B>WITHDRAWAL RECORD</B> (strike)</TD></TR>
    <TR><TD COLSPAN="2" ALIGN="LEFT">withdrew | withdrawn by | supersedes |<BR/>still stands | withdrawing version; forward-only</TD></TR>
    <TR><TD COLSPAN="2">3.3.3, 4.6.1</TD></TR></TABLE>>];
  ASSUMP [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3">
    <TR><TD COLSPAN="2" BGCOLOR="#f8f9fa"><B>ASSUMPTION RECORD</B> one assumption</TD></TR>
    <TR><TD COLSPAN="2" ALIGN="LEFT">no FINDING, no REGIME; atomicity<BR/>inspected at allocation</TD></TR>
    <TR><TD COLSPAN="2">3.3.7, 4.2 row 23</TD></TR></TABLE>>];
  RECORD -> ASSUMP [label="ASSUMPTIONS\ncites identifiers only\n3.2.7"];
  CORROB [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3">
    <TR><TD COLSPAN="2" BGCOLOR="#f8f9fa"><B>CORROBORATION RECORD</B></TD></TR>
    <TR><TD COLSPAN="2" ALIGN="LEFT">reproduces | account | inherited tag<BR/>reported difference | INDEPENDENCE<BR/>SAME-MODEL mark</TD></TR>
    <TR><TD COLSPAN="2">3.3.4, 5.9.6</TD></TR></TABLE>>];
  GAP [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3">
    <TR><TD COLSPAN="2" BGCOLOR="#f8f9fa"><B>NAMED-GAP RECORD</B></TD></TR>
    <TR><TD COLSPAN="2" ALIGN="LEFT">against ASSUMPTIONS (SR7) | locus (SR5) |<BR/>untied DOF (2.3.6)</TD></TR>
    <TR><TD COLSPAN="2">3.3.5</TD></TR></TABLE>>];
  VERIF [label=<<TABLE BORDER="1" CELLBORDER="1" CELLSPACING="0" CELLPADDING="3">
    <TR><TD COLSPAN="2" BGCOLOR="#f8f9fa"><B>VERIFICATION RECORD</B> regime M</TD></TR>
    <TR><TD COLSPAN="2" ALIGN="LEFT">external value = benchmark, never an output |<BR/>reports the difference, never the agreement</TD></TR>
    <TR><TD COLSPAN="2">3.3.6, 7.1.3</TD></TR></TABLE>>];
  STRIKE -> CORROB [style=invis]; GAP -> VERIF [style=invis];
  VOLUME -> RECORD [label="VOLUME-RECORDS\n<prefix>-n; allocated by the lead\n3.1.8"];
  MASTER -> RECORD [label="CHECKED AGAINST\nevery record, at CAC\n3.3.1, 4.1.2", style=dashed];
  RECORD -> RECORD [label="CITES\nclosure for a(r), SR4", dir=back];
  RECORD -> STRIKE [label="STRUCK BY\nSR1, SR5; forward-only\n4.6.1"];
  RECORD -> CORROB [label="REPRODUCED BY\n5.9.6"];
  RECORD -> GAP [label="GAPS AGAINST\nSR7, SR5", constraint=false];
  RECORD -> VERIF [constraint=false, label="COMPARED BY\nafter termination\n3.3.6", constraint=false];
  RECORD -> RECORD [label="BACK-POINTER\nto predecessor's full identifier;\nPROVISIONAL, REFUTED kept\n3.4.2, 3.4.3", style=dotted, constraint=false];
  { rank=same; VOLUME; MASTER; }
  { rank=same; ASSUMP; STRIKE; }
  { rank=same; CORROB; GAP; }
  { rank=same; VERIF; }
  STRIKE -> CORROB [style=invis]; GAP -> VERIF [style=invis];
}

Text equivalent

A UWC, UUID Workspace Container (UUID: universally unique identifier; with its prefix and STATE), owns the three zones of its Full Kernel (TFK), the Prime Kernel (TPK), the Translation Manifold (TrM) entries and the Measure Set (TMS), immutable and digested in fixed order (2.1, 2.5); one MASTER record, prefix-1, carrying the certificate's four digests, the UUID, the prefix, the STRUCTURE LINE and the modules used (3.3.1); and its VOLUMES, the first OPEN at instantiation (3.1.9). Volumes hold REGISTER RECORDS, prefix-n, allocated by the lead, each of one CLASS of the record table, with its envelope: CITES, ASSUMPTIONS, a GRADE fixed at landing and, on the classes an account authors, a STATUS written in place; a RESULT carries its STATEMENT with any declared form (the FINDING), REGIME, DERIVATION, FALSIFIER, DOMAIN, and for M records VALUE, UNIT and U_C with its BUDGET, the drawing's "tag" standing for GRADE and STATUS (3.2.10, 3.2.16-3.2.19). Records cite records, forming the closure a(r) counts (SR4 of the strike rule). A TrM entry's prose fields live in an ENTRY_STATUS record, and its state is TPX's ENTRY VIEW, computed and stored nowhere (2.1.3, 3.3.2). A record may be withdrawn or struck by a WITHDRAWAL record with its cascade (3.3.3, 4.6.1), promoted by a PROMOTION record (3.3.17), reproduced by a CORROBORATION record (5.9.6), have NAMED_GAP records against its assumptions (3.3.5), and be compared by a VERIFICATION record after termination (3.3.6). Under copy-forward a record's field INHERITS names its predecessor's full identifier (3.4.3). Not drawn: the status HELD that TPX, the controller, writes into records after a failed canary, with the HOLD and RELEASE records around it (3.2.10, 3.3.11 to 3.3.13); the objective EOM-0 that opens a register whose kernel lacks an equation of motion (3.3.16); and the bibliography kept beside the register, whose entries are not records (3.1.16).