failure family

consensus and protocol attack

29 claims across 17 works.