Function Calling：商品筛选与只读工具调用｜作业与日验收
课程名称：Function Calling：商品筛选与只读工具调用｜项目任务：销售辅助商品筛选与解释｜编号：W04-D04
必交
- 冻结硬筛选器与全部边界测试；
- 最小只读 registry、参数/effect/上下文校验；
- 两轮 trace；
- 未知、写、extra、上下文不一致和 API 故障；
- 调用前后业务状态与零副作用；
- 真实模型 + 真实本地 API Evidence，或
Pending。
过关条件
- 候选只由 is_active/category/budget_max_yuan 决定；
- 按 product_id 稳定排序且最多 3 个；
- LLM 不修改候选、价格、库存或业务状态；
- 工具名、参数、effect 和 TrustedCustomerContext 在程序侧验证；
- 未知/写/extra/不一致在正确层阻断；
- 学生明确这不是 Authentication/Authorization。
作品集验收要求
学生本人真实模型提出只读动作，经程序校验后调用真实本地 Commerce API；至少一条真实商品辅助和一条安全负例。任一真实门未完成即 Pending。
现场变式
教师随机改预算、商品顺序、order_id 或 tool arguments。学生先定位层级，再做最小修复和全量回归。改 Prompt 绕过确定性规则不通过。
工具安全边界检查点
- 区分员工、客户、服务与审批者；注明 Fixture 边界；模型身份字段在 Handler 前被拒绝，零泄漏/零写入。
- 本人能够解释一条失败→修复→复验；未跑真实模型/新进程/学生独立操作的部分如实标待验证。