The Principia Machina/Diagrams/04 CAC check flow

The Principia Machina: map
Reading the diagrams Structure key Process key Definition of terms Roles
Reading by audience Start here: the walk through The operator's guide Tutorial: create a UUID Workspace Container (UWC) Public Recorder inputs Sponsors: your first agent
The specification Contents: parts, tables, diagrams TPS 0.5.0 (declared 2026-10-03, revision 8; machine-optimized text) Decisions (the foundations record, one line each)

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

• KIND: process
• LANGUAGE: Mermaid
• GENERATED FROM: static, TPS 4.2 check list, 4.1.3
• STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build
• SOURCE SHA-256: 0c0cbd9fa6b99d9388b1d6c46b57109ea8769a984f88dc4f060be19d5101ae82

Rendered live from the source, which is the text equivalent and is shown under the drawing. The key to the shapes is in the panel.

Source (the text equivalent; Mermaid)

%% 04 CAC check flow. process/Mermaid flow. Generated from: static, TPS 4.2 check list, 4.1.3.
flowchart TD
  A[zone checks: T1-T6,<br/>four isomorphism checks,<br/>SR9 C1-C5<br/>rows 34, 35, 17, 18] --> B[digests D-TPK, D-TrM,<br/>D-TMS, D-TFK<br/>row 2]
  B --> C[prefix unique across TPM<br/>row 14]
  C --> D[assumptions atomic<br/>row 23]
  D --> E[regime assigned, L or M<br/>row 19]
  E --> F[every record checked against<br/>the register and the master record<br/>TPS 4.1.2]
  F --> G[contradiction tests SR3,<br/>distance SR4, ordering SR5,<br/>independence count SR6<br/>rows 20, 21, 22, 24]
  G -- all pass --> H[(candidate certificate<br/>to staging<br/>TPS 5.5.3)]
  G -- strike --> I[(WITHDRAWAL record<br/>TPS 4.6.1)]
  G -- equal distance, N_x reached,<br/>or gold-standard case --> J[audit block:<br/>ends in a decision item<br/>TPS 4.1.5]
  A -- rejected component --> K[/returned to the author<br/>TPS 5.5.2/]

  classDef task fill:#eaecf0,stroke:#a2a9b1,color:#202122
  classDef human fill:#eaf3ff,stroke:#36c,color:#202122
  classDef data fill:#fef6e7,stroke:#ac6600,color:#202122
  classDef bad fill:#fee7e6,stroke:#d33,color:#202122
  classDef good fill:#d5fdf4,stroke:#14866d,color:#202122
  class A,B,C,D,E,F,G,J task
  class K human
  class H good
  class I bad

Text equivalent

At certification the CAC runs the zone checks (4.2 rows 34, 35, 17, 18), the digests (row 2), prefix uniqueness (row 14), atomicity of assumptions (row 23) and regime assignment (row 19), then checks every record against the register and the master record (4.1.2) and applies SR3 to SR6 (rows 20, 21, 22, 24). All passing yields the candidate certificate (5.5.3); a contradiction yields a withdrawal record (4.6.1); equal distance, a reached N_x or a gold-standard case opens an audit block ending in a decision item (4.1.5). A rejected component returns to its author (5.5.2).