Re: [Json] Consensus call: establishing name equality

John Cowan <cowan@mercury.ccil.org> Sat, 22 June 2013 01:37 UTC

Return-Path: <cowan@ccil.org>
X-Original-To: json@ietfa.amsl.com
Delivered-To: json@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id B8E6C1F0D3B for <json@ietfa.amsl.com>; Fri, 21 Jun 2013 18:37:56 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.453
X-Spam-Level:
X-Spam-Status: No, score=-2.453 tagged_above=-999 required=5 tests=[AWL=-0.866, BAYES_00=-2.599, FAKE_REPLY_C=2.012, RCVD_IN_DNSWL_LOW=-1]
Received: from mail.ietf.org ([12.22.58.30]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id sEj2XwJ68aAM for <json@ietfa.amsl.com>; Fri, 21 Jun 2013 18:37:52 -0700 (PDT)
Received: from earth.ccil.org (earth.ccil.org [192.190.237.11]) by ietfa.amsl.com (Postfix) with ESMTP id 6CF391F0D38 for <json@ietf.org>; Fri, 21 Jun 2013 18:37:52 -0700 (PDT)
Received: from cowan by earth.ccil.org with local (Exim 4.72) (envelope-from <cowan@ccil.org>) id 1UqClz-0007HF-Rr for json@ietf.org; Fri, 21 Jun 2013 21:37:51 -0400
Date: Fri, 21 Jun 2013 21:37:51 -0400
From: John Cowan <cowan@mercury.ccil.org>
To: json@ietf.org
Message-ID: <20130622013751.GJ31186@mercury.ccil.org>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
User-Agent: Mutt/1.5.20 (2009-06-14)
Sender: John Cowan <cowan@ccil.org>
Subject: Re: [Json] Consensus call: establishing name equality
X-BeenThere: json@ietf.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: "JavaScript Object Notation \(JSON\) WG mailing list" <json.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/json>, <mailto:json-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/json>
List-Post: <mailto:json@ietf.org>
List-Help: <mailto:json-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/json>, <mailto:json-request@ietf.org?subject=subscribe>
X-List-Received-Date: Sat, 22 Jun 2013 01:37:56 -0000

Carsten Bormann scripsit:

> Hmm, a bit too much MUSTard for my taste.  Only the first MUST in 1
> is really needed.

Not so, and for this reason:  in 1 and 2 it says "comparisons MUST be
conducted, after all unescaping is done, by comparing" etc.  That does
not positively require that unescaping be done.  It can be read as
"comparisons MUST be conducted, after all unescaping is done (if it
is done at all)".  Only 3 positively requires unescaping to be done
before comparing.

It has been said that a standard (and this is a Standards Track RFC)
is a contract between the implementer and the user.  We ought not to
disregard the possibility that some implementers will be acting in bad
faith, trying to find whatever loopholes they can, and that some users
will be suing them for non-compliance.  Insofar as any form of words
can capture it, we should make sure that implementers MUST do what users
can properly expect them to do.

So why didn't I say that I couldn't live with 1 or 2, you may wonder?
Because I'm willing to swallow a certain amount of lack of precision in
the search for consensus.

-- 
You are a child of the universe no less         John Cowan
than the trees and all other acyclic            http://www.ccil.org/~cowan
graphs; you have a right to be here.            cowan@ccil.org
  --DeXiderata by Sean McGrath