Jump to content

The Principia Machina/Diagrams/11 Work-block lifecycle: Difference between revisions

From The Invariance Itself
m Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16
Diagram 11 Work-block lifecycle: source, text equivalent, TPS 0.1.0 addresses
Line 1: Line 1:
''Structural diagram 11 of 12. Part of [[The Principia Machina/Hub|the TPM hub]].''
''Structural diagram 11 of 12.'' Part of [[The Principia Machina/Hub|the TPM hub]].
 
* KIND: process
* KIND: process
* LANGUAGE: Mermaid state
* LANGUAGE: Mermaid state
* GENERATED FROM: per-container schedule log
* GENERATED FROM: per-container schedule log; TPS 5.9.2, 5.9.4
* STATUS: hand-authored at PMP-TPM 0.2.0 from foundations record 0.5.0 section 4.1; superseded by TPX at its first build (D21, structural diagram pages are TPX output).
* STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build
* SOURCE SHA-256: <code>5ff7a57986df1a79c2dee9dcffd8428567639333adbc6a23920301570c8c1eef</code>


The diagram is rendered live from the source below, which is its text equivalent (4.1). 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.


{{#mermaid:stateDiagram-v2
{{#mermaid:
   [*] --&gt; COMMISSIONED : lead commissions block; ETA 1-2 days
%% 11 Work-block lifecycle. process/Mermaid state. Generated from: per-container schedule log; TPS 5.9.2, 5.9.4.
   COMMISSIONED --&gt; OWNED_BY : assigned to wiki account; ASSIGNMENT row; leased range
stateDiagram-v2
  OWNED_BY --&gt; OWNED_BY : draft persists in local instance at each turn boundary
   [*] --> COMMISSIONED : lead writes the assignment (5.8.3)
   OWNED_BY --&gt; LANDED : return vetted under IV; landed by TPX; range reclaimed
   COMMISSIONED --> OWNED_BY : assignee starts; local draft carries the block ID (5.9.3)
   OWNED_BY --&gt; EXPIRED : server time passes ETA (definitional)
   OWNED_BY --> LANDED : landing accepted before ETA (5.9.5)
  COMMISSIONED --&gt; EXPIRED : server time passes ETA
   OWNED_BY --> EXPIRED : server time passes ETA (5.9.4)
   EXPIRED --&gt; COMMISSIONED : recommission; new BLOCK ID with back-pointer; partials tagged UNCOMPUTED
   EXPIRED --> COMMISSIONED : recommissioned with a new block ID and back-pointer (5.9.4)
   LANDED --&gt; CORROBORATED : refused late result matches landed result (D13 i)
   EXPIRED --> LANDED : post-refusal procedure lands under a new block ID (5.9.7)
   LANDED --&gt; [*]
   LANDED --> [*]
  CORROBORATED --&gt; [*]
}}
}}


<pre>
== Text equivalent ==
stateDiagram-v2
A block is COMMISSIONED when the lead writes its assignment (5.8.3), OWNED BY its assignee while the local draft carries its block ID (5.9.3), LANDED when its landing is accepted before ETA (5.9.5), and EXPIRED when server time passes ETA (5.9.4). An expired block is recommissioned with a new block ID and a back-pointer, or lands through the post-refusal procedure (5.9.7).
  [*] --&gt; COMMISSIONED : lead commissions block; ETA 1-2 days
 
  COMMISSIONED --&gt; OWNED_BY : assigned to wiki account; ASSIGNMENT row; leased range
[[Category:The Principia Machina]]
  OWNED_BY --&gt; OWNED_BY : draft persists in local instance at each turn boundary
 
  OWNED_BY --&gt; LANDED : return vetted under IV; landed by TPX; range reclaimed
  OWNED_BY --&gt; EXPIRED : server time passes ETA (definitional)
  COMMISSIONED --&gt; EXPIRED : server time passes ETA
  EXPIRED --&gt; COMMISSIONED : recommission; new BLOCK ID with back-pointer; partials tagged UNCOMPUTED
  LANDED --&gt; CORROBORATED : refused late result matches landed result (D13 i)
  LANDED --&gt; [*]
  CORROBORATED --&gt; [*]
</pre>

Revision as of 19:49, 17 September 2026

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

  • KIND: process
  • LANGUAGE: Mermaid state
  • GENERATED FROM: per-container schedule log; TPS 5.9.2, 5.9.4
  • STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build
  • SOURCE SHA-256: 5ff7a57986df1a79c2dee9dcffd8428567639333adbc6a23920301570c8c1eef

Rendered live from the source below, which is the text equivalent; if rendering is unavailable the source still stands.

Text equivalent

A block is COMMISSIONED when the lead writes its assignment (5.8.3), OWNED BY its assignee while the local draft carries its block ID (5.9.3), LANDED when its landing is accepted before ETA (5.9.5), and EXPIRED when server time passes ETA (5.9.4). An expired block is recommissioned with a new block ID and a back-pointer, or lands through the post-refusal procedure (5.9.7).