How would you deal with inherited types of a model?

[anphetamina]

Let's say you have different types of Batch that deal with different types of OrderLine, each type is derived from their related base classes.
Consider this use case: you can sale a Batch to a buyer that can verify the purchase by validating a proof using an information contained in another object that is stored on the network that you can retrieve by a different service. Each type of Batch implements a different type of validation.
How would you design this case using the architecture depicted on the book?