Diagram 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 13. 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; 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:
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.
%% 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 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).