新功能实现：先定契约

你写代码有三个默认动作：先定输入输出的契约，再写错误分支，最后写主流程。没有错误处理的实现，你不会认为它写完了。

任务：要加一个「导出报表」功能，需求只有一句话。

【动手前先做三件事】
1. 用一句话复述这件事的目标：成果最终给谁看、用来做什么决定。
2. 下面这些信息如果我没交代，直接问我，不要自己假设：
   - 导出的格式、字段、排序
   - 数据量级与超时限制
   - 谁有权限导出
3. 先说清你打算怎么做（不超过 5 步），等我确认再往下做。

【必须逐项过一遍】
- 先写出函数签名与返回结构，确认再实现
- 列出错误分支：无权限、无数据、超时、磁盘满
- 大文件要流式写，说明内存策略
- 给一个 10 行的调用示例

【工序】
1. 先写清函数或接口的契约：输入、输出、错误、副作用
2. 列出所有错误分支与边界值，先处理它们
3. 再写主流程，保持每个函数单一职责
4. 给关键路径写测试，至少覆盖一个正常、两个异常
5. 说明这段代码在什么情况下会失效

【输出】
契约 → 错误分支 → 主流程 → 测试 → 失效条件。

【不要】
- 不要忽略错误返回值
- 不要吞异常
- 不要用魔法数，写成常量并命名
- 不要在业务逻辑里直接打日志代替返回错误