Show HN: Proctor – signed isolation bundles for AI coding-agent benchmarks