Jump to content

The Principia Machina/Diagrams/02 Container lifecycle: Difference between revisions

From The Invariance Itself
m 1 revision imported: TPM bootstrap under PMP-TPM 0.2.0
m 1 revision imported
 
(27 intermediate revisions by 3 users not shown)
Line 1: Line 1:
''Structural diagram 2 of 12. Part of [[The Principia Machina/Hub|the TPM hub]].''
{{TPM map}}
 
{{DISPLAYTITLE:Diagram 02 Container lifecycle}}
''Structural diagram 2 of 13.'' Part of [[The Principia Machina/Hub|the TPM hub]].
* KIND: process
* KIND: process
* LANGUAGE: Mermaid state
* LANGUAGE: Mermaid
* GENERATED FROM: per-container manifest state
* GENERATED FROM: per-UWC manifest state; TPS 5.5, 5.6, 5.11.6, 3.4
* STATUS: hand-authored at PMP-TPM 0.2.0 from foundations record 0.5.0 section 4.1; superseded by TPX at its first build (D21, structural diagram pages are TPX output).
* 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: <code>e3a5dda1250a7ad1b1dc1bdc0122190e13924073206a56cf53ddf345248f3c26</code>


The source below is the text equivalent of the diagram. Rendering requires a Mermaid extension; without one the source is shown as text, which 4.1 accepts.
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.


<onlyinclude><div style="clear:both; overflow-x:auto; max-width:100%; border:1px solid #c8ccd1; background:#ffffff; padding:0.5em; margin:0.5em 0;">
{{#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)
|config.theme=neutral}}
</div></onlyinclude>
<div class="mw-collapsible mw-collapsed" style="clear:both; border:1px solid #c8ccd1; padding:0.3em;">'''Source''' (the text equivalent; Mermaid)
<div class="mw-collapsible-content">
<pre>
<pre>
%% 02 Container lifecycle. process/Mermaid state. Generated from: per-UWC manifest state; TPS 5.5, 5.6, 5.11.6, 3.4.
stateDiagram-v2
stateDiagram-v2
   [*] --&gt; DRAFT_CONTAINER : initiator opens draft (D26)
   [*] --> Draft : DRAFT UWC page (5.5.1)
   DRAFT_CONTAINER --&gt; DRAFT_CONTAINER : zone check fails; component returned (D25)
   Draft --> Draft : rejected component returned (5.5.2)
  DRAFT_CONTAINER --&gt; CANDIDATE : TPK, TrM, TMS pass; digests, UUID, prefix, candidate certificate (D25)
   Draft --> Certified : H-DECL lands the certificate; access policy set (5.5.4, 5.16)
   CANDIDATE --&gt; CERTIFIED : H-DECL lands certificate on DECLARATIONS
   Certified --> Working : lock acquired (5.7)
   CERTIFIED --&gt; WORKING : TPX writes TFK pages, register volume 1 OPEN, control panel, lock, collaboration, manifest, badge, BUILD CHAIN line
   Working --> Certified : release after push (5.10.1)
   WORKING --&gt; WORKING : landings; badge written last
   Working --> Halted : digest-gate failure (2.5.5)
   WORKING --&gt; HALTED : digest-gate failure (D5g)
   Halted --> Certified : RESTORE declared (2.5.7)
   HALTED --&gt; WORKING : RESTORE declared; digest matches
   Halted --> Forked : FORK declared (2.5.7)
   HALTED --&gt; FORKED : FORK declared; copy-forward (D5)
   Certified --> Forked : change request, COPY-FORWARD (5.5.6, 3.4)
   WORKING --&gt; FORKED : change request against TFK; copy-forward (D5)
   Forked --> [*] : successor takes a new UUID and prefix
   FORKED --&gt; DRAFT_CONTAINER : successor draft, new UUID, new prefix
   Certified --> Retired : H-DECL declares RETIRED (5.6.5)
   WORKING --&gt; RETIRED : RETIRED declared (D12)
   Retired --> [*] : pages read-only, index entry kept (5.11.6)
   RETIRED --&gt; [*] : pages protected read-only; stays in index
</pre>
</pre>
</div></div>
== 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 [[The Principia Machina/Roles|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 [[The Principia Machina/Roles|H-DECL]], leaves the pages read-only and the index entry in place (5.6.5, 5.11.6).


[[Category:The Principia Machina]]

Latest revision as of 13:34, 30 September 2026

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).