Posting to re-up my earlier comments on ceremony.
The underlying problem here is that what we have documented is the algorithm and that only covers one part of the process. The situation would be exactly the same with formal methods. That is why I stopped doing formal methods.
If we are only using this scheme internally, the issues are maybe acceptable. But it is not in a state that I would recommend it as a best practice outside IETF use.
On Wed, Aug 17, 2022 at 10:44 AM Salz, Rich <rsalz=40akamai.com@xxxxxxxxxxxxxx> wrote:
- 1) I provided the scheme to counteract your claim that redoing things would take weeks.
I believe that I said more than one, and I meant for the whole process. See my previous response to EKR about some of the details and timelines.
- 5) I expect we won't be making any changes at this point - but the arguments for not doing so are weaker than you think.
I won’t be making any changes. And my arguments include knowledge of the IETF community. :)
-Rich Salz, 2020 NomCom Chair
