homological_observability
