The Principia Machina/Diagrams/C3 Container lifecycle pipeline: Difference between revisions
m 1 revision imported |
Diagram layer page C3 Container lifecycle pipeline, TPS 0.1.0 |
||
| Line 4: | Line 4: | ||
* GENERATED FROM: declared by the human 2026-09-17; TPS 5.5-5.10, 4.1-4.6, 3.4, 2.5 | * 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 | * STATUS: hand-authored at TPS 0.1.0; conceptual, kept by the human; never generated | ||
* SOURCE SHA-256: <code> | * 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 | * 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 below, which is the text equivalent; if rendering is unavailable the source still stands. | Rendered live from the source below, which is the text equivalent; if rendering is unavailable the source still stands. | ||
| Line 11: | Line 11: | ||
{{#mermaid: | {{#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. | %% 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 | flowchart TD | ||
subgraph S1 ["1. Draft (5.5.1-5.5.2, 2.2 | subgraph S1 ["1. Draft (5.5.1-5.5.2, 2.2-2.4)"] | ||
D1[(DRAFT CONTAINER page)] --> Z1[TPK zone: kernel tests T1-T6] | D1[(DRAFT CONTAINER page)] --> Z1[TPK zone:<br/>kernel tests T1-T6] | ||
Z1 --> Z2[TrM zone: TOTAL, SURJECTIVE, INJECTIVE, STRUCTURE-PRESERVING] | Z1 --> Z2[TrM zone: TOTAL, SURJECTIVE,<br/>INJECTIVE, STRUCTURE-PRESERVING] | ||
Z2 --> Z3[TMS zone: SR9 C1-C5, the last gate] | Z2 --> Z3[TMS zone: SR9 C1-C5,<br/>the last gate] | ||
Z1 -. rejected component .-> A1[/author repairs the draft/] | Z1 -. rejected component .-> A1[/author repairs<br/>the draft/] | ||
Z2 -. rejected | Z2 -. rejected .-> A1 | ||
Z3 -. rejected | Z3 -. rejected .-> A1 | ||
A1 --> D1 | A1 --> D1 | ||
end | end | ||
subgraph S2 ["2. Certify (5.5.3-5.5.4, 2.5, 5.6)"] | subgraph S2 ["2. Certify (5.5.3-5.5.4, 2.5, 5.6)"] | ||
Z3 --> DG[TPX computes D-TPK, D-TrM, D-TMS, D-TFK] | Z3 --> DG[TPX computes D-TPK,<br/>D-TrM, D-TMS, D-TFK] | ||
DG --> UU[UUID v4 and unique prefix] | DG --> UU[UUID v4 and<br/>unique prefix] | ||
UU --> CC[(CANDIDATE CERTIFICATE on staging)] | UU --> CC[(CANDIDATE CERTIFICATE<br/>on staging)] | ||
CC --> HD[/H-DECL lands the certificate: state CERTIFIED/] | CC --> HD[/H-DECL lands the certificate:<br/>state CERTIFIED/] | ||
HD --> DL[(DECLARATIONS line)] | HD --> DL[(DECLARATIONS line)] | ||
DL --> IN[TPX initializes: TFK pages, register volume 1 OPEN, master record, control panel, lock, collaboration page, manifest, library page, badge] | 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)] | IN --> BC[(BUILD CHAIN line)] | ||
end | end | ||
subgraph S3 ["3. Work (5.7-5.10, 3.1)"] | subgraph S3 ["3. Work (5.7-5.10, 3.1)"] | ||
IN --> LK[lock acquired by base-revision edit] | IN --> LK[lock acquired by<br/>base-revision edit] | ||
LK --> WB[work blocks: commissioned, owned, landed] | LK --> WB[work blocks:<br/>commissioned, owned, landed] | ||
WB --> LD[landing through TPX: grant, block ID, conformance declaration] | WB --> LD[landing through TPX: grant,<br/>block ID, conformance declaration] | ||
LD --> MF[(REGISTER records, MANIFEST, BADGE written last)] | LD --> MF[(REGISTER records, MANIFEST,<br/>BADGE written last)] | ||
MF --> RL[release after push] | MF --> RL[release after push] | ||
end | end | ||
subgraph S4 ["4. Audit (4.1-4.6)"] | subgraph S4 ["4. Audit (4.1-4.6)"] | ||
MF --> CAC[CAC at every run: SR1-SR9 against the register and the master record] | MF --> CAC[CAC at every run: SR1-SR9<br/>against the register and<br/>the master record] | ||
CAC --> ST[(WITHDRAWAL records: strikes)] | CAC --> ST[(WITHDRAWAL records:<br/>strikes)] | ||
CAC --> AB[audit block | CAC --> AB[audit block: equal distance,<br/>N_x reached, or mismatch] | ||
AB --> DI[/decision item to the human/] | AB --> DI[/decision item<br/>to the human/] | ||
end | end | ||
subgraph S5 ["5. Succession (3.4, 2.5.7, 5.11.6)"] | subgraph S5 ["5. Succession (3.4, 2.5.7, 5.11.6)"] | ||
DGF[digest-gate failure] --> HR[/human declares RESTORE or FORK/] | DGF[digest-gate failure] --> HR[/human declares<br/>RESTORE or FORK/] | ||
CR[change request against the TFK] --> CF[COPY-FORWARD: new UUID, new prefix, records PROVISIONAL, REFUTED kept] | CR[change request<br/>against the TFK] --> CF[COPY-FORWARD: new UUID, new prefix,<br/>records PROVISIONAL, REFUTED kept] | ||
HR -- FORK --> CF | HR -- FORK --> CF | ||
CF --> SC[(SUCCESSOR container: back-pointers)] | CF --> SC[(SUCCESSOR container:<br/>back-pointers)] | ||
RT[/H-DECL declares RETIRED/] --> RO[(pages read-only, index entry kept)] | RT[/H-DECL declares RETIRED/] --> RO[(pages read-only,<br/>index entry kept)] | ||
end | end | ||
MF -. every write .-> DGF | MF -. every write .-> DGF | ||
DI -. DOMAIN restriction or successor .-> CR | DI -. DOMAIN restriction<br/>or successor .-> CR | ||
<!-- A DOT-drawn preview of this pipeline exists as a derived image | 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}} | |||
<!-- 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 == | == Text equivalent == | ||
Revision as of 20:15, 17 September 2026
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 below, which is the text equivalent; if rendering is unavailable the source still stands.
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).