xiaohei/Agentswarm
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
30 Commits 5 Branches 0 Tags
dd96b73b2dd50f350b8f1146625d19494f506cee
Commit Graph
11 Commits
Author SHA1 Message Date
Songhaoz666andClaude Opus 4.8 dd96b73b2d Swarm I/O：接收用户 prompt（追加输入）+ 返回结果（/result + swarm.completed 带答案）（Refs #40） 
补齐「客户端如何把 prompt 给我们 + 如何拿到结果」的端到端路径。

输入：
- POST /api/swarms/{id}/input（+别名）：接收用户后续 prompt，注入 source=user_append 任务进共享池
  （终态 run 自动 reopen 为 running；stopped 拒绝 RUN_STOPPED）。指令原文作任务描述下发给 agent，
  **不回显进事件流**——仅产一条 task.created(user_append) 类别 message。（初始 prompt 仍走 create
  的 requirement.objective）

输出：
- GET /api/swarms/{id}/result（+别名）：返回 {summary, deliverable, artifacts[], termination_reason,
  status}（build_run_result）。产物内容在 artifact.uri（git/runtime），result 给摘要+定位。
- swarm.completed 事件 payload 增带 summary + deliverable，客户端看一条终态事件即得答案。

文档：runtime-contract §3 增 input/result 行；event-schema swarm.completed 标注带 summary/deliverable；
CLIENT_GUIDE §3.5/§3.6（input/result）+ §3.2 表 + 修正 §5「Agent 平台拉起」为「Swarm 拉起 + 从
secret_ref 解析 key」（对齐 team 决议）+ 新增 §9 完整工作流地图（client→HM→Swarm→output→client）。

测试 scripts/test-swarm-io.py（TestClient：input 注入 + 原文不入事件流 + 终态 reopen + stopped 拒绝 +
result 形状）接入 CI。e2e/contract 回归通过。

影响范围：仅 agent_swarm（新增 2 只读/写端点 + 终态事件增字段 + 文档 + 测试 + CI）。
追加输入原文不入事件流/回调/日志；不改鉴权/计费账本/审批链。SSE 实时流仍归 HM Phase2（#46）。

Refs #40

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-11 16:28:37 +08:00
FastheiandGitHub 5e29618bf5 Merge pull request #32 from xmindlab-heicode/feat/max-agents-per-user 
每用户并发 Agent 上限：MAX_AGENTS_PER_USER 默认 10
 2026-06-10 22:44:39 +08:00
Songhaoz666andClaude Opus 4.8 56bff469c1 每用户并发 Agent 上限：MAX_AGENTS_PER_USER 默认 10 
需求：限制每个用户在 swarm 中并发的 Agent 数为 10。按「并发 WS 连接数/用户」口径实现，env 可调（默认 10）。

orchestrator/main.py：ConnectionManager 新增 per-user 记账（agent_user / user_agents + user_agent_count / can_bind_user / bind_user / unbind）；max_agents_per_user() 读 MAX_AGENTS_PER_USER（默认 10）。WS register 携带 user_id 且该用户已达上限时回 registration_rejected(reason,limit) 并 close(1008)，不注册；同 agent_id 重连放行；断开 unbind 释放名额。未带 user_id 的 Agent 为 unbound、不受限。

agent/main.py：新增 user_id 构造参数 + HEICODE_USER_ID 环境回退，并在 register 载荷中带上（仅在设置时）。

测试 scripts/test-max-agents-per-user.py：单元 + WS 集成（MAX_AGENTS_PER_USER=3）。接入 CI。docs/integration/security-boundary.md §6 记录该配额。

影响范围：仅 agent_swarm；不改 Manager↔Swarm 契约、计费、审批链、密钥处理。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-10 22:01:22 +08:00
FastheiandGitHub eb643c9b02 Merge branch 'main' into feat/audit-trace-freeze 2026-06-10 21:39:22 +08:00
FastheiandGitHub 5a3296e7d1 Merge pull request #28 from xmindlab-heicode/feat/contract-freeze 
契约冻结 v1：Manager/客户端 Swarm Run 查询契约（Refs #2 #14 #15）
 2026-06-10 18:36:38 +08:00
Songhaoz666andClaude Opus 4.8 727737dd9b 安全边界强制点：可验证边界 FROZEN v1 + 契约测试（Refs #19） 
issue #19 要求「secret 仅 ref/不落明文；workspace/tool/MCP/tenant 沙箱强制；边界可验证 + 测试」。
本仓**已强制**的三类边界此前散落、缺统一验证；本 PR 把它们合为一套可验证测试并冻结文档。

测试：scripts/test-security-boundary.py（hermetic，19 断言）覆盖本仓强制边界：
- secret：billing_context.secret_ref 非 azkv:// 入口拒绝；明文 password/access_token 等字段
  在任意层级拒绝；非 azkv 的 *_ref 拒绝（validate_create_request / _reject_plaintext_secrets）。
- 脱敏：明文凭据 → [redacted]；azkv secret_ref 透传（HM 对客户端再脱敏）（_redact_sensitive）。
- workspace：绝对路径 / `..` 逃逸 / 空路径拒绝，合法相对路径落在 workspace 根内
  （task_executor._resolve_workspace_path）。
- 沙箱 fail-closed：未确认隔离时 assert_isolated 抛 SandboxIsolationError，确认后放行。

文档：docs/integration/security-boundary.md → FROZEN v1：§9 覆盖表标注「✅✔ 已实现+测试」
三类强制边界；其余按规则 #9 据实标 ⏸「本次不做」并给理由——tool/MCP 权限引擎（无工具层可治理）、
allowed_paths 按 grant 强制（待资源授权链）、Pod 强化沙箱（Infra）、租户隔离（有意不引入，
按 user/channelId 归因）。CI 新增该测试步。

影响范围：仅 agent_swarm（新增测试 + 文档冻结 + CI）。无运行时逻辑改动；不改 Manager↔Swarm
契约、计费、审批链、密钥处理（仅为既有强制点补可验证测试）。

Refs #19

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-10 18:11:25 +08:00
Songhaoz666andClaude Opus 4.8 af4ace4340 审计/链路追踪落地（可回放审计记录 FROZEN v1）（Refs #17） 
issue #17 要求「每步 trace 可回放（谁/何模型/何工具/何审批）+ schema 冻结 + 测试」。
本仓已持久化事件流 + 任务谱系 + 每任务 usage(model_id) + 审批；本 PR 把它们规整为
统一、有序、可回放的审计记录并冻结 schema。

代码：
- orchestrator/audit.py（新，纯模块，无 Redis/WS/FastAPI/模型）：build_audit_trace(
  events, task_facts, approvals, lineage) 逐事件产审计记录（who/when/model_id/tool_count/
  approval{id,decision}/result/lineage），audit_id 由序位确定（非随机，可字节级复现）；
  replay(records) 产人读步骤行。无内容、无密钥、缺信号不伪造（model/tool 缺则 null）。
- orchestrator/main.py：build_audit_trace_for_run（装配器，从 list_events + 任务 usage +
  run.approvals 取数）+ 读接口 GET …/{id}/audit（三别名路由，复用既有鉴权）。

文档：docs/integration/audit-trace-schema.md → FROZEN v1：§3.1 回放装配、§5 冻结记录形；
诚实标注**有意排除**（prompt/代码原文、model 请求响应体刻意不留痕——无内容原则；
无 SK/MCP 工具层故无工具名谱系），按规则 #9 不伪造、不在本次扩展。

测试：scripts/test-audit-trace.py（纯模块 + 集成）：逐步 who/model/tool/approval 重建、
result 归类、有序回放、**断言无 secret_ref/azkv/明文泄漏**；接入 CI。

影响范围：仅 agent_swarm（orchestrator 新增只读审计接口 + 纯模块 + 文档 + 测试 + CI）。
- Manager：新增只读 GET …/{id}/audit；不改回调/契约/计费/审批链。
- 密钥/审计：审计记录只含非内容元数据 + secret_ref 永不写入；归因按 user/channelId，不引入 tenant。

Refs #17

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-10 18:06:50 +08:00
Songhaoz666andClaude Opus 4.8 15fe5d379b 契约冻结 v1：Manager/客户端 Swarm Run 查询契约（Refs #2 #14 #15） 
回应 HM 驾驶舱（heicode-mananger #28/#45/#46）经 agent_swarm#14（runtime-contract）
+ #15（event-schema）提出的消费需求。HM 只读查询已落地（HM PR #53），唯一前置是本
仓契约冻结。本 PR 把回调契约冻结为 v1 并落代码 + 测试。

代码（orchestrator/）：
- swarm_runtime.emit_event：回调 envelope 新增 **per-swarm 严格递增 `sequence`**
  （INCR 计数键 swarm_event_seq:{swarm_id}，从 1、无空洞，供客户端 events?after= 去重/续传）。
- 新增冻结的客户端 13 类事件（FROZEN_CLIENT_EVENT_TYPES）中此前缺的 6 类，均**附加**发出
  （不动既有 deployment.status_changed，HM 仍用其更新 AgentDeployment.Status）：
  · swarm.completed/failed（refresh_swarm_run_status 终态）、swarm.stopped（stop_run）；
  · approval.approved/rejected（record_approval_decision 决定落地）；
  · handoff.created（child 任务建立时）。
- artifact.created envelope 补扁平字段：created_at（默认 occurred_at）、task_id（回填）、
  size_bytes 透传（未知则省略，不伪造，规则 #9）。
- redis_client 新增原子 incr（真实 + 两处 fake stub）。

文档（docs/integration/，FROZEN v1）：
- event-schema.md：envelope sequence、artifact 扁平字段、事件注册表标注 ⭐13 类 + 新增 6 类、
  对齐状态更新（title/threshold_pct/sequence/artifact 已在 emit 统一处理）。
- runtime-contract.md：冻结 stop 端点 + ID 映射；§4.1 新增**状态机映射表**——运行时不臆造
  preparing/degraded/verifying（规则 #9），由 HM/客户端按表映射真实状态
  （blocked→degraded、评审期→verifying 等）；终态另发 swarm.* 事件。

测试：
- 新增 scripts/test-contract-freeze.py（hermetic）：sequence 单调/每-swarm/无空洞、13 类
  round-trip、artifact 形状（含未知 size 不伪造）、approval.*/swarm.stopped 真实发出、
  明文凭据脱敏而 azkv secret_ref 透传。接入 CI + CLAUDE.md 提交前清单。
- test-workflow-e2e.py：全流程 e2e 额外断言 swarm.completed + sequence 无空洞。
- 两处 FakeRedis stub 补 incr。

影响范围：仅 agent_swarm（orchestrator + docs/integration + 测试 + CI + CLAUDE.md）。
- Manager：回调**新增** sequence 字段与 6 类事件——向后兼容（旧消费方忽略新字段/新类型即可）；
  HM 注册表需登记新 6 类方能对外暴露（agent_swarm#15.2，已在 doc 列为剩余项）。
- 计费/审计：不涉及（查询面不计费由 HM 保证；本仓未改计费/审计字段）。
- 密钥：envelope 不含明文凭据；secret_ref 仍为 azkv 引用，HM 对客户端再脱敏。

Refs #2
Refs #14
Refs #15

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-10 17:35:04 +08:00
Songhaoz666andClaude Opus 4.8 a289495823 复审整改(PR #24)：沙箱 fail-closed 隔离门控 + 可回放 DecisionTrace 
回应 Fasthei 的 Request changes 两个阻塞项：

1) 安全 / fail-closed 沙箱隔离（原仅靠 ENABLE_QUALITY_EVAL + 运维约定）：
   - 新增第二道显式确认 HEICODE_SANDBOX_ISOLATED（断言运行在隔离 Pod 内）。
   - sandbox.run_tests() 与 quality.evaluate_run_quality() 执行任何代码前调用
     assert_isolated()，未确认即抛 SandboxIsolationError——不写文件、不起子进程。
   - 启动期 assert_quality_eval_safe()：ENABLE_QUALITY_EVAL 开但隔离未确认 → 拒绝启动
     （平台级硬失败，非运维口头约定）。
   - 文档（security-boundary §8.1/§9、CLAUDE.md）与测试同步：test-sandbox/test-quality
     先断言未确认时硬失败，再显式确认后继续。

2) #10 DecisionTrace 可回放（原仅存被选中任务的标量）：
   - Decision 现记录完整重放上下文：整个候选集（每候选 tau/eta/weight/p_norm/dependents）、
     alpha/beta/epsilon、seed、free_slots、total_weight、explore_draw、select_pick、
     select_index、explored 分支。
   - 新增 DecisionEngine.replay_decision(trace)：仅凭一条 trace（无 RNG/活体状态）复现被选任务；
     test-decision-engine 断言「重放==实选」跨 50 次决策（探索+利用）成立。
   - decision-engine.md §3.3 更新为可回放 DecisionTrace。

附：新增 docs/TESTING.md（reviewer 速查：依赖安装 + 每套测试命令，复审者此前因缺 fakeredis
未能跑到断言）。本地 11 项 gate 全绿。

影响范围：Swarm（orchestrator + 测试 + 文档）。不改 Manager↔Swarm 契约；新增开关
HEICODE_SANDBOX_ISOLATED（默认未设=拒绝执行）。仍非验收：gain/Benchmark_Agent 仍 NaN。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-10 13:22:54 +08:00
Songhaoz666andClaude Opus 4.8 d487923646 benchmark: 落地决策层(τ/η/P)、质量(Q_quality)、通信遥测；关闭 #10 #23 
四块互相交织的 benchmark 覆盖增量，统一提交：

1) 通信遥测（#23）：orchestrator 路由 peer 消息时按 correlation_id 计请求/应答到
   SwarmRun.collaboration（内部状态，不进 Manager 事件流）；collector 算 s_communication。
   治理计数由 run.approvals 派生（合规/总数）→ s_governance。

2) Q_quality 掩码归一（v2.1 裁定）：metrics.quality_score 改为对 present 输入加权归一，
   非编码任务自动忽略 TestPassRate，全缺 → NaN（不伪造）。

3) 质量插桩 / Group B：新增 Pod 内代码测试沙箱（orchestrator/sandbox.py，环境清洗 +
   超时强杀 + 资源限额 + 路径越界校验，门控 ENABLE_QUALITY_EVAL）与 held-out fixture
   （benchmark/fixtures/）；run 完成时用留出测试评分得 TestPassRate → Q_quality →
   collector 合成 reward。安全边界见 docs/integration/security-boundary.md §8.1。

4) 决策引擎 / Group A（#10，Option A score-at-pull）：新增 orchestrator/decision_engine.py
   —— 信息素 τ（Redis 持久、(role,agent) 键控、冷启动 0.5、ρ 蒸发、夹紧、学习常开）+
   η 启发式评分 + ε-greedy 概率采样；每次 dispatch 产一条 DecisionTrace →
   SwarmRun.decisions；collector 算 tau/eta/p_decision。概率选择门控 ENABLE_ACO_DISPATCH
   （默认关，CI 用 ACO_SEED 固定）。

覆盖：单次 run 真实可算字段由 4 提升至最多 10/15（新增 communication/reward/tau/eta/
p_decision，外加 governance 有条件）。

测试：新增 test-sandbox / test-quality / test-decision-engine；扩充 collector/metrics 用例；
CI 纳入全部 benchmark 套件 + flag-on 的 ACO e2e。本地 11 项 gate 全绿。

诚实边界（未越界声称）：
- Group A 为单边匹配（Option B 待 Group C）；概率派发优于贪心未证；默认关闭。
- reward 的 CodeReview/UserAcceptance 未采集（掩码忽略）；P_risk 为审批派生低估。
- s_gain/s_swarm/g_e/g_e_cost/benchmark 仍 NaN —— 需基线（#21/#13），本 PR 不动验收。

影响范围：Swarm（orchestrator + benchmark + docs + CI）。不改 Manager↔Swarm 事件契约
（遥测均为运行时内部状态）；不影响 Client/计费/密钥/发布链路。新增 ENABLE_QUALITY_EVAL /
ENABLE_ACO_DISPATCH 两个开关，默认关闭。

Closes #10
Closes #23

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-10 12:51:32 +08:00
Songhaoz666andClaude Opus 4.8 54cb327348 Agent Swarm v6：基准 v2.1、主控 Agent、实质性对等回复、客户端指南 
- 基准标准 v2.1：SwarmMetrics（15 字段）、τ/η/P_decision/reward 公式、对称 G_E,c（修正 C_base=1.0 退化）、Σλ=1.0 校验；新增基线对比与运行记录 schema；指标覆盖缺口分析；参考系数暂留为元数据（待量化）。
- 主控 Agent 实体（分解 / 评审决策 / 汇总）；事件契约修正（timeline.title、budget.threshold_pct、handoff 角色、task.released）+ 契约校验脚本。
- 实质性 LLM 对等回复（含降级回退）；集成契约（runtime / event / usage / audit / frontend / capability / security）；CLIENT_GUIDE 客户端指南；CI 工作流；治理与交付文档。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-09 16:21:18 +08:00