Re: [Lager] Stephen Farrell's Discuss on draft-ietf-lager-specification-11: (with DISCUSS and COMMENT)

Alexey Melnikov <aamelnikov@fastmail.fm> Sat, 23 April 2016 11:57 UTC

Return-Path: <aamelnikov@fastmail.fm>
X-Original-To: lager@ietfa.amsl.com
Delivered-To: lager@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 0C2F112D5E2 for <lager@ietfa.amsl.com>; Sat, 23 Apr 2016 04:57:30 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.72
X-Spam-Level:
X-Spam-Status: No, score=-2.72 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_PASS=-0.001] autolearn=unavailable autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=fastmail.fm header.b=k/hoTKN3; dkim=pass (1024-bit key) header.d=messagingengine.com header.b=XN4WTeS+
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id vv1p1H8oys0Q for <lager@ietfa.amsl.com>; Sat, 23 Apr 2016 04:57:29 -0700 (PDT)
Received: from out2-smtp.messagingengine.com (out2-smtp.messagingengine.com [66.111.4.26]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 29F4B12D1BB for <lager@ietf.org>; Sat, 23 Apr 2016 04:57:29 -0700 (PDT)
Received: from compute2.internal (compute2.nyi.internal [10.202.2.42]) by mailout.nyi.internal (Postfix) with ESMTP id 9DE1627DBC for <lager@ietf.org>; Sat, 23 Apr 2016 07:49:51 -0400 (EDT)
Received: from web6 ([10.202.2.216]) by compute2.internal (MEProxy); Sat, 23 Apr 2016 07:49:51 -0400
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d=fastmail.fm; h=cc :content-transfer-encoding:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-sasl-enc :x-sasl-enc; s=mesmtp; bh=qCq/1uCVS+ga9UZvBrJ28pWrXT0=; b=k/hoTK N3L094fBl76LQsIbKxCG4+IarBwyOL+I+Lrblm+H1vM+EQydZnAH3Ev9KYpvZJIJ P6JLSrfr8BWDYuGKIbBbXHHAT3rubikrX0a6y6BJg06nUgDn07i7/5lrQSJG2bQc 0NpMS4OkEbZVzSEdBINLxi//ndGRmhSJEG9BQ=
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-sasl-enc:x-sasl-enc; s=smtpout; bh=qCq/1uCVS+ga9UZ vBrJ28pWrXT0=; b=XN4WTeS+NGoGzdTI2GQZ6YSdqU7I1jEW+rq+SbXpOT3hGAx ApvSPiaPdPQvlGQKyjE52v1WzxCq3yDXKbNoj3xG63sqRGlnXOQWksE8eNn/MzlW ZhHY6snFLoI03PiPEG+58SbJYOyUilGbNyEBcqOUsWLeXrtrRjaSwRc0f5ds=
Received: by web6.nyi.internal (Postfix, from userid 99) id 6371F55CC1; Sat, 23 Apr 2016 07:49:51 -0400 (EDT)
Message-Id: <1461412191.851961.587365345.53A5CC4C@webmail.messagingengine.com>
X-Sasl-Enc: Z0YXgHkUIiLSM2o5BX8vugox4DPe70wB+2FVUiRa3ljA 1461412191
From: Alexey Melnikov <aamelnikov@fastmail.fm>
To: Stephen Farrell <stephen.farrell@cs.tcd.ie>
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Type: text/plain
X-Mailer: MessagingEngine.com Webmail Interface - ajax-76f1c811
In-Reply-To: <20160421102401.19578.54300.idtracker@ietfa.amsl.com>
References: <20160421102401.19578.54300.idtracker@ietfa.amsl.com>
Date: Sat, 23 Apr 2016 12:49:51 +0100
Archived-At: <http://mailarchive.ietf.org/arch/msg/lager/PkNcArb21g1EKK8GUpHm0-sKAA4>
Cc: draft-ietf-lager-specification@ietf.org, audric.schiltknecht@viagenie.ca, The IESG <iesg@ietf.org>, lager@ietf.org
Subject: Re: [Lager] Stephen Farrell's Discuss on draft-ietf-lager-specification-11: (with DISCUSS and COMMENT)
X-BeenThere: lager@ietf.org
X-Mailman-Version: 2.1.17
Precedence: list
List-Id: Label Generation Rules <lager.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/lager>, <mailto:lager-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/lager/>
List-Post: <mailto:lager@ietf.org>
List-Help: <mailto:lager-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/lager>, <mailto:lager-request@ietf.org?subject=subscribe>
X-List-Received-Date: Sat, 23 Apr 2016 11:57:30 -0000

Hi Stephen,
I think I will need help from the WG on more subtantial issues, but I
will quickly reply to a couple of your DISCUSS points (WG should feel
free to correct me if I am wrong):

On Thu, Apr 21, 2016, at 11:24 AM, Stephen Farrell wrote:
> Stephen Farrell has entered the following ballot position for
> draft-ietf-lager-specification-11: Discuss

 [snip]

> This spec is tackling a hard problem, (machines doing what
> humans do to classify identifiers), and as a result there are
> some tricky bits here. That inherently hard problem has thrown
> up a few things I'd like to discuss (though the 1st one is
> easy:-)...
> 
> (1) section 5: this says code points MUST be 4 hex digits.
> What is s/w supposed to do if it sees only 2 hex digits?
> Should it ignore the range or char element or fail to process
> the entire LGR document?

I don't mind clarifying this, but in general it means that the whole
document is syntactically invalid and thus must be ignored.

I don't think it is very common for IETF documents to specify error
handling when a MUST is violated, but of course it is not prohibited.

> I think the same issue applies to
> other uses of 2119 language as well, (e.g. "MUST be treated as
> an error at the end of p19), so I'd recommend you state some
> kind of general rule if you can.
> 

 [snip]

> (3) 6.3.4: While recursion is said to be disallowed, the "for
> which the complete definition has not been seen" is pretty odd
> for an XML specification, as it means that you need a full
> ordering for the elements in the document (or at least within
> the <rules> element).  That means if some editor decodes from
> disk and then encodes to disk, you need to be sure that the
> order is preserved or else you break the "has been seen"
> constraint. (And if you do that, then you're allowing rules to
> mutually refer to one another, which brings us back to discuss
> point 2.) 7.4 maybe has a similar issue. I think for this you
> could simply state up front that these XML documents MUST NOT
> be re-ordered during editing. (Or else add some kind of
> attribute to help with ordering which seems ickky.)

Correct me if I am wrong, but I haven't seen any XML generator that
reorders XML elements, unless they understand XML schema for a
particular XML document. So by default order of XML elements withing
parent elements is fixed, so I don't think this is an issue.

Best Regards,
Alexey