The Principia Machina/Diagrams/10 Landing and post-refusal

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, which is the text equivalent and is shown under the drawing; a wide drawing scrolls sideways inside its frame.

Source (the text equivalent; Mermaid)

%% 10 Landing and post-refusal. process/Mermaid flow. Generated from: per-container control panel; TPS 5.9.5, 5.9.7.
flowchart TD
  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;<br/>manifest and badge rebuilt)]
  B -- no --> R1[read the control panel;<br/>apply to the lead<br/>5.9.7 step 1]
  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<br/>that block to land or expire;<br/>re-enter]
  R1 -- landed --> R4[compare with the<br/>landed result]
  R4 -- match --> R5[(CORROBORATION RECORD<br/>5.9.6)]
  R4 -- mismatch --> R6[audit: new work block<br/>ending in a decision item]
  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

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.