Files

T

JCAI Main AgentandClaude Opus 5 14d4fa046a M1: 底座 —— @contracts 首版 + event / ledger / org / llm

@contracts 首版(§8.1 九个文件):
- id 品牌 ID / terminal 终态五名与归侧四标签 / envelope 信封六字段与四类事件
- card 工单两模式 + 对话卡族(形状对齐 2026-07-26 原型定稿)
- contract7 契约七件 / ledger 三级寻址与写三分 / process-package 流程包 DSL 与触发器三类
- manifest 活动包清单六区(含 CMMN·DMN·步序声明的资产形状)/ org / api 路由契约

模块(L1):
- event   信封存储、归属解析三级短路、投递五诺、监听注册表、三级消费裁定
- ledger  schema 自生长(最大化合并/最宽类型/只增不破坏)、任务视图叠加、写三分、冲突检查
- org     岗位授权(客体三类×动作三种)、停用前置检查、会话、种子播种
- llm     四元绑定、ModelGateway 三模式(live/record/replay)—— 两缝之一

app 装配:Hono 服务 + 鉴权中间件 + 治理台/工作台路由;drizzle 迁移;AES-256-GCM 凭证密封

ADR-007 工具链与门禁 · ADR-008 投递队列 · ADR-009 凭证加密
(ADR 编号自 007 续:编码规范 §14 已用到 006,README 写「从 005 续」是笔误)

门禁五道全绿;96 个测试通过,含对真实 PG 的 ledger 集成测试

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01KeDBx2PHLavbURXB8LJJ7m

2026-07-27 00:59:14 +08:00

1.8 KiB

Raw Permalink Blame History

ADR-008 · 投递队列的落地形态:sys.event_delivery 是队列本体,pg-boss 只管定时

状态:已决(M1)
日期:2026-07-27
上下文:编码规范 §7.1 要求「先持久后投递」= 信封写 sys.event 与 pg-boss 入队在同一事务。但 pg-boss 的 send() 走自己的连接池,无法参与我们打开的事务;若拆成两步, 「先持久后投递」的原子性就落空(写了事件、没入队 = 事件永不推进)。

决定

投递记录本身就是队列:sys.event_delivery 每行一份投递(投递 ID / 事件 ID / 单目标 / attempt / state / next_attempt_at),与 sys.event 的信封写入同一事务落库。「先持久后投递」由此在一条事务里成立 —— 队列不是外部件,是事件存储的一部分。
消费由派发器拉取:派发 worker 按 state='pending' and next_attempt_at <= now() 取行, 对目标 ID 取 advisory lock 串行执行 —— 这正是「同任务按序」的实现(§7.1)。
幂等在消费侧:sys.event_consumption(event_id, consumer) 唯一约束; claimConsumption 插入成功即首次消费,冲突即已消费 —— 「至少一次 + 幂等」。
pg-boss 只承担定时:监听时限扫描、周期触发器求值、蒸馏钩子等时间驱动的作业归 pg-boss (queue schema 自管)。它不承载事件投递,因此不需要与业务事务同源。
重试与死信:decideRetry(纯函数)给退避阶梯,超限置 dead-letter 并经 MessageFallback 端口送系统通知 —— 「处理有回执」。

后果

投递五诺全部有落点,且五条都可在集成测试里断言。
代价:多一个派发 worker(app 层),不能白嫖 pg-boss 的并发控制;换来的是原子性与可测性。
event 模块因此不依赖 pg-boss;pg-boss 只出现在 app/workers/。

1.8 KiB Raw Permalink Blame History

ADR-008 · 投递队列的落地形态:sys.event_delivery 是队列本体,pg-boss 只管定时

决定

后果

1.8 KiB

Raw Permalink Blame History