The Principia Machina/TPS/3.4 Inheritance under copy-forward - 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:3.4 Inheritance under copy-forward (TPS 0.5.0)}}		{{DISPLAYTITLE:3.4 Inheritance under copy-forward (TPS 0.5.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 3.4 Inheritance under copy-forward. 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 3.4 Inheritance under copy-forward. 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:3.4 Inheritance under copy-forward (TPS 0.4.0)}}		{{DISPLAYTITLE:3.4 Inheritance under copy-forward (TPS 0.5.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 3.4 Inheritance under copy-forward. 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 3.4 Inheritance under copy-forward. 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 8:		Line 8:
	re-promotion at a successor's first CAC when its D(TPK) and		re-promotion at a successor's first CAC when its D(TPK) and
	D(TrM) equal the source's; ENVIRONMENT MODULE claims carried		D(TrM) equal the source's; ENVIRONMENT MODULE claims carried
	governs: 3.4 \| version: 0.4.0 (proposed) \| class: instruction artifact		governs: 3.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)

← Older revision		Revision as of 02:10, 30 September 2026
Line 1:		Line 1:
	{{DISPLAYTITLE:3.4 Inheritance under copy-forward (TPS 0.3.0)}}		{{DISPLAYTITLE:3.4 Inheritance under copy-forward (TPS 0.4.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 3.4 Inheritance under copy-forward. 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 3.4 Inheritance under copy-forward. 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 6:		Line 6:
	purpose: inherited records as fresh allocations, PROVISIONAL, REFUTED		purpose: inherited records as fresh allocations, PROVISIONAL, REFUTED
	kept; back-pointers; promotion by re-derivation; batch		kept; back-pointers; promotion by re-derivation; batch
	re-promotion ~~open~~; ENVIRONMENT MODULE claims carried		re-promotion at a successor's first CAC when its D(TPK) and
	governs: 3.4 \| version: 0.3.0 (proposed) \| class: instruction artifact		D(TrM) equal the source's; ENVIRONMENT MODULE claims carried
			governs: 3.4 \| version: 0.4.0 (proposed) \| class: instruction artifact
	audience: operator, agent		audience: operator, agent

	3.4.1 COPY-FORWARD is a standing Public Recorder operation: source		3.4.1 COPY-FORWARD is a standing Public Recorder operation: source
	container to new container, new UUID, new prefix, inherited		container to new container, new UUID, new prefix, each inherited
	~~records~~ PROVISIONAL ~~with REFUTED~~ kept ~~REFUTED~~, ~~back-pointers per~~		record landing PROVISIONAL (NOT GRADED kept), INHERITS naming its
	record (D5). Offered on a change request against the TFK or on a		predecessor, and STATUS not inherited, the record landing
	digest-gate failure (see 5.5, 2.5). [I-040]		UNMARKED; a predecessor's REFUTED or WITHDRAWN grade is kept by a
	3.4.2 Inherited records enter as PROVISIONAL regardless of predecessor		WITHDRAWAL of cause INHERITED (3.4.2) (D5). Offered on a change
	~~tag~~, ~~except~~ REFUTED, ~~which~~ stays REFUTED. Promotion requires		request against the TFK or on a digest-gate failure (see 5.5,
	re-derivation under the new TPK. ~~The predecessor tag is recorded~~		2.5). [I-040] [D193.2] [D215.2]
	~~in the back~~-~~pointer only~~. [B-04]		3.4.2 Inherited records enter as PROVISIONAL regardless of the
			predecessor's grade (NOT GRADED for a NOT GRADED class). A
			predecessor's REFUTED or WITHDRAWN grade is kept by the record
			that carries it: in the same instantiation, after the inherited
			records and before the badge, TPX writes in the successor one
			WITHDRAWAL of cause INHERITED per inherited record whose
			predecessor's current grade is REFUTED or WITHDRAWN, its
			status_set that grade, withdrawn_by the predecessor's full
			identifier, prior_status PROVISIONAL, still_stands and cascade
			empty (3.3.3); one of REFUTED also writes STATUS REFUTED in place
			(3.3.14). So REFUTED stays REFUTED and WITHDRAWN stays WITHDRAWN
			in the current grade. Promotion requires re-derivation under the
			new TPK, except the batch re-promotion of 3.4.6, where
			byte-identical inputs stand for re-derivation. [B-04] [D193.2]
			[D202.1] [D215.2]
	3.4.3 Each inherited record is a fresh allocation in the successor's		3.4.3 Each inherited record is a fresh allocation in the successor's
	prefix; its ~~FINDING~~ names the predecessor's full identifier.		prefix; its INHERITS names the predecessor's full identifier; its
	[B-04]		BLOCK, AUTHOR, VETTED_IN, TPS and D_IS are the predecessor's,
			LANDED_BY is "TPX" and LANDED the copy's time. The list-form
			records stay in the source as its audit trail. [B-04] [D193.2]
	3.4.4 A same-digest fork still enters PROVISIONAL (see 2.1.2). [I-061]		3.4.4 A same-digest fork still enters PROVISIONAL (see 2.1.2). [I-061]
	3.4.5 Everything in the successor belongs to the new UUID; back-pointers		3.4.5 Everything in the successor belongs to the new UUID; back-pointers
Line 27:		Line 44:
	3.4.6 A retired predecessor's pages stay readable and its back-pointers		3.4.6 A retired predecessor's pages stay readable and its back-pointers
	resolve directly (see 5.11). [B-10]		resolve directly (see 5.11). [B-10]
	~~OWED: whether~~ CAC ~~may batch~~ re-~~promote same~~-~~digest inherited~~		BATCH RE-PROMOTION (D202.1). At a successor's first CAC, when its
	~~records~~; ~~kind: convention; C~~-05.		D(TPK) and D(TrM) equal the source's, every inherited RESULT that
	3.4.7 The re-audit scope rule for a successor's first CAC ~~may narrow on~~		was ESTABLISHED in the source at the copy and meets 3.2.12's
	~~a yardstick~~-~~only successor~~ (see 2.1.5, 4.1). [C-06]		conditions over the successor's register and TMS is re-promoted
	3.4.8 ASSUMPTION RECORDS inherit as records do (see 3.4.2, 3.4.3);		in one PROMOTION record (3.3.17), bottom-up to a fixed point (TPC
	an inherited record's ASSUMPTIONS field cites the successor's		repromote_batch); otherwise re-derivation as 3.4.2 states. A
	identifiers for them. [D41.2]		record the copy withdrew (3.4.2) was not ESTABLISHED in the
			source and is never re-promoted, and a candidate citing it fails
			3.2.12's conditions. [D202.1] [D215.2]
			3.4.7 The re-audit scope rule for a successor's first CAC, TPC
			reaudit_scope, reads which zones and TMS parameters differ and
			returns the checks to re-run over the inherited records (see
			2.1.5, 4.1.9). [C-06] [D202.1]
			3.4.8 ASSUMPTION RECORDS inherit as records do (see 3.4.2, 3.4.3); an
			inherited record's ASSUMPTIONS field cites the successor's
			identifiers for them. Each carries INHERITS and lands as any
			inherited record does, a WITHDRAWN predecessor's grade kept by
			its WITHDRAWAL of cause INHERITED (3.4.2). [D41.2] [D193.2]
			[D215.2]
	3.4.9 ENTRIES UNDER COPY-FORWARD (D170.1 (e)). A successor of a UWC whose		3.4.9 ENTRIES UNDER COPY-FORWARD (D170.1 (e)). A successor of a UWC whose
	BIBLIOGRAPHY SETTING is ON or CLOSED is ON and inherits the		BIBLIOGRAPHY SETTING is ON or CLOSED is ON and inherits the

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:3.4 Inheritance under copy-forward (TPS 0.3.0)}}		{{DISPLAYTITLE:3.4 Inheritance under copy-forward (TPS 0.3.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 3.4 Inheritance under copy-forward. 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 3.4 Inheritance under copy-forward. 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:3.4 Inheritance under copy-forward (TPS 0.2.0)}}		{{DISPLAYTITLE:3.4 Inheritance under copy-forward (TPS 0.3.0)}}
	''Instruction artifact, machine-optimized text: TPS, section 3.4 Inheritance under copy-forward. 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 3.4 Inheritance under copy-forward. 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 6:		Line 6:
	purpose: inherited records as fresh allocations, PROVISIONAL, REFUTED		purpose: inherited records as fresh allocations, PROVISIONAL, REFUTED
	kept; back-pointers; promotion by re-derivation; batch		kept; back-pointers; promotion by re-derivation; batch
	re-promotion open		re-promotion open; ENVIRONMENT MODULE claims carried
	governs: 3.4 \| version: 0.2.0 (proposed) \| class: instruction artifact		governs: 3.4 \| version: 0.3.0 (proposed) \| class: instruction artifact
	audience: operator, agent		audience: operator, agent

Line 42:		Line 42:
	back-pointers (5.21.2). A successor of an OFF UWC takes the form's		back-pointers (5.21.2). A successor of an OFF UWC takes the form's
	choice. [D170.1]		choice. [D170.1]
			3.4.10 ENVIRONMENT MODULES UNDER COPY-FORWARD (D178.1 (g)). A
			successor's pre-filled draft keeps the source certificate's
			MODULES USED as CARRIED claims, whatever their versions' status
			now, each status shown and none updated by the machine; its
			author keeps or re-selects each, a new claim naming an OFFERED
			version (5.22.5, 5.22.14). The successor's certification fixes
			its claims anew (5.22.15). [D178.1]
	</pre>		</pre>

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