1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
use Effect;
// ─── EffectSink ──────────────────────────────────────────────────────────────
/// Effect 输出缓冲(写入端)。
///
/// 由 `ExecutionShell` 持有,跨 `step()` 调用复用(`clear` 而非 `drop+new`),
/// 实现热路径零分配(轴①)。
///
/// 模块通过 `&mut EffectSink` 参数写入 effect,driver 通过 `as_slice()` 读取。
/// 原草稿中 `EffectBuffer` / `EffectBatch<'_>` / `EffectSink` 三个名字统一为此类型
/// (审查意见2 S4 落实)。