The Principia Machina/Diagrams/C3 Lifecycle pipeline: Difference between revisions
Human-facing page: C3 Lifecycle pipeline |
m 1 revision imported |
(No difference)
| |
Revision as of 21:54, 17 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) |
Conceptual diagram 3 of 5. Part of the TPM hub.
- KIND: process
- LANGUAGE: Mermaid
- 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:
e765f79629e5c574d0bb06ef82bf33902fc7723f9b3167618e7992bed632b413
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.
%% 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 UWC 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 UWC:<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 UWC 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).