The Principia Machina/Diagrams/07 Strike-rule flow

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

• KIND: process
• LANGUAGE: Mermaid flow
• GENERATED FROM: static, D16
• 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).

The source below is the text equivalent of the diagram. Rendering requires a Mermaid extension; without one the source is shown as text, which 4.1 accepts.

flowchart TD
  R[Record r at CAC] --> SR1{SR1: FINDING with TFK derives a contradiction?}
  SR1 -- yes --> STRUCK1[Struck without ranking]
  SR1 -- no --> SR2{SR2: derivation from TFK plus ASSUMPTIONS valid?}
  SR2 -- no --> STRUCK1
  SR2 -- yes --> C{Standing record contradicts r?}
  C -- no --> STANDS[r stands]
  C -- yes --> REG[SR3: apply regime test L-L, M-M after SR8 scaling, or L-M]
  REG -- no contradiction survives --> STANDS
  REG -- contradiction --> SR7{SR7: M contradiction against L derivation?}
  SR7 -- yes, a r greater than 0 --> GAP[Named gap against r's ASSUMPTIONS; r stands]
  SR7 -- yes, a r equals 0 --> DOM[Finding against TFK DOMAIN; human declares restriction or successor]
  SR7 -- no --> SR4[SR4: d r = a r, s r lexicographic]
  SR4 --> SR5{SR5: compare d}
  SR5 -- r closer --> OTHER[Other record struck; locus recorded]
  SR5 -- r farther --> SR6{SR6: independent contradictions n_ind r >= N_x?}
  SR5 -- equal --> AUDIT[Audit block; decision item]
  SR6 -- no --> STRUCKR[r struck; its extra ASSUMPTIONS are the locus]
  SR6 -- yes --> AUDIT