|
|
| (18 intermediate revisions by the same user not shown) |
| Line 1: |
Line 1: |
| ''Conceptual diagram 4 of 5.'' Part of [[The Principia Machina/Hub|the TPM hub]].
| | #REDIRECT [[The Principia Machina/Diagrams/C4 Landing pipeline]] |
| * KIND: process
| |
| * LANGUAGE: Mermaid flow
| |
| * GENERATED FROM: declared by the human 2026-09-17; TPS 5.7-5.10, 6.2, 6.4
| |
| * STATUS: hand-authored at TPS 0.1.0; conceptual, kept by the human; never generated
| |
| * SOURCE SHA-256: <code>4a557e7efba653b20c00a99162e251182b8c43477654f8027652602084914bb6</code>
| |
| | |
| Rendered live from the source below, which is the text equivalent; if rendering is unavailable the source still stands.
| |
| | |
| {{#mermaid:
| |
| %% C4 Landing and collaboration pipeline with the post-refusal branch.
| |
| %% TPS 0.1.0: 5.7, 5.8, 5.9, 5.10, 6.2, 6.4.
| |
| flowchart TD
| |
| subgraph S1 ["1. Petition (5.8.2, 5.8.5, 5.7.4)"]
| |
| P1[(PETITION row: ACCOUNT, CAPABILITY, STATUS)] --> Q1[queue in revision order]
| |
| Q1 --> Q2[head acquires within the ACQUISITION WINDOW, else the next waiter]
| |
| end
| |
| subgraph S2 ["2. Assign (5.8.3, 5.9.2)"]
| |
| Q2 --> A1[/lead writes the ASSIGNMENT: BLOCK ID, GRANT, LEASED RANGE, RETURN PAGE/]
| |
| A1 --> A2[(SCHEDULE LOG: COMMISSIONED, OWNED BY, ETA)]
| |
| end
| |
| subgraph S3 ["3. Work locally (5.4.3, 5.9.3, 6.4)"]
| |
| A2 --> W1[local working instance: draft carrying the block ID]
| |
| W1 --> W2[local manifest rebuilt on every write]
| |
| W2 --> W3[benchmark quarantine: external values checked after termination]
| |
| end
| |
| subgraph S4 ["4. Return and vet (5.8.4, 6.2)"]
| |
| W3 --> R1[(RETURN on the staging subpage: RECORDS, USED RANGE, DIFFERENCE)]
| |
| R1 --> V1[lead vets the return as untrusted input]
| |
| V1 -- detection --> V2[/decision item to the human/]
| |
| V1 -- clean --> V3[incorporate; allocate identifiers; reclaim the unused range]
| |
| end
| |
| subgraph S5 ["5. Land (5.9.5, 5.9.8, 5.10.1)"]
| |
| V3 --> L1[push with grant number, block ID, conformance declaration]
| |
| L1 --> L2[TPX checks: grant not stale, holder is pusher, block ID not EXPIRED, declared TPS version current]
| |
| L2 -- pass --> L3[(records land; manifest rebuilt; BADGE written last)]
| |
| L3 --> L4[release valid only after the push]
| |
| L2 -- fail --> PR
| |
| end
| |
| subgraph S6 ["Post-refusal (5.9.7)"]
| |
| PR[read the control panel; apply to the lead: the lead's answer is authoritative]
| |
| PR -- neither reassigned nor landed --> PR1[new block ID with back-pointer; land under it]
| |
| PR -- reassigned --> PR2[enter the queue; wait for that block to land or expire]
| |
| PR -- landed --> PR3[compare with the landed result]
| |
| PR3 -- match --> PR4[(CORROBORATION RECORD; block closes CORROBORATED)]
| |
| PR3 -- mismatch --> PR5[audit: a new work block ending in a decision item]
| |
| PR2 --> PR
| |
| end
| |
| }}
| |
| | |
| <!-- A DOT-drawn preview of this pipeline exists as a derived image (render/C4_landing_and_collaboration_pipeline.preview.png, tagged with this source's hash); it is not a second source. -->
| |
| | |
| == Text equivalent ==
| |
| Stage 1 Petition: a PETITION row with CAPABILITY enters the queue in revision order; the head acquires within the ACQUISITION WINDOW (5.8.2, 5.8.5). Stage 2 Assign: the lead writes the ASSIGNMENT and the schedule log entry (5.8.3, 5.9.2). Stage 3 Work locally on the local instance under benchmark quarantine (5.4.3, 5.9.3, 6.4). Stage 4 Return and vet: the RETURN on the staging subpage is untrusted input; a detection becomes a decision item, a clean return is incorporated (5.8.4, 6.2). Stage 5 Land: the push carries grant, block ID and conformance declaration; TPX checks them and writes the badge last; release is valid only after the push (5.9.5, 5.9.8, 5.10.1). A refused push enters the post-refusal branch (5.9.7).
| |
| | |
| [[Category:The Principia Machina]]
| |
|
| |
|
