When any wrapped token's balanceOf batch fails inside step_b.fetchAllTokenBalances(), the error is silently discarded. The affected token is absent from the returned balance map, causing Step C to treat its entire LBT supply as SC-locked value. The final certificate sends the whole token supply to exitAddress rather than distributing it across individual EOA holders, excluding those holders from the certificate entirely.
When any wrapped token's balanceOf batch fails inside step_b.fetchAllTokenBalances(), the error is silently discarded. The affected token is absent from the returned balance map, causing Step C to treat its entire LBT supply as SC-locked value. The final certificate sends the whole token supply to exitAddress rather than distributing it across individual EOA holders, excluding those holders from the certificate entirely.