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 は versioned raw event stream、MAREMARK_HOTSPOT は paired layer-overhead analysis です。結果は current tree、toolchain、target に依存します。hotspot の発見には使えますが、universal crossover や release-wide latency bound は示しません。
再現
just bench decimal --target native
just bench all --target nativeall-suite run は binary、GDA、interval kernel も測定します。artifact を比較するには target、toolchain、workload、benchmark protocol を固定してください。
意味論ゲート
benchmark equivalence check だけでは十分ではありません。optimized decimal path は coefficient differential test と pinned IEEE decimal/GDA conformance gate も通過してから受け入れます。Conformance、Design、0.7.1 Performance And Semantic Auditを参照してください。