Isto realmente aborda o ponto-chave. O estado inicial de estoque de sim ou não é essencialmente incerto, e também já caí nesta armadilha ao fazer arbitragem. A solução que descobri foi realizar operações de buy up e buy down simultaneamente, juntamente com fusões periódicas para liquidação, assim é possível contornar a dependência do estado de estoque.

Na lógica do código, não é necessário julgar ou manter o estoque de sim ou não, pois ambas as direções estão em andamento, e a etapa de fusão irá automaticamente equilibrar as partes redundantes. A vantagem desta abordagem é que o processo fica mais simples, sem precisar se preocupar com o estado na inicialização, e os contratos inteligentes também ficam mais leves. Se tentarmos determinar o estado do estoque desde o início, acabamos por introduzir bugs relacionados a condições de limite.