At 9:08 PM -0700 4/29/06, Dave Crocker wrote:
A specification cannot "prevent" a verifier from trying any crazy
(or sane) thing they want.
However, it CAN distinguish between text that is specifying how to
perform straight verification, versus text explains all sorts of
secondary hacks. The former is precise, reliable and clear. The
latter is whatever folks feel like making it. Mixing the two
confuses both.
Fully agree. I am proposing staying silent on heuristics in the core
protocol, not banning them. Does that work for you?
