From nobody Sun Nov 7 09:36:07 2021 Return-Path: X-Original-To: fdt@ietfa.amsl.com Delivered-To: fdt@ietfa.amsl.com Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 637663A0D56 for ; Sun, 7 Nov 2021 09:36:05 -0800 (PST) X-Virus-Scanned: amavisd-new at amsl.com X-Spam-Flag: NO X-Spam-Score: -1.899 X-Spam-Level: X-Spam-Status: No, score=-1.899 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, SPF_HELO_FAIL=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no 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 VbfFw0ltOjDg for ; Sun, 7 Nov 2021 09:36:00 -0800 (PST) Received: from implementers.org (implementers.org [92.243.22.217]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 55E823A0D58 for ; Sun, 7 Nov 2021 09:36:00 -0800 (PST) Received: from [IPV6:2601:204:e600:411:d250:99ff:fedf:93cd] (unknown [IPv6:2601:204:e600:411:d250:99ff:fedf:93cd]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "Marc Petit-Huguenin", Issuer "implementers.org" (verified OK)) by implementers.org (Postfix) with ESMTPS id 3A3B8AE269 for ; Sun, 7 Nov 2021 18:35:57 +0100 (CET) Message-ID: <59b6ecdc-1723-374a-0f5a-6d2e0e6e24b3@petit-huguenin.org> Date: Sun, 7 Nov 2021 09:35:54 -0800 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.2.1 References: <163630640999.9774.3953588423519693435@ietfa.amsl.com> Content-Language: en-US From: Marc Petit-Huguenin To: "fdt@ietf.org" In-Reply-To: <163630640999.9774.3953588423519693435@ietfa.amsl.com> X-Forwarded-Message-Id: <163630640999.9774.3953588423519693435@ietfa.amsl.com> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------NJhczDFYnfRzxjmdWNh6CUgb" Archived-At: Subject: [fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-15.txt X-BeenThere: fdt@ietf.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Mailing list for the discussion of the use of formal description techniques in IETF documents List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 07 Nov 2021 17:36:06 -0000 This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------NJhczDFYnfRzxjmdWNh6CUgb Content-Type: multipart/mixed; boundary="------------AhjlxncB05Gf8ZDFlNgYy0qQ"; protected-headers="v1" From: Marc Petit-Huguenin To: "fdt@ietf.org" Message-ID: <59b6ecdc-1723-374a-0f5a-6d2e0e6e24b3@petit-huguenin.org> Subject: Fwd: I-D Action: draft-petithuguenin-computerate-specifying-15.txt References: <163630640999.9774.3953588423519693435@ietfa.amsl.com> In-Reply-To: <163630640999.9774.3953588423519693435@ietfa.amsl.com> --------------AhjlxncB05Gf8ZDFlNgYy0qQ Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 U2VlIGNoYW5nZWxvZyBhdCB0aGUgZW5kIG9mIHRoZSBkb2N1bWVudC4NCg0KDQotLS0tLS0t LSBGb3J3YXJkZWQgTWVzc2FnZSAtLS0tLS0tLQ0KU3ViamVjdDogSS1EIEFjdGlvbjogZHJh ZnQtcGV0aXRodWd1ZW5pbi1jb21wdXRlcmF0ZS1zcGVjaWZ5aW5nLTE1LnR4dA0KRGF0ZTog U3VuLCAwNyBOb3YgMjAyMSAwOTozMzozMCAtMDgwMA0KRnJvbTogaW50ZXJuZXQtZHJhZnRz QGlldGYub3JnDQpSZXBseS1UbzogaW50ZXJuZXQtZHJhZnRzQGlldGYub3JnDQpUbzogaS1k LWFubm91bmNlQGlldGYub3JnDQoNCg0KQSBOZXcgSW50ZXJuZXQtRHJhZnQgaXMgYXZhaWxh YmxlIGZyb20gdGhlIG9uLWxpbmUgSW50ZXJuZXQtRHJhZnRzIGRpcmVjdG9yaWVzLg0KDQoN CiAgICAgICAgIFRpdGxlICAgICAgICAgICA6IFRoZSBDb21wdXRlcmF0ZSBTcGVjaWZ5aW5n IFBhcmFkaWdtDQogICAgICAgICBBdXRob3IgICAgICAgICAgOiBNYXJjIFBldGl0LUh1Z3Vl bmluDQoJRmlsZW5hbWUgICAgICAgIDogZHJhZnQtcGV0aXRodWd1ZW5pbi1jb21wdXRlcmF0 ZS1zcGVjaWZ5aW5nLTE1LnR4dA0KCVBhZ2VzICAgICAgICAgICA6IDEzOQ0KCURhdGUgICAg ICAgICAgICA6IDIwMjEtMTEtMDcNCg0KQWJzdHJhY3Q6DQogICAgVGhpcyBkb2N1bWVudCBz cGVjaWZpZXMgYSBwYXJhZGlnbSBuYW1lZCBDb21wdXRlcmF0ZSBTcGVjaWZ5aW5nLA0KICAg IGRlc2lnbmVkIHRvIHNpbXVsdGFuZW91c2x5IGRvY3VtZW50IGFuZCBmb3JtYWxseSBzcGVj aWZ5DQogICAgY29tbXVuaWNhdGlvbiBwcm90b2NvbHMuICBUaGlzIHBhcmFkaWdtIGNhbiBi ZSBhcHBsaWVkIHRvIGFueQ0KICAgIGRvY3VtZW50IHByb2R1Y2VkIGJ5IGFueSBTdGFuZGFy ZCBEZXZlbG9waW5nIE9yZ2FuaXphdGlvbiAoU0RPKSwgYnV0DQogICAgdGhpcyBkb2N1bWVu dCB0YXJnZXRzIHNwZWNpZmljYWxseSBkb2N1bWVudHMgcHJvZHVjZWQgYnkgdGhlIElFVEYu DQoNCg0KVGhlIElFVEYgZGF0YXRyYWNrZXIgc3RhdHVzIHBhZ2UgZm9yIHRoaXMgZHJhZnQg aXM6DQpodHRwczovL2RhdGF0cmFja2VyLmlldGYub3JnL2RvYy9kcmFmdC1wZXRpdGh1Z3Vl bmluLWNvbXB1dGVyYXRlLXNwZWNpZnlpbmcvDQoNClRoZXJlIGlzIGFsc28gYW4gSFRNTCB2 ZXJzaW9uIGF2YWlsYWJsZSBhdDoNCmh0dHBzOi8vd3d3LmlldGYub3JnL2FyY2hpdmUvaWQv ZHJhZnQtcGV0aXRodWd1ZW5pbi1jb21wdXRlcmF0ZS1zcGVjaWZ5aW5nLTE1Lmh0bWwNCg0K QSBkaWZmIGZyb20gdGhlIHByZXZpb3VzIHZlcnNpb24gaXMgYXZhaWxhYmxlIGF0Og0KaHR0 cHM6Ly93d3cuaWV0Zi5vcmcvcmZjZGlmZj91cmwyPWRyYWZ0LXBldGl0aHVndWVuaW4tY29t cHV0ZXJhdGUtc3BlY2lmeWluZy0xNQ0KDQoNCkludGVybmV0LURyYWZ0cyBhcmUgYWxzbyBh dmFpbGFibGUgYnkgYW5vbnltb3VzIEZUUCBhdDoNCmZ0cDovL2Z0cC5pZXRmLm9yZy9pbnRl cm5ldC1kcmFmdHMvDQoNCg0KX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX18NCkktRC1Bbm5vdW5jZSBtYWlsaW5nIGxpc3QNCkktRC1Bbm5vdW5jZUBp ZXRmLm9yZw0KaHR0cHM6Ly93d3cuaWV0Zi5vcmcvbWFpbG1hbi9saXN0aW5mby9pLWQtYW5u b3VuY2UNCkludGVybmV0LURyYWZ0IGRpcmVjdG9yaWVzOiBodHRwOi8vd3d3LmlldGYub3Jn L3NoYWRvdy5odG1sDQpvciBmdHA6Ly9mdHAuaWV0Zi5vcmcvaWV0Zi8xc2hhZG93LXNpdGVz LnR4dA0KDQotLSANCk1hcmMgUGV0aXQtSHVndWVuaW4NCkVtYWlsOiBtYXJjQHBldGl0LWh1 Z3VlbmluLm9yZw0KQmxvZzogaHR0cHM6Ly9tYXJjLnBldGl0LWh1Z3VlbmluLm9yZw0KUHJv ZmlsZTogaHR0cHM6Ly93d3cubGlua2VkaW4uY29tL2luL3BldGl0aHVnDQo= --------------AhjlxncB05Gf8ZDFlNgYy0qQ-- --------------NJhczDFYnfRzxjmdWNh6CUgb Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- wsF5BAABCAAjFiEEBSI+IuCHU8MsI1GjKcRFldZqfsQFAmGIDnoFAwAAAAAACgkQKcRFldZqfsRn Mg/+KGHnLmGeDjZml7acQoIk0RSM5j3AgGEiF5DE2r6f8zIlhauGP+lM7OYHe7yjJY6Tqm5+FEDt ofGJfoS4DIy04inmD/YqrS0BxtP2xhN1h9yBDHi/URm2uDA3YrMoVUfAhK9U+IYV3Cr21Ic7nm3X rqtz++xQbyDNSXx5coAX+yX0ui4AthiehxWYKkWWobLO8EsEz2saX1iKxdOg1PiqnrdmpXTmPsLc 5sNl8xD2xLdjjjWEkASH2Ys8FCHUG4GXT40HIUjj8oi1Zj3TkzY9pLbHvqsFcgMAc1HXVTZoZz9h CgtmE6sMWdv7RVoaRSO1ExhpV6RQx7cbkgdmrtlEA4fYypd3xpOfG4ILkDhisANE686XPbSU9U0O ShCK/XyK3k508IvV7tY/1idx3Tmur6X7RAp1LD9Eh8HOuG3tEftt/3qfuw6J0E0E75kHuQ+kro6z p22uwfI0C9oVJoTHkNdnWZvpotsFL5adkcdsjuv0ZAM7yaWDM5eTKy5JREDbhBaYs6ougMq5UVCC S/IYca2sEa27JSJTeLgpz354U4Adq4BA5KxVh+NGdBohr+lQwkZO+OOdAgrwS5MFa2nHgm2lMeYT koulGlxGXN7V6mYEz/TuspJoCH0iimJ9MH/203JgeExrLUVXO/lGIZvzMmUDbfizx0tJ7aNc/Tie HbM= =DwmB -----END PGP SIGNATURE----- --------------NJhczDFYnfRzxjmdWNh6CUgb-- From nobody Mon Nov 22 05:14:57 2021 Return-Path: X-Original-To: fdt@ietfa.amsl.com Delivered-To: fdt@ietfa.amsl.com Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id E30923A0936 for ; Mon, 22 Nov 2021 05:14:54 -0800 (PST) X-Virus-Scanned: amavisd-new at amsl.com X-Spam-Flag: NO X-Spam-Score: -1.899 X-Spam-Level: X-Spam-Status: No, score=-1.899 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, SPF_HELO_FAIL=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no 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 cHgBQMx9M_Tj for ; Mon, 22 Nov 2021 05:14:50 -0800 (PST) Received: from implementers.org (implementers.org [92.243.22.217]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 76BD33A0940 for ; Mon, 22 Nov 2021 05:14:49 -0800 (PST) Received: from [IPV6:2601:204:e600:411:d250:99ff:fedf:93cd] (unknown [IPv6:2601:204:e600:411:d250:99ff:fedf:93cd]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "Marc Petit-Huguenin", Issuer "implementers.org" (verified OK)) by implementers.org (Postfix) with ESMTPS id D7E00AE28A for ; Mon, 22 Nov 2021 14:14:46 +0100 (CET) Message-ID: <3945ec33-3f4d-195f-a71e-8853784bdba9@petit-huguenin.org> Date: Mon, 22 Nov 2021 05:14:44 -0800 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.3.0 References: <163758675211.26984.15015047235331381419@ietfa.amsl.com> Content-Language: en-US From: Marc Petit-Huguenin To: "fdt@ietf.org" In-Reply-To: <163758675211.26984.15015047235331381419@ietfa.amsl.com> X-Forwarded-Message-Id: <163758675211.26984.15015047235331381419@ietfa.amsl.com> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------yzqyuLKU7dKL0q9SwwnUI73p" Archived-At: Subject: [fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-16.txt X-BeenThere: fdt@ietf.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Mailing list for the discussion of the use of formal description techniques in IETF documents List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 22 Nov 2021 13:14:55 -0000 This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------yzqyuLKU7dKL0q9SwwnUI73p Content-Type: multipart/mixed; boundary="------------MnWPWhXdUZXZ0K8IFDzzC0Oj"; protected-headers="v1" From: Marc Petit-Huguenin To: "fdt@ietf.org" Message-ID: <3945ec33-3f4d-195f-a71e-8853784bdba9@petit-huguenin.org> Subject: Fwd: I-D Action: draft-petithuguenin-computerate-specifying-16.txt References: <163758675211.26984.15015047235331381419@ietfa.amsl.com> In-Reply-To: <163758675211.26984.15015047235331381419@ietfa.amsl.com> --------------MnWPWhXdUZXZ0K8IFDzzC0Oj Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 U2VlIGNoYW5nZWxvZyBhdCB0aGUgZW5kIG9mIHRoZSBkb2N1bWVudC4NCg0KDQotLS0tLS0t LSBGb3J3YXJkZWQgTWVzc2FnZSAtLS0tLS0tLQ0KU3ViamVjdDogSS1EIEFjdGlvbjogZHJh ZnQtcGV0aXRodWd1ZW5pbi1jb21wdXRlcmF0ZS1zcGVjaWZ5aW5nLTE2LnR4dA0KRGF0ZTog TW9uLCAyMiBOb3YgMjAyMSAwNToxMjozMiAtMDgwMA0KRnJvbTogaW50ZXJuZXQtZHJhZnRz QGlldGYub3JnDQpSZXBseS1UbzogaW50ZXJuZXQtZHJhZnRzQGlldGYub3JnDQpUbzogaS1k LWFubm91bmNlQGlldGYub3JnDQoNCg0KQSBOZXcgSW50ZXJuZXQtRHJhZnQgaXMgYXZhaWxh YmxlIGZyb20gdGhlIG9uLWxpbmUgSW50ZXJuZXQtRHJhZnRzIGRpcmVjdG9yaWVzLg0KDQoN CiAgICAgICAgIFRpdGxlICAgICAgICAgICA6IFRoZSBDb21wdXRlcmF0ZSBTcGVjaWZ5aW5n IFBhcmFkaWdtDQogICAgICAgICBBdXRob3IgICAgICAgICAgOiBNYXJjIFBldGl0LUh1Z3Vl bmluDQoJRmlsZW5hbWUgICAgICAgIDogZHJhZnQtcGV0aXRodWd1ZW5pbi1jb21wdXRlcmF0 ZS1zcGVjaWZ5aW5nLTE2LnR4dA0KCVBhZ2VzICAgICAgICAgICA6IDEyNg0KCURhdGUgICAg ICAgICAgICA6IDIwMjEtMTEtMjINCg0KQWJzdHJhY3Q6DQogICAgVGhpcyBkb2N1bWVudCBz cGVjaWZpZXMgYSBwYXJhZGlnbSBuYW1lZCBDb21wdXRlcmF0ZSBTcGVjaWZ5aW5nLA0KICAg IGRlc2lnbmVkIHRvIHNpbXVsdGFuZW91c2x5IGRvY3VtZW50IGFuZCBmb3JtYWxseSBzcGVj aWZ5DQogICAgY29tbXVuaWNhdGlvbiBwcm90b2NvbHMuICBUaGlzIHBhcmFkaWdtIGNhbiBi ZSBhcHBsaWVkIHRvIGFueQ0KICAgIGRvY3VtZW50IHByb2R1Y2VkIGJ5IGFueSBTdGFuZGFy ZCBEZXZlbG9waW5nIE9yZ2FuaXphdGlvbiAoU0RPKSwgYnV0DQogICAgdGhpcyBkb2N1bWVu dCB0YXJnZXRzIHNwZWNpZmljYWxseSBkb2N1bWVudHMgcHJvZHVjZWQgYnkgdGhlIElFVEYu DQoNCg0KVGhlIElFVEYgZGF0YXRyYWNrZXIgc3RhdHVzIHBhZ2UgZm9yIHRoaXMgZHJhZnQg aXM6DQpodHRwczovL2RhdGF0cmFja2VyLmlldGYub3JnL2RvYy9kcmFmdC1wZXRpdGh1Z3Vl bmluLWNvbXB1dGVyYXRlLXNwZWNpZnlpbmcvDQoNClRoZXJlIGlzIGFsc28gYW4gSFRNTCB2 ZXJzaW9uIGF2YWlsYWJsZSBhdDoNCmh0dHBzOi8vd3d3LmlldGYub3JnL2FyY2hpdmUvaWQv ZHJhZnQtcGV0aXRodWd1ZW5pbi1jb21wdXRlcmF0ZS1zcGVjaWZ5aW5nLTE2Lmh0bWwNCg0K QSBkaWZmIGZyb20gdGhlIHByZXZpb3VzIHZlcnNpb24gaXMgYXZhaWxhYmxlIGF0Og0KaHR0 cHM6Ly93d3cuaWV0Zi5vcmcvcmZjZGlmZj91cmwyPWRyYWZ0LXBldGl0aHVndWVuaW4tY29t cHV0ZXJhdGUtc3BlY2lmeWluZy0xNg0KDQoNCkludGVybmV0LURyYWZ0cyBhcmUgYWxzbyBh dmFpbGFibGUgYnkgYW5vbnltb3VzIEZUUCBhdDoNCmZ0cDovL2Z0cC5pZXRmLm9yZy9pbnRl cm5ldC1kcmFmdHMvDQoNCg0KX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX18NCkktRC1Bbm5vdW5jZSBtYWlsaW5nIGxpc3QNCkktRC1Bbm5vdW5jZUBp ZXRmLm9yZw0KaHR0cHM6Ly93d3cuaWV0Zi5vcmcvbWFpbG1hbi9saXN0aW5mby9pLWQtYW5u b3VuY2UNCkludGVybmV0LURyYWZ0IGRpcmVjdG9yaWVzOiBodHRwOi8vd3d3LmlldGYub3Jn L3NoYWRvdy5odG1sDQpvciBmdHA6Ly9mdHAuaWV0Zi5vcmcvaWV0Zi8xc2hhZG93LXNpdGVz LnR4dA0KDQotLSANCk1hcmMgUGV0aXQtSHVndWVuaW4NCkVtYWlsOiBtYXJjQHBldGl0LWh1 Z3VlbmluLm9yZw0KQmxvZzogaHR0cHM6Ly9tYXJjLnBldGl0LWh1Z3VlbmluLm9yZw0KUHJv ZmlsZTogaHR0cHM6Ly93d3cubGlua2VkaW4uY29tL2luL3BldGl0aHVnDQo= --------------MnWPWhXdUZXZ0K8IFDzzC0Oj-- --------------yzqyuLKU7dKL0q9SwwnUI73p Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- wsF5BAABCAAjFiEEBSI+IuCHU8MsI1GjKcRFldZqfsQFAmGbl8QFAwAAAAAACgkQKcRFldZqfsQQ DQ//RUpqyUPWQOWO76QVkWMLEbq7J1KMLDCIUNIT9NLEhsEZaIMEwJ0hh/0m5IJ6r/l6OFBsghuP GB3Y77q6fq8KNGiZWxWZDNVckZlWSZIieDCABFdnnapk6oHqjz+1NGXMR+W12JYG9/OWJLmtey0v rrZEFxMliPivnuVMpe5vgbJUHZ+VAh4SVxnSCy0NQK4MsnYwL+mKOrzfwgcRF58Q0c78Z5mgEe8r wkRFrdFT4GIuWP3KXjXK3mK46JsuruJ64+VaE8a5QVXMG9XaeHTKmtBDqcPQjJp4NklMjChvOQ3+ rBxxA2lj7zm8+fERxYJFH3rAiJNFiW0ZLWgSO8h0O80FAlzNux00jsOFNpljDtFwx0KxP+fkjWlZ EBoFwXjBAhY8eUwfhZCg3a7dk+E59urukuom6Fur53JkYlUwR49eGwiVHQ7vCIR+RfgKsxEbRirZ 5SlrCAeqD7vSPNQwWkncks5uKe3zwImMP1XkLw4CSRZEUSUyMFXv4OO+vWvjJgvKsaAfmpix6x0l DNaYKAX7VzDsBD+qT1fbIsIVzU5AMreNo95HTKhDcXPVEy9Fl2Hwjw5aA6PG4cmucrvieK1BrA9/ v7aVe7vgXzZMBFtleK4knL/DDQqcYe88NiLTQqz5JfjdCqkJhtJEHiQtEUKfoSxAgDjdshMr5FIL raU= =duop -----END PGP SIGNATURE----- --------------yzqyuLKU7dKL0q9SwwnUI73p--