The Principia Machina/Diagrams/08 Regime and contradiction tests: Difference between revisions
m 1 revision imported: TPM bootstrap under PMP-TPM 0.2.0 |
m Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16 |
||
| Line 6: | Line 6: | ||
* 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). | * 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 diagram is rendered live from the source below, which is its text equivalent (4.1). If rendering is unavailable the source still stands. | ||
{{#mermaid: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 | |||
}} | |||
<pre> | <pre> | ||
| Line 27: | Line 46: | ||
T3 -- no --> OK | T3 -- no --> OK | ||
</pre> | </pre> | ||
Revision as of 13:01, 16 September 2026
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 diagram is rendered live from the source below, which is its text equivalent (4.1). If rendering is unavailable the source still stands.
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