The Principia Machina/TPS/4.4 The strike rule - Revision history

BFP Rauch: 1 revision imported

2026-10-07T13:23:24Z

1 revision imported

← Older revision	Revision as of 13:23, 7 October 2026
(No difference)

BFP Rauch: Status line: TPS 0.5.0 declared final 2026-10-03 (it said proposed); the lead only, outside the preformatted block; D(TPS) unchanged (tpm_status 0.1.3)

2026-10-07T13:22:32Z

Status line: TPS 0.5.0 declared final 2026-10-03 (it said proposed); the lead only, outside the preformatted block; D(TPS) unchanged (tpm_status 0.1.3)

← Older revision		Revision as of 13:22, 7 October 2026
Line 1:		Line 1:
	{{DISPLAYTITLE:4.4 The strike rule (TPS 0.5.0)}}		{{DISPLAYTITLE:4.4 The strike rule (TPS 0.5.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 4.4 The strike rule. Part of [[The Principia Machina/TPS\|TPS]] and [[The Principia Machina/Hub\|the TPM hub]]. Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). TPS 0.1.1, which changed only the status lines, was declared final on 2026-09-26, TPS 0.3.0, revision 6, on 2026-09-28, and TPS 0.4.0, revision 7, on 2026-09-30. This page is revision 8 of the tree, ~~proposed~~ as ~~version~~ 0.5.0 ~~until~~ H-DECL ~~declares it~~; revision 7 is carried whole, and revision 5, proposed as 0.2.0, stays undeclared.'' The text below is this section of the TPS artifact at 0.5.0 ~~(proposed)~~, verbatim; the whole artifact and its file digest are on [[The Principia Machina/TPS]]. Human readers: [[The Principia Machina/TPS/Contents\|the contents page]] is the map.		''Instruction artifact, machine-optimized text: TPS, section 4.4 The strike rule. Part of [[The Principia Machina/TPS\|TPS]] and [[The Principia Machina/Hub\|the TPM hub]]. Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). TPS 0.1.1, which changed only the status lines, was declared final on 2026-09-26, TPS 0.3.0, revision 6, on 2026-09-28, and TPS 0.4.0, revision 7, on 2026-09-30. This page is revision 8 of the tree, declared final as TPS 0.5.0 by H-DECL on 2026-10-03 (naming TPS_0.5.0.txt by its file digest and its D(TPS)); revision 7 is carried whole, and revision 5, proposed as 0.2.0, stays undeclared.'' The text below is this section of the TPS artifact at 0.5.0, verbatim; the whole artifact and its file digest are on [[The Principia Machina/TPS]]. Human readers: [[The Principia Machina/TPS/Contents\|the contents page]] is the map.

	<pre>		<pre>

BFP Rauch: 1 revision imported

2026-09-30T13:34:07Z

1 revision imported

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

BFP Rauch: Post-TPC-PY page batch B3 (S154, S159): TPS revision 8 (proposed TPS 0.5.0)

2026-09-30T13:34:05Z

Post-TPC-PY page batch B3 (S154, S159): TPS revision 8 (proposed TPS 0.5.0)

← Older revision		Revision as of 13:34, 30 September 2026
Line 1:		Line 1:
	{{DISPLAYTITLE:4.4 The strike rule (TPS 0.4.0)}}		{{DISPLAYTITLE:4.4 The strike rule (TPS 0.5.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 4.4 The strike rule. Part of [[The Principia Machina/TPS\|TPS]] and [[The Principia Machina/Hub\|the TPM hub]]. Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). TPS 0.1.1, which changed only the status lines, was declared final on 2026-09-26, ~~and~~ TPS 0.3.0, revision 6, on 2026-09-28. This page is revision 7 of the tree, proposed as version 0.4.0 until H-DECL declares it; revision 6 is carried whole, and revision 5, proposed as 0.2.0, stays undeclared.'' The text below is this section of the TPS artifact at 0.4.0 (proposed), verbatim; the whole artifact and its file digest are on [[The Principia Machina/TPS]]. Human readers: [[The Principia Machina/TPS/Contents\|the contents page]] is the map.		''Instruction artifact, machine-optimized text: TPS, section 4.4 The strike rule. Part of [[The Principia Machina/TPS\|TPS]] and [[The Principia Machina/Hub\|the TPM hub]]. Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). TPS 0.1.1, which changed only the status lines, was declared final on 2026-09-26, TPS 0.3.0, revision 6, on 2026-09-28, and TPS 0.4.0, revision 7, on 2026-09-30. This page is revision 8 of the tree, proposed as version 0.5.0 until H-DECL declares it; revision 7 is carried whole, and revision 5, proposed as 0.2.0, stays undeclared.'' The text below is this section of the TPS artifact at 0.5.0 (proposed), verbatim; the whole artifact and its file digest are on [[The Principia Machina/TPS]]. Human readers: [[The Principia Machina/TPS/Contents\|the contents page]] is the map.

	<pre>		<pre>
Line 6:		Line 6:
	purpose: SR1-SR9 in full; the amendments of D40.1, D41.2, D103.1,		purpose: SR1-SR9 in full; the amendments of D40.1, D41.2, D103.1,
	D105.1, D111.1, D171.1 and D180.3		D105.1, D111.1, D171.1 and D180.3
	governs: 4.4 \| version: 0.4.0 (proposed) \| class: instruction artifact		governs: 4.4 \| version: 0.5.0 (proposed) \| class: instruction artifact
	audience: operator, agent		audience: operator, agent

BFP Rauch: 1 revision imported

2026-09-30T02:10:59Z

1 revision imported

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

BFP Rauch: Post-TPC-PY page batch B2 (S90, S130): TPS revision 7 (proposed TPS 0.4.0)

2026-09-30T02:10:58Z

Post-TPC-PY page batch B2 (S90, S130): TPS revision 7 (proposed TPS 0.4.0)

Show changes

BFP Rauch: 1 revision imported

2026-09-29T02:10:06Z

1 revision imported

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

BFP Rauch: Post-TPC-PY page batch (S70): REV6-PATCH

2026-09-29T02:09:00Z

Post-TPC-PY page batch (S70): REV6-PATCH

← Older revision		Revision as of 02:09, 29 September 2026
Line 1:		Line 1:
	{{DISPLAYTITLE:4.4 The strike rule (TPS 0.3.0)}}		{{DISPLAYTITLE:4.4 The strike rule (TPS 0.3.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 4.4 The strike rule. Part of [[The Principia Machina/TPS\|TPS]] and [[The Principia Machina/Hub\|the TPM hub]]. Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). TPS 0.1.1, which changed only the status lines, was declared final on 2026-09-26. This page is revision 6 of the tree, ~~proposed~~ as ~~version~~ 0.3.0 ~~until~~ H-DECL ~~declares it~~; revision 5, proposed as 0.2.0, stays undeclared and is carried whole.'' The text below is this section of the TPS artifact at 0.3.0 ~~(proposed)~~, verbatim; the whole artifact and its file digest are on [[The Principia Machina/TPS]]. Human readers: [[The Principia Machina/TPS/Contents\|the contents page]] is the map.		''Instruction artifact, machine-optimized text: TPS, section 4.4 The strike rule. Part of [[The Principia Machina/TPS\|TPS]] and [[The Principia Machina/Hub\|the TPM hub]]. Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). TPS 0.1.1, which changed only the status lines, was declared final on 2026-09-26. This page is revision 6 of the tree, declared final as TPS 0.3.0 by H-DECL on 2026-09-28; revision 5, proposed as 0.2.0, stays undeclared and is carried whole.'' The text below is this section of the TPS artifact at 0.3.0, verbatim, its header line still reading "proposed" as the text stood when it was declared; the whole artifact and its file digest are on [[The Principia Machina/TPS]]. Human readers: [[The Principia Machina/TPS/Contents\|the contents page]] is the map.

	<pre>		<pre>

BFP Rauch: 1 revision imported

2026-09-28T03:41:43Z

1 revision imported

← Older revision	Revision as of 03:41, 28 September 2026
(No difference)

BFP Rauch: TPS 0.3.0 (proposed) revision 6: D176.1-D191.1 of the EOM round under tpm_tps_thread_request 0.1.11, revision 5 carried whole

2026-09-28T03:39:00Z

TPS 0.3.0 (proposed) revision 6: D176.1-D191.1 of the EOM round under tpm_tps_thread_request 0.1.11, revision 5 carried whole

← Older revision		Revision as of 03:39, 28 September 2026
Line 1:		Line 1:
	{{DISPLAYTITLE:4.4 The strike rule (TPS 0.2.0)}}		{{DISPLAYTITLE:4.4 The strike rule (TPS 0.3.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 4.4 The strike rule. Part of [[The Principia Machina/TPS\|TPS]] and [[The Principia Machina/Hub\|the TPM hub]]. Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). TPS 0.1.1 changed only the status lines. This page is revision 5 of the tree, proposed as version 0.2.0 until H-DECL declares it.'' The text below is this section of the TPS artifact at 0.2.0 (proposed), verbatim; the whole artifact and its file digest are on [[The Principia Machina/TPS]]. Human readers: [[The Principia Machina/TPS/Contents\|the contents page]] is the map.		''Instruction artifact, machine-optimized text: TPS, section 4.4 The strike rule. Part of [[The Principia Machina/TPS\|TPS]] and [[The Principia Machina/Hub\|the TPM hub]]. Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). TPS 0.1.1, which changed only the status lines, was declared final on 2026-09-26. This page is revision 6 of the tree, proposed as version 0.3.0 until H-DECL declares it; revision 5, proposed as 0.2.0, stays undeclared and is carried whole.'' The text below is this section of the TPS artifact at 0.3.0 (proposed), verbatim; the whole artifact and its file digest are on [[The Principia Machina/TPS]]. Human readers: [[The Principia Machina/TPS/Contents\|the contents page]] is the map.

	<pre>		<pre>
	TPS 4.4 THE STRIKE RULE		TPS 4.4 THE STRIKE RULE
	purpose: SR1-SR9 in full; the amendments of D40.1, D41.2, D103.1,		purpose: SR1-SR9 in full; the amendments of D40.1, D41.2, D103.1,
	D105.1 ~~and~~ D111.1		D105.1, D111.1, D171.1 and D180.3
	governs: 4.4 \| version: 0.2.0 (proposed) \| class: instruction artifact		governs: 4.4 \| version: 0.3.0 (proposed) \| class: instruction artifact
	audience: operator, agent		audience: operator, agent

Line 122:		Line 122:
	record's external value stays a benchmark, never an output (3.3.6),		record's external value stays a benchmark, never an output (3.3.6),
	whatever its entry's CHECK value. [D171.1] [D172.1]		whatever its entry's CHECK value. [D171.1] [D172.1]
			4.4.13 SR3 AND SR8 FOR TRAJECTORIES, INTERIM (D180.3). Until the record
			field schema (C-16) is written, an M record whose QUANTITY's TrM
			entry identifies a DOF that no FIX CONSTRAINT targets is not
			tested mechanically: TPX runs neither the M-M test, nor the L-M
			test, nor SR8's scale factor over it, and lists each pair that
			SR3 would have compared for the audit, as row 21's INSPECTION
			(4.2.13). An M record of a FIXed DOF is tested as 4.4.4 and 4.4.8
			state. TPX computes the scope with TPC sr3_scope (5.1.15). When
			C-16 lands, a CONDITIONS field on M records, and on L records
			whose derived value enters an L-M test, replaces this interim:
			SR3 and SR8 compare records with equal CONDITIONS only. Basis:
			SR3 as written compares every M record of one TrM entry, so two
			true values of x at different times would strike one of them.
			[D180.3]
			OWED: the CONDITIONS field and its equality; kind: absence;
			C-16.
	</pre>		</pre>

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