The Principia Machina/Diagrams/08 Regime and contradiction tests

The Principia Machina: map
Reading the diagrams Structure key Process key Definition of terms Roles
Reading by audience Start here: the walk through The operator's guide Tutorial: create a UUID Workspace Container (UWC) Public Recorder inputs Sponsors: your first agent
The specification Contents: parts, tables, diagrams TPS 0.5.0 (declared 2026-10-03, revision 8; machine-optimized text) Decisions (the foundations record, one line each)

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

• KIND: process
• LANGUAGE: Mermaid
• 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: 92fe5e6fb50ec2ecab8fe8ddb74ceb0fc856f03013549a6dbbbde705d402524a

Rendered live from the source, which is the text equivalent and is shown under the drawing. The key to the shapes is in the panel.

Source (the text equivalent; Mermaid)

%% 08 Regime and contradiction tests. process/Mermaid decision. TPS SR3, SR7, SR8.
flowchart TD
  A[record at allocation, TPS 3.2.4] --> B[REGIME L: re-derivable, no data]
  A --> C[REGIME M: a value with u_c]
  B --> LL[L-L test: contradiction with the TFK]
  C --> Q[same TrM entry named? TPS 4.4.4]
  Q -- no --> REF[(test refused)]
  Q -- yes --> NRM[normalize by DIMENSION and a transformation]
  NRM --> S8[SR8: scale by the scatter first]
  S8 --> MM[M-M test: difference vs k times u]
  C --> LM[L-M test: M value vs derived value]
  LM --> S7[SR7: never strikes an L derivation]
  MM -- survives S --> CONTRA[(contradiction)]
  MM -- does not survive S --> NONE[(not a contradiction)]

  classDef task fill:#eaecf0,stroke:#a2a9b1,color:#202122
  classDef human fill:#eaf3ff,stroke:#36c,color:#202122
  classDef data fill:#fef6e7,stroke:#ac6600,color:#202122
  classDef bad fill:#fee7e6,stroke:#d33,color:#202122
  classDef good fill:#d5fdf4,stroke:#14866d,color:#202122
  class A,B,C,LL,S8,MM,LM,S7,Q,NRM task
  class REF bad
  class CONTRA bad
  class NONE good

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