带输入的代表验收样例
逐单净额与跨期退款对账
按截止日和状态独立重算，基准净额28000分、差异-2000分；校验重复商品和跨期变体。
仅合成练习的验收器校准；没有新AI试次或一般成功率。
验收方法实际检查到了什么
参考解与合理替代均被接受，关键错误被拒收。 负控制拒收 8 项；校准控制共 10 项。
这是验收器校准，新增模型调用 0 次；未产生本工作单元的AI成功率。
- 仅合成练习的验收器校准；没有新AI试次或一般成功率。
- 自动验收覆盖计算和结构化条款；解释正文与现场口径仍需人工复核。
下载输入、规则与验收资产
含校准脚本与所需本地评分器。代码隔离需要Linux用户/挂载/网络命名空间；数学需另准备包内锁定的Lean与Mathlib版本。
先读契约和输入，再尝试作答。参考解用于校准，不应混入模型试验输入；运行前查看各包说明与环境要求。
# 按固定规则逐单对账：W-F02 验收示例 v1.0.0 input.json复用DATA-01人工构造输入，CNY、单位整数分，截止2026-09-30T23:59:59+08:00。仅completed订单；计入截止前captured付款；扣除截止前completed退款；商品行不可扩大付款；账面只用于比较。截止为含端点，时间比较按时间点。 提交一个只读SQLite SELECT/WITH查询，结果列顺序不限、行顺序不限，必须包含 order_id、net_cents、ledger_cents、difference_cents（结果为整数分）。执行器把输入载入 orders/payments/refunds/products/ledger及单行settings(cutoff)。差异=净额-账面。提交exceptions.md说明纳入/排除记录、未解释差异和需要现场确认的规则；说明仅作人工复核，自动通过仅表示数值及只读检查通过。 参考为先汇总后连接，替代为相关子查询。空结果、按账面代真值、扣除pending/跨期退款、商品join放大付款必须被拒。基准净额A001=8000、A002=20000，差异-2000/0，总净额28000。验收还会在付款金额改动、商品新增和截止时区等价的声明输入变体上运行查询，防止仅交硬编码答案。 缺记录/重复主键应返回输入不可判，不填零。账务规则只为合成练习，不代表真实财务制度；不自动过账。没有新AI调用或现场业务接收。 校准另含未完成付款、截止后付款、非CNY已完成订单和有账面记录的已取消订单，分别检查这些过滤规则；不能因基准输入恰好没有该类数据就宣称验收覆盖。
参考解、合理替代与已知错误控制
资产版本和SHA256
2026-10-19.examples.1
alternative.sql · abaf65fa25faee13359a10acad2a26dab43951b4964831a6e3158289db43de10
contract.md · 16e647e70f6c34df2f156e57435cabde5ba568f6d2364bac06049dc47f7e2c85
controls/currency.sql · b397b8252b68b32a9f04afb67d862703657692dfbdc06abac85c25850f23de68
controls/ledger-as-truth.sql · 1a2cb2bae63f84f2b01cc8f82d390a394a399996f29a72ed16d523ecfe572dac
controls/noop.sql · 629bfa6b59315fd80b33dedaad5576fe4700b93555c7bee453983063f27b5c05
controls/order-status.sql · 4ed457a64c8eb0f663bb04cbb065c0ba04bf3d16c56f633c5ec0d977b6a4d85b
controls/payment-cutoff.sql · 1893fd469b31e7b06d298f1c751f542fd683158f6730de3587d10bacd37aafb2
controls/payment-status.sql · 526bfb4503bf60d5efd1920875fccd8c818c4342573ab21f7b45513280125a4b
controls/product-fanout.sql · 14ddbbbb97c5dc6d591ceb93f473048d8a28c1fd86c77debe8dd224d48ad18c8
controls/wrong-refund-period.sql · 8f04a79de23d87793fac6171503feaf0e2a6ded3989f2deb66ae2ae62002fc61
exceptions.md · bb58a1004149a9d0483f90ef080006c1783bb2b51cca0b3a8badcc698d3345fb
input.json · a22c0248287d7fe1d9b745d78e486ae12fa87f649d643af1605e0bebac53b176
reference-result.json · c11603051a00b59503ea5ba5e6f4ef7becb6414bec10cf5bd22ecbf1db1bf3ba
reference.sql · 2d2d396584bc0161dbff65d2e3c073da0d5bef26122d24cd813f8c4e5450335c