Jump to content

Diagram C1 Kernel and register

From The Invariance Itself
Revision as of 02:49, 26 September 2026 by DeltaS Zero (talk | contribs) (Counter: conceptual diagram 1 of 7 (landing round 7, T6))
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; 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, prefix, STATE), owns its three TFK zones, TPK, TrM entries and 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 u_c for M records, and a tag (3.2). Records cite records, forming the closure a(r) counts (SR4). 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).

Retrieved from "https://invarians.org/index.php?title=The_Principia_Machina/Diagrams/C1_Kernel_and_register&oldid=3316"