Files
Agent-System-Dev/policy/facts.md
T
weichen dc679e9ded
ci / svc-realcombo (pull_request) Failing after 34s
ci / test-pg (pull_request) Failing after 2m34s
ci / test (pull_request) Failing after 4m24s
Bump frontend and backend pins; register account facts F5/F6
Why: P2 前端系统设置面板(Frontend #78)与 P3 账号搜索扩展(Backend #191)已合入各仓 main,组合 bump 进 Dev;账号姓名字段与停用能力现状按门禁登记 facts。
Evidence: check-pins 通过(evidence 写卡);组合验证由本 PR 的 Dev CI 承担(test/test-pg/svc-realcombo);前端 design-guard 6/6 与 tsc/build 在 Frontend PR 内完成。
Impact: gitlink 两枚 + facts F5/F6 新增。
Refs: 提案 r1 P2/P3;Frontend #78;Backend #191;RDM #345/#346
2026-10-13 06:41:34 +00:00

2.3 KiB
Raw Blame History

项目外部事实登记表

规则见 AGENTS.md「证据与验证门禁」与 deps/development-guidelines/standards/verification.md「声明与证据来源」。

  • 每条事实 = 陈述 + 验证命令 + last_verified + TTL;引用前必须先执行其验证命令(外部事实零信任)。
  • 过期(>TTL)必须重验后更新:make facts-verify 逐条重验,make facts-verify ARGS=--update 把 PASS 项的 last_verified 刷新为当天并写回本表(随 PR 合入)。
  • 表内验证命令不得含竖线 |(保持表格与解析可核);新增事实先实测再登记,不得凭记忆填日期。
  • precheck 的 [facts] 行报告过期项;AGENTS.md「Gitea 与 Git 访问事实」节为本表的叙述版。
ID 事实 验证命令 last_verified TTL(天)
F1 Gitea Web/API 可达:https://git-home.u1680832.nyat.app:30319(1.27.3) curl -fsS -m 10 https://git-home.u1680832.nyat.app:30319/api/v1/version 2026-10-05 30
F2 API token 存在且可用(值在 ~/.secrets/gitea,文件为 markdown 列表格式 - ACCESS_TOKEN=…,不入仓不回显) t=$(sed -n "s/^[ -]*ACCESS_TOKEN=//p" ~/.secrets/gitea); test -n "$t" && curl -fsS -m 10 -o /dev/null -H "Authorization: token $t" https://git-home.u1680832.nyat.app:30319/api/v1/user 2026-10-05 30
F3 Git over SSH 可达:ssh://git@git-ssh.u1680832.nyat.app:31411/weichen/<Repo>.git(key ~/.ssh/home_gitea) GIT_SSH_COMMAND="ssh -i ~/.ssh/home_gitea -o BatchMode=yes" git ls-remote ssh://git@git-ssh.u1680832.nyat.app:31411/weichen/Development-Guidelines.git HEAD 2026-10-05 30
F4 旧端点 git-panel.u1680832.nyat.app:30319 已失效(TLS 握手失败),不得使用 ! curl -fsS -m 8 https://git-panel.u1680832.nyat.app:30319/api/v1/version 2026-10-05 180
F5 基座 users 表存有姓名(name 列,CreateAccount/ListUsersAdmin 读写;EXT-19 目录自 P3 起向授权管理读面下发) cd modules/backend && go test ./internal/app/ -run TestInprocHostSearchAccounts -count=1 2026-10-13 180
F6 基座账号无停用位(users 表无 disabled;EXT-19 Valid 恒为存在性)——停用机制未实现,不得当已具备 cd modules/backend && grep -rn "disabled|Disabled" internal/store/auth.go pkg/extension/extension.go 2026-10-13 180