0.10.0：write-precompute（写出前延迟物化）¶

版本锚定：Scalim 0.10.0。
只用于最终写出、不被其它派生 / LoadRef 消费的派生字段，引擎默认改为写出前再算——零新 YAML、无总开关、无需改脚本。

架构语义：arch.md §5.3。
版本亮点总览：0.10.0 重点特性。

姊妹能力（同 deps 行内融合）：rowwise-fusion-0.10。
姊妹能力（同 LoadRef 分片并行）：lookup-chunk-parallel-0.10。

测量摘要日期：。

数据文件（可复用）：assets/data/write-precompute-0.10.json。¶

1. 一图看懂：早算 vs 晚算¶

flowchart LR
  subgraph eager["≤0.9.x 典型路径"]
    E1[Load / deps] --> E2[Compute 段<br/>算完全部派生]
    E2 --> E3[BatchContext<br/>驻留 N×M]
    E3 --> E4[写出]
  end

  subgraph late["0.10.0 write-precompute"]
    L1[Load / deps] --> L2[Compute 段<br/>跳过 late_fields]
    L2 --> L3[写出前按行/列<br/>现场物化]
    L3 --> L4[写出<br/>派生 scratch 可释]
  end

  eager -.->|同一 calculator 签名<br/>同一黄金值| late

flowchart TD
  F[派生字段 f] --> Q1{仅被 target 写出消费?}
  Q1 -->|否：被其它派生 / LoadRef / key 用| Keep[仍在 Compute 段早算]
  Q1 -->|是| Q2{依赖边可拓扑?}
  Q2 -->|是| Late[进入 late_fields]
  Q2 -->|否| Keep
  Late --> Row[行 sink：按行物化<br/>默认不落 BatchContext]
  Late --> Col[列 sink：写前列物化<br/>链前缀暂留到依赖写出]

2. 主卖点数字（报表形状 workload）¶

合成计数 shape（无业务字段名）：薄 call_by、内存 sink、全表黄金；同一 plan 仅切 late_fields（eager=清空 vs auto late）。

2.1 加速比（D3）¶

行路径（青绿）约 ~1.47×–1.60×（Python 3.6.15 全量对拍）；列路径（蓝）约 ~1.07×–1.11×。

2.2 行路径墙钟：早算 vs 晚算（D3）¶

2.3 明细表¶

测量环境：Python 3.6.15，runs=1，合成 workload。数据：assets/data/write-precompute-0.10.json。

读法

• 「更快」来自少扛中间结构与调度税，不是少算业务函数。
• 派生若大量被下游消费 → 不会进 late_fields → 行为与旧版一致。

3. 微扫参：仅写出派生数 M↑ → 收益↑¶

N=4000，薄 calc，只变写出派生字段数 M。

4. 驻留：5 / 15 / 30 GiB 规模矩阵¶

校准 ~64 B/derived-cell（eager 全驻留模型）。下图横轴为估 eager GiB，纵轴为 峰值派生格比（log）；悬停看 case。

flowchart LR
  subgraph hold["Eager 全驻留模型"]
    H1["峰值 ≈ rows × derived"]
  end
  subgraph wp["0.10 late 峰值"]
    R["行：≈ 一行 derived"]
    C["列 flat：≈ 一列 rows"]
    CC["列 chain：≈ rows × chain<br/>（前缀暂留）"]
  end
  hold --> wp

4.1 代表档位（摘录）¶

完整 18 case 见 JSON 的 residency_matrix。

4.2 ~5 GiB 真跑引擎（discard sink + late）¶

6/6 golden_ok。估 eager 全驻留 ~5 GiB，实测进程峰值 RSS 远低于该量级（写出校验不攒全表 + late 不预热整批）。

5. 谁受益 / 谁不变¶

flowchart TD
  Start[你的 demand] --> A{大量字段只进最终文件?}
  A -->|是，行写出| WinR[高概率：墙钟 ~2× 量级]
  A -->|是，列写出| WinC[墙钟温和；驻留更明显]
  A -->|否，派生互相喂| Same[通常不进 late_fields<br/>行为同旧版]
  Start --> B{依赖 $ctx / 被 LoadRef 消费?}
  B -->|是| Same

6. 对二次开发 / 观测¶

• 订阅 FIELD_COMPUTE：用 meta["scalim_compute_phase"] 区分 operator 与 write_precompute。
• 勿假设「Compute 段结束后上下文已有全部写出派生」。
• Excel / openpyxl 主路径不是本版主优化；宽表列峰值另见 文件写出布局。

7. 复现与证据索引¶

复现脚本（已入库）：docs/doc/releases/repro/c10-workload-shapes/run_ab.py / c20-workload-shapes/run_ab.py（本页 workload 同款 A/B）。

# workload A/B（生成图表同款数字；仓库根目录运行）
uv run python docs/doc/releases/repro/c10-workload-shapes/run_ab.py --runs 3
# Python 3.6 运行时边界：
PYTHONPATH=src .tmp/venvs/py36-scalim/bin/python \
  docs/doc/releases/repro/c10-workload-shapes/run_ab.py --runs 1

# 微扫参
uv run python llmanspec/changes/archive/2026-08-01-c10-write-precompute-derived-fields/mvp/repro_row_late_vs_eager.py \
  --rows 4000 --derived-fields 40 --runs 3

# 驻留矩阵（仿真）
uv run python llmanspec/changes/archive/2026-08-01-c10-write-precompute-derived-fields/mvp/run_scale_matrix.py \
  --scales smoke,small,medium,large --sim-only

8. GitHub Release 引用¶

发 0.10.0 时，Release 正文直接指向本页即可，例如：

## Highlights
- write-precompute（默认）：只写出派生字段延后到写出前物化。详述与图表见文档：
  docs/doc/releases/write-precompute-0.10.md

（站点发布后换成站点 URL 对应路径。）

9. 同版本后续（非本页范围）¶

• c20 行内融合：减框架税，不减 calc_calls。
• c30 LoadRef chunk 并行：adaptive 下 opt-in。