金额精度

«结论先行：联调返工里最阴的一类，不是字段名写错、也不是枚举漏值，而是「单位/量纲」没约定——同一个字段，前端理解成元、后端吐的是分；同一个时间戳，这边按毫秒、那边按秒。它比"字段缺失"更危险，因为每个环节都"看起来对"：接口 200、字段

结论先行：示例测试（example-based）验证的是"我想到过的输入"，属性测试（property-based）验证的是"对所有输入都该成立的规则"。前者靠枚举，后者靠不变量。这两者补的不是同一块盲区——我上一篇讲变异测试补"断言有没有