The Principia Machina/Diagrams/08 Regime and contradiction tests - Revision history

BFP Rauch: 1 revision imported

2026-09-30T13:34:13Z

1 revision imported

← Older revision		Revision as of 13:34, 30 September 2026
(No difference)

DeltaS Zero: Post-TPC-PY page batch B3 (S154, S159): HF4 (help set; REDRAWS-14)

2026-09-30T13:34:05Z

Post-TPC-PY page batch B3 (S154, S159): HF4 (help set; REDRAWS-14)

← Older revision		Revision as of 13:34, 30 September 2026
Line 5:		Line 5:
	* LANGUAGE: Mermaid		* LANGUAGE: Mermaid
	* GENERATED FROM: static, TPS SR3, SR7, SR8		* GENERATED FROM: static, TPS SR3, SR7, SR8
	* STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (the node "normalize by DIMENSION and a transformation" predates normalization to coherent SI and the KIND audit block, 4.4.4; not drawn: the trajectory interim, 4.4.13); checked against revision 7, ~~proposed,~~ on 2026-09-29: also owed a redraw (the trajectory interim is ended: the tests run over equal CONDITIONS, 4.4.13; not drawn: a VERIFICATION tested only against its own TARGET, 3.3.6); superseded by TPX at its first build		* STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (the node "normalize by DIMENSION and a transformation" predates normalization to coherent SI and the KIND audit block, 4.4.4; not drawn: the trajectory interim, 4.4.13); checked against revision 7 on 2026-09-29, declared final as TPS 0.4.0 on 2026-09-30: also owed a redraw (the trajectory interim is ended: the tests run over equal CONDITIONS, 4.4.13; not drawn: a VERIFICATION tested only against its own TARGET, 3.3.6); checked against revision 8, proposed as TPS 0.5.0, on 2026-09-30: no change bears on it; superseded by TPX at its first build
	* SOURCE SHA-256: <code>92fe5e6fb50ec2ecab8fe8ddb74ceb0fc856f03013549a6dbbbde705d402524a</code>		* SOURCE SHA-256: <code>92fe5e6fb50ec2ecab8fe8ddb74ceb0fc856f03013549a6dbbbde705d402524a</code>

Line 69:		Line 69:

	== Text equivalent ==		== 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 its combined standard uncertainty u_c per the Guide to the Expression of Uncertainty in Measurement (GUM). L-L contradiction is derivation of a contradiction with the Full Kernel (TFK). Two M values are compared only when both name the same entry of the Translation Manifold (TrM); both are first normalized to coherent SI units under the unit grammar, a difference of dimension is refused, and a difference of KIND is not tested but opens an audit block (3.2.11, 4.4.4); the drawing's node for normalization predates this. SR8 then 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 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). The M-M and L-M tests, and SR8's scale groups, take only records with equal CONDITIONS: the SITUATION records, the initial and boundary values, in each record's assumptions, and the point AT where its value holds, computed by the calculator; the machine tests a pair whose DOF is fixed, or whose values are fully stated at a point, and lists every other pair of one QUANTITY for inspection (4.4.13~~; revision 7, proposed~~). A VERIFICATION record enters SR3 only against its own TARGET and no SR8 group (3.3.6).		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 its combined standard uncertainty u_c per the Guide to the Expression of Uncertainty in Measurement (GUM). L-L contradiction is derivation of a contradiction with the Full Kernel (TFK). Two M values are compared only when both name the same entry of the Translation Manifold (TrM); both are first normalized to coherent SI units under the unit grammar, a difference of dimension is refused, and a difference of KIND is not tested but opens an audit block (3.2.11, 4.4.4); the drawing's node for normalization predates this. SR8 then 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 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). The M-M and L-M tests, and SR8's scale groups, take only records with equal CONDITIONS: the SITUATION records, the initial and boundary values, in each record's assumptions, and the point AT where its value holds, computed by the calculator; the machine tests a pair whose DOF is fixed, or whose values are fully stated at a point, and lists every other pair of one QUANTITY for inspection (4.4.13). A VERIFICATION record enters SR3 only against its own TARGET and no SR8 group (3.3.6).

	[[Category:The Principia Machina]]		[[Category:The Principia Machina]]

BFP Rauch: 1 revision imported

2026-09-30T02:11:09Z

1 revision imported

← Older revision	Revision as of 02:11, 30 September 2026
(No difference)

DeltaS Zero: Post-TPC-PY page batch B2 (S90, S130): HF3 (help set, revision 7)

2026-09-30T02:10:58Z

Post-TPC-PY page batch B2 (S90, S130): HF3 (help set, revision 7)

← Older revision		Revision as of 02:10, 30 September 2026
Line 5:		Line 5:
	* LANGUAGE: Mermaid		* LANGUAGE: Mermaid
	* GENERATED FROM: static, TPS SR3, SR7, SR8		* GENERATED FROM: static, TPS SR3, SR7, SR8
	* STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (the node "normalize by DIMENSION and a transformation" predates normalization to coherent SI and the KIND audit block, 4.4.4; not drawn: the trajectory interim, 4.4.13); superseded by TPX at its first build		* STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (the node "normalize by DIMENSION and a transformation" predates normalization to coherent SI and the KIND audit block, 4.4.4; not drawn: the trajectory interim, 4.4.13); checked against revision 7, proposed, on 2026-09-29: also owed a redraw (the trajectory interim is ended: the tests run over equal CONDITIONS, 4.4.13; not drawn: a VERIFICATION tested only against its own TARGET, 3.3.6); superseded by TPX at its first build
	* SOURCE SHA-256: <code>92fe5e6fb50ec2ecab8fe8ddb74ceb0fc856f03013549a6dbbbde705d402524a</code>		* SOURCE SHA-256: <code>92fe5e6fb50ec2ecab8fe8ddb74ceb0fc856f03013549a6dbbbde705d402524a</code>

Line 69:		Line 69:

	== Text equivalent ==		== 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 its combined standard uncertainty u_c per the Guide to the Expression of Uncertainty in Measurement (GUM). L-L contradiction is derivation of a contradiction with the Full Kernel (TFK). Two M values are compared only when both name the same entry of the Translation Manifold (TrM); both are first normalized to coherent SI units under the unit grammar, a difference of dimension is refused, and a difference of KIND is not tested but opens an audit block (3.2.11, 4.4.4); the drawing's node for normalization predates this. SR8 then 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 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). ~~Until~~ the record ~~field schema (C-16) lands~~, ~~an M record of a degree of freedom that no FIX constraint targets is not tested~~ by machine~~; each such~~ pair is an inspection (4.4.13).		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 its combined standard uncertainty u_c per the Guide to the Expression of Uncertainty in Measurement (GUM). L-L contradiction is derivation of a contradiction with the Full Kernel (TFK). Two M values are compared only when both name the same entry of the Translation Manifold (TrM); both are first normalized to coherent SI units under the unit grammar, a difference of dimension is refused, and a difference of KIND is not tested but opens an audit block (3.2.11, 4.4.4); the drawing's node for normalization predates this. SR8 then 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 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). The M-M and L-M tests, and SR8's scale groups, take only records with equal CONDITIONS: the SITUATION records, the initial and boundary values, in each record's assumptions, and the point AT where its value holds, computed by the calculator; the machine tests a pair whose DOF is fixed, or whose values are fully stated at a point, and lists every other pair of one QUANTITY for inspection (4.4.13; revision 7, proposed). A VERIFICATION record enters SR3 only against its own TARGET and no SR8 group (3.3.6).

	[[Category:The Principia Machina]]		[[Category:The Principia Machina]]

DeltaS Zero: Post-TPC-PY page batch (S70): HF

2026-09-29T02:11:00Z

Post-TPC-PY page batch (S70): HF

← Older revision	Revision as of 02:11, 29 September 2026
(No difference)

BFP Rauch: 1 revision imported

2026-09-29T02:10:48Z

1 revision imported

← Older revision		Revision as of 02:10, 29 September 2026
Line 5:		Line 5:
	* LANGUAGE: Mermaid		* LANGUAGE: Mermaid
	* 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; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (the node "normalize by DIMENSION and a transformation" predates normalization to coherent SI and the KIND audit block, 4.4.4; not drawn: the trajectory interim, 4.4.13); superseded by TPX at its first build
	* SOURCE SHA-256: <code>92fe5e6fb50ec2ecab8fe8ddb74ceb0fc856f03013549a6dbbbde705d402524a</code>		* SOURCE SHA-256: <code>92fe5e6fb50ec2ecab8fe8ddb74ceb0fc856f03013549a6dbbbde705d402524a</code>

Line 69:		Line 69:

	== Text equivalent ==		== 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).		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 its combined standard uncertainty u_c per the Guide to the Expression of Uncertainty in Measurement (GUM). L-L contradiction is derivation of a contradiction with the Full Kernel (TFK). Two M values are compared only when both name the same entry of the Translation Manifold (TrM); both are first normalized to coherent SI units under the unit grammar, a difference of dimension is refused, and a difference of KIND is not tested but opens an audit block (3.2.11, 4.4.4); the drawing's node for normalization predates this. SR8 then 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 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). Until the record field schema (C-16) lands, an M record of a degree of freedom that no FIX constraint targets is not tested by machine; each such pair is an inspection (4.4.13).

	[[Category:The Principia Machina]]		[[Category:The Principia Machina]]

DeltaS Zero: Structural diagram 8 of 13 (the hub lists thirteen; diagram 13 added 2026-09-22)

2026-09-25T05:40:25Z

Structural diagram 8 of 13 (the hub lists thirteen; diagram 13 added 2026-09-22)

← Older revision		Revision as of 05:40, 25 September 2026
Line 1:		Line 1:
	{{TPM map}}		{{TPM map}}
	{{DISPLAYTITLE:Diagram 08 Regime and contradiction tests}}		{{DISPLAYTITLE:Diagram 08 Regime and contradiction tests}}
	''Structural diagram 8 of 12.'' Part of [[The Principia Machina/Hub\|the TPM hub]].		''Structural diagram 8 of 13.'' Part of [[The Principia Machina/Hub\|the TPM hub]].
	* KIND: process		* KIND: process
	* LANGUAGE: Mermaid		* LANGUAGE: Mermaid
Line 72:		Line 72:

	[[Category:The Principia Machina]]		[[Category:The Principia Machina]]

BFP Rauch: 1 revision imported

2026-09-22T06:09:44Z

1 revision imported

← Older revision		Revision as of 06:09, 22 September 2026
(No difference)

BFP Rauch: 1 revision imported

2026-09-22T05:33:58Z

1 revision imported

← Older revision		Revision as of 05:33, 22 September 2026
(No difference)

BFP Rauch: Human-facing page: 08 Regime and contradiction tests

2026-09-22T05:25:03Z

Human-facing page: 08 Regime and contradiction tests

← Older revision		Revision as of 05:25, 22 September 2026
(No difference)