The Principia Machina/Diagrams/C3 Container lifecycle pipeline

Conceptual diagram 3 of 5. Part of the TPM hub.

• KIND: process
• LANGUAGE: Mermaid flow
• GENERATED FROM: declared by the human 2026-09-17; TPS 5.5-5.10, 4.1-4.6, 3.4, 2.5
• STATUS: hand-authored at TPS 0.1.0; conceptual, kept by the human; never generated
• SOURCE SHA-256: 268d90bf63b3d9c89cc7cb21a1eb3b89d9887d1781040385faeb3b1f5dd41074
• KEY: key for process diagrams: what each shape and arrow means; definition of terms; contents of the specification

Rendered live from the source, which is the text equivalent and is shown under the drawing; a wide drawing scrolls sideways inside its frame.

Source (the text equivalent; Mermaid)

%% C3 Container lifecycle pipeline. TPS 0.1.0: 5.5, 5.6, 5.7-5.10, 4.1-4.6, 3.4, 2.5.
flowchart TD
  subgraph S1 ["1. Draft  (5.5.1-5.5.2, 2.2-2.4)"]
    D1[(DRAFT CONTAINER page)] --> Z1[TPK zone:<br/>kernel tests T1-T6]
    Z1 --> Z2[TrM zone: TOTAL, SURJECTIVE,<br/>INJECTIVE, STRUCTURE-PRESERVING]
    Z2 --> Z3[TMS zone: SR9 C1-C5,<br/>the last gate]
    Z1 -. rejected component .-> A1[/author repairs<br/>the draft/]
    Z2 -. rejected .-> A1
    Z3 -. rejected .-> A1
    A1 --> D1
  end
  subgraph S2 ["2. Certify  (5.5.3-5.5.4, 2.5, 5.6)"]
    Z3 --> DG[TPX computes D-TPK,<br/>D-TrM, D-TMS, D-TFK]
    DG --> UU[UUID v4 and<br/>unique prefix]
    UU --> CC[(CANDIDATE CERTIFICATE<br/>on staging)]
    CC --> HD[/H-DECL lands the certificate:<br/>state CERTIFIED/]
    HD --> DL[(DECLARATIONS line)]
    DL --> IN[TPX initializes: TFK pages,<br/>register volume 1 OPEN, master record,<br/>control panel, lock, collaboration page,<br/>manifest, library page, badge]
    IN --> BC[(BUILD CHAIN line)]
  end
  subgraph S3 ["3. Work  (5.7-5.10, 3.1)"]
    IN --> LK[lock acquired by<br/>base-revision edit]
    LK --> WB[work blocks:<br/>commissioned, owned, landed]
    WB --> LD[landing through TPX: grant,<br/>block ID, conformance declaration]
    LD --> MF[(REGISTER records, MANIFEST,<br/>BADGE written last)]
    MF --> RL[release after push]
  end
  subgraph S4 ["4. Audit  (4.1-4.6)"]
    MF --> CAC[CAC at every run: SR1-SR9<br/>against the register and<br/>the master record]
    CAC --> ST[(WITHDRAWAL records:<br/>strikes)]
    CAC --> AB[audit block: equal distance,<br/>N_x reached, or mismatch]
    AB --> DI[/decision item<br/>to the human/]
  end
  subgraph S5 ["5. Succession  (3.4, 2.5.7, 5.11.6)"]
    DGF[digest-gate failure] --> HR[/human declares<br/>RESTORE or FORK/]
    CR[change request<br/>against the TFK] --> CF[COPY-FORWARD: new UUID, new prefix,<br/>records PROVISIONAL, REFUTED kept]
    HR -- FORK --> CF
    CF --> SC[(SUCCESSOR container:<br/>back-pointers)]
    RT[/H-DECL declares RETIRED/] --> RO[(pages read-only,<br/>index entry kept)]
  end
  MF -. every write .-> DGF
  DI -. DOMAIN restriction<br/>or successor .-> CR

  classDef task fill:#eaecf0,stroke:#a2a9b1,color:#202122
  classDef human fill:#eaf3ff,stroke:#36c,color:#202122
  classDef data fill:#fef6e7,stroke:#ac6600,color:#202122
  classDef bad fill:#fee7e6,stroke:#d33,color:#202122
  classDef good fill:#d5fdf4,stroke:#14866d,color:#202122
  style S1 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  style S2 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  style S3 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  style S4 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  style S5 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  class Z1,Z2,Z3,DG,UU,IN,LK,WB,LD,RL,CAC,AB,CR,CF task
  class A1,HD,DI,HR,RT human
  class D1,CC,DL,BC,MF,SC,RO data
  class ST,DGF bad

Text equivalent

Stage 1 Draft: a DRAFT CONTAINER enters its zones in order and each rejected component returns to the author (5.5.1, 5.5.2). Stage 2 Certify: TPX computes the four digests, obtains the UUID and prefix, writes the candidate certificate; H-DECL lands it as a DECLARATIONS line; TPX initializes the container and appends the BUILD CHAIN line (5.5.3, 5.5.4). Stage 3 Work: the lock, work blocks, landings, manifest and badge written last, release after push (5.7 to 5.10). Stage 4 Audit: the CAC at every run applies SR1 to SR9, writes strikes, and opens audit blocks that end in decision items (4.1 to 4.6). Stage 5 Succession: a digest-gate failure or a change request leads to RESTORE, FORK or COPY-FORWARD into a successor; retirement leaves pages read-only (2.5.7, 3.4, 5.11.6).