decimal 性能

测量边界

just bench decimal --target native 运行 src/bench/decimal 中当前的 Maremark 基准套件，并写入 .tmp/bench/decimal.jsonl 及其分析文件。这是一个可复现的测量产物，而不是不可变的发布门槛。当前分支没有签入的十进制性能清单或阈值流程；测量使用下面的 Maremark 套件。

工作负载

该套件在 9、34、128 和 512 位十进制数字下测量加法、乘法和除法。每个单元格比较 BigInt 系数基线（kernel/coefficient）、contextual Decimal 路径（core/decimal，即 *_ctx 运算）以及完整的 DecimalChecked 路径（full/checked），并用精确的 BigInt 参考值验证每个输出。输入构造和期望值构造都不计入计时部分。

读取结果

MAREMARK_JSONL 是带版本的原始事件流，MAREMARK_HOTSPOT 是成对的分层开销分析。结果只描述当前 tree、toolchain 和 target，可用于定位 hotspot，但不能证明通用 crossover 或 release-wide latency bound。

复现

just bench decimal --target native
just bench all --target native

all-suite 运行也覆盖 binary、GDA 和 interval kernel。只有在 target、toolchain、workload 和 benchmark protocol 相同的情况下，artifact 才适合比较。

语义门禁

benchmark equivalence check 是必要条件，但不是充分条件。优化后的 decimal 路径还必须通过 coefficient differential test 以及固定的 IEEE decimal、GDA conformance gate，才能被接受。参见一致性说明、设计和0.7.1 性能与语义审计。