四大文化赛道完整展开
01-requirements/parsed-constraints.md
约束拆解
站内文件视图直接读取仓库内容,Markdown 使用文档排版渲染,其余文本文件保持原始排版,方便校对训练证据链。
文件类型Markdown
10-cases/s3-jh-07-ledger-audit/01-requirements/parsed-constraints.md
显式约束
- 1 <= n <= 500。
name仅含大写英文字母,长度 1..12。- 1 <= qty, price <= 1000。
- 异常
OUT记录既不计销售额,也不扣库存。 - 只记录首个异常行号,但后续记录仍继续处理。
建模拆解
- 先明确输入的实体和字段,再把它们翻译成 哈希表库存模拟 + 异常定位 需要的数据结构。
- 把输出中每一项指标都和中间变量对应起来,避免最后临时拼装。
- 先用样例手推一次,再确认边界条件是否都能走到正确分支。
易错边界
- 第一条记录就可能是异常出库,必须记录为第 1 行。
- 同一种商品可能多次入库和出库,要累积维护库存。
- 最终没有库存剩余时,第三行必须输出
stock=EMPTY。