env-reconstruct：分层模块与执行边界

env-reconstruct：分层模块与执行边界 由 Archify 生成的架构图。 Source / Trace · 接收原始记录和任务输入 · 控制面：来源、规则、模型、预算和调度 · 输入 Source / Trace 接收原始记录和任务输入 输入 Trace + Lineage · 整理来源、时间和数据批次 · 控制面：来源、规则、模型、预算和调度 · 规则 + schema Trace + Lineage 整理来源、时间和数据批次 规则 + schema Admission Rules · 判断哪些输入可以继续执行 · 控制面：来源、规则、模型、预算和调度 · 规则 Admission Rules 判断哪些输入可以继续执行 规则 ModelGateway · 模型只负责补全、求解和判断 · 控制面：来源、规则、模型、预算和调度 · 模型 ModelGateway 模型只负责补全、求解和判断 模型 Budget Ledger · 记录预算预留和实际花费 · 控制面：来源、规则、模型、预算和调度 · 控制面 Budget Ledger 记录预算预留和实际花费 控制面 Corpus Scheduler · 分配执行位置、名额和重试 · 控制面：来源、规则、模型、预算和调度 · 调度器 Corpus Scheduler 分配执行位置、名额和重试 调度器 Completion / Generation · 补齐缺失环境，但保留候选身份 · 构建与资格：候选、资产、依赖 · 规则 + 模型 Completion / Generation 补齐缺失环境，但保留候选身份 规则 + 模型 Asset + Dependency · 锁定依赖版本并验证能否使用 · 构建与资格：候选、资产、依赖 · 资格 Asset + Dependency 锁定依赖版本并验证能否使用 资格 DockerRuntime · 创建隔离容器并限制资源 · 执行面：Docker guest、Agent/Harness、Episode · Docker DockerRuntime 创建隔离容器并限制资源 Docker Agent / Harness · 驱动执行者调用工具完成任务 · 执行面：Docker guest、Agent/Harness、Episode · Agent Agent / Harness 驱动执行者调用工具完成任务 Agent Episode + Workspace · 记录动作、观察、重置和封存 · 执行面：Docker guest、Agent/Harness、Episode · 状态边界 Episode + Workspace 记录动作、观察、重置和封存 状态边界 Frozen Grader · 用冻结检查器判断结果是否合格 · 质量与交付：私有评分、消费者、正式门槛 · 独立评分 Frozen Grader 用冻结检查器判断结果是否合格 独立评分 Native / Harbor · 让下游消费者重新读取并验证 · 质量与交付：私有评分、消费者、正式门槛 · 限定 PASS Native / Harbor 让下游消费者重新读取并验证 限定 PASS Pilot Gate · 用未见数据和人工复核质量 · 质量与交付：私有评分、消费者、正式门槛 · G07 NOT_READY Pilot Gate 用未见数据和人工复核质量 G07 NOT_READY Release / Hold · 汇总证据，决定发布还是暂缓 · 质量与交付：私有评分、消费者、正式门槛 · 发布门 Release / Hold 汇总证据，决定发布还是暂缓 发布门 控制面：来源、规则、模型、预算和调度 构建与资格：候选、资产、依赖 执行面：Docker guest、Agent/Harness、Episode 质量与交付：私有评分、消费者、正式门槛 图例 后端 数据库 云服务 安全 消息总线 外部系统

谁负责什么

  • • 规则：准入、延期、拒绝、checker 和资源边界
  • • 模型：completion、solver、judge，只在角色和预算内工作
  • • Agent / Harness：执行动作和观察，不能拥有私有 oracle
  • • DockerRuntime：提供 guest、网络、能力和资源边界

Docker 调度细节

  • • Corpus Scheduler 按冻结输入、worker slot 和预算原子预留
  • • DockerRuntime 创建隔离 guest，记录容器/volume/process journal
  • • 完成、超时或错误都进入 bounded cleanup；归属未知时停止恢复
  • • resume 先清旧资源，再从冻结初态重做未提交阶段

当前边界

  • • Claude Code Harness 有受控通路，但不是所有 Agent 框架都已接入
  • • Native / Harbor 是限定消费证据，不等于真实 SQLGlot 原题闭环
  • • 正式 Pilot 需要未曝光来源、独立人工审阅和冻结统计门槛