Across the six reviewed systems, coverage depends on runtime-owned declarations rather than a reusable shared contract; none controls exogenous reactions (A8), and no system covers the full anomaly catalog. · CiteArk
Across the six reviewed systems, coverage depends on runtime-owned declarations rather than a reusable shared contract; none controls exogenous reactions (A8), and no system covers the full anomaly catalog.
来源:paper:PDF p. 7, Section 3.2; Markdown block p7-b66