2 problems

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

Compatible-extraction conjecture. If the partitions $(\mathbf p_e)_e$ are given by $\mathbf{divstep}_e(f)^\vee$, then there exists a compatible collection $Y_i\to X_i$ of divisoria…