The Principia Machina/TPS/1.2 Scope and residence - Revision history

BFP Rauch: 1 revision imported

2026-10-07T13:23:23Z

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:1.2 Scope and residence (TPS 0.5.0)}}		{{DISPLAYTITLE:1.2 Scope and residence (TPS 0.5.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 1.2 Scope and residence. 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. The guide named in 1.2.3 is published at [[The Principia Machina/Generic Specification Guide]].		''Instruction artifact, machine-optimized text: TPS, section 1.2 Scope and residence. 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. The guide named in 1.2.3 is published at [[The Principia Machina/Generic Specification Guide]].

	<pre>		<pre>

BFP Rauch: 1 revision imported

2026-09-30T13:34:06Z

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:1.2 Scope and residence (TPS 0.4.0)}}		{{DISPLAYTITLE:1.2 Scope and residence (TPS 0.5.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 1.2 Scope and residence. 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. The guide named in 1.2.3 is published at [[The Principia Machina/Generic Specification Guide]].		''Instruction artifact, machine-optimized text: TPS, section 1.2 Scope and residence. 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. The guide named in 1.2.3 is published at [[The Principia Machina/Generic Specification Guide]].

	<pre>		<pre>
Line 6:		Line 6:
	purpose: what TPS specifies; the five-part residence map; the guide's		purpose: what TPS specifies; the five-part residence map; the guide's
	layer map; relation to BFP; the whole apparatus published		layer map; relation to BFP; the whole apparatus published
	governs: 1.2 \| version: 0.4.0 (proposed) \| class: instruction artifact		governs: 1.2 \| 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)

← Older revision		Revision as of 02:10, 30 September 2026
Line 1:		Line 1:
	{{DISPLAYTITLE:1.2 Scope and residence (TPS 0.3.0)}}		{{DISPLAYTITLE:1.2 Scope and residence (TPS 0.4.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 1.2 Scope and residence. 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. The guide named in 1.2.3 is published at [[The Principia Machina/Generic Specification Guide]].		''Instruction artifact, machine-optimized text: TPS, section 1.2 Scope and residence. 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. The guide named in 1.2.3 is published at [[The Principia Machina/Generic Specification Guide]].

	<pre>		<pre>
Line 6:		Line 6:
	purpose: what TPS specifies; the five-part residence map; the guide's		purpose: what TPS specifies; the five-part residence map; the guide's
	layer map; relation to BFP; the whole apparatus published		layer map; relation to BFP; the whole apparatus published
	governs: 1.2 \| version: 0.3.0 (proposed) \| class: instruction artifact		governs: 1.2 \| version: 0.4.0 (proposed) \| class: instruction artifact
	audience: operator, agent		audience: operator, agent

Line 17:		Line 17:
	1.2.2 TPM has five parts on the residence axis: the foundations record		1.2.2 TPM has five parts on the residence axis: the foundations record
	(DATA; describes, never instructs); the specification, TPS		(DATA; describes, never instructs); the specification, TPS
	(normative, versioned; its ~~digest~~ and ~~version is~~ the genesis ~~line~~		(normative, versioned; its version and D(TPS) are the genesis
	of the DECLARATIONS page); the implementations (TPX on the server,		line of the DECLARATIONS page, CR9); the implementations (TPX on
	PRB beside the CA-GTP, and each CA-GTP's instruction ~~set~~		the server, PRB beside the CA-GTP, and each CA-GTP's instruction
	implementing the AGENT CONTRACT); the wiki (platform and system of		set implementing the AGENT CONTRACT); the wiki (platform and
	record); the containers (the research). [F1]		system of record); the containers (the research). [F1]
	1.2.3 The guide is the draft of major requirements for TPM and the TPK.		1.2.3 The guide is the draft of major requirements for TPM and the TPK.
	Its layer map onto TPM: L0 KERNEL = TPK; L1 CORRESPONDENCE = TrM;		Its layer map onto TPM: L0 KERNEL = TPK; L1 CORRESPONDENCE = TrM;
Line 48:		Line 48:
	IC3, IC4 (b), the necessary part of IC4 (c), IC4 (a)		IC3, IC4 (b), the necessary part of IC4 (c), IC4 (a)
	syntactically where FORM and IMAGE_FORM are present, and CODOMAIN.		syntactically where FORM and IMAGE_FORM are present, and CODOMAIN.
	~~Two divergences~~ are recorded against the guide under its 2.5: the		Divergences are recorded against the guide under its 2.5. Two
	inventory the TrM maps onto is the TPK's DOF less the TARGETs of		stand from revision 6: the inventory the TrM maps onto is the
	REMOVE constraints, a FIXed DOF staying in it (2.3.19); and a		TPK's DOF less the TARGETs of REMOVE constraints, a FIXed DOF
	BOUNDARY states where the kernel IS asserted, guide 3.1 reading		staying in it (2.3.19); and a BOUNDARY states where the kernel IS
	where it is not (2.2.6). [D106.1] [D107.1] [D108.1] [D132.1]		asserted, guide 3.1 reading where it is not (2.2.6). The
	[~~D179~~.1]		register's record forms add nine (D192.2-D202.1): no per-record
			foundation digest, the MASTER carrying D(TFK) and the digest gate
			running before every write (guide L2.4; 3.2.17); the RESULT,
			ENTRY-STATUS, NAMED-GAP, CORROBORATION and VERIFICATION forms of
			guide 5.5 re-cut as the register states them (3.2.19, 3.3.2,
			3.3.5, 3.3.4, 3.3.6); the grade set, WITHDRAWN a grade and NOT
			GRADED beyond the MASTER (guide 5.6; 3.2.10); one WITHDRAWAL
			record per act with its cascade (guide 5.7, L2.5; 3.3.3); and the
			back-pointer as the field INHERITS, an inherited REFUTED or
			WITHDRAWN record entering PROVISIONAL and keeping its grade by a
			WITHDRAWAL of cause INHERITED (guide 5.9, L2.7; 3.4.2; 3.4.3).
			[D106.1] [D107.1] [D108.1] [D132.1] [D179.1] [D192.2] [D193.2]
			[D194.1] [D195.3] [D197.2] [D199.1] [D200.1] [D201.1] [D202.1]
			[D215.2]
	OWED: the parts of T2, T3, T6, IC4 and IC5 that stay INSPECTION		OWED: the parts of T2, T3, T6, IC4 and IC5 that stay INSPECTION
	by the guide's classing or by the absence of a declared form		by the guide's classing or by the absence of a declared form

BFP Rauch: 1 revision imported

2026-09-29T02:10:05Z

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:1.2 Scope and residence (TPS 0.3.0)}}		{{DISPLAYTITLE:1.2 Scope and residence (TPS 0.3.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 1.2 Scope and residence. 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. The guide named in 1.2.3 is published at [[The Principia Machina/Generic Specification Guide]].		''Instruction artifact, machine-optimized text: TPS, section 1.2 Scope and residence. 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. The guide named in 1.2.3 is published at [[The Principia Machina/Generic Specification Guide]].

	<pre>		<pre>

BFP Rauch: 1 revision imported

2026-09-28T03:41:42Z

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:1.2 Scope and residence (TPS 0.2.0)}}		{{DISPLAYTITLE:1.2 Scope and residence (TPS 0.3.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 1.2 Scope and residence. 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. The guide named in 1.2.3 is published at [[The Principia Machina/Generic Specification Guide]].		''Instruction artifact, machine-optimized text: TPS, section 1.2 Scope and residence. 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. The guide named in 1.2.3 is published at [[The Principia Machina/Generic Specification Guide]].

	<pre>		<pre>
Line 6:		Line 6:
	purpose: what TPS specifies; the five-part residence map; the guide's		purpose: what TPS specifies; the five-part residence map; the guide's
	layer map; relation to BFP; the whole apparatus published		layer map; relation to BFP; the whole apparatus published
	governs: 1.2 \| version: 0.2.0 (proposed) \| class: instruction artifact		governs: 1.2 \| version: 0.3.0 (proposed) \| class: instruction artifact
	audience: operator, agent		audience: operator, agent

Line 48:		Line 48:
	IC3, IC4 (b), the necessary part of IC4 (c), IC4 (a)		IC3, IC4 (b), the necessary part of IC4 (c), IC4 (a)
	syntactically where FORM and IMAGE_FORM are present, and CODOMAIN.		syntactically where FORM and IMAGE_FORM are present, and CODOMAIN.
	~~One divergence is~~ recorded against the guide under its 2.5: the		Two divergences are recorded against the guide under its 2.5: the
	inventory the TrM maps onto is the TPK's DOF less the TARGETs of		inventory the TrM maps onto is the TPK's DOF less the TARGETs of
	REMOVE constraints, a FIXed DOF staying in it (2.3.19). [D106.1]		REMOVE constraints, a FIXed DOF staying in it (2.3.19); and a
	[D107.1] [D108.1] [D132.1]		BOUNDARY states where the kernel IS asserted, guide 3.1 reading
			where it is not (2.2.6). [D106.1] [D107.1] [D108.1] [D132.1]
			[D179.1]
	OWED: the parts of T2, T3, T6, IC4 and IC5 that stay INSPECTION		OWED: the parts of T2, T3, T6, IC4 and IC5 that stay INSPECTION
	by the guide's classing or by the absence of a declared form		by the guide's classing or by the absence of a declared form