3.4 Inheritance under copy-forward (TPS 0.1.1)

Instruction artifact, machine-optimized text: TPS 0.1.1, section 3.4 Inheritance under copy-forward. Part of TPS 0.1.1 and 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). Version 0.1.1 changes only the status lines (this lead, the title's version and the header's version line); H-DECL declares it. The text below is this section of the TPS 0.1.1 artifact, verbatim; the whole artifact and its file digest are on The Principia Machina/TPS. Human readers: the contents page is the map.

TPS 3.4  INHERITANCE UNDER COPY-FORWARD
purpose: inherited records as fresh allocations, PROVISIONAL, REFUTED
         kept; back-pointers; promotion by re-derivation; batch
         re-promotion open
governs: 3.4 | version: 0.1.1 | class: instruction artifact
audience: operator, agent

3.4.1  COPY-FORWARD is a standing Public Recorder operation: source
       container to new container, new UUID, new prefix, inherited
       records PROVISIONAL with REFUTED kept REFUTED, back-pointers per
       record (D5). Offered on a change request against the TFK or on a
       digest-gate failure (see 5.5, 2.5). [I-040]
3.4.2  Inherited records enter as PROVISIONAL regardless of predecessor
       tag, except REFUTED, which stays REFUTED. Promotion requires
       re-derivation under the new TPK. The predecessor tag is recorded
       in the back-pointer only. [B-04]
3.4.3  Each inherited record is a fresh allocation in the successor's
       prefix; its FINDING names the predecessor's full identifier.
       [B-04]
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
       are provenance, not binding. [I-060]
3.4.6  A retired predecessor's pages stay readable and its back-pointers
       resolve directly (see 5.11). [B-10]
       OWED: whether CAC may batch re-promote same-digest inherited
       records; kind: convention; C-05.
3.4.7  The re-audit scope rule for a successor's first CAC may narrow on
       a yardstick-only successor (see 2.1.5, 4.1). [C-06]
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. [D41.2]