Jump to content

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

From The Invariance Itself
m 1 revision imported
Human-facing page: 10 Landing and post-refusal
Line 1: Line 1:
{{TPM map}}
{{DISPLAYTITLE:Diagram 10 Landing and post-refusal}}
{{DISPLAYTITLE:Diagram 10 Landing and post-refusal}}
{{TPM map}}
''Structural diagram 10 of 12.'' Part of [[The Principia Machina/Hub|the TPM hub]].
''Structural diagram 10 of 12.'' Part of [[The Principia Machina/Hub|the TPM hub]].
* KIND: process
* KIND: process
* LANGUAGE: Mermaid flow
* LANGUAGE: Mermaid
* GENERATED FROM: per-container control panel; TPS 5.9.5, 5.9.7
* GENERATED FROM: per-UWC 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>d068d9705220c6a97baaa830d9876c436953d9c53b18f59fd68f0c3aabe58fa4</code>
* SOURCE SHA-256: <code>9b5b2e8fd9d178c5ee93f99c6428b64e4b9f3f626eb2f65be01259899577d4a3</code>
* 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, which is the text equivalent and is shown under the drawing; a wide drawing scrolls sideways inside its frame.
Rendered live from the source, which is the text equivalent and is shown under the drawing. The key to the shapes is in the panel.


<div style="overflow-x:auto; max-width:100%; border:1px solid #c8ccd1; background:#ffffff; padding:0.5em;">
<onlyinclude><div style="clear:both; overflow-x:auto; max-width:100%; border:1px solid #c8ccd1; background:#ffffff; padding:0.5em; margin:0.5em 0;">
{{#mermaid:
{{#mermaid:
%% 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,<br/>conformance declaration] --> B[block ID valid and<br/>not EXPIRED?<br/>4.2 row 10]
   P[push with block ID, grant,<br/>conformance declaration] --> B[block ID valid and<br/>not EXPIRED?<br/>TPS 4.2 row 10]
   B -- yes --> L[(records land;<br/>manifest and badge rebuilt)]
   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]
   B -- no --> R1[read the control panel;<br/>apply to the lead<br/>TPS 5.9.7 step 1]
   R1 -- neither reassigned<br/>nor landed --> R2[new block ID with<br/>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<br/>that block to land or expire;<br/>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<br/>landed result]
   R1 -- landed --> R4[compare with the<br/>landed result]
   R4 -- match --> R5[(CORROBORATION RECORD<br/>5.9.6)]
   R4 -- match --> R5[(CORROBORATION RECORD<br/>TPS 5.9.6)]
   R4 -- mismatch --> R6[audit: new work block<br/>ending in a decision item]
   R4 -- mismatch --> R6[audit: new work block<br/>ending in a decision item]
   R3 --> R1
   R3 --> R1
Line 33: Line 32:
   class L,R5 good
   class L,R5 good
|config.theme=neutral}}
|config.theme=neutral}}
</div>
</div></onlyinclude>
<div class="mw-collapsible mw-collapsed" style="border:1px solid #c8ccd1; padding:0.3em;">'''Source''' (the text equivalent; Mermaid)
<div class="mw-collapsible mw-collapsed" style="clear:both; border:1px solid #c8ccd1; padding:0.3em;">'''Source''' (the text equivalent; Mermaid)
<div class="mw-collapsible-content">
<div class="mw-collapsible-content">
<pre>
<pre>
%% 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,<br/>conformance declaration] --> B[block ID valid and<br/>not EXPIRED?<br/>4.2 row 10]
   P[push with block ID, grant,<br/>conformance declaration] --> B[block ID valid and<br/>not EXPIRED?<br/>TPS 4.2 row 10]
   B -- yes --> L[(records land;<br/>manifest and badge rebuilt)]
   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]
   B -- no --> R1[read the control panel;<br/>apply to the lead<br/>TPS 5.9.7 step 1]
   R1 -- neither reassigned<br/>nor landed --> R2[new block ID with<br/>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<br/>that block to land or expire;<br/>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<br/>landed result]
   R1 -- landed --> R4[compare with the<br/>landed result]
   R4 -- match --> R5[(CORROBORATION RECORD<br/>5.9.6)]
   R4 -- match --> R5[(CORROBORATION RECORD<br/>TPS 5.9.6)]
   R4 -- mismatch --> R6[audit: new work block<br/>ending in a decision item]
   R4 -- mismatch --> R6[audit: new work block<br/>ending in a decision item]
   R3 --> R1
   R3 --> R1

Revision as of 21:48, 17 September 2026

The Principia Machina: map
Reading the diagrams
Structure key
Process key
Definition of terms
Roles
Reading by audience
Start here: the walk through
The operator's guide
Tutorial: create a UUID Workspace Container (UWC)
Public Recorder inputs
Sponsors: your first agent
The specification
Contents: parts, tables, diagrams
TPS 0.5.0 (declared 2026-10-03, revision 8; machine-optimized text)
Decisions (the foundations record, one line each)


Structural diagram 10 of 12. Part of the TPM hub.

  • KIND: process
  • LANGUAGE: Mermaid
  • GENERATED FROM: per-UWC 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: 9b5b2e8fd9d178c5ee93f99c6428b64e4b9f3f626eb2f65be01259899577d4a3

Rendered live from the source, which is the text equivalent and is shown under the drawing. The key to the shapes is in the panel.

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/>TPS 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/>TPS 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/>TPS 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.