Re: [Xml-sg-cmt] question on sourcecode type="test-vectors"
John R Levine <johnl@taugh.com> Tue, 26 April 2022 23:21 UTC
Return-Path: <johnl@taugh.com>
X-Original-To: xml-sg-cmt@ietfa.amsl.com
Delivered-To: xml-sg-cmt@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id B8253C1B1631 for <xml-sg-cmt@ietfa.amsl.com>; Tue, 26 Apr 2022 16:21:31 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.097
X-Spam-Level:
X-Spam-Status: No, score=-2.097 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, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=iecc.com header.b=ih9uqSM3; dkim=pass (2048-bit key) header.d=taugh.com header.b=leUbSbcA
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id RrGLv3QjYHaC for <xml-sg-cmt@ietfa.amsl.com>; Tue, 26 Apr 2022 16:21:26 -0700 (PDT)
Received: from gal.iecc.com (gal.iecc.com [IPv6:2001:470:1f07:1126:0:43:6f73:7461]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 9AE68C1D1329 for <xml-sg-cmt@ietf.org>; Tue, 26 Apr 2022 16:21:26 -0700 (PDT)
Received: (qmail 32179 invoked from network); 26 Apr 2022 23:21:24 -0000
DKIM-Signature: v=1; a=rsa-sha256; c=simple; d=iecc.com; h=date:message-id:from:to:subject:in-reply-to:references:mime-version:content-type:content-transfer-encoding; s=7db0.62687e74.k2204; bh=kkJuu/oJ+YD7WgIDbpa9m8YQDxnUd+j5TxKavJkZQsY=; b=ih9uqSM3t0lK5UUBtSvsKOYiqUJYJKMkZnAaQooTDfz9qSgFZLvrR//of9e4+vP2wVMuZmSHNav8tOnU/d1UUPvJaTaZ/9hJpXNv2RskkhTSCOfhZ61R3fPzhaW9Yu7v8ht+ws6ztKbO5xOcZNRs7l7MF9CyhBYqree8+svJJrcBSeCgbmEhTuLYFzKoKTXEwXgvs0B4YZYKJ0v6k0ao9Ln8DLA1q3Ohz6b7FCydPg9tEi54HrdqBNaHIURxpQgpwHgu4JX3SVcJWJXvhJAUrKeKC5f13GHkH6Thz6W71UCpUqjNExMDUk3j+5q09VHJpLJxSUpvismVy9KANuy8Tw==
DKIM-Signature: v=1; a=rsa-sha256; c=simple; d=taugh.com; h=date:message-id:from:to:subject:in-reply-to:references:mime-version:content-type:content-transfer-encoding; s=7db0.62687e74.k2204; bh=kkJuu/oJ+YD7WgIDbpa9m8YQDxnUd+j5TxKavJkZQsY=; b=leUbSbcA8RlLlBFpNjyKH10g7neM9zhEvaNkZ76xfjG0mrIwQQ5ceGT4QV0Bx5jTDwOZSjHe9EBVpV0Tj5SKngRxyYV4I13vXX+RgXNlNUeWtQIhuC5x8t46lwPuubc9WjgPQYihQBAtq4/7Rg7UhXD+SsampPtIwak1Da9p8JZDIMzCUuZNpA6KHRUDzZT/NyeSZgJoCDvNQh+KjdoJcYQhG6FoJsPx9bmXultG2wh9xxCwjlJy5ij8HwmPzn6Yq7kQRYOJ5Pw7SCJC6Ra3U9005ZzGWrDwBydPDPRUCS1mIaZXT0X5RQ2A0NfFcl6IjCrj4TTOTCNNUj3ZwbHyDA==
Received: from ary.qy ([IPv6:2001:470:1f07:1126::78:696d:6170]) by imap.iecc.com ([IPv6:2001:470:1f07:1126::78:696d:6170]) with ESMTPS (TLS1.3 ECDHE-RSA AES-256-GCM AEAD) via TCP6; 26 Apr 2022 23:21:23 -0000
Received: by ary.qy (Postfix, from userid 501) id 33C703EE65B4; Tue, 26 Apr 2022 19:21:22 -0400 (EDT)
Received: from localhost (localhost [127.0.0.1]) by ary.qy (Postfix) with ESMTP id 7C1823EE6596; Tue, 26 Apr 2022 19:21:22 -0400 (EDT)
Date: Tue, 26 Apr 2022 19:21:22 -0400
Message-ID: <f7f194e3-dd67-e662-21e8-0298d31750f3@taugh.com>
From: John R Levine <johnl@taugh.com>
To: Robert Sparks <rjsparks@nostrum.com>, xml-sg-cmt@ietf.org
X-X-Sender: johnl@ary.qy
In-Reply-To: <9e57234d-1f28-e8ce-132c-22d21dc98346@nostrum.com>
References: <66806B6E-AEF2-4D4E-B3AD-66E7117EB3DC@amsl.com> <f76577a7-72c6-a2ff-61a2-caf836cf5d03@taugh.com> <d01ec942-e56b-4146-0e0b-3e44da9c47e3@taugh.com> <9e57234d-1f28-e8ce-132c-22d21dc98346@nostrum.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"; format="flowed"
Content-Transfer-Encoding: 8bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/xml-sg-cmt/J19cP9tjZo6Vyt9JRwBddeXejrg>
Subject: Re: [Xml-sg-cmt] question on sourcecode type="test-vectors"
X-BeenThere: xml-sg-cmt@ietf.org
X-Mailman-Version: 2.1.34
Precedence: list
List-Id: Working list for the xml and style guide change management team <xml-sg-cmt.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/xml-sg-cmt>, <mailto:xml-sg-cmt-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/xml-sg-cmt/>
List-Post: <mailto:xml-sg-cmt@ietf.org>
List-Help: <mailto:xml-sg-cmt-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/xml-sg-cmt>, <mailto:xml-sg-cmt-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 26 Apr 2022 23:21:31 -0000
> This document demonstrates that labeling these things clearly, so that (yes > custom) code can pull these out using xml tools is _helpful_. Makes sense. So how about a more descriptive type like eap-akaprime-test-vector, so the next flavor of test vector doesn't step on them? R's, John It would be an > even stronger demonstration if there were other sourcecode blocks with a > different type, but I can envision such a thing easily enough. I would > certainly have used them back when we did the sip-certs draft (with its > worked examples). > > Throwing away that semantic hint by putting these in artwork seems ruinous to > me. > > RjS > > On 4/26/22 5:40 PM, John R Levine wrote: >>>> Any recommendation on best markup? Potential paths include: >>>> a) leave as they are >>>> b) change all to <artwork> >>>> c) change all to <sourcecode> without type set >>> >>> Looks like artwork to me. It's a bunch of examples but nothing that looks >>> machine parsed. >> >> Having seen Robert's note, I agree you could write a special purpose thing >> to process these particular examples, but you could do that with a lot of >> examples. If we say it's "test-vector" that says to me that future things >> marked test-vector could be parsed the same way which seems unlikely. >> >> R's, >> John >> >>>> When asked to review the sourcecode type, the author wrote: >>>>> As to the sourcecode mark in in each entry, there are separate >>>>> components: an initial sequence number (ISN), a traffic key, the output >>>>> of a packet dump, and the MAC (message authentication code). None of >>>>> these are actually “sourcecode”. I don’t know what portions qualify as a >>>>> “test-vector”. So I don’t know whether this marking is correct or how >>>>> best to adjust it if not. >>>> >>>> >>>> Thanks, >>>> Alice >>>> -- >>>> >>>> Examples of how type="test-vectors" has been used in the past (full list >>>> below): >>>> >>>> https://www.rfc-editor.org/rfc/rfc9048.html#appendix-D >>>> https://www.rfc-editor.org/rfc/rfc9180.html#appendix-A.1.1 (and lots >>>> more) >>>> https://www.rfc-editor.org/rfc/rfc9189.html#appendix-A.1.1.1 (and a few >>>> more) >>>> (It becomes <pre class="sourcecode lang-test-vectors"> in the HTML file.) >>>> >>>> [files in www.rfc-editor.org/in-notes/prerelease/] >>>> >>>> rfc8696.notprepped.xml: <sourcecode type="test-vectors">< = fdcbc20c, >>>> rfc8891.notprepped.xml: <sourcecode type="test-vectors"><![CDATA[K >>>> = >>>> ffeeddccbbaa99887766554433221100f0f1f2f3f4f5f6f7f8f9fafbfcfdfeff,]]></sourcecode> >>>> rfc8891.notprepped.xml: <sourcecode >>>> type="test-vectors"><![CDATA[K_1 = ffeeddcc, >>>> rfc8891.notprepped.xml: <sourcecode type="test-vectors"><![CDATA[ >>>> rfc8891.notprepped.xml: <sourcecode >>>> type="test-vectors"><![CDATA[(a_1, a_0) = (fedcba98, 76543210), >>>> rfc8891.notprepped.xml: <sourcecode type="test-vectors"><![CDATA[b >>>> = G^*[K_32]G[K_31]...G[K_1](a_1, a_0) = 4ee901e5c2d8ca3d.]]></sourcecode> >>>> rfc8891.notprepped.xml: <sourcecode type="test-vectors"><![CDATA[b >>>> = 4ee901e5c2d8ca3d,]]></sourcecode> >>>> rfc8891.notprepped.xml: <sourcecode >>>> type="test-vectors"><![CDATA[(b_1, b_0) = (4ee901e5, c2d8ca3d), >>>> rfc8891.notprepped.xml: <sourcecode type="test-vectors"><![CDATA[a >>>> = G^*[K_1]G[K_2]...G[K_32](b_1, b_0) = fedcba9876543210.]]></sourcecode> >>>> rfc9048.notprepped.xml: <sourcecode type="test-vectors"><![CDATA[ >>>> rfc9048.notprepped.xml: <sourcecode type="test-vectors"><![CDATA[ >>>> rfc9048.notprepped.xml: <sourcecode type="test-vectors"><![CDATA[ >>>> rfc9048.notprepped.xml: <sourcecode type="test-vectors"><![CDATA[ >>>> rfc9106.notprepped.xml:<sourcecode type="test-vectors"> >>>> rfc9106.notprepped.xml:<sourcecode type="test-vectors"> >>>> rfc9106.notprepped.xml:<sourcecode type="test-vectors"> >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9180.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9227.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9227.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9227.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9227.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9227.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9227.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9227.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> rfc9227.notprepped.xml: <sourcecode name="" >>>> type="test-vectors"><![CDATA[ >>>> >>> >>> Regards, >>> John Levine, johnl@taugh.com, Taughannock Networks, Trumansburg NY >>> Please consider the environment before reading this e-mail. https://jl.ly >>> >>> >> >> Regards, >> John Levine, johnl@taugh.com, Taughannock Networks, Trumansburg NY >> Please consider the environment before reading this e-mail. https://jl.ly >> > > Regards, John Levine, johnl@taugh.com, Taughannock Networks, Trumansburg NY Please consider the environment before reading this e-mail. https://jl.ly
- [Xml-sg-cmt] question on sourcecode type="test-ve… Alice Russo
- Re: [Xml-sg-cmt] question on sourcecode type="tes… Robert Sparks
- Re: [Xml-sg-cmt] question on sourcecode type="tes… John R Levine
- Re: [Xml-sg-cmt] question on sourcecode type="tes… John R Levine
- Re: [Xml-sg-cmt] question on sourcecode type="tes… Robert Sparks
- Re: [Xml-sg-cmt] question on sourcecode type="tes… Robert Sparks
- Re: [Xml-sg-cmt] question on sourcecode type="tes… John R Levine
- Re: [Xml-sg-cmt] question on sourcecode type="tes… Robert Sparks
- Re: [Xml-sg-cmt] question on sourcecode type="tes… Julian Reschke
- Re: [Xml-sg-cmt] question on sourcecode type="tes… John R Levine
- Re: [Xml-sg-cmt] question on sourcecode type="tes… Julian Reschke
- Re: [Xml-sg-cmt] question on sourcecode type="tes… Alice Russo
- Re: [Xml-sg-cmt] question on sourcecode type="tes… John R Levine
- Re: [Xml-sg-cmt] question on sourcecode type="tes… Robert Sparks
- Re: [Xml-sg-cmt] question on sourcecode type="tes… Carsten Bormann