The Principia Machina/Diagrams/08 Regime and contradiction tests: Difference between revisions
m 1 revision imported |
Diagram layer page 08 Regime and contradiction tests, TPS 0.1.0 |
||
| Line 4: | Line 4: | ||
* GENERATED FROM: static, TPS SR3, SR7, SR8 | * GENERATED FROM: static, TPS SR3, SR7, SR8 | ||
* STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build | * STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build | ||
* SOURCE SHA-256: <code> | * SOURCE SHA-256: <code>81f2bef51d17b32597f10d20da32e289ae3b9cdaa2ec0bff0842e002f6b1ecda</code> | ||
* KEY: [[The Principia Machina/Diagrams/Key for process diagrams|key for process diagrams]]: what each shape and arrow means | * KEY: [[The Principia Machina/Diagrams/Key for process diagrams|key for process diagrams]]: what each shape and arrow means; [[The Principia Machina/Diagrams/Terms|definition of terms]]; [[The Principia Machina/TPS 0.1.0/Contents|contents of the specification]] | ||
Rendered live from the source below, which is the text equivalent; if rendering is unavailable the source still stands. | Rendered live from the source below, which is the text equivalent; if rendering is unavailable the source still stands. | ||
| Line 12: | Line 12: | ||
%% 08 Regime and contradiction tests. process/Mermaid decision. Generated from: static, TPS SR3, SR7, SR8. | %% 08 Regime and contradiction tests. process/Mermaid decision. Generated from: static, TPS SR3, SR7, SR8. | ||
flowchart TD | flowchart TD | ||
A[record at allocation 3.2.4] --> B[REGIME L: verifiable by re-derivation, no empirical input] | A[record at allocation<br/>3.2.4] --> B[REGIME L: verifiable by<br/>re-derivation, no empirical input] | ||
A --> C[REGIME M: value with combined standard uncertainty u_c per GUM] | A --> C[REGIME M: value with combined<br/>standard uncertainty u_c per GUM] | ||
B --> LL[L-L test: conjunction with the TFK derives a contradiction] | B --> LL[L-L test: conjunction with<br/>the TFK derives a contradiction] | ||
C --> S8[SR8: with | C --> S8[SR8: with two or more standing<br/>M records of one quantity and<br/>reduced chi-square above 1,<br/>apply the scale factor S first] | ||
S8 --> MM[M-M test: difference above k times the | S8 --> MM[M-M test: difference above<br/>k times the combined uncertainty] | ||
C --> LM[L-M test: the M value fails the M-M test against the L record's derived value] | C --> LM[L-M test: the M value fails the<br/>M-M test against the L record's<br/>derived value] | ||
LM --> S7[SR7: never strikes the L derivation; named gap, or DOMAIN finding when a of r is 0] | LM --> S7[SR7: never strikes the L<br/>derivation; named gap, or DOMAIN<br/>finding when a of r is 0] | ||
MM -- survives S --> CONTRA[contradiction] | MM -- survives S --> CONTRA[(contradiction)] | ||
MM -- does not survive S --> NONE[not a 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 task | |||
class CONTRA bad | |||
class NONE good | |||
|config.theme=neutral}} | |||
== Text equivalent == | == Text equivalent == | ||
Revision as of 20:15, 17 September 2026
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:
81f2bef51d17b32597f10d20da32e289ae3b9cdaa2ec0bff0842e002f6b1ecda - KEY: key for process diagrams: what each shape and arrow means; definition of terms; contents of the specification
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).