The Principia Machina/Diagrams/07 Strike-rule flow

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