#审计状态计数的闭合不变量