作者指出，归一化规则的设计需要真实系统中“事实变了、看起来该拦、但实际上放行也没问题”的案例来支撑。