Jump to content

The Principia Machina/Diagrams/04 CAC check flow: Difference between revisions

From The Invariance Itself
m 1 revision imported
Diagram page 04 CAC check flow, TPS 0.1.0
Line 5: Line 5:
* STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build
* STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build
* SOURCE SHA-256: <code>e49ef92f71fd2920d77e6928bfe77a9457c60fe54ea1be43877307971dfe5939</code>
* SOURCE SHA-256: <code>e49ef92f71fd2920d77e6928bfe77a9457c60fe54ea1be43877307971dfe5939</code>
* KEY: [[The Principia Machina/Diagrams/Key for process diagrams|key for process diagrams]]: what each shape and arrow means


Rendered live from the source below, which is the text equivalent; if rendering is unavailable the source still stands.
Rendered live from the source below, which is the text equivalent; if rendering is unavailable the source still stands.

Revision as of 19:59, 17 September 2026

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

  • KIND: process
  • LANGUAGE: Mermaid flow
  • 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: e49ef92f71fd2920d77e6928bfe77a9457c60fe54ea1be43877307971dfe5939
  • KEY: key for process diagrams: what each shape and arrow means

Rendered live from the source below, which is the text equivalent; if rendering is unavailable the source still stands.

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).