The Principia Machina/Diagrams/04 CAC check flow: Difference between revisions
m 1 revision imported |
Diagram layer page 04 CAC check flow, TPS 0.1.0 |
||
| Line 4: | Line 4: | ||
* GENERATED FROM: static, TPS 4.2 check list, 4.1.3 | * 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 | * STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build | ||
* SOURCE SHA-256: <code> | * SOURCE SHA-256: <code>6eb7d5ca65feb893cb63873aec2357b4171949a2d1707bf8411c18f5cf25297c</code> | ||
* KEY: [[The Principia Machina/Diagrams/Key for process diagrams|key for process diagrams]]: what each shape and arrow means | * KEY: [[The Principia Machina/Diagrams/Key for process diagrams|key for process diagrams]]: what each shape and arrow means; [[The Principia Machina/Diagrams/Terms|definition of terms]]; [[The Principia Machina/TPS 0.1.0/Contents|contents of the specification]] | ||
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. | ||
| Line 12: | Line 12: | ||
%% 04 CAC check flow. process/Mermaid flow. Generated from: static, TPS 4.2 check list, 4.1.3. | %% 04 CAC check flow. process/Mermaid flow. Generated from: static, TPS 4.2 check list, 4.1.3. | ||
flowchart TD | flowchart TD | ||
A[zone checks: T1-T6, four isomorphism checks, SR9 C1-C5 | 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 | B --> C[prefix unique across TPM<br/>row 14] | ||
C --> D[assumptions atomic | C --> D[assumptions atomic<br/>row 23] | ||
D --> E[regime assigned L or M | D --> E[regime assigned, L or M<br/>row 19] | ||
E --> F[every record checked against the register and the master record 4.1.2] | E --> F[every record checked against<br/>the register and the master record<br/>4.1.2] | ||
F --> G[contradiction tests SR3 | 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 to staging 5.5.3)] | G -- all pass --> H[(candidate certificate<br/>to staging<br/>5.5.3)] | ||
G -- strike --> I[(WITHDRAWAL record 4.6.1)] | G -- strike --> I[(WITHDRAWAL record<br/>4.6.1)] | ||
G -- equal distance, N_x reached, or gold-standard case --> J[audit block: ends in a decision item 4.1.5] | G -- equal distance, N_x reached,<br/>or gold-standard case --> J[audit block:<br/>ends in a decision item<br/>4.1.5] | ||
A -- rejected component --> K[/returned to the author 5.5.2/] | A -- rejected component --> K[/returned to the author<br/>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 | |||
|config.theme=neutral}} | |||
== Text equivalent == | == Text equivalent == | ||
Revision as of 20:15, 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:
6eb7d5ca65feb893cb63873aec2357b4171949a2d1707bf8411c18f5cf25297c - KEY: key for process diagrams: what each shape and arrow means; definition of terms; contents of the specification
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).