带输入的代表验收样例
有限串行队列
参考和替代实现经过10项串行行为检查；错误金额类型、冲突处理和失败重试缺陷可被拒绝。
仅合成练习的验收器校准；没有新AI试次或一般成功率。
验收方法实际检查到了什么
参考解与合理替代均被接受，关键错误被拒收。 负控制拒收 5 项；校准控制共 7 项。
这是验收器校准，新增模型调用 0 次；未产生本工作单元的AI成功率。
- 仅合成练习的验收器校准；没有新AI试次或一般成功率。
- 仅有限串行实现，不覆盖真实缺陷修复、并发或生产业务。
下载输入、规则与验收资产
含校准脚本与所需本地评分器。代码隔离需要Linux用户/挂载/网络命名空间；数学需另准备包内锁定的Lean与Mathlib版本。
先读契约和输入，再尝试作答。参考解用于校准，不应混入模型试验输入；运行前查看各包说明与环境要求。
# 有限串行队列：W-C02 验收示例 v1.0.0
输入行为契约见 input.json。提交 Python class Queue(events=None)，方法 enqueue(request_id, cents)，events 可观察。仅正整数金额，bool 不合法；新请求追加 {id,cents} 返回 queued；同ID同金额返回 duplicate 且不追加；冲突抛 ValueError且保留状态；调用者提供的sink对象必须保留。追加失败发生在写入前，错误向上传递且重试能够成功。允许以字典、列表或其它合法方式维护身份，不按参考代码样式判分。
复用本站 evals/grade.py 的 DEV-A 有限行为评分器和隔离运行环境，10项行为检查。参考与替代是实现者编写的验收控制；三个缺陷分别为接受bool、吞掉金额冲突、写入失败占用ID。空实现必须被拒绝。
此包校准验收器，不是新模型完成试验。范围止于单进程串行实现；不验证真实缺陷修复、生产支付、并发或分布式一致性。已有AI产物重放记录另行保留，不借此包升级证据。
参考解、合理替代与已知错误控制
资产版本和SHA256
2026-10-19.examples.1
alternative.py · 62bdf190b23cb713c3f8c8a3738ff911b3580cae09269eaa4203fc2ffd99d75e
contract.md · 2cf28684e7f57fb17aaeb37ace2b19cd83a17922f0be2d39cdd9ecb226f8d294
controls/bool-accepted.py · 7e57521d9518bec851375f422c3fdf45f338fc3c93e0a600369f5c57651440e0
controls/conflict-mutates-state.py · aa9c4616f6529602cbbb7ecbe51ee2eb280dcfd9cd2f283625c19277d5bbb8c6
controls/conflict-silenced.py · 093d61acadf0603fc0de0d6577dfdbcfc2feee2b273346bc484f0f2c6e0f1d29
controls/failed-append-occupied.py · 3b61175c42b0c968f0c71894fa225ec081b11f92663264bbaae73bafaa0bacfc
controls/noop.py · bede0d7e7ebe395cd7ffecf2319ec288a1fd281d6ec3f6f809f2043a4fad6459
input.json · 3a067d62a2e50b5dce4b6682581d423ae89e3d5413b111ceba4c8fa59db9c679
reference-result.json · 8e1dfdef328d00082c25e50388310936d762647f63262619eb82eb84ebc478b0
reference.py · 34636b045af052d10bb91b4c2b8273f03aec5f08bcd2513d858228d55dd53d75