e.input.format.floor.fact.shape.f¶
A floor entry reads a fact whose declared shape its kind cannot use.
Retrying the same thing changes nothing.
What a response says¶
The floor's {entry} entry reads {found} as its {role}, which takes {expected}, and {found} is declared {shape}.
The placeholders are filled from entry, found, role, expected, shape, which travel positionally in the args member of the response.
What to do¶
A membership test over a single identifier, or a subset test over a record, is a predicate nobody can evaluate. Fix the role, or declare the fact with the shape it has.
Where it sits¶
| Sorter | e — Error. The problem clearly defeats someone's intentions. |
| Obstacle | e.input. — What you sent |
| Disposition | f — Final. Retrying the same thing changes nothing. |
A handler can match this code exactly, or by any prefix above it: e.input., e.input.format., e.input.format.floor., e.input.format.floor.fact., e.input.format.floor.fact.shape..
Declared in tefa.