On Sun, Sep 13, 2026 at 12:55 PM Bjoern A. Zeeb < [email protected]> wrote:
> > > Does anyone have any idea as to why witness may not do its job (sometimes)? The most obvious place I’ve seen incorrect results has been when multiple different locks use the same name. Is it possible that is a factor here? (Note that this can be somewhat pernicious. For example, if two different locks use the name “foo” and then one of those is held while locking “bar”, then all of the locks ever held while locking either “foo” lock will form part of the locks witness thinks are OK to hold while locking “bar”.) Jonathan >
