I am sure this must be handled somewhere, but why can't malicious observers in this scheme flag honest behavior, creating a vector for denial of service. I suspect that observers must report something that is actually true, but my gut is still saying am missing something more fundamental here.
