For each anomaly, the paper maps the forbidden effect-history pattern to a boundary capability needed for general exclusion and groups the resulting exclusions into four safety guarantee profiles. · CiteArk
For each anomaly, the paper maps the forbidden effect-history pattern to a boundary capability needed for general exclusion and groups the resulting exclusions into four safety guarantee profiles.
来源：paper:PDF pp. 4 and 6, Table 2 and Section 3.1; Markdown blocks p4-b30-p4-b32 and p6-b59-p6-b61
