Validation function to check that crate is in a valid state: - [ ] After prospective - [ ] After retrospective (in isolation) - [ ] After combination