Close 2 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-collab-storage-u5-ownership.md(PR#352) feature-svc-seed-auth.md(PR#371) — 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)
This commit is contained in:
+8
-2
@@ -1,6 +1,6 @@
|
||||
# feature/collab-storage-u5-ownership 任务卡
|
||||
|
||||
任务主记录：Dev PR #352 https://git-home.u1680832.nyat.app:30319/weichen/Agent-System-Dev/pulls/352（backend 组件 PR #151/#152 已合入）；状态：切片 1 实施完成待评审；owner：weichen
|
||||
任务主记录：Dev PR #352 https://git-home.u1680832.nyat.app:30319/weichen/Agent-System-Dev/pulls/352（backend 组件 PR #151/#152 已合入）；状态：已完成（回填）；owner：weichen
|
||||
|
||||
## 基线与授权
|
||||
|
||||
@@ -72,7 +72,7 @@
|
||||
| 时间(UTC) | 命令 | 被测HEAD | exit | 来源 | sha256(16) |
|
||||
|---|---|---|---|---|---|
|
||||
|
||||
## 结果与验证（完成后填写）
|
||||
## 结果与验证
|
||||
|
||||
- 结果：U5 核心切片交付——v23 迁移（conversation_executions + run_commands）；store：TryClaimExecution（空/到期/同实例重占才可占，接管 epoch+1）、RenewExecution（instance+epoch 双校验）、ReleaseExecution（保留代次）、SettleRunFenced（settleRunOnce 事务内围栏：有租约行且 (instance,epoch) 不匹配→拒写，无行放行=本地档语义不变）、命令收件箱（幂等投递/PG FOR UPDATE SKIP LOCKED 认领/并发恰一次）；runmgr：PG 档 ClaimConversation 叠加 DB 租约（15min，释放归还）、settleRunWithFence（fenced→run.fenced 事件不写终态）、StartCommandConsumer（300ms 轮询，仅消费本实例持执行权的会话命令；取消走本地级联或库级收口、HITL 重验 gate 过期明确销项）、RunActiveLocally；server：取消/HITL 本地失败且非本地活跃→EnqueueCommand 202；app：实例身份 host:addr（PG 档）+ 消费循环启停。附带：storage-migrate 运行态排除表补 conversation_executions/run_commands（清单守护测试滚动）；backend 内部 core 钉两次对齐 Dev（#152）。
|
||||
- 验证：SQLite 全量 35 包 + 真库 PG18.6+Redis 全量 35 包绿；lease_pg_test（占用/争抢/重占/续租围栏/到期接管/单调代次/命令幂等/并发恰一次）与 multi_instance_test（同会话争抢 409、旧 owner 迟到结算 fenced 且 run 不变、跨实例取消恰一次消费、非执行实例不吃命令）真库两轮绿；make test / test-backend-pg / make build 三段 evidence exit=0（SELF）；CI GATE 待本 PR。诚实边界：测试为双 Manager 共库（等价两进程的存储视图），CI 级双真实进程进程隔离验收未做（后续切片）；取消/HITL 命令与业务提交的同事务 outbox 未做（现收件箱独立行）；租约时钟为应用侧 UTC（跨主机部署需 NTP 合同）；第二实例承接写请求的正式放行仍以方案 U5 出口全项为准。
|
||||
@@ -437,3 +437,9 @@
|
||||
"receipt_sha256": "a1a0de6c717f823f7a31886bc59c8c057d7ddeeedecc0e1a57213573852c725e"
|
||||
}
|
||||
```
|
||||
|
||||
## 闭合记录（card-autoclose 回填）
|
||||
|
||||
- 依据：merge 5cbb38e788ab3050b8d9f23c21d98d2fd1587a31（PR #352）已包含于 origin/main，分支成果已落盘；本段为合入后回填。
|
||||
- 合并主题：Merge pull request 'U5 core: execution leases with epoch fencing and persistent run commands (pin #151/#152)' (#352) from feature/collab-storage-u5-ownership into main
|
||||
- 归档：随闭合移入 .task/archive/；任务执行期的过程证据见原任务记录与 PR。
|
||||
@@ -1,6 +1,6 @@
|
||||
# feature/svc-seed-auth 任务卡
|
||||
|
||||
任务主记录：<PR 链接，交付前填写>；状态：进行中；owner：weichen
|
||||
任务主记录：PR #371 https://git-home.u1680832.nyat.app:30319/weichen/Agent-System-Dev/pulls/371（merge 422beb93ac）；状态：已完成（回填）；owner：weichen
|
||||
|
||||
## 基线与授权
|
||||
|
||||
@@ -68,7 +68,7 @@
|
||||
| 时间(UTC) | 命令 | 被测HEAD | exit | 来源 | sha256(16) |
|
||||
|---|---|---|---|---|---|
|
||||
|
||||
## 结果与验证（完成后填写）
|
||||
## 结果与验证
|
||||
|
||||
- 结果：
|
||||
- 验证：<结论摘要 PASS/FAIL/SKIP/NOT_RUN 逐项；逐条证据由 make evidence 写入上方证据表>
|
||||
@@ -320,3 +320,9 @@
|
||||
"receipt_sha256": "32f6c6f9f8b3f7aff3800d99516a450cc88abd8478bb93211928cb9656fb3581"
|
||||
}
|
||||
```
|
||||
|
||||
## 闭合记录（card-autoclose 回填）
|
||||
|
||||
- 依据：merge 422beb93ace7ae3a24c4ba20ddcd8268c3a3a62d（PR #371）已包含于 origin/main，分支成果已落盘；本段为合入后回填。
|
||||
- 合并主题：Merge pull request 'Seed settings with an auto-minted temporary key when auth is on (feature/svc-seed-auth)' (#371) from feature/svc-seed-auth into main
|
||||
- 归档：随闭合移入 .task/archive/；任务执行期的过程证据见原任务记录与 PR。
|
||||
Reference in New Issue
Block a user