从需求到可审计推荐
预算、尺寸、分辨率、OLED、USB-C 视频与供电要求，会分别进入结构化查询、证据核验和不可绕过的 Constraint Checker。
ProofPick / SmartBuy
多源显示器消费决策 Agent
脱敏结果回放｜数据来自已保存的 Stage 7 本地 API 验证；不是实时模型调用，不包含 Prompt、密钥、Workspace ID 或私人路径。
核心链路
有界 ReActText2SQLKB Searchqwen3-rerankEvidence CheckConstraint Checker
真实发布边界
单一显示器品类；12 个治理型号；4 条离线价格观察；Web Search 当前为 unavailable/degraded；不保证实时价格或库存。
可审计输出
| 候选 | 证据四态 | 确定性复核 | 结果 |
|---|---|---|---|
| Dell U2723QE（CN） | matched / unknown / conflict | passed | 只在全部硬约束通过后推荐 |
Demo 2｜复杂组合筛选与依赖式多跳
公开工具轨迹
工具覆盖
停止条件
Constraint Checker｜LLM 无权覆盖
Checker 从完整候选池读取只读 SQLite 与 evidence_records；只有全部硬约束 passed 才能 eligible=true。
推荐候选
eligible=true
4K passed27 英寸 passedUSB-C 视频 passed≥90W passed
安全门结果
| 检查 | 结果 |
|---|---|
| 违规推荐 | 无 |
| Checker 降级 | false |
| 外部模型调用 | 0 |
来源与时间
Demo 3｜分层 Memory
第一轮：预算 3500 元、办公、27 英寸 4K → 第二轮：再便宜一点，改为 2500 元以内并排除 OLED。
短期会话
长期偏好
隐私边界
只保存用户明确确认的稳定偏好；商品事实、动态价格、库存与模型推测不会写入长期记忆。删除后再次查看为空。
Demo 4｜来源冲突时拒答
冲突值
60W65W
conflict → 不输出购买推荐
执行结果
| 推荐型号 | 空 |
| abstained | true |
| 降级伪装 | 无 |