A Frozen Test Can't Justify a Patch: Lease-Bound Freezes and Witnessed Properties for Agent Patches

The most expensive test in an agent patch is the one nobody runs. It sits in the suite, green, on a...