The Principia Machina/Diagrams/08 Regime and contradiction tests

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

• KIND: process
• LANGUAGE: Mermaid decision
• GENERATED FROM: static, SR3, SR7, SR8
• 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
  A[Record allocated] --> Q{Regime?}
  Q -- L: re-derivable from TFK plus ASSUMPTIONS, no empirical input --> L[L record]
  Q -- M: value with combined standard uncertainty u_c per GUM --> M[M record; Type B components enumerated]
  L --> LL{Against another L}
  LL --> T1[L-L: conjunction with TFK derives a contradiction?]
  M --> S8[SR8: if N >= 2 standing M records of one quantity and chi2 over N-1 > 1, scale each u by S]
  S8 --> MM{Against another M}
  MM --> T2[M-M: abs x1 - x2 > k sqrt u1^2 + u2^2 ?]
  M --> LM{Against an L}
  LM --> T3[L-M: M value fails M-M test against L's derived value?]
  T3 -- yes --> SR7[SR7: never strikes the L derivation; named gap if a r > 0, DOMAIN finding if a r = 0]
  T1 -- yes --> SR5[to SR4-SR6 ordering]
  T2 -- yes --> SR5
  T1 -- no --> OK[No contradiction]
  T2 -- no --> OK
  T3 -- no --> OK