Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions doc/architecture/SPEC/config.md
Original file line number Diff line number Diff line change
Expand Up @@ -95,3 +95,7 @@ provider 的缺省模型必须在**这一处**解析,否则 `ResolvedTarget.mo
## 自进化接入(2026-10-04)

`TRACE_STORE_ROOT` 控制 trace/1 全量采集。`IMPROVE_ENABLED=false` 是总停止开关,`IMPROVE_EVOLVE_ENABLED=false` 控制代码进化;源码、数据和发布 outbox 各有独立目录。周预算默认 20 美元,周度槽位默认周一 05:00 UTC。`PR_CONTEXT_SOURCE=snapshot` 与 `IMPROVE_SHADOW` 由可信实验控制器设置;`KB_DRAFT_MAX_OPERATIONS` 默认 6。

## 自主进化接入

自主进化新增 `improve_evaluation_mode=objective`、`improve_promotion_mode=automatic`、`improve_evolve_model`;固定单模型,无需判官。总开关与周预算默认不变。
4 changes: 4 additions & 0 deletions doc/architecture/SPEC/engine/executor.md
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,7 @@ helper:`_eval_when`、`_merge`。
## 自进化接入(2026-10-04)

配置 trace 根时为整次执行绑定 store,并为每步绑定工作流、item、unit_id 和配置指纹;终局 `step_result` 保存实际报告与发现。影子运行在进入步骤前拒绝非 read/report 风险。已采用的配置覆盖按工作流限定,同时复制 LLM 的 settings,采集指纹与实际执行配置一致。

## 自主进化接入

启用自主进化时,原生 PR 评审先捕获固定 Git 对象/知识快照;已采用的制品在可信代理的沙箱中执行。安全快照不可得时记录原因;活动制品自动恢复上一版并阻断本次调用。
14 changes: 11 additions & 3 deletions doc/architecture/SPEC/improve.md
Original file line number Diff line number Diff line change
Expand Up @@ -5,11 +5,19 @@
`设计:/data/zhoutaichang/copilot/meta-improvement-engine-design.md v1(GPT-6 sol 批准 2026-09-29) · refactor-status: building (P0–P4 已落地)`

## 职责
面向任意 trace/1 工作流的"取证—候选—实验—人审 PR—上线观察"循环。使用入口和数据契约见 [自进化使用指南](../../guide/self-evolution.md)。引擎的写权限限于追加自己的 trace/1 记录、
写自己的账本和源码制品目录、在 OS 隔离环境跑候选;产线变更一律走人审 PR。
面向任意 trace/1 工作流的"取证—候选—可信目标实验—自动采用—上线观察/自动回滚"循环。使用入口和数据契约见 [自进化使用指南](../../guide/self-evolution.md)。引擎的写权限限于追加自己的 trace/1 记录、
写自己的账本和源码制品目录、在 OS 隔离环境跑候选;自主模式仅采用已评估制品,并在无凭据沙箱执行;生产写权限仍归宿主。PR 是可选审计,旧金标/人审模式保留。

新增 `artifacts.py`(不可变源码及补丁)、`isolation.py/worker.py`(无凭据沙箱与可信预算代理)、`drivers.py`(PR/知识/元基准驱动及父进程评分)、`evolution.py`(周度候选状态机)、`coordinator.py`(统一续跑周期)、`annotations.py`(历史 trace 导出与人工标签导入)、`evolution_publish.py`(独立 `evolve-outbox/1` 与部署跟踪)。`IMPROVE_EVOLVE_ENABLED` 默认关闭,`IMPROVE_ENABLED` 保留总停止作用。

## 自主目标与制品运行时

`objectives.py` 是受保护的父进程目标控制器(`objective/1`):自动导入可信 replay 输入、生成有因果见证的故障/负例、固定一个 API 模型、预注册三次配对及 item 聚类功效、核验实际源码与输入、独立计算分数及护栏。见证不传生成器或候选;候选数值分数无效。PR 与知识指标仅证明结构契约、产物保留与资源收益,`semantic_quality_claim=false`。引擎候选每次只修改归因或 lint;lint 既有正例及负例受保护。功效不足会存档并等待新鲜样本,不重放完成的付费调用。

`runtime.py` 重新应用补丁核验实际评估树,原子采用本地不可变 release,原生 PR 评审、知识草稿、lint 和归因在活动制品的沙箱中运行。宿主记录运行指纹才更新部署基线。首次八个不同 item 与上一版比较,七日缺证据自动恢复;保留后每周最多八个新 item 持续比较。契约、凭据/隔离/预算、指纹失败或资源显著退化自动恢复上一版;恢复制品不可验证则禁用执行。执行/切换锁及持久化激活、回滚意图支持重启恢复。

默认 `IMPROVE_EVALUATION_MODE=objective`、`IMPROVE_PROMOTION_MODE=automatic`,不要求人工标签、判官或 performance 模型。总开关仍关闭,固定模型取 `IMPROVE_EVOLVE_MODEL` 或 eco;每周一个候选、一次修复及共享 20 美元预算不变。`gold/pr` 模式保留原有双家族取证及人工流程。无隔离生产驱动的机械工作流仍可 lint,但不自动采用。当前主机命名空间关闭,代码候选实际执行延期。

## 模块
| 文件 | 阶段 | 作用 |
|---|---|---|
Expand Down Expand Up @@ -56,4 +64,4 @@
- lint 只读 trace,不调模型;无证据形态的 lint 不猜。

## 测试
`test_improve_p0.py`、`test_improve_p0b.py`、`test_improve_p1.py`、`test_improve_p2.py`、`test_improve_p3.py`、`test_improve_p4.py`、`test_improve_kb_intake_adapter.py`、`test_evolution.py`。
`test_improve_p0.py`、`test_improve_p0b.py`、`test_improve_p1.py`、`test_improve_p2.py`、`test_improve_p3.py`、`test_improve_p4.py`、`test_improve_kb_intake_adapter.py`、`test_evolution.py`、`test_autonomous_evolution.py`。
4 changes: 4 additions & 0 deletions doc/architecture/SPEC/kb_service.md
Original file line number Diff line number Diff line change
Expand Up @@ -772,3 +772,7 @@ dry run 为旧快照建本地临时 baseline,再生成相同升级串与全量
## 自进化接入(2026-10-04)

起草单元携带 `kb-intake.draft` 的 item、workflow 和配置指纹;起草使用该工作流已采用的最大操作数覆盖。调度器在同一服务租约内检查周度改进槽位;进化启用时调用可续跑协调器,未完成检查点优先续跑,异常单独记录。

## 自主进化接入

自主进化开启时起草前捕获事件与知识快照;已采用制品通过隔离代理起草 typed operations,宿主沿用已有知识发布权限与门禁。进化实验只在内存应用,不写产品知识库。
Loading
Loading