回収後も完全な組は36 / 500
全体の改善はまだ判断できません

対象と評価量

既使用の500 train/test pair（W/A/V/S/Jの固定truth各100組、各record N=4096）を、保存された既知平均除去済みraw residualとgeometryのまま再解析する。新しいデータ生成、平均・位相の再推定、残差の再正規化は行わない。

5モデルのpriorは各1/5。shape priorはAの[-0.8,0.8]上の一様分布、Vの半径1.5円板上の面積一様分布、S/Jのα∈[0,1)上の一様分布で固定する。共通scale測度はdE/Eとし、train/testはscaleとshapeを共有するが、record間の潜在変数とAR初期状態は独立とする。

train-onlyの方向evidenceからモデル重みを求め、train posteriorがproperである場合のraw posterior predictiveとBMAを、既存の5種類のplug-in test scoreに対して比較する。単位はnats/record。dE/Eによるraw prior predictive自体をproperな確率密度とは呼ばない。必要な候補が未達の場合にその候補だけを除外して重みを再正規化することはしない。

1 pairには5モデル×train/jointの10積分が必要である。3675成功slotは3675組の予測完成ではない。数値計算の成功はデータやモデル条件に依存し得るため、成功subsetの平均・CIは計算が完了した部分集合の条件付き記述である。bootstrapはこの選択性を解消せず、pointwise CIは25比較の同時保証でもない。

世代2の限定変更：全体結果の確認は未完

以下は2026-10-20に提供された保存契約・静的数理レビューの方法説明であり、この報告作成時に実装を実行・再検証したものではない。科学モデル、prior、支持、integrand、raw scoreの定義は変更しない。変更対象はV求積のcell mass上界である。

従来の接線最大密度×sector面積の上界に加え、anchor cから距離δ以内での位相確率比と共分散の下界を利用する。保存geometryのFmax=max||z_l||を用いると、実数演算ではCov_b≽exp(−2δFmax)Cov_cが成り立つ。この局所強凹性からlog kernelの二次上界を作り、sectorを含む回転rectangle上でGaussian関数を積分したmass上界と従来上界の小さい方を使う。境界でもgradientを0と仮定しない。

新しいkernel評価点は追加せず、既存anchor評価のHessianを利用する。不安定な固有値・区間確率・相殺が検出された場合は従来の接線上界へ戻す。hybrid求積は導入しない。全支持のGL8/16/32、angular別則、Cartesian24/48と必要時64/96の照合を維持する。

数値gateも維持する。最後の2段階差は各2e-7以下、別則・別座標との差は5e-7以下、small mass比・active riskは1e-8以下とし、有限性・整合性も要求する。積分当たり200万評価点、4096 cellsの上限は増やさない。これらは1e-6 natsを目標とした運用上の収束診断であり、真誤差の証明ではない。

再利用と数値上の留保

成功済み3675 slotは再計算せず、原値・診断・source/gate来歴を保持し、残る1325 slotだけを対象とする。V成功127件の内訳は初期版の2件と、その後の版の125件である。それぞれ元のgateで検証して再利用し、新しい二次上界で再評価・再合格したとは扱わない。

Gaussian rectangle上界は実数演算での真積分の上界であって、任意のGL離散近似値の上界まで自動的に保証するものではない。既存のcell massとの整合gateは残し、不一致を成功へ変更しない。

固有値の余裕、CDF差の安定化、上向きpaddingは保守性を狙った数値処理だが、丸め誤差全体を包絡する区間演算ではない。従来上界を含めてcertified bound/errorとは呼ばない。本稿時点では世代2の結果を評価しておらず、cell数削減、予算内完了、精度到達、予測性能改善のいずれも未確認である。

終了来歴と解釈の境界

世代1はA/Cの終了成果物とBの固定immutable snapshotを使用する。Bの数値を欠落扱いせず、祖先実行の外部終了はunknownのまま保持する。世代2自身のworker終了・returncodeと祖先Bの終了未確認は別の事実である。世代2が正常終了したとしても、祖先Bの終了証明や全履歴の全面的な終了確認にはならない。

本解析は既使用データによる事後設計の記述的再解析であり、新しい確認実験ではない。音質指標、自然音声評価、聴取評価、autoMOSは実施していない。生理学的原因の確率校正、自然音声への一般化、音質向上、ボコーダ方式の採用を示さない。現baseはPML、PR67はDraft維持を前提とし、本報告を採用判断とはしない。

世代2の方法を固定したsource manifest SHA256（提供された識別子）：2278c3e1c03e651e21ef68ab2f6b4daa7974e044d9654bcb8c598f7332a319c1。世代2のsourceや測定結果は今回の入力ZIPに含まれず、ここでは照合・実行していない。求積、派生量、bootstrapの再実行による再検算も行っていない。