ill-tope-subtle-app-shape-5d.expect.yaml

status: error
error_tag: TypeErrorTopeNotSatisfied
message_contains:
  - "is included in (entails) the tope"
  - "Δ⁵"
regression_for:
  - contextEntails-app-5d-simplex