Management of reverted transactions in StarkNet

Yes, this should cover Sierra + provable reverted transactions: