The Principia Machina/Diagrams/07 Strike-rule flow: Difference between revisions

Revision as of 19:49, 17 September 2026

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

KIND: process
LANGUAGE: Mermaid flow
GENERATED FROM: static, TPS 4.4
STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build
SOURCE SHA-256: 530ed582bffc4ca5bb1549b35d36af31eb607971eacbe7088c4903ffb06b6ed0

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

Text equivalent

A record enters with FINDING, ASSUMPTIONS and REGIME. SR1 strikes it without ranking if its FINDING with the TFK derives a contradiction. SR2 lets it stand while its derivation is valid and nothing standing contradicts it. On a contradiction, SR3 applies the regime test; SR7 protects an L derivation from an M contradiction, recording a named gap when a(r) is above 0 or, when a(r) is 0, a DOMAIN finding declared by a human. Otherwise SR4 computes distance and SR5 keeps the closer record; equal distance opens an audit block, and SR6 opens one when independent contradictions reach N_x. The audit block ends in a decision item (4.4, 4.1.5).

@@ Line 1: / Line 1: @@
-''Structural diagram 7 of 12. Part of [[The Principia Machina/Hub|the TPM hub]].''
+''Structural diagram 7 of 12.'' Part of [[The Principia Machina/Hub|the TPM hub]].
 * KIND: process
 * LANGUAGE: Mermaid flow
-* GENERATED FROM: static, D16
+* GENERATED FROM: static, TPS 4.4
-* 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>530ed582bffc4ca5bb1549b35d36af31eb607971eacbe7088c4903ffb06b6ed0</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:
-   R[Record r at CAC] --&gt; SR1{SR1: FINDING with TFK derives a contradiction?}
+%% 07 Strike-rule flow. process/Mermaid flow. Generated from: static, TPS 4.4.
-   SR1 -- yes --&gt; STRUCK1[Struck without ranking]
+flowchart TD
-   SR1 -- no --&gt; SR2{SR2: derivation from TFK plus ASSUMPTIONS valid?}
+   R[(record r with FINDING, ASSUMPTIONS, REGIME)] --> S1[SR1: does FINDING with the TFK derive a contradiction?]
-  SR2 -- no --&gt; STRUCK1
+   S1 -- yes --> X1[(struck at CAC without ranking)]
-  SR2 -- yes --&gt; C{Standing record contradicts r?}
+   S1 -- no --> S2[SR2: derivation valid and no standing record contradicts?]
-   C -- no --&gt; STANDS[r stands]
+   S2 -- yes --> ST[(stands)]
-   C -- yes --&gt; REG[SR3: apply regime test L-L, M-M after SR8 scaling, or L-M]
+   S2 -- contradiction --> S3[SR3: regime test L-L, M-M with k, or L-M]
-   REG -- no contradiction survives --&gt; STANDS
+   S3 --> S7[SR7: M contradiction against an L record?]
-  REG -- contradiction --&gt; SR7{SR7: M contradiction against L derivation?}
+   S7 -- yes, a of r above 0 --> G[(named gap against ASSUMPTIONS)]
-   SR7 -- yes, a r greater than 0 --&gt; GAP[Named gap against r's ASSUMPTIONS; r stands]
+   S7 -- yes, a of r is 0 --> DM[/DOMAIN restriction or successor container, declared by a human/]
-   SR7 -- yes, a r equals 0 --&gt; DOM[Finding against TFK DOMAIN; human declares restriction or successor]
+   S7 -- no --> S4[SR4: distance d = a of r, s of r]
-   SR7 -- no --&gt; SR4[SR4: d r = a r, s r lexicographic]
+   S4 --> S5[SR5: smaller d stands; other struck; locus recorded]
-   SR4 --&gt; SR5{SR5: compare d}
+   S5 -- equal d --> AB[audit block]
-   SR5 -- r closer --&gt; OTHER[Other record struck; locus recorded]
+   S4 --> S6[SR6: independent contradictions counted]
-   SR5 -- r farther --&gt; SR6{SR6: independent contradictions n_ind r &gt;= N_x?}
+   S6 -- n_ind reaches N_x --> AB
-   SR5 -- equal --&gt; AUDIT[Audit block; decision item]
+   AB --> DI[/decision item: strike r, restrict DOMAIN, or find against the contradictions/]
-   SR6 -- no --&gt; STRUCKR[r struck; its extra ASSUMPTIONS are the locus]
-  SR6 -- yes --&gt; AUDIT
 }}
-<pre>
+== Text equivalent ==
-flowchart TD
+A record enters with FINDING, ASSUMPTIONS and REGIME. SR1 strikes it without ranking if its FINDING with the TFK derives a contradiction. SR2 lets it stand while its derivation is valid and nothing standing contradicts it. On a contradiction, SR3 applies the regime test; SR7 protects an L derivation from an M contradiction, recording a named gap when a(r) is above 0 or, when a(r) is 0, a DOMAIN finding declared by a human. Otherwise SR4 computes distance and SR5 keeps the closer record; equal distance opens an audit block, and SR6 opens one when independent contradictions reach N_x. The audit block ends in a decision item (4.4, 4.1.5).
-  R[Record r at CAC] --&gt; SR1{SR1: FINDING with TFK derives a contradiction?}
-  SR1 -- yes --&gt; STRUCK1[Struck without ranking]
+[[Category:The Principia Machina]]
-  SR1 -- no --&gt; SR2{SR2: derivation from TFK plus ASSUMPTIONS valid?}
-  SR2 -- no --&gt; STRUCK1
-  SR2 -- yes --&gt; C{Standing record contradicts r?}
-  C -- no --&gt; STANDS[r stands]
-  C -- yes --&gt; REG[SR3: apply regime test L-L, M-M after SR8 scaling, or L-M]
-  REG -- no contradiction survives --&gt; STANDS
-  REG -- contradiction --&gt; SR7{SR7: M contradiction against L derivation?}
-  SR7 -- yes, a r greater than 0 --&gt; GAP[Named gap against r's ASSUMPTIONS; r stands]
-  SR7 -- yes, a r equals 0 --&gt; DOM[Finding against TFK DOMAIN; human declares restriction or successor]
-  SR7 -- no --&gt; SR4[SR4: d r = a r, s r lexicographic]
-  SR4 --&gt; SR5{SR5: compare d}
-  SR5 -- r closer --&gt; OTHER[Other record struck; locus recorded]
-  SR5 -- r farther --&gt; SR6{SR6: independent contradictions n_ind r &gt;= N_x?}
-  SR5 -- equal --&gt; AUDIT[Audit block; decision item]
-  SR6 -- no --&gt; STRUCKR[r struck; its extra ASSUMPTIONS are the locus]
-  SR6 -- yes --&gt; AUDIT
-</pre>

BFP Rauch (talk | contribs)

Revision as of 19:49, 17 September 2026

Text equivalent