Put fail-high/fail-low indicators in protocol specs