The Principia Machina/TPS/2.3 The Translation Manifold - 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:2.3 The Translation Manifold (TPS 0.5.0)}}		{{DISPLAYTITLE:2.3 The Translation Manifold (TPS 0.5.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 2.3 The Translation Manifold. 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 2.3 The Translation Manifold. 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:2.3 The Translation Manifold (TPS 0.4.0)}}		{{DISPLAYTITLE:2.3 The Translation Manifold (TPS 0.5.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 2.3 The Translation Manifold. 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 2.3 The Translation Manifold. 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 9:		Line 9:
	isomorphism checks and which parts are MECHANICAL; the		isomorphism checks and which parts are MECHANICAL; the
	header and entry schemas; the inventory the TrM maps onto		header and entry schemas; the inventory the TrM maps onto
	governs: 2.3 \| version: 0.4.0 (proposed) \| class: instruction artifact		governs: 2.3 \| 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:2.3 The Translation Manifold (TPS 0.3.0)}}		{{DISPLAYTITLE:2.3 The Translation Manifold (TPS 0.4.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 2.3 The Translation Manifold. 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 2.3 The Translation Manifold. 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 9:		Line 9:
	isomorphism checks and which parts are MECHANICAL; the		isomorphism checks and which parts are MECHANICAL; the
	header and entry schemas; the inventory the TrM maps onto		header and entry schemas; the inventory the TrM maps onto
	governs: 2.3 \| version: 0.3.0 (proposed) \| class: instruction artifact		governs: 2.3 \| version: 0.4.0 (proposed) \| class: instruction artifact
	audience: operator, agent		audience: operator, agent

Line 22:		Line 22:
	2.3.3 DOMAIN is the regime of validity, required on every TrM entry and		2.3.3 DOMAIN is the regime of validity, required on every TrM entry and
	every promoting record. ENVIRONMENT is what the TrM maps a TPK		every promoting record. ENVIRONMENT is what the TrM maps a TPK
	into. [I-030] [I-031]		into. A promoting record carries DOMAIN in prose and
			DOMAIN_CONDITION, a predicate in the grammar of 2.2.13 over the
			record's REFS, held at landing to T6's totality (2.2.16) and the
			dimensional rules, MECHANICAL; prose against the condition is
			INSPECTION. [I-030] [I-031] [D197.2]
	2.3.4 A restriction (tabletop, uniform field, no rotation) is declared		2.3.4 A restriction (tabletop, uniform field, no rotation) is declared
	as CONSTRAINT entries in the TPK, so the TPK yields the restricted		as CONSTRAINT entries in the TPK, so the TPK yields the restricted
Line 36:		Line 40:
	2.3.6 SURJECTIVE is the completeness test. Completeness is relative to		2.3.6 SURJECTIVE is the completeness test. Completeness is relative to
	the DOF inventory the TPK yields; an untied DOF is a named gap,		the DOF inventory the TPK yields; an untied DOF is a named gap,
	never silently omitted. As the TrM is entered the gap is held;		never silently omitted. As the TrM is entered the gap is held; at
	at the final pass the TMS's IC2_POLICY disposes of it: GAP admits		the final pass the TMS's IC2_POLICY disposes of it: GAP admits
	the TrM with the gap named, REJECT returns it (2.4.5, 5.5.2).		the TrM with the gap named, REJECT returns it (2.4.5, 5.5.2). TPX
	[B-02] [I-124] [D107.1]		writes each such gap as a NAMED_GAP record, SOURCE IC2, at
	2.3.7 The four isomorphism checks test TOTAL, SURJECTIVE, INJECTIVE		instantiation (3.3.5, 5.5.4). [B-02] [I-124] [D107.1] [D199.1]
	~~and~~ STRUCTURE-PRESERVING, in that order, and are specified at		2.3.7 The four isomorphism checks test TOTAL, SURJECTIVE, INJECTIVE and
	~~guide~~ 4.6 as IC1 to IC4; the guide's companion IC5, falsifier		STRUCTURE-PRESERVING, in that order, and are specified at guide
			4.6 as IC1 to IC4; the guide's companion IC5, falsifier
	invariance, is 2.3.15. TPX runs them as the TrM zone is entered		invariance, is 2.3.15. TPX runs them as the TrM zone is entered
	(see 5.5). A failure of TOTAL, INJECTIVE or STRUCTURE-PRESERVING		(see 5.5). A failure of TOTAL, INJECTIVE or STRUCTURE-PRESERVING
	returns a rejected component to the author. A failure of		returns a rejected component to the author. A failure of
	SURJECTIVE is an untied DOF: it is recorded as a ~~named gap and~~		SURJECTIVE is an untied DOF: it is recorded as a NAMED_GAP record
	the TrM is admitted with the gap named (2.3.6, 3.3.5); a UWC's		(2.3.6) and the TrM is admitted with the gap named (2.3.6,
	TMS MAY tighten this to rejection by IC2_POLICY REJECT. [I-057]		3.3.5); a UWC's TMS MAY tighten this to rejection by IC2_POLICY
	[B-02] [I-162] [D85.2]		REJECT. [I-057] [B-02] [I-162] [D85.2] [D199.1]
	EXECUTABLE, in TPC, both residences, over the fields of 2.3.11		EXECUTABLE, in TPC, both residences, over the fields of 2.3.11
	and 2.3.18: IC1 whole (2.3.12); IC2 whole, over the inventory of		and 2.3.18: IC1 whole (2.3.12); IC2 whole, over the inventory of

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:2.3 The Translation Manifold (TPS 0.3.0)}}		{{DISPLAYTITLE:2.3 The Translation Manifold (TPS 0.3.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 2.3 The Translation Manifold. 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 2.3 The Translation Manifold. 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:2.3 The Translation Manifold (TPS 0.2.0)}}		{{DISPLAYTITLE:2.3 The Translation Manifold (TPS 0.3.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 2.3 The Translation Manifold. 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 2.3 The Translation Manifold. 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>
Line 9:		Line 9:
	isomorphism checks and which parts are MECHANICAL; the		isomorphism checks and which parts are MECHANICAL; the
	header and entry schemas; the inventory the TrM maps onto		header and entry schemas; the inventory the TrM maps onto
	governs: 2.3 \| version: 0.2.0 (proposed) \| class: instruction artifact		governs: 2.3 \| version: 0.3.0 (proposed) \| class: instruction artifact
	audience: operator, agent		audience: operator, agent