RFC 9420, "The Messaging Layer Security (MLS) Protocol", July 2023

Errata ID: 8032
Status: Rejected
Type: Technical
Publication Format(s) : TEXT, PDF, HTML
Reported By: Stefan Schaubeck
Date Reported: 2024-07-15
Rejected by: Paul Wouters
Date Rejected: 2024-07-16

Section 7.9.2 says:

... is equal to the resolution of C with D removed.

It should say:

... is equal to the resolution of C with C removed.

Notes:

I think it should be C instead of D, since C is not a leaf node at all and D is an unmerged leaf.
--VERIFIER NOTES--
As per Richard Barnes:
"The resolution of C with C removed" is nonsensical. The only reason C would appear in its own resolution is if the resolution is just [C], in which case removing C yields the empty list. The intent here is correct. If D is non-blank, as this section presumes, then the resolution of C will be [D, D.unmerged_leaves..., stuff_outside_of_subtree_D]. So what this says is that P and D agree on the unmerged leaves under D.

Report New Errata