Agent 应用开发会员账号
知识目录选择核心方向与细分内容

SYSTEMATIC LEARNING / 分层专题

工具调用的结构、授权与业务契约

从一个格式合法却跨租户的请求开始,逐层解释工具请求怎样成为可执行动作。

学习目标:能够区分结构、语义、权限和状态检查,并给每层构造反例。

内容核对 2026-10-04 · 每层有独立讲解、任务与检查

按这个知识点的熟悉程度选择起点。当前层:进阶 · 定位故障。完成任务后可以继续下一层;阅读与自检不自动代表掌握。

本层学习目录

先补齐必要概念

适合:已经实现工具网关,需要排查越权与版本问题。

Schema
描述字段形状、类型和约束的契约;字段合法不证明调用者拥有操作权限。
可信上下文
服务端认证后得到的身份与租户,不能直接相信模型填写的身份。
副作用
对外部世界的写入,例如付款、发布或删除。
状态版本
资源当前状态的版本,用于发现检查之后发生的变化。

原理怎样一步步成立?

  1. 候选参数

    模型提出动作与参数。

  2. 结构与语义

    检查字段、类型、单位和关联约束。

  3. 身份与状态

    核对真实权限与当前业务状态。

  4. 执行与回执

    有条件地执行,并校验结果及业务证据。

进阶 · 定位故障

发现校验缺口和检查后的竞态

本层目标:能定位是哪一层漏检查,并构造状态变化测试。

分清错误类别

额外字段或不合法类型属于结构错误;金额单位混乱属于语义错误;跨租户读取属于授权错误;审批后参数或资源改变属于状态一致性问题。把所有情况包装成“工具执行失败”,会让模型错误地重试本应禁止的动作。

设计改变条件的测试

除了未授权账户,还要测试权限被撤销、审批所绑定内容变化、旧任务按新工具版本继续执行。测试中先记录允许条件,再改变条件,最后尝试执行。验收要检查业务写入是否被阻止,不能只断言返回消息里出现“拒绝”。

确认协议与业务责任的边界

MCP 等协议帮助描述和连接工具,但接通协议不能证明业务授权已经实现。工具风险提示也不能代替服务端校验。跨版本恢复需要明确参数和结果语义;字段名称不变、金额单位却从分改成元,也可能是破坏性变更。

运行实验,观察反例

特定工具的手动参数与授权检查;无真实付款、不实现完整 Schema、事务扣款或动态权限平台。

Python 3.10+ · 默认运行只使用标准库 · 在你的电脑运行

  1. 运行格式合法但跨租户的反例
  2. 改变可信身份和权限,比较错误分支
  3. 设计检查后状态变化的额外测试
下载 tool_contracts.py ↓
python3 tool_contracts.py
查看本入口脚本
"""A specific tool's manual validator, not a JSON Schema implementation."""
import json


def validate_shape(params):
    if type(params) is not dict or set(params) != {"account", "amount_cents"}:
        raise ValueError("shape")
    if not isinstance(params["account"], str) or not params["account"]:
        raise ValueError("account")
    if type(params["amount_cents"]) is not int or params["amount_cents"] <= 0:
        raise ValueError("amount")


def authorize(params, actor, accounts):
    validate_shape(params)
    account = accounts.get(params["account"])
    if account is None or account["tenant"] != actor["tenant"]:
        raise PermissionError("not allowed")
    if "pay" not in actor["permissions"]:
        raise PermissionError("not allowed")
    if params["amount_cents"] > account["balance"]:
        raise ValueError("balance")


def demo():
    params = dict(account="B", amount_cents=100)
    actor = dict(tenant="tenant-a", permissions=["pay"])
    accounts = {"B": dict(tenant="tenant-b", balance=1000)}
    validate_shape(params)
    try:
        authorize(params, actor, accounts)
    except PermissionError:
        return dict(shape_valid=True, authorized=False, business_writes=0)
    raise AssertionError("cross-tenant request was accepted")


if __name__ == "__main__":
    print(json.dumps(demo(), sort_keys=True))

本地运行的预期输出

{"authorized": false, "business_writes": 0, "shape_valid": true}
  • 结构与授权结果分别呈现
  • 跨租户请求没有业务效果
  • 线上业务竞态需要另行验证
查看运行环境、输出和校验记录 →

本层验收任务

为权限撤销和金额单位变更各写一个可复现测试步骤。

完成后逐条核对

  • 列明执行前后的可信状态
  • 断言业务副作用没有发生
  • 区分可修正参数错误与不可盲目重试的权限错误

保存自己的过程、代码与结果。这里提供验收要求,暂不自动评分或保存课程掌握状态。

收起答案,检查理解

接口字段完全一样,是否就可以让旧任务直接使用新版工具?

延伸原理与知识练习

遇到不熟悉的原理,先阅读实现、连续追问和迁移案例,再独立说明前提与边界。作答与笔记保存到原有账号记录。

本专题的全部关联解析与练习(3 道)

依据与验证范围

原理依据来自公开资料;数字、案例和任务是本站教学设计。离线实验验证本页注明的范围,学习效果仍需通过独立任务与反馈判断。