BisectPlan
data class BisectPlan(val green: String, val red: String, val greenSha256: String, val redSha256: String, val flips: List<Flip>, val trials: List<Trial> = emptyList())(source)
A bisection over the static attribute differences of a green and a red capsule, run by hand or by a script: each pending set is a test of the green environment with those attributes set to their red values. The plan is the whole state; state replays Ddmin over the recorded trials and stops at the first set that has no recorded outcome. The full set is the red environment and counts as failing; the empty set is the green one and passes.