The Principia Machina/Diagrams/02 Container lifecycle

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 2 of 13. Part of the TPM hub.

• KIND: process
• LANGUAGE: Mermaid
• GENERATED FROM: per-UWC manifest state; TPS 5.5, 5.6, 5.11.6, 3.4
• STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (not drawn: the audit trigger, the bibliography setting and the STRUCTURE LINE declared with the certificate; EOM-0 opened at instantiation); checked against revision 7 on 2026-09-29, declared final as TPS 0.4.0 on 2026-09-30: also not drawn: the MASTER record, prefix-1, and one NAMED_GAP record per untied or undetermined DOF written on the certifying landing, 3.3.1, 3.3.5, 5.5.4; checked against revision 8, proposed as TPS 0.5.0, on 2026-09-30: no change bears on it; superseded by TPX at its first build
• SOURCE SHA-256: e3a5dda1250a7ad1b1dc1bdc0122190e13924073206a56cf53ddf345248f3c26

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; Mermaid)

%% 02 Container lifecycle. process/Mermaid state. Generated from: per-UWC manifest state; TPS 5.5, 5.6, 5.11.6, 3.4.
stateDiagram-v2
  [*] --> Draft : DRAFT UWC page (5.5.1)
  Draft --> Draft : rejected component returned (5.5.2)
  Draft --> Certified : H-DECL lands the certificate; access policy set (5.5.4, 5.16)
  Certified --> Working : lock acquired (5.7)
  Working --> Certified : release after push (5.10.1)
  Working --> Halted : digest-gate failure (2.5.5)
  Halted --> Certified : RESTORE declared (2.5.7)
  Halted --> Forked : FORK declared (2.5.7)
  Certified --> Forked : change request, COPY-FORWARD (5.5.6, 3.4)
  Forked --> [*] : successor takes a new UUID and prefix
  Certified --> Retired : H-DECL declares RETIRED (5.6.5)
  Retired --> [*] : pages read-only, index entry kept (5.11.6)

Text equivalent

A container, a UUID Workspace Container (UWC; UUID: universally unique identifier), begins as a DRAFT UWC page; a rejected component returns it to its author (5.5.1, 5.5.2). It becomes CERTIFIED when H-DECL lands the certificate, declared with the container's access policy OPEN or CLOSED, its audit trigger and bibliography setting, and the label of the structure check on the certificate's STRUCTURE LINE (5.5.3, 5.5.4, 5.5.9, 5.5.11, 5.16); with STRUCTURE_CHECK ON, a degree of freedom (DOF) that no law determines opens the first objective EOM-0 on that landing (3.3.16). On that landing TPX writes the register's MASTER record, prefix-1, and one NAMED_GAP record for each untied DOF and each DOF no law determines, not drawn (3.3.1, 3.3.5, 5.5.4). Work alternates between the lock held and released after a push (5.7, 5.10.1). A digest-gate failure halts writes until a human declares RESTORE or FORK (2.5.5, 2.5.7). A change request forks it by COPY-FORWARD into a successor with a new UUID and prefix (5.5.6, 3.4). RETIRED, declared by H-DECL, leaves the pages read-only and the index entry in place (5.6.5, 5.11.6).