A DAML transaction as submitted to a ledger post interpretation has all the information needed to do either scheduling and collision detection, or validation by reinterpretation. So I’m wondering whether all DAML Ledgers do the two in the same order. If so, what happens first? If I have both a stale input contract, and a wrong negative key lookup, which error do I get?
What if the stale input contract, and the negative key lookup are known to different validators only? Is there some guarantee about which of the errors I get back through the API?