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, TPS SR3, SR7, SR8
• STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build
• SOURCE SHA-256: c026cf1db028e6f12253c42eeeda056e7c5b5576b867157e356f7052cd5471d7

Rendered live from the source below, which is the text equivalent; if rendering is unavailable the source still stands.

Text equivalent

Each record is assigned one regime at allocation (3.2.4): L, verifiable by re-derivation with no empirical input, or M, carrying a value with u_c per the GUM. L-L contradiction is derivation of a contradiction with the TFK. For M records, SR8 first applies the scale factor S when two or more standing M records of one quantity give a reduced chi-square above 1; the M-M test then compares the difference with k times the combined uncertainty. L-M applies the M-M test against the L record's derived value, and SR7 governs the outcome. A contradiction that does not survive S is not a contradiction (SR3, SR7, SR8).