Skip to content

e.input.format.floor.fact.f

A floor entry reads a fact the floor does not declare.

Retrying the same thing changes nothing.

What a response says

The floor's {entry} entry reads the fact {found}, and the floor declares {known}.

The placeholders are filled from entry, found, known, which travel positionally in the args member of the response.

What to do

The fact space is declared in the artifact so a foreign verifier can see what the floor needs. Add the fact to `facts`, with the shape the entry expects.

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..

Declared in tefa.