The Principia Machina/Diagrams/07 Strike-rule flow - 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 4.4		* GENERATED FROM: static, TPS 4.4
	* STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (not drawn: a HELD record does not stand, 3.2.10; the trajectory interim, 4.4.13); checked against revision 7, ~~proposed,~~ on 2026-09-29: also owed a redraw (the trajectory interim is ended: SR3 and SR8 run over equal CONDITIONS, 4.4.13; not drawn: the status REFUTED and the WITHDRAWAL record with its cascade, 3.3.3, 3.3.14; the named gaps as NAMED_GAP records, 3.3.5); 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 (not drawn: a HELD record does not stand, 3.2.10; 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: SR3 and SR8 run over equal CONDITIONS, 4.4.13; not drawn: the status REFUTED and the WITHDRAWAL record with its cascade, 3.3.3, 3.3.14; the named gaps as NAMED_GAP records, 3.3.5); 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>deae5024e698dec8c17f35bcd9834d302d8856c4a8147950f5ac17b664a33c1f</code>		* SOURCE SHA-256: <code>deae5024e698dec8c17f35bcd9834d302d8856c4a8147950f5ac17b664a33c1f</code>

Line 75:		Line 75:

	== Text equivalent ==		== Text equivalent ==
	A record enters with its FINDING (a RESULT's STATEMENT with any declared form), ASSUMPTIONS, CITES and REGIME (3.2.19~~; revision 7, proposed~~). SR1 of the strike rule strikes it without ranking if its FINDING with the Full Kernel (TFK) derives a contradiction. SR2 lets it stand while its derivation is valid and nothing standing contradicts it; a HELD record, not drawn, does not stand while it is held (3.2.10). On a contradiction, SR3 applies the regime test, over records naming one QUANTITY with equal CONDITIONS, the initial and boundary values their assumptions carry and the point AT where each value holds; a pair whose values are not fully stated is listed for inspection (4.4.13~~; revision 7, proposed~~). A strike writes the status REFUTED into the struck record, and its WITHDRAWAL record sets its grade REFUTED and withdraws the records resting on it, not drawn (3.3.3, 3.3.14). SR7 protects an L derivation from an M contradiction, recording a NAMED_GAP record against its assumptions when a(r) is above 0 or, when a(r) is 0, against the kernel's DOMAIN, a restriction or successor then declared by a human; the locus of an SR5 strike is a NAMED_GAP record too (3.3.5~~; revision 7, proposed~~). Otherwise SR4 computes distance and SR5 keeps the closer record; equal distance opens an audit block, and SR6 opens one when independent contradictions reach the Measure Set's threshold N_x. The audit block ends in a decision item (4.4, 4.1.5).		A record enters with its FINDING (a RESULT's STATEMENT with any declared form), ASSUMPTIONS, CITES and REGIME (3.2.19). SR1 of the strike rule strikes it without ranking if its FINDING with the Full Kernel (TFK) derives a contradiction. SR2 lets it stand while its derivation is valid and nothing standing contradicts it; a HELD record, not drawn, does not stand while it is held (3.2.10). On a contradiction, SR3 applies the regime test, over records naming one QUANTITY with equal CONDITIONS, the initial and boundary values their assumptions carry and the point AT where each value holds; a pair whose values are not fully stated is listed for inspection (4.4.13). A strike writes the status REFUTED into the struck record, and its WITHDRAWAL record sets its grade REFUTED and withdraws the records resting on it, not drawn (3.3.3, 3.3.14). SR7 protects an L derivation from an M contradiction, recording a NAMED_GAP record against its assumptions when a(r) is above 0 or, when a(r) is 0, against the kernel's DOMAIN, a restriction or successor then declared by a human; the locus of an SR5 strike is a NAMED_GAP record too (3.3.5). Otherwise SR4 computes distance and SR5 keeps the closer record; equal distance opens an audit block, and SR6 opens one when independent contradictions reach the Measure Set's threshold N_x. The audit block ends in a decision item (4.4, 4.1.5).

	[[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 4.4		* GENERATED FROM: static, TPS 4.4
	* STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (not drawn: a HELD record does not stand, 3.2.10; 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 (not drawn: a HELD record does not stand, 3.2.10; the trajectory interim, 4.4.13); checked against revision 7, proposed, on 2026-09-29: also owed a redraw (the trajectory interim is ended: SR3 and SR8 run over equal CONDITIONS, 4.4.13; not drawn: the status REFUTED and the WITHDRAWAL record with its cascade, 3.3.3, 3.3.14; the named gaps as NAMED_GAP records, 3.3.5); superseded by TPX at its first build
	* SOURCE SHA-256: <code>deae5024e698dec8c17f35bcd9834d302d8856c4a8147950f5ac17b664a33c1f</code>		* SOURCE SHA-256: <code>deae5024e698dec8c17f35bcd9834d302d8856c4a8147950f5ac17b664a33c1f</code>

Line 75:		Line 75:

	== Text equivalent ==		== Text equivalent ==
	A record enters with FINDING, ASSUMPTIONS and REGIME. SR1 of the strike rule strikes it without ranking if its FINDING with the Full Kernel (TFK) derives a contradiction. SR2 lets it stand while its derivation is valid and nothing standing contradicts it; a HELD record, not drawn, does not stand while it is held (3.2.10). On a contradiction, SR3 applies the regime test; ~~until the record field schema lands,~~ a ~~measured record of a degree of freedom (DOF) that no FIX constraint targets~~ is ~~not tested by SR3 or SR8 but~~ listed for inspection (4.4.13). SR7 protects an L derivation from an M contradiction, recording a ~~named gap~~ when a(r) is above 0 or, when a(r) is 0, a ~~DOMAIN finding~~ declared by a human. Otherwise SR4 computes distance and SR5 keeps the closer record; equal distance opens an audit block, and SR6 opens one when independent contradictions reach the Measure Set's threshold N_x. The audit block ends in a decision item (4.4, 4.1.5).		A record enters with its FINDING (a RESULT's STATEMENT with any declared form), ASSUMPTIONS, CITES and REGIME (3.2.19; revision 7, proposed). SR1 of the strike rule strikes it without ranking if its FINDING with the Full Kernel (TFK) derives a contradiction. SR2 lets it stand while its derivation is valid and nothing standing contradicts it; a HELD record, not drawn, does not stand while it is held (3.2.10). On a contradiction, SR3 applies the regime test, over records naming one QUANTITY with equal CONDITIONS, the initial and boundary values their assumptions carry and the point AT where each value holds; a pair whose values are not fully stated is listed for inspection (4.4.13; revision 7, proposed). A strike writes the status REFUTED into the struck record, and its WITHDRAWAL record sets its grade REFUTED and withdraws the records resting on it, not drawn (3.3.3, 3.3.14). SR7 protects an L derivation from an M contradiction, recording a NAMED_GAP record against its assumptions when a(r) is above 0 or, when a(r) is 0, against the kernel's DOMAIN, a restriction or successor then declared by a human; the locus of an SR5 strike is a NAMED_GAP record too (3.3.5; revision 7, proposed). Otherwise SR4 computes distance and SR5 keeps the closer record; equal distance opens an audit block, and SR6 opens one when independent contradictions reach the Measure Set's threshold N_x. The audit block ends in a decision item (4.4, 4.1.5).

	[[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 4.4		* GENERATED FROM: static, TPS 4.4
	* 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 (not drawn: a HELD record does not stand, 3.2.10; the trajectory interim, 4.4.13); superseded by TPX at its first build
	* SOURCE SHA-256: <code>deae5024e698dec8c17f35bcd9834d302d8856c4a8147950f5ac17b664a33c1f</code>		* SOURCE SHA-256: <code>deae5024e698dec8c17f35bcd9834d302d8856c4a8147950f5ac17b664a33c1f</code>

Line 75:		Line 75:

	== Text equivalent ==		== Text equivalent ==
	A record enters with FINDING, ASSUMPTIONS and REGIME. SR1 strikes it without ranking if its FINDING with the TFK derives a contradiction. SR2 lets it stand while its derivation is valid and nothing standing contradicts it. On a contradiction, SR3 applies the regime test; SR7 protects an L derivation from an M contradiction, recording a named gap when a(r) is above 0 or, when a(r) is 0, a DOMAIN finding declared by a human. Otherwise SR4 computes distance and SR5 keeps the closer record; equal distance opens an audit block, and SR6 opens one when independent contradictions reach N_x. The audit block ends in a decision item (4.4, 4.1.5).		A record enters with FINDING, ASSUMPTIONS and REGIME. SR1 of the strike rule strikes it without ranking if its FINDING with the Full Kernel (TFK) derives a contradiction. SR2 lets it stand while its derivation is valid and nothing standing contradicts it; a HELD record, not drawn, does not stand while it is held (3.2.10). On a contradiction, SR3 applies the regime test; until the record field schema lands, a measured record of a degree of freedom (DOF) that no FIX constraint targets is not tested by SR3 or SR8 but listed for inspection (4.4.13). SR7 protects an L derivation from an M contradiction, recording a named gap when a(r) is above 0 or, when a(r) is 0, a DOMAIN finding declared by a human. Otherwise SR4 computes distance and SR5 keeps the closer record; equal distance opens an audit block, and SR6 opens one when independent contradictions reach the Measure Set's threshold N_x. The audit block ends in a decision item (4.4, 4.1.5).

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

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

2026-09-25T05:40:24Z

Structural diagram 7 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 07 Strike-rule flow}}		{{DISPLAYTITLE:Diagram 07 Strike-rule flow}}
	''Structural diagram 7 of 12.'' Part of [[The Principia Machina/Hub\|the TPM hub]].		''Structural diagram 7 of 13.'' Part of [[The Principia Machina/Hub\|the TPM hub]].
	* KIND: process		* KIND: process
	* LANGUAGE: Mermaid		* LANGUAGE: Mermaid
Line 78:		Line 78:

	[[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: 07 Strike-rule flow

2026-09-22T05:25:03Z

Human-facing page: 07 Strike-rule flow

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