The if emitAssets.GT(Y) should be if emitAssets.GTE(Y) for supporting “just-enough” swap that would round down the pool into bootstrap mode.