The Structural Integrity Test: A Congruence Theorem for Summary-Based Systems

Indexed indatacite

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

Citation impact

4
total citations
FWCI
96.67
Percentile
99%
References
0
Too recent for citation history.

Authors

1

Topics & keywords

Keywords
  • Congruence (geometry)
  • Axiom
  • Algebra over a field
  • Space (punctuation)
  • Witness
  • Detector
UN Sustainable Development Goals
  • Peace, Justice and strong institutions
No related works found for this paper.