The Principia Machina/Diagrams/04 CAC check flow

Structural diagram 4 of 12. Part of the TPM hub.

• KIND: process
• LANGUAGE: Mermaid flow
• GENERATED FROM: static, CAC piece check list
• 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.

flowchart TD
  S[CAC invoked on draft or container] --> T1[Kernel tests T1-T6 on TPK]
  T1 -- fail --> R[Return rejected component to author]
  T1 -- pass --> I4[Four isomorphism checks on TrM: TOTAL, SURJECTIVE, INJECTIVE, STRUCTURE-PRESERVING]
  I4 -- fail --> R
  I4 -- pass --> C9[SR9 C1-C5 on every TMS entry; k, N_x, STEP CONVENTION declared]
  C9 -- fail --> R
  C9 -- pass --> P[Prefix unique across TPM D1]
  P -- fail --> R
  P -- pass --> D[Compute D TPK, D TrM, D TMS, D TFK]
  D --> M[Check register against itself and against master record; SR1-SR8]
  M -- contradiction --> K[Strike per SR5, or audit block per SR5 equal-d, SR6 N_x]
  K --> DI[Decision item under MRG; round halts]
  M -- clean --> CERT[Candidate certificate written to staging]
  CERT --> H[H-DECL lands certificate on DECLARATIONS]