The Principia Machina/Diagrams/05 Copy-forward: Difference between revisions
m 1 revision imported |
Human-facing page: 05 Copy-forward |
||
| Line 1: | Line 1: | ||
{{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 12.'' Part of [[The Principia Machina/Hub|the TPM hub]]. | ||
* KIND: process | * KIND: process | ||
* 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; superseded by TPX at its first build | ||
* SOURCE SHA-256: <code>d17f26223d488f901cd82723c7d04b03ef647c739214c1a13639882bba7a6dd1</code> | * SOURCE SHA-256: <code>d17f26223d488f901cd82723c7d04b03ef647c739214c1a13639882bba7a6dd1</code> | ||
Rendered live from the source, which is the text equivalent and is shown under the drawing | 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. | ||
<div style="overflow-x:auto; max-width:100%; border:1px solid #c8ccd1; background:#ffffff; padding:0.5em;"> | <onlyinclude><div style="clear:both; overflow-x:auto; max-width:100%; border:1px solid #c8ccd1; background:#ffffff; padding:0.5em; margin:0.5em 0;"> | ||
{{#mermaid: | {{#mermaid: | ||
%% 05 Copy-forward. process/Mermaid sequence. Generated from: static, TPS 3.4, 5.5.6. | %% 05 Copy-forward. process/Mermaid sequence. Generated from: static, TPS 3.4, 5.5.6. | ||
| Line 29: | Line 28: | ||
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}} | ||
</div> | </div></onlyinclude> | ||
<div class="mw-collapsible mw-collapsed" style="border:1px solid #c8ccd1; padding:0.3em;">'''Source''' (the text equivalent; Mermaid) | <div class="mw-collapsible mw-collapsed" style="clear:both; border:1px solid #c8ccd1; padding:0.3em;">'''Source''' (the text equivalent; Mermaid) | ||
<div class="mw-collapsible-content"> | <div class="mw-collapsible-content"> | ||
<pre> | <pre> | ||
Revision as of 21:48, 17 September 2026
| 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:
d17f26223d488f901cd82723c7d04b03ef647c739214c1a13639882bba7a6dd1
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).