Why: agents rediscovered Gitea hosts and credential locations from
scratch each session, and the retired git-panel host kept failing with
TLS broken-pipe errors before the right host was recalled.
Evidence: curl git-home...:30319/api/v1/version with token from
~/.secrets/gitea -> {"version":"1.27.3"}; ssh -p 31411 git@git-ssh...
(BatchMode) -> "Hi there, weichen!" with key ~/.ssh/home_gitea (ED25519,
SHA256:GYXaOXIMeloQ1fKSfdJ/ndgPQzs/Ix7Hk62ekfkfQ20). Same section already
merged in Agent-System-Dev (PR #73).
Impact: AGENTS.md only; records hosts and credential locations, no
secret values (baseline hard boundary 2).
Refs: Agent-System-Dev PR #73
2.4 KiB
2.4 KiB
Agent 工作说明(Agent-System-Documents)
本仓开发遵循 Development-Guidelines(Dev 仓 deps/development-guidelines,gitlink 固定版本):
核心规则见其 core/,按任务触发阅读 standards/ 专题;日常交付走 workflows/delivery.md。
任务启动门禁
- 任务启动或恢复后,第一次写操作前在 Dev 仓运行
make precheck并附完整输出(本仓作为子仓随父仓编排); 本仓独立开发时核对工作树 clean、与权威 origin/main 同步,并按任务触发读对应专题。 - 从权威 origin/main 固定共同起点 R0,建 feature|fix|hotfix/ 分支(Dev 仓
make task-start自动化); 任务中途不重复 precheck。 - 验收、请求审核、合入前各同步一次最新目标分支并附证据;合入后回收任务工作区与已合入分支。
- 提交主题行:英文祈使句一行(≤100 列,不以句点结尾);body 写
Why: / Evidence: / Impact: / Refs:。
仓内规则
- 模块边界、公开契约与隔离档位见
policy/modules/(如有)与 PROJECT.md。 - 跨仓 gitlink 变更须经组合验证后在 Dev 仓推进;受保护分支经 PR 合入。
- 验证命令见 PROJECT.md「验证」节;完成声明须附实际命令输出证据。
Gitea 与 Git 访问事实(2026-09-30 实测)
历史文档与旧链接里的 git-panel.u1680832.nyat.app:30319 已失效(TLS 握手失败),
见到一律按过期处理,不要再试。当前权威通道:
- Web / API(HTTPS):
https://git-home.u1680832.nyat.app:30319(Gitea 1.27.3, API 前缀/api/v1;偶发 broken pipe / 超时,重试即可)。 - Git over SSH:
ssh://git@git-ssh.u1680832.nyat.app:31411/weichen/<Repo>.git(各仓 origin 与 gitlink 均为此格式)。 - API token:
~/.secrets/gitea,两行键值URL_PREFIX=…与ACCESS_TOKEN=<40 位 hex>;取值grep ACCESS_TOKEN ~/.secrets/gitea | cut -d= -f2-, 用作Authorization: token <值>请求头。token 值不入仓、不回显、不写进产出物 (baseline 硬边界 2:只记录来源、字段与可用状态)。 - SSH key:
~/.ssh/home_gitea(ED25519,公钥指纹SHA256:GYXaOXIMeloQ1fKSfdJ/ndgPQzs/Ix7Hk62ekfkfQ20,Gitea 侧密钥名 GMKtec);~/.ssh/config已有git-ssh.u1680832.nyat.app主机条目,克隆/推送直接可用。