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

• KIND: process
• LANGUAGE: Mermaid
• GENERATED FROM: static, TPS 4.4
• STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (not drawn: a HELD record does not stand, 3.2.10; the trajectory interim, 4.4.13); checked against revision 7 on 2026-09-29, declared final as TPS 0.4.0 on 2026-09-30: also owed a redraw (the trajectory interim is ended: SR3 and SR8 run over equal CONDITIONS, 4.4.13; not drawn: the status REFUTED and the WITHDRAWAL record with its cascade, 3.3.3, 3.3.14; the named gaps as NAMED_GAP records, 3.3.5); checked against revision 8, proposed as TPS 0.5.0, on 2026-09-30: no change bears on it; 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 its FINDING (a RESULT's STATEMENT with any declared form), ASSUMPTIONS, CITES and REGIME (3.2.19). SR1 of the strike rule strikes it without ranking if its FINDING with the Full Kernel (TFK) derives a contradiction. SR2 lets it stand while its derivation is valid and nothing standing contradicts it; a HELD record, not drawn, does not stand while it is held (3.2.10). On a contradiction, SR3 applies the regime test, over records naming one QUANTITY with equal CONDITIONS, the initial and boundary values their assumptions carry and the point AT where each value holds; a pair whose values are not fully stated is listed for inspection (4.4.13). A strike writes the status REFUTED into the struck record, and its WITHDRAWAL record sets its grade REFUTED and withdraws the records resting on it, not drawn (3.3.3, 3.3.14). SR7 protects an L derivation from an M contradiction, recording a NAMED_GAP record against its assumptions when a(r) is above 0 or, when a(r) is 0, against the kernel's DOMAIN, a restriction or successor then declared by a human; the locus of an SR5 strike is a NAMED_GAP record too (3.3.5). Otherwise SR4 computes distance and SR5 keeps the closer record; equal distance opens an audit block, and SR6 opens one when independent contradictions reach the Measure Set's threshold N_x. The audit block ends in a decision item (4.4, 4.1.5).