The Principia Machina/Diagrams/07 Strike-rule flow

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 7 of 12. Part of the TPM hub.

• KIND: process
• LANGUAGE: Mermaid
• GENERATED FROM: static, TPS 4.4
• STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build
• SOURCE SHA-256: deae5024e698dec8c17f35bcd9834d302d8856c4a8147950f5ac17b664a33c1f

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)

%% 07 Strike-rule flow. process/Mermaid flow. Static, TPS 4.4.
flowchart TD
  R[(record r with its fields)] --> S1[SR1: contradicts the TFK?]
  S1 -- yes --> X1[(struck without ranking)]
  S1 -- no --> S2[SR2: valid and uncontradicted?]
  S2 -- yes --> ST[(stands)]
  S2 -- contradiction --> S3[SR3: regime test]
  S3 --> S7[SR7: M against an L record?]
  S7 -- yes, a of r above 0 --> G[(named gap on ASSUMPTIONS)]
  S7 -- yes, a of r is 0 --> DM[/DOMAIN restriction or successor/]
  S7 -- no --> S4[SR4: distance d]
  S4 --> S5[SR5: the closer record stands]
  S5 -- equal d --> AB[audit block]
  S4 --> S6[SR6: independent contradictions]
  S6 -- count reaches N_x --> AB
  AB --> DI[/decision item to the human/]

  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 S1,S2,S3,S4,S5,S6,S7,AB task
  class DM,DI human
  class R,G data
  class ST good
  class X1 bad

Text equivalent

A record enters with FINDING, ASSUMPTIONS and REGIME. SR1 strikes it without ranking if its FINDING with the TFK derives a contradiction. SR2 lets it stand while its derivation is valid and nothing standing contradicts it. On a contradiction, SR3 applies the regime test; SR7 protects an L derivation from an M contradiction, recording a named gap when a(r) is above 0 or, when a(r) is 0, a DOMAIN finding declared by a human. Otherwise SR4 computes distance and SR5 keeps the closer record; equal distance opens an audit block, and SR6 opens one when independent contradictions reach N_x. The audit block ends in a decision item (4.4, 4.1.5).