weichen/Agent-System-Dev
1
0
Fork 0
Code Issues 1 Pull Requests 3 Actions 3 Packages Projects Releases Wiki Activity
Files
d55e57dded44c4fc6acfb2b162c542a5ad5f5f95
Agent-System-Dev/.task/archive/feature-evidence-driven-gates.md
T
weichen f51ef91366
ci / test (pull_request) Successful in 1m58s
Details
Close 1 merged task card(s) and archive them 
Why: branches merged into main had left their task cards open; backfill status and archive to prevent bookkeeping debt.
Evidence: feature-evidence-driven-gates.md(PR#205) — merges verified via git log --merges against origin/main.
Impact: .task/*.md moved to .task/archive/ with status backfilled; no code or submodule change.
Refs: task.sh close (card-autoclose-r1)
2026-10-05 10:55:45 +00:00

9.2 KiB
Raw Blame History

feature/evidence-driven-gates 任务卡

任务主记录：PR #205 https://git-home.u1680832.nyat.app:30319/weichen/Agent-System-Dev/pulls/205（merge df26ca7199）；状态：已完成（回填）；owner：weichen

基线与授权

  • 权威仓：ssh://git@git-ssh.u1680832.nyat.app:31411/weichen/Agent-System-Dev.git；目标分支：main；R0（initial_base_sha）= 602d2ce9c6
  • 工作区：/home/weichen/projects/Agent-System-Dev-wt-feature-evidence-driven-gates（worktree）；分支：feature/evidence-driven-gates
  • 授权与交付终点：用户 2026-10-05 授权「按证据驱动方案完善规范」——guidelines 子模块（PR）+ Dev 仓（AGENTS.md/policy/工具/Makefile/task.sh + gitlink 推进）经 make test 组合验证后 PR 合入 main 并回收工作区。未授权：改前端/后端业务代码、解除分支保护、改写历史。

目标与非目标

目标：落地「声明≠能力」证据门禁——

  1. guidelines draft.10：证据来源三分 SELF/REPLAY/GATE、工具写入、审阅者重放、外部事实 零信任、诚实出口（verification/collaboration/delivery/baseline/glossary/两模板/CHANGELOG）。
  2. Dev 仓：AGENTS.md「证据与验证门禁」节；policy/facts.md 事实登记表（F1–F4 实测后登记）； scripts/evidence.sh（make evidence：命令×HEAD×sha256×尾部写入任务卡）； scripts/facts-verify.sh（make facts-verify [--update]）；task.sh：precheck 增 [hooks]/[facts]， sync 增 [evidence] 旧 HEAD 告警，task-start 卡片模板带证据表；Makefile 增两目标。
  3. gitlink 推进至 guidelines 合入 SHA（af199ee），组合验证 make test。

非目标：task-close 核对 CI 状态（PR3 权威迁移）、CI 工作流改动、UI/业务代码、 review 技能文本改造（后续任务）。

同步记录

节点 sync_base_sha tested_head_sha checked_at
启动 602d2ce9c6 602d2ce9c6 2026-10-05T10:41:39Z

结果与验证

  • 结果：guidelines 推进至 0.1.0-draft.10（PR Development-Guidelines#4，merge af199ee， 已钉入本 PR gitlink）；Dev 仓落地 AGENTS.md「证据与验证门禁」节、policy/facts.md（F1–F4）、 scripts/evidence.sh + facts-verify.sh、Makefile evidence/facts-verify 目标、task.sh precheck [hooks]/[facts] + sync [evidence] 告警 + 卡片模板证据表。全部交付，无删减。
  • 验证：见下方证据表——make test 全量 PASS（boundaries/pins/libs/core/backend/frontend/ ui/agent-command，exit 0）；precheck READY 含新增 [hooks]/[facts] 行；facts-verify 4/4 PASS（F2 曾 FAIL 后修正命令并复验——暴露登记命令与手工命令的口径漂移，属预期机制生效）； evidence 工具正例（脱敏 token ）/负例（exit=1 行照记、rc 透传）自测通过； 引号缺陷（make 变量重引号拆坏 CMD）自测发现并修复。NOT_RUN：无。诚实说明：6518f6e 后 仅 .task/AGENTS.md/task.sh（sync 告警）变更，均不在 make test 覆盖面，按证据复用规则 不重跑全量，另记 bash -n 复检行；PR HEAD 全量由 CI 作 GATE 权威源。
  • 影响与剩余项：新增两 make 目标与 precheck 两行（向后兼容，旧卡无证据表时 evidence.sh 自建段落）；遗留（后续任务）：task-close 核对 merge SHA 的 CI 状态、review 技能文本改 双盲重放、CI-first 完成声明模板。

证据（Evidence）

时间(UTC) 命令 被测HEAD exit 来源 sha256(16)
2026-10-05T10:47:37Z false ba83a17c11 1 SELF e3b0c44298fc1c14 
$ false
[exit 1 | HEAD ba83a17c11 | sha256:e3b0c44298fc1c14] 输出尾部 15 行：

| 2026-10-05T10:48:16Z | printf 'token 0123456789abcdef0123456789abcdef01234567 hello\n' | ba83a17c11 | 0 | SELF | aae6a8955c582b4b |

$ printf 'token 0123456789abcdef0123456789abcdef01234567 hello\n'
[exit 0 | HEAD ba83a17c11 | sha256:aae6a8955c582b4b] 输出尾部 15 行：
token <redacted> hello

| 2026-10-05T10:48:31Z | make precheck | efa701279f | 0 | SELF | d7a230052e4ac220 |

$ make precheck
[exit 0 | HEAD efa701279f | sha256:d7a230052e4ac220] 输出尾部 15 行：
make[1]: Entering directory '/home/weichen/projects/Agent-System-Dev-wt-feature-evidence-driven-gates'
[repo]   branch=feature/evidence-driven-gates head=efa701279f
[remote] origin/main=602d2ce9c6 ahead=3 behind=0
[tree]   clean submodules_drift=0 uninit=0
[worktrees] linked=1
[hooks]   core.hooksPath=scripts/hooks（pre-commit/post-merge 实际接线）
[facts]   policy/facts.md 4 条事实均在有效期内
[required-reading] core/baseline.md, workflows/delivery.md §1
[R0] 602d2ce9c6（完整：602d2ce9c6900343155f2a9c7ccb4f1c83aa4a59）
[verdict] READY — 可建任务工作区：make task-start NAME=feature/your-branch
make[1]: Leaving directory '/home/weichen/projects/Agent-System-Dev-wt-feature-evidence-driven-gates'

| 2026-10-05T10:48:46Z | make facts-verify | efa701279f | 2 | SELF | 6c61e644395042fa |

$ make facts-verify
[exit 2 | HEAD efa701279f | sha256:6c61e644395042fa] 输出尾部 15 行：
make[1]: Entering directory '/home/weichen/projects/Agent-System-Dev-wt-feature-evidence-driven-gates'
[F1] PASS :: curl -fsS -m 10 https://git-home.u1680832.nyat.app:30319/api/v1/version
[F2] FAIL :: t=$(sed -n "s/^ACCESS_TOKEN=//p" ~/.secrets/gitea); test -n "$t" && curl -fsS -m
[F3] PASS :: GIT_SSH_COMMAND="ssh -i ~/.ssh/home_gitea -o BatchMode=yes" git ls-remote ssh://
[F4] PASS :: ! curl -fsS -m 8 https://git-panel.u1680832.nyat.app:30319/api/v1/version
[facts-verify] total=4 pass=3 fail=1
make[1]: *** [Makefile:52: facts-verify] Error 1
make[1]: Leaving directory '/home/weichen/projects/Agent-System-Dev-wt-feature-evidence-driven-gates'

| 2026-10-05T10:49:21Z | make facts-verify | efa701279f | 0 | SELF | 919401b838d77909 |

$ make facts-verify
[exit 0 | HEAD efa701279f | sha256:919401b838d77909] 输出尾部 15 行：
make[1]: Entering directory '/home/weichen/projects/Agent-System-Dev-wt-feature-evidence-driven-gates'
[F1] PASS :: curl -fsS -m 10 https://git-home.u1680832.nyat.app:30319/api/v1/version
[F2] PASS :: t=$(sed -n "s/^[ -]*ACCESS_TOKEN=//p" ~/.secrets/gitea); test -n "$t" && curl -f
[F3] PASS :: GIT_SSH_COMMAND="ssh -i ~/.ssh/home_gitea -o BatchMode=yes" git ls-remote ssh://
[F4] PASS :: ! curl -fsS -m 8 https://git-panel.u1680832.nyat.app:30319/api/v1/version
[facts-verify] total=4 pass=4 fail=0
make[1]: Leaving directory '/home/weichen/projects/Agent-System-Dev-wt-feature-evidence-driven-gates'

| 2026-10-05T10:49:32Z | make test | 6518f6ed0a | 0 | SELF | 751ae7dccd018ce7 |

$ make test
[exit 0 | HEAD 6518f6ed0a | sha256:751ae7dccd018ce7] 输出尾部 15 行：
 ✓ test/card-anchor.test.tsx (4 tests) 91ms
 ✓ test/file-preview.test.tsx (9 tests) 77ms
 ✓ test/inline-confirm.test.tsx (7 tests) 94ms
 ✓ test/capability.test.tsx (14 tests) 145ms

 Test Files  14 passed (14)
      Tests  103 passed (103)
   Start at  10:50:04
   Duration  612ms (transform 373ms, setup 0ms, import 1.36s, tests 874ms, environment 3.22s)

knip unused exports 55 <= 55
cd deps/agent-command && go vet ./... && go test -count=1 ./...
ok  	agent-command	0.002s
ok  	agent-command/conformance	0.002s
make[1]: Leaving directory '/home/weichen/projects/Agent-System-Dev-wt-feature-evidence-driven-gates'

| 2026-10-05T10:52:17Z | bash -n scripts/task.sh && bash -n scripts/evidence.sh && bash -n scripts/facts-verify.sh && bash scripts/check-pins.sh >/dev/null && bash scripts/lint-boundaries.sh >/dev/null && echo 'final-HEAD quick checks OK' | 9337207906 | 0 | SELF | 944a991897d9f475 |

$ bash -n scripts/task.sh && bash -n scripts/evidence.sh && bash -n scripts/facts-verify.sh && bash scripts/check-pins.sh >/dev/null && bash scripts/lint-boundaries.sh >/dev/null && echo 'final-HEAD quick checks OK'
[exit 0 | HEAD 9337207906 | sha256:944a991897d9f475] 输出尾部 15 行：
warn: deps/agent-native deps/development-guidelines is 26b562d2e34f, Dev is af199eeaa23c
warn: deps/agent-squad deps/development-guidelines is 26b562d2e34f, Dev is af199eeaa23c
warn: deps/agent-intent deps/development-guidelines is 26b562d2e34f, Dev is af199eeaa23c
final-HEAD quick checks OK

| 同步前验收 | 602d2ce9c6 | e1009f475f | 2026-10-05T10:52:23Z |

闭合记录（card-autoclose 回填）

  • 依据：merge df26ca71996a6c87cbcf440a910b6d7394dfe188（PR #205）已包含于 origin/main，分支成果已落盘；本段为合入后回填。
  • 合并主题：Merge pull request 'Add evidence-driven gates: facts registry, evidence tooling, provenance rules' (#205) from feature/evidence-driven-gates into main
  • 归档：随闭合移入 .task/archive/；任务执行期的过程证据见原任务记录与 PR。
Reference in New Issue View Git Blame Copy Permalink