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 5: | Line 5: | ||
* 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> | ||
* KEY: [[The Principia Machina/Diagrams/Key for process diagrams|key for process diagrams]]: what each shape and arrow means | * 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 below, which is the text equivalent; if rendering is unavailable the source still stands. | Rendered live from the source below, which is the text equivalent; if rendering is unavailable the source still stands. | ||
| Line 25: | Line 25: | ||
X->>S: same checks as any container; first CAC under the re-audit scope rule (4.1.9) | 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) | Note over P,S: back-pointers are provenance, not binding (3.4.5) | ||
}} | |config.theme=neutral}} | ||
== Text equivalent == | == Text equivalent == | ||
Revision as of 20:15, 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 below, which is the text equivalent; if rendering is unavailable the source still stands.
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).