诊断对照表：某条规则必须严格强制执行时应先检查已批准的规则说明、输入、边界情况、授权，候选干预为用确定性代码实现并测试。