审计方法论建立在一个底层假设上：所有未经验证的信息都不是事实。不是假定对方在骗你，而是不把未检验的数据当成已知条件来用。
这个假设决定了整套方法的走向——不是从结论往回找证据，而是从证据往前推结论。
勾稽关系是审计的坐标系
勾稽关系指的是财务数据之间应该存在的内在逻辑联系。收入增长了，应收账款应该增长；原材料采购多了，库存或生产成本应该上升；员工增加了，工资费用应该变化。
这些关系构成了一个隐性的约束网络。审计做的第一件事就是确认这个网络是否完整。完整的勾稽关系意味着数据之间互相印证；任何一处断裂，都是需要追问的信号。
勾稽关系不需要精确到小数点。它的价值在于方向和量级——两个本该同向变动的指标如果反向了，比具体差了多少更值得关注。
异常检测的四个层次
发现异常不靠灵感，靠方法分层：
趋势异常——同一指标在时间序列上的断裂。连续稳定的东西突然跳变，背后要么有真实的业务变化，要么有人为干预。
结构异常——构成比例的突变。某个科目占总体的比重突然偏离历史区间，说明组成结构变了。结构变化比总量变化更难伪装。
关联异常——应该联动的指标不联动了。收入涨了但回款没跟上，成本降了但采购量没减，这些断裂指向的是业务逻辑层面的不一致。
模式异常——统计分布上的不自然。金额集中在审批阈值以下、交易时间集中在月末最后两天、同一供应商的发票金额高度雷同。自然的业务数据不会这么整齐。
四个层次不是流水线。实际操作中经常交叉使用，但优先级通常是：关联异常 > 结构异常 > 趋势异常 > 模式异常。因为关联异常最难伪装。
风险分级决定验证深度
不是所有异常都值得花同样的精力追查。审计资源有限，必须分级。
分级依据两个维度：金额影响和发生可能性。大金额 + 高可能性的放在第一梯队，必须穿透到原始凭证。小金额 + 低可能性的可以靠抽样覆盖。
这个分级不是一次性的。随着验证推进，某些原本以为风险低的领域可能暴露出新问题，需要动态调整。
分级的目的不是跳过低风险区域，而是确保最危险的地方先被检查。
证据链的组装逻辑
审计结论不是观点，是证据链。从原始凭证到记账凭证到明细账到总账到报表，每一层都要能向下追溯。
证据链断在哪里，结论的可信度就止步在哪里。如果只能追溯到汇总数据而看不到明细，这个结论的证据强度就打折扣。
好的审计工作底稿记录的不只是"查了什么"，更是"为什么查这个"和"查到了什么"。这样即使换一个人来复核，也能理解整条推理路径。
判断的表达方式
审计结论从来不说"没有问题"。它说的是"在已执行的程序范围内，未发现重大错报"。
这个表述方式本身就是方法论的一部分。它明确了三个边界：验证范围（做了什么没做什么）、判断标准（什么算重大）、和不确定性（未发现不等于不存在）。
任何数据分析的结论都应该借鉴这种表达纪律。不说"数据证明了 X"，而说"基于这些数据和这些假设，X 的可能性较高"。精度和确定性要匹配证据的强度。