Jump to content

The Principia Machina/Diagrams/05 Copy-forward

From The Invariance Itself
Revision as of 00:00, 16 September 2026 by BFP Rauch (talk | contribs) (TPM bootstrap: structural diagram 5, Copy-forward)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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 source below is the text equivalent of the diagram. Rendering requires a Mermaid extension; without one the source is shown as text, which 4.1 accepts.

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