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

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 13. 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; checked against TPS 0.3.0 on 2026-09-28: still true for what it draws, the block-ID check and the post-refusal procedure; checked against revision 7 on 2026-09-29, declared final as TPS 0.4.0 on 2026-09-30: still true for what it draws; checked against revision 8, proposed as TPS 0.5.0, on 2026-09-30: still true for what it draws; superseded by TPX at its first build
• SOURCE SHA-256: 4ba1cb62448ae88e28cad1150e36f3e222af76ef9e4ebd2af9c82309d304f65c

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. TPS 5.9.5, 5.9.7.
flowchart TD
  P[push: block ID, grant, declaration] --> B[block ID valid and not EXPIRED?]
  B -- yes --> RC[TPX recomputes every presented value]
  RC -- mismatch --> DIQ[/refused, logged, decision item/]
  RC -- match --> L[(records land, manifest and badge)]
  B -- no --> R1[read the panel, apply to the lead]
  R1 -- neither reassigned nor landed --> R2[new block ID with a back-pointer]
  R1 -- reassigned --> R3[queue, wait to land or expire]
  R1 -- landed --> R4[compare with the landed result]
  R4 -- match --> R5[(CORROBORATION RECORD with INDEPENDENCE)]
  R4 -- mismatch --> R6[audit ends 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,RC task
  class DIQ human
  class L,R5 good

Text equivalent

A push carries the block ID, the grant and the conformance declaration; TPX, the controller, 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, TPX compares the two by machine, an L pair by its EQUATION, else its VALUE with UNIT, else its STATEMENT's canonical text (5.9.7); a match lands as a corroboration record, GRADE PROVISIONAL, with its target's status word as TARGET_STATUS (5.9.6), and a mismatch is a NON-CORROBORATION, logged and pending, an audit opening under the container's AUDIT TRIGGER and ending in a decision item (4.1.6). The other refusals at push, such as a mismatched instruction set digest D(IS) or a push outside EOM-0 while that objective is OPEN, are not drawn (5.14 CR9, 3.3.16).