The Principia Machina/Diagrams/C4 Landing and collaboration pipeline: Difference between revisions
m 1 revision imported |
Diagram layer page C4 Landing and collaboration pipeline, TPS 0.1.0 |
||
| Line 4: | Line 4: | ||
* GENERATED FROM: declared by the human 2026-09-17; TPS 5.7-5.10, 6.2, 6.4 | * 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 | * STATUS: hand-authored at TPS 0.1.0; conceptual, kept by the human; never generated | ||
* SOURCE SHA-256: <code> | * SOURCE SHA-256: <code>eee33b01d101392be5f61e7a594b8d900f0f2c31a3bee79116dec6d802f74441</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. | ||
{{#mermaid: | {{#mermaid: | ||
%% C4 Landing and collaboration pipeline with the post-refusal branch. | %% 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 | flowchart TD | ||
subgraph S1 ["1. Petition (5.8.2, 5.8.5, 5.7.4)"] | subgraph S1 ["1. Petition (5.8.2, 5.8.5, 5.7.4)"] | ||
P1[(PETITION row: ACCOUNT, CAPABILITY, STATUS)] --> Q1[queue in revision order] | P1[(PETITION row: ACCOUNT,<br/>CAPABILITY, STATUS)] --> Q1[queue in revision order] | ||
Q1 --> Q2[head acquires within the ACQUISITION WINDOW, else the next waiter] | Q1 --> Q2[head acquires within the<br/>ACQUISITION WINDOW,<br/>else the next waiter] | ||
end | end | ||
subgraph S2 ["2. Assign (5.8.3, 5.9.2)"] | subgraph S2 ["2. Assign (5.8.3, 5.9.2)"] | ||
Q2 --> A1[/lead writes the ASSIGNMENT: BLOCK ID, GRANT, LEASED RANGE, RETURN PAGE/] | Q2 --> A1[/lead writes the ASSIGNMENT:<br/>BLOCK ID, GRANT, LEASED RANGE,<br/>RETURN PAGE/] | ||
A1 --> A2[(SCHEDULE LOG: COMMISSIONED, OWNED BY, ETA)] | A1 --> A2[(SCHEDULE LOG: COMMISSIONED,<br/>OWNED BY, ETA)] | ||
end | end | ||
subgraph S3 ["3. Work locally (5.4.3, 5.9.3, 6.4)"] | subgraph S3 ["3. Work locally (5.4.3, 5.9.3, 6.4)"] | ||
A2 --> W1[local working instance: draft carrying the block ID] | A2 --> W1[local working instance:<br/>draft carrying the block ID] | ||
W1 --> W2[local manifest rebuilt on every write] | W1 --> W2[local manifest rebuilt<br/>on every write] | ||
W2 --> W3[benchmark quarantine: external values checked after termination] | W2 --> W3[benchmark quarantine: external<br/>values checked after termination] | ||
end | end | ||
subgraph S4 ["4. Return and vet (5.8.4, 6.2)"] | subgraph S4 ["4. Return and vet (5.8.4, 6.2)"] | ||
W3 --> R1[(RETURN on the staging subpage: RECORDS, USED RANGE, DIFFERENCE)] | W3 --> R1[(RETURN on the staging subpage:<br/>RECORDS, USED RANGE, DIFFERENCE)] | ||
R1 --> V1[lead vets the return as untrusted input] | R1 --> V1[lead vets the return<br/>as untrusted input] | ||
V1 -- detection --> V2[/decision item to the human/] | V1 -- detection --> V2[/decision item<br/>to the human/] | ||
V1 -- clean --> V3[incorporate; allocate identifiers; reclaim the unused range] | V1 -- clean --> V3[incorporate; allocate identifiers;<br/>reclaim the unused range] | ||
end | end | ||
subgraph S5 ["5. Land (5.9.5, 5.9.8, 5.10.1)"] | subgraph S5 ["5. Land (5.9.5, 5.9.8, 5.10.1)"] | ||
V3 --> L1[push with grant number, block ID, conformance declaration] | V3 --> L1[push with grant number, block ID,<br/>conformance declaration] | ||
L1 --> L2[TPX checks: grant not stale, holder is pusher, block ID not EXPIRED, declared TPS version current] | L1 --> L2[TPX checks: grant not stale,<br/>holder is pusher, block ID not EXPIRED,<br/>declared TPS version current] | ||
L2 -- pass --> L3[(records land; manifest rebuilt; BADGE written last)] | L2 -- pass --> L3[(records land; manifest rebuilt;<br/>BADGE written last)] | ||
L3 --> L4[release valid only after the push] | L3 --> L4[release valid only<br/>after the push] | ||
L2 -- fail --> PR | L2 -- fail --> PR | ||
end | end | ||
subgraph S6 ["Post-refusal (5.9.7)"] | subgraph S6 ["Post-refusal (5.9.7)"] | ||
PR[read the control panel; apply to the lead | PR[read the control panel; apply<br/>to the lead; the lead's answer<br/>is authoritative] | ||
PR -- neither reassigned nor landed --> PR1[new block ID with back-pointer; land under it] | PR -- neither reassigned<br/>nor landed --> PR1[new block ID with<br/>back-pointer; land under it] | ||
PR -- reassigned --> PR2[enter the queue; wait for that block to land or expire] | PR -- reassigned --> PR2[enter the queue; wait for<br/>that block to land or expire] | ||
PR -- landed --> PR3[compare with the landed result] | PR -- landed --> PR3[compare with the<br/>landed result] | ||
PR3 -- match --> PR4[(CORROBORATION RECORD; block closes CORROBORATED)] | PR3 -- match --> PR4[(CORROBORATION RECORD;<br/>block closes CORROBORATED)] | ||
PR3 -- mismatch --> PR5[audit: a new work block ending in a decision item] | PR3 -- mismatch --> PR5[audit: a new work block<br/>ending in a decision item] | ||
PR2 --> PR | PR2 --> PR | ||
end | end | ||
<!-- 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 | |||
style S6 fill:#f8f9fa,stroke:#c8ccd1,color:#202122 | |||
class Q1,Q2,W1,W2,W3,V1,V3,L1,L2,L4,PR,PR1,PR2,PR3,PR5 task | |||
class A1,V2 human | |||
class P1,A2,R1 data | |||
class L3,PR4 good | |||
|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 4 of 5. Part of the TPM hub.
- 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:
eee33b01d101392be5f61e7a594b8d900f0f2c31a3bee79116dec6d802f74441 - 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 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).