e.proof.rules.said.f¶
That rules block doesn't address itself, so I stopped rather than quietly relabelling it.
Retrying the same thing changes nothing.
What a response says¶
The rules block carries {declared} as its own `d`, but its text derives {derived}. A block whose SAID is not what its contents say means one of the two is not the document you think you have.
The placeholders are filled from declared, derived, which travel positionally in the args member of the response.
What to do¶
At issuance, leave `d` empty or drop it and I'll fill the slot; supply it and I'll hold you to it. At verification, ask for the correctly addressed block.
Where it sits¶
| Sorter | e — Error. The problem clearly defeats someone's intentions. |
| Obstacle | e.proof. — Supplied material fails verification against a reference |
| Disposition | f — Final. Retrying the same thing changes nothing. |
A handler can match this code exactly, or by any prefix above it: e.proof., e.proof.rules., e.proof.rules.said..
Declared in heti.