The Principia Machina/Diagrams/10 Landing and post-refusal: Difference between revisions
Appearance
m 1 revision imported |
Diagram layer page 10 Landing and post-refusal, TPS 0.1.0 |
||
| Line 4: | Line 4: | ||
* GENERATED FROM: per-container control panel; TPS 5.9.5, 5.9.7 | * GENERATED FROM: per-container control panel; TPS 5.9.5, 5.9.7 | ||
* STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build | * STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build | ||
* SOURCE SHA-256: <code> | * SOURCE SHA-256: <code>d068d9705220c6a97baaa830d9876c436953d9c53b18f59fd68f0c3aabe58fa4</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 12: | Line 12: | ||
%% 10 Landing and post-refusal. process/Mermaid flow. Generated from: per-container control panel; TPS 5.9.5, 5.9.7. | %% 10 Landing and post-refusal. process/Mermaid flow. Generated from: per-container control panel; TPS 5.9.5, 5.9.7. | ||
flowchart TD | flowchart TD | ||
P[push with block ID, grant, conformance declaration] --> B[block ID valid and not EXPIRED? 4.2 row 10] | P[push with block ID, grant,<br/>conformance declaration] --> B[block ID valid and<br/>not EXPIRED?<br/>4.2 row 10] | ||
B -- yes --> L[(records land; manifest and badge rebuilt)] | B -- yes --> L[(records land;<br/>manifest and badge rebuilt)] | ||
B -- no --> R1[read the control panel; apply to the lead 5.9.7 step 1] | B -- no --> R1[read the control panel;<br/>apply to the lead<br/>5.9.7 step 1] | ||
R1 -- neither reassigned nor landed --> R2[new block ID with back-pointer; land under it] | R1 -- neither reassigned<br/>nor landed --> R2[new block ID with<br/>back-pointer; land under it] | ||
R1 -- reassigned --> R3[enter the queue; wait for that block to land or expire; re-enter] | R1 -- reassigned --> R3[enter the queue; wait for<br/>that block to land or expire;<br/>re-enter] | ||
R1 -- landed --> R4[compare with the landed result] | R1 -- landed --> R4[compare with the<br/>landed result] | ||
R4 -- match --> R5[(CORROBORATION RECORD 5.9.6)] | R4 -- match --> R5[(CORROBORATION RECORD<br/>5.9.6)] | ||
R4 -- mismatch --> R6[audit: new work block ending in a decision item] | R4 -- mismatch --> R6[audit: new work block<br/>ending in a decision item] | ||
R3 --> R1 | R3 --> R1 | ||
}} | |||
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 | |||
class P,B,R1,R2,R3,R4,R6 task | |||
class L,R5 good | |||
|config.theme=neutral}} | |||
== Text equivalent == | == Text equivalent == | ||
Revision as of 20:15, 17 September 2026
Structural diagram 10 of 12. Part of the TPM hub.
- KIND: process
- LANGUAGE: Mermaid flow
- GENERATED FROM: per-container control panel; TPS 5.9.5, 5.9.7
- STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build
- SOURCE SHA-256:
d068d9705220c6a97baaa830d9876c436953d9c53b18f59fd68f0c3aabe58fa4 - 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
A push carries the block ID, the grant and the conformance declaration; TPX checks the block ID is valid and not EXPIRED (4.2 row 10). On refusal the applicant reads the control panel and applies to the lead (5.9.7 step 1): neither reassigned nor landed, a new block ID lands it; reassigned, the applicant queues and re-enters; landed, a matching result lands as a corroboration record (5.9.6) and a mismatch opens an audit ending in a decision item.