The Principia Machina/TPS/5.3 TPX - Revision history

BFP Rauch: 1 revision imported

2026-10-07T13:23:25Z

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:5.3 TPX (TPS 0.5.0)}}		{{DISPLAYTITLE:5.3 TPX (TPS 0.5.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 5.3 TPX. 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 5.3 TPX. 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:08Z

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)

BFP Rauch: 1 revision imported

2026-09-30T02:11:00Z

1 revision imported

← Older revision		Revision as of 02:11, 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)

← Older revision		Revision as of 02:10, 30 September 2026
Line 1:		Line 1:
	{{DISPLAYTITLE:5.3 TPX (TPS 0.3.0)}}		{{DISPLAYTITLE:5.3 TPX (TPS 0.4.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 5.3 TPX. 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.		''Instruction artifact, machine-optimized text: TPS, section 5.3 TPX. 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.

	<pre>		<pre>
Line 12:		Line 12:
	options; the prompt duties and sandbox trials; the structure		options; the prompt duties and sandbox trials; the structure
	check and the later test; the ENVIRONMENT MODULE duties		check and the later test; the ENVIRONMENT MODULE duties
	governs: 5.3 \| version: 0.3.0 (proposed) \| class: instruction artifact		governs: 5.3 \| version: 0.4.0 (proposed) \| class: instruction artifact
	audience: operator		audience: operator

Line 547:		Line 547:
	such a trial. [D182.1] [D184.1]		such a trial. [D182.1] [D184.1]
	5.3.47 THE STRUCTURE CHECK AND THE LATER TEST (D176.1). TPX runs the		5.3.47 THE STRUCTURE CHECK AND THE LATER TEST (D176.1). TPX runs the
	structure check and computes the class at the final pass		structure check and computes the class at the final pass (2.2.20,
	(2.2.20, 5.5.3) and keeps EOM-0 (3.3.16). It runs the STRUCTURE		5.5.3) and keeps EOM-0 (3.3.16). It runs the STRUCTURE TEST WITH
	~~TEST WITH~~ REGISTER, TPC eom_register_test, a pure function of		REGISTER, TPC eom_register_test, a pure function of the TFK and
	the TFK and of the standing records whose declared form carries		of the standing records whose declared form carries a ROLE, a
	a ROLE, a record standing when its status is ~~not STRUCK, HELD~~		record standing when its status word is PROVISIONAL or
	~~or REFUTED~~ (SR2, 3.2.10): the analysis of 2.2.20 with each such		ESTABLISHED (SR2, 3.2.10): the analysis of 2.2.20 with each such
	record's law added by its ROLE, returning the EOM MAP, the		record's law added by its ROLE, returning the EOM MAP, the
	findings, the record identifiers used and the UNDER unknowns of		findings, the record identifiers used and the UNDER unknowns of
	the TFK alone that the records now determine.		the TFK alone that the records now determine. [D193.2]
	WHEN. (i) After every landing that adds such a record or		WHEN. (i) After every landing that adds such a record or
	changes the status of a record the last result used, as a W1		changes the status of a record the last result used, as a W1
Line 584:		Line 584:
	audit block; H-DECL may open one. Under STRUCTURE_CHECK OFF it		audit block; H-DECL may open one. Under STRUCTURE_CHECK OFF it
	runs the same way, information only.		runs the same way, information only.
	~~UNTIL C-16. No record~~ carries a ~~declared form yet, so the test~~		The test reads the standing records whose declared form carries a
	~~reads the TFK alone~~ and its ~~register part~~ is the lead's		ROLE (3.3.16) and its line names them; a settling record without
	INSPECTION~~, an obligation (C-16): the line reads "WITH -" and~~		a form is the lead's INSPECTION. [D176.1] [D198.1]
	~~the control panel says the register part is unread~~. [D176.1]
	5.3.48 THE ENVIRONMENT MODULE DUTIES (D178.1). TPX serves the interview		5.3.48 THE ENVIRONMENT MODULE DUTIES (D178.1). TPX serves the interview
	on the new-container form and in the DRAFT UWC API alike,		on the new-container form and in the DRAFT UWC API alike,
Line 607:		Line 606:
	serves the MODULE USE VIEW; as 5.22 states. The proposal op's		serves the MODULE USE VIEW; as 5.22 states. The proposal op's
	lane awaits declaration (7.2.32). [D178.1] [S48] [S51]		lane awaits declaration (7.2.32). [D178.1] [S48] [S51]
			5.3.49 THE REGISTER DUTIES (D192.2-D202.1). TPX runs record_check at the
			stage LANDED on every keyed record and writes its fields (GRADE,
			STATUS UNMARKED, BLOCK, AUTHOR, LANDED_BY, LANDED, VETTED_IN,
			TPS, D_IS, DIGEST); writes the MASTER and the instantiation gaps
			(5.5.4); writes each WITHDRAWAL with its cascade in the same
			landing and STATUS REFUTED on a strike; writes the SR5 and SR7
			gaps and every STATE line; runs the promotion pass at each
			landing and writes the PROMOTION record; checks a VERIFICATION's
			order and recomputes its DIFFERENCE; computes CONDITIONS; runs
			settlement_check inside the PUSH; writes, at COPY-FORWARD, each
			inherited record at its landing grade and one WITHDRAWAL of cause
			INHERITED per inherited REFUTED or WITHDRAWN record (3.4.2); runs
			reaudit_scope and the batch re-promotion at a successor's first
			CAC; serves the reading view with each record's current grade and
			STATUS, the GAP VIEW and the ENTRY VIEW, computed on demand and
			stored nowhere; publishes schema_json beside the table. [D192.2]
			[D193.2] [D194.1] [D196.1] [D199.1] [D200.1] [D201.1] [D202.1]
			[D215.2]
	</pre>		</pre>

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

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:5.3 TPX (TPS 0.3.0)}}		{{DISPLAYTITLE:5.3 TPX (TPS 0.3.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 5.3 TPX. 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 5.3 TPX. 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

Show changes