The Principia Machina/Diagrams/08 Regime and contradiction tests: Difference between revisions
m 1 revision imported |
Diagram page 08 Regime and contradiction tests, TPS 0.1.0 |
||
| Line 5: | Line 5: | ||
* 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>c026cf1db028e6f12253c42eeeda056e7c5b5576b867157e356f7052cd5471d7</code> | * SOURCE SHA-256: <code>c026cf1db028e6f12253c42eeeda056e7c5b5576b867157e356f7052cd5471d7</code> | ||
* KEY: [[The Principia Machina/Diagrams/Key for process diagrams|key for process diagrams]]: what each shape and arrow means | |||
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. | ||
Revision as of 19:59, 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:
c026cf1db028e6f12253c42eeeda056e7c5b5576b867157e356f7052cd5471d7 - KEY: key for process diagrams: what each shape and arrow means
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).