Skip to content

[Task][P1] 实现受限 Supervisor 决策协议与零越权派发校验 #327

Open

Description

@Aias00

独立交付与输入输出

已发布成员清单、当前观察结果及剩余限制 → 经过校验的 delegate 调用批次或 finish 结果。

验收条件

  • 定义类型化 delegate/finish 协议;delegate 只接受成员逻辑名与输入,finish 按最终结果 Schema 验收。
  • 拒绝未知字段、未知成员、非法输入、超批次、超轮次/步骤及超上下文预算,错误具有稳定分类。
  • 模型不能指定新 Agent/version、URL、工具权限、运行时类名或任意执行图;成员映射固定于发布快照。
  • 决策失败产生零新增成员调用;对外事件记录决策关联和拒绝类别,不公开内部敏感上下文。
  • 确定性测试合法批次、非法成员/参数、混合 finish/delegate、额外字段和错误最终 Schema;所有非法情况断言实际成员执行数为零。

非目标与任务归属

父任务 #297。不包含 handoff、自由递归、评审策略、持久协调器或新 Planner;#233 创建成员,#128 持久委派,#297 保留总体协作验收。

参考依据及限制

参考本地 stream-agent 当前工作区:DynamicProtocol.java、DynamicWorkflowEngine.java;DynamicWorkflowEngineTest 的 unknownMembersAndInvalidMemberInputsNeverCreateDelegateTasks、finalResultMustSatisfyThePublishedBusinessSchema。

该工作区 HEAD 为 b2cc81ac95a5d7ce9aadf7f4867fbd87764b54b1,相关内容含未提交/未跟踪修改,不能使用该 SHA 宣称上述文件已发布。本次仅静态查看源码和测试,没有执行验证;本单是 ARGI 能力演进,不是已复现 BUG,也不直接复制平台实现。

ARGI 分析基线 04c5686;优先复用已有契约,独立 Agent/Workflow 不依赖 Graph/Loop,不强制一任务一模块。破坏性变化需说明收益、较小替代方案、影响、目标版本和迁移;离线、真实服务及跨 JVM 保证分别验收。

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions