The anomaly catalog is coverage-oriented rather than proven complete: the authors conjecture that every modeled loss of transactional control falls into one of the three families, while formal coverage, minimality, and independence remain future work and absolute completeness is unavailable in an open world. · CiteArk
The anomaly catalog is coverage-oriented rather than proven complete: the authors conjecture that every modeled loss of transactional control falls into one of the three families, while formal coverage, minimality, and independence remain future work and absolute completeness is unavailable in an open world.
来源：paper:PDF p. 7, Section 3.3; Markdown block p7-b68
