The Principia Machina/Diagrams/05 Copy-forward: Difference between revisions
m Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16 |
Diagram 05 Copy-forward: source, text equivalent, TPS 0.1.0 addresses |
||
| Line 1: | Line 1: | ||
''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 sequence | * LANGUAGE: Mermaid sequence | ||
* GENERATED FROM: static, | * GENERATED FROM: static, TPS 3.4, 5.5.6 | ||
* STATUS: hand-authored at | * STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build | ||
* SOURCE SHA-256: <code>d17f26223d488f901cd82723c7d04b03ef647c739214c1a13639882bba7a6dd1</code> | |||
Rendered live from the source below, which is the text equivalent; if rendering is unavailable the source still stands. | |||
{{#mermaid:sequenceDiagram | {{#mermaid: | ||
participant H as | %% 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 X as TPX | ||
participant P as Predecessor container | participant P as Predecessor container | ||
participant S as Successor container | participant S as Successor container | ||
H- | H->>X: change request against the TFK, or digest-gate failure | ||
X- | X->>H: redirect to the new-container flow, pre-filled from the source (5.5.6) | ||
H- | H->>X: declared TFK for the successor | ||
X- | X->>S: new UUID, new prefix (3.4.1) | ||
X->>P: read records | |||
X- | 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- | X->>S: same checks as any container; first CAC under the re-audit scope rule (4.1.9) | ||
X- | Note over P,S: back-pointers are provenance, not binding (3.4.5) | ||
X- | |||
}} | }} | ||
== 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). | |||
[[Category:The Principia Machina]] | |||
Revision as of 19:49, 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
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).