Jump to content

The Principia Machina/Diagrams/10 Landing and post-refusal: Difference between revisions

From The Invariance Itself
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>55201e2ba3a02c5212cac8cf9ae9cb01264747bda6d23f8b70e53e5fd0807b8d</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.