Spike case of the compatible-extraction conjecture

Let $\triangle$ range over the rectangular triangles considered in the classification theorem, and let a zero mutable Laurent polynomial be one of the classified polynomials named Tom, Jerry, Spike or Tyke. Let the compatible-extraction conjecture assert the existence of a compatible collection of divisorial extractions associated with the dual divisibility-step partitions of the polynomial.

Spike-case conjecture. The compatible-extraction conjecture holds for all cases in the classification theorem called Spike.

The paper states that the corresponding conjecture is proved for all cases called Tom, Jerry or Tyke. The Spike cases are singled out as the remaining conjectural family in the supplied text.