Shield synthesis is most valuable for analyzing whether a system architecture can be defended at design time, not for enforcing safety during deployment—formal defensibility and operational robustness are distinct properties that require different metrics.
This paper reframes shield synthesis—a technique that uses formal logic to restrict agent actions—as a design-time analysis tool rather than a runtime safety mechanism.