The Principia Machina/Diagrams/05 Copy-forward

The Principia Machina: map
Reading the diagrams Structure key Process key Definition of terms Roles
Reading by audience Start here: the walk through The operator's guide Tutorial: create a UUID Workspace Container (UWC) Public Recorder inputs Sponsors: your first agent
The specification Contents: parts, tables, diagrams TPS 0.5.0 (declared 2026-10-03, revision 8; machine-optimized text) Decisions (the foundations record, one line each)

Structural diagram 5 of 12. Part of the TPM hub.

• KIND: process
• LANGUAGE: Mermaid
• GENERATED FROM: static, TPS 3.4, 5.5.6
• STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build
• SOURCE SHA-256: b576803e26193d4aae7d5c21044feb6aed3feeba7c5853a4ae64b6e7b467e627

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.

Source (the text equivalent; Mermaid)

%% 05 Copy-forward. process/Mermaid sequence. Generated from: static, TPS 3.4, 5.5.6.
sequenceDiagram
  participant H as Human
  participant X as TPX
  participant P as Predecessor container
  participant S as Successor container
  H->>X: change request against the TFK, or digest-gate failure
  X->>H: redirect to the new-container flow, pre-filled from the source (5.5.6)
  H->>X: declared TFK for the successor
  X->>S: new UUID, new prefix (3.4.1)
  X->>P: read records
  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: 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)

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).