The Principia Machina/Diagrams/04 CAC check flow: Difference between revisions
m 1 revision imported: TPM bootstrap under PMP-TPM 0.2.0 |
m Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16 |
||
| Line 6: | Line 6: | ||
* 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). | * 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 diagram is rendered live from the source below, which is its text equivalent (4.1). If rendering is unavailable the source still stands. | ||
{{#mermaid: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] | |||
}} | |||
<pre> | <pre> | ||
| Line 25: | Line 42: | ||
CERT --> H[H-DECL lands certificate on DECLARATIONS] | CERT --> H[H-DECL lands certificate on DECLARATIONS] | ||
</pre> | </pre> | ||
Revision as of 13:01, 16 September 2026
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]