Diagram 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); 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 equal to the certificate (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 carrying FINDING, ASSUMPTIONS, REGIME, DERIVATION, DOMAIN, VALUE with its combined standard uncertainty u_c for M records, and a tag (3.2). Records cite records, forming the closure a(r) counts (SR4 of the strike rule). A TrM entry's mutable fields live in an ENTRY-STATUS RECORD (2.1.3). A record may be struck by a WITHDRAWAL RECORD (4.6.1), reproduced by a CORROBORATION RECORD (5.9.6), have NAMED-GAP RECORDS against its assumptions (SR7), and be compared by a VERIFICATION RECORD after termination (3.3.6). Under copy-forward a record's back-pointer 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).