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

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