Jump to content

The Principia Machina/Diagrams/05 Copy-forward

From The Invariance Itself
Revision as of 13:01, 16 September 2026 by Maintenance script (talk | contribs) (Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16)

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