- Item 1: Admission::AlreadyAdmitted. A group the chain admitted before, other than
its head, offered again with the same bytes returns it before anything is verified,
never ChainBreak; the head again is Linked as before. Test:
an_admitted_group_offered_again_changes_nothing (group 3 after head 6; a joiner's
anchor delivered again, then history behind it).
- Item 2: the chain keeps each admitted link with a digest of the group's bytes as
carried (unsigned members included), and holds a group as known only when its bytes
equal the held one's. A legacy group's link covers neither its parent nor its
coverage: a variant with an unsigned coverage is now verified, and refused
(Unverified); one with its parent rewritten is the head again and changes nothing.
Test: a_legacy_variant_is_not_the_group_admitted (the review's jmoq_probes2 case).
Co-Authored-By: Claude Opus 5.5 <[email protected]>