Re: [Tzdist-bis] Last Call: <draft-murchison-tzdist-tzif-13.txt> (The Time Zone Information Format (TZif)) to Proposed Standard

tom petch <daedulus@btconnect.com> Tue, 18 September 2018 10:19 UTC

Return-Path: <daedulus@btconnect.com>
X-Original-To: ietf@ietfa.amsl.com
Delivered-To: ietf@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 04AD9129C6B; Tue, 18 Sep 2018 03:19:25 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: 3.187
X-Spam-Level: ***
X-Spam-Status: No, score=3.187 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, RATWARE_MS_HASH=2.148, RATWARE_OUTLOOK_NONAME=2.95, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001, T_DKIMWL_WL_MED=-0.01] autolearn=no autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=btconnect.onmicrosoft.com
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 sWrHRFpRxTcY; Tue, 18 Sep 2018 03:19:22 -0700 (PDT)
Received: from EUR03-AM5-obe.outbound.protection.outlook.com (mail-eopbgr30133.outbound.protection.outlook.com [40.107.3.133]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id BCA08130DE2; Tue, 18 Sep 2018 03:19:21 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=btconnect.onmicrosoft.com; s=selector1-btconnect-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=mo1KFshGPqhzLt0Hn9zPYohgXU+ceJWZLq7sgUhNSe0=; b=TyltingBmtDAugaJcbBUvF80bozp7V+w8nl1aPkEr8xUiDS4iF0OnMWhEDHLTWztD+SkrdRjNhaOatAOhOCu0HpTqM43p9JYZkRjpKTebukgbyHrGSQxLui2lbIseX1YqJ0FDVxtuCTx2mpaLs0usw9v25lnzVMCCtV8g+jFXrc=
Received: from AM5PR0701MB2337.eurprd07.prod.outlook.com (10.169.152.135) by AM5PR0701MB2689.eurprd07.prod.outlook.com (10.173.93.15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1164.9; Tue, 18 Sep 2018 10:19:18 +0000
Received: from AM5PR0701MB2337.eurprd07.prod.outlook.com ([fe80::31e4:54f6:8b2b:fbf5]) by AM5PR0701MB2337.eurprd07.prod.outlook.com ([fe80::31e4:54f6:8b2b:fbf5%4]) with mapi id 15.20.1164.012; Tue, 18 Sep 2018 10:19:18 +0000
From: tom petch <daedulus@btconnect.com>
To: Tim Parenti <tim@timtimeonline.com>
CC: ietf <ietf@ietf.org>, "tzdist-bis@ietf.org" <tzdist-bis@ietf.org>, "draft-murchison-tzdist-tzif@ietf.org" <draft-murchison-tzdist-tzif@ietf.org>
Subject: Re: [Tzdist-bis] Last Call: <draft-murchison-tzdist-tzif-13.txt> (The Time Zone Information Format (TZif)) to Proposed Standard
Thread-Topic: [Tzdist-bis] Last Call: <draft-murchison-tzdist-tzif-13.txt> (The Time Zone Information Format (TZif)) to Proposed Standard
Thread-Index: AQHUS1iJs7Girvq1jk2QCde9FOKn4w==
Date: Tue, 18 Sep 2018 10:19:18 +0000
Message-ID: <044f01d44f39$02afe8c0$4001a8c0@gateway.2wire.net>
References: <153668132581.16924.5079239635019957388.idtracker@ietfa.amsl.com> <054601d44b58$80fc2340$4001a8c0@gateway.2wire.net> <CAFpi07xHz4nqyiHzg3DuJZ6Hbjh=UcaZcVyTeAB4Y9=1JJ5d-A@mail.gmail.com>
Accept-Language: en-GB, en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
x-clientproxiedby: AM6PR0202CA0035.eurprd02.prod.outlook.com (2603:10a6:209:15::48) To AM5PR0701MB2337.eurprd07.prod.outlook.com (2603:10a6:203:e::7)
authentication-results: spf=none (sender IP is ) smtp.mailfrom=daedulus@btconnect.com;
x-ms-exchange-messagesentrepresentingtype: 1
x-originating-ip: [81.131.229.47]
x-ms-publictraffictype: Email
x-microsoft-exchange-diagnostics: 1; AM5PR0701MB2689; 6:t0UW99OjVcv02WOj+/XQ/KqU7sIOt7kyhOW+N/vXkhgdIJjTsjWloQF+Eh1l4Q9niDRGR2n7GdvM2XFWqfnZEG27dqgnITa6AWvf/JsvKwRgf22OTCXTXgCGb0vKBIbH8zuY6+rGof1U7BysYAqKdaH7++9ijnv+jcOutY7cnBnpJ7+Id9hBN1kb7P6I3N/GmNMdlS0WB9LB7AO8wVqU/Gqbk1g8Lf6xgj5glp2kHPHOTqttargfCjwcm3hJK2EIs9uHsLrpNeR9c7gVQsTyRcA/+BFml63Cv94vX4Ke8uI+fzT0ABwoxyUG+/oFtEWO/3Iz12jpjk4vWFSvPHgElrGLLOycn0+LdnS09EOuExWhmXpeMd3KDdyWhun09FdVbhqeMAMgtnp4+KwB4MteKYI5R9uh/7+vu/ehKQN+hJZqqCrflyOr5pCqf2Z0t3IVVdlGZGH7VdG4dsmItEY86Q==; 5:oIS0BPnvIdljxMh4chWMR3W/msJfVKbF1d0k6A0ncJ6sOeobdwiXrt6k9GJD/BLTloMF+P9DA+1HczxcIE2+sBxvVcqVmFwyedSq8Xmom8BPdKvKBolOgz5FzxcLjeRyR+kvxwq3tQAtfanIKb98OPlPm2r34D41N8PZ21rXARU=; 7:dGWq3O7Y3FCvqDKHEJGwOy5tr1NZLpRNhqfSfMmqmukqzaZjtkkcih62nO4JebIrcVLf5/tpy/o+H6kcKT38HHw5VUQGZcM1JFFTVCStElfy4fVbrrX0VWP0JGAxJ6zMo0wxUXy7e60H1ws/Foeoyi3C1M6AXELLEhi4W4H0VmuAPLxZACPxq7+DAnFjJH1ZWIcnQthVt8qiKqQE6pZjwcN+u3X5A+uADeevmks9DHVRh/e+I+cCOdZtPmGRhO4U
x-ms-office365-filtering-correlation-id: d0f21b5b-4093-41fb-6bcb-08d61d50315c
x-microsoft-antispam: BCL:0; PCL:0; RULEID:(7020095)(4652040)(8989299)(4534165)(4627221)(201703031133081)(201702281549075)(8990200)(5600074)(711020)(2017052603328)(7193020); SRVR:AM5PR0701MB2689;
x-ms-traffictypediagnostic: AM5PR0701MB2689:
x-microsoft-antispam-prvs: <AM5PR0701MB2689503C7133513154696919C61D0@AM5PR0701MB2689.eurprd07.prod.outlook.com>
x-exchange-antispam-report-test: UriScan:(178726229863574)(131327999870524)(219612443155931)(219949436335600);
x-ms-exchange-senderadcheck: 1
x-exchange-antispam-report-cfa-test: BCL:0; PCL:0; RULEID:(6040522)(2401047)(8121501046)(5005006)(3231355)(944501410)(52105095)(3002001)(10201501046)(93006095)(93001095)(6055026)(149027)(150027)(6041310)(20161123562045)(20161123558120)(201703131423095)(201702281528075)(20161123555045)(201703061421075)(201703061406153)(20161123560045)(20161123564045)(201708071742011)(7699050); SRVR:AM5PR0701MB2689; BCL:0; PCL:0; RULEID:; SRVR:AM5PR0701MB2689;
x-forefront-prvs: 0799B1B2D7
x-forefront-antispam-report: SFV:NSPM; SFS:(10019020)(366004)(376002)(346002)(136003)(396003)(39860400002)(13464003)(189003)(199004)(84392002)(76176011)(7736002)(25786009)(26005)(54906003)(316002)(305945005)(386003)(81156014)(81166006)(6306002)(8676002)(6246003)(345774005)(2900100001)(68736007)(446003)(486006)(229853002)(6512007)(6506007)(33896004)(106356001)(105586002)(9686003)(53936002)(6436002)(476003)(86152003)(44736005)(5250100002)(478600001)(52116002)(2906002)(14444005)(8936002)(14496001)(256004)(6486002)(6916009)(97736004)(66066001)(1556002)(186003)(5660300001)(14454004)(4326008)(966005)(6116002)(102836004)(99286004)(86362001)(3846002); DIR:OUT; SFP:1102; SCL:1; SRVR:AM5PR0701MB2689; H:AM5PR0701MB2337.eurprd07.prod.outlook.com; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; MX:1; A:0;
received-spf: None (protection.outlook.com: btconnect.com does not designate permitted sender hosts)
x-microsoft-antispam-message-info: Q69MLqZeORbUHADhxmDxxrcBMAxdVcXqGiOIvt3DtjNB6HFwmyFFCb6bGT+cN1M94odFflSO/x5dOE69ZFRcbpE1o1qS9Pp1kcGyxET2QEeXrC/ZulkoiQKToNcHfbXUqbvGcRsvBrpqo0+9Y1umClaccw0QVBAArNXjURhSZgmEKCOHt92apYYSytrpTT2eJqkvMV8qH3F2vgz6LWFHxcZjp0Kw4aAxOpp+HB0dJsKHNfx3ImW7uaL6Jl72FVP93aF7Su7AXgT99TRQRo2+rr4+E5p23c9l8zQ9ALFVfqNrXTop9vCUQNH4AGWNB0eWEsFx5nKU5V3fc1izG0Vrc2ZHvgjUds3hYTteRT4eImI=
spamdiagnosticoutput: 1:99
spamdiagnosticmetadata: NSPM
Content-Type: text/plain; charset="utf-8"
Content-ID: <AB0ABDFEAB4418468786A8AC0570C6D8@eurprd07.prod.outlook.com>
Content-Transfer-Encoding: base64
MIME-Version: 1.0
X-OriginatorOrg: btconnect.com
X-MS-Exchange-CrossTenant-Network-Message-Id: d0f21b5b-4093-41fb-6bcb-08d61d50315c
X-MS-Exchange-CrossTenant-originalarrivaltime: 18 Sep 2018 10:19:18.7327 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: cf8853ed-96e5-465b-9185-806bfe185e30
X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM5PR0701MB2689
Archived-At: <https://mailarchive.ietf.org/arch/msg/ietf/mgWz_kOWf2_BFtEjEw-O2aZJCvU>
X-BeenThere: ietf@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: IETF-Discussion <ietf.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/ietf>, <mailto:ietf-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/ietf/>
List-Post: <mailto:ietf@ietf.org>
List-Help: <mailto:ietf-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/ietf>, <mailto:ietf-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 18 Sep 2018 10:19:25 -0000

----- Original Message -----
From: "Tim Parenti" <tim@timtimeonline.com>;
Sent: Thursday, September 13, 2018 3:21 PM

> It's a fairly standard interval or range notation in mathematics that
the
> types of the brackets used are important.  I would imagine this
appears in
> plenty of other RFCs and the like.
>
> The square left bracket next to 0 means "starting at and including 0",
> while the round right bracket next to 'typecnt' means "up to but NOT
> including 'typecnt'."  So there are a total of 'typecnt' elements,
indexed
> from 0 to 'typecnt'-1, inclusive.  Likewise for (desig)idx and
charcnt.
>
> https://en.wikipedia.org/wiki/Interval_(mathematics)
>
> This convention of including the lower bound and excluding the upper
has an
> established history in computing as well:
> https://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/EWD831.html

Ah yes, my mathematics has indeed let me down. Thank you for putting me
right.

Tom Petch

> --
> Tim Parenti
>
>
> On Thu, 13 Sep 2018 at 07:55, tom petch <daedulus@btconnect.com>;
wrote:
>
> > My arithmetic may be letting me down, but in s.3.2, when there are
> > 'typecnt' entries in a list of transition types, then I would expect
the
> > index to be
> > [0, 'typecnt'-1)
> > or
> > [1, 'typecnt')
> > but not
> > [0, 'typecnt')
> > as the I-D says, unless zero has a special meaning but then it is
not
> > really an index.
> >
> > Ditto for (desig)idx  and charcnt except that this list is NUL
> > terminated, but then I would not expect it to be valid to index the
NUL.
> >
> > I infer, and would rather be told explicitly, that
> > "The total number of octets is specified by the 'charcnt' field ..
> > excludes the NUL that terminates the list.
> >
> > In s.1,
> > "the source the time zone data  metadata, identifiers, ..."
> > would appear to be light of an 'of'.
> >
> > Tom Petch
> >
> > ----- Original Message -----
> > From: "The IESG" <iesg-secretary@ietf.org>;
> > Cc: <lear@ofcourseimright.com>;; <tzdist-bis@ietf.org>;;
> > <draft-murchison-tzdist-tzif@ietf.org>;; <alexey.melnikov@isode.com>;
> > Sent: Tuesday, September 11, 2018 4:55 PM
> >
> > > The IESG has received a request from an individual submitter to
> > consider the
> > > following document: - 'The Time Zone Information Format (TZif)'
> > >   <draft-murchison-tzdist-tzif-13.txt> as Proposed Standard
> > >