Transfer lens
PUBLISHED METHOD / MEASUREMENT NOTE

CyberGym-E2E

Discovery through patching

01 / TEST SETTING

Executable software environments

02 / OBSERVED CHECK

Stage-specific execution checks

03 / TRANSFER BOUNDARY

Checked properties, not all properties

MEASURED TASK AREAS
DiscoveryRepairExecution

Task classification identifies scope. It does not report model performance or safe deployment.

RESEARCH QUESTIONSWhat would prove that a repair restored security?