The Principia Machina/Diagrams/C4 Landing and collaboration pipeline

Conceptual diagram 4 of 5. Part of the TPM hub.

• KIND: process
• LANGUAGE: Mermaid flow
• GENERATED FROM: declared by the human 2026-09-17; TPS 5.7-5.10, 6.2, 6.4
• STATUS: hand-authored at TPS 0.1.0; conceptual, kept by the human; never generated
• SOURCE SHA-256: eee33b01d101392be5f61e7a594b8d900f0f2c31a3bee79116dec6d802f74441
• 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)

%% C4 Landing and collaboration pipeline with the post-refusal branch. TPS 0.1.0: 5.7, 5.8, 5.9, 5.10, 6.2, 6.4.
flowchart TD
  subgraph S1 ["1. Petition  (5.8.2, 5.8.5, 5.7.4)"]
    P1[(PETITION row: ACCOUNT,<br/>CAPABILITY, STATUS)] --> Q1[queue in revision order]
    Q1 --> Q2[head acquires within the<br/>ACQUISITION WINDOW,<br/>else the next waiter]
  end
  subgraph S2 ["2. Assign  (5.8.3, 5.9.2)"]
    Q2 --> A1[/lead writes the ASSIGNMENT:<br/>BLOCK ID, GRANT, LEASED RANGE,<br/>RETURN PAGE/]
    A1 --> A2[(SCHEDULE LOG: COMMISSIONED,<br/>OWNED BY, ETA)]
  end
  subgraph S3 ["3. Work locally  (5.4.3, 5.9.3, 6.4)"]
    A2 --> W1[local working instance:<br/>draft carrying the block ID]
    W1 --> W2[local manifest rebuilt<br/>on every write]
    W2 --> W3[benchmark quarantine: external<br/>values checked after termination]
  end
  subgraph S4 ["4. Return and vet  (5.8.4, 6.2)"]
    W3 --> R1[(RETURN on the staging subpage:<br/>RECORDS, USED RANGE, DIFFERENCE)]
    R1 --> V1[lead vets the return<br/>as untrusted input]
    V1 -- detection --> V2[/decision item<br/>to the human/]
    V1 -- clean --> V3[incorporate; allocate identifiers;<br/>reclaim the unused range]
  end
  subgraph S5 ["5. Land  (5.9.5, 5.9.8, 5.10.1)"]
    V3 --> L1[push with grant number, block ID,<br/>conformance declaration]
    L1 --> L2[TPX checks: grant not stale,<br/>holder is pusher, block ID not EXPIRED,<br/>declared TPS version current]
    L2 -- pass --> L3[(records land; manifest rebuilt;<br/>BADGE written last)]
    L3 --> L4[release valid only<br/>after the push]
    L2 -- fail --> PR
  end
  subgraph S6 ["Post-refusal  (5.9.7)"]
    PR[read the control panel; apply<br/>to the lead; the lead's answer<br/>is authoritative]
    PR -- neither reassigned<br/>nor landed --> PR1[new block ID with<br/>back-pointer; land under it]
    PR -- reassigned --> PR2[enter the queue; wait for<br/>that block to land or expire]
    PR -- landed --> PR3[compare with the<br/>landed result]
    PR3 -- match --> PR4[(CORROBORATION RECORD;<br/>block closes CORROBORATED)]
    PR3 -- mismatch --> PR5[audit: a new work block<br/>ending in a decision item]
    PR2 --> PR
  end

  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
  style S1 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  style S2 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  style S3 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  style S4 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  style S5 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  style S6 fill:#f8f9fa,stroke:#c8ccd1,color:#202122
  class Q1,Q2,W1,W2,W3,V1,V3,L1,L2,L4,PR,PR1,PR2,PR3,PR5 task
  class A1,V2 human
  class P1,A2,R1 data
  class L3,PR4 good

Text equivalent

Stage 1 Petition: a PETITION row with CAPABILITY enters the queue in revision order; the head acquires within the ACQUISITION WINDOW (5.8.2, 5.8.5). Stage 2 Assign: the lead writes the ASSIGNMENT and the schedule log entry (5.8.3, 5.9.2). Stage 3 Work locally on the local instance under benchmark quarantine (5.4.3, 5.9.3, 6.4). Stage 4 Return and vet: the RETURN on the staging subpage is untrusted input; a detection becomes a decision item, a clean return is incorporated (5.8.4, 6.2). Stage 5 Land: the push carries grant, block ID and conformance declaration; TPX checks them and writes the badge last; release is valid only after the push (5.9.5, 5.9.8, 5.10.1). A refused push enters the post-refusal branch (5.9.7).