|
|
| (11 intermediate revisions by the same user not shown) |
| Line 1: |
Line 1: |
| ''Conceptual diagram 3 of 5.'' Part of [[The Principia Machina/Hub|the TPM hub]].
| | #REDIRECT [[The Principia Machina/Diagrams/C3 Lifecycle pipeline]] |
| * 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: <code>268d90bf63b3d9c89cc7cb21a1eb3b89d9887d1781040385faeb3b1f5dd41074</code>
| |
| * KEY: [[The Principia Machina/Diagrams/Key for process diagrams|key for process diagrams]]: what each shape and arrow means; [[The Principia Machina/Diagrams/Terms|definition of terms]]; [[The Principia Machina/TPS 0.1.0/Contents|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.
| |
| | |
| <div style="overflow-x:auto; max-width:100%; border:1px solid #c8ccd1; background:#ffffff; padding:0.5em;">
| |
| {{#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
| |
| |config.theme=neutral}}
| |
| </div>
| |
| <div class="mw-collapsible mw-collapsed" style="border:1px solid #c8ccd1; padding:0.3em;">'''Source''' (the text equivalent; Mermaid)
| |
| <div class="mw-collapsible-content">
| |
| <pre>
| |
| %% 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
| |
| </pre>
| |
| </div></div>
| |
| <!-- A DOT-drawn preview of this pipeline exists as a derived image, tagged with this source's hash; it is not a second source. -->
| |
| | |
| == 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).
| |
| | |
| [[Category:The Principia Machina]]
| |
|
| |
|
