EffectSeal Replication Package for "Beyond Plans and Permissions: Enforcing Physical Effect Closure in Infrastructure Automation"
This record contains the replication package for the manuscript “Beyond Plans and Permissions: Enforcing Physical Effect Closure in Infrastructure Automation.” The package provides the EffectSeal reference implementation, executable verification tests, controlled Terraform/AWS-provider experiment configurations and fro...