From b6115d48f10f83a8bc8e2a8cc3edd28d7360a55d Mon Sep 17 00:00:00 2001 From: "Jan Winkelmann (keks)" Date: Tue, 20 Jan 2026 15:18:34 +0100 Subject: [PATCH] new checks: added leaf node must support all group context extensions --- checksets/05-add_proposal.dhall | 15 +++++++++++++++ checksets/14-welcome.dhall | 13 +++++++++++++ 2 files changed, 28 insertions(+) diff --git a/checksets/05-add_proposal.dhall b/checksets/05-add_proposal.dhall index bab2dcb..ff01bb6 100644 --- a/checksets/05-add_proposal.dhall +++ b/checksets/05-add_proposal.dhall @@ -27,6 +27,21 @@ let checks = types.Status.Complete types.Status.Unknown types.Notes/empty + , types.Check/new + 2 + ( types.RfcRef/single + '' + A client adding a new member to a group MUST verify that the LeafNode for + the new member is compatible with the group's extensions. The capabilities + field MUST indicate support for each extension in the GroupContext. + An Add proposal is invalid if the KeyPackage is invalid according to + Section 10.1. + '' + "section-13.4-5.5" + ) + types.Status.Complete + types.Status.Unknown + types.Notes/empty ] in types.CheckSet/new id name desc checks diff --git a/checksets/14-welcome.dhall b/checksets/14-welcome.dhall index 12a880b..6b1c8b6 100644 --- a/checksets/14-welcome.dhall +++ b/checksets/14-welcome.dhall @@ -224,6 +224,19 @@ let checks = types.Status.Missing types.Status.Missing (types.Notes/single "branching isn't currently implemented") + , types.Check/new + 15 + ( types.RfcRef/single + '' + A client joining a group MUST verify that it supports every extension in the + GroupContext for the group. Otherwise, it MUST treat the enclosing GroupInfo + message as invalid and not join the group. + '' + "section-13.4-5.6" + ) + types.Status.Complete + types.Status.Unknown + types.Notes/empty ] in types.CheckSet/new id name desc checks