After many discussions and a lot of trial and error, we finally have a simple and efficient way to allow an admin to intervene in dispute resolution.

I just uploaded a repository explaining how Mostro clients handle chat between users. We use a Diffie-Hellman shared key between the two parties as a master key, which either party can voluntarily share with the solver in case of a dispute. This way, the solver can verify who is lying.