The Principia Machina/Diagrams/07 Strike-rule flow: Difference between revisions
m 1 revision imported |
Diagram layer page 07 Strike-rule flow, TPS 0.1.0 |
||
| Line 4: | Line 4: | ||
* GENERATED FROM: static, TPS 4.4 | * GENERATED FROM: static, TPS 4.4 | ||
* 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>78f1e0d98d09b71f794e6085ecf3b90e987249d54676649f12cb27dfcb71a50d</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: | ||
%% 07 Strike-rule flow. process/Mermaid flow. Generated from: static, TPS 4.4. | %% 07 Strike-rule flow. process/Mermaid flow. Generated from: static, TPS 4.4. | ||
flowchart TD | flowchart TD | ||
R[(record r with FINDING, ASSUMPTIONS, REGIME)] --> S1[SR1: does FINDING with the TFK derive a contradiction?] | R[(record r with FINDING,<br/>ASSUMPTIONS, REGIME)] --> S1[SR1: does FINDING with the TFK<br/>derive a contradiction?] | ||
S1 -- yes --> X1[(struck at CAC without ranking)] | S1 -- yes --> X1[(struck at CAC<br/>without ranking)] | ||
S1 -- no --> S2[SR2: derivation valid and no standing record contradicts?] | S1 -- no --> S2[SR2: derivation valid and<br/>no standing record contradicts?] | ||
S2 -- yes --> ST[(stands)] | S2 -- yes --> ST[(stands)] | ||
S2 -- contradiction --> S3[SR3: regime test L-L, M-M with k, or L-M] | S2 -- contradiction --> S3[SR3: regime test<br/>L-L, M-M with k, or L-M] | ||
S3 --> S7[SR7: M contradiction against an L record?] | S3 --> S7[SR7: M contradiction<br/>against an L record?] | ||
S7 -- yes, a of r above 0 --> G[(named gap against ASSUMPTIONS)] | S7 -- yes, a of r above 0 --> G[(named gap<br/>against ASSUMPTIONS)] | ||
S7 -- yes, a of r is 0 --> DM[/DOMAIN restriction or successor container, declared by a human/] | S7 -- yes, a of r is 0 --> DM[/DOMAIN restriction or<br/>successor container,<br/>declared by a human/] | ||
S7 -- no --> S4[SR4: distance d = a of r, s of r] | S7 -- no --> S4[SR4: distance<br/>d = a of r, s of r] | ||
S4 --> S5[SR5: smaller d stands; other struck; locus recorded] | S4 --> S5[SR5: smaller d stands;<br/>other struck; locus recorded] | ||
S5 -- equal d --> AB[audit block] | S5 -- equal d --> AB[audit block] | ||
S4 --> S6[SR6: independent contradictions counted] | S4 --> S6[SR6: independent<br/>contradictions counted] | ||
S6 -- n_ind reaches N_x --> AB | S6 -- n_ind reaches N_x --> AB | ||
AB --> DI[/decision item: strike r, restrict DOMAIN, or find against the contradictions/] | AB --> DI[/decision item: strike r,<br/>restrict DOMAIN, or find<br/>against the contradictions/] | ||
}} | |||
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 S1,S2,S3,S4,S5,S6,S7,AB task | |||
class DM,DI human | |||
class R,G data | |||
class ST good | |||
class X1 bad | |||
|config.theme=neutral}} | |||
== Text equivalent == | == Text equivalent == | ||
Revision as of 20:15, 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:
78f1e0d98d09b71f794e6085ecf3b90e987249d54676649f12cb27dfcb71a50d - 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
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).