The Principia Machina/Diagrams/05 Copy-forward - 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 3.4, 5.5.6		* GENERATED FROM: static, TPS 3.4, 5.5.6
	* STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (not drawn: the bibliography entries carried first, 3.4.9; the pre-fill of STRUCTURE_CHECK, D_VARIABLES and the environment module claims, 3.4.10); checked against revision 7, ~~proposed,~~ on 2026-09-29: also owed a redraw (the drawing's back-pointer is named in FINDING, where revision 7 has the field INHERITS, 3.4.3; not drawn: the batch re-promotion when D(TPK) and D(TrM) are unchanged, 3.4.6); its 3.4.2 step redrawn by hand on 2026-09-29 for D215.2 (every copy PROVISIONAL, a WITHDRAWAL of cause INHERITED per REFUTED or WITHDRAWN predecessor); 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: the bibliography entries carried first, 3.4.9; the pre-fill of STRUCTURE_CHECK, D_VARIABLES and the environment module claims, 3.4.10); checked against revision 7 on 2026-09-29, declared final as TPS 0.4.0 on 2026-09-30: also owed a redraw (the drawing's back-pointer is named in FINDING, where revision 7 has the field INHERITS, 3.4.3; not drawn: the batch re-promotion when D(TPK) and D(TrM) are unchanged, 3.4.6); its 3.4.2 step redrawn by hand on 2026-09-29 for D215.2 (every copy PROVISIONAL, a WITHDRAWAL of cause INHERITED per REFUTED or WITHDRAWN predecessor); checked against revision 8, proposed as TPS 0.5.0, on 2026-09-30: its back-pointer step drawn with INHERITS (3.4.3) and a step added for the batch re-promotion (3.4.6), by hand on 2026-09-30, in both copies of the source; the redraw owed for 3.4.9 and 3.4.10 stands; superseded by TPX at its first build
	* SOURCE SHA-256: <code>~~3281c67103cf0e81caf6f0b423407786bf4fff7fbcb5e45744e39a03e134d9fc~~</code>		* SOURCE SHA-256: <code>348cfadf4b01ecd08097f483b6db7ff98e0f5093bf86b8ad650ee29edc8421f0</code>

	Rendered live from the source, which is the text equivalent and is shown under the drawing. The key to the shapes is in the panel.		Rendered live from the source, which is the text equivalent and is shown under the drawing. The key to the shapes is in the panel.
Line 23:		Line 23:
	X->>S: new UUID, new prefix (3.4.1)		X->>S: new UUID, new prefix (3.4.1)
	X->>P: read records		X->>P: read records
	X->>S: each record a fresh allocation, ~~FINDING names~~ the predecessor's full identifier (3.4.3)		X->>S: each record a fresh allocation, its field INHERITS naming the predecessor's full identifier (3.4.3)
	X->>S: every copy PROVISIONAL, then a WITHDRAWAL of cause INHERITED per REFUTED or WITHDRAWN predecessor (3.4.2)		X->>S: every copy PROVISIONAL, then a WITHDRAWAL of cause INHERITED per REFUTED or WITHDRAWN predecessor (3.4.2)
	X->>S: same checks as any container, first CAC under the re-audit scope rule (4.1.9)		X->>S: same checks as any container, first CAC under the re-audit scope rule (4.1.9)
			X->>S: when D(TPK) and D(TrM) equal the source's, one PROMOTION record re-promotes each inherited result that was ESTABLISHED and still meets promotion's conditions (3.4.6)
	Note over P,S: back-pointers are provenance, not binding (3.4.5)		Note over P,S: back-pointers are provenance, not binding (3.4.5)
	\|config.theme=neutral}}		\|config.theme=neutral}}
Line 43:		Line 44:
	X->>S: new UUID, new prefix (3.4.1)		X->>S: new UUID, new prefix (3.4.1)
	X->>P: read records		X->>P: read records
	X->>S: each record a fresh allocation, ~~FINDING names~~ the predecessor's full identifier (3.4.3)		X->>S: each record a fresh allocation, its field INHERITS naming the predecessor's full identifier (3.4.3)
	X->>S: every copy PROVISIONAL, then a WITHDRAWAL of cause INHERITED per REFUTED or WITHDRAWN predecessor (3.4.2)		X->>S: every copy PROVISIONAL, then a WITHDRAWAL of cause INHERITED per REFUTED or WITHDRAWN predecessor (3.4.2)
	X->>S: same checks as any container, first CAC under the re-audit scope rule (4.1.9)		X->>S: same checks as any container, first CAC under the re-audit scope rule (4.1.9)
			X->>S: when D(TPK) and D(TrM) equal the source's, one PROMOTION record re-promotes each inherited result that was ESTABLISHED and still meets promotion's conditions (3.4.6)
	Note over P,S: back-pointers are provenance, not binding (3.4.5)		Note over P,S: back-pointers are provenance, not binding (3.4.5)
	</pre>		</pre>
Line 51:		Line 53:

	== Text equivalent ==		== Text equivalent ==
	COPY-FORWARD is offered on a change request against the Full Kernel (TFK) or a digest-gate failure (5.5.6). TPX, the controller, redirects to the new-container flow pre-filled from the source, the switches STRUCTURE_CHECK and D_VARIABLES and the source's environment module claims among what is pre-filled (3.4.10, 5.5.12); the human declares the successor's TFK; TPX allocates a new UUID (universally unique identifier) and prefix (3.4.1); where the source keeps a bibliography, its entries are carried first, in number order, with back-pointers (3.4.9); TPX then copies each record as a fresh allocation whose field INHERITS names the predecessor's full identifier, its BLOCK, AUTHOR, VETTED_IN, TPS and D_IS kept and its STATUS starting UNMARKED (3.4.3); each lands PROVISIONAL (NOT GRADED kept); then, for each record whose predecessor is REFUTED or WITHDRAWN, TPX writes in the successor a WITHDRAWAL of cause INHERITED setting that grade, a REFUTED one also marking the copy STATUS REFUTED, so REFUTED is kept REFUTED and WITHDRAWN kept WITHDRAWN (3.4.1, 3.4.2, 3.3.3); TPX runs the same checks, the successor's first congruence and completeness audit (CAC) under the re-audit scope rule, TPC reaudit_scope (4.1.9), and, when D(TPK) and D(TrM) equal the source's, re-promotes in one PROMOTION record every inherited result that was ESTABLISHED and still meets promotion's conditions (3.4.6~~; revision 7, proposed~~). Back-pointers are provenance, not binding (3.4.5).		COPY-FORWARD is offered on a change request against the Full Kernel (TFK) or a digest-gate failure (5.5.6). TPX, the controller, redirects to the new-container flow pre-filled from the source, the switches STRUCTURE_CHECK and D_VARIABLES and the source's environment module claims among what is pre-filled (3.4.10, 5.5.12); the human declares the successor's TFK; TPX allocates a new UUID (universally unique identifier) and prefix (3.4.1); where the source keeps a bibliography, its entries are carried first, in number order, with back-pointers (3.4.9); TPX then copies each record as a fresh allocation whose field INHERITS names the predecessor's full identifier, its BLOCK, AUTHOR, VETTED_IN, TPS and D_IS kept and its STATUS starting UNMARKED (3.4.3); each lands PROVISIONAL (NOT GRADED kept); then, for each record whose predecessor is REFUTED or WITHDRAWN, TPX writes in the successor a WITHDRAWAL of cause INHERITED setting that grade, a REFUTED one also marking the copy STATUS REFUTED, so REFUTED is kept REFUTED and WITHDRAWN kept WITHDRAWN (3.4.1, 3.4.2, 3.3.3); TPX runs the same checks, the successor's first congruence and completeness audit (CAC) under the re-audit scope rule, TPC reaudit_scope (4.1.9), and, when D(TPK) and D(TrM) equal the source's, re-promotes in one PROMOTION record every inherited result that was ESTABLISHED and still meets promotion's conditions (3.4.6). Back-pointers are provenance, not binding (3.4.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 3.4, 5.5.6		* GENERATED FROM: static, TPS 3.4, 5.5.6
	* STATUS: hand-authored at TPS 0.1.0; checked against TPS 0.3.0 on 2026-09-28: owed a redraw (not drawn: the bibliography entries carried first, 3.4.9; the pre-fill of STRUCTURE_CHECK, D_VARIABLES and the environment module claims, 3.4.10); 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: the bibliography entries carried first, 3.4.9; the pre-fill of STRUCTURE_CHECK, D_VARIABLES and the environment module claims, 3.4.10); checked against revision 7, proposed, on 2026-09-29: also owed a redraw (the drawing's back-pointer is named in FINDING, where revision 7 has the field INHERITS, 3.4.3; not drawn: the batch re-promotion when D(TPK) and D(TrM) are unchanged, 3.4.6); its 3.4.2 step redrawn by hand on 2026-09-29 for D215.2 (every copy PROVISIONAL, a WITHDRAWAL of cause INHERITED per REFUTED or WITHDRAWN predecessor); superseded by TPX at its first build
	* SOURCE SHA-256: <code>~~b576803e26193d4aae7d5c21044feb6aed3feeba7c5853a4ae64b6e7b467e627~~</code>		* SOURCE SHA-256: <code>3281c67103cf0e81caf6f0b423407786bf4fff7fbcb5e45744e39a03e134d9fc</code>

	Rendered live from the source, which is the text equivalent and is shown under the drawing. The key to the shapes is in the panel.		Rendered live from the source, which is the text equivalent and is shown under the drawing. The key to the shapes is in the panel.
Line 24:		Line 24:
	X->>P: read records		X->>P: read records
	X->>S: each record a fresh allocation, FINDING names the predecessor's full identifier (3.4.3)		X->>S: each record a fresh allocation, FINDING names the predecessor's full identifier (3.4.3)
	X->>S: ~~tag~~ PROVISIONAL, REFUTED ~~stays REFUTED,~~ predecessor ~~tag in the back-pointer only~~ (3.4.2)		X->>S: every copy PROVISIONAL, then a WITHDRAWAL of cause INHERITED per REFUTED or WITHDRAWN predecessor (3.4.2)
	X->>S: same checks as any container, first CAC under the re-audit scope rule (4.1.9)		X->>S: same checks as any container, first CAC under the re-audit scope rule (4.1.9)
	Note over P,S: back-pointers are provenance, not binding (3.4.5)		Note over P,S: back-pointers are provenance, not binding (3.4.5)
Line 44:		Line 44:
	X->>P: read records		X->>P: read records
	X->>S: each record a fresh allocation, FINDING names the predecessor's full identifier (3.4.3)		X->>S: each record a fresh allocation, FINDING names the predecessor's full identifier (3.4.3)
	X->>S: ~~tag~~ PROVISIONAL, REFUTED ~~stays REFUTED,~~ predecessor ~~tag in the back-pointer only~~ (3.4.2)		X->>S: every copy PROVISIONAL, then a WITHDRAWAL of cause INHERITED per REFUTED or WITHDRAWN predecessor (3.4.2)
	X->>S: same checks as any container, first CAC under the re-audit scope rule (4.1.9)		X->>S: same checks as any container, first CAC under the re-audit scope rule (4.1.9)
	Note over P,S: back-pointers are provenance, not binding (3.4.5)		Note over P,S: back-pointers are provenance, not binding (3.4.5)
Line 51:		Line 51:

	== Text equivalent ==		== Text equivalent ==
	COPY-FORWARD is offered on a change request against the Full Kernel (TFK) or a digest-gate failure (5.5.6). TPX, the controller, redirects to the new-container flow pre-filled from the source, the switches STRUCTURE_CHECK and D_VARIABLES and the source's environment module claims among what is pre-filled (3.4.10, 5.5.12); the human declares the successor's TFK; TPX allocates a new UUID (universally unique identifier) and prefix (3.4.1); where the source keeps a bibliography, its entries are carried first, in number order, with back-pointers (3.4.9); TPX then copies each record as a fresh allocation whose ~~FINDING~~ names the predecessor's full identifier (3.4.3)~~, tags them~~ PROVISIONAL ~~with REFUTED~~ kept ~~and the~~ predecessor ~~tag~~ in the ~~back-pointer only~~ (3.4.2)~~, and~~ runs the same checks, the successor's first congruence and completeness audit (CAC) under the re-audit scope rule (4.1.9). Back-pointers are provenance, not binding (3.4.5).		COPY-FORWARD is offered on a change request against the Full Kernel (TFK) or a digest-gate failure (5.5.6). TPX, the controller, redirects to the new-container flow pre-filled from the source, the switches STRUCTURE_CHECK and D_VARIABLES and the source's environment module claims among what is pre-filled (3.4.10, 5.5.12); the human declares the successor's TFK; TPX allocates a new UUID (universally unique identifier) and prefix (3.4.1); where the source keeps a bibliography, its entries are carried first, in number order, with back-pointers (3.4.9); TPX then copies each record as a fresh allocation whose field INHERITS names the predecessor's full identifier, its BLOCK, AUTHOR, VETTED_IN, TPS and D_IS kept and its STATUS starting UNMARKED (3.4.3); each lands PROVISIONAL (NOT GRADED kept); then, for each record whose predecessor is REFUTED or WITHDRAWN, TPX writes in the successor a WITHDRAWAL of cause INHERITED setting that grade, a REFUTED one also marking the copy STATUS REFUTED, so REFUTED is kept REFUTED and WITHDRAWN kept WITHDRAWN (3.4.1, 3.4.2, 3.3.3); TPX runs the same checks, the successor's first congruence and completeness audit (CAC) under the re-audit scope rule, TPC reaudit_scope (4.1.9), and, when D(TPK) and D(TrM) equal the source's, re-promotes in one PROMOTION record every inherited result that was ESTABLISHED and still meets promotion's conditions (3.4.6; revision 7, proposed). Back-pointers are provenance, not binding (3.4.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 3.4, 5.5.6		* GENERATED FROM: static, TPS 3.4, 5.5.6
	* 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: the bibliography entries carried first, 3.4.9; the pre-fill of STRUCTURE_CHECK, D_VARIABLES and the environment module claims, 3.4.10); superseded by TPX at its first build
	* SOURCE SHA-256: <code>b576803e26193d4aae7d5c21044feb6aed3feeba7c5853a4ae64b6e7b467e627</code>		* SOURCE SHA-256: <code>b576803e26193d4aae7d5c21044feb6aed3feeba7c5853a4ae64b6e7b467e627</code>

Line 51:		Line 51:

	== Text equivalent ==		== Text equivalent ==
	COPY-FORWARD is offered on a change request against the TFK or a digest-gate failure (5.5.6). TPX redirects to the new-container flow pre-filled from the source; the human declares the successor's TFK; TPX allocates a new UUID and prefix (3.4.1), copies each record as a fresh allocation whose FINDING names the predecessor's full identifier (3.4.3), tags them PROVISIONAL with REFUTED kept and the predecessor tag in the back-pointer only (3.4.2), and runs the same checks ~~with~~ the successor's first CAC under the re-audit scope rule (4.1.9). Back-pointers are provenance, not binding (3.4.5).		COPY-FORWARD is offered on a change request against the Full Kernel (TFK) or a digest-gate failure (5.5.6). TPX, the controller, redirects to the new-container flow pre-filled from the source, the switches STRUCTURE_CHECK and D_VARIABLES and the source's environment module claims among what is pre-filled (3.4.10, 5.5.12); the human declares the successor's TFK; TPX allocates a new UUID (universally unique identifier) and prefix (3.4.1); where the source keeps a bibliography, its entries are carried first, in number order, with back-pointers (3.4.9); TPX then copies each record as a fresh allocation whose FINDING names the predecessor's full identifier (3.4.3), tags them PROVISIONAL with REFUTED kept and the predecessor tag in the back-pointer only (3.4.2), and runs the same checks, the successor's first congruence and completeness audit (CAC) under the re-audit scope rule (4.1.9). Back-pointers are provenance, not binding (3.4.5).

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

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

2026-09-25T05:40:24Z

Structural diagram 5 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 05 Copy-forward}}		{{DISPLAYTITLE:Diagram 05 Copy-forward}}
	''Structural diagram 5 of 12.'' Part of [[The Principia Machina/Hub\|the TPM hub]].		''Structural diagram 5 of 13.'' Part of [[The Principia Machina/Hub\|the TPM hub]].
	* KIND: process		* KIND: process
	* LANGUAGE: Mermaid		* LANGUAGE: Mermaid
Line 54:		Line 54:

	[[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: 05 Copy-forward

2026-09-22T05:25:03Z

Human-facing page: 05 Copy-forward

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