Hi. I have a question about
verify_deprecation in multi sends case.
single transfer -> multi sends transfer
Alice has range(0-100) and range(200-300) in block 1.
Alice sends range(0-100) and range(200-300) to Bob in block 2.
Of course, when Alice attempts exit range(0-100) in block 1, Bob can cancel Alice’s exit with block 2. And then Bob should show inclusions of both range(0-100) and range(200-300) because we wanna keep this multi-sends transaction atomically.
In pigi’s construction, verify_deprecation is chosen by exit state.
assert exit.update.predicateAddress.verifyDeprecation(stateID, exit.update, deprecationWitness)
So, where can we check all inclusions of deprecation state?