codex-app-server

506 Commits 11 Branches 0 Tags

2 Commits

Include renames

Author	SHA1	Message	Date
host	a18a530bfd	fix(chv-muse-r12fix-5): UsageLedger.record() 读-改-写原子化（P11） R12 真机：4 线程 × 10 条记账 0 写错，但 verify_chain 返回 (False, first_bad=11)，链 G、链 H 两次复现同一断点；根因是 record() 先 SELECT 链头、再算摘要、再 INSERT 提交，无锁无事务，两线程读到同一 prev_hash 各写一条，链分叉。修法：同一实例用 threading.Lock 串行化；SELECT 前 BEGIN IMMEDIATE 持库级写锁（WAL + busy_timeout 下等待而非立即失败），使另一实例/进程读到的链头必是已提交最新值。record_warning 委托 record()，同款覆盖。新增并发测试：同款 4×10 复测两轮， verify_chain 全真、40 条一条不丢（旧代码下该测试失败）。	2026-11-08 04:32:35 +00:00
host	60c371d9d5	feat(chv): 对齐 Muse P11 用量计量与配额执行——四项计量 + 三档档位门 + 哈希链账本 - cloud/usage.py（新）：TIER_LIMITS 三档提案（Free $0/Paid $19/Heavy $99，提案非定价，payload 带 proposal 标注）、TierStore（无档位行不受档位门约束）、UsageLedger（追加写哈希链，篡改可发现）、UsageMeter（token 读 cost_records、消息读账本、并发/存储注入实测）、QuotaGate（纯准入判定， 402，不碰在跑任务）、80% 提醒每维度每窗口一次 - cloud/server.py：_reject_if_over_quota 内加档位门（同一漏斗，双人门自动覆盖；查询异常 fail-closed 503）、GET /users/me/usage、 GET/POST /admin/tiers、存储实测复用 _task_worktree_for_files - docs/chv-muse-p11-gap.md：差距表（先写表再动手）+ 诚实边界（USD 路径 30 秒轮询掐断与“不掐断”语义不一致是已知待决；并发即拒与设计文档排队不同；cloud 任务存储量不到；Heavy 消息/天提案未给，本轨定不限） - 测试 22/22，全量 1889 OK（skipped=8）；mypy 在 usage.py 上干净， server.py 5 错均为基线旧错（marker_tools/sub2api/_row_get，与本轨无关） - 真机验证排队在 round-11 与 P4～P9 之后；不接真实计费	2026-11-06 22:42:30 +00:00

Author

SHA1

Message

Date

host

a18a530bfd

fix(chv-muse-r12fix-5): UsageLedger.record() 读-改-写原子化（P11）

R12 真机：4 线程 × 10 条记账 0 写错，但 verify_chain 返回
(False, first_bad=11)，链 G、链 H 两次复现同一断点；根因是
record() 先 SELECT 链头、再算摘要、再 INSERT 提交，无锁无
事务，两线程读到同一 prev_hash 各写一条，链分叉。修法：
同一实例用 threading.Lock 串行化；SELECT 前 BEGIN IMMEDIATE
持库级写锁（WAL + busy_timeout 下等待而非立即失败），使另一
实例/进程读到的链头必是已提交最新值。record_warning 委托
record()，同款覆盖。新增并发测试：同款 4×10 复测两轮，
verify_chain 全真、40 条一条不丢（旧代码下该测试失败）。

2026-11-08 04:32:35 +00:00

host

60c371d9d5

feat(chv): 对齐 Muse P11 用量计量与配额执行——四项计量 + 三档档位门 + 哈希链账本

- cloud/usage.py（新）：TIER_LIMITS 三档提案（Free $0/Paid $19/Heavy $99，
  提案非定价，payload 带 proposal 标注）、TierStore（无档位行不受档位门
  约束）、UsageLedger（追加写哈希链，篡改可发现）、UsageMeter（token 读
  cost_records、消息读账本、并发/存储注入实测）、QuotaGate（纯准入判定，
  402，不碰在跑任务）、80% 提醒每维度每窗口一次
- cloud/server.py：_reject_if_over_quota 内加档位门（同一漏斗，双人门
  自动覆盖；查询异常 fail-closed 503）、GET /users/me/usage、
  GET/POST /admin/tiers、存储实测复用 _task_worktree_for_files
- docs/chv-muse-p11-gap.md：差距表（先写表再动手）+ 诚实边界（USD 路径
  30 秒轮询掐断与“不掐断”语义不一致是已知待决；并发即拒与设计文档
  排队不同；cloud 任务存储量不到；Heavy 消息/天提案未给，本轨定不限）
- 测试 22/22，全量 1889 OK（skipped=8）；mypy 在 usage.py 上干净，
  server.py 5 错均为基线旧错（marker_tools/sub2api/_row_get，与本轨无关）
- 真机验证排队在 round-11 与 P4～P9 之后；不接真实计费

2026-11-06 22:42:30 +00:00