IETF Logo Mail Archive

Re: [openpgp] Possible ambiguity in description of regular expressions: [^][]

Daniel Kahn Gillmor <dkg@fifthhorseman.net> Tue, 05 January 2021 15:33 UTC

Return-Path: <dkg@fifthhorseman.net>
X-Original-To: openpgp@ietfa.amsl.com
Delivered-To: openpgp@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 9F49A3A0E39 for <openpgp@ietfa.amsl.com>; Tue, 5 Jan 2021 07:33:38 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.306
X-Spam-Level:
X-Spam-Status: No, score=-1.306 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RDNS_NONE=0.793, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=no autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=neutral reason="invalid (unsupported algorithm ed25519-sha256)" header.d=fifthhorseman.net header.b=qylGlAxJ; dkim=pass (2048-bit key) header.d=fifthhorseman.net header.b=IJbapQZ0
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 HKctGq0j2clw for <openpgp@ietfa.amsl.com>; Tue, 5 Jan 2021 07:33:37 -0800 (PST)
Received: from che.mayfirst.org (unknown [162.247.75.117]) (using TLSv1.2 with cipher ADH-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 8AD7E3A100D for <openpgp@ietf.org>; Tue, 5 Jan 2021 07:33:34 -0800 (PST)
DKIM-Signature: v=1; a=ed25519-sha256; c=relaxed/simple; d=fifthhorseman.net; i=@fifthhorseman.net; q=dns/txt; s=2019; t=1609860813; h=from : to : cc : subject : in-reply-to : references : date : message-id : mime-version : content-type : from; bh=+K08OVJSO7nABF3by7JJxJjhIeYFOWsZm6t/Qg2d3/8=; b=qylGlAxJhwE6/n8eaFlwAYsz0Z/oka1pe7WiWoXYz2EvYf8pRHOqqjoXqss8GmAZAIAwH Lh4+4c2yL4KANv4Bg==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=fifthhorseman.net; i=@fifthhorseman.net; q=dns/txt; s=2019rsa; t=1609860813; h=from : to : cc : subject : in-reply-to : references : date : message-id : mime-version : content-type : from; bh=+K08OVJSO7nABF3by7JJxJjhIeYFOWsZm6t/Qg2d3/8=; b=IJbapQZ09LwitjoiYC5dCmpaRCuod5ZpBNBLNAOh7EAFlOdbItHvDvO/xDJIq+phM8eut Pny4t4tVDpk3C6PCtaY/HsrBQ9ARZ+Mqo4Dv+uyYpeQ/sa96A855aZFUZvtE1sTF0Ffvt+p 69T0frB1OaGRhVxZCoyFBQJFWWEwLehqRzNdQJFPw5lcFuLZk0iq5U8nm3AfediuF9bHTkd EeXvNzYQGV+QEvxtgJu0WD4odPtPDjx5zcYTTZ1Wv5G/EfZyjeTEf+FiFlWofvFt2BJ/vlq 8mK+I/gYBVkuSViJ9lwJz/zvoU4iu+bl14bnp6jUcpc44mCSiJrhW0RIo0SQ==
Received: from fifthhorseman.net (lair.fifthhorseman.net [108.58.6.98]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by che.mayfirst.org (Postfix) with ESMTPSA id 8A2A9F9A5; Tue, 5 Jan 2021 10:33:33 -0500 (EST)
Received: by fifthhorseman.net (Postfix, from userid 1000) id 93EE020200; Tue, 5 Jan 2021 10:33:31 -0500 (EST)
From: Daniel Kahn Gillmor <dkg@fifthhorseman.net>
To: "Neal H. Walfield" <neal@walfield.org>
Cc: openpgp@ietf.org
In-Reply-To: <87mtxzv7mr.wl-neal@walfield.org>
References: <87r1nguquq.wl-neal@walfield.org> <87tusbuwzp.fsf@fifthhorseman.net> <87mtxzv7mr.wl-neal@walfield.org>
Autocrypt: addr=dkg@fifthhorseman.net; prefer-encrypt=mutual; keydata= mDMEXEK/AhYJKwYBBAHaRw8BAQdAr/gSROcn+6m8ijTN0DV9AahoHGafy52RRkhCZVwxhEe0K0Rh bmllbCBLYWhuIEdpbGxtb3IgPGRrZ0BmaWZ0aGhvcnNlbWFuLm5ldD6ImQQTFggAQQIbAQULCQgH AgYVCgkICwIEFgIDAQIeAQIXgAIZARYhBMS8Lds4zOlkhevpwvIGkReQOOXGBQJd5Hw3BQkFpJWB AAoJEPIGkReQOOXGDYEA/j0ERjPxDleKMZ2LDcWc/3o5cLFwAVzBKQHppu0Be5IWAP0aeTnyEqlp RTE7M8zugwkhYeUYfYu0BjecDUMnYz6iDLgzBF3kewUWCSsGAQQB2kcPAQEHQK1IuW0GZmcrs2mx CYMl8IHse0tMF8cP7eBNXevrlx2ZiPUEGBYIACYCGwIWIQTEvC3bOMzpZIXr6cLyBpEXkDjlxgUC XeR7TwUJAiGl/gCBdiAEGRYIAB0WIQQsv6x2UaqQJzY+dXHEDyVUMvKBDwUCXeR7BQAKCRDEDyVU MvKBD7KmAQCHs+7588C4jto6fMje0Nu97zzoppjJM7lrGF2rVnbHvwD+MgmGUbHzPSUrTWnZBQDi /QM595bxNrBA4N1CiXhs2AMJEPIGkReQOOXGpp0BAM7YeBnt/UNvxJAGm4DidSfHU7RDMWe6Tgux HrH21cDkAQC9leNFXJsQ7F2ZniRPHa8CkictcQEKPL8VCWpfe8LbArg4BF3ke5wSCisGAQQBl1UB BQEBB0Cf+EiAXtntQMf51xpqb6uZ5O0eCLAZtkg0SXHjA1JlEwMBCAeIfgQYFggAJhYhBMS8Lds4 zOlkhevpwvIGkReQOOXGBQJd5HucAhsMBQkCIaVkAAoJEPIGkReQOOXGdYcBANYnW7VyL2CncKH1 iO4Zr0IwfdIv6rai1PUHL98pVi3cAP9tMh85CKGDa0Xi/fptQH41meollLW5tLb/bEWMuUNuBQ==
Date: Tue, 05 Jan 2021 10:33:30 -0500
Message-ID: <877dor8kl1.fsf@fifthhorseman.net>
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-="; micalg="pgp-sha256"; protocol="application/pgp-signature"
Archived-At: <https://mailarchive.ietf.org/arch/msg/openpgp/ILwHijSuSERqj5_tbGcbzy7aq5o>
Subject: Re: [openpgp] Possible ambiguity in description of regular expressions: [^][]
X-BeenThere: openpgp@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Ongoing discussion of OpenPGP issues." <openpgp.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/openpgp>, <mailto:openpgp-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/openpgp/>
List-Post: <mailto:openpgp@ietf.org>
List-Help: <mailto:openpgp-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/openpgp>, <mailto:openpgp-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 05 Jan 2021 15:33:39 -0000

On Sun 2020-12-27 11:57:32 +0100, Neal H. Walfield wrote:
> We need to exclude [^] as well.

good catch!

> Perhaps:
>
> +A range is a non-empty sequence of characters excluding the optional
> leading ^ enclosed in '[]'.

This seems like pretty confusing wording to me, because i can't tell how
to connect "non-empty" with "excluding" and "optional".  Maybe a
concrete example of what we're trying to fix would also help?  something
like:

    In particular, '[]' and '[^]' are not valid ranges.

I'd be happy if folks can exchange wordsmithing ideas on the list here.

But beyond the wordsmithing, if anyone thinks that Neal's interpretation
(or my proposed clarification) is actually wrong or problematic, please
speak up!

      --dkg

v2.23.0 | Report a Bug | By Email