The Principia Machina/Diagrams/C3 Lifecycle pipeline: Difference between revisions
Human-facing page: C3 Lifecycle pipeline |
m 1 revision imported |
||
| (16 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
{{TPM map}} | {{TPM map}} | ||
{{DISPLAYTITLE:Diagram C3 Lifecycle pipeline}} | {{DISPLAYTITLE:Diagram C3 Lifecycle pipeline}} | ||
''Conceptual diagram 3 of | ''Conceptual diagram 3 of 7.'' Part of [[The Principia Machina/Hub|the TPM hub]]. | ||
* KIND: process | * KIND: process | ||
* LANGUAGE: Mermaid | * LANGUAGE: Mermaid | ||
* 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; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (not drawn: the interaction question before the zones, 5.22.4; the structure check and the STRUCTURE LINE at the final pass, 2.2.20; EOM-0, 3.3.16); 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 and the instantiation gaps, 3.3.1, 3.3.5; checked against revision 8, proposed as TPS 0.5.0, on 2026-09-30: no change bears on it; conceptual, kept by the human; never generated | ||
* SOURCE SHA-256: <code> | * SOURCE SHA-256: <code>a767e68cb6ea122a327c9eb20a47b14ea9b10be54d054610b33e01323aa80370</code> | ||
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. | 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. | ||
| Line 12: | Line 12: | ||
<onlyinclude><div style="clear:both; overflow-x:auto; max-width:100%; border:1px solid #c8ccd1; background:#ffffff; padding:0.5em; margin:0.5em 0;"> | <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: | {{#mermaid: | ||
%% C3 | %% C3 UWC lifecycle pipeline. TPS 5.5-5.10, 4.1-4.6, 3.4, 2.5. | ||
flowchart TD | flowchart TD | ||
subgraph S1 ["1. Draft | subgraph S1 ["1. Draft, TPS 5.5.1 to 5.5.2"] | ||
D1[(DRAFT UWC page)] --> Z1[TPK zone: | D1[(DRAFT UWC page)] --> Z1[TPK zone: kernel tests T1-T6] | ||
Z1 --> Z2[TrM zone: | Z1 --> Z2[TrM zone: the four checks] | ||
Z2 --> Z3[TMS zone: SR9 | Z2 --> Z3[TMS zone: SR9, the last gate] | ||
Z1 -. rejected | Z1 -. rejected .-> A1[/author repairs the draft/] | ||
Z2 -. rejected .-> A1 | Z2 -. rejected .-> A1 | ||
Z3 -. rejected .-> A1 | Z3 -. rejected .-> A1 | ||
A1 --> D1 | A1 --> D1 | ||
end | end | ||
subgraph S2 ["2. Certify | subgraph S2 ["2. Certify, TPS 5.5.3 to 5.5.4"] | ||
Z3 --> DG[TPX computes | Z3 --> DG[TPX computes the four digests] | ||
DG --> UU[UUID | DG --> UU[UUID and a unique prefix] | ||
UU --> CC[(CANDIDATE CERTIFICATE | UU --> CC[(CANDIDATE CERTIFICATE on staging)] | ||
CC --> HD[/H-DECL lands | CC --> HD[/H-DECL lands it, state CERTIFIED/] | ||
HD --> DL[(DECLARATIONS line)] | HD --> DL[(DECLARATIONS line)] | ||
DL --> IN[TPX initializes | DL --> IN[TPX initializes the UWC] | ||
IN --> BC[(BUILD CHAIN line)] | IN --> BC[(BUILD CHAIN line)] | ||
end | end | ||
subgraph S3 ["3. Work | subgraph S3 ["3. Work, TPS 5.7 to 5.10"] | ||
IN --> LK[lock acquired by | IN --> LK[lock acquired by base-revision edit] | ||
LK --> WB[work blocks | LK --> WB[work blocks commissioned and owned] | ||
WB --> LD[landing through TPX | WB --> LD[landing through TPX] | ||
LD --> MF[( | LD --> MF[(records, manifest, badge last)] | ||
MF --> RL[release after push] | MF --> RL[release after the push] | ||
end | end | ||
subgraph S4 ["4. Audit | subgraph S4 ["4. Audit, TPS 4.1 to 4.6"] | ||
MF --> CAC[CAC | MF --> CAC[CAC applies SR1 to SR9] | ||
CAC --> ST[(WITHDRAWAL records | CAC --> ST[(WITHDRAWAL records)] | ||
CAC --> AB[audit block | CAC --> AB[audit block opens] | ||
AB --> DI[/decision item | AB --> DI[/decision item to the human/] | ||
end | end | ||
subgraph S5 ["5. Succession | subgraph S5 ["5. Succession, TPS 3.4, 2.5.7, 5.11.6"] | ||
DGF[digest-gate failure] --> HR[/human declares | DGF[digest-gate failure] --> HR[/human declares RESTORE or FORK/] | ||
CR[change request | CR[change request against the TFK] --> CF[COPY-FORWARD to a successor] | ||
HR -- FORK --> CF | HR -- FORK --> CF | ||
CF --> SC[(SUCCESSOR UWC | CF --> SC[(SUCCESSOR UWC with back-pointers)] | ||
RT[/H-DECL declares RETIRED/] --> RO[(pages read-only, | RT[/H-DECL declares RETIRED/] --> RO[(pages read-only, still indexed)] | ||
end | end | ||
MF -. every write .-> DGF | MF -. every write .-> DGF | ||
DI -. DOMAIN | DI -. DOMAIN or successor .-> CR | ||
classDef task fill:#eaecf0,stroke:#a2a9b1,color:#202122 | classDef task fill:#eaecf0,stroke:#a2a9b1,color:#202122 | ||
| Line 74: | Line 74: | ||
<div class="mw-collapsible-content"> | <div class="mw-collapsible-content"> | ||
<pre> | <pre> | ||
%% C3 | %% C3 UWC lifecycle pipeline. TPS 5.5-5.10, 4.1-4.6, 3.4, 2.5. | ||
flowchart TD | flowchart TD | ||
subgraph S1 ["1. Draft | subgraph S1 ["1. Draft, TPS 5.5.1 to 5.5.2"] | ||
D1[(DRAFT UWC page)] --> Z1[TPK zone: | D1[(DRAFT UWC page)] --> Z1[TPK zone: kernel tests T1-T6] | ||
Z1 --> Z2[TrM zone: | Z1 --> Z2[TrM zone: the four checks] | ||
Z2 --> Z3[TMS zone: SR9 | Z2 --> Z3[TMS zone: SR9, the last gate] | ||
Z1 -. rejected | Z1 -. rejected .-> A1[/author repairs the draft/] | ||
Z2 -. rejected .-> A1 | Z2 -. rejected .-> A1 | ||
Z3 -. rejected .-> A1 | Z3 -. rejected .-> A1 | ||
A1 --> D1 | A1 --> D1 | ||
end | end | ||
subgraph S2 ["2. Certify | subgraph S2 ["2. Certify, TPS 5.5.3 to 5.5.4"] | ||
Z3 --> DG[TPX computes | Z3 --> DG[TPX computes the four digests] | ||
DG --> UU[UUID | DG --> UU[UUID and a unique prefix] | ||
UU --> CC[(CANDIDATE CERTIFICATE | UU --> CC[(CANDIDATE CERTIFICATE on staging)] | ||
CC --> HD[/H-DECL lands | CC --> HD[/H-DECL lands it, state CERTIFIED/] | ||
HD --> DL[(DECLARATIONS line)] | HD --> DL[(DECLARATIONS line)] | ||
DL --> IN[TPX initializes | DL --> IN[TPX initializes the UWC] | ||
IN --> BC[(BUILD CHAIN line)] | IN --> BC[(BUILD CHAIN line)] | ||
end | end | ||
subgraph S3 ["3. Work | subgraph S3 ["3. Work, TPS 5.7 to 5.10"] | ||
IN --> LK[lock acquired by | IN --> LK[lock acquired by base-revision edit] | ||
LK --> WB[work blocks | LK --> WB[work blocks commissioned and owned] | ||
WB --> LD[landing through TPX | WB --> LD[landing through TPX] | ||
LD --> MF[( | LD --> MF[(records, manifest, badge last)] | ||
MF --> RL[release after push] | MF --> RL[release after the push] | ||
end | end | ||
subgraph S4 ["4. Audit | subgraph S4 ["4. Audit, TPS 4.1 to 4.6"] | ||
MF --> CAC[CAC | MF --> CAC[CAC applies SR1 to SR9] | ||
CAC --> ST[(WITHDRAWAL records | CAC --> ST[(WITHDRAWAL records)] | ||
CAC --> AB[audit block | CAC --> AB[audit block opens] | ||
AB --> DI[/decision item | AB --> DI[/decision item to the human/] | ||
end | end | ||
subgraph S5 ["5. Succession | subgraph S5 ["5. Succession, TPS 3.4, 2.5.7, 5.11.6"] | ||
DGF[digest-gate failure] --> HR[/human declares | DGF[digest-gate failure] --> HR[/human declares RESTORE or FORK/] | ||
CR[change request | CR[change request against the TFK] --> CF[COPY-FORWARD to a successor] | ||
HR -- FORK --> CF | HR -- FORK --> CF | ||
CF --> SC[(SUCCESSOR UWC | CF --> SC[(SUCCESSOR UWC with back-pointers)] | ||
RT[/H-DECL declares RETIRED/] --> RO[(pages read-only, | RT[/H-DECL declares RETIRED/] --> RO[(pages read-only, still indexed)] | ||
end | end | ||
MF -. every write .-> DGF | MF -. every write .-> DGF | ||
DI -. DOMAIN | DI -. DOMAIN or successor .-> CR | ||
classDef task fill:#eaecf0,stroke:#a2a9b1,color:#202122 | classDef task fill:#eaecf0,stroke:#a2a9b1,color:#202122 | ||
| Line 135: | Line 135: | ||
== Text equivalent == | == 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; [[The Principia Machina/Roles|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). | Stage 1 Draft: a DRAFT UWC, the draft of a UUID Workspace Container, answers the one required question on which interactions act, not drawn (5.22.4), then enters its zones in order, and each rejected component returns to the author (5.5.1, 5.5.2). Stage 2 Certify: TPX, the controller, runs the final pass, with, not drawn, the structure check of the equations of motion under STRUCTURE_CHECK ON (2.2.20); computes the four digests and the label, obtains the UUID (universally unique identifier) and prefix, and writes the candidate certificate with the label on its STRUCTURE LINE; [[The Principia Machina/Roles|H-DECL]] lands it as a DECLARATIONS line, with the container's access policy OPEN or CLOSED; TPX initializes the container, writing its MASTER record and a NAMED_GAP record for each gap the checks named (3.3.1, 3.3.5) and opening the objective EOM-0 where an equation of motion is missing (3.3.16), 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 congruence and completeness audit (CAC) at every run applies SR1 to SR9 of the strike rule, 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]] | [[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) |
Conceptual diagram 3 of 7. 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; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (not drawn: the interaction question before the zones, 5.22.4; the structure check and the STRUCTURE LINE at the final pass, 2.2.20; EOM-0, 3.3.16); 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 and the instantiation gaps, 3.3.1, 3.3.5; checked against revision 8, proposed as TPS 0.5.0, on 2026-09-30: no change bears on it; conceptual, kept by the human; never generated
- SOURCE SHA-256:
a767e68cb6ea122a327c9eb20a47b14ea9b10be54d054610b33e01323aa80370
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 UWC lifecycle pipeline. TPS 5.5-5.10, 4.1-4.6, 3.4, 2.5.
flowchart TD
subgraph S1 ["1. Draft, TPS 5.5.1 to 5.5.2"]
D1[(DRAFT UWC page)] --> Z1[TPK zone: kernel tests T1-T6]
Z1 --> Z2[TrM zone: the four checks]
Z2 --> Z3[TMS zone: SR9, the last gate]
Z1 -. rejected .-> A1[/author repairs the draft/]
Z2 -. rejected .-> A1
Z3 -. rejected .-> A1
A1 --> D1
end
subgraph S2 ["2. Certify, TPS 5.5.3 to 5.5.4"]
Z3 --> DG[TPX computes the four digests]
DG --> UU[UUID and a unique prefix]
UU --> CC[(CANDIDATE CERTIFICATE on staging)]
CC --> HD[/H-DECL lands it, state CERTIFIED/]
HD --> DL[(DECLARATIONS line)]
DL --> IN[TPX initializes the UWC]
IN --> BC[(BUILD CHAIN line)]
end
subgraph S3 ["3. Work, TPS 5.7 to 5.10"]
IN --> LK[lock acquired by base-revision edit]
LK --> WB[work blocks commissioned and owned]
WB --> LD[landing through TPX]
LD --> MF[(records, manifest, badge last)]
MF --> RL[release after the push]
end
subgraph S4 ["4. Audit, TPS 4.1 to 4.6"]
MF --> CAC[CAC applies SR1 to SR9]
CAC --> ST[(WITHDRAWAL records)]
CAC --> AB[audit block opens]
AB --> DI[/decision item to the human/]
end
subgraph S5 ["5. Succession, TPS 3.4, 2.5.7, 5.11.6"]
DGF[digest-gate failure] --> HR[/human declares RESTORE or FORK/]
CR[change request against the TFK] --> CF[COPY-FORWARD to a successor]
HR -- FORK --> CF
CF --> SC[(SUCCESSOR UWC with back-pointers)]
RT[/H-DECL declares RETIRED/] --> RO[(pages read-only, still indexed)]
end
MF -. every write .-> DGF
DI -. DOMAIN 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, the draft of a UUID Workspace Container, answers the one required question on which interactions act, not drawn (5.22.4), then enters its zones in order, and each rejected component returns to the author (5.5.1, 5.5.2). Stage 2 Certify: TPX, the controller, runs the final pass, with, not drawn, the structure check of the equations of motion under STRUCTURE_CHECK ON (2.2.20); computes the four digests and the label, obtains the UUID (universally unique identifier) and prefix, and writes the candidate certificate with the label on its STRUCTURE LINE; H-DECL lands it as a DECLARATIONS line, with the container's access policy OPEN or CLOSED; TPX initializes the container, writing its MASTER record and a NAMED_GAP record for each gap the checks named (3.3.1, 3.3.5) and opening the objective EOM-0 where an equation of motion is missing (3.3.16), 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 congruence and completeness audit (CAC) at every run applies SR1 to SR9 of the strike rule, 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).