This proposal gives an alternative formulation of the usability
rules of guard-spec, and the relationship between guard status and
circuit status.