@zhushanwen/session-delivery 1.0.0 → 2.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/index.d.mts +383 -70
- package/dist/index.mjs +307 -148
- package/package.json +1 -1
package/dist/index.d.mts
CHANGED
|
@@ -6,11 +6,30 @@
|
|
|
6
6
|
* - 意图驱动:调用方声明 intent,内核处理与 session 运行状态的冲突
|
|
7
7
|
* - 判别联合 payload:适配器声明 supportedPayloads 能力
|
|
8
8
|
*
|
|
9
|
-
* v2
|
|
10
|
-
*
|
|
9
|
+
* v2 增量(投递所有权内核,v2 设计批次——设计文档未入 git,裁决随本仓 commit
|
|
10
|
+
* 历史可溯):
|
|
11
|
+
* 条目状态机/lane/条目双形态(活跃条目 + 终局记录)/entriesFull()+projection() 双视图;行为实现在
|
|
11
12
|
* 本包 src/delivery.ts。lane 字面量中的 'steer' 是投递车道语义名(设计 §1.1 术语表
|
|
12
13
|
* /D1),非 pi API 词汇——intent → 底层参数的翻译在适配器内部,本包只记录车道,
|
|
13
14
|
* 零依赖纪律对 lane 不破例。
|
|
15
|
+
*
|
|
16
|
+
* v3 增量(统一消息投递内核,设计 .tmp/tech-design/unified-delivery.md §3.5,波 1
|
|
17
|
+
* 纯增量零行为变化——装配不传新参数 = v2 行为逐字节不变):
|
|
18
|
+
* - DeliveryStore 持久化存储端口(persist / ack / discard / loadUndelivered /
|
|
19
|
+
* loadTerminalIds / hasTerminal):耐久承诺先于投递尝试;终局写持久终局;判重
|
|
20
|
+
* 第三级查持久记录。两个实现在两半区适配层(runtime 半区磁盘 outbox / port 半区
|
|
21
|
+
* session entries),本包零 fs 零 pi 知识。
|
|
22
|
+
* - 送达凭据三档(DeliveryReceiptAnchor):'marker' / 'acceptance' / 'details-id'
|
|
23
|
+
* (ADR-0074 词条扩展);details-id 的判定逻辑以可注入的凭据检查函数
|
|
24
|
+
* (DeliveryProofCheck)形态承载在本内核。
|
|
25
|
+
* - 失败保留策略(DeliveryFailurePolicy):'forget' 首败即停 / 'retain' 留账重投,
|
|
26
|
+
* 缺省按载荷类型 custom=retain / text=forget。
|
|
27
|
+
* - 判重统一:v2 的 DeliveryTombstone 独立机制与类型退役,判重 = 在途条目 → 内存
|
|
28
|
+
* 已完结 id 索引(loadTerminalIds 播种 + 终局即时登记)→ 持久记录(store.hasTerminal)。
|
|
29
|
+
* entriesFull() 的 tombstones 视图字段与结构保持(双视图消费方零改动),元素类型
|
|
30
|
+
* 由 DeliveryTerminalRecord 承载。
|
|
31
|
+
* - 受理即出站模式(DeliveryDispatchMode):'on-accept' 旁路忙闲门禁与合批窗口;
|
|
32
|
+
* 缺省 'queue-hold' = v2 队列持有行为不变。
|
|
14
33
|
*/
|
|
15
34
|
/** 投递意图(D3):turn 边界抢占 / run 结束后注入,均含 idle 唤醒语义。 */
|
|
16
35
|
type DeliveryIntent = 'interrupt-at-turn-boundary' | 'after-run';
|
|
@@ -64,18 +83,38 @@ interface DeliveryMessage {
|
|
|
64
83
|
meta?: DeliveryMeta;
|
|
65
84
|
}
|
|
66
85
|
/**
|
|
67
|
-
* port
|
|
86
|
+
* 设计内等待原因(F1-13):port 半区投递端的「注入门禁 hold」——这些拒绝不是失败
|
|
87
|
+
* (host.sendMessage 未调用,条目从未被注入),内核不计首败,条目留守等投递端下一
|
|
88
|
+
* 边沿重新提交。两端唯一契约点:内核消费(onSendReceipt 的 deferred 分流)与 port
|
|
89
|
+
* 产单(`{ accepted: false, deferred }`)共用本词表——新增成员属内核行为变更,不是
|
|
90
|
+
* 端口私货。
|
|
91
|
+
* - 'merge-commit-hold':port 合批提交窗的注入门禁(窗口结束 kernel.flush 重提)。
|
|
92
|
+
* - 'compaction-wait':port compaction 提交侧等待的第二道防线(覆盖提交同步链与
|
|
93
|
+
* compaction 边沿交叠的残余窗口;compaction 终态边沿复位唤醒重提)。
|
|
94
|
+
*/
|
|
95
|
+
type DeliveryDeferReason = 'merge-commit-hold' | 'compaction-wait';
|
|
96
|
+
/**
|
|
97
|
+
* port.send 显式受理回执(U2 回执口径扩展位)。
|
|
68
98
|
*
|
|
69
99
|
* 受理 = 底层通道接受了消息(进入投递路径),**不等于送达事实**——送达判定由
|
|
70
100
|
* 调用方按自身回执锚点确认(如扩展侧扫描 custom_message entry)。旧 port 实现
|
|
71
101
|
* 返回 void 不受影响(void = 受理未知,按成功处理,与既有内核语义一致)。
|
|
102
|
+
*
|
|
103
|
+
* 拒绝分支为判别联合(deferred 与 reason 互斥,MF-1-4):
|
|
104
|
+
* - `{ accepted: false, deferred }` = 设计内等待(见 DeliveryDeferReason)——内核
|
|
105
|
+
* 不计首败,条目留守(onSendDeferred);
|
|
106
|
+
* - `{ accepted: false, reason }` = 显式拒绝(消息未进入任何通道,走错误重试路径,
|
|
107
|
+
* reason 进 warn 日志与 reject 链)。
|
|
72
108
|
*/
|
|
73
|
-
|
|
74
|
-
|
|
75
|
-
|
|
76
|
-
|
|
109
|
+
type SendReceipt = {
|
|
110
|
+
accepted: true;
|
|
111
|
+
} | {
|
|
112
|
+
accepted: false;
|
|
113
|
+
deferred: DeliveryDeferReason;
|
|
114
|
+
} | {
|
|
115
|
+
accepted: false;
|
|
77
116
|
reason?: string;
|
|
78
|
-
}
|
|
117
|
+
};
|
|
79
118
|
/** 内核与外部世界的唯一接口(D2 端口注入)。 */
|
|
80
119
|
interface DeliveryPort {
|
|
81
120
|
/** 本通路支持的 payload kind(D9 fail-fast)。 */
|
|
@@ -88,15 +127,110 @@ interface DeliveryPort {
|
|
|
88
127
|
* 处理);void / `{accepted:true}` = 受理成功。旧实现返回 void 兼容。
|
|
89
128
|
*
|
|
90
129
|
* settle 契约:返回 promise 时实现必须 settle(resolve 或 reject)——悬挂的
|
|
91
|
-
* promise 会让内核 in-flight
|
|
92
|
-
*
|
|
93
|
-
*
|
|
94
|
-
* 投递;通道内判重由适配器/对端按裸标记(clientUuid)负责,内核不建第二套判重。
|
|
130
|
+
* promise 会让内核 in-flight 防重永久占位、通路停摆。信任边界内不设防
|
|
131
|
+
* (ADR-0122 范围纪律):本机操作无响应 = 底层已挂,内核不建墙钟兜底,
|
|
132
|
+
* 处置 = 用户显式失败 + 重启应用。
|
|
95
133
|
*/
|
|
96
134
|
send(msg: DeliveryMessage, intent: DeliveryIntent): Promise<SendReceipt | void> | SendReceipt | void;
|
|
97
|
-
/** agent_settled 边沿订阅(D8
|
|
135
|
+
/** agent_settled 边沿订阅(D8)。缺省时 busy 条目留守至外部 flush/send 触发。返回退订函数。 */
|
|
98
136
|
subscribeSettled?(cb: () => void): () => void;
|
|
99
137
|
}
|
|
138
|
+
/**
|
|
139
|
+
* 送达凭据三档(v3,ADR-0074 词条扩展;提交方申报制,缺省 'marker'):
|
|
140
|
+
* - 'marker':出站文本尾附裸标记、送达以回执命中为准(文本车道主通路)。
|
|
141
|
+
* - 'acceptance':受理即送达——无回执锚点条目的「受理 = 送达」是唯一可判事实,
|
|
142
|
+
* port.send 受理成功即落 delivered 终态(v1 记账口径 / D9⑤ 显式例外)。
|
|
143
|
+
* - 'details-id'(v3 新增):通知条目送达判定 = 对话记录中出现 details 携带本条目
|
|
144
|
+
* id 的通知条目(deliveryId 由注入端附加,业务字段保持原样)。判定逻辑不在内核
|
|
145
|
+
* ——内核以可注入的凭据检查函数(DeliveryProofCheck)承载函数位与调用点
|
|
146
|
+
* (handle.confirmDeliveredByProof),对话记录读取由装配方实现(零 pi 知识)。
|
|
147
|
+
* 申报 'details-id' 的条目受理后维持 in-flight 等回执(与 'marker' 同形态),
|
|
148
|
+
* 由装配方在回执证据到达时调 confirmDeliveredByProof 驱动终局。
|
|
149
|
+
*/
|
|
150
|
+
type DeliveryReceiptAnchor = 'marker' | 'acceptance' | 'details-id';
|
|
151
|
+
/**
|
|
152
|
+
* 失败保留策略(v3):port.send 失败(首败,ADR-0122 无内核自动重试)时条目的处置。
|
|
153
|
+
* - 'forget':首败即停 + 显式上报后从内核移除(runtime 文本车道现状;重试决策归
|
|
154
|
+
* 消费方——人看页面通知可重发)。store 已 persist 的记录同步 discard(失败条目
|
|
155
|
+
* 无判重语义,防重启后被 loadUndelivered 复活成死条目)。
|
|
156
|
+
* - 'retain':失败条目留守——内存态转回 queued 等下一 settled 边沿 / 外部 flush
|
|
157
|
+
* 重入队(事件驱动,无定时器);store 记录保留(不 ack 不 discard),重启后经
|
|
158
|
+
* loadUndelivered 重入队(通知车道无人值守语义,与账本现状同构)。
|
|
159
|
+
*
|
|
160
|
+
* 缺省按载荷类型:custom = 'retain' / text = 'forget'(§3.4 提交选项缺省值表:
|
|
161
|
+
* 交互在席 vs 无人值守),提交方可显式覆写。sendChecked 挂起条目恒 'forget'(同步
|
|
162
|
+
* 失败回执契约与 retain 重投矛盾——调用方已收到失败,重投会产生「失败但送达」的
|
|
163
|
+
* 矛盾观测;显式申报 retain 时按 forget 处置并一次性 warn)。
|
|
164
|
+
*/
|
|
165
|
+
type DeliveryFailurePolicy = 'forget' | 'retain';
|
|
166
|
+
/**
|
|
167
|
+
* 送达凭据检查函数(v3,'details-id' 凭据的判定承载形态):判定「对话记录中是否已
|
|
168
|
+
* 存在 details 携带该 id 的通知条目」。由装配方注入实现(实现读对话记录——pi 半区
|
|
169
|
+
* 扫 session entries;内核零 pi 零 fs 知识,只持有函数位与调用点)。同步判定:
|
|
170
|
+
* 装配方内部缓存扫描结果时恒 O(1);未注入时 details-id 条目无法确认送达(留守)。
|
|
171
|
+
*/
|
|
172
|
+
type DeliveryProofCheck = (id: string) => boolean;
|
|
173
|
+
/**
|
|
174
|
+
* DeliveryStore 的持久记录(persist 的写入单元 / loadUndelivered 的读取单元):
|
|
175
|
+
* 重建投递所需的最小信息快照。字段是内核条目的持久化派生数据——重启重入队时装配方经
|
|
176
|
+
* loadUndelivered 取回后按原 id / lane / receiptAnchor 重新提交(幂等判重锚不丢)。
|
|
177
|
+
*/
|
|
178
|
+
interface DeliveryStoreRecord {
|
|
179
|
+
/** 客户端幂等 id(= 条目 id)。 */
|
|
180
|
+
id: string;
|
|
181
|
+
/** 投递车道(重入队时按原车道重报)。 */
|
|
182
|
+
lane: DeliveryLane;
|
|
183
|
+
/** 载荷(原样)。 */
|
|
184
|
+
payload: DeliveryPayload;
|
|
185
|
+
/** 期望注入时机(persist 时按 msg.intent ?? config.intent 解析定型)。 */
|
|
186
|
+
intent: DeliveryIntent;
|
|
187
|
+
/** 记录写入时间(epoch ms)。 */
|
|
188
|
+
recordedAt: number;
|
|
189
|
+
/** 送达凭据申报(重入队时保真重报)。 */
|
|
190
|
+
receiptAnchor?: DeliveryReceiptAnchor;
|
|
191
|
+
/** 无标记出站条目标志(重入队时保真重报,组批隔离判定源)。 */
|
|
192
|
+
unmarked?: boolean;
|
|
193
|
+
/** additive meta(原样透传债权等消费方字段,重入队时保真重报)。 */
|
|
194
|
+
meta?: DeliveryMeta;
|
|
195
|
+
}
|
|
196
|
+
/**
|
|
197
|
+
* 持久化存储端口(v3,统一语言词条「持久化存储端口」):内核与耐久面的唯一接口。
|
|
198
|
+
* 两个实现在两半区适配层(本包零 fs 零 pi 知识):runtime 半区 = 磁盘 outbox 文件
|
|
199
|
+
* (文本车道,波 4 接线);port 半区 = session entry 读写(通知车道,波 2 接线)。
|
|
200
|
+
*
|
|
201
|
+
* 内核行为契约(设计 §3.5.1):
|
|
202
|
+
* - persist:send 受理前调用(耐久承诺先于投递尝试,与账本 record 先于 deliver 同
|
|
203
|
+
* 律)。persist 抛错 = 承诺未落 → 内核拒收该条目(send 返回 persist-failed /
|
|
204
|
+
* sendChecked 同步 throw),不进入投递流程。
|
|
205
|
+
* - ack:终局 delivered / cancelled 后调用(写持久终局——已撤销消息的防复活凭据
|
|
206
|
+
* 同样在持久终局记录里)。ack 抛错不回滚状态机(终局事实已发生),warn 留痕。
|
|
207
|
+
* - discard:forget 失败条目的记录无痕移除(无终局无判重语义——区别于 ack,不进
|
|
208
|
+
* 终局记录,防重启后 loadUndelivered 把已弃条目当未投递复活)。
|
|
209
|
+
* - loadUndelivered:供重启 / 重放时重入队(装配方启动时取回未终局记录重新提交)。
|
|
210
|
+
* - loadTerminalIds:启动 / 重放时构建已完结 id 内存索引(判重第二级的播种源,
|
|
211
|
+
* 对齐账本 ackedIds 播种语义)。
|
|
212
|
+
* - hasTerminal:判重第三级「查持久记录」的按 id 查询(内存索引 miss 时的持久
|
|
213
|
+
* 兜底——宁可误吞不误重投)。实现方自负缓存(如读盘一次建 Set)。
|
|
214
|
+
*
|
|
215
|
+
* 同步签名纪律:persist / ack / discard / hasTerminal 在内核热路径上,同步语义使
|
|
216
|
+
* 「承诺先于尝试」构造性成立(调用返回 = 动作已落);loadUndelivered / loadTerminalIds
|
|
217
|
+
* 在启动 / 重放路径,装配方在装配内核前同步加载即可。异步介质由实现方内部缓冲,
|
|
218
|
+
* 不进端口签名。
|
|
219
|
+
*/
|
|
220
|
+
interface DeliveryStore {
|
|
221
|
+
/** 受理前写入记录(耐久承诺先于投递尝试)。抛错 = 承诺未写入,内核拒收。 */
|
|
222
|
+
persist(record: DeliveryStoreRecord): void;
|
|
223
|
+
/** 终局(delivered / cancelled)后写持久终局(从待投差集移除、进终局记录)。 */
|
|
224
|
+
ack(id: string): void;
|
|
225
|
+
/** forget 失败条目的记录无痕移除(无终局形态,区别于 ack)。 */
|
|
226
|
+
discard(id: string): void;
|
|
227
|
+
/** 未终局记录全量(重启 / 重放重入队的读取源)。 */
|
|
228
|
+
loadUndelivered(): readonly DeliveryStoreRecord[];
|
|
229
|
+
/** 已完结 id 全量(启动 / 重放时构建内存索引的播种源)。 */
|
|
230
|
+
loadTerminalIds(): readonly string[];
|
|
231
|
+
/** 持久终局按 id 查询(判重第三级)。 */
|
|
232
|
+
hasTerminal(id: string): boolean;
|
|
233
|
+
}
|
|
100
234
|
/** 内核配置(D4 策略默认值)。 */
|
|
101
235
|
interface DeliveryConfig {
|
|
102
236
|
/** 默认意图:'interrupt-at-turn-boundary'(D3)。 */
|
|
@@ -106,13 +240,6 @@ interface DeliveryConfig {
|
|
|
106
240
|
/** 合批依赖谓词(D4 must-fix #1)。true 时 send() 走合批窗口,false/缺省时立即投。
|
|
107
241
|
* 禁止用 isIdle 代替。 */
|
|
108
242
|
mergeHoldActive?: () => boolean;
|
|
109
|
-
/** 退避参数。 */
|
|
110
|
-
backoff?: {
|
|
111
|
-
ms: number;
|
|
112
|
-
max: number;
|
|
113
|
-
};
|
|
114
|
-
/** watch-dog 复核间隔(ms)。默认 30_000。 */
|
|
115
|
-
watchdogMs?: number;
|
|
116
243
|
/** 去重配置(条数 LRU)。 */
|
|
117
244
|
dedupe?: {
|
|
118
245
|
maxKeys: number;
|
|
@@ -133,10 +260,38 @@ interface DeliveryConfig {
|
|
|
133
260
|
* 锚定在受理时点,后移到送达会让 agent 工具调用阻塞至目标 session 当前 turn 结束
|
|
134
261
|
* (steer 类车道可达数十秒)。本注释即接口口径权威声明。
|
|
135
262
|
*
|
|
263
|
+
* outcome 'rejected' = 失败终局通知(ADR-0122 首败即停:send 失败一次即移除条目并
|
|
264
|
+
* 逐条回调;断连事件 failInFlight 转 failed 终态同样逐条回调)。重试决策归消费方,
|
|
265
|
+
* 内核不建自动重试。
|
|
266
|
+
*
|
|
136
267
|
* 异常契约:实现不应抛——回调异常由内核捕获并 warn 留痕,不影响条目状态机与
|
|
137
|
-
* 其余条目的回调(回调异常 ≠
|
|
268
|
+
* 其余条目的回调(回调异常 ≠ 投递失败,不进失败重试链)。
|
|
138
269
|
*/
|
|
139
270
|
onSettled?: (msg: DeliveryMessage, outcome: 'delivered' | 'rejected') => void;
|
|
271
|
+
/**
|
|
272
|
+
* 持久化存储端口(v3)。缺省 undefined = 无耐久面(v2 行为:纯内存条目集)——
|
|
273
|
+
* 既有 runtime 装配不传 = 逐字节不变(波 1 零行为变化锚)。提供时内核行为契约见
|
|
274
|
+
* DeliveryStore(受理前 persist / 终局 ack / forget 失败 discard / 构造期
|
|
275
|
+
* loadTerminalIds 播种判重索引)。
|
|
276
|
+
*/
|
|
277
|
+
store?: DeliveryStore;
|
|
278
|
+
/**
|
|
279
|
+
* 送达凭据检查函数(v3):'details-id' 凭据条目的送达判定承载(见 DeliveryProofCheck)。
|
|
280
|
+
* 缺省 undefined = details-id 条目无法经 confirmDeliveredByProof 确认(留守 in-flight)。
|
|
281
|
+
*/
|
|
282
|
+
proofCheck?: DeliveryProofCheck;
|
|
283
|
+
/**
|
|
284
|
+
* 出站运行模式(v3,受理即出站 / 队列持有的模式参数;设计 §3.5.6):
|
|
285
|
+
* - 'queue-hold'(缺省)= v2 队列持有行为:busy gate(isIdle + 在途内查)排队 +
|
|
286
|
+
* settled 边沿驱动 flush + 合批窗口出站。
|
|
287
|
+
* - 'on-accept' = 受理即出站:受理后立即 port.send(忙闲门禁旁路——承重前提 =
|
|
288
|
+
* 底层唯一队列忙时不拒,适配层保证);合批窗口不用(队列唯一化后无组批时机,
|
|
289
|
+
* 合批归 port 提交侧承载),config.mergeWindowMs>0 与提交方 merge:true 被忽略;
|
|
290
|
+
* in-flight 防重保留(内核自身并发保护,非忙闲门禁);retain 失败留守条目仍经
|
|
291
|
+
* settled 边沿 / 外部 flush 重投。
|
|
292
|
+
* runtime 装配不传 = v2 队列持有行为不变(波 1 只实现不接线)。
|
|
293
|
+
*/
|
|
294
|
+
dispatchMode?: 'queue-hold' | 'on-accept';
|
|
140
295
|
}
|
|
141
296
|
/** 投递句柄(createDelivery 返回)。 */
|
|
142
297
|
interface DeliveryHandle {
|
|
@@ -155,7 +310,7 @@ interface DeliveryHandle {
|
|
|
155
310
|
}
|
|
156
311
|
/**
|
|
157
312
|
* 投递车道(D1)。lane 在条目创建时由 runtime 内核适配层判定(读权威 occupancy
|
|
158
|
-
*
|
|
313
|
+
* 派生视图 + 内核自身队列态,单一判定源)后记录,此后不变。三档为投递车道语义名
|
|
159
314
|
* (设计 §1.1 术语表),非底层通道 API 词汇。
|
|
160
315
|
*/
|
|
161
316
|
type DeliveryLane = 'direct' | 'steer' | 'queued';
|
|
@@ -165,9 +320,10 @@ type DeliveryLane = 'direct' | 'steer' | 'queued';
|
|
|
165
320
|
* - in-flight → delivered:送达回执到达(message_end 标记命中 / 适配器确认,D2)
|
|
166
321
|
* - in-flight → queued:对账回收重投(滞留收回,D3;cancel 部分收回的其余条目同路径)
|
|
167
322
|
* - in-flight/queued → cancelled:用户撤销(delivery.cancel)
|
|
168
|
-
* - in-flight → failed
|
|
323
|
+
* - in-flight → failed:断连事件驱动的未确认终局(failInFlight,ADR-0122——pi 连接
|
|
324
|
+
* 断开时结果未知,显式失败交用户处置)
|
|
169
325
|
* - failed → queued:用户重试(resync 单条重报);failed → cancelled:用户移除
|
|
170
|
-
*
|
|
326
|
+
* 帧派生视图四态差异:cancelled 不进 session.delivery 帧(D5③),协议侧帧 state 无此值。
|
|
171
327
|
*/
|
|
172
328
|
type DeliveryEntryState = 'queued' | 'in-flight' | 'delivered' | 'failed' | 'cancelled';
|
|
173
329
|
/**
|
|
@@ -187,40 +343,48 @@ interface DeliveryEntry {
|
|
|
187
343
|
createdAt: number;
|
|
188
344
|
/** 最近一次状态迁移时间(epoch ms)。 */
|
|
189
345
|
updatedAt: number;
|
|
190
|
-
/** 已尝试投递次数(重试耗尽判定源:sendAttempts > backoff.max → failed,§3.4)。 */
|
|
191
|
-
sendAttempts: number;
|
|
192
346
|
/** 终态落定时间(epoch ms;delivered/failed/cancelled 时有值,tombstone 提取源)。 */
|
|
193
347
|
settledAt?: number;
|
|
194
348
|
}
|
|
195
349
|
/**
|
|
196
|
-
*
|
|
197
|
-
*
|
|
198
|
-
*
|
|
199
|
-
*
|
|
200
|
-
*
|
|
350
|
+
* 终局记录(v3):delivered 与 cancelled 的轻量元数据——条目离开系统的事实的内存
|
|
351
|
+
* 派生数据。v2 的 DeliveryTombstone 独立判重机制与类型随 v3 退役(它像独立机制只因没有
|
|
352
|
+
* 持久存储):判重统一为「在途条目 → 内存已完结 id 索引(store.loadTerminalIds 播种
|
|
353
|
+
* + 终局即时登记)→ 持久记录(store.hasTerminal)」三级(设计 §3.5.5),终态唯一
|
|
354
|
+
* 事实源 = 投递日志(DeliveryStore 终局记录);本类型只承载条目视图面——
|
|
355
|
+
* entriesFull().tombstones 视图字段与结构保持不变(双视图消费方零改动,波 1 零行为
|
|
356
|
+
* 变化锚),cancel 的 already-final 结果同样由它承载。
|
|
357
|
+
*
|
|
358
|
+
* 语义边界(pi1-disposition-chat-flow D1②):终局语义 = 「离开系统的事实」——
|
|
359
|
+
* handled 条目(pi 接管输入等受理即终局形态)复用送达确认原语写入,终态固定为
|
|
360
|
+
* delivered。state 联合仅两值不变。
|
|
201
361
|
*/
|
|
202
|
-
interface
|
|
362
|
+
interface DeliveryTerminalRecord {
|
|
203
363
|
id: string;
|
|
204
|
-
/**
|
|
364
|
+
/** 仅两终态(活跃态不产终局记录)。 */
|
|
205
365
|
state: Extract<DeliveryEntryState, 'delivered' | 'cancelled'>;
|
|
206
366
|
lane: DeliveryLane;
|
|
207
367
|
/** 终态落定时间(epoch ms)。 */
|
|
208
368
|
settledAt: number;
|
|
209
369
|
}
|
|
210
370
|
/**
|
|
211
|
-
* 全量视图(D9②):对账器与判重消费。活跃条目(完整字段)+
|
|
371
|
+
* 全量视图(D9②):对账器与判重消费。活跃条目(完整字段)+ 全部终局记录。
|
|
212
372
|
* 消费方:Reconciler 判别在途集(runtime registry 侧)、resync 判重、reattach 收养判定。
|
|
213
|
-
* 访问入口 = handle.entriesFull()(MF-1-13
|
|
373
|
+
* 访问入口 = handle.entriesFull()(MF-1-13 拆名:与派生视图分开命名,误用编译期可查)。
|
|
374
|
+
*
|
|
375
|
+
* tombstones 字段口径(v3):本 handle 生命周期内终局条目的完整记录(含 restart 前
|
|
376
|
+
* 条目的判重不依赖它——重启前的已完结 id 由 store.loadTerminalIds 播种进判重索引,
|
|
377
|
+
* 判重正确性不依赖本视图的全量性)。字段名与结构保持 v2 形态(双视图消费方零改动)。
|
|
214
378
|
*/
|
|
215
379
|
interface DeliveryEntriesFull {
|
|
216
380
|
active: readonly DeliveryEntry[];
|
|
217
|
-
tombstones: readonly
|
|
381
|
+
tombstones: readonly DeliveryTerminalRecord[];
|
|
218
382
|
}
|
|
219
383
|
/**
|
|
220
|
-
*
|
|
384
|
+
* 派生视图(D9②/D5③):session.delivery 帧装配用。活跃条目(queued/in-flight/failed)
|
|
221
385
|
* 全量 + delivered 最近 50 条完整条目;稳态体积有界 ≤ 50 + 活跃条目数。
|
|
222
386
|
* 装配(帧 DTO 转换)归 runtime transport 侧(u3a),内核只产出本视图。
|
|
223
|
-
* 访问入口 = handle.projection()
|
|
387
|
+
* 访问入口 = handle.projection();派生视图窗口恒为默认常量 50,无参数位(与全量视图
|
|
224
388
|
* entriesFull() 拆名为两个具名方法——双视图误用编译期即红,不靠注释纪律维持)。
|
|
225
389
|
*/
|
|
226
390
|
interface DeliveryEntriesProjection {
|
|
@@ -230,17 +394,17 @@ interface DeliveryEntriesProjection {
|
|
|
230
394
|
/**
|
|
231
395
|
* 投递所有权内核实现:createDelivery(v2)。
|
|
232
396
|
*
|
|
233
|
-
* 在 v1 投递循环(入队 → dedupe → 合批窗口 → busy gate → port.send →
|
|
234
|
-
*
|
|
235
|
-
*
|
|
236
|
-
*
|
|
397
|
+
* 在 v1 投递循环(入队 → dedupe → 合批窗口 → busy gate → port.send → settled 边沿
|
|
398
|
+
* 驱动)之上升级为条目制所有权内核(v2 设计批次 D9①②③⑤ / D5②③ / D3,单元 u1——
|
|
399
|
+
* 设计文档未入 git,裁决随本仓 commit 历史可溯)。零 pi 依赖不变:确认/回收由适配器(runtime
|
|
400
|
+
* registry)调 handle 方法驱动。
|
|
237
401
|
*
|
|
238
402
|
* 五态状态机(D9①,types.ts 迁移表)+ 本文件登记的两处实施扩展:
|
|
239
403
|
* - queued → in-flight:出站投递被受理(两阶段回执第一阶段,D2)
|
|
240
404
|
* - in-flight → delivered:confirmDelivered(送达回执,D2)
|
|
241
405
|
* - in-flight → queued:requeue(对账回收重投,D3)
|
|
242
406
|
* - queued/failed → cancelled:cancel(本地移除 + tombstone / 用户 × 移除)
|
|
243
|
-
* - in-flight → failed
|
|
407
|
+
* - in-flight → failed:断连事件驱动的未确认终局(failInFlight,ADR-0122)
|
|
244
408
|
* - failed → queued:requeue(用户重试/resync 单条重报)
|
|
245
409
|
* - [扩展①] queued → delivered:confirmDelivered 也接受 queued 态——服务 reattach
|
|
246
410
|
* 场景 rebuild 直确认重建(D3②:适配器扫描 transcript 判 delivered 后 send 重建
|
|
@@ -253,7 +417,14 @@ interface DeliveryEntriesProjection {
|
|
|
253
417
|
* 对已标记条目事实优先转 delivered(delivered 事实 > cancel 意图)。
|
|
254
418
|
* - [扩展③] confirmAccepted 受理登记(分段 port 实现用,dmg-r1-4):申报批内条目
|
|
255
419
|
* 已由底层通道受理——queued → in-flight + 出批 + checked waiter 受理口径 resolve。
|
|
256
|
-
* 合批分段中途失败时已登记段留守 in-flight
|
|
420
|
+
* 合批分段中途失败时已登记段留守 in-flight(等回执/对账),仅未受理段按失败处理。
|
|
421
|
+
*
|
|
422
|
+
* 失败语义(ADR-0122 首败即停,2026-10-05 用户裁决,backoff 自动重试链退役):
|
|
423
|
+
* port.send 失败(含 accepted:false)一次即收尾——checked 条目 reject + 从内核移除;
|
|
424
|
+
* 非 checked 条目 onSettled('rejected') 逐条显式上报 + 从内核移除。唯一例外:拒绝
|
|
425
|
+
* 回执为 deferred 形态(设计内等待,DeliveryDeferReason——如 port 合批提交窗 hold)
|
|
426
|
+
* 不计首败,条目留守等投递端下一边沿重提(onSendDeferred)。重试决策归消费方
|
|
427
|
+
* (人看页面通知、agent 收失败回执),内核只做忠实投递与事实上报。
|
|
257
428
|
*
|
|
258
429
|
* onSettled 记账口径(D9⑤ 升级):
|
|
259
430
|
* - 'delivered' = 送达口径:仅 confirmDelivered 驱动回调(受理只转 in-flight,
|
|
@@ -261,26 +432,64 @@ interface DeliveryEntriesProjection {
|
|
|
261
432
|
* confirmDelivered 路径同样成立——对每条消息各回调一次,msg 为该条原始消息
|
|
262
433
|
* (非 composed 合批消息),additive meta(notifyId 等)随原消息引用原样
|
|
263
434
|
* 透传到回调,内核不读不改。
|
|
264
|
-
* - 'rejected' =
|
|
435
|
+
* - 'rejected' = 失败终局通知(send 首败移除 / failInFlight 断连未确认,仅通知)。
|
|
265
436
|
* - 显式例外:sendChecked 的同步 settle 维持受理口径不变——promise 在 port.send
|
|
266
437
|
* 受理成功时点 resolve(session_manager send 的 {queued:true} 契约锚,D9⑤ 锁定),
|
|
267
|
-
* 与 onSettled
|
|
438
|
+
* 与 onSettled 送达口径正交。补充受理口径的第二 settle 路径(F1-11):条目在
|
|
439
|
+
* port.send promise settle 之前已终局 delivered 时(handled 终局路径——适配器在
|
|
440
|
+
* port.send 实现内部先 confirmDelivered 再让 promise settle,finalizeEntry 同步
|
|
441
|
+
* 摘批后 onSendOk 的 settleChecked 只 settle 当前批成员),受理确认随 confirmDelivered
|
|
442
|
+
* 同步了结(resolveWaitersOf)——契约「受理成功即 resolve」对命令条目成立,
|
|
443
|
+
* waiter 不因 settle 时序倒挂滞留。
|
|
268
444
|
*
|
|
269
|
-
* 双视图(D9②/D5③):entriesFull() = 全量视图(活跃条目 +
|
|
270
|
-
* 判重消费);projection() =
|
|
271
|
-
* cancelled
|
|
272
|
-
* =
|
|
445
|
+
* 双视图(D9②/D5③):entriesFull() = 全量视图(活跃条目 + 全量终局记录,对账/
|
|
446
|
+
* 判重消费);projection() = 派生视图(活跃全量 + delivered 最近 50 条完整条目,
|
|
447
|
+
* cancelled 不进派生视图;窗口恒为默认常量)。delivered 完整条目留存上限
|
|
448
|
+
* = 默认派生视图窗口 50(终局记录全量保留不受限——判重正确性不依赖展示窗口)。
|
|
273
449
|
*
|
|
274
|
-
*
|
|
275
|
-
*
|
|
276
|
-
*
|
|
277
|
-
* id
|
|
450
|
+
* 判重(v3 统一:在途条目 → 内存已完结 id 索引 → 持久记录,设计 unified-delivery
|
|
451
|
+
* §3.5.5):resync 重报/重建以显式 id 查三级判重链去重(send/sendChecked 的 opts.id
|
|
452
|
+
* 命中即吞)。一级 = 活跃集(activeIndex,含 queued/in-flight/failed);二级 = 内存
|
|
453
|
+
* 已完结 id 索引(terminalIndex:store.loadTerminalIds 启动播种 + 终局即时登记);
|
|
454
|
+
* 三级 = 持久记录(store.hasTerminal,索引 miss 的持久兜底)。v2 的 tombstone 独立
|
|
455
|
+
* 判重机制与 DeliveryTombstone 类型退役;已撤销消息的防复活凭据 = 撤销时写持久
|
|
456
|
+
* 终局(store.ack)。条目 id = opts.id ?? 内部生成;未传 id 的消息不参与幂等判重
|
|
457
|
+
* (v1「无 dedupe 配置不去重」语义保持)。
|
|
278
458
|
*
|
|
279
|
-
*
|
|
280
|
-
*
|
|
281
|
-
*
|
|
282
|
-
*
|
|
283
|
-
*
|
|
459
|
+
* v3 增量(波 1 纯增量零行为变化——装配不传新参数 = v2 行为逐字节不变):
|
|
460
|
+
* - DeliveryStore 端口(config.store):send/sendChecked 受理前先 persist(耐久承诺
|
|
461
|
+
* 先于投递尝试;persist 抛错 = 承诺未落 → 拒收 rejected('persist-failed'),条目
|
|
462
|
+
* 回滚不入队不投递);终局 delivered / cancelled 后 ack(finalizeEntry / drain);
|
|
463
|
+
* forget 失败条目 discard(无终局语义的记录无痕移除,防重启复活)。ack / 判重
|
|
464
|
+
* 查询的 store 异常降级 warn 留痕、状态机照常(终局事实已发生 / 探测降级同
|
|
465
|
+
* safeIsIdle 型);persist 异常 fail-fast 拒收(承诺语义)。
|
|
466
|
+
* - 送达凭据三档(receiptAnchor):'details-id' 与 'marker' / 'acceptance' 并列
|
|
467
|
+
* (ADR-0074 词条扩展)。details-id 条目受理后维持 in-flight 等回执(同 marker);
|
|
468
|
+
* 判定逻辑以可注入凭据检查函数(config.proofCheck)承载,调用点 =
|
|
469
|
+
* handle.confirmDeliveredByProof(id)——装配方在回执证据到达时调用,内核按条目
|
|
470
|
+
* 凭据档位分派(非 details-id 条目一律拒绝,防误确认)。
|
|
471
|
+
* - 失败保留策略(opts.onFailure:'forget' | 'retain',缺省 custom=retain /
|
|
472
|
+
* text=forget):retain 条目首败后内存态转回 queued 留守(下一 settled 边沿 /
|
|
473
|
+
* 外部 flush 重入队,事件驱动无定时器;失败轮不主动重投——防 idle 同步失败循环),
|
|
474
|
+
* store 记录保留(重启经 loadUndelivered 重入队);forget 条目维持现状首败即停。
|
|
475
|
+
* sendChecked 挂起条目恒 forget(同步失败回执契约与 retain 重投矛盾,显式申报
|
|
476
|
+
* retain 按 forget 处置 + 一次性 warn)。
|
|
477
|
+
* - 受理即出站模式(config.dispatchMode: 'on-accept'):忙闲门禁旁路(受理后立即
|
|
478
|
+
* port.send,承重前提 = 底层唯一队列忙时不拒)+ 合批窗口不用(队列唯一化后无
|
|
479
|
+
* 组批时机,合批归 port 提交侧);in-flight 防重保留。生产装配恒为 'on-accept'
|
|
480
|
+
* (runtime session-delivery-registry 与 extensions/shared/delivery-port 均显式
|
|
481
|
+
* 传参);缺省 'queue-hold' = v2 队列持有行为(busy gate 排队 + settled 边沿
|
|
482
|
+
* flush + 合批窗口),现为仅本包测试装配消费的非生产形态(零行为变化锚)——
|
|
483
|
+
* 其代码路径物理删除(含缺省值翻转 on-accept 与既有测试显式传参)留待后续
|
|
484
|
+
* 清理波(登记:docs/todo/unified-delivery-residuals.md #1)。
|
|
485
|
+
*
|
|
486
|
+
* 其余 v1/v2 机制逐条保持:busy gate(isIdle + 内核在途内查双条件——hasPendingMessages
|
|
487
|
+
* 自镜像四件套已按 msg-pipeline-debloat D2 拆除,busy 判定内查 active 表)、合批窗口、
|
|
488
|
+
* settled 边沿驱动、dedupe LRU、dispose 语义(丢弃不触发 onSettled、checked 挂起
|
|
489
|
+
* reject)。[ADR-0122 退役登记] backoff 自动重试链、port.send settle 挂死兜底
|
|
490
|
+
* (60s)、watchdog 30s 定时复核、无订阅装配 busy 退避轮询——时间平抑/补偿类机制
|
|
491
|
+
* 全部删除,busy 等待归 settled 边沿与外部触发。depth() 口径保持 v1 = 尚未受理的
|
|
492
|
+
* 消息数(受理转 in-flight 后不计;「在途未确认」数经 entriesFull() 全量视图消费)。
|
|
284
493
|
*/
|
|
285
494
|
|
|
286
495
|
/**
|
|
@@ -308,28 +517,59 @@ interface DeliverySubmitOptions {
|
|
|
308
517
|
/** 投递车道(D1):适配器判定后传入记录;缺省 'direct'(既有调用方语义)。 */
|
|
309
518
|
lane?: DeliveryLane;
|
|
310
519
|
/**
|
|
311
|
-
* 送达回执锚申报(msg-pipeline-debloat D1
|
|
520
|
+
* 送达回执锚申报(msg-pipeline-debloat D1 申报制;v3 三档,ADR-0074 词条扩展):
|
|
521
|
+
* 提交方声明本条目的送达判定锚。
|
|
312
522
|
* - 'marker'(缺省)= 出站文本尾附裸标记、送达以 message_end 回执命中为准
|
|
313
523
|
* (用户消息主通路语义);受理后维持 in-flight 等回执。
|
|
314
524
|
* - 'acceptance' = 无回执锚点条目(agent 通路:完成回流 / session_manager send /
|
|
315
525
|
* notifier 通知——出站文本原样不改),port.send 受理成功即落 delivered 终态
|
|
316
526
|
* (「受理 = 送达」是唯一可判事实,v1 记账口径 / D9⑤ 显式例外)。
|
|
527
|
+
* - 'details-id'(v3)= 通知条目凭据(deliveryId 由注入端写入 details,业务字段
|
|
528
|
+
* 保持原样):送达判定 = 对话记录中出现 details 携带本条目 id 的通知条目;受理
|
|
529
|
+
* 后维持 in-flight 等回执(同 'marker'),终局由装配方调 handle.confirmDeliveredByProof
|
|
530
|
+
* 驱动(判定逻辑经 config.proofCheck 注入,内核零 pi 知识)。
|
|
317
531
|
*
|
|
318
532
|
* 缺省 'marker' 是刻意的保守取向:无标记提交点漏申报的代价 = 复发已知死锁形态
|
|
319
533
|
* (in-flight 永挂、gate 恒关,有全链诊断可查,可见);误申报 'acceptance' 的代价
|
|
320
534
|
* = 静默丢送达确认语义(更隐蔽)。两害取可见者。新增无标记投递来源必须显式申报
|
|
321
|
-
* 'acceptance' 并登记来源清单(ADR-0074 词条)。
|
|
535
|
+
* 'acceptance' 或 'details-id' 并登记来源清单(ADR-0074 词条)。
|
|
536
|
+
*/
|
|
537
|
+
receiptAnchor?: DeliveryReceiptAnchor;
|
|
538
|
+
/**
|
|
539
|
+
* 失败保留策略(v3):port.send 首败时本条目的处置(ADR-0122 无内核自动重试不变
|
|
540
|
+
* ——retain 不是重试机制,是失败条目的留存策略)。
|
|
541
|
+
* - 'forget' = 首败即停 + 显式上报后移除(runtime 文本车道现状;store 已 persist
|
|
542
|
+
* 的记录同步 discard)。
|
|
543
|
+
* - 'retain' = 失败条目留守:内存态转回 queued 等下一 settled 边沿 / 外部 flush
|
|
544
|
+
* 重入队;store 记录保留(重启经 loadUndelivered 重入队)。
|
|
545
|
+
* 缺省按载荷类型:custom = 'retain' / text = 'forget'(§3.4 缺省值表:交互在席 vs
|
|
546
|
+
* 无人值守)。sendChecked 挂起条目恒 forget(同步失败回执契约与 retain 重投矛盾;
|
|
547
|
+
* 显式申报 retain 时按 forget 处置 + 一次性 warn)。
|
|
322
548
|
*/
|
|
323
|
-
|
|
549
|
+
onFailure?: DeliveryFailurePolicy;
|
|
550
|
+
/**
|
|
551
|
+
* 无标记条目标志(pi1-disposition-chat-flow D14⑥ 起源;技能/芯片通路并入后为
|
|
552
|
+
* 「出站不注标条目」统一标志——命令 / 手打 skill 与 prompt 模板 / `<taiji-skill>`
|
|
553
|
+
* 芯片注入文本)。true = 条目出站文本不带投递标记、终局凭据不走 message_end
|
|
554
|
+
* 标记回执(pi disposition 响应 / 断连事件驱动,适配器职责)。内核两处行为:
|
|
555
|
+
* - 组批隔离:与普通条目合批会被 buildBatchPayload 以 BATCH_SEP 拼接,pi 命令解析
|
|
556
|
+
* 与适配器全文身份匹配对拼接文本必然失效——批内含无标记条目时只取队首一条单独
|
|
557
|
+
* 成批(isolateUnmarkedEntry)。
|
|
558
|
+
* - 首败即停(ADR-0122 统一语义后不再差异化,全条目同形态)。
|
|
559
|
+
* 'acceptance' 锚条目(agent 通路)出站同样无标记但走合批、以受理即终态,不置
|
|
560
|
+
* 本标志。
|
|
561
|
+
*/
|
|
562
|
+
unmarked?: boolean;
|
|
324
563
|
}
|
|
325
564
|
/**
|
|
326
|
-
* send() 受理结果(b31-D6
|
|
565
|
+
* send() 受理结果(b31-D6:失败双表面窄口收尾)。调用方忽略返回值不受影响
|
|
327
566
|
* (v1 句柄面 send 仍声明 void,结构兼容)。三分口径:
|
|
328
567
|
* - accepted:已入队并进入投递流程(id = 条目 id,供调用方对账/判重锚定)
|
|
329
568
|
* - swallowed:幂等吞(already-seen = 显式 id 命中活跃集/tombstone;duplicate-content
|
|
330
569
|
* = dedupeKey 内容级去重命中)——设计内去重,非失败
|
|
331
570
|
* - rejected:拒收未入队(disposed = 句柄已销毁;unsupported-payload = 通路能力
|
|
332
|
-
* 不含该 payload kind
|
|
571
|
+
* 不含该 payload kind;persist-failed = store 受理前写入记录失败——耐久承诺未写入,
|
|
572
|
+
* v3 仅 config.store 装配时可达)——仅 warn 单表面 + 本返回值,无终态无 onSettled
|
|
333
573
|
*
|
|
334
574
|
* void 兼容口径(与 SendReceipt 的 U2 扩展位同构):接口返回类型含 void——
|
|
335
575
|
* v1 → v2 测试替身适配(runtime asHandleV2 直转发 v1 handle.send)返回 void =
|
|
@@ -343,7 +583,7 @@ type DeliverySendResult = {
|
|
|
343
583
|
reason: 'already-seen' | 'duplicate-content';
|
|
344
584
|
} | {
|
|
345
585
|
kind: 'rejected';
|
|
346
|
-
reason: 'disposed' | 'unsupported-payload';
|
|
586
|
+
reason: 'disposed' | 'unsupported-payload' | 'persist-failed';
|
|
347
587
|
};
|
|
348
588
|
/** v2 句柄:v1 DeliveryHandle 的超集(结构兼容,既有消费者零改动)。 */
|
|
349
589
|
interface DeliveryHandleV2 extends DeliveryHandle {
|
|
@@ -352,7 +592,7 @@ interface DeliveryHandleV2 extends DeliveryHandle {
|
|
|
352
592
|
sendChecked(msg: DeliveryMessage, opts?: DeliverySubmitOptions): Promise<void>;
|
|
353
593
|
/** 全量视图(D9②):活跃条目(完整字段)+ 全部 tombstone。快照(防御性拷贝)。 */
|
|
354
594
|
entriesFull(): DeliveryEntriesFull;
|
|
355
|
-
/**
|
|
595
|
+
/** 派生视图(D9②/D5③):活跃全量 + delivered 最近 50 条完整条目,cancelled 不进派生视图。 */
|
|
356
596
|
projection(): DeliveryEntriesProjection;
|
|
357
597
|
/**
|
|
358
598
|
* 变更订阅(state topic 装配用):任何条目创建/迁移/终态触发。返回退订函数。
|
|
@@ -365,14 +605,32 @@ interface DeliveryHandleV2 extends DeliveryHandle {
|
|
|
365
605
|
* @returns 是否发生了状态转移(诊断/测试用)。
|
|
366
606
|
*/
|
|
367
607
|
confirmDelivered(id: string): boolean;
|
|
608
|
+
/**
|
|
609
|
+
* 凭据检查驱动的送达确认(v3,'details-id' 凭据调用点):仅对申报 'details-id'
|
|
610
|
+
* 的条目生效——调 config.proofCheck(id)(对话记录中出现 details 携带本条目 id 的
|
|
611
|
+
* 通知条目的判定,由装配方注入实现),true → confirmDelivered(终局化 + onSettled
|
|
612
|
+
* 回调),false → 留守。非 details-id 条目(marker / acceptance 有各自判定通路)、
|
|
613
|
+
* 未注入 proofCheck、proofCheck 抛错(降级 warn 视为未送达,同 safeIsIdle 型)时
|
|
614
|
+
* 一律返回 false 不转移。装配方在回执证据到达(message_end 等)或重放扫描时对本
|
|
615
|
+
* 批候选条目调用,内核保证凭据档位分派(误确认在结构上不可达)。
|
|
616
|
+
* 幂等:未知/已终态 no-op。@returns 是否发生了状态转移。
|
|
617
|
+
*/
|
|
618
|
+
confirmDeliveredByProof(id: string): boolean;
|
|
368
619
|
/**
|
|
369
620
|
* 受理登记([扩展③],dmg-r1-4):分段 port 实现申报「本条目已由底层通道受理」。
|
|
370
621
|
* 只接受当前出站批内的 queued 条目(受理事实锚定于在途投递);生效即 queued →
|
|
371
622
|
* in-flight 转移 + 出批 + checked waiter 按受理口径 resolve(D9⑤)。幂等:非批内/
|
|
372
623
|
* 已转移/未知 id 返回 false。合批分段中途失败时已登记段留守 in-flight(等回执/对账),
|
|
373
|
-
*
|
|
624
|
+
* 仅未受理段按失败处理——已进底层通道的文本不再误报「投递失败」。
|
|
374
625
|
*/
|
|
375
626
|
confirmAccepted(id: string): boolean;
|
|
627
|
+
/**
|
|
628
|
+
* 断连事件驱动的显式失败终局(ADR-0122 命令终局事件化的断连路径):把全部 in-flight
|
|
629
|
+
* 条目批量转 failed 终态(留守活跃集等用户处置:resync 重试 / cancel 移除),
|
|
630
|
+
* 逐条 onSettled('rejected') 显式上报。queued 条目不触碰(未触达底层通道,随队列
|
|
631
|
+
* 存活,重连后照常投递)。幂等:无 in-flight 条目返回 0。@returns 终态化条数。
|
|
632
|
+
*/
|
|
633
|
+
failInFlight(reason: string): number;
|
|
376
634
|
/**
|
|
377
635
|
* 回收重置 queued 至队首(保持 ids 相对序,D3 own 处置/failed 重试)。
|
|
378
636
|
* 只接受 in-flight/failed;queued 幂等跳过(已在队列);cancelled/delivered
|
|
@@ -396,7 +654,7 @@ type DeliveryCancelResult = {
|
|
|
396
654
|
entry: DeliveryEntry;
|
|
397
655
|
} | {
|
|
398
656
|
kind: 'already-final';
|
|
399
|
-
tombstone:
|
|
657
|
+
tombstone: DeliveryTerminalRecord;
|
|
400
658
|
} | {
|
|
401
659
|
kind: 'not-found';
|
|
402
660
|
};
|
|
@@ -426,7 +684,7 @@ declare function createDelivery(port: DeliveryPort, config?: DeliveryConfigWithW
|
|
|
426
684
|
* 产生点(delivery.ts):cancel 终结条目(queued/failed 本地终结 + in-flight 收回确认)
|
|
427
685
|
* 与 drain 全量回收时的 waiter reject。语义:文本已回草稿(V9/V11),条目已被内核
|
|
428
686
|
* 终结——不是投递失败,消费方(registry dispose 错误分级)据 instanceof 判别后
|
|
429
|
-
*
|
|
687
|
+
* 只记日志、不进用户可见错误范围。
|
|
430
688
|
*
|
|
431
689
|
* 结构化字段(原文案契约的语义信息转字段,文案漂移不再击穿判别):
|
|
432
690
|
* - kind:回收方式。'cancelled' = cancel(id) 单条回收;'drained' = drain() 全量回收。
|
|
@@ -441,4 +699,59 @@ declare class DeliveryReclaimError extends Error {
|
|
|
441
699
|
constructor(kind: 'cancelled' | 'drained', entryId?: string);
|
|
442
700
|
}
|
|
443
701
|
|
|
444
|
-
|
|
702
|
+
/**
|
|
703
|
+
* 磁盘 outbox —— DeliveryStore 的 runtime 半区实现(统一消息投递设计 §3.5.1 / §3.8
|
|
704
|
+
* 文本行,波 4;关闭 ADR-0074「outbox 不落盘」代价)。
|
|
705
|
+
*
|
|
706
|
+
* 形态:JSONL 追加文件,每行一个 JSON 对象(`t` 字段判别行型),单调累积——
|
|
707
|
+
* - `{"t":"record","r":<DeliveryStoreRecord>}`:受理前写入记录(耐久承诺先于投递尝试);
|
|
708
|
+
* - `{"t":"ack","id":...}`:终局(delivered / cancelled 同形,判重只看 id)——终局行
|
|
709
|
+
* 保留是判重依据(已撤销消息的防复活凭据同样在此),**单调累积、不实现清理通道**;
|
|
710
|
+
* - `{"t":"discard","id":...}`:forget 失败条目的记录移除(无终局无判重语义,区别于
|
|
711
|
+
* ack——loadUndelivered 跳过、hasTerminal 为假,防重启后被当未投递复活);
|
|
712
|
+
* - `{"t":"meta","id":...,"segments":...}`:segments 快照补记(runtime 侧撤销编排的
|
|
713
|
+
* 回填通道——重启重放后撤销仍返回原始 segments)。
|
|
714
|
+
*
|
|
715
|
+
* 读取 = 全量行序重放(后行覆盖前行):record 建记录 / ack 进终局集 / discard 进弃置
|
|
716
|
+
* 集 / meta 并入记录 meta。同 id 先 discard 后 record = 记录复活(新承诺覆盖弃置);
|
|
717
|
+
* 同 id 先 ack 后 record = 判重保持(终局集不撤销——宁可误吞不误重投,与内核
|
|
718
|
+
* store.hasTerminal 注释口径一致)。
|
|
719
|
+
*
|
|
720
|
+
* 本文件零 node:fs 依赖:全部 fs 操作经 DiskStoreFs 窄接口注入(内核包零 fs 知识纪律,
|
|
721
|
+
* 设计 §3.5.1「两个实现在两半区适配层」);目录与文件路径由装配方(runtime 侧)动态
|
|
722
|
+
* 推导后以字符串传入。崩溃写入的中途半行由读取容错覆盖(JSON.parse 失败 warn 跳过)
|
|
723
|
+
* ——最坏丢一行 = 最坏多投一次,与「必达优先于去重」语义一致,不需要原子替换协议。
|
|
724
|
+
*/
|
|
725
|
+
|
|
726
|
+
/** fs 窄接口(注入点;生产 = node:fs 适配,测试 = 内存替身)。 */
|
|
727
|
+
interface DiskStoreFs {
|
|
728
|
+
existsSync(path: string): boolean;
|
|
729
|
+
mkdirSync(path: string, opts: {
|
|
730
|
+
recursive: true;
|
|
731
|
+
}): unknown;
|
|
732
|
+
readFileSync(path: string, encoding: 'utf8'): string;
|
|
733
|
+
appendFileSync(path: string, data: string): void;
|
|
734
|
+
}
|
|
735
|
+
interface DiskDeliveryStoreDeps {
|
|
736
|
+
/** fs 操作面(注入;内核零 node:fs import)。 */
|
|
737
|
+
fs: DiskStoreFs;
|
|
738
|
+
/** outbox 目录(绝对路径,装配方动态推导;首次写入前惰性创建)。 */
|
|
739
|
+
dir: string;
|
|
740
|
+
/** outbox 文件(`<dir>/<sessionId 编码>.jsonl`,装配方拼装)。 */
|
|
741
|
+
file: string;
|
|
742
|
+
/** 读取容错与写失败的留痕出口;缺省 console.warn。 */
|
|
743
|
+
log?: (message: string, err?: unknown) => void;
|
|
744
|
+
}
|
|
745
|
+
/** 磁盘 outbox store:DeliveryStore 契约 + segments 补记扩展(registry 撤销回填通道)。 */
|
|
746
|
+
interface DiskDeliveryStore extends DeliveryStore {
|
|
747
|
+
/**
|
|
748
|
+
* segments 快照补记(实现侧扩展,**非 DeliveryStore 端口成员**——内核不感知):
|
|
749
|
+
* 把提交侧 attachSegments 登记的原始快照追加为 meta 行,随记录跨重启存活;
|
|
750
|
+
* 重放侧经 loadUndelivered 的 record.meta.segments 取回。同 id 多次补记按行序
|
|
751
|
+
* 后写覆盖先写。
|
|
752
|
+
*/
|
|
753
|
+
attachSegments(id: string, segments: readonly unknown[]): void;
|
|
754
|
+
}
|
|
755
|
+
declare function createDiskDeliveryStore(deps: DiskDeliveryStoreDeps): DiskDeliveryStore;
|
|
756
|
+
|
|
757
|
+
export { type CustomPayload, type DeliveryCancelResult, type DeliveryConfig, type DeliveryConfigWithWarn, type DeliveryDeferReason, type DeliveryEntriesFull, type DeliveryEntriesProjection, type DeliveryEntry, type DeliveryEntryState, type DeliveryFailurePolicy, type DeliveryHandle, type DeliveryHandleV2, type DeliveryIntent, type DeliveryLane, type DeliveryMessage, type DeliveryMeta, type DeliveryPayload, type DeliveryPort, type DeliveryProofCheck, type DeliveryReceiptAnchor, DeliveryReclaimError, type DeliverySendResult, type DeliveryStore, type DeliveryStoreRecord, type DeliverySubmitOptions, type DeliveryTerminalRecord, type DeliveryWarnSink, type DiskDeliveryStore, type DiskDeliveryStoreDeps, type DiskStoreFs, type DrainResult, type SendReceipt, type TextPayload, createDelivery, createDiskDeliveryStore };
|