xiaohei/Agentswarm
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
123 Commits 5 Branches 0 Tags
main
Commit Graph
7 Commits
Author SHA1 Message Date
local 169e82ce02 docs(CLAUDE.md): 追加本地测试&交接段(部署/底座/密钥清单[无值]/状态/换机续接)
CI / guardrails (push) Failing after 14m37s
Details
CI / tests (push) Failing after 14m36s
Details
2026-06-17 13:06:01 +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 f281370209 去中心化蜂群重构：从 Master 中心化切换为播种+自组织（唯一行为） 
把本仓从「Master 分解→派发→单评审」重构为去中心化自组织蜂群，并设为唯一行为
（本仓即 swarm 运行时，模式选择在仓外，无 ENABLE_swarm 开关）。依据：heicodeDocs 弱中心
定义 + 蜂群文章（stigmergy）+ OpenAI Swarm（handoff）。

流程（全部无条件生效）：
- 播种 build_seed_task_specs（不主控分解）→ 自选 swarm_dispatch（能力+τ+负载+预算，唯一派发）
  → 自主分解 task_proposal（autonomous_tasks）→ 竞争/接管 task_bid/yield/takeover（task_competition）
  → 同伴交叉评审 ≥2 评审者（cross_review，取代单 critic）→ 收敛 ConvergenceReport+termination_reason
  （convergence）→ 守卫 guard.diagnose（检测无法运作并列原因）。

删除：planner 主控分解、贪心/ACO/scored 派发与 scored_matchmake、单 critic 评审环、
全部 ENABLE_* swarm 构建开关。master_agent.synthesize 作为汇总工具保留。

测试：test-workflow-e2e 改写为真实 swarm 全流程；test-merge-smoke 改为 seeder/cross-review；
新增 test-swarm-{seed,dispatch,autonomous,competition,cross-review,convergence,guard} + 模块单测；
CI 同步。本地 18 套全绿。

影响范围：agent_swarm（orchestrator + 新模块 + 测试 + docs + CI）。不改 Manager↔Swarm 事件契约
（新事件均为运行时内部状态/遥测，不进 HM 注册表）；不影响 Client/计费/密钥/审计/发布链路。
无新增长期开关。

诚实边界：不动 benchmark 验收（G_E 仍需真实 run，#13）；convergence 暂为解释性（不强制覆盖
run.status）；前端可见状态为跨端（#18）；「去中心化是否更优」未证（需 Group C）。

#6 的 DoD（Path B 决策 + 定位文档）本 PR 已满足并实现 Path B → 关闭 #6。
#7/#8/#11/#12 的运行时机制已落地（事件 + e2e），但其 DoD 含前端可见状态（跨端 #18）与
多 Agent 回放，故以 Refs 链接、不自动关闭，留维护者在前端/验收就绪后关闭。

Closes #6
Refs #7
Refs #8
Refs #11
Refs #12
Refs #18

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-10 16:11:47 +08:00
Songhaoz666andClaude Opus 4.8 62610a7e3f 调度评分：多维可解释打分匹配 + dispatch.decision_made（Closes #9） 
把派发从「能力子集 + 空闲」升级为任务为中心的多维可解释打分匹配。

新增/改动：
- orchestrator/dispatch_score.py（新）：DispatchCandidate/DispatchScore + 加权掩码归一
  打分（score_candidate/rank_candidates）+ build_dispatch_decision_event。
- orchestrator/main.py：抽出三模式共用的 finalize_dispatch；新增 scored_matchmake
  （ENABLE_DISPATCH_SCORE，默认关，与 ACO 择一）——为每个就绪任务在有能力的空闲 Agent
  间按 capability/历史成功(τ)/负载/预算压力/权限择优，记录可解释决策；_run_budget_pressure
  计算真实预算占比。
- orchestrator/swarm_runtime.py：SwarmRun.dispatch_decisions + record_dispatch_decision
  （内部状态，非 Manager 事件）。
- 测试：scripts/test-dispatch-score.py（公式 24 项）+ scripts/test-dispatch-scored.py
  （集成 11 项：按 τ/负载多 Agent 择优 + 排除原因 + 可回放记录）；CI 纳入两者。
- docs/scheduling/dispatch-score-schema.md、CLAUDE.md 同步。

诚实边界：risk_score/estimated_cost/estimated_time 本仓无来源 → None 并在 payload
uncollected_dimensions 披露（不伪造，规则 #9）；dispatch.decision_made 暂为 Swarm 内部
记录，未进 Manager 事件契约（需 event-schema 注册，跨端）。flag 关闭时贪心/ACO 路径逐字节不变。

Closes #9

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-10 14:08:08 +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