pub fn validate_assertions( catalog: &Catalog, assertions: &[ReadAssertion], ) -> Result<(), AedbError>