Re: IDNA: meaning of 'verify'

At 22:14 02/11/26 +0000, Adam M. Costello wrote:
>Martin Duerst <[email protected]> wrote:

> > I haven't found any kind of 'definition' of 'verify'.  My imagination
> > says that 'verify' means:  Check, and throw an error if the check
> > isn't successful.
> >
> > Can anybody confirm?
>
>It's not a technical term, it's just the plain English word "verify".
>"Verify the absence of foo" means look and make sure that there is no
>foo.  If you look and see foo, then your attempt to verify the absence
>of foo has failed.
>
> > Is it possible to make this clear in the draft?
>
>I thought it was clear from this:
>
>     It is important to note that the ToASCII operation can fail.
>     ToASCII fails if any step of it fails.
>
>     ToUnicode never fails.  If any step fails, then the original input
>     sequence is returned immediately in that step.
>
>Do you think this needs clarification?

Well, it would be very good if the words 'fail' and 'verify'
could be linked, for example something along the lines of
'If a condition cannot be verified, then ToASCII fails.'

Regards,    Martin.