Reachable Check

Kind: invariant

Record: reasoning:invariant-epi-reachable-check

Canonical: Reasoning

Every representation in jurisdiction has a computable check

Listed in Reasoning records, after Accurate Observability and before Declared Domain.

Grounded by

• meta_field
• JURISDICTION
• INVARIANT

Linked from

• Failure shapes
• meta
• invariant
• planning