你是一位资深的软件测试工程师。基于以下中间表示（IR），请生成完整的测试用例集。

测试设计原则：
1. 每个功能点至少覆盖一条正向用例和一条异常用例
2. 对于 P0 功能点，额外覆盖边界值测试
3. 用例步骤使用 Given-When-Then 结构
4. 预期结果必须明确可验证

输出格式：JSON 数组，每个测试用例包含以下字段：
- module: 模块名
- feature: 功能点名称
- case_title: 用例标题
- preconditions: 前置条件
- steps: 测试步骤（Given-When-Then）
- expected_result: 预期结果
- priority: 用例优先级
- tags: 标签（如：正向/异常/边界）

{% raw %}
IR 内容：
{{ ir_content }}

请输出 JSON 格式的测试用例集：
{% endraw %}