Skip to content

Latest commit

 

History

History
12 lines (10 loc) · 6.19 KB

File metadata and controls

12 lines (10 loc) · 6.19 KB

进度日志(PROGRESS.md)

每次会话先读本文件,收尾时更新(STA-07..09)。

  • 当前已验证状态:npm run check 全绿(vitest 19/19 = 16 存量 + 2 进程内组合 + 1 完整版 Loader boot,tsc 零错误,构建成功);headless REAL-composition boot 成功;acceptance.mjs self 审计 100/100(CRITICAL 6/6,五子系统全 5/5,无缺项);init 真实生成 12 工件(含 session-handoff.md);web profile 已装入 agent-discipline(dump-config exit 0,组合树含 # == agent-discipline 层);F-006 务实版 + 完整版均落地(D-015)git 已推送远端(origin git@github.com:FranklinZaneDurant/agent-discipline.git,main = 594de36);S1-S3 对比实验首轮完成(6 任务 × 2 条件全 pass,Δ完成率=0;B 条件全量回归 4 次 + L3 审计 1 次 + 4 提交,A 条件 0——过程质量差异显著,详见 docs/experiments/s1-s3.md);S1-S3 第二轮(跨文件任务)完成(6 任务 × 2 条件再次全 pass,Δ完成率仍=0——根因:任务文本枚举了验证命令,把验证深度喂给了两条件,区分度被设计吞掉;B 仍 5 提交 + 全生命周期,详见文档 R2 结论);S1-S3 第三轮(R3)完成:方向一验证深度(任务文本不含验证字样)产生完成率差异(有效任务 A 1/4 vs B 3/4:T1/T2 A 漏同步被全量测试拦下、B 被验证门驱动修到绿),但差异不稳定(T3 两条件都漏——B 该会话未执行验证门;T4 A 自觉全量)——模型自觉性波动 ≥ 方法论约束力,实证形态 B 验证门"可被绕过",为形态 C(机器强制)提供论据;方向二缺陷捕获 A/B 均 2/2 无差异(任务文本"检查健康度"驱动验证 + A 意外从 git 历史恢复被剥离工件污染条件);人工介入 A 3 次 vs B 1 次。详见 docs/experiments/s1-s3.md R3 章节);S2/S3 探针已跑:S2 定位——B 4/4(凭工件)、A FAIL(工作区无工件,靠 git 历史兜底);S3 续接——两条件都成功(B 工件驱动 + 完整收尾 26/26/提交;A 代码推断 + 零收尾),中断点显式性为干扰变量;详见文档 S2/S3 章节
  • 第 4 次拉取影响评估(2026-08-31,harness b150a551b8..0a53fb55be,vendor cordis 4.0.2):插件 npm run check 全绿(19/19)无需改动;dsh-system-prompt 段序带表化(SECTION_ORDERS:harness 身份 -100→-1000,新增 getSectionOrder/getContextOrder),提示段 -90 仍在身份与 persona 之间,断言为相对位置故不受影响,注释/证据数字已同步;dsh-tools 改名与运行时依赖迁移(移至 @deepseek-ai/dsh-util-values,#3319)插件未触达
  • 已完成:F-001 骨架、F-002 提示段、F-003 agent_discipline_init 工具、F-004 agent_discipline_audit 工具、F-005 安装验证(headless + web)、F-006 装载测试(headless boot)——全部通过验证门;自证审计缺项 R18 已关闭(handoff 模板 + 本仓库交接文档),分数 92 → 100;方法论规范副本入库(HARNESS-METHODOLOGY-SPEC.md),AGENTS.md/README.md 更新(引用指向本地副本;README 新增「形态 B 现状 + 形态 C 规划」章节与「开源致谢」(引用 Learn Harness Engineering 课程仓库,MIT License,声明只提炼方法论不复制代码));新增 LICENSE(MIT)并纳入 npm files;命名统一为 agent-discipline(D-013:包名/插件 name/行 id/提示段/工具名/invariant),文件夹名保留 dsh-methodology;改名后重建、自证审计、headless/web profile 重装验证均通过;审计增强(D-014:C5 多生态锁文件、C6 CI 工作流 + 命令别名,补 4 个单测)已实施并提交(594de36,18/18 全绿)F-006 务实版(D-015:进程内组合装载 + 注册断言,tests/composition.spec.ts)与完整版(D-015 更新:复用 app-boot boot() 真实 Loader 装载 cordis.yml + cordis.patch.yml,tests/loader-composition.spec.ts + fixtures/composition.cordis.yml,D-010/D-011/D-012 升级为机器断言,vitest 19/19)均落地方法论已在 D:\workspace\ScanApp 从 0 实际应用S1-S3 首轮实验执行完毕(docs/experiments/s1-s3.md,含任务集/记录/结论);F-007(init 多语言 check.sh)/ F-008(AGENTS.md 升级助手)已登记 feature_list(not_started)
  • 进行中:无(WIP=0)—— F-009(C-1)/ F-010(C-2)/ F-011(C-3)/ F-012(迁移+lossless 修复)全部通过验证门,形态 C 主体完成 + ScanApp 实测闭环F-013(web 会话 root 解析修复,D-020)通过验证门:resolveRoot(session) per-call 解析(config.root → 会话 cwd → 静态根 → cwd)、四特性工具 + audit/init 按会话 root、get_feature 未找到返回 feature:null、audit schema 补全 scores/weakest/failedCritical(裁剪 results);L3 脚本模拟 web 会话复现问题报告场景并验证修复(resolveRoot→ScanApp、get_feature 读出 F-001/F-002/F-003、audit 无 target 100/100 pass lossless true、init 落盘会话仓库);本仓库自身形态 B→C 迁移完成(触发条件①:12 条存量导入事件日志 32 行,投影重建含 F-001..F-013,事件日志健康检查 [])
  • 阻塞:无
  • 下一步:① 提交 F-013 修复 + 本仓库迁移(git status:feature_list/src/tests/.harness/features 变更)→ ② 推远端 → ③ F-007/F-008(挂起)→ ④ GUI 看板(C-3b,D-018 暂缓项)→ ⑤ ScanApp 真实工作继续用形态 C 工具链(dogfooding 日常化)→ ⑥ 重启 web 服务让 GUI 加载新构建(旧 lib 驻留进程内存,get_feature 仍报 lossless 旧行为,重启后形态 C 工具链在本仓库生效)
  • 环境备注:web profile 的 dsh-at-file 为 GitHub tarball 依赖;本次安装期间 github.com 曾不可达(ETIMEDOUT),dsh plugin add 重试后以低速(37 KiB/s)下载成功;若日后 GitHub 不可达,dsh-at-file 的解析/升级会再次受影响
  • 环境备注(harness headless 问题,D-019):0.1.2 的 dsh-plugin-package-inventory-deepseek 在 headless 组合里 bare 包解析找不到 flat fallback → REQUEST_EXTENSION;实测 overlay 以 disabled: true 绕过(D:\personspcae\exp-overlay-scanapp.yml),建议上报 harness