Intervention studies in proof search, with structural comparison across runs.