The Principia Machina/Diagrams/05 Copy-forward: Difference between revisions
m 1 revision imported |
Diagram layer page 05 Copy-forward, TPS 0.1.0 |
||
| Line 7: | Line 7: | ||
* KEY: [[The Principia Machina/Diagrams/Key for process diagrams|key for process diagrams]]: what each shape and arrow means; [[The Principia Machina/Diagrams/Terms|definition of terms]]; [[The Principia Machina/TPS 0.1.0/Contents|contents of the specification]] | * KEY: [[The Principia Machina/Diagrams/Key for process diagrams|key for process diagrams]]: what each shape and arrow means; [[The Principia Machina/Diagrams/Terms|definition of terms]]; [[The Principia Machina/TPS 0.1.0/Contents|contents of the specification]] | ||
Rendered live from the source | Rendered live from the source, which is the text equivalent and is shown under the drawing; a wide drawing scrolls sideways inside its frame. | ||
<div style="overflow-x:auto; max-width:100%; border:1px solid #c8ccd1; background:#ffffff; padding:0.5em;"> | |||
{{#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 26: | Line 27: | ||
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 class="mw-collapsible mw-collapsed" style="border:1px solid #c8ccd1; padding:0.3em;">'''Source''' (the text equivalent; Mermaid) | |||
<div class="mw-collapsible-content"> | |||
<pre> | |||
%% 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) | |||
</pre> | |||
</div></div> | |||
== Text equivalent == | == Text equivalent == | ||
Revision as of 20:38, 17 September 2026
Structural diagram 5 of 12. Part of the TPM hub.
- KIND: process
- LANGUAGE: Mermaid sequence
- 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 - KEY: key for process diagrams: what each shape and arrow means; definition of terms; contents of the specification
Rendered live from the source, which is the text equivalent and is shown under the drawing; a wide drawing scrolls sideways inside its frame.
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).