IETF Logo Mail Archive

Re: [Edm] Tracking (and distinguishing) formal analysis

"Charles Eckel (eckelcu)" <eckelcu@cisco.com> Fri, 17 March 2023 19:27 UTC

Return-Path: <eckelcu@cisco.com>
X-Original-To: edm@ietfa.amsl.com
Delivered-To: edm@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id AFC96C14E513 for <edm@ietfa.amsl.com>; Fri, 17 Mar 2023 12:27:49 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -14.594
X-Spam-Level:
X-Spam-Status: No, score=-14.594 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIMWL_WL_HIGH=-0.001, DKIMWL_WL_MED=-0.001, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_HI=-5, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_NONE=0.001, URIBL_BLOCKED=0.001, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001, USER_IN_DEF_DKIM_WL=-7.5] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=cisco.com header.b="d7V7dsa2"; dkim=pass (1024-bit key) header.d=cisco.com header.b="aCzI+LZY"
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 I1TI3-FsBxNg for <edm@ietfa.amsl.com>; Fri, 17 Mar 2023 12:27:45 -0700 (PDT)
Received: from rcdn-iport-6.cisco.com (rcdn-iport-6.cisco.com [173.37.86.77]) (using TLSv1.2 with cipher DHE-RSA-SEED-SHA (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 25942C14E515 for <edm@iab.org>; Fri, 17 Mar 2023 12:27:45 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=cisco.com; i=@cisco.com; l=8939; q=dns/txt; s=iport; t=1679081265; x=1680290865; h=from:to:cc:subject:date:message-id:references: in-reply-to:mime-version; bh=4pKYEkgalOMj1M5/OMXaUnwpfCgwJFt4oaAHE7Mkwes=; b=d7V7dsa2obuGKDVeginomRwMS5Nk5UCoYWvk121zMEbH4uOTRyH4m90u WtAuhY6ysnq71gwjkV9jzFid8lUu2u+71xgyHjtfnXx9/sGIvokta3wVP AUXH7tj+tExpadPThCJdVOaECp/nqv908YvKImXCE8F7bcAZQr7VSQ1c5 A=;
X-IPAS-Result: A0ADAADZvRRkmJpdJa1aGgEBAQEBAQEBAQEDAQEBARIBAQEBAgIBAQEBgXsFAQEBAQsBgVtScwJZO0aEUoNMA4RQX4gxi0mLP4UhgSyBJQNWDwEBAQ0BAS4BDAkEAQGFBQIWhR4CJTQJDgECBAEBAQEDAgMBAQEBAQEDAQEFAQEBAgEHBBQBAQEBAQEBAR4ZBQ4QJ4VoDYZWAgEDAQEQER0BASwLAQ8CAQg/AwICAh8GCxQRAgQOBSKCXAGCFRMDMQMBDwanFwGBPwKKH3qBMoEBgggBAQYEBIE4AQMCAg5BS5lzDYJGAwaBQAGHQoFXAQGBUoZGJxuCDYE8HIJnPoIgQgEBAgGBXC6DKzmCLoELl3cKgTR2gSAOSnOBBAIJAhFrgRIIa4F9QQINZQsOdoFMAoFUBzYDCQMHBSwdQAMLGA0WOhMsNRQhBlhsLhISBQMLFSpHBAg5Bhs0EQIIDxIPBiZDDkI3NBMGXAEpCw4RA09CGWwEL4FdBgEmJJo5gW8VTGUDQw4CWwt0YD2VR06KRUehHW8Kg3qLcY8OhgcEIwuDfaRgYpdqgk6LBINskgcBhCsCBAIEBQIOAQEGgWI6gVtwFTsqAYI8PxMZD44gGYNZhRSKZXUCOQIHAQoBAQMJi0MBAQ
IronPort-PHdr: A9a23:UNVYCBN+wEnbNLZWmFIl6ncDWUAX0o4cdiYZ6Zsi3rRJdKnrv5HvJ 1fW6vgliljVFZ7a5PRJh6uz0ejgVGUM7IzHvCUEd5pBBBMAgN8dygonBsPNAEbnLfnsOio9G skKVFJs83yhd0ZPH8OrbFzJqXr05jkXSX3C
IronPort-Data: A9a23:w1BSE6Pdn9PkPMfvrR2ol8FynXyQoLVcMsEvi/4bfWQNrUpw1DIGx zceWD2POfaDMGvyc9pwaNix9R5QupPWyIJmSnM5pCpnJ55oRWUpJjg4wmPYZX76whjrFRo/h ykmQoCcaphyFBcwnz/1WlTbhSEUOZqgG/ytWIYoBggrHVU/EHx41ko58wIEqtcAbeaRUlvlV eza+6UzCHf9s9KjGjtJg04rgEoHUMXa4Fv0jHRnDRx4lAO2e00uMX4qDfrZw00U7WVjNrXSq +7rlNlV945ClvsnIovNfr3TKiXmTlNOVOSDoiI+ZkSsvvRNjgAAyv8JKeMXUHxa0ReJwv1L5 fARh5PlHG/FPoWU8AgcewNTHyc7Nqpc9fqcZ3O+qseUiUbBdhMAwd03UxpwZtJeq70xWDwSn RAbAGhlghSrium1zbawV8Fnh98oK4/gO4Z3VnRIlm2BV6l4HMyrr6PivMdXgx0vos93Pd3RI MkAbz1RSkSZfEgaUrsQIMtuwLj37pXlSBVVpFe9pKM9pW/Jw2RZ27HyGNrYc8SLQ8pfn1qD4 GTL4wzRBgwRPceHwCCJ73/q3LOJwgv0XYsTEPuz8fsCvbGI7nYYBBtTXlyhrLzizEW/QNlYb UcT/0LCsJTe6mSHfMGkbQChq0e/s0Q+W4d9KcAftDOCn/+8DxmiOkAISTtIadoDvcAwRCA32 lLhoz8PLWEy2FFyYS/Bnop4vQ9eKgBOcjBfPX5soR8tpoi88Ntq33ojW/46SPbt5uAZDw0c1 NxjkcTTr68YgchO3KKh8BWcxTmtvZPOCAUy4207v15JDCslO+ZJhKTxuTA3CMqsyq7DHzFtW 1BfwaCjABgmV83lqcB0aLxl8EuVz/iEKibAplVkAoMs8T+gk1b6I98BuG4hdBw1aJhZEdMMX KM1kV4OjHO0FCb0BZKbn6rqYyjX5fG6TI+8Bqy8giRmPcgoHON4wM2eTRfAgz+y+KTduao+I pycOd29FmoXDL8P8dZFb7l17FPf/QhnnTm7bcmil3yPiOPCDFbLEu1tGAXVMYgEAFas/V+9H yB3bZXakn2ykYTWP0HqzGLkBQlUcyRkVcCt+qS6tIere2JbJY3oMNeJqZtJRmCvt/09ejvgl p1lZnJl9Q==
IronPort-HdrOrdr: A9a23:TT/S9667m25C6UHoNgPXwX2BI+orL9Y04lQ7vn2ZFiY6TiXIra +TdaoguSMc0AxhJE3Jmbi7Sc29qADnhOFICOgqTPuftWzd2VdAQ7sSlbcKrweQeREWs9QtqJ uIEJIOR+EYb2IK9voSiTPQe71Lrbn3k5xAx92utUuFJjsaDJ2Imj0JczpzZXcGIjWua6BJca a0145inX6NaH4XZsO0Cj0uRO7YveDGk5rgfFovGwMnwBPmt0Ln1JfKVzyjmjsOWTJGxrkvtU LflRbi26mlu/anjjfBym7o6YhMkteJ8KoDOCXMsLlUFtzfsHfrWG1TYczGgNnzmpDq1L8eqq iOn/7nBbU115qeRBDynfKn4Xif7N9n0Q6S9bbfuwq7nSQ8LwhKUPaoQuliA0PkAgMbzaJB+b MO0GSDu5VNCxTc2Cz7+tjTThlv0lG5uHw4jIco/jdiuRt3Us4gkWUzxjIdLH47JlOz1Kk3VO 11SM3M7vdfdl2XK3jfo2l02dSpGnA+BA2PTEQOstGcl2E+pgE182IIgMgE2nsQ/pM0TJdJo+ zCL6RzjblLCssbd7h0CusNSda+TmbNXRXPOmSPJkmPLtBMB1vd75rspLkl7uCjf5IFiJM0hZ TaSVtd8XU/fkr/YPf+qqGjMiq9N1lVcQ6dvv22vaIJyIEUbICbRBG+dA==
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-AV: E=Sophos; i="5.98,268,1673913600"; d="scan'208,217"; a="34027654"
Received: from rcdn-core-3.cisco.com ([173.37.93.154]) by rcdn-iport-6.cisco.com with ESMTP/TLS/DHE-RSA-SEED-SHA; 17 Mar 2023 19:27:43 +0000
Received: from mail.cisco.com (xfe-aln-001.cisco.com [173.37.135.121]) by rcdn-core-3.cisco.com (8.15.2/8.15.2) with ESMTPS id 32HJRgup030356 (version=TLSv1.2 cipher=AES256-SHA bits=256 verify=OK); Fri, 17 Mar 2023 19:27:42 GMT
Received: from xfe-rcd-002.cisco.com (173.37.227.250) by xfe-aln-001.cisco.com (173.37.135.121) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.1118.25; Fri, 17 Mar 2023 14:27:42 -0500
Received: from NAM11-CO1-obe.outbound.protection.outlook.com (72.163.14.9) by xfe-rcd-002.cisco.com (173.37.227.250) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.1118.25 via Frontend Transport; Fri, 17 Mar 2023 14:27:42 -0500
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=HRd7Xkf3PcEaqfBzS903tsR13SbrK1a1Cf9FprTpgL/CDSoVQmQ1hyd4k16OpbwaqHAj/CGIc3E/SA3yfzI2p8QC63VhvstP5vLNkmDMX9fqLMQFexAAawFu4ZejPXA/TZccAJmfIkAXWgPG1ZimkvYSx1hxY71D9ywqgJukDRyjQJapzzPCc2E0wjJOlaXs8PvMMfoPhzhNqzAr5tPmvxrQECdpSkTzelYtG4PovRAThd07HqglSyw/KPwu8ulFF3wSs3hj8Y2gpG1FVV7xYK0QJQ/n3EUYZ36kPX2tXbpuMEI0M+0eSADVlOmHjJleyRUVWW6u4A8CTU1JmQO/Xg==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=4pKYEkgalOMj1M5/OMXaUnwpfCgwJFt4oaAHE7Mkwes=; b=R2QqDGefKlZG2X5tA0LAFRDmL4FAZJUf0cn2J7I2eUi6y8VQjoM9O2n0OsTRYVJX94nxXflT+6/V9OAL6allga/Xpa9vnUvqEmxXgZL6gs6yJsiGu33W7hDkjKIXJkVnleMdwy8j03kCaxLVqiy3e4BV1ZeZh6/zAtA3IedhbEGhLld9lIbmF2YpmvzcZaUDqShwwt4ZDW9OD0Kkvz6lXIPcRKvdhUkSSKNGS4WiWsMuMXXnP95MV//0LvtAFe1oy4SgugKoNyMUzU+fzkJNPYmXrJHKk1tzupYoBFfKDbqR69IJvIJkz91mK7Z4T+PNK/o2RZwCgY1BXSOGmEkNsw==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cisco.com; dmarc=pass action=none header.from=cisco.com; dkim=pass header.d=cisco.com; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cisco.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=4pKYEkgalOMj1M5/OMXaUnwpfCgwJFt4oaAHE7Mkwes=; b=aCzI+LZYNCfZzK2R1jhCu2+mtFyd0yVnmBJJyVvHMS3KESCW6lcdh5uRQIqjEWQXZQaIkqNhbAh3zJZDVevIQoG/htdaS8QUulhGhS5GFOyC4kG1jxhOuLd7k2Hg3WkjeMLkVmGwEVcre+AnlfNbp0IrYvXxmcCUd1fkL8WC0JA=
Received: from SJ0PR11MB5053.namprd11.prod.outlook.com (2603:10b6:a03:2af::17) by DS0PR11MB7880.namprd11.prod.outlook.com (2603:10b6:8:f3::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6178.35; Fri, 17 Mar 2023 19:27:40 +0000
Received: from SJ0PR11MB5053.namprd11.prod.outlook.com ([fe80::9298:39f3:f6a3:3cca]) by SJ0PR11MB5053.namprd11.prod.outlook.com ([fe80::9298:39f3:f6a3:3cca%9]) with mapi id 15.20.6178.035; Fri, 17 Mar 2023 19:27:40 +0000
From: "Charles Eckel (eckelcu)" <eckelcu@cisco.com>
To: Lucas Pardue <lucaspardue.24.7@gmail.com>
CC: Christopher Wood <caw@heapingbits.net>, "edm@iab.org" <edm@iab.org>
Thread-Topic: [Edm] Tracking (and distinguishing) formal analysis
Thread-Index: AQHZVy3yIJUQXMrOHkeEvYIAW4qMta77swUAgAAebICAAA2KAIAAA3CAgAN8S4A=
Date: Fri, 17 Mar 2023 19:27:40 +0000
Message-ID: <E28865FB-FC08-4D91-AFB4-F8087D43EC51@cisco.com>
References: <CALGR9obBioR7UFjWB-sGA96DBsMXBu7LNByDk-XRfM9DayeVSQ@mail.gmail.com> <D2AD3E3F-77F8-4F8B-A4F3-92386E58E997@heapingbits.net> <CALGR9oYbWTUDMLR53kgyM+8N94hic16nQrj0vV=uuq+DVCTmwQ@mail.gmail.com>
In-Reply-To: <CALGR9oYbWTUDMLR53kgyM+8N94hic16nQrj0vV=uuq+DVCTmwQ@mail.gmail.com>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
x-mailer: Apple Mail (2.3696.120.41.1.2)
authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=cisco.com;
x-ms-publictraffictype: Email
x-ms-traffictypediagnostic: SJ0PR11MB5053:EE_|DS0PR11MB7880:EE_
x-ms-office365-filtering-correlation-id: 4e880a5c-4dc0-4c27-84c1-08db271dac45
x-ms-exchange-senderadcheck: 1
x-ms-exchange-antispam-relay: 0
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: GqaCrgEG9LiOKwlF7aa2N+v1ugLKGGSMaB4PDULr+jmJZSNSBEs6BDWNLBqhllX+da5XSLgcpRKnbORFiawG4+TIG7IsQFzXjeLS9wnMoJSeqVWNstnv2GjT6K/yqVLxFZXCFa2a5zIZtI9r3G9/I3hzb9dDQZoEzYxUgVEOF9ob1GGekWPit2zgC5JZQbO4/kH9fURST0U0g0s1fxT1WgOku5WuGwgTkvib8L55XFmE7dJD1K/JfBz8DXmAYoAKSds9gzQpmdZTcTpyuL6/IqzK18o429rApRTq5KQ1UXNVDuBfv9PKGNiigARXRDtAoJ+b0HHtAnuhplUOj4qQFH4lebQ4pjge6z2Dq0P98Fijdpw4cvofF7UVmY2dlt2Qu9bsfSKxGR/9YAExeHev1jj3B2cNGnOAcdr4Aa6G2wFKXXvngJUTFJBEYln4hdjxkvAaHNZAjxFRU9cakhhGOicGXevnJ1gCYadjl9wCZICJ6yWBw40CGny6Z4dS26I9MbVAUZfz2FzTKRkWLOR/KzJskWLHfDEgHUSIpBGMdOtok3AE0FwZKNpz0RYx1Udm0R0HFl9ggrWKSghuYquDTGC9l/L780rKjG8+UUxm/HJALfjzKfsMmrZehkfevfEEyDgIFk9npIMahyoStYF1JFvmVIfCiq3a5snMu0YMS8qSRxNfRElE19EsDPKb09TFHBs30SeEShgRLSM1vi4F5zY544tKF55XVE2PMI8nmxTukD551yMZpN39YPE4NewB
x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:SJ0PR11MB5053.namprd11.prod.outlook.com; PTR:; CAT:NONE; SFS:(13230025)(39860400002)(346002)(136003)(376002)(366004)(396003)(451199018)(66899018)(33656002)(36756003)(41300700001)(5660300002)(8936002)(2906002)(86362001)(38100700002)(38070700005)(166002)(122000001)(71200400001)(478600001)(64756008)(66946007)(66446008)(76116006)(8676002)(6916009)(966005)(6486002)(66476007)(66556008)(4326008)(54906003)(83380400001)(316002)(2616005)(186003)(6512007)(6506007)(53546011)(45980500001); DIR:OUT; SFP:1101;
x-ms-exchange-antispam-messagedata-chunkcount: 1
x-ms-exchange-antispam-messagedata-0: KciABuXfGmUENLEhKTqAbbsBKhlKkA2+LMcvVOuyQ9cQ0SdPQGpHoEZi0/7XVMlqwuEyxSC/AqSXl7/FmZjqqSICURJqqgSAsIddD2oOVUdFMgjA5vwNnBy5mIEC4FwY07HpYnLPilQVbfeYuLcb4qaUhSxb8OVZTnHzoKyZKCL6CRYn+egDGq90J/rrqhm2z/je3w6VXwKITf1/SyxgtRZkOPgj0cer4OLgdzkfxqRvWWXGBk2QL1WzXDOdbNO2dQ2fkGnteYCFMUZ2AagNsiAxaa9O8cRHK2McoWBoNkkrVpBpGqk453e5mY4u38WHysUYoCoOTMY6nA6h3nLjpMrFuK/U7ri2eRb0FWJTMnccpKTTwLfSt49X1Gzz/y8gtHtdKN2T2M76koPWPeF6kSdnI6ffYVF5GLlRcimb3Seg9lj20IkeCGHDLStDv9AplvVTFUhvj02JR3OyIANoR4ciou2Z4RawOKRlQldFrl6QddCZliaw2TCTdaobkkWwOhL9qO0rsMJo2tI8qFkGaq55xoN+jRTPbs3J51D8N2wc6Ps8s0JrJk9YY4KZNAa8PeTMNem8qGm/jBc2FePRMLsTdtD/ASI8ECsAuuUVnq+EGhuejXxxDNNzbJ0EkTsIXDPMzoroOfhRtQyb0An03sdFf0p/km50O8YC1c4J+2FHmVqmHcdBSEpsBUv++qy/JeOZQXXu22JNEKdgzS//ybNShad7LTlrzxcaVYGn1lSAhxoKBQB3dTdjk0VA6Kfet/O6IAqRKEO6z6LiTRUhpWal/o7sYVwNGH0fkkKao5pXJP83V3Dj4WYcoCy/2RfceAI5m+4HJglqS7P66qpX1HJgQoW/WOjpAAHVgqNHo3QKju5GErujsp1owvoDLaA43Cz8PmeJPtz33wNX45WAC+lGTG76XoMsghMMNp9Wwwk5GZ1xEtmqzw0M5lqOXCy7R/9JeXfZ8oYpKKJhpIMkr3V7NjuOsorXCeciICX/hEepLvYz2Euw7+bqdahZzoksCWyRwUL5tEh76ldXEMB+UUs1UtTTEZWzca/jeJSo/78wILLrgjZP92FY5thZOCmGt4cRIWQc9h6ynw/tF4FKdO2joOvl1t6sr3Y2cQmrEQJRpFA7fUcCSJotqh34rY9yf67L4yIaSSMcjXvxXES64Md1M5kOeVgGv4KSmCv57U6qpviOe4ISJ6a1TEIV1N9jtBuxQ6/LgutQ3+ZK5FjYsg/dyrpjdsz1a7OuyAwWvxERbti2i/fkdCOZGc6jcPOJUdu4sMbNcBXkUDb2895utD0IlsX/YqaLhfGhjnBfFd38xH/tB7whAZ3tdI3QcIBq6JA6p9HNoZae1sRFE56yu3qEkQcxAj7ecOAjOEsmEJVKTEHB7tRl6qTknU84h162/FVeOBDq/ON2KF/3X7SmuGgQUvTx0aVq7Wj7HgVvSsOU3vXhQOBJiMej/P1A6C7oDAmYtq51DAXGSCKJH0G/KyrDKT2PjIzFmDXYoManpF766n9bYzc1rgBUsFC0mDM19ka2FtYcj+PLTMluVs2aLIzxkCVmCoQhBprOA5irocjTPshgrgtIPuwAeXwRrjjqtSNFseecKYe7z72dBYfpp6WV9quKyj2vRqZxwf02GKdrHZC3xGAHjpXbh7K9lBFK
Content-Type: multipart/alternative; boundary="_000_E28865FBFC084D91AFB4F8087D43EC51ciscocom_"
MIME-Version: 1.0
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-AuthSource: SJ0PR11MB5053.namprd11.prod.outlook.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 4e880a5c-4dc0-4c27-84c1-08db271dac45
X-MS-Exchange-CrossTenant-originalarrivaltime: 17 Mar 2023 19:27:40.0360 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 5ae1af62-9505-4097-a69a-c1553ef7840e
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: t9Z//+/J/N84F4TmXA0a9/Z9PQ6uWnq2eykF9uA5ngrccJ1Ozz/yPAHbRd2O7kh6pDvUXUdkJB6cLU8UzBjDDQ==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DS0PR11MB7880
X-OriginatorOrg: cisco.com
X-Outbound-SMTP-Client: 173.37.135.121, xfe-aln-001.cisco.com
X-Outbound-Node: rcdn-core-3.cisco.com
Archived-At: <https://mailarchive.ietf.org/arch/msg/edm/dLlOdD29lXyd1Me2U_GkQ5D2X38>
Subject: Re: [Edm] Tracking (and distinguishing) formal analysis
X-BeenThere: edm@iab.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: "Evolvability, Deployability, & Maintainability \(Proposed\) Program" <edm.iab.org>
List-Unsubscribe: <https://www.iab.org/mailman/options/edm>, <mailto:edm-request@iab.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/edm/>
List-Post: <mailto:edm@iab.org>
List-Help: <mailto:edm-request@iab.org?subject=help>
List-Subscribe: <https://www.iab.org/mailman/listinfo/edm>, <mailto:edm-request@iab.org?subject=subscribe>
X-List-Received-Date: Fri, 17 Mar 2023 19:27:49 -0000

Hi Chris,

Glad you find the related-implementations tag in the datatracker useful. There is time in the agenda of the edm session at IETF 116 [0] to discuss draft-eckel-edm-find-code [1] and the use of the related-implementations tag that is recommends. Discussion and comments on the draft are of course welcome any time as well as during that session.

When creating the tag, we debated a bit on the name. This was in large part because the types of implementations can vary drastically, and as you point out, there are other things that are not implementations at all that are helpful in other ways. The approach the draft currently suggests is using a README [2] to point to known implementation and provide a bit of context about them. Perhaps I-Ds and RFCs should always have an associated README/wiki page that complements them.

Cheers,
Charles

[0] https://datatracker.ietf.org/meeting/116/materials/agenda-116-edm-00
[1] https://datatracker.ietf.org/doc/draft-eckel-edm-find-code/
[2] https://www.ietf.org/archive/id/draft-eckel-edm-find-code-02.html#name-readme

On Mar 15, 2023, at 7:14 AM, Lucas Pardue <lucaspardue.24.7@gmail.com<mailto:lucaspardue.24.7@gmail.com>> wrote:



On Wed, 15 Mar 2023, 14:02 Christopher Wood, <caw@heapingbits.net<mailto:caw@heapingbits.net>> wrote:
I agree that it’s useful for drafts to cite this work, but we should also acknowledge that analyses change over time. Sometimes there are bugs in the proofs or models. Sometimes new results emerge that complement or otherwise impact existing analyses. The unfortunate consequence of immutable RFCs is that we don’t have a good way to track these things. Adding them to the datatracker seems like a low effort workaround.

Apologies if I was unclear, I totally agree that using the datatrackef as you suggest is good. Cataloging other work publicly has an upshot of making it more visible, so RFC updates or related new documents might then pick something to more formally cite.

It's not hard to add to the datatracker, but distributing/minimising the effort to update the list might encourage more use.

Cheers
Lucas
--
Edm mailing list
Edm@iab.org<mailto:Edm@iab.org>
https://www.iab.org/mailman/listinfo/edm

v2.23.0 | Report a Bug | By Email