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 diagram is rendered live from the source below, which is its text equivalent (4.1). If rendering is unavailable the source still stands.

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]