Aletheia: Permission-Minimality Testing for Coding-Agent Rules
Aletheia tests if a coding agent can complete a task when one permission is removed, while keeping its original instructions. It translates requested authority into a typed language to build safe sandbox configurations. This allows researchers to find malicious intent by verifying functional correctness under reduced authority, proving that certain operations are dispensable.