# Reachable Check

> Every representation in jurisdiction has a computable check

Record: `reasoning:invariant-epi-reachable-check`
Kind: invariant
Canonical: https://banes-lab.com/ontology/reasoning#reasoning-invariant-epi-reachable-check

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Accurate Observability](https://banes-lab.com/records/reasoning/invariant-accurate-observability.md) and before [Declared Domain](https://banes-lab.com/records/reasoning/invariant-epi-declared-domain.md).

## Grounded by

- [JURISDICTION](https://banes-lab.com/records/pag/keyword-meta-jurisdiction.md)
- [INVARIANT](https://banes-lab.com/records/pag/keyword-invariant-invariant.md)
- [meta_field](https://banes-lab.com/records/pag/production-meta-field.md)

## Linked from

- [Failure shapes](https://banes-lab.com/ontology/reasoning/the-failure-shapes.md)
- [meta](https://banes-lab.com/ontology/grammar/pag-keywords-meta.md)
- [invariant](https://banes-lab.com/ontology/grammar/pag-keywords-invariant.md)
- [planning](https://banes-lab.com/ontology/grammar/pag-productions-planning.md)