Jump to content

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

From The Invariance Itself
← Older editNewer edit →

BFP Rauch (talk | contribs)

4 user groups
811 edits
m Add live rendering (graphviz tag / #mermaid) above the text-equivalent source; PMP-TPM diagrams, 2026-09-16
Diagram 04 CAC check flow: source, text equivalent, TPS 0.1.0 addresses
Line 1: Line 1:
''Structural diagram 4 of 12. Part of [[The Principia Machina/Hub|the TPM hub]].''
''Structural diagram 4 of 12.'' Part of [[The Principia Machina/Hub|the TPM hub]].
 
* KIND: process
* KIND: process
* LANGUAGE: Mermaid flow
* LANGUAGE: Mermaid flow
* GENERATED FROM: static, CAC piece check list
* GENERATED FROM: static, TPS 4.2 check list, 4.1.3
* 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 TPS 0.1.0; superseded by TPX at its first build
* SOURCE SHA-256: <code>e49ef92f71fd2920d77e6928bfe77a9457c60fe54ea1be43877307971dfe5939</code>


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


{{#mermaid:flowchart TD
{{#mermaid:
   S[CAC invoked on draft or container] --&gt; T1[Kernel tests T1-T6 on TPK]
%% 04 CAC check flow. process/Mermaid flow. Generated from: static, TPS 4.2 check list, 4.1.3.
  T1 -- fail --&gt; R[Return rejected component to author]
flowchart TD
  T1 -- pass --&gt; I4[Four isomorphism checks on TrM: TOTAL, SURJECTIVE, INJECTIVE, STRUCTURE-PRESERVING]
   A[zone checks: T1-T6, four isomorphism checks, SR9 C1-C5, rows 34, 35, 17, 18] --> B[digests D-TPK, D-TrM, D-TMS, D-TFK, row 2]
  I4 -- fail --&gt; R
   B --> C[prefix unique across TPM, row 14]
  I4 -- pass --&gt; C9[SR9 C1-C5 on every TMS entry; k, N_x, STEP CONVENTION declared]
   C --> D[assumptions atomic, row 23]
   C9 -- fail --&gt; R
   D --> E[regime assigned L or M, row 19]
  C9 -- pass --&gt; P[Prefix unique across TPM D1]
   E --> F[every record checked against the register and the master record 4.1.2]
   P -- fail --&gt; R
   F --> G[contradiction tests SR3; distance SR4; ordering SR5; independence count SR6, rows 20, 21, 22, 24]
   P -- pass --&gt; D[Compute D TPK, D TrM, D TMS, D TFK]
   G -- all pass --> H[(candidate certificate to staging 5.5.3)]
   D --&gt; M[Check register against itself and against master record; SR1-SR8]
   G -- strike --> I[(WITHDRAWAL record 4.6.1)]
   M -- contradiction --&gt; K[Strike per SR5, or audit block per SR5 equal-d, SR6 N_x]
   G -- equal distance, N_x reached, or gold-standard case --> J[audit block: ends in a decision item 4.1.5]
   K --&gt; DI[Decision item under MRG; round halts]
  A -- rejected component --> K[/returned to the author 5.5.2/]
   M -- clean --&gt; CERT[Candidate certificate written to staging]
   CERT --&gt; H[H-DECL lands certificate on DECLARATIONS]
}}
}}


<pre>
== Text equivalent ==
flowchart TD
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).
  S[CAC invoked on draft or container] --&gt; T1[Kernel tests T1-T6 on TPK]
 
  T1 -- fail --&gt; R[Return rejected component to author]
[[Category:The Principia Machina]]
  T1 -- pass --&gt; I4[Four isomorphism checks on TrM: TOTAL, SURJECTIVE, INJECTIVE, STRUCTURE-PRESERVING]
 
  I4 -- fail --&gt; R
  I4 -- pass --&gt; C9[SR9 C1-C5 on every TMS entry; k, N_x, STEP CONVENTION declared]
  C9 -- fail --&gt; R
  C9 -- pass --&gt; P[Prefix unique across TPM D1]
  P -- fail --&gt; R
  P -- pass --&gt; D[Compute D TPK, D TrM, D TMS, D TFK]
  D --&gt; M[Check register against itself and against master record; SR1-SR8]
  M -- contradiction --&gt; K[Strike per SR5, or audit block per SR5 equal-d, SR6 N_x]
  K --&gt; DI[Decision item under MRG; round halts]
  M -- clean --&gt; CERT[Candidate certificate written to staging]
  CERT --&gt; H[H-DECL lands certificate on DECLARATIONS]
</pre>

Revision as of 19:49, 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

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

Retrieved from "https://invarians.org/index.php?title=The_Principia_Machina/Diagrams/04_CAC_check_flow&oldid=1160"