The Principia Machina/Diagrams/05 Copy-forward: Difference between revisions
m 1 revision imported: TPM bootstrap under PMP-TPM 0.2.0 |
m Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16 |
||
| Line 6: | Line 6: | ||
* STATUS: hand-authored at PMP-TPM 0.2.0 from foundations record 0.5.0 section 4.1; superseded by TPX at its first build (D21, structural diagram pages are TPX output). | * STATUS: hand-authored at PMP-TPM 0.2.0 from foundations record 0.5.0 section 4.1; superseded by TPX at its first build (D21, structural diagram pages are TPX output). | ||
The source below is | The diagram is rendered live from the source below, which is its text equivalent (4.1). If rendering is unavailable the source still stands. | ||
{{#mermaid:sequenceDiagram | |||
participant H as H-DECL | |||
participant X as TPX | |||
participant P as Predecessor container | |||
participant S as Successor container | |||
H->>X: change request against TFK, or digest-gate failure | |||
X->>H: offer COPY-FORWARD (pre-filled draft) or empty draft | |||
H->>X: choose COPY-FORWARD | |||
X->>S: new DRAFT CONTAINER from P's TFK, edited | |||
X->>X: zone checks; digests; UUID; new prefix (D1) | |||
X->>H: candidate certificate to staging | |||
H->>X: land certificate on DECLARATIONS (CERTIFIED) | |||
X->>S: write TFK pages; init register volume 1 OPEN | |||
X->>S: inherit P's records as PROVISIONAL; REFUTED stays REFUTED; fresh identifiers; back-pointer per record | |||
X->>P: freeze; forward pointer to S | |||
X->>S: manifest, library page, badge (last); BUILD CHAIN line | |||
}} | |||
<pre> | <pre> | ||
| Line 26: | Line 44: | ||
X->>S: manifest, library page, badge (last); BUILD CHAIN line | X->>S: manifest, library page, badge (last); BUILD CHAIN line | ||
</pre> | </pre> | ||
Revision as of 13:01, 16 September 2026
Structural diagram 5 of 12. Part of the TPM hub.
- KIND: process
- LANGUAGE: Mermaid sequence
- GENERATED FROM: static, D5
- STATUS: hand-authored at PMP-TPM 0.2.0 from foundations record 0.5.0 section 4.1; superseded by TPX at its first build (D21, structural diagram pages are TPX output).
The diagram is rendered live from the source below, which is its text equivalent (4.1). If rendering is unavailable the source still stands.
sequenceDiagram participant H as H-DECL participant X as TPX participant P as Predecessor container participant S as Successor container H->>X: change request against TFK, or digest-gate failure X->>H: offer COPY-FORWARD (pre-filled draft) or empty draft H->>X: choose COPY-FORWARD X->>S: new DRAFT CONTAINER from P's TFK, edited X->>X: zone checks; digests; UUID; new prefix (D1) X->>H: candidate certificate to staging H->>X: land certificate on DECLARATIONS (CERTIFIED) X->>S: write TFK pages; init register volume 1 OPEN X->>S: inherit P's records as PROVISIONAL; REFUTED stays REFUTED; fresh identifiers; back-pointer per record X->>P: freeze; forward pointer to S X->>S: manifest, library page, badge (last); BUILD CHAIN line