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 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
  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