The Structural Integrity Test: A Congruence Theorem for Summary-Based Systems
Abstract
Meta-theorem unifying domain-specific summary-failure detectors under a single congruence formulation ker(sigma). Axioms D1-D6 collapse the admissible detector space via forcing-elimination to a single Boolean form; three witness families (EB shared-factor overcounting, UHA frame-dependence, eBIOS provenance-dependence) instantiate SIT failure constructively. Companion to the characterisation theorem (concept DOI 10.5281/zenodo.19676236). YouTube: @EricDMartin @UniversalHorizonAddress @CarrierSet Updated 2026-05-28
Fields of Study & Subjects
Software Testing and Debugging Techniques
Logic
programming
and type systems
Distributed systems and fault tolerance
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 22 April 2026
- Language
- EN