機械翻訳であり、ネイティブスピーカーによる確認は行われていません。英語版が基準です。
401 件の機能、それぞれに評価を付けています。176 件は、独立した外部のオラクルと照合して確認済みです。221 件は、率直にモデル計算と表示しています。4 件はパートナーが担当します。切り上げは一切していません。
マスにポイントするかフォーカスすると、その機能と、それを評価するオラクルが表示されます。
エンジン v0.40.0 · src/verification.rs から生成された web/data/verification-matrix.json · 401 行 · シナリオもシードもなし：エンジン自身の台帳台帳を読む
各タイルは、エンジンが独立した参照と比較したすべての値を描いています。参照は、公開されたベクトル、別個の飛行力学ライブラリ、精密エフェメリス、統計ライブラリ、規格文書、そしてフィッティングから除外して保持した、実測のクロック記録です。マークにポイントするかフォーカスすると値が表示されます。
AIAA（American Institute of Aeronautics and Astronautics）の参照ベクトルをすべて再現しました。深宇宙向けの SDP4（Simplified Deep-space Perturbations 4）のケースも含みます。最悪の場合で 4.12 mm です。
比較したベクトルごとに一マス。位置誤差で色分けしています。
オラクル · AIAA 2006-6753 検証ベクトル確認の方法
エンジン v0.40.0、ビルド 3395218 · tests/sgp4_verification.rs · 決定論的、シードなしKshana Studio で開く：同じ伝播器、orbit-sgp4-gps.toml · シード 17
RAIM（受信機自律型インテグリティ監視）の統計カーネルを、SciPy とケースごとに比較しました。
SciPy のケースごとに一マス。カーネルごとにまとめています。
オラクル · SciPy確認の方法
エンジン v0.40.0、ビルド 3395218 · tests/raim_reference.rs · 決定論的、シードなしKshana Studio で開く：動作中のカーネル、integrity-raim.toml · シード 7
24 時間の弧のすべてのエポックで、力モデルのティアごとに、Orekit 12.2 飛行力学ライブラリと比較しました。
力モデルのティアごとの、時間に対する位置の差。
オラクル · Orekit 12.2確認の方法
エンジン v0.40.0、ビルド 3395218 · tests/numerical_cowell_propagator_reference.rs · 決定論的、シードなしKshana Studio のビューはありません：この比較はエンジンのテストとして実行されます。
伝播器のチェックから、ESA（European Space Agency）の精密エフェメリスへのフィッティングまでを示します。合格基準を上回った月周回機も示しています。
各残差を、一ミリメートルから二十メートルまでの対数目盛で示しています。
オラクル · ESA の精密エフェメリス、月周回機の再構成軌道、Orekit 12.2、AIAA のベクトル確認の方法
エンジン v0.40.0 · docs/AGENCY-ORBIT-VALIDATION.md の残差表。二件の伝播器チェックはビルド 3395218 で再計算 · 決定論的、シードなしKshana Studio のビューはありません：精密軌道決定はエンジンのテストとして実行されます。
NIST（National Institute of Standards and Technology）特別刊行物（SP）1065 の表 31 にある参照値を、その 1000 点のデータセットで再現します。
平均化時間に対する 四種類の偏差。公表値を輪で示しています。
オラクル · NIST SP 1065確認の方法
エンジン v0.40.0、ビルド 3395218 · tests/allan_nist_sp1065_1000point.rs · 決定論的、シードなしKshana Studio で開く：時計に対する推定器、clock-holdover.toml · シード 42
実測のセシウム記録の最初の 三分の一 でフィッティングし、残りの 三分の二 を予測しました。結果は、あらかじめ設定した係数 1.5 の範囲内です。
コースト時間に対する、測定した時刻誤差と予測した時刻誤差、および比の範囲。
オラクル · 実測のセシウム記録確認の方法
エンジン v0.40.0、ビルド 3395218 · tests/slot_timing_cs5071a_holdout.rs · 決定論的、シードなしKshana Studio で開く：同じ逆変換、slot-timing-ocxo-leo.toml · 決定論的
独立した外部のソースが一致する場合に、独立した外部の参照と照合して確認済みとします。ソースは、公開された参照ベクトル、別個のツール、実測データのいずれかです。それ以外は、モデルから計算したものと表示します。ラベルを選ぶと、そのマスが強調表示されます。
件数は、エンジンの検証マトリクスに基づく正確な値です。セルは台帳（ledger）の行の順に並んでいます。
Pro では：ミッションドシエが、すべての要件を実際の実行に照らして確認し、これらのラベルを検証マトリクスに保持します。MODELLED または PARTNER を根拠として満たされた要件には、フラグが付きます。実際のドシエを見る
各行には、要件、ステータス、それを実装するモジュールが明記されています。行を開くとオラクルとテストが見られ、領域を選ぶと絞り込めます。
領域別：棒の長さは行数、色はステータスです。選ぶと絞り込めます。
allan (lag1_noise_id, lag1_acf) tests/clock_library_lag1_noise_id_allantools.rs（140 ケース：Kasdin のべき乗則記録が十件、b = 0 から -4、位相データと周波数データとして、af = 1 から 64；alpha_int と d は一致、最悪で |d alpha| 9.6e-13、|d rho| 4.8e-13…osnma (page, subframe, dsm, merkle, signature, tesla, mac, maclt, navdata, verifier, ubx, cli) kshana osnma verify：Galileo OSNMA（SIS ICD Issue 1.1、Receiver Guidelines Issue 1.3）のための、オープンな純 Rust の受信機側検証器で、I/NAV ページまたは u-blox UBX-RXM-SFRBX ストリームを入力とします。対応するのは、Merkle ツリーの公開鍵（DSM-PKR）、DSM-KROOT の ECDSA P-256/P-521 署名、TESLA 鍵チェーンの検証（SHA-256 または SHA3-256）、ADKD 0、4、12 の MACSEQ とタグの検証（HMAC-SHA-256 または CMAC-AES）と相互認証、チェーン終端/失効/更新、公開鍵の更新と失効、およびアラートメッセージです。衛星ごとの状態は Authenticated/Failed/Unavailable で、失敗または遅延のたびに理由が付きます。助言のみ：型式承認を受けた航法装置ではなく、航法インテグリティサービスでもありません。スプーフィング対策の性能は主張していませんtests/osnma_official_vectors.rs（オプトイン、KSHANA_OSNMA_VECTORS：18 のベクトルセットすべて、186,382 個のタグを認証、0 件が失敗、セットごとの下限、チェーンの告知、ADKD 0/4/12、アラートを検証、認証の再開は…allantests/allan_reference.rs (NBS14 vs Stable32 to 1e-4); allan::testsallantests/cs5071a_reference.rs（実機の 5071A Cs と H メーザー、556,990 点、16 の平均化係数を Stable32 と 1e-3 まで比較；データゲート付き、scripts/fetch_cs5071a.sh）allantests/phasedat_reference.rs (Stable32 PHASE.DAT, 139 averaging factors, OADEV/MDEV/TDEV to 1e-3; data-gated via scripts/fetch_phasedat.sh)allantests/theo1_totvar_reference.rs（NIST SP 1065 §12.4 の 1000 点 LCG データセットでの Theo1 と TOTDEV、6 + 6 の平均化係数を allantools 2024.06 と <1e-9 まで比較）；allan::tests（ホワイト FM の閉形式への追従；TOTVAR=ADEV…allan (mtie, mtie_curve) tests/mtie_reference.rs（隔離された NIST SP 1065 §12.4 の 1000 点 LCG 位相系列での MTIE、9 の平均化係数 m=1..256 を allantools 2024.06 の mtie と <1e-9 まで比較、観測値 ≤4e-15）；allan::tests（手計算によるピーク間…allan (modified_adev, time_deviation) tests/mdev_tdev_reference.rs（隔離された NIST SP 1065 §12.4 の 1000 点 LCG 位相系列での MDEV と TDEV、8 の平均化係数 m=1..200 を allantools 2024.06 の mdev/tdev と相対 <1e-9 まで比較、さらに τ/√3 の恒等式を…quantum_trade (qparams_from_adev_curve), powerlaw tests/optical_clock_adev_reference.rs（Norcia ら、⁸⁸Sr ツイーザークロックの σ_y(τ)、8 個の平均化時間 0.92–117.76 s、CC-BY-4.0 のもとでそのまま同梱：NNLS は曲線を RMS で約 10%、最悪点で ≤21% の精度で再構成；復元…araim_reference (add_v42_protection_levels, add_v42_protection_levels_ecef); raim (snapshot_raim, snapshot_raim_fde, araim_raim, araim_dual_raim, solution_separation_raim); sbas (sbas_protection_level); lunar tests/integrity_araim_stanford_oracle.rs::araim_mhss_matches_stanford_maast_add_v4_2（270 の実際の幾何のケース、Celestrak の GPS+Galileo と IGS SP3：最悪で |dVPL| 2.2e-3 m、|dHPL| 1.1e-3 m、|dEMT| 2.1e-10 m、ADD に対して…sgp4, propagator, orbit_determination, precise_od tests/sgp4_verification.rs (666 AIAA verification vectors, worst 4.12 mm); tests/sgp4_crate_comparison.rs (independent sgp4 crate)propagator, forces tests/numerical_cowell_propagator_reference.rs（275 エポック = 11 ケース × 25 時間ごとの状態、LEO+GTO、Orekit 12.2 DormandPrince853 と比較；保守的なティア T1–T5 では 24 h にわたり最悪 |Δr| 0.08 m；抗力ティアは 333 m として特性評価）srp_shadow, forces (srp_accel_with_lit_fraction), propagator tests/srp_oblate_shadow_orekit_oracle.rs（影の縁をまたぐ 2400 の幾何、うち半影が 884、LEO から GEO、太陽赤緯 0 と +-23.44 deg、8 の方位角：WGS-84 で最悪 |dnu| 7.41e-9、球面では 2.24e-9…srp_boxwing, propagator, precise_od tests/srp_boxwing_orekit_oracle.rs（252 の Galileo 軌道の幾何、近日点と遠日点の距離を含む 7 の太陽のケース、100 のランダムな姿勢；平板の総和は 1056 ケースにわたり相対で最悪 2.05e-15；エンドツーエンド…srp_shadow srp_shadow::tests（円環の閉形式、円錐影を再現する一様則、満日照と本影の極限）nrlmsise00tests/nrlmsise00_reference.rs（720 のグリッド点、90 から 1000 km、4 の緯度、2 の地方時、3 日、低／中／高活動：密度は pymsis と相対 1.866e-6 以内、温度は 1.97e-4 K 以内；ビット単位で同一…forces (density_at, drag_accel_with_density), propagator tests/drag_tier_orekit_oracle.rs（4 ケース × 24 h にわたる 25 時間ごとの状態、円軌道 51.6 deg、低／中／高活動での 400 km と 300 km：最悪 |dr| 0.0303 m、|dv| 3.36e-5 m/s、抗力の 3.3 から 141.8 km に対して…forces (atmospheric_density, drag_accel), propagator tests/drag_exponential_gmat_oracle.rs（J2000.0 での赤道のケース E400、E300、E250x600、24 h にわたる 25 時間ごとの状態：抗力による変位は GMAT と、基準 0.5 m + 1e-3|D| の 0.016 以内で一致…propagator (ForceModel::with_ephemeris, ForceEphemeris), ephem_provider tests/propagator_de440_orekit_oracle.rs（24 h にわたる 5 ケース × 25 時間ごとの状態、LEO、GEO、HEO、第三体、および第三体 + SRP：最悪 |dr| 0.0170 m、|dv| 1.84e-5 m/s；解析級数の対照は 9.96 m 外れる；太陽…tides, propagator, precise_od tides::tests（S1 項は日周期で、四分の一日で 90 deg 回り、各行の荷重係数の振幅を持つ；LEO での物理的な大きさ）；propagator::tests::the_s1_air_tide_flag_adds_exactly_the_s1_accelerationtides (s2_air_waves, atmospheric_tide) tests/s2_air_tide_gfz_table5.rs（21 波のうち 21 波が公表モデル A2 と一致：最悪で 0.00050 cm、0.050 deg、基準は 0.0006 cm、0.1 deg）；tests/tides_iers.rs（S2 振幅のバンド）propagator (Geopotential, EarthFixedFrame), gravity_sh tests/cowell_tesseral_orekit_oracle.rs（24 h にわたる 6 ケース × 25 時間ごとの状態：LEO 45 deg、極軌道 89.9 deg、太陽同期 98.2 deg、GTO での EGM2008 8x8 と 70x70、および太陽・月と SRP を加えた 70x70；最悪 |dr| 0.0355 m…gravity_sh, propagator (FieldEvaluator) tests/gravity_sh_high_degree.rs（8 個の軸外の点での Orekit：N = 70 で最大 |da| 2.2e-17 m/s^2、常に実行；N = 200、360、2190 で 3.5e-17、3.9e-17、7.3e-17 m/s^2、KSHANA_EGM2008_GFC でデータゲート）…integrator, propagator tests/dop853_scipy_oracle.rs（8 回の単一ステップ：状態は相対 5.55e-15 以内、FSAL 導関数 3.46e-15、稠密出力 1.99e-14、採択／棄却の判定は同一；rtol = atol = 1e-12 での 3 回の完全な実行（LEO 58000 s、e = 0.7…kepler, propagator tests/kepler_mpmath_oracle.rs（405 のグリッド点、e は 0 から 0.999999、M は [-pi, pi] で 1e-12 まで：最悪 |E - E_ref| 0.898 eps|E|、基準は 8 eps|E|；9 個の巻き付き M の点は基準の最悪 0.013；ニュートン法なし…orbit_determination (determine_orbit_batch_tracking, propagate_with_stm, is_visible), batch_ls (gauss_newton_analytic) tests/od_tracking_measurements_reference.rs（8 シナリオ：レンジレート、方位角・仰角、混合、LEO と MEO、ノイズなしとシード付きのシグマ 5 m / 5 mm/s / 1e-4 rad、5 と 10 deg のマスク、Orekit 12.2 に対して：可視集合は同一…sp3, precise_od src/sp3.rs unit tests; tests/agency_galileo.rs::galileo_e11_sp3_accuracy_weighted_fit (committed 8 h ESOC fixture, sigma 0.032 m from header exponent 5: Tier-1 3D RMS 0.132 m unchanged, Tier-2 0.035 m against 0.070 m…gravity_pds, gravity_sh tests/planetary_gravity_pds.rs（次数 20 の切り出しは常に実行：最悪 |dg|/|g| 9.7e-16、摂動相対 3.4e-11；GMM-3 の d/o 120 を球面全体で 3.7e-15 / 6.3e-12、GL0660B の d/o 660 を |lat| <= 60 deg で 5.0e-14 /…gravity_pds, body, propagator, mars_frame tests/planetary_gravity_pds.rs::a_shadr_field_attached_to_a_body_drives_the_propagator; gravity_pds::tests::with_gravity_field_is_opt_inorbit_determination, precise_od (batch_ls::gauss_newton, fusion::ukf) tests/batch_sequential_orbit_determination_reference.rs (8 scenarios: 6 noiseless LEO/MEO/eccentric/3–4-station + 2 σ=5 m, vs Orekit 12.2; worst batch |Δr| 1e-3 m / |Δv| 1e-6 m/s, sequential |Δr| 0.9 m)radiometric (light_time_solution) tests/deep_space_mars_radiometric_reference.rs（8 個のエポック 2020–2027 にわたる 24 区間を ANISE DE440 と比較；最悪 |Δτ| 1.03e-9 s、|Δrange| 0.31 m、最大 2.5 AU まで）rinex (parse_nav, RinexEphemeris::sv_position_ecef) tests/rinex_sp3_interop_reference.rs (84 SV-epoch cases: GPS + Galileo + BeiDou-MEO, 12 SVs × 7 offsets, vs RTKLIB eph2pos; worst per-axis |Δ| 6.2e-8 m)sp3 (Sp3Interpolator::position_ecef) tests/sp3_interp_reference.rs (72 off-node SV-epoch cases / 6 satellites vs RTKLIB peph2pos; worst per-axis |Δ| 1.5e-8 m)gnss_navmsg (gps_cnav, gal_inav, gal_fnav, fec) gnss_navmsg::tests（CRC-24Q の検査値 0xCDE703；畳み込みのインパルス応答；Viterbi が注入した誤りを訂正；レイアウトの幅）；tests/gnss_navmsg_roundtrip.rs（フィールドの開始ビットが ICD のビット番号と等しい；エンコード ->…ionex (parse_ionex, parse_ionex_file, IonexFile::vtec_at, IonexFile::slant_tec_at, interpolate_tec_in_time, TecGrid::vtec_at) tests/ionex_code_gim_oracle.rs（コミット済みの合成 IONEX マップと式による参照の比較：20,075 ノードが厳密、補間の最大 |Δ| 3.5e-13 TECU；KSHANA_IONEX_CODE_GIM_DIR でデータゲート、実際の CODE 最終 GIM…hatch (HatchFilter), pvt (assemble_epoch_precise_smoothed, CarrierSmoother) hatch::tests (noise-free pass-through; white-noise variance 1/(2N-1); restarts); tests/hatch_wettzell_oracle.rs::hatch_finding_is_pinned (WTZR 2025-02-24 01-06 h, 600 epochs, N = 100: median 3-D error 1.553 -> 1.116 m…rtk_real (run_rtk), lambda (resolve) tests/rtk_real_wettzell_oracle.rs（IGS 局 WTZR 基準局／WTZZ 移動局、1.4 m、2025-02-24 00-03 h、30 s：359 エポック、00:10 以降で 100 % が固定解、固定基線誤差の中央値 4.5 mm、p95 5.5 mm；最初の 10 分は固定で 2.6 mm…ppp_real (run_ppp, PppEpoch::clock_m) tests/ppp_time_igs_station_clock.rs (WTZR 2025-02-24, 04:00-05:55, 24 epochs: Kshana minus IGS std 0.075 ns, bar 0.20; mean -0.659 ns, bar 5.0)ppp_real (run_ppp, parse_antex_receiver, solid_tide_ecef, phase_windup) tests/ppp_real_wettzell_oracle.rs（IGS 局 WTZR、2025-02-24 00-06 h、30 s、開発から除外して保持：最終エポックの水平 1.5 mm、上方向 −2.9 cm；04-06 h は 240/240 エポックが 3-D で 0.10 m 以内、p95 6.7 cm；コードのみの p95…rinex (parse_nav, parse_nav_with) > EPH レコードを放送エフェメリス型に復号します。CNAV、CNV1-3、FDMA、SBAS、STO、EOP、ION のレコードは、次のレコードヘッダーまで読み飛ばします。ヘッダーが別の衛星を指すレコードや、途中で切れたレコードは拒否しますtests/rinex4_nav_brd400_oracle.rs（IGS BRD400DLR_S の RINEX 4.02 と BRDM00DLR_S の RINEX 3.04、2026-07-19、00-02 h の切り出し：G 37 / E 478 / C 72 のレコードが両方向で一致、すべてのフィールドが同一、Toe での位置 0 m；丸一日…rinex_obs (parse_obs) tests/rinex4_obs_mao0.rs（IGS MGEX の RINEX 4.00 ファイル MAO000USA_R_20231980000_01D_30S_MO の最初の 4 エポック、58 衛星、7 システム：ヘッダーレコードと最初のエポックの値は公表されたリテラルと等しい）…rinex (RinexEphemeris::sv_position_ecef_bds_geo, NavParseOptions) tests/bds_geo_broadcast_oracle.rs（実際の C01-C04 のレコード：静止衛星の軌道半径、経度 140.02/80.04/110.55/159.99 deg は公表されたスロットどおり、|緯度| は傾斜を考慮すると 2.13 deg、考慮しないと 6.65；事前登録した…sp3 (Sp3File::clock_s, clock_nodes), precise_products (ClockRinex::from_sp3) tests/sp3_clock_igs_oracle.rs（2025-02-24 の IGS 最終版 15 分 SP3 と IGS 最終版 30 s クロックの比較、32 機の GPS 衛星：ノードの中央値 |Δ| 2.6e-13 s；3038 件の中間点レコードは RMS 0.121 ns、p95 0.265 ns；代わりにノードを保持すると…fusion::carrier_tc (run_carrier_tc, CarrierTcCfg), fusion::trajectory (truth_epochs) tests/fusion_carrier_tc.rs（8 の字走行：同一の測定に対し、定常の 3-D RMS は搬送波で 0.025 m、コードで 0.470 m；12 個のシードで NIS/dof の平均 1.00、定常の NEES/dof 0.92；1-cycle のスリップをそのエポックで検出し、…なし…fusion::pack (TightCfg, [tight]), scenarios gnss-ins-maritime / gnss-ins-rail / gnss-ins-aviation tests/gnss_ins_packs.rs（各パック：途絶中は両方のセンサーで、フリー INS より融合が良好；鉄道：途絶中、航法級で密結合 5.3 m に対し疎結合 12.9 m、戦術級で 15.6 m に対し 18.8 m、可用性 0.97 に対し 0.95…fusion::coupled (CoupledPntFilter, CoupledPntBiasFilter, CoupledPnt3d), fusion (run_coupled_suite), hybrid (CoupledCfg) tests/fusion_coupled_filters.rs（60 個のシードにわたる 3-D フィルター：後半の平均 NEES は 8 状態で 8.12、最終エポックの χ² の和は 95 % バンド内；0.1 ns のクロック固定により、3-D 位置のシグマは 5.58 m から 3.07 m に低下；バイアス…fusion::kfgins (run, loaders, score), fusion::closed_loop (propagate_increments, fuse_position_lever_arm), fusion::gnss_ins_ekf (update_position_lever_arm) tests/fusion_kfgins_dataset_oracle.rs（合成ローダーと回転プラットフォームのレバーアームのテストは常に実行；KSHANA_KFGINS_DIR でデータゲート、2026-10-13 に KF-GINS デモデータセットで実行：水平／垂直の RMS 0.0109 /…interop::testbench (write_motion_csv, write_nmea, export) tests/testbench_gpssdrsim_oracle.rs（6 テスト：オラクルとシナリオ、エクスポートのバイト列を固定、NMEA と LLH のリーダー、四列の ECEF の切り出し、全角幅 CSV での run-1 の所見（FINDING）、10 Hz の行グリッド）fusion::trajectory (TrajectoryCfg, Trajectory, kinematic_imu, parse_truth_csv), fusion::pack ([trajectory]) fusion::trajectory::tests（協調旋回は横力がなく、荷重係数は 1/cos φ；CSV のインポートは飛行したプロファイルを 1e-3 m/s と 1 m まで再現）；tests/gnss_ins_trajectory_library.rs（すべてのプロファイルが実行でき、融合は…inertial::mechanization, inertial::attitude, inertial::imu_errors tests/classical_strapdown_ins_reference.rs（静止／旋回／コーニングのプロファイル、各 30 エポック、NaveGo と比較：姿勢はビット単位で同一 0 rad；速度と位置は名前付きの解析的な上界の範囲内）gravity_sh tests/icgem_gravity_reference.rs（GRS80 の合成は Somigliana を 3.5e-12 まで再現；実際の ICGEM EGM2008 擾乱マップは物理的に妥当）cr3bp (differential_correct_halo, PeriodicOrbit) tests/capstone_nrho_horizons.rs::cr3bp_nrho_matches_capstone_mean_geometry（CAPSTONE 2023 年3月、近月点 4 回と遠月点 5 回：周期 6.5004 d に対し 6.5699 d（1.07 %、基準 3 %）、遠月点 71,182 に対し 71,215 km（0.05 %、基準 5 %）…cr3bp (to_moon_centred_icrf, from_moon_centred_icrf, to_moon_centred_icrf_de440) tests/cr3bp_to_mci_spice_oracle.rs::cr3bp_to_mci_matches_a_spice_two_vector_frame（72 ケース：2025 年1月の 12 エポック × L1 点と L2 点、L2 南側ハロー軌道二つと DRO の初期状態一つ、JPL Three-Body…solar_system (SolarSystemScenario::planetary_kernel_path, KernelOut); ephem_provider (KernelEphemeris) solar-system kind：SPK が固有の NAIF コードを持つ報告対象の各天体は、エンジン自身のリーダーを通じて、カーネルから太陽中心 J2000 の位置と速度を取得します（ラベルは KERNEL）。両端がカーネルにあるリンクはカーネル上で計算し、惑星の代わりに重心を使うことはなく、それ以外の天体は従来どおり解析的でそれぞれのラベルを保ちます。レポートに kernel ブロック（パス、SHA-256、そこから取得した天体とリンク）が加わるのは、このオプションを設定した場合のみです。de440s.bsp では、水星、金星、地球、月が対象ですtests/solar_system_kernel_oracle.rs::kernel_backed_solar_system_matches_spice（水星、金星、地球、月、2026-01-01、2030-06-15、2040-12-31：最悪で 3.3e-5 m と 1.0e-11 m/s、基準は 1 mm と 1e-6 m/s…maneuver (porkchop_kernel, PorkchopGrid); ephem_provider (KernelEphemeris) tests/porkchop_de440_oracle.rs::de440_porkchop_matches_spice_and_pykep（地球から火星の重心まで、2026-09-01..2027-01-29 の 16 出発 × 2027-06-01..2028-02-26 の 19 到着：304 セルは両側で有限、最悪の C3…maneuver (optimise_transfer_kernel, TransferObjective, TransferType, TransferOptimum); ephem_provider (KernelEphemeris) tests/transfer_optimiser_oracle.rs::transfer_optimiser_matches_spice_pykep_scipy（地球から火星の重心まで、出発 2026-09-15..2027-01-15 × 到着 2027-05-01..2028-03-01、Type I/II × 最小 C3 / 最小 V-infinity…maneuver (lambert_multirev, LambertSolution, LambertBranch) tests/lambert_multirev_oracle.rs::multirev_lambert_matches_pykep_on_the_preregistered_cases（382 ケース：ランダムな 3-D が 300、180 deg 付近が 18、M = 1..3 の最小時間付近が 24、太陽中心が 40；1058 の解；個数と…maneuver (lambert) tests/lambert_reference.rs (13 transfers vs lamberthub izzo2015; worst |Δv| 7e-12 m/s)frames, precession, nutation, cio, timescales tests/frame_reference_vectors.rs (Vallado end-to-end; SOFA/ERFA vectors)jd2 (Jd2::from_utc_calendar, utc_to_tai, tai_to_utc, utc_to_ut1, tai_to_tt, earth_rotation_angle); sgp4 (Sgp4::new_at, Sgp4::propagate_at) tests/jd2_sofa_time_oracle.rs（224 の UTC 時刻：1972-2016 年の 27 回のうるう秒それぞれの前後に六つ、固定が二つ、1972-2026 年にわたるシード付きが 60；dtf2d、utctai、taiutc はそれぞれ 1e-6 s 以内、最悪 1.9e-11 s）；jd2::tests…jd2 (gmst82, From<TwoPartJd>, From<Jd2>); cio (gcrs_to_itrs_matrix_jd2); frames (teme_to_itrf_jd2, itrf_to_teme_jd2); orbit (Propagator::position_in_frame_jd2, own_jd2_utc); ephemeris (EphemerisScenario::two_part_jd) tests/jd2_earth_rotation_erfa_oracle.rs::two_part_earth_rotation_agrees_with_erfa（1980-2050 年の 40 の二部構成 UT1/TT 日付。二つの日付での +1、+10、+50 us のステップを含む：gmst82 は 1e-12 rad 以内、最悪 0；GCRS から ITRS…precession (precession_matrix); nutation (teme_to_gcrs_matrix); cio (gcrs_to_cirs_matrix_with_offsets) tests/frames_erfa_vector_oracle.rs::frame_matrices_agree_with_erfa_vectors（1950-2100 年の 40 の TT エポック、dX と dY は最大 0.5 mas：歳差の要素は 1e-13 以内、最悪 0；TEME から GCRS は 5e-10 rad 以内、最悪 1.10e-10 rad…timescales (tai_minus_utc_on_date); jd2 (Jd2::from_utc_calendar, utc_to_tai, tai_to_utc) tests/jd2_pre1972_sofa_oracle.rs::pre_1972_utc_conversions_agree_with_erfa（117 の UTC 時刻：1960-1972 年の TAI-UTC 式の 15 個の開始点それぞれの前後に四つ、1960-1971 年にわたるシード付きが 60；dtf2d、utctai、taiutc…glonass (GlonassEphemeris::sv_clock_bias_s, position_ecef, parse_glonass_nav) tests/glonass_broadcast_rtklib_oracle.rs::glonass_broadcast_clock_and_orbit_match_rtklib（292 ケース：実際の 2013-01-01 の IGS MGEX 放送ファイルの 4 件の GLONASS レコード × +/-900 s の範囲の 73 個のオフセット；クロックは 1e-14 以内…sgp4 (MeanElementSet, SgpOrbit, Eop, teme_to_itrs_matrix_eop, gcrs_to_itrs_matrix_eop); jd2 (utc_to_ut1, earth_rotation_angle); nutation (teme_to_gcrs_matrix); cio (gcrs_to_cirs_matrix); frames (polar_motion_matrix) tests/earth_orbit_path_sgp4_erfa_oracle.rs（区間 1：コミット済みの 232 の要素セットの 4432 の TEME 位置を python-sgp4 2.24 と比較、最悪 6.1e-8 m、基準 1 cm；区間 2：108 時刻、うち 23 が地球の向きを含む…navsignal (CodeFamily) navsignal::code_tests (GPS C/A Gold ≈ −23.9 dB; φ(1023)/10 = 60)orbit (dop) tests/dop_reference.rs (8 geometries, well-conditioned → near-singular)dop_error_mc (run_geometry, check, TOLERANCES); dop_error_ci (run, GEOMETRIES); pvt (solve_spp); orbit (dop, dop_cofactor) tests/uere_dop_monte_carlo.rs（position_error_is_sigma_times_dop_on_the_gnss_lib_py_geometries：事前登録 e50c88d2 の後の最初の実行で 104 件の検査すべてが合格、最悪の分散 3.2 %、RMS 1.6 %、相関 0.012…receiver_trust (geometry: GeometryTracker, geometry_ratio, sky_ratio, geometry_points, GeometryLabel; score: DeductionClass, score_with; monitors; live); telemetry (sample, prometheus, syslog, otlp) tests/natural_degradation_trust.rs（a_stated_skyline_reads_the_fjord_as_geometry：scenarios/training/fjord-natural-degradation.toml の合成フィヨルド通過で、同じ 624 エポックが、… あり・なしで減点される…gnss_sim (klobuchar_delay_m) tests/klobuchar_reference.rs (10 cases across elevation/azimuth/local-time, two coefficient sets)raim (chi2_cdf, chi2_quantile, noncentral_chi2_cdf, normal_cdf, normal_quantile, pbias) tests/raim_reference.rs (171 cases: χ² CDF/quantile, normal CDF/quantile, non-central χ² CDF, pbias across the P_fa/P_md/redundancy ranges)sbas (sbas_protection_level) tests/sbas_reference.rs (6 real-EGNOS epochs: HPL matched directly, vertical d_U checked K-factor-free)impairment_eval (auc, confusion_at, roc_curve) tests/eval_metrics_reference.rs (5 datasets, 24 thresholds; exact counts + <1e-9)impairment_eval, eval_stats tests/opssat_ad_reference.rs（実機の ESA OPS-SAT、AUC は scikit-learn を 1e-9 まで再現）；tests/ai_ml_rf_impairment_detection_evaluation_reference.rs（実際の OPSSAT-AD のテスト分割での 122 ケース：完全な動作点…quantum_trade (qparams_from_adev_curve), detection (chi2_inv_cdf), clock_state (ClockState3) tests/scipy_reference.rs (NNLS; χ² at operating dof ≥ 48; van-Loan Q)igrf, igrf_data tests/alternative_complementary_pnt_reference.rs (2520 global points × altitudes vs ppigrf @ epoch 2025.0; worst |ΔXYZF| 3.9e-4 nT, |ΔD| 2.8e-6°, |ΔI| 3.6e-7°)quantum_faults, eval_stats, detection tests/quantum_faults_reference.rs (109 cases vs scipy 1.17 norm.cdf/ppf + scikit-learn roc_auc_score; worst |Δ| AUC 6.9e-8, min-detectable-fault 1.3e-8, empirical-AUC 1.1e-16)resilience::stats tests/resilience_score_decision_instability_reference.rs（scipy 1.18 / numpy 2.4 との比較で 124 ケース：61 件の Kendall τ-b が 2e-16 まで一致、順位付けは厳密、Dirichlet 平均とパーセンタイル信頼区間は 1e-12 まで一致）mcda::ahp tests/mcda_ahp_reference.rs（Saaty 1980 のランダム指数表 n=1..10 は厳密に一致（EXACT）；優先度ベクトル、λ_max、CR を、整合した 3×3 と、整合しない 3×3 / 4×4 で SciPy/LAPACK の eig と比較し、<1e-9 まで一致）mcda::wsm, mcda::wpm tests/mcda_wsm_reference.rs（WSM のスコアと順位付け）と tests/mcda_wpm_reference.rs（WPM のスコアと順位付け）。それぞれ、固定した 4×3 の便益／費用の決定行列で pymcdm と <1e-9 まで比較mcda::topsis tests/mcda_topsis_reference.rs（近接係数と順位付けを、固定した 4×3 の便益／費用行列で pymcdm と <1e-9 まで比較）mcda::vikor tests/mcda_vikor_reference.rs（Q 指数と順位付けを、固定した 4×3 の便益／費用行列で pymcdm と <1e-9 まで比較）mcda::promethee tests/mcda_promethee_reference.rs（純アウトランキングフローと順位付け、通常基準、固定した 4×3 の便益／費用行列で pymcdm と <1e-9 まで比較）mcda::electre tests/mcda_electre_reference.rs（一致行列、不一致行列、支配行列を要素ごとに、またカーネル／被支配集合を、固定した 4×3 の全便益データセットで pyDecision と <1e-9 まで比較）mcda::waspas, mcda::moora tests/mcda_waspas_reference.rs（WASPAS の選好と順位付け）と tests/mcda_moora_reference.rs（MOORA のスコアと順位付け）。それぞれ、固定した 4×3 の便益／費用の決定行列で pymcdm と <1e-9 まで比較mcda::copras tests/mcda_copras_reference.rs（効用度と順位付けを、固定した 4×3 の便益／費用行列で pyDecision と <1e-9 まで比較）tpl (Cusum), security tests/timing_protection_level_under_spoofing_reference.rs（決定論的遅延の 16 ケースを初通過時間のオラクルと厳密に一致（EXACT）；8 の ARL₁ ケース、60k 試行のモンテカルロを Siegmund 近似と公表された Montgomery と比較…holdover (coast_phase_variance, holdover_seconds) tests/gnss_denied_clock_holdover_reference.rs (27 cases vs scipy 1.18: 12 coast-variance vs linalg.expm Van-Loan Q₀₀ worst rel 1.1e-15; 7 holdover inversions vs optimize.brentq worst rel 1.5e-16)resilience::diversity (effective_diversity) tests/resilience_diversity_reference.rs (17 cases: 14 vs scikit-bio inv_simpson + 3 pinned-zero boundary; worst |Δ| 0.0)skyline (Skyline::cut_deg, Skyline::visible); frames (look_angles, is_visible_skyline); orbit (UserPath, sky_view, cofactor_from_los); geometry (sky_geometry) tests/skyline_orekit_oracle.rs（skyline_masks_agree_with_orekit_and_gnss_lib_py_as_pre_registered：六地点・四エポックでの 1173 の見通し角、六つのマスク表、142 の可視集合；最悪で |d el| 1.3e-13 deg、|d az|…skyline (Canyon::cut_deg, Sector::contains, TerrainPoint::elevation_deg, reduce_terrain, SkylineCfg::build) skyline::tests (canyon_matches_hand_computed_wall_elevations; terrain_takes_the_curvature_drop; sectors_have_sharp_edges_and_wrap; a_preset_is_overridden_or_added_to_field_by_field; malformed_sections_are_refused)skyline (PRESETS, preset, preset_list) skyline::tests (presets_carry_the_note_dimensions_and_provenance)geometry (sky_geometry, ellipse); orbit (cofactor_from_los) tests/ellipse_numpy_oracle.rs（ellipse_and_cofactor_agree_with_numpy_as_pre_registered：270 ケース、スカイライン比較でコミット済みの 142 の可視集合を、共通のクロック一つの場合と、システムごとにクロック一つの場合で；最悪…geometry; orbit (cofactor_from_los, dop_cov, dop); surface (sky_geometry, sky_monte_carlo, skyline_presets, skyline_profile, skyplot_svg) kshana sky と kshana skyline、同名の Python と WASM の関数、MCP の sky_geometry）：サイト、時刻、衛星コンステレーションのプリセット（または方位角・仰角か ECEF で与えた衛星）から、スカイラインの下での可視衛星とマスクされた衛星、GDOP/PDOP/HDOP/VDOP/TDOP、単位分散のコファクター (H^T H)^-1、システムごとに一つまたは共通の受信機クロックを用いた東・北・上の共分散、水平誤差楕円（半軸 k sigma sqrt(lambda)、k = sqrt(-2 ln(1 - p))、北からの向き 0.5 atan2(2 Q_EN, Q_NN - Q_EE)）、独立なガウス距離誤差の下での n 個のシード付き最小二乗誤差と、その経験共分散、RMS、95 % 包含率を求めます。コファクターは orbit::cofactor_from_los であり、orbit::dop と orbit::dop_cov の背後にある唯一のカーネルです（dop は dop_cov の縮約）。二つ目の DOP 実装はありませんgeometry::tests (ellipse_of_an_analytic_two_by_two_case; sky_geometry_equals_orbit_dop_on_the_same_visible_set; ecef_input_matches_azimuth_elevation_input; one_clock_per_system_adds_a_state_and_costs_geometry…holdoverholdover::tests（多段のカルマン共分散再帰と比較；ホワイト FM は厳密；往復変換）；コースト分散カーネルは tests/gnss_denied_clock_holdover_reference.rs で外部との照合により確認済み（scipy の Van-Loan／brentq と比較）clock_library (card, condition, series), realdata::clk, allan (lag1_noise_id) tests/clock_library_device_cards_oracle.rs (gps_iif_cards_reproduce_the_recorded_finding; receiver_training_is_blocked_by_the_epoch_minimum; non_blind_cards_are_reported; pre-registered 2ec76864)…clock_library (card) tests/clock_library_periodic_cards_oracle.rs (periodic_cards_reproduce_the_recorded_finding; pre-registered fb475550); clock_library::card::tests (a_periodic_card_carries_the_sinusoid_a_power_law_card_cannot)clock_state clock_state::tests（解析的な van-Loan の Q；NEES；PSD の正値性）；tests/clock_state_reference.rs（予測と更新の完全な軌跡 — 状態 x と 3×3 の共分散 P を 1925 ステップ／4 のパラメーターセットにわたり filterpy 1.4.5 と比較；最悪…timetransfer, timetransfer_adv timetransfer::tests（相反性による相殺；二形式の Sagnac の恒等式）；tests/time_transfer_error_budgeting_reference.rs（赤道周回の Sagnac = 207.386 ns を、公表された Ashby の 207.4 ns と <0.05 ns まで比較…navsignalnavsignal::tests (BPSK self-SSC = 2/3R_c; unit-area PSD; DLL); tests/nav_signal_modulation_code_tracking_reference.rs (GPS C/A Gold cross/auto-correlation exact-integer match vs independent IS-GPS-200 code generation…sdrsdr::code_tests (ca_first_ten_chips_match_is_gps_200_octal — PRN 1–9 first-10-chips reproduce IS-GPS-200 Table 3-Ia octals 1440/1620/1710/1744/1133/1455/1131/1454/1626 exactly; ca_code_has_1023_chips_and_is_balanced…inertial::quantum_imu quantum_imu::tests（k_eff；Mach-Zehnder の T²；Freier-2016 の下限の範囲）；tests/quantum_inertial_sensor_reference.rs（伝達関数 |H(ω)|、k_eff·T²、ショットノイズ ASD を、公表された Cheinet 2008 / Peters / Freier と比較…inertial::quantum_imu quantum_imu::tests（a_max は 1/T² の範囲スケーリングとともに ±π の半縞の端にある；折り返し位相の復元は [−a_max,a_max] の内側では厳密で、外側では厳密に 2·a_max だけエイリアシングする；曖昧さのないダイナミックレンジ…inertial::quantum_imu (QuantumNavBudget) budget_tests（バイアスを AccelModel の積分器と、VRW を解析的な積分と比較）；tests/quantum_inertial_dead_reckoning_reference.rs（VRW を、白色加速度ノイズの独立した numpy モンテカルロ二重積分と比較、最悪…fusion (gnss_ins_ekf, tightly_coupled, ukf, coupled) fusion::tests（UKF==線形 KF の恒等式；途絶中のコースト；NEES）；tests/gnss_ins_sensor_fusion_reference.rs（filterpy 1.4.5 との 50 ケース：線形 EKF の疎結合／密結合と、結合 PNT の事後分布が ≤2.4e-12 まで一致；UKF の 40 エポックの実行は最悪…jammingjamming::tests（broadband_q_equals_the_spectral_separation_closed_form と cw_q_equals_the_spectral_separation_closed_form：Q の表、CW と狭帯域 1、広帯域とスイープ 2、navsignal の閉形式に固定…spoof, spoof_detect, spoof_monitors tests/spoof_texbat_validation.rs (TEXBAT parameter characterisation); tests/spoof_detection_jammertest_oracle.rs::monitors_against_the_published_onsets_reproduce_the_recorded_disagreement (pins the finding)…tpltpl::tests (closed-form oracles + CUSUM); examples/tpl_jammertest.rs (JammerTest 2024 real-spoof calibration); tests/tpl_jammertest_coverage_oracle.rs::tpl_against_measured_time_error_reproduces_the_recorded_disagreemen…cr3bpcr3bp::tests（STM を有限差分と比較）；tests/cislunar_mission_analysis_reference.rs（5 個の JPL L2-S NRHO のメンバー：9:2 + 4 の近傍；最悪 |ΔC| 1.5e-5、|ΔT|/T 9.6e-5、近月点 0.7 km（JPL の長さの単位））altpnt, mapmatch, gravimeter, igrf tests/alternative_complementary_pnt_reference.rs (map-matching CRLB; IGRF-14 field); mapmatch::tests; gravimeter::tests; igrf::tests; tests/gravity_map_real_field.rs (the 60-min GPS-denied benchmark on the real EGM2008…gravity_sh, altpnt::maps, gravimeter tests/icgem_gravity_anomaly_oracle.rs（egm2008_n70_matches_cited_icgem_values は CI で、引用された十個の ICGEM ノードに対して実行；egm2008_n70_gravity_anomaly_sa_matches_icgem は、取得済みの 0.25-deg の完全なグリッド、チャドの 9-15N 19-25E と…altpnt::terrain tests/terrain_nav_validation.rs（real_srtm_committed_badwater_tile_reads_real_relief — パブリックドメインの SRTM v3 N36W117 タイルをコミット済みの 6-arc-second に間引いたものが、北米で最も低い地点であるバッドウォーター盆地を位置づける…report, scenario; CI (golden/determinism/SBOM) tests/golden.rs, tests/determinism.rs, tests/cross_platform_golden.rs; tests/reproducibility_software_assurance_reference.rs (the generated SBOM validates with zero errors against the official CycloneDX 1.5 JSON Schema…impairment_eval impairment-eval シナリオ種別として実行できます（scenarios/impairment-eval.toml）impairment_eval::tests (AUC perfect=1/identical=0.5/tie=0.125, ROC monotone, fused>0.8, per-class layer separation, leakage guard, reproducible corpus, distribution-shift flags optimism); dominance_demonstrators…impairment_study, impairment_ml, eval_stats cargo run --release --example optimism_study で再現できますimpairment_study::tests（クラスごとのオラクル AUC≈1、学習した楽観ギャップ>0、グリッドの形状、ブートストラップ信頼区間が平均を挟むこと、正のスケーリング傾向、ID の特徴量が有限であること、ギャップ予測器が、両方の… のもとで平均を予測する方法に勝つこと…quantum_trade quantum-trade シナリオ種別として実行できます（scenarios/quantum-trade.toml）quantum_trade::tests (ADEV round-trip recovery, NNLS non-negativity, floor-caveat present/absent, benefit>1, monotone envelope + alt-PNT bound); dominance_demonstrators (measured-ADEV is data-driven not floor-assumed…space_weather space-weather シナリオ種別として実行できます（scenarios/space-weather.toml）space_weather::tests（Kp↔ap はグリッド点で厳密、往復変換、単調性、日別 Ap の平均、外気圏温度を公表された太陽活動極小／平均／極大と嵐の増分のアンカーと比較、基準点での密度の単位性、太陽周期の振れ幅…oemoem-interop シナリオ種別として実行できます（scenarios/oem-interop.toml）oem 0.4.5（MIT、https://pypi.org/project/oem/）— 別のコードベースで、kshana が出力する EME2000/UTC の OEM をバイト単位で同一にデコードし（2 個のフィクスチャにわたる 24 状態、位置・速度の Δ = 0）、その厳密なリーダーがメタデータのトークンを確認します。kshana のパーサーも、同梱した外部の OEM で同様に一致します。相互運用についての正直な知見が二件あります（oem ライブラリは kshana の衛星ごとの複数セグメントの規約と、複数エントリの共分散行を拒否します）。これらはテストに記載しています。したがって、これが検証するのは準拠する単一オブジェクトの交換であり、kshana のすべての変種についての CCSDS-502 への完全な適合ではありませんtests/ccsds_oem_interop_reference.rs（24 状態／2 フィクスチャを、独立した oem パーサーがバイト単位で同一にデコード、位置・速度 Δ = 0）；oem::tests（追加のキーワード／コメント／共分散を含む外部ツールの OEM をパース…launchlaunch-window シナリオ種別として実行できます（scenarios/launch-window.toml）launch::tests (due-east launch reaches i=latitude, KSC→ISS = textbook 45°, polar = N/S, i<lat unreachable, 465 m/s equatorial bonus, plane-change 10° ≈ 1.34 km/s + 180° = 2v, daily-opportunity counts, scenario…reentryreentry シナリオ種別として実行できます（scenarios/reentry.toml）reentry::tests（ピーク g は弾道係数に依存せず、物理的な g の範囲内；より急な γ／より速い突入で大きくなる；ピーク g の速度 = V_e·e^(−1/2)、ピーク加熱は V_e·e^(−1/6) でより速い；ピーク g の高度は物理的 +…eo_payload (j2_node_rate, j2_nodal_period, ground_track_spacing_equator_j2, sun_synchronous_inclination) eo-coverage シナリオ種別として実行できます（scenarios/eo-coverage.toml）。そのデフォルトの傾斜角は eo_payload::sun_synchronous_inclination による太陽同期のものであり、検証済みの主張の範囲外の便宜的なデフォルトですeo_payload::tests（700 km での角半径 64° と、高度とともに縮小；直下点→天頂／距離ゼロ、地平線→ε=0／最大中心角、地平線の向こう側はエラー、観測幅は FOV とともに、GSD は高度とともに増大、約 2750 km のノード間隔…space_packet space-packet シナリオ種別として実行できます（scenarios/space-packet.toml）space_packet::tests（ヘッダーのビットは CCSDS-133 のレイアウトに一致、エンコード→デコードですべてのフィールドが往復、範囲外／切り詰められたものは拒否）；tests/ccsds_space_packet_reference.rs（spacepackets 0.32.0 との 33 ケース、うち 12…space_packet（TimeCode、SecondaryHeader、パケット誤り制御、セグメンテーションと再構築、ストリームのデコード）tests/space_packet_ext_oracle.rs（事前登録した五つの基準：CRC、時刻コード、ストリーム、欠落と順序、PUS TM；不一致はゼロ）；space_packet::testsspk_writer (SpkSegment, to_bytes, from_bytes, eval, et_from_label, oem_to_spk_segments) tests/spk_writer_spice_oracle.rs（目録、評価、ビット単位とバイト単位の同一性、OEM のエポック変換；計画した四つのミューテーションチェックで、このテストは失敗する）spk_writer (SpkType::Chebyshev3, SpkType::DiffLines21, SpkSegment, InterpolatedSpk) tests/spk_3_21_spice_oracle.rs (inventory, evaluation both ways, byte identity); spk_writer::testsadm (AemMessage, ApmMessage, quaternion_a_to_b), ndm_xml tests/adm_orekit_oracle.rs (L1 Orekit reads 33 Kshana files, L2 Kshana reads 31 Orekit files, L3 135 record rotations; findings pinned); adm::tests; ndm_xml::testsodm (OpmMessage, OmmMessage, OcmMessage, Section, OcmBlock), ndm_xml tests/odm_orekit_oracle.rs（L1 では Orekit が Kshana の 30 個のファイルを読み込み、L2 では Kshana が Orekit の 25 個のファイルを読み込む；所見は固定し、再発することを検証）；odm::testsattitude_budget attitude-budget シナリオ種別として実行できます（scenarios/attitude-budget.toml）attitude_budget::tests（GG トルクは対称な物体では消え、下側ほど大きく、ΔI に比例し、RSS の二乗和、分散比の和は 1）；tests/attitude_gg_torque_reference.rs（20 ケースを独立した…と比較passespasses シナリオ種別は、行「Apparent ground-station pass prediction with refraction and light time」の見かけのパス予測を実行しますpasses::tests (interp-cross linear + degenerate-safe, polar→mid-lat passes, higher mask ⇒ fewer-or-equal); tests/ground_station_pass_prediction_reference.rs (22 scenarios / 129 passes vs Orekit 12.2 ElevationDetector…passes (predict_passes_apparent, apparent_look_angles, ApparentOptions, p834_tau_s_deg, p834_tau_deg, p834_theta_m_deg, p834_apparent_elevation_deg, PassesScenario) passes シナリオ種別として実行できます（scenarios/passes.toml）。両方の補正がデフォルトで有効ですtests/pass_predictor_on_path_orekit_oracle.rs (60 cases, 1210 passes: AOS/LOS within 3.4e-6 s, bar 5 ms; maximum elevation within 5.5e-7 deg, bar 1e-3 deg; 8979 apparent directions within 8.8e-7 deg, bar 1e-4 deg)…contact_schedule (es_n0_db, select_modcod, fspl_db, atmospheric_loss_db, ccm_modcod, pass_capacity, AcmLinkScenario); passes::predict_passes_apparent acm-link シナリオ種別として実行できます。例示用の入力；MODELLED。contact_schedule::tests::modcod_efficiency_closed_form_matches_the_printed_table; contact_schedule::tests::modcod_selection_is_monotone_and_honours_the_margin…contact_schedule (conflicts, objective, delivered, schedule_chronological, schedule_greedy, schedule_optimal, ContactScheduleScenario) contact-schedule シナリオ種別として実行できます。例示用の入力；MODELLED。contact_schedule::tests::conflicts_cover_turnaround_and_one_station_per_satellite; contact_schedule::tests::greedy_is_feasible_and_the_exact_solver_beats_or_ties_it…linkbudgetlink-budget シナリオ種別として実行できます（scenarios/link-budget.toml）linkbudget::tests (free-space-loss form, link-equation closure); tests/one_way_link_budget_reference.rs (DESCANSO/JPL Galileo X-band DCT reproduced end-to-end + 6 ITU-R P.525 FSL cases across DSN S/X/Ka band centres…frugal (over walker) frugal::tests (hand-derived cost-per-coverage 48/96=0.5, ROI ratio 2.667, bracket-ordering + zero-coverage guards)integrity_impact (over raim) integrity_impact::tests（同じ見逃しが、コンテキストが厳しくなるにつれ Available→MI→HMI に変わる；保守的な PL→Unavailable；軸ごとの HMI；入力ガード）inertial::cai_params (over inertial::quantum_imu) inertial::cai_params::tests（物理的な VRW が、引用された VRW の範囲内に、すべての 3 レベルで収まる；生の縞アンビギュイティ範囲を k_eff·T² から計算；保守的なバジェットは最良より多くドリフトする；すべての範囲に出典あり +…src/benchmark/stanford.rs src/benchmark/stanford.rs::tests（四つの領域、境界値を含む、|誤差|、PL>AL による利用不可）；tests/tib_scorer_reference.rs（固定した合成セットで、分類の件数を独立した numpy と比較）src/benchmark/coverage.rs src/benchmark/coverage.rs::tests (clean/under-bounded/all-unavailable/empty); tests/tib_scorer_reference.rs (counts + rates + coverage_ok vs numpy to 1e-12)src/benchmark/faults.rs src/benchmark/faults.rs::tests (offset profiles, monotone coast, undetectable-set flagging, max_offset consistency, exactly two undetectable classes)src/benchmark/scorecard.rs src/benchmark/scorecard.rs::tests（基準の PL は吸収する；壊れた PL は吸収されず、検出もされない；検出可能なカバレッジの判定；検出不能な… に対しては、カバレッジの判定も検出の判定も得られないという正直さの性質…lunar_time lunar_time::tests (closed-form rate; round-trip); tests/lunar_coordinate_time_reference.rs (LTC self-potential & secular-rate terms vs published Ashby & Patla 2024 values + geocentric Moon speed vs JPL DE440)hybrid_integrity variance が平方メートルであることを内部整合性の検査から推定しなければなりませんでした。その推定は正しかったのですが、だからこそ重要でした。誤っていても、それを捕捉するものは何もありませんでしたhybrid_integrity::tests（解決された構成は、既定値でも上書きでもエコーされ、波長をメートルを介して往復させることはない；すべての単位の項目は、単位と出所の区分の両方を持つ；すべての…hybrid_integrity, linkbudget, jamming hybrid_integrity::tests（可用性は、レポート自身のマージンから再計算した二つの指標の積に等しく、それらのマージンは、レポート自身の EIRP、自由空間損失から再構成される…hybrid_integrity, optical_linkbudget, linkbudget, navsignal hybrid_integrity::tests（比は、出力した二つの区間の除算に相対 1e-15 まで等しく、その逆数とデシベル形式も一致する；各区間の距離と時間のシグマは、厳密に c で関係づけられる；出力した共通の…linkbudgetlinkbudget::tests（三つのバンド、四桁の距離範囲、両方の成立判定にわたって、マージンとその下の自由空間損失を、レポートのみから 1e-9 dB より良い精度で再計算；必要な G/T…lunar_time_budget lunar_time_budget::tests と lunar_time_budget_scenario::tests（四つのクラスすべてが一回の実行にも、要求した部分集合の順序にも存在；すべての行が自身の閉形式と相対 1e-12 より良い精度で一致；スケーリング…frame_eop, realtime_frame_eop frame_eop::tests と realtime_frame_eop::tests（三つの成分すべてが、実際の IERS 抽出の両方にわたり、等しく、要素ごとに同一で、厳密に昇順のエポック集合を持つ；結合した集合は、… のとき共通部分に縮退する…realtime_frame_eop, eop realtime-frame-eop のランタイムのデフォルトは、IERS finals2000A の原文どおりの抜粋をライブラリ自身が埋め込んだ複製です（tools/finals2000A_20260930.txt：連続する日次の 174 行、MJD 61224-61397、2026-09-30 の finals2000A.all から切り出し）。形式が定める三種類の行の版をすべて含み、IERS の I/P フラグ（eop::row_vintage）で分類されます：30 行の Bulletin B 確定値、54 行の速報の実測値（Bulletin B ブロックのないフラグ I）、90 行の Bulletin A 予測値（フラグ P）。ファイル引数もネットワークもない素の実行は、母数の入った地平線ごとの表を出力し、集計は rows = final_rows + rapid_rows + prediction_rows（174 = 30 + 54 + 90）、MJD 61308-61397 にわたって predicted_rows.n = 90 となります。予測と確定の比較の発行時点の打ち切りは、最後の実測行です。以前の 32 行の抜粋（tools/finals2000A_2026.txt、すべての行がフラグ I）と、五行の確定値のみの抜粋は引き続き同梱され、試験されています：それらでは predicted_rows.n は 0 であり、これは入力ファイルの性質であって、パーサーの結果ではありませんtests/embedded_eop_vintage_astropy_preregistered.rs::vintage_of_every_row_matches_astropy_and_predictions_match_bulletin_a（六つの厳密な基準：抽出ファイルのバイト；174 行；ヴィンテージごとの件数と MJD の完全なリスト…antennaantenna::tests と attack_surface::tests（グリッドは完全で、捕捉された割合はすべて [0,1] の範囲内；捕捉された割合は、すべてのノードで送信電力に対して非減少；ビーム幅に対しては単調ではない（NOT）…lunar_time_budget_scenario lunar_time_budget_scenario::tests（すべての 57 個の平均化時間 × 8 項が存在し、グリッドのインデックスは 0..=56 で、それぞれ 8 行を持つ；合計の行は、すべての tau で、その隣にある七つの項の二乗和平方根に等しい；…lunar_time_lab (over clock_specs, lunar_time_budget, lunar_time) lunar_time_lab::tests（free_run_clock_term_is_the_budget_clock_term：ステアリングをオフにすると、クロック項は四つのクラスすべてでバジェットのクロック項とビット単位で一致；bisection_matches_the_closed_form は 1e-9 以内…lunar_vlbi lunar_vlbi::tests (far-field limit matches delta_dor; near-field correction; FD partials); tests/lunar_vlbi_anise_oracle.rs::near_field_delay_disagrees_with_the_anise_light_time_differencelunar_vlbi (KernelGeometry, delay_partials_beacon_body, delay_partials_stations, LunarVlbiScenario); naif_kernel lunar-vlbi シナリオとして実行できます。検証した出力は、カーネル経路の geometric_delay_s 系列と epoch_partials です。カーネル経路では delay_s に、比較していない解析的な差分シャピロ項が加わり、delay_rate と near_field_correction_us も比較していませんtests/lunar_vlbi_spice_oracle.rs::kernel_delay_and_partials_match_spice_light_times_near_j2000（J2000 付近の 25 エポックで DSS-14、DSS-43、DSS-63 にわたる 75 個の遅延：遅延は 1 ps 以内、最悪 0.06 ps；天体固定座標系のビーコン…naif_kernel (DafFile, SpkKernel, PckKernel); ephem_provider (KernelEphemeris) tests/naif_reader_spice_oracle.rs::reader_matches_spice_and_anise_on_the_post_registration_grid（1849-2150 年の 200 エポックでの 600 個の de440s.bsp の状態と 200 個の MOON_PA_DE440 の回転、および… から選んだ無作為な天体の組…earth_gnss_lunar earth-gnss-lunar の種別として実行できます。D7 に従って言い直しました：月までの距離での主張は、実測した二次元の送信パターン（NAVCEN Block IIR/IIR-M）に基づく、一つのエポックでの衛星間の相対的な搬送波対雑音密度と、幾何的な可視性であり、絶対的な C/N0 は主張しません（Parker らは共通の 7 から 12 dB の損失を報告しています）earth_gnss_lunar::tests（11 件のライブラリテスト：地球の縁の半角を閉形式 asin(R/r) と比較し、さらに、掩蔽されないリンクはすべて（EVERY）そのコーンの外側にあることを検証するため、掩蔽テストと縁の角度が…lunar_infra::{orbit, gnss, od} tests/lunar_infra_od_consistency.rs（基準 O1：三日間と一周期にわたって連鎖させた状態遷移行列は、scipy DOP853 と相対 1e-6 まで一致；基準 C1：平均 q と in-95 % の割合；基準 C2：…にわたる標本…lunar_infra::phase; lambda tests/lunar_infra_carrier_phase.rs（基準 Q1：モンテカルロの成功率が、ブートストラップ下限から三標準誤差を引いた値以上；Q2：弧長が増えても三標準誤差を超えて低下しない；Q4：LAMBDA は総当たりと一致…lunar_infra::frame; lunar_datum; lunar_identifiability; lunar_llr_geometry tests/lunar_infra_studies_3_5.rs（基準 F1：CRLB のトレースは上昇せず、最小固有値は周回機のリンクが増えても低下しない。例と、シード付きの無作為な 20 セットの両方で；基準 F2：距離の偏微分は…と等しいlunar_infra::tie; fim::crlb_srif tests/lunar_infra_studies_3_5.rs（基準 T1：局所的な結び付けが緩むにつれて、並進のシグマは低下しない；T2：技術ごとのシグマを 1e-6 倍にしたとき、各組の並進のシグマは、局所的な結び付けの sqrt(2) 倍の 1 % 以内…lunar_infra::geodesy; lunar_od::degree2_tide_accel; lunar_time tests/lunar_infra_studies_3_5.rs（基準 G1：解析的な偏微分は、各順方向モデルの中心差分と 1e-8 まで等しい；G2：5x5 の情報量は、独立した numpy による組み立てと 1e-6 まで等しい；G4：クロックの潮汐…lunar_beacon lunar-beacon シナリオ種別として実行でき、衛星のみ、衛星とビーコン、そして同じ幾何への競合する経路としてのより大きなコンステレーションを報告します。同梱のゴールデン幾何でMEASUREDした値（ユーザーは -80 度、測量した三つのビーコン、t=0 の六衛星の例示用 LCNS、5 度のマスク）：可視衛星 5 機で PDOP 9.6941、3-D の 1 シグマは 11.222 m。実際に地平線を越えるビーコンを加えると PDOP 4.1160、4.765 m で、係数は 2.355 です。24 衛星のサービスでは代わりに PDOP 2.4226、2.804 m で、係数は 4.002 です。レポートは、設定したビーコンの数ではなく可視のビーコンの数を出力し、この幾何では三つのビーコンのうち地平線を越えるのは一つだけです：両側の二か所の場所はユーザーから約 333 km 離れており、2 m のアンテナの地平線は 86 km であるため、読者が三つすべてが寄与したと思い込むことはありませんlunar_beacon::tests（L01 の閉形式に対する地平線の可視性；ビーコン補強した DOP と、補強なしの DOP の比較；誤差バジェットの二乗和平方根；DOP からメートルへの関係）…lunar_common_mode lunar_common_mode::tests（8 件のライブラリテスト：分割は加法的で dy を再構成する；共通モードの共分散は正の共通モード保護レベルを与え、パリティのみの共分散はほぼゼロを与える；…lunar_common_mode lunar_common_mode::tests (common_mode_covariance_gives_positive_cmpl, parity_only_covariance_gives_near_zero_cmpl, envelope_sums_the_two_classes, state_map_matches_split)lunar_combination (problem, model, estimate, formal_covariance); batch_ls (gauss_newton_qr) lunar_combination::tests（模擬した真値を復元；VLBI は局の 3-D の可観測性を回復；決定論的）；tests/lunar_joint_multi_technique_od_reference.rs（6 個の幾何 × 16 個のパラメーター、それぞれ 31 個の観測、Orekit 12.2 / と比較…fimtests/fim_observability_reference.rs（固有値を numpy.linalg.eigh と、CRLB 共分散を numpy.linalg.inv による σ²(XᵀX)⁻¹ と、GNSS の GDOP/PDOP/HDOP/VDOP/TDOP を情報行列から numpy と比較 — すべて 1e-9 まで一致）…lunar_combination (lunar_observability) + fim lunar_combination::tests（地球の基線がなければランク落ち；三本の基線でフルランクを回復 — 解の誤差ではなく情報のランクから導いた 3 局のしきい値；局の CRLB は推定器が達成…lunar_frame_realise lunar_frame_realise::tests（注入したヘルマート変換を復元）；tests/lunar_reference_frame_realisation_reference.rs（独立した閉形式の Umeyama-SVD ソルバーとの 14 ケース；並進の最悪 |Δ| 2.0e-5 m…lunar_service lunar_service::tests（DOP は確認済みのカーネルを再利用；PL は南極のケースに帰着）；tests/lunar_navigation_service_volume_reference.rs（衛星ごとの MCI 位置は <1e-3 m まで、および可視衛星の集合が厳密（EXACT）…lunar_afs::codes, lunar_afs::lsis, lunar_afs::params (IS-GPS-800J indices) lunar_afs::codes::tests（最大長レジスタ、Legendre の均衡、G2 遅延の往復、ティアの合成）；tests/lunar_afs_codes_lsis_reference.rs::afs_codes_finding_one_misprinted_table_cell（LSIS キャッシュなしでは…lunar_afs::waveform::render, lunar_afs::codes, lunar_afs::frame tests/lunar_afs_waveform_lans_afs_sim_oracle.rs::afs_chips_match_lans_afs_sim（210 個の AFS-Q プライマリコードは常に；KSHANA_LANS_RUN と LSIS キャッシュを使うと 630 個のコードすべてで、チップの不一致はゼロ）…lunar_afs::frame, lunar_afs::ldpc, lunar_afs::lsis tests/lunar_afs_waveform_lans_afs_sim_oracle.rs::afs_frames_and_baseband_match_lans_afs_sim（LSIS キャッシュを使うと：LANS-AFS-SIM が送信する 3 フレームは、同じ FID、TOI、データビットから構築され：18,000 シンボル中ゼロ…lunar_afs::waveform (recording and truth labels), xval/lunar-afs/run_pocketsdr.sh tests/lunar_afs_decodability_pocketsdr_v3_oracle.rs::third_run_finding_c1_c2_hold_g0_is_receiver_nondeterminism (third pre-registration: 2 nodes, 4 channels tracked, worst Doppler error 0.57 Hz, worst code offset error…gps_lnav, sdr tests/gps_l1ca_gpssdrsim_cross_generator.rs::gps_sdr_sim_truncates_where_the_broadcast_integer_needs_rounding (pinned finding); tests/gps_l1ca_gpssdrsim_cross_generator.rs::ca_codes_lnav_fields_and_parity_match_gps_sdr_…iq::scene (Scene, SatGeometry, TruthRecord) tests/iq_gpssdrsim_cross_generator.rs::scene_geometry_matches_gps_sdr_sim_channels (11 channels: worst pseudorange 1.6e-3 m against 0.05 m, code phase 5.5e-6 chip against 2e-4, Doppler 7.4e-5 Hz against 0.02 Hz, look…iq::acq (acquire, AcqConfig); iq::io (decode_samples); iq::scene (GpsL1Ca) tests/iq_gpssdrsim_cross_generator.rs::acquisition_threshold_is_crossed_on_gps_sdr_sim_noise_free_samples (pinned finding); tests/iq_gpssdrsim_cross_generator.rs::acquisition_finds_gps_sdr_sim_satellites_in_its_samples…iq::campaign (detect, runner, spec); iq::monitor (stats::gaussian_two_sided_pfa, sqm) tests/iq_campaign_monitors.rs: m1_power_test_false_alarm_rate_matches_the_closed_form (73 of 5900 blocks against the 99 % binomial interval [40, 80] of P_fa 0.01)…iq::campaign (detect, report, runner); iq::monitor::spectral (kurtosis_reference) tests/iq_campaign_roc.rs: r2_with_nothing_to_detect_the_roc_sits_at_chance (AUC cn0_drop 0.500, sqm_delta 0.566, power_drop 0.639 on stated events that attenuate nothing)…iq::labfit (campaign, cn0, iqfit, iqreport, schema, mod); iq::cli::labfit kshana iq labfit 上の [input] campaign、Python の kshana.iq_labfit、MCP の labfit ツール（作業ディレクトリ内のキャンペーンフォルダーのみ）：kshana iq campaign の出力フォルダーを DIGEST で読み込み、スコア付きセルをフィット単位（信号 x ループ設計 x フロントエンドチェーン x ジャマー種別、プールしない）にまとめます。単位ごとに、測定した C/N0 を、定めた J/S に対してスペクトル分離の形でフィットします。ジャマーと信号の電力を独立に測定しなければ Q_eff は C/N0 データから同定できないため、Q は定めた値とし、フィットはしません（種別表の値、イベントの q、種別が不明な場合は定められた中で最も影響の大きい値、cw Q = 1）。フィットするパラメーターは同定可能なオフセット delta_eff = delta - 10 log10 Q で、相関ガードが縮退を報告します。ロックが90 % 未満の C/N0 ビンは打ち切りとして一覧にします。しきい値 J/S は直接と閉形式の両方で求めます。追尾ループモデルと経験的ロックモデルは C/N0 モデルを通して結合し、脱落と再ロックのドウェルを含みます。記録にわたるシード付きクラスターブートストラップ（1000 回の反復）がパーセンタイル区間を与え、90 % 予測区間は残差の抽出から得られます。一記録除外のホールドアウトは内挿と外挿に分け、事前登録した [validation] テーブルはハッシュ化し、各基準を PASS/FAIL で判定します。レポート kshana.labfit-iq/1 は JSON、CSV、生成した Markdown で、単位ごとのブロック付きです。合成のみ（第三者の記録もジャマー波形もなし）。受信機ログの labfit 経路は変更ありませんtests/iq_labfit_campaign.rs: bar_c_holdout_prediction_intervals_cover_between_80_and_98_percent (PI90 coverage 0.891 over 558 bins, 0.900 over 10 time-to-loss events under each lock model)…gps_lnav tests/gps_lnav_rtklib_decode_oracle.rs::rtklib_recovers_every_integer_and_differs_only_by_its_decimal_two_to_the_minus_43 (pinned finding)…gps_lnav tests/gps_lnav_rtklib_integer_oracle.rs::kshana_lnav_integers_decode_in_rtklib_from_an_unseen_broadcast_file（2025 年3月 2 日の IGS 放送ファイルの 32 衛星：960 語中 960 語が RTKLIB のパリティに合格、96 中 96…acquisition, portable_math, realdata::ion_sdr, realdata::lugre tests/lugre_acquisition_gnss_sdr_oracle.rs::finding_dc_artefacts_and_no_contemporaneous_flight_cn0 (pinned finding, data-gated); tests/lugre_acquisition_gnss_sdr_oracle.rs::acquisition_and_relative_cn0_on_lugre_iq_match…acquisition, realdata::ion_sdr tests/lugre_acquisition_predicted_doppler_oracle.rs::noise_alone_crosses_the_sample_power_threshold_on_lugre_iq (pinned finding, data-gated)…acquisition, realdata::ion_sdr tests/lugre_acquisition_cell_average_doppler_oracle.rs::strong_pairs_match_the_prediction_only_with_the_doppler_sign_reversed (pinned finding, data-gated)…acquisition, realdata::ion_sdr, realdata::lugre tests/lugre_surface_acquisition_doppler_oracle.rs::each_surface_acquisition_is_a_single_predicted_visible_satellite (pinned finding, data-gated)…lunar_service lunar_service::tests（手計算した幾何に対する見通し角：真上、真北／真東／真西、対蹠点、および縮退した極での東方向；出力された可視フラグは、独立した可視性…と一致lunar_dpnt lunar_dpnt::tests（クロックの共通モードは厳密に相殺；残差は基線とともに増大；SBAS の PL を再利用；衛星数はビルダーの上限 24 まで尊重されるため、より大きなコンステレーションが黙って… を返すことはないlunar_interop oem ライブラリ（R. J. Anderson）で再解析：座標系と時刻のトークン、およびエポックごとの状態が書き込み精度（1 mm / 1e-9 km/s）で一致し、TIME_SYSTEM を落としたエクスポートは拒否されます。これは構造上の交換のラウンドトリップです。月面の座標系と時刻の物理的な意味は、それぞれの行で独立した参照と照合して確認しているため、この行は MODELLED のままです。0.30 外部比較、所見（MODELLED のまま）：二つ目の独立したリーダーである Orekit 12.2 の CCSDS OEM パーサー（Apache-2.0、厳格なデフォルト）は、LTC と TCL の時刻系を実装していないため、二つの月面ファイルをどちらも拒否します（クレートの EME2000/UTC の OEM は復号でき、TIME_SYSTEM を TDB に置き換えれば月面ファイルも復号できます）。oem 0.4.5 は、未対応の時刻系にフォールバックすることによってのみ、書き込み精度の範囲内でこれらを復号します。これらの月面ファイルを主流の CCSDS リーダーとやり取りできることは、確立していませんlunar_interop::tests（OEM は月面の REF_FRAME/TIME_SYSTEM を持つ；時刻メタデータは往復する；KIF エンベロープ）；tests/lunar_interoperability_export_reference.rs（kshana が出力した月面 OEM を、独立した oem で再パース…resilience::arch, resilience::score, resilience::diversity, resilience::timeline resilience::score::tests (monotonicity, composite bounds, level cap, modelled-provenance); resilience::diversity::tests (inverse-Simpson, common-mode, SPOF)resilience::stats, resilience::study, resilience::panel resilience::stats::tests (Kendall-tau hand example, Dirichlet simplex, flip-rate); resilience::study::tests (stability control, instability witness, declared-vs-measured, diversity collapse)representativenessrepresentativeness::tests (validated-needs-external-anchor, modelled-needs-gap, modelled-TRL-ceiling, malformed-band, JSON fields)qtradeqtrade::tests（便益の極性は高いほど良い／低いほど良い、実際の TradeResult を忠実にラップ、不正直なエビデンスは拒否、確認済みの FoM には外部のアンカーが必要、決定論的な JSON）quantum_devices quantum_devices::tests (clock cards honest+ordered; entanglement precision ~1/sqrt(tau); detected rate -10x/10dB; dark counts degrade; systematic floor bounds; card modelled+valid)timetransfer_chain timetransfer_chain::tests（精度は積分とともに向上；量子は勝つこともあれば負けることもある（勝ちも負けも）；PL は有限で正；セキュリティ FoM は [0,1] の範囲で、攻撃の遅延とともに増大；異常の Pd は単調；トレードは is_honest）quantum_nav_od quantum_nav_od::tests（量子は長い途絶で古典に勝る；優位性は途絶に依存；トレードは is_honest）；tests/gnss_free_quantum_navigation_reference.rs（推測航法の位置誤差の増大を独立した…と比較quantum_faults quantum_faults::tests（解析的な AUC の既知の値；経験的ブートストラップ AUC は閉形式を挟む；量子はより小さな故障を検出し、AUC も高い；巨大な故障では優位性が消える；5 クラスのカタログ；トレードは is_honest）attitude_dynamics attitude_dynamics::tests (apply/solve inverse, spherical-top zero torque, principal-axis fixed point, short-run energy+momentum conservation, q̇=½q⊗ω, symmetric-top rate sign + body-cone precession)…cw_dynamics (propagate, second_order_correction, propagate_second_order) cw_dynamics::tests（Φ(0)=I、クロストラックは分離した単振動）；tests/cw_dynamics_reference.rs（閉形式の Φ を、同じ Hill の常微分方程式の独立した固定ステップ RK4 積分と、軌道の三分の一にわたって <1e-6 まで比較；Φ(t)Φ(−t)=I が…geolocationgeolocation::tests（ノイズなしの TDOA の順方向→逆方向が 1e-6 m まで一致；J·CRLB=I、共分散は対称な正定値；受信機を追加すると、CRLB の位置分散のトレースは非増加；TDOA+FDOA の結合で、移動する…を復元entry_eo_ascent::entry_heating (simulate_entry, inertial_to_relative, EntryHeatingScenario) entry-heating シナリオ種別として実行できます。tests/entry_stardust_published.rs（ピーク 35.44 g を、公表された 33.4 g と比較、+6.1 %、基準 10 %；惑星相対の突入速度 12.551 km/s を 12.6 と比較、基準 0.1 km/s）；entry_eo_ascent::entry_heating::tests（回転座標系…entry_eo_ascent::entry_heating (stagnation_heat_flux, simulate_entry) entry_eo_ascent::entry_heating::tests::heat_flux_relation_has_the_published_form_and_constants; entry_eo_ascent::entry_heating::tests::lift_lowers_peak_deceleration_and_heat_flux_of_a_shallow_entry…entry_eo_ascent::eo_radiometry (Imager, snr_budget, giqe4_niirs, EoRadiometryScenario) eo-radiometry シナリオ種別として実行できます。entry_eo_ascent::eo_radiometry::tests::diffraction_mtf_has_its_closed_form_values; entry_eo_ascent::eo_radiometry::tests::a_pure_pixel_aperture_has_a_ramp_edge_and_rer_one…entry_eo_ascent::ascent (simulate_ascent, AscentScenario); reentry::us76_pressure ascent-losses シナリオ種別として実行できます。entry_eo_ascent::ascent::tests::the_loss_identity_holds_to_integration_error; entry_eo_ascent::ascent::tests::vertical_vacuum_burn_has_only_gravity_loss_and_stays_vertical…twstft_budget (counter_readings, solve_offset, combined_uncertainty, flicker_phase, two_way_series, series_stability); time_transfer_budget (TimeTransferBudgetScenario, read_series) time-transfer-budget シナリオ種別として実行できます。twstft_budget::tests（双方向の式はオフセットを厳密に復元；Sagnac 項は BIPM のループの閉形式に等しい；電離圏項は周波数分割に従い、対流圏は相殺される；フリッカー位相は…optical_atmosphere (rytov_variance, scintillation, gamma_gamma_cdf, fade_margin_db, aperture_averaging_factor, cloud_optical_depth, clear_air_optical_depth); optical_linkbudget (optical_link_budget_atmosphere) optical-atmosphere シナリオ種別の内部で実行できます。tests/optical_atmosphere_reference.rs（独立した mpmath オラクルに対する、事前登録した基準 A1-A3：216 の Rytov グリッド点で最悪の相対誤差 3.4e-7（基準 1e-6）、シンチレーションの最悪 4.5e-16、開口係数…optical_weather; optical_sitediv; optical_techniques; optical_atmosphere_scenario optical-atmosphere シナリオ種別として実行できます。tests/optical_atmosphere_identities.rs（基準 A4：rho = 0 は独立な和集合に、rho = 1 は最良の単一サイトに 1e-12 まで等しく、サイト数と相関の両方で単調性の違反はゼロ；最初の…optical_outage_holdover (couple, clock_psds); holdover (coast_phase_sigma, holdover_seconds, phase_to_range_m) optical-atmosphere シナリオ種別の内部で実行できます。tests/optical_atmosphere_identities.rs（基準 A6：途絶ごとのタイミング誤差は holdover::coast_phase_sigma に等しく、距離誤差は 9 個のクロック、3 個の平均継続時間、3 個の広がり、4… にわたり phase_to_range_m とビット単位で等しいoptical_timeseries (site_series, SiteModel, SeriesSpec, Series); optical_atmosphere_scenario (TimeseriesSpec) [timeseries] テーブル（duration、step、seed）により、optical-atmosphere 種別は、地点ごとに、記載した地点モデルの時間にわたる、シード付きの一つの実現も書き出します：雲のエピソード（晴れの区間は指数分布、雲による停止は記載した平均とばらつきを持つ対数正規分布、雲に覆われる時間の割合は記載した雲の確率に設定）、雲のエピソードごとの対数正規分布の液水柱一つ、ステップごとのガンマ・ガンマのシンチレーションサンプル一つ、そしてこれらから得られるリンクマージン、雲とシンチレーションのフェード、リンク稼働フラグ。あわせて、実現した可用性、雲の割合、停止の回数、最長の停止を出力します。テーブルがなければ、結果は 0.37 のドキュメントです。抽選は可搬な分布と数学のルートを通るため、ネイティブと wasm32 で同じバイト列になります。tests/optical_atmosphere_timeseries.rs（xval/optical-atmosphere/PREREGISTRATION-timeseries.md の基準 T1-T6、最初の実行の前に固定：同じシードなら同じバイト列、別のシードなら別のバイト列；テーブルがなければキーなし；…にわたり…odf (parse_odf, Odf, OdfObservation, OdfRamp, seconds_1950); mars_od (DopplerModel, RampTable, compress_two_way, MarsDynamics, fit, fit_damped); naif_kernel (SPK type 1); gravity_pds (SphericalHarmonicField::from_shadr) tests/mro_odf_reader_label_oracle.rs（実際の MRO ODF、2007-304/305 を、その PDS ラベルと照合：レコード数、グループの位置、局、開始時刻と終了時刻、データ型が一致；ファイル末尾の表の行数は外れる…aocs (AocsConfig, required_torque, motor_torques, rates, rk4_step, simulate, mrp_from_quaternion); aocs_kind (AocsScenario) aocs シナリオ種別として実行できます（真値状態ループ）。tests/aocs_basilisk_oracle.rs（3 ケース、各 601 サンプル：MRP の最悪 2.4e-14、基準 1e-9；機体レート 1.6e-15 rad/s、基準 1e-9；ホイール回転数 2.9e-11 rad/s、基準 1e-6；印加モータートルク 1.2e-13 N m、基準 1e-9；t = 0 のトルク…aocs_mekf (Mekf, GyroSim, attitude_error, spd_solve6); aocs_kind (estimator) aocs 種別は、その推定値で制御ループを閉じることができます。aocs_mekf::tests::mekf_is_consistent_over_monte_carlo_seeds（40 個のシード、後半にわたる六自由度の平均 NEES は 4.5 から 7.5 の範囲内）；aocs_mekf::tests::star_tracker_updates_bound_the_attitude_error…wahbawahba::tests（A(単位クォータニオン)=I；Jacobi 固有値ソルバーは既知の対称行列で Kv=λv を満たしトレースを保存；K は対称）；tests/wahba_reference.rs（TRIAD、Davenport の q 法、QUEST…acquisitionacquisition::tests（Marcum-Q の中心の場合 Q_1(0,b)=exp(−b²/2)；P_d=Q_M(√(2Mρ),√γ) の恒等式；P_fa↔しきい値の往復変換を M と P_fa にわたって；ROC の単調性 — P_d は SNR とともに上昇し、しきい値とともに低下し、P_d→P_fa となるのは…lambdalambda::tests（L D Lᵀ は Q を再構成）；tests/lambda_reference.rs（Z 変換はユニモジュラーで |det Z|=1、Q_z=ZᵀQZ は対称正定値、行列式を保存し、非対角の相関の総和はより小さい；Schnorr–Euchner の ILS は…と一致bplanebplane::tests（フライバイのスカラーは閉形式を満たし、二つの |B| の恒等式が一致し、|B|>r_p；転向角は近点半径とともに減少し、δ→0 / δ→π の極限に達する；偏向は v∞ の速さを保存し…crpacrpa::tests（z/z=1、|exp(jθ)|=1、zᴴz=|z|² を含む複素数演算の恒等式；決定論的なヌルステアリングは、厳密な単位 SV ゲインと <1e-9 のジャマーヌルを、3 個のジャマーを持つ 4 素子の ULA で与える；N 素子アレイは…を除去powerlawpowerlaw::tests（純粋な各ノイズタイプは固有の ADEV の対数・対数の傾きを示す — ホワイト FM −½、フリッカー FM 0、ランダムウォーク FM +½、ホワイト PM −1；フリッカー FM 項は、五桁にわたり √(2 ln2·h_{-1}) に等しい平坦なフロア…oem (covariance_block_kvn, parse_covariance_block) oem::tests（対称正定値の共分散が KVN→パースで f64 の丸め誤差まで往復し、対称性を保つ；ブロックは、COV_REF_FRAME の有無にかかわらず、下三角成分をちょうど 21 個、すなわち行ごとに i+1 個出力する；…を持つブロック…inertial::coast (ErrorDynamics, ErrorSource, source_error_m, CoastModel, Contribution, Combination, TrnFixMode, first_crossing_s, InsTrnCoastScenario); scenario kind ins-trn-coast ins-trn-coast シナリオ種別として実行できますtests/ins_coast_schuler_navego_oracle.rs::coast_error_model_matches_the_corrected_navego_runs（48 点、30 s から 3600 s の六つの誤差項、Tactical グレード、45 deg N、水平かつ北向き：すべての点が 5 % 以内…aperture_duty passes::predict_passes が出力するのと同じウィンドウの語彙を aperture_duty::windows_from_passes で変換したもの）、アパーチャ数、明示的な調停ポリシーを受け取り、航法デューティ、通信デューティ、アイドルデューティ、セッションごとの停止を返します。ポリシーは文書化された既定値を持つ入力であり（navigation-priority。ほかに communications-priority と非プリエンプティブの first-come-first-served）、レポートには、解決したポリシー、その完全な定義、デューティと停止の定義を載せます。調停規則なしで引用したデューティの数値は再現できないためです。スケジュールはウィンドウ境界にわたる厳密な区間掃引であり、あるウィンドウが終わる位置でちょうど次が始まる場合は競合せず、航法、通信、アイドルのアパーチャ秒は、その一回の掃引で独立に積算されます。aperture-duty-cycle シナリオ種別として実行できますpasses::predict_passes の出力と照合します。アパーチャが一つで競合するサービスがない場合、航法のアパーチャ秒は予測器自身のパス継続時間の合計に等しくなります。外部オラクルは主張しておらず、存在もしません。この機能は手計算を置き換えるものであり、手計算と照合するものではありません。同梱のコンタクトプランは飛行したものではなく例示用であり、調停規則を明記したプランと答えの組を公表している運用スケジューラーはありません。明記されていないポリシーで計算したデューティは、明記されたポリシーで計算したものとは比較できず、ポリシー依存性は測定しています（同一のプランで航法デューティが 100/150 対 50/150）。スルーと切り替えの時間、データ量、バッファ状態、エネルギー、リンクの成立は、暗黙にモデル化するのではなく、レポートのラベルで除外していますaperture_duty::tests（次のウィンドウが始まるちょうどその時に終わるウィンドウは競合せず、それを一秒早めるとちょうど一秒のコストがかかる — 一つずれのガード；開口数を超えて重なるウィンドウは…lunar_jamming (composing jamming, lunar_service, lunar) jamming 種別とは異なり、信号側は固定の受信電力ではありません。衛星ごとの等方受信電力は、その衛星自身のリンクバジェットの EIRP − FSPL（斜距離）なので、J/S は月面での距離と仰角に応じて衛星ごとに変わります。可視の（エポック、衛星）リンクごとに一行を、JSON と *.table.csv 成果物として出力し、J/S の差のもとになる二つの受信電力を並べて記載します。集計した性能指標はその表の横に置き、表の代わりにはしません。lunar-jamming シナリオ種別として実行できますlunar_jamming::tests (17 lib tests: j_over_s_equals_the_difference_of_two_independent_link_budget_runs; the_report_prints_both_link_budget_legs_so_the_difference_is_checkable_from_it…lunar_jamming (denial_js_db, range_for_free_space_path_loss_m, Cn0Distribution, DenialContourPoint, ContourBand, DenialContour; inverting jamming::effective_cn0_dbhz, jamming::j_over_s_db and jamming::free_space_path_loss_db) lunar-jamming レポートは、拒否コンターを一つのスカラーに依存しなくなりました。衛星ごとの表にわたって、測定した目的信号 C/N₀ の完全な分布を出力します：n、min、p05、p25、median、p75、p95、max、mean、標本標準偏差、そして標本自身の非対称性 (p95 − median) − (median − p05)。これは、変更のないリンクごとの行の横に載せます。コンターはその後、これらの各順序統計量で、エンジンが認める両方の拒否基準のもとで報告され、どちらか一方で代用することはありません：従来の電力比基準（J/S = 30 dB。attack_surface と tracking_loop が使うのと同じしきい値で、公開済みの月面リンクジャミング表の denial 列の背後にある基準）と、ロック喪失基準（実効 C/N₀ が tracking_threshold_dbhz まで低下すること。このレポート自身の links[].status 列の採点に使う基準）です。各コンター点は拒否平面の両方の軸で与えます：シナリオの離隔で必要なジャマー EIRP と、シナリオの EIRP での拒否離隔です。そのため、帯はコンタープロットを描く軸と同じ軸上の区間になります。帯の端は contour(p05) と contour(p95) です：標本自身の分位数に同じ閉形式の写像を適用したものであり、標本にフィットしたσでも、median ± k·stdev でもなく、レポートは数値の横の band_definition 文字列でそのことを明記します。stdev は連続性のために出力されますが、何にも使われません。C/N₀ がすでに追尾しきい値以下の分位数には、有限の拒否 J/S がありません。その列は、無限大や切り詰めた半径としてではなく、数えた理由を付けた null として出力しますlunar_jamming::tests (10 lib tests: the_contour_is_the_exact_inverse_of_the_functions_the_rows_were_scored_with; the_band_is_the_measured_quantiles_pushed_through_the_contour_not_a_sigma…hybrid_integrity hybrid_integrity::tests（検出力の曲線は、故障ゼロでの誤警報率から、最小検出可能バイアスでの 1 − P_md まで変化する；最小検出可能バイアスを noncentral_chi2_cdf に戻して…hybrid_integrity hybrid_integrity::tests（コーストは、ハンドオフのブロックが報告する共分散のトレースからちょうど始まり、両方向で、再生した対角成分が報告されたハンドオーバーからずれないようになっている；報告された交差時刻…lunar_service, antenna antenna::tests と lunar_service::tests（パターンに対する二分法で求めた半値の交点は、公表された Airy の x = 1.61634 に一致し、正確な 1.02899·λ/D の幅を与え、慣例の 1.02 を記録する…tracking_loop (composing sdr, jamming) tracking-loop シナリオ種別として実行できますtracking_loop::tests（開ループの Costas 弁別器のジッターを、シード付きの合成 IF で前進させた sdr::correlate と比較、3 個のプールしたノイズ実現 × 900 エポック、35-45 dB-Hz で 0.63% まで一致、…lunar_vlbi_fim (composing lunar_vlbi, fim, cio, lunar_frame, frames) lunar-vlbi-fim シナリオ種別として実行できますlunar_vlbi_fim::tests（24 件のライブラリテスト：解析的なヤコビ行列を、lunar_vlbi::vlbi_delay_s の中心差分と比較。状態自身の座標を順方向に回転させ、決して… に触れない経路で…lunar_vlbi_fim (composing lunar_vlbi, fim, cio, lunar_frame, frames) all-stations-fixed は、すべての地球局を固定し、ビーコンの月固定座標だけを推定します。地球局の座標は遅延モデルの入力であって未知数ではないため、これが月面地点の不確かさが実際に示される構成です。これが存在するのは、局レベルの共分散と月面地点の共分散が、レバーアーム ρ/B で隔てられた別の量であり、これまで一方を他方に対して引用することを妨げるものがなかったためです。出力される beacon_link ブロックは、ρ、最長の基線、レバーアーム、等分配リンクの月面地点形式 c·σ_τ·(ρ/B)·√(g/N)、計算した座標ごとのビーコンσ、およびその比を持ちます。ビーコンを推定しない場合や行列がランク落ちの場合、この比は、誤解を招く値ではなく null になります。B は、存在する最長の基線、つまり最も有利なものを採るため、比は過小評価にしかなりません。estimate_beacon = true を伴う datum = "all-stations-fixed" として実行でき、ビーコンを推定しない場合は、欠けている入力を示すメッセージとともに拒否されますlunar_vlbi_fim::tests（7 件のライブラリテスト：すべてのデータムの綴りは parse/as_str で往復し、未知のものは拒否される；ビーコンなしですべての局を固定すると、estimate_beacon を名指しするエラーで拒否される；…lunar_vlbi_fim (epoch_geometry_with, schedule, schedule_jacobian); ephem_provider (KernelEphemeris); naif_kernel lunar-vlbi-fim シナリオとして実行できますtests/lunar_vlbi_surface_point_spice_oracle.rs::surface_point_covariance_kernel_path_matches_spice_geometry_and_numpy (16 observations identical; rank 3/3; eigenvalues within 5.9e-5; condition 5.9e-5; beacon sigmas…lunar_dpnt lunar_dpnt::tests（純粋に加法的なガードで、キー集合の差分はちょうど {correction_link, units} であり、既存のすべての値は、変更前に取得したリテラルとビット単位で同一；測量誤差は…ない（NOT）…lunar_station (over lunar_dpnt, lunar_service) lunar-station-coverage 種別）：既知の南極地点にある差分基準局について、点ごとと領域全体で、補正後と補正前の位置誤差（3-D、水平、垂直）のパーセンタイル、利用不可のエポックごとに理由（user_lt4、station_missing_sat）を付けた可用性、実行前に定めたしきい値に対するカバレッジ、DO-229E の保護レベル、方位セクターごとのカバレッジ半径、局と最悪点での補正リンクバジェットを求めます。実在のどのシステムの性能についても述べるものではありません。いかなる機関とも提携しておらず、承認も受けていませんtests/lunar_station_coverage_reference.rs（one_point_one_epoch_one_trial_reduces_to_lunar_differential_pnt：受信機ノイズの有無にかかわらず 1e-12 m まで；zero_baseline_floor_is_zero_in_every_trial：0 から 1e-9 m…lunar_terrain (over skyline, lunar_service::topocentric_basis); lunar_station; lunar_service (coverage_masked, masked_visible) lunar_terrain::tests（bare_sphere_horizon_is_the_dip：レイマーチングは、すべての方位角で -acos(R / (R + a)) を 1e-3 deg まで再現；a_cone_on_a_lat_lon_tile_matches_the_analytic_cone：同じコーンを 0.005 deg の…にサンプリングlunar_receiver; lunar_station lunar_receiver::tests (multipath_is_the_do229_form; dll_noise_matches_a_hand_computation: 0.825279 m at 45 dB-Hz, 0.5 Hz, d = 1, 20 ms; bad_sections_are_refused); tests/lunar_station_ext.rs…lunar_station (orbit_growth_range_sigma_m) tests/lunar_station_ext.rs（growth_absent_or_zero_is_the_frozen_error_run；the_growth_term_has_the_closed_form_sigma：成長ありから成長なしを引いたリンク誤差は、標本のシグマ変化率が tau / sqrt(3) で、1600 にわたり 6 % 以内…lunar_solution; lunar_station (solution_figures) lunar_solution::tests（one_epoch_without_height_is_the_snapshot_solve：lunar_dpnt::position_error_vector_from_range_errors と 1e-8 m まで等しく、緩い高さの行は何も変えず、厳しい行は高さ誤差を固定する…lunar_station (over lunar_dpnt, lunar_service) tests/lunar_station_published_oracle.rs::recorded_finding_one_of_six_bars_passes (the recorded figures against the registered bars); tests/lunar_station_published_oracle.rs::published_claims_comparison_run (ignored…lunar_service (lunar_protection_level, lunar_protection_level_with_sigma), lunar (lunar_araim_with_sigma), raim (araim_raim) tests/lunar_protection_level_reference.rs（7 件のサービスボリュームのケース — 南極、中緯度、赤道、隆起した高地 — 6 から 19 機の衛星、σ_URE 10/30/60 m、P_HMI 1e-3 から 1e-7 まで、保護レベルは…にわたるaraim_reference (araim_reference_protection_levels, published_vectors), raim (araim_protection_level, araim_integrity_risk, normal_quantile) araim-reference-check シナリオ種別として実行できますtests/araim_reference_vectors.rs（公開済みベクトル2件と負の対照6件、フィクスチャ tests/fixtures/araim_reference/wgc_araim_reference_vectors.txt：公称バイアスを除くと、公開されている VPL を2.6457 m外し、10…araim_reference (add_v42_subset_plan, add_v42_protection_levels_to_order); raim (araim_subset_raim, SubsetRule) tests/raim_multi_sv_subsets.rs（deeper_orders_change_nothing_when_pairs_suffice、triples_are_refused_at_order_two_and_planned_deeper：N_fault,max >= 3、P_THRES 以内の未監視リスク、三つ以上を除去する部分集合…clock_integrity (run, sky_at, IntegrityCfg); scenario (Scenario::integrity); report (RunResult::integrity_fom); api (clock dispatch) tests/clock_integrity.rs（the_block_is_separate_and_absent_by_default：ホールドオーバーの数値は変わらず、111個の拒否されたエポックは保護レベルなしで利用不可、runs > 1 では 拒否…cislunar_observability, observability_gramian, intersat_range, cislunar_srif cislunar_observability::tests と observability_gramian::tests（既定のドキュメントは、その JSON、サマリー、SVG の FNV-1a でビット単位まで固定され、明示した既定値は何も変えないことを確認し、八つの…frame_eop, realtime_frame_eop frame_eop::tests, realtime_frame_eop::tests and tests/operational_eop_predictor_reference.rs (analytic-signal coefficient recovery to 1e-9 at a 365-day window; a bias-plus-rate fit equal to the closed-form…lunar_frame_campaign (composing lunar_vlbi, lunar_vlbi_fim, fim, lunar, lunar_frame_realise, frames, cio, lunar_frame) lunar-frame-campaign シナリオ種別として実行できますlunar_frame_campaign::tests（ライブラリテスト21件：Helmert 設計を lunar_frame_realise::apply_helmert の中心有限差分と比較。このモジュールは測地系の対象そのものであり、導関数を計算しないため [p]ₓ を固定する…cislunar_arc_recovery, batch_ls cislunar-arc-recovery シナリオ種別として実行できますcislunar_arc_recovery::tests と tests/cislunar_arc_recovery_reference.rs（公開されたグリッド上で両方の境界とその比を固定。測定誤差曲線を、行ごとに公式の共分散行と比較し…lunar_ephemeris, lunar_service ephemeris_path の背後にある公表済みのコンステレーション定義を受け付け、それに対して同一のカバレッジ / DOP / 保護レベルの掃引を実行し、それが含意する σ_URE 測距要件を、変更していない例示のケプラー解および摂動解の結果と並べて出力し、その差を独立した名前付きの量として示します。すべての数値は、カーネル由来、公表された軌道要素由来、モデル由来を区別する出所クラスを持つため、下流での引用で両者が混同されることはありませんlunar_ephemeris::tests（形式と座標系の解析、ノードで厳密かつノード外では線形軌跡で厳密なラグランジュ補間、ICRF の要素は IAU 2015 簡約を採用し、明示的な icrf_to_iau_moon とバイト単位で一致…field_schema inherits-scenario-label と depends-on-input に対応づけています_m という名前のフィールドの正しい単位が m であることを外部で確認するものはないため、「確認済み」とするのは誤りです。独立した名前の接尾辞によるクロスチェックを、当時記述されていた1,434個のフィールドに対して実行しました。単位を示す接尾辞を持つ691個のうち、40個が宣言された単位と食い違い、その40個すべてが説明できました（毎秒の接尾辞、最小値、開口秒、ナノメートルに見える接尾辞に対するニュートンメートル）。そのため、誤った単位は見つかりませんでした。このクロスチェックはその後再実行されておらず、カバレッジはそれを超えて拡大しています。数値は、現在の合計で言い直すのではなく、実際に測定した値のままにしています。その変更の時点（0.27.0）で、カバレッジは56種別のうち7から61種別のうち60へ、また1354個のフィールドのうち389から1,744個のうち1,742へ移りました（docs/field-units-schema.json、陳腐化の検査が最新に保ちます）。未対応の種別は残っていません（上限は0、FUT-28、0.36）。最後の一つは sweep-nd で、その列のうち二つは呼び出し側がキーを指定するため、単位がデータになります。それらは mixed - see note と記述されるようになり、すべての位置の単位は、掃引対象のパック自身の units 表から key_units と metric_units に読み込まれます（または軸の宣言された unit から取得しますが、両方ある場合はパックのものと一致しなければならず、どちらもない場合は推測せず null と明記します）。cislunar-observability はその一つ前のもので、リリース済みのドキュメントに units ブロックが加わったことでリストから外れました。units を禁止キーとして挙げていた加法性の固定は、今では追加が加法的であることを証明します。ブロックを再び取り除いても、ドキュメントは、それが存在する前に固定した二つの定数に対してハッシュが一致するため、追加の下でリリース済みの値が動いた場合は、依然として失敗します。この作業では、既存コードの単位またはドキュメントの欠陥が十二件見つかりましたが、R1 のもとで修正せず報告していますtests/field_units_global.rs（登録済みの61種類すべてを実行、各一つのドキュメント形式：すべての数値の葉は、そのドキュメント自身の units ブロックのエントリに解決されなければならず、不正なエントリはすべての種類で欠落として数える…lunar_llr, realdata::llr_crd (composing fim, cio, frames, ephem, lunar_frame, lunar_frame_campaign) lunar-llr-datum シナリオ種別として実行できます。確認済みの主張（0.36）は限定的です。解析的な既定の経路で、データム共分散の計算が、新しい実測ノーマルポイントに対する独立した SPICE の光行時間と NumPy のオラクルと一致するというものです。これは LLR の精度ではなく、解析的な月が正確であることの証拠でもありませんtests/lunar_llr_real_data.rs（テスト11件：コミット済みの CRD ファイル15件すべてが記録済みのダイジェストとバイト単位で同一、全349レコードを説明済みで、337件を使用し、12件を理由を明示してスキップ、アーカイブされたすべてのレンジが…lunar_llr (over lunar_frame_campaign::beacon_information, schedule_for and solve_datum_information, lunar_vlbi_fim) tests/lunar_station_geodesy.rs（empty_or_absent_extra_lists_are_bit_identical：空のリストとベースラインの例は、既定のレポートとサマリーをバイト単位で同一に出力、an_added_site_never_increases_any_variance：…lunar_llr (llr_geometry_with, LunarLlrDatumScenario); ephem_provider (KernelEphemeris); naif_kernel lunar-llr-datum シナリオとして実行できます（別の区間では normal_points_dir を指定）tests/validate_llr_datum_kernel_moon_fresh.rs::llr_datum_kernel_moon_matches_spice_and_numpy_on_fresh_normal_points（未使用の2019-Q2ノーマルポイント447件、シグマとノルムは1e-2の4.0e-5以内、条件数は2e-2の1.6e-5以内…ephem (moon_position), lunar_llr, realdata::llr_crd tests/lunar_llr_real_data.rs::the_analytic_moon_series_disagrees_with_jpl_by_the_same_amount（週次の地心状態12件、最悪エポックの角度は < 0.3°、RMS は < 5e5 m と断言、モジュール自身の文書化された主張に対して…scripts/gate.sh, scripts/check-gate-receipt.sh, scripts/check-repeatability.sh, scripts/install-gate-hook.sh cargo test --all を実行し、パイプを介さずに真の終了コードを取得し、コミット、統合バイナリ数、テスト数、所要時間を記したレシートを書き出します。プッシュ前の検査は、クリーンなツリーで、そのコミットを記した有効なレシートがないプッシュを拒否します。再現性は scripts/check-repeatability.sh が別に抽出し、ライブラリのスイートを N 回実行して、合格するテストの集合が異なれば失敗とします。tests/source_guards.rs（テスト9件：ソースツリー全体に対する両方のガードに加え、各ガードを両方向で評価するミューテーションフィクスチャ。衝突する両方のパスで報告された F22 パターン、出荷済みのアトミックシーケンス…src/integrity/tpl_scalar.rs integrity::tpl_scalar::tests (rank-1, fuse/exclude, bias-dominance, IR cross-check); tests/tpl_scalar_numpy_oracle.rs::scalar_mhss_pl_matches_numpy (300 committed cases: numpy lstsq subset estimators, general…src/integrity/composed_pl.rs integrity::composed_pl::tests (monotone, P0-floor, K(IR/2), exponents, lower-semicontinuity)src/integrity/composed_pl.rs tests/cti_holdover_coverage_reference.rssrc/integrity/lil_envelope.rs integrity::lil_envelope::tests (divergence, threshold, IR-tightening dominance)src/integrity/hetero_budget.rs integrity::hetero_budget::tests + tests/hetero_budget_reference.rs; tests/hetero_budget_utc_k_oracle.rs::overbound_exceedance_on_real_utc_k_finding (data-gated: skips with a message when the BIPM series is absent)…src/integrity/hetero_budget.rs integrity::hetero_budget::tests (correlated_fused_bias_dominates_independent_when_correlated, rho_one_single_realizer_recovers_linear_sum) + tests/hetero_budget_reference.rssrc/integrity/gls_commonmode.rs integrity::gls_commonmode::tests + tests/gls_reference.rs + tests/gls_whitening_numpy_oracle.rs::whitening_and_mahalanobis_match_numpy_lapack (201 committed SPD cases: factor, whitened residual, whitening operator and…src/integrity/gls_commonmode.rs integrity::gls_commonmode::tests (common_mode_shift_inflates_statistic_but_not_contrasts, post_fit_common_mode_statistic_is_zero) + tests/gls_reference.rs…src/integrity/gls_commonmode.rs integrity::gls_commonmode::tests (separation_alone_is_blind_to_common_mode, degenerate_direction_or_non_pd_gives_no_finite_ceiling, every_nonzero_direction_under_pd_omega_has_a_finite_ceiling)…lunar_identifiability tests/lunar_datum_identifiability_reference.rs::decompose_matches_scipy_reference（条件の良いものから{0,3}の準縮退に至る合成7x7 SPD 行列16個。Schur lambda_min / 原点 CRLB / |corr| 対…lunar_identifiability, lunar_datum tests/lunar_datum_identifiability_reference.rs (single_internal_range_row_has_six_dim_datum_null_space; extending_the_librating_arc_lifts_the_origin_scale_degeneracy)…lunar_datum, lunar_identifiability lunar_datum::tests (LLR/VLBI/orbiter analytic partials vs finite difference); lunar_identifiability::tests (adding_an_offradial_technique_collapses_the_origin_scale_degeneracy; transverse-vs-radial via crlb_diag)lunar_orientation lunar_orientation::tests (de440_moon_pa_reproduces_fixture_rows, de440_moon_pa_shows_real_libration); tests/lunar_pa_frame_realisation_guard.rs::the_orientation_series_interpolation_error_is_tens_of_metres_not_sub_metre…lunar_llr_geometry lunar_llr_geometry::tests (reflector_and_station_catalogs_are_well_formed, analytic_partials_match_finite_difference, llr_one_way_range_is_earth_moon_scale, zero_datum_reproduces_nominal_range…lunar_llr_geometry (reflectors, stations_itrf, ItrfStation, StationCoordinates, llr_bcrs_one_way_m, body_to_bcrs_tdb, shapiro_leg_m, BcrsEvent); lunar_orientation (try_de440_moon_pa_body_to_inertial); lunar_vlbi (station_inertial_position_itrs) tests/lunar_llr_geometry_range_oracle.rs::reflector_ranges_bcrs_iers2010_relativistic（ILRS ノーマルポイント192件：RMS 2.81 m、ITRF2020 の二局のみでは2.96 m、両方とも最大10 m）…lunar_gauge tests/lunar_coupled_gauge_reference.rs::coupled_gauge_matches_numpy_on_real_de440_rows（固有値9個、defect/dim_spatial/dim_temporal/coupled_dim/p_st_norm、および well_posed の{scale,offset} Schur 周辺分布…lunar_gauge lunar_gauge::tests (coupled_marginal_well_posed_network_is_psd, coupled_marginal_twoway_equals_more_oneway_in_diverse_network, coupled_marginal_twoway_lift_three_orders, oneway_range_row_has_correct_temporal_entries…lunar_gauge, lunar_time tests/lunar_rate_frame_coupling_preregistered.rs（entry1_d_alpha_d_scale_matches_the_published_l_m_for_both_cited_fields：L_m は Ashby と Patla 2024 に対して2.8e-6以内、J2 は AIUB-GRL350A/B から…lunar_gauge lunar_gauge::tests（classify_is_invariant_under_null_basis_rotation - 軸に沿った零空間基底とその0.6 rad の回転は、同一の defect、dim_spatial、dim_temporal、coupled_dim、p_st_norm を与える…lunar_techniques lunar_techniques::tests（combine_is_additive_order_independent_and_empty_is_zero - 空の選択はゼロ行列を与え、単一の選択は単位行列、二つの選択は独立に書いた要素ごとの和に等しく、さらに…lunar_interop_budget tests/lunar_interop_budget_reference.rs（raw / rotation-residual / theta_moon / theta_frametie / theta_excess / reducible / irreducible を、プロバイダーの組3つについて、独立した SciPy SVD lstsq フィットと比較…lunar_interop_budget lunar_interop_budget::tests（バジェットに対する単調性、プロバイダーごとの CRLB の下での RSS バジェット低減、月のレバーアームでの回転許容差の実例、支配項 = 回転）lunar_interop_budget lunar_interop_budget::tests（CommonEphemeris はバジェットをゼロにする、CommonFrameTie < PerProvider、実際の分割での irreducible_fraction > 0.5、規約の順序）lunar_faultobs tests/lunar_faultobs_reference.rs（faultobs_matches_numpy_scipy_on_real_de440_rows：84×84 の P⊥ を要素ごとに、trace(P⊥) = parity_dim = 52 および rank(G) = 32、検出可能性ノルムとフラグ、MDB の二次形式 cᵀWP⊥c +…lunar_faultobs lunar_faultobs::tests — byzantine_c3_rank_deficient_but_nonzero_is_undetectable (nonzero yet rank-deficient block ⇒ block_spark 1, f_detect 0; independent columns ⇒ block_spark 2, f_detect 1)…lunar_faultobs lunar_faultobs::tests — holdover_floor_self_ref_and_anchored (self-referential net: the common rate lies in N(GᵀWG), temporal_gauge_dim 2; after one external rate-tie row: rate expelled from the gauge…lunar_faultobs lunar_faultobs::tests — provider_mismatch_split_common_undetectable_differential_detectable (common bias undetectable, differential detectable), slope_infinity_in_range_finite_detectable (g7: slope ∞ for b ∈ range(G)…telecom_timing (mtie_sliding, mtie_curve_ns, tdev_curve_ns); allan (mtie, time_deviation) telecom-timing シナリオ種別が報告する最大時間間隔誤差と時間偏差を、通信規模のホールドオーバー記録に対して求めます。O(n) の単調キューによるスライディングウィンドウ MTIE（telecom_timing::mtie_sliding、一日分の一秒サンプルを高速に保つために必要）と、エンジンの TDEV（allan::time_deviation）を、その種別が報告するグリッドで評価し、系列を取り込む完全な実行から読み戻しますtests/telecom_timing_reference.rs（エージング、フリッカー、温度を含む、コミット済みの2 048サンプルのチップスケール原子時計ホールドオーバー系列に対する MTIE の平均化係数17個と TDEV の平均化係数12個を、allantools 2024.06 と <1e-12 / <1e-9 で比較…telecom_timing (MASKS, eprtc_a_holdover_limit_ns, check_curve, check_mask) telecom-timing シナリオ種別として実行できますtelecom_timing::tests（mask_boundaries_follow_the_tables_exactly - 開端と閉端、G.8271.1 表7-3の τ = 400 s のギャップ、表が示すすべてのブレークポイントでの連続性…telecom_timing (MASKS, Segment::tau_exponent, MeasurementFilter::LowPass10HzAtSource, MaskCondition::Autonomous) telecom-timing 種別のための、七つの恒温の MTIE と TDEV のワンダー生成マスク：G.811（09/1997）PRC（自律）、G.812（06/2004）の Type I、II、III、G.8262（10/2024）EEC の Option 1 と 2、G.8262.1（11/2025）eEEC（ロックモード）で、表が書くべき乗則の部分（8 τ^0.5 など）を含み、各区間は印刷どおり開区間または閉区間として、条項が述べる10 Hz フィルターを通して測定します（サンプリングの前に適用されるものとして扱います）。参照シナリオ scenarios/telecom-synce-eec.toml は、フリーランの OCXO を三つの EEC マスクに対して設定します。未実装：温度変化時の許容値、ホールドオーバー、過渡、ジッター、G.811 の周波数精度telecom_timing::tests (g811_prc_masks_follow_clause_6_1; g812_masks_follow_tables_3_4_6_and_7; g8262_masks_follow_tables_1_3_4_and_5; g8262_1_eeec_masks_follow_tables_1_and_3; a_linear_piece_is_evaluated_without_powf…clock_log (read_input, MeasuredPhaseReport, MEASURED_UNITS, TELECOM_LOG_UNITS); telecom_timing (SeriesInput::clock_log); api (clock kind [clock_log]) [series.clock_log]、clock_log ブロックを追加）と clock 種別（[clock_log]、ADEV、TDEV、MTIE、表の SHA-256、位相の SHA-256 を含む measured ブロックを追加、runs = 1）に、オプトインで組み込まれています。表がない場合、どちらの種別もバイト単位で同一ですclock_log::tests（形式ごとの手書きログ：ヘッダー、区切り文字、単位、周波数の積分、TICC のチャネルとモード、欠損とポリシー、拒否）、tests/clock_log_allantools.rs（事前登録した比較…clock_log (parse_linuxptp, parse_chrony, grid_timed_offsets) clock）は、複数のインターフェース、時計、アドレスのうち一つを指定します。ログは telecom-timing の系列、clock 種別、holdover-test 種別に入力されますclock_log::tests (ptp4l_reads_the_locked_offsets_in_ns; linuxptp_reads_only_the_named_program; ts2phc_gap_is_refused_or_filled; linuxptp_reads_syslog_prefixed_lines_and_picks_an_interface…holdover_test (HoldoverTestScenario, recovery, linear_fit); telecom_timing (check_mask, check_envelope, budget_results) holdover-test 種別：時刻誤差の記録（linuxptp、chrony、TICC、TimeLab、RINEX のクロックログ、または time_s,time_error_ns の組）は、運用者が示す GNSS 除去と復旧の二つの時刻で、ベースライン、ホールドオーバー、復旧の各ステップに分割されます。ベースラインはロックされた時計向けに書かれた ITU-T マスクに対して、ホールドオーバーはホールドオーバーまたは自律時計向けに書かれたもの、ePRTC-A のホールドオーバーのエンベロープ、時刻誤差の予算に対して測定されます。ホールドオーバーは、システムが保った最小二乗の周波数オフセットを報告し、復旧は、|TE| が指定した帯域内に入ったかどうか、いつ入ったか、指定した滞留時間にわたってとどまったかどうかを、ピークと最大のステップとともに報告します。すべての限界値は telecom-timing 種別が転記したものであり、二つの時刻は運用者の申告であって、検証されませんholdover_test::tests (the_record_is_split_at_the_stated_times; holdover_figures_match_a_hand_computation; recovery_is_timed_from_the_restoration; masks_are_measured_on_the_step_their_condition_names…ssv (constellations, geom, sweep, pattern, check) gnss-ssv 種別の可用性の掃引：コンステレーションごと（GPS、GLONASS、Galileo、BDS、QZSS、NavIC）と合成で、球面上のユーザー（ブックレットの 2,562点のグローバルシェル、14日間、1分刻み）または軌道上のユーザー（GEO、HEO、月遷移）について、信号が一つ以上、および四つ以上ある（ユーザー、エポック）の組の割合と、最長の途絶を、ブックレットの付録 C のケプラー軌道、基準のオフボアサイト角内での一定の最小放射電力、球に50 km を加えた地球による遮蔽、C/N0 のしきい値から求めます。ユーザーアンテナはブックレットの表 B10 のものですssv::geom::tests (the_grid_has_the_booklets_2562_points_on_the_unit_sphere; the_interval_form_equals_the_general_predicate; a_user_behind_the_earth_is_blocked_and_one_beside_the_limb_is_not); ssv::sweep::tests…gnss-ssv 種別における、掠める GNSS 信号に対するリム線の電離圏、プラズマ圏、大気の効果と、弱信号の受信機設計ssv (limb, weak) ssv::limb::tests (the_chapman_layer_peaks_at_its_height_with_its_density; the_surface_limb_bends_about_one_and_a_third_degrees; plasmaspheric_tec_is_a_few_tecu_for_an_equatorial_gps_to_geo_ray); ssv::weak::tests…ssv::nav (run_nav, Ekf) gnss-ssv 種別の [navigation] モード：擬似距離に対する九状態の拡張カルマンフィルター（位置、速度、受信機の時計バイアスとドリフト、太陽輻射圧のスケール）で、擬似距離の可用性、雑音、C/N0 は掃引と同じリンク幾何から得ます。真値は J2、太陽と月の第三体、影を含む輻射圧で積分し、フィルターは J2 と第三体をモデル化し、輻射圧を推定します。GNSS 軌道の内側と上側での位置と速度の誤差、最長の測定欠損、平均 NEES を報告しますssv::nav::tests (the_filter_converges_where_signals_are_plentiful_and_is_deterministic; the_covariance_is_consistent_with_the_error; without_signals_the_filter_coasts_and_the_gap_is_reported); ssv::scenario::tests…ssv::formation (run_formation, RelEkf) gnss-ssv 種別の [formation] モード：チーフとデピュティがそれぞれ絶対フィルターを実行し、チーフに対するデピュティの位置を、絶対推定値を引くことと、両機が追跡する信号の一重差分の擬似距離に対する相対フィルターによって推定します。相対的な力学は、二つの非線形な軌道の差ですssv::formation::tests (differencing_beats_subtracting_absolute_estimates_and_is_deterministic); ssv::scenario::tests (navigation_and_formation_run_and_report; formation_needs_navigation_and_one_mode_only)mission-thread）mission_thread (scenario, handover, conversions, budget, phase) mission-thread kind：フェーズの文書で、各フェーズは登録済みの八つの kind のいずれかです。フェーズは順に実行され、6x6 共分散、クロック、座標系が、明記した規則のもとで引き継がれます（carry、inflateは、直線モデルで明記した区間にわたる白色加速度ノイズ、reacquireは、推測航法の後にデータ源の下限まで下げますが、それを下回ることも、リセットすることもありません）。GCRF、MCI、MCMF の座標系変換と、TT を経由する時刻系変換は、それぞれが独立したバジェットの行になります。月の状態は任意の DE440 カーネルの切り出しから得て、解析的な級数を明記したフォールバックとします。さらに、明記した要求に対する余裕、最も弱い部分、イベント、タイムラインの図も出力します。すべての数値は、明記した入力か、その入力のモデルですmission_thread::scenario::tests::a_thread_runs_hands_over_converts_and_names_the_weakest_link; mission_thread::scenario::tests::bad_documents_fail_with_the_reason…launch-ascent）mission_thread::earth::launch (LaunchAscent) launch-ascentフェーズ：白色加速度ノイズを伴う等速の位置・速度共分散（推測航法の水準）、捕捉時間の後で、明記したフェードの外側に適用する、明記した精度の GNSS 測位解、同じ測位解で補正されるバイアスとドリフトのクロック、そして駐機軌道への投入状態mission_thread::earth::launch::tests::with_gnss_the_sigma_settles_near_the_fix_and_an_outage_lets_it_grow; mission_thread::earth::launch::tests::before_acquisition_the_sigma_only_grows_and_a_longer_acquisition_is_worse…leo-rendezvous）mission_thread::earth::rendezvous (LeoRendezvous); cw_dynamics; mission_thread::sensors leo-rendezvousフェーズ：目標の LVLH 軸での相対状態を、閉じた形の Clohessy-Wiltshire 遷移で表し、白色加速度ノイズを伴う 6x6 のカルマン共分散と、その時点の距離でのセンサーの分散を持つ位置更新を、明記したセンサーの区間（ILLUSTRATIVE な光学カメラ、ライダー、電波測距の形式）にわたって適用します。ドッキング窓は、相対シグマが捕捉領域の内側にとどまり始める時刻からフェーズの終わりまでの時間です。チェイサーの絶対共分散はそのまま引き継がれ、その旨が行に示されますmission_thread::earth::rendezvous::tests::the_relative_sigma_falls_through_the_legs_and_opens_a_docking_window; mission_thread::earth::rendezvous::tests::without_relative_sensing_the_sigma_only_grows_and_no_window_opens…tli-and-cruise）mission_thread::earth::tli_cruise (TliCruise); propagator; ssv::sweep tli-and-cruiseフェーズ：平均状態はエンジンの Cowell 伝播器で求めます（地球の点質量と J2、第三体としての太陽と月、月はスレッドの DE440 カーネルがその区間を覆う場合はそれから、太陽は解析的な級数から）。共分散は、その伝播の前進差分による状態遷移行列（区間ごとに、公称の実行と摂動を加えた六回の実行）に、白色加速度ノイズを加えて求めます。これに、TLI 噴射の大きさと指向の誤差、軌道区間の代わりとなる接触軌道に沿った宇宙サービスボリュームのスイープから可用性と PDOP を得るgnss-ssvの測位解、そして地上ネットワークのデューティで調整した、地心方向に沿った距離と距離変化率の追跡を、Joseph 形式の更新で加えますmission_thread::earth::tli_cruise::tests::the_stm_is_symplectic_for_the_conservative_part_and_matches_a_finer_difference; mission_thread::earth::tli_cruise::tests::with_no_tracking_the_covariance_is_the_stm_propagation_…entry）mission_thread::earth::entry (Entry); reentry entryフェーズ：噴射を行わないtli-and-cruiseの帰還の慣性飛行で、再突入インターフェースで終わります。経路角とそのシグマは、有限差分の勾配により完全な共分散から求めます。角度が明記した回廊の内側にある確率。公称の角度と回廊の両端での、エンジンの平面弾道の点質量による再突入（スキップアウトを検出）によるピーク減速度を、Allen-Eggers の閉形式と並べて示します。着地フットプリントは、明記したダウンレンジ感度と、軌道面に直交する方向のインターフェース共分散から求めます。揚力、誘導、加熱はモデル化していませんmission_thread::earth::entry::tests::the_flight_path_angle_and_its_sigma_follow_the_velocity_error_over_the_speed; mission_thread::earth::entry::tests::the_corridor_probability_is_the_gaussian_mass_inside…mission-threadの[ground_network]）mission_thread::earth::ground_network mission_thread::earth::ground_network::tests::a_vehicle_over_a_station_is_seen_and_one_on_the_other_side_of_the_earth_is_not; mission_thread::earth::ground_network::tests::the_moon_is_in_view_of_three_well_spread_statio…lunar-orbit-rendezvous）lunar_rendezvous (LunarRendezvousScenario); lunar_phase; mission_thread::lunar lunar-orbit-rendezvous kind とフェーズ：弧にわたる、二機の共同のバッチ Gauss-Newton 推定（二十一個のパラメータ：両機の状態と、共通のものと独立のものを含む、持続的な信号空間の位置バイアス）。弧の四分の一、半分、全体へと、ステップ半減を伴って拡大しながら、各機の絶対測位解（AFS パイロット符号追跡の下限、ILLUSTRATIVE な中継衛星の組）とクロスリンクの距離から、クレートの月の力モデルのもとで求めます。平均の正規化推定誤差の二乗、円軌道での Clohessy-Wiltshire との照合、引き継がれる 6x6 共分散を報告しますlunar_rendezvous::tests::b1_mean_nees_is_inside_the_registered_band_in_all_four_configurations; lunar_rendezvous::tests::circular_cw_check_is_within_the_pre_registered_bar…lunar-descent）lunar_landing (LunarLandingScenario); lunar_phase; terrain_nav lunar-descent kind とフェーズ：動力降下にわたる、軸ごとの五状態の慣性誤差モデル（位置、速度、加速度計バイアス、傾き、ジャイロバイアス）。AFS 測位解（単独、または差動で、クロック補助を伴う三つの中継衛星の場合を含む）、地形相対測位解（合成起伏に対するエンジンの terrain-nav マッチャー、または、アパーチャー問題の規則を伴う LOLA DEM に対するクラメール・ラオ下限）、そして月時刻で補助し、モンテカルロによる着地楕円を求めますlunar_landing::tests::b4_with_no_aid_the_landing_error_is_the_closed_form_inertial_drift; lunar_landing::tests::b4_each_aid_reports_exactly_what_the_reused_kind_gives; lunar_landing::tests::b3_ellipse_calibration…lunar-surface）lunar_surface_map (LunarSurfaceMapScenario); lunar_phase lunar-surface kind とフェーズ：地点と季節ごとの、中継衛星の可用性と PDOP、地球と太陽の可視性、そして規律された月面クロックを、moonlight-service-volumeの地形スカイラインとともに求めます。単一地点の実行は、その kind の可用性と PDOP とビット単位で一致しますlunar_surface_map::tests::b5_equals_the_service_volume_for_a_single_site; lunar_surface_map::tests::b5_equals_the_service_volume_with_the_real_terrain; lunar_surface_map::tests::terrain_never_adds_availability…lunar-ascent）lunar_ascent (LunarAscentScenario); lunar_phase lunar-ascent kind とフェーズ：経路に沿った比力を伴う動力上昇にわたり、軸ごとの五状態の慣性誤差モデルを実行し、AFS 測位解と月時刻で補助して、軌道へ引き継がれる投入時の位置・速度共分散と、エンジン停止時の分散（報告のみで、引き継ぎません）を報告しますlunar_ascent::tests::with_no_aid_the_insertion_error_is_the_closed_form_inertial_drift; lunar_ascent::tests::the_aid_never_hurts_and_the_velocity_is_carried_with_its_correlation…lunar_od (LunarForceModel); precise_od; mission_thread_lunar_oracles (example) tests/mission_thread_lunar_oracles.rs::the_stored_numbers_meet_or_miss_the_registered_bars_as_recorded; tests/mission_thread_lunar_oracles.rs::the_fixtures_match_their_recorded_hashestli-and-cruise）mission_thread::earth::tli_cruise; propagator; mission_thread_oracle (example) tli-and-cruiseフェーズの平均状態の伝播（Cowell、地球の点質量と J2、第三体としての太陽と月、月は DE440 の切り出しから）を、2022-11-16 18:00 TDB から 72 時間の慣性飛行の弧について、12 時間間隔のエポックで、公開されている Artemis I の JPL Horizons 軌道と比較します。合格基準は、実行の前にコミット済みのファイルで固定されていますtests/mission_thread_oracle.rs::the_stored_numbers_miss_the_registered_bars_as_recorded; tests/mission_thread_oracle.rs::the_diagnostic_places_the_miss_in_five_impulsive_events_not_in_the_force_model…inertial::cai_error_terms inertial::cai_error_terms::tests (raman_transfer_short_pulse_limit_matches_the_acceleration_transfer_function; white_raman_phase_closed_form_matches_quadrature; short_pulse_band_limited_closed_form_matches_quadrature…allan (edf_greenhall, greenhall_edf_core); assurance::uncertainty (edf) tests/greenhall_edf_allantools.rs (bars_1_to_3_against_allantools; bar_4_wrappers_equal_the_core); tests/greenhall_edf_no_moved_output.rs (uncertainty_edf_is_bit_identical_to_the_0_36_portable_baseline)…telecom_timing (PRESETS, fit_noise, with_flicker_floor, synthesize_holdover); models (ClockModel) telecom_timing::tests（every_preset_carries_a_named_datasheet_and_figures、the_noise_fit_envelopes_every_datasheet_point、pure_aging_matches_its_closed_form - 離散的なエージングのランプは、(1/2)·D·t² の閉形式の0.1 %以内…slot_timing (ClockNoise::from_phase_record, fit_weighted, slot_budget, breach_after_sync_s) slot-timing 種別の実測記録の経路：位相記録のオーバーラップ Allan 偏差を、edf 重み付きの非負最小二乗で、白色位相と IEEE Std 1139 の周波数変調の基底にフィットし（slot_timing::fit_weighted）、時刻誤差がしきい値に達するコースト時間について反転します（slot_timing::slot_budget）。赤色雑音の下限は、仮定するのではなく、記録から測定しますtests/slot_timing_cs5071a_holdout.rs（holdover_inversion_predicts_the_held_out_caesium_record：記録の最初の三分の一でフィットし、0.5、0.75、1、1.5、2、2.5 ns での一シグマ超過を予測し、測定値と比較…slot_timing (predicted_error_s, breach_after_sync_s, terms_at, slot_budget, ClockNoise::from_datasheet, SlotTimingScenario); clock_state (ClockClass::Tcxo, Ocxo, Rafs, source) slot-timing 種別：予測誤差 E(t) = k·√(σ₀² + σ_x²(t)) + (|y₀| + |c_T·ΔT|)·t + ½|D|t² を、逸脱、残り時間、補正の遅延を差し引いた再同期の間隔、一日あたりの補正回数について反転し、各項を内訳として示し、支配的なものを名指しします。時計は、六つの ClockClass の既定値（TCXO、OCXO、RAFS を追加し、それぞれ一つのデータシートを引用）、telecom-timing のプリセット、インラインのデータシート、または実測の記録から取ります。出典の最長の平均化時間を超える逸脱は、外挿としてフラグを立てますtests/slot_timing_igs_holdout.rs（GPS Block IIF 衛星時計10個、IGS 最終クロックの14日分：8個は1.5の合格基準以内、G25 と G30 は最大約2倍楽観的で、固定済み）、tests/slot_timing_ocxo_holdout.rs（測定された…orbital_timing (orbital_timing, visibility_half_angle_rad, max_pass_s, crosslink_neighbour_is_outside_footprint) slot-timing kind のスプーフィングのセクションとして利用できます。円軌道の速度と周期、地上のスプーファーが 一回の通過で衛星に到達できる最長時間、時計支援モニターの下限と CUSUM の検出遅延、条件付き保護レベル（下限に、検出遅延の間のコースティングを加えたもの）、規定の最大ランプレートのスプーファーが、衛星が可視範囲を離れるか独立した確認が行われるまでに蓄積する引き込み量、そして各地上接触またはクロスリンクの確認が 一台の地上スプーファーから独立しているかどうかを扱いますorbital_timing::tests（reduces_to_the_terrestrial_tpl - 時計にフリッカー、ホワイト位相、ランダムランの項がない場合は、まさに tpl::timing_protection_level_ns となる、leo_geometry_matches_its_closed_forms…navsignal (Modulation::psd, spectral_separation_coeff_offset, q_from_ssc); spectrum (psd_nulls_hz, psd_peak_hz, main_lobe_null_to_null_hz, Jammer::ssc) spectrum::tests（bpsk_main_lobe_null_to_null_is_two_n_times_1_023_mhz - BPSK(1) の2.046 MHz と BPSK(10) の20.46 MHz を閉形式上で数値的に特定、boc11_lobes_are_centred_at_plus_minus_1_023_mhz - 搬送波ヌル…spectrum (SpectrumScenario, SpectrumModel::bin_psd_w_per_hz, SpectrumModel::band_state, effective_cn0_multi_dbhz, system_temp_k, Jammer::power_fraction_in, Jammer::duty) spectrum kind：L バンドの電力スペクトル密度の周波数×時間グリッドです（熱雑音の下限 k T_sys、ここで T_sys = T_ant + 290 K (F - 1)、インターフェース仕様上の最小受信電力にある各信号、および on/off の時刻をもつ連続波、狭帯域、チャープ、整合雑音のジャマー）。各セルはそのビンと行にわたって平均されます（チャープは完全および部分的なスイープにわたって厳密に、ジャマーはデューティによって平均）。行ごとに、帯域ごとの実効 C/N0 = [1/(C/N0) + sum (J/S) kappa]^-1、帯域ごとの J/S、帯域内の J/S、そして C/N0 のバーを伴う SVG ウォーターフォールを出力します。レポートには、同じリンク入力に対する jamming kind のチェーンとの相互チェックを含みますjamming kind の耐ジャミング式とリンクバジェット（同じコードを同じ入力で呼び出したもの）、および k T0 F の雑音下限の閉形式への帰着です。その下にある信号スペクトルは上の、外部の参照と照合して確認済みの行であり、ジャマーの電力、タイムライン、フロントエンドの帯域幅はシナリオの入力で、スペクトルは連続的であり（拡散符号の線スペクトルなし）、ジャマーに対して自動利得制御、ブランキング、アンテナパターンは作用しません。この合成を照合できる、測定されたジャミング下のスペクトルはリポジトリにありません。jamming kind の Q の表（CW と狭帯域は 1、広帯域とスイープは 0.36 以降 2：教科書の値で、navsignal の閉形式に固定）は、このモデルの CW の値とは一致しますが、このモデルが導く C/A に整合した雑音の値（1.5）や、帯域内の正規化を行わない平坦なヌルからヌルまでの雑音の値（2.2）とは異なります。レポートは両方を表示しますspectrum::tests（agrees_with_the_jamming_kind_chain - J/S は jamming::j_over_s_db に等しく、実効 C/N0 は jamming::effective_cn0_dbhz に等しい。Q = 1/(R_c kappa)、誤差は1e-9 dB 以内、ジャミングの32.105 dB のアンカー…sigmf (read, write, encode, decode, parse_meta, meta_to_json); spectrum (welch_psd, fft_in_place, synthesise_iq) spectrum kind の [iq] セクションは、モデルから IQ、SigMF、Welch へと処理してモデルと比較します。[recording] セクションは実際の記録を推定します（ネイティブビルド）。この合成とそれらのモデルとの比較は、確認済みとする主張の範囲外ですsigmf::tests (cf32_round_trip_is_exact_to_single_precision; ci16_round_trip_is_within_half_a_code; ci16_is_little_endian_i_then_q; integer_encoding_counts_saturation; metadata_uses_the_core_namespace…ephem (standish_state, standish_elements, standish_nominal_error, ecliptic_to_icrf); ephem_provider (AnalyticSolarSystem); solar_system (SolarSystemScenario) solar-system kind として実行できますtests/solar_system_standish_preregistered.rs::standish_rms_errors_are_within_explanatory_supplement_table_8_10_1（1800-2050年の重心は表1から、紀元前3000年から紀元後3000年は表2から、8908と21857のエポック、最悪の RMS…ephem_provider (KernelEphemeris::relative_position_utc, utc_to_tdb_jd2); naif_kernel; timescales tests/kernel_ephemeris_skyfield_oracle.rs::kernel_ephemeris_matches_skyfield_at_utc_epochs（1973-2026年の UTC エポック200個での位置600件、事前登録のハッシュから抽出、最悪値は合格基準の0.66、2.96 m）…radiometric (light_time_solution, two_way_range, shapiro_delay); solar_system (link, link_on); ephem_provider (AnalyticSolarSystem) solar-system kind は、観測者に対するすべての天体と任意の追加リンクについて、body-pnt kind は天体から地球へのダウンリンクについて出力しますtests/solar_system_light_time_solver_preregistered.rs::light_time_solver_on_de441_positions_matches_horizons_lt_within_1e_6_s（水星、金星、火星、木星、土星の重心、太陽、月から地球まで…ephem (standish_state, StandishElements::state_at_mean_anomaly, Planet::Pluto); solar_system (position_label) tests/solar_system_horizons_reference.rs（standish_table1_uranus_and_neptune_exceed_the_nominal_error：公称の経度誤差の2.04倍と5.16倍で固定、六倍未満…ephem (satellite_state, Satellite, SatelliteMethod, moon_icrf, moon_icrf_velocity); ephem_provider (AnalyticSolarSystem) tests/solar_system_horizons_reference.rs（moons_track_horizons_to_the_measured_angles：2000年から2040年にかけて惑星から見た最悪の角度誤差は、フォボス5.65度、ダイモス0.38、イオ0.40、エウロパ1.63、ガニメデ0.22…body (Body::by_name, Body::facts, Body::prime_meridian, SOLAR_SYSTEM, BodyFacts); solar_system (SolarSystemScenario, position_label) solar-system kind は、これらを 十八天体すべてについて、位置、光行時間、一周回にわたる軌道トラックとともに報告し、各天体には VALIDATED または MODELLED のラベルが付きますbody::tests (every_catalogue_body_resolves_by_name_and_carries_its_record; a_zonal_field_is_referenced_to_its_sources_radius; retrograde_rotators_have_negative_rates_and_periods_match_the_iau_rate); solar_system::tests…body (Body::iau_rotation_et, Body::iau_angles_et, Body) tests/body_orientation_spice_oracle.rs::orientation_matches_spice_pxform_for_the_fourteen_added_bodies（1955年から2044年のエポック41個、574個の行列が1e-9 rad 以内、最悪はフォボスの1.43e-10 rad）…body_pnt (BodyPntScenario, formal_sigma, fix_error); orbit (dop); batch_ls (gauss_newton); mars_pnt (chord_clears_sphere); mars_frame (bodyfixed_to_inertial) body-pnt kind：名前で選んだ天体の周りの周回機または地表のランダーが、その天体の周りの Walker 航法コンステレーションからの片道の疑似距離（天体の J2 による永年ドリフトを含む二体軌道、未知のユーザー時計）と、任意で地球からの時計に依存しない往復距離（各エポックでの地球の方向と距離は解析的なエフェメリスから）を用いて航法を行います。視線は天体の球と地表の仰角マスクによって遮られます。エポックごとに、コンステレーションのみの GDOP と PDOP（orbit::dop）、地球の行がある場合とない場合の形式的な位置の不確かさ、それぞれについてシード付きのガウス・ニュートン法による解（batch_ls::gauss_newton）、および天体から地球への光行時間と往復時間を出力しますbody_pnt::tests (relay_period_is_keplers_third_law_for_the_body; an_orbiter_keeps_its_radius_and_a_lander_sits_on_the_surface; the_earth_range_never_worsens_the_formal_uncertainty…constellation (WalkerSpec::elements, gps_slots, galileo_walker, glonass_slots, GPS_BASELINE_SLOTS, GPS_EXPANDABLE_SLOTS) constellation-design kind のジェネレーター：T/P/F の規約による Walker デルタ型とスター型のパターン（ノード間隔 360/P または 180/P、軌道面内の間隔 360·P/T、軌道面間の位相オフセット 360·F/T）、そして公表されている公称要素から構築した GPS のベースラインおよび拡張 24 スロット、Galileo、GLONASS のプリセット。これらは、各文書が明示するグリニッジ時角により、地球固定座標系に配置されますconstellation::tests::walker_24_3_1_reproduces_galileo_os_sdd_table_23（RAAN と平均近点角の全24行を1e-9度まで）、constellation::tests::glonass_icd_slot_formula_is_a_walker_24_3_1（ICD のスロット式と…constellation (coverage, dop_at, NormalAccum) constellation-design のカバレッジエンジンを、GPS Standard Positioning Service Performance Standard（SPS PS）の Appendix B の条件（恒星日 一日、287 回の 五分ステップ、緯度の余弦で重み付けした 4 x 4 度の全球グリッド、すべて可視、マスク 5 度、受信機の時計は 一つ）で実行したもの：全球の HDOP の分布、PDOP の中央値、および PDOP が 6 以下となる可用性を、全球と最悪地点で示しますconstellation::tests::gps_baseline_global_dop_matches_the_sps_performance_standard（HDOP の中央値0.940、90 %値1.165、95 %値1.255、98 %値1.370、平均0.965を、0.94、1.16、1.25、1.37、0.96に対して比較、合格基準は0.03、各固定…constellation (coverage, ConstellationDesignScenario, beidou_slots, body_by_name) constellation-design kind：明示的な設計とマルチシェルの設計、一回の実行での複数のコンステレーション（コンステレーションごとに受信機の時計 一つ）、天体定数による地球、月、火星、BeiDou のプリセット（中軌道の位相と東経 118 度の傾斜静止軌道の交差をモデル化）、セルごとの可視衛星数、GDOP、PDOP、HDOP、VDOP と可用性、間引いた地上軌跡、そして 5 000 機の設計を 10 度のグリッドで 一秒に満たない時間で実行する、衛星直下点の緯度による可視性のプレフィルターconstellation::tests（prefilter_matches_brute_force_exactly - すべてのマップとカウンターは、直接の仰角テストによる走査と一致する、five_thousand_satellites_on_a_coarse_grid - 5,000機の衛星、実行時間を出力し…campaign (run_campaign_detailed, run_chain, presets, extract, to_svg) campaign kind のフェーズ：各フェーズは、既存の kind の 一つ以上のシナリオを run_toml で実行し、その出力を、kind ごとのプリセットまたは明示的な結果パスにより名前付きチャネル（時計の時刻誤差とガード、平均の実効搬送波電力対雑音密度比と追尾下限、垂直保護レベルとアラート限界、位置誤差、追尾中の衛星、警報フラグ）へ読み込み、フェーズの開始位置に配置して共通のグリッドに保持し、フェーズの境界とイベントを付けます。状態は、carry（チャネルが前のフェーズの終了値から継続）、handoff（前のフェーズの数値を次のシナリオに書き込む）、end_at（スプーフィングモニターの検出時刻など、実行が計算した時刻にフェーズが終了）によって引き継がれます。さらにキャンペーンのハッシュと、すべてのメンバー結果にわたるダイジェストを出力しますtests/campaign_composition_reference.rs (a_one_phase_clock_campaign_reproduces_the_standalone_run_bit_for_bit, a_one_phase_integrity_campaign_reproduces_the_standalone_run_bit_for_bit…campaign (run_sweep, run_monte_carlo, ensemble); sweep (GenericAxis, coords_of, set_dotted_value); inertial (metric_stat) campaign kind の sweep（任意の kind のドット区切りキーを一つから三つ、汎用の sweep の軸の値上で指定し、必要に応じて各ノードでアンサンブルを実行）と monte_carlo セクション：実現 k は base_seed + k で実行され、各メトリクスは平均、標準偏差、最近順位法による 5th/50th/95th パーセンタイル、および平均に対する固定シードのパーセンタイルブートストラップ 95% 信頼区間を報告します（inertial::metric_stat）。メトリクスの単位は、掃引する kind 自身の units ブロックから読み取りますtests/campaign_composition_reference.rs (a_fixed_seed_ensemble_is_byte_stable_and_each_realisation_is_the_standalone_run; the_ensemble_mean_and_spread_match_the_white_fm_closed_form — 200 seeds of a…campaign (run_compose) campaign kind の compose セクション：名前付きの共有値（たとえば一つのジャマーの電力と位置）を、それぞれが束縛するキーで各メンバーに書き込み、すべてのメンバーを実行し、メトリクスごとにメンバー間の最小値、最大値、平均値を、該当するメンバー名とともに出力します。メトリクスの単位はメンバー間で一致している必要がありますtests/campaign_composition_reference.rs（a_one_node_sweep_and_a_one_member_composition_read_the_standalone_number - 一メンバーの合成は、単独実行の数値と結果ダイジェストを読み取る）campaign::optimize (run_optimize, nelder_mead) campaign kind の optimize セクション（CAP-32）：lin または log スケールで [lo, hi] に制限した、ドット区切りのシナリオキーを一つから三つ、結果パスで読み取る一つのメトリクス、目標は minimize、maximize、または target。手法は grid（sweep の軸の値）、または正規化座標での決定論的な Nelder-Mead シンプレックス（ボックス射影と標準の係数を使用）です。メトリクスが欠落または有限でない場合は最悪のスコアとなり、trace に残ります。runs > 1 の場合、メトリクスは共通のシードにわたる平均です。すべての評価は指定した kind の実際の実行であり、trace に列挙され、再現性ダイジェストに数えられますtests/campaign_optimize_reference.rs（事前登録 fbe6c8b3、および第1ラウンドのプロトコル上の未達の後の 441f31bc：p2_prime_interior_target_range_matches_the_closed_form - 1次元のターゲット解は r* = r0 10^((m(r0)… の6.1e-15以内…navsignal (sine_integral, bpsk_power_in_band_closed_form, bpsk_gabor_bandwidth_closed_form_hz, dll_jitter_bandlimited_s, dll_jitter_small_spacing_limit_s, bpsk_offset_ssc_closed_form, altboc_15_10_psd, parse_modulation) leo-signal kind がすべての信号設計に使用しますnavsignal::band_limited_tests（sine_integral_matches_tables_and_its_limit - Si(1)、Si(pi)、Si(2 pi) を1e-12まで、bpsk_power_in_band_closed_form_matches_textbook_and_numeric - メインローブの電力の0.9028、…leo_signal (max_doppler_hz) leo-signal kind は、これに発振器とユーザーの項を加えて、ドップラービンに変換しますleo_signal::tests::max_doppler_matches_published_xona_and_iridium_figures — Xona Pulsar X1 (1593.3225 MHz, 1080 km) 33.2 kHz inside the published 32 to 34 kHz; Iridium (1621 MHz, 780 km) within 0.5 kHz of the published…leo_signal (LeoSignalScenario, SignalDesign, Component, Shape, code_jitter_m, gabor_bandwidth_hz, detection_probability, threshold_for_pfa, mean_acquisition_time_s, ssc_leo_into_gnss, ssc_gnss_into_leo, jammer_tolerance, gnss_victim, preset, public_signal) leo-signal kind：パラメーター化された信号設計（バンド、送信帯域幅、ITU の割り当て。BPSK(n)、BOC(m,n)、MBOC、または平坦なスペクトルをもつ捕捉、データ、パイロットの各成分、電力配分、FDMA サブキャリア、符号長、データレート）を、コンパイル済みの公開プリセットファイル（Xona Pulsar、Iridium STL、機会信号としての Starlink 信号、CentiSpace、汎用の C バンド設計、汎用の UHF/L/S/C/広帯域 C の設計。それぞれ出典 URL を持ち、非公表の値には REPRESENTATIVE のラベルを付けています）またはインラインの記述から構築します。信号ごとに、帯域制限した電力スペクトル密度、帯域内の電力割合、ガボール帯域幅、C/N0 と間隔に対する符号ジッターと測距精度、捕捉の探索空間、二乗検波による検出確率と、シリアルおよび符号並列の平均捕捉時間、GPS L1 C/A、Galileo E1、GPS L5、Galileo E5a、E5b、AltBOC への、およびそれらからのスペクトル分離係数と C/N0 の劣化、spectrum kind の SSC チェーンによる CW、広帯域、整合の J/S 耐性を出力します。さらに、電離圏遅延、自由空間損失、等しい C/N0 と等しい EIRP での測距精度、ジャマー耐性のバンドトレードと、設計を記述された測定と照らし合わせる定性的な形状チェックも行いますleo_signal::tests (every_public_preset_parses_and_cites_a_url; detector_reduces_to_pfa_and_grows_with_snr; detection_probability_with_several_looks_matches_the_noncentral_chi_square…spectrum (Band::unit_psd, Band::tracked_power_dbw, BandDesign, BandCfg, PanelCfg, SpectrumScenario, Waveform, multi_band_svg); leo_signal (SignalDesign::to_spectrum_band) spectrum kind：バンドは、プリセットの信号設計（すべての成分を描画し、送信帯域幅に帯域制限し、C/N0 と J/S は追尾する成分を基準とする）またはカスタムの搬送波と変調として指定します。同じタイムラインとカラースケール上で、任意の周波数範囲に追加のウォーターフォールパネルを置けます。CW、狭帯域、チャープ、整合雑音に加えて、広帯域（バラージ）ジャマーも扱えます。バンドごとの J/S と実効 C/N0 は、変更していないスペクトル分離係数のチェーンから求めますtests/leo_signal_reference.rs（マルチバンドのウォーターフォールは四パネルで実行され、UHF、L5帯、S、C のジャマーはそれぞれ自分の帯域だけを妨害し、単一帯域の実行は拡張によって変わらない）…leo_link::itu (p838_coefficients, p838_k_alpha, rain_specific_attenuation_db_km) leo-pass kind の雨の項が使用しますtests/leo_link_reference.rs（p838_coefficients_reproduce_table5_to_its_printed_digits：表5の全115行、1 GHz から1000 GHz、すべての係数が最後に印刷された桁の0.6以内、観測された最悪値は0.51）leo_link::itu (p618_rain_attenuation_db, RainPath) leo-pass kind がバンドとエポックごとに適用しますtests/leo_link_reference.rs（p618_rain_attenuation_matches_the_itu_validation_examples：五地点で56ケース、14.25と29 GHz、0.001 %から1 %、1e-4 dB 以内、観測値は5e-6 dB）leo_link::itu (p618_scintillation_db, wet_refractivity, ScintillationPath) leo-pass kind はその値を外挿としてフラグを立てますtests/leo_link_reference.rs（p618_scintillation_matches_the_itu_validation_examples：七地点で42ケース、14.25と20 GHz、1e-5 dB 以内、観測値は5e-7 dB）leo_link::itu (p2109_building_entry_loss_db, BuildingClass); detection (normal_inv_cdf) leo-pass kind が、バンドとエポックごとに屋内ユーザーへ適用します（UHF の屋内ケース）tests/leo_link_reference.rs（p2109_building_entry_loss_matches_the_itu_workbook：568個の値、0度で28 GHz、45度で2 GHz、両方のクラス、P は1e-7から0.998、0.001 dB 以内）leo_link::iono (group_delay_m, iono_free_coefficients, iono_free_noise_amplification); leo_link (fspl_db); linkbudget (free_space_loss_db) tests/leo_link_reference.rs (first_order_iono_reproduces_the_is_gps_200_group_delay_ratio: gamma = (77/60)^2 to 1e-12, L1/L2 and L1/L5 amplification 2.978 and 2.588…leo_link::geometry (max_static_user_range_rate, DopplerEnvelope, doppler_hz) leo-pass kind がバンドごとにドップラーの包絡線として報告し、その低エネルギーモデルのコールドスタートの探索窓として使用しますtests/leo_link_reference.rs（doppler_envelope_reproduces_the_pulsar_paper_table_1：Pulsar IOV 520 km 97度、Pulsar FOC 極軌道1080 km 97度、Pulsar FOC 傾斜軌道1080 km 53度、GPS 20180 km 55度、軌道速度…leo_pass (LeoPassScenario); leo_link::geometry (design_pass, link_geometry, numerical_check, SatMotion, UserMotion); leo_link::antenna; leo_link::itu (p676_gaseous_attenuation_db); leo_link (system_noise_temperature_k, cn0_dbhz) leo-pass kind：設計した通過、軌道要素、SGP4 を通した TLE、または constellation-design の Walker コンステレーションから衛星を生成します。バンドとエポックごとに、見通し角、距離、閉形式の距離変化率と距離加速度（実行のたびに中心差分と照合して報告）、自由空間損失、等フラックス、ガウス型、または平坦なパターンによる EIRP、パッチ型、半球型、または等方性のユーザーアンテナ、ITU-R P.676-10 Annex 2 のガスによる減衰、P.618 の雨とシンチレーション、P.2109 の建物侵入損失、偏波不整合、システム雑音温度、C/N0、ドップラーとドップラー変化率、そして Klobuchar または垂直 TEC の斜め TEC を衛星より下のチャップマン分率でスケーリングした一次の遅延、通過のピークでの符号雑音を伴う電離圏フリーの組、同じ受信機を通した、インターフェース文書の受信電力による Galileo または GPS の搬送波を扱いますleo_pass::tests (the_leo_pass_is_a_bell_above_flat_gnss; closed_form_doppler_agrees_with_the_numerical_derivative: under 0.01 Hz and 0.01 Hz/s; indoor_uhf_suffers_less_building_loss_than_c_band…leo_link::presets (SystemPreset, BandPreset, all, by_id, gnss_meo); leo_pass (resolve_bands) leo_link::presets::tests (every_preset_is_sourced_and_self_consistent; only_the_celeste_preset_is_sourced_from_the_workshop); leo_link::presets::xona_pulsar::tests…leo_link::energy (fix_budget, duty_curve, IotReceiver, IotSignal); leo_pass (iot_section) leo-pass kind の [iot] セクション：ドップラー変化率で上限が決まるコヒーレント積分、検出しきい値までの二乗検波の非コヒーレント加算、軌道の静止ユーザーの包絡線（コールド）または支援された窓（ホット）にわたるドップラービンの探索、並列またはシリアルの符号探索、コールドスタート時の航法メッセージ時間、測位間隔にわたる一回の測位あたりのエネルギーと電池寿命を、各 LEO バンドと GNSS 信号について求めますleo_link::energy::tests (stronger_signals_and_smaller_doppler_windows_fix_faster; the_doppler_rate_caps_the_coherent_time; battery_life_grows_with_the_fix_interval_toward_the_sleep_floor); leo_pass::tests…leo_navmsg::sisre (sisre_weights, StatsAcc) leo_navmsg::sisre::tests（weights_reproduce_the_published_meo_and_geo_table - GPS 0.979と1/48.9、GLONASS 1/45.0、Galileo 0.984と1/61.1、BeiDou MEO 1/54.2、静止軌道0.992と1/126.2、マスク角0度、それぞれ…leo_navmsg::elements (kepler_point, kepler_frame, ephemeris_at, sat_state) tests/leo_navmsg_reference.rs（the_galileo_user_algorithm_reproduces_rtklib_to_a_millimetre - 実際の Galileo 放送エフェメリス E10、E19、E24、E25 の四件を tk = 0、+/-600、+/-1800、+/-3600 s で、すべての軸が1 mm 以内で…leo_navmsg::codec (crc24q, encode, decode) leo_navmsg::codec::tests（crc24q_matches_the_catalogue_check_value - ASCII 文字列123456789に対して 0xCDE703、crc24q_matches_the_rtcm_1005_example_frame - RTCM 10403メッセージタイプの三つのチェックバイト 0x360B98…leo_navmsg::fit (fit_message, lstsq, polyfit); leo_navmsg::truth (TruthOrbit, TruthClock); leo_navmsg (sequence_stats, LeoNavmsgScenario) leo-navmsg kind のフィッターとトレードオフ：帯状の J2-J6 または選択した次数までの EGM2008 の重力と抗力で積分した真の軌道と、シード付きの自由またはステアリングされた時計。非特異要素に弱い事前分布を置いた Galileo のケプラー要素セットの Levenberg-Marquardt フィット、続いて along-track、cross-track、radial の補正多項式の線形最小二乗フィット。ユーザーの相対論的な項を差し引いた時計の多項式のフィット。フィット窓の中央に置いた使用期間にわたる SISRE（軌道のみ、および時計を含む）の、フィット区間と更新周期に対する変化。外部の参照と照合して確認済みの部分：実際の精密軌道に対する、フィット区間ごとの 16 パラメーターのケプラーフィットとその軌道のみの SISRE、および積分した J2-J6/EGM2008(20, 70)/抗力の真の軌道を Orekit 12.2 と照合して 6 時間で 4.6 mm 以内（合格基準 2 cm、同じ密度入力）。補正多項式、時計のフィット（シード付きの自由またはステアリングされた時計）、更新周期のトレードオフは、モデルに基づくままですleo_navmsg::tests::a_two_body_truth_is_recovered_by_the_keplerian_fit_to_a_millimetre; leo_navmsg::tests::the_user_algorithm_reproduces_the_fitted_truth_to_a_millimetre_with_corrections…leo_navmsg (LeoNavmsgScenario::midpass, worst_case_jump, elevation, geodetic_to_ecef) leo-navmsg midpass-update 解析：探索期間内でユーザーの上空を通る最高の通過、フィット窓の中央に使用期間を置いた全球スケジュールのメッセージ、そして各切り替え時の 3D 位置のジャンプ、時計のジャンプ、ユーザーの疑似距離のジャンプ、可視の任意の視線にわたる最大のジャンプ（天底円錐上の閉形式）、前後の距離誤差、およびしきい値に対する PASS/FAIL を求めますleo_navmsg::tests::a_mid_pass_update_is_continuous（切り替えごとのレンジのジャンプはレンジ誤差の変化に等しく、150 s ごとに更新される補正済みの300 s フィットは5 cm のしきい値を通過する）…leo_navmsg::codec (encode, decode, write_payload, read_payload, field_table, quantisation_budget) leo_navmsg::codec::tests (signed_fields_round_trip_through_the_bit_packer; week8_resolves_near_the_reference); leo_navmsg::tests::every_model_round_trips_through_the_binary_frame (every model within 2 mm of the exact…leo_navmsg::text (rinex_export, rinex_import, csv_export, csv_import, calendar, from_calendar) leo_navmsg::text::tests（calendar_round_trips_and_knows_the_gps_origin、d19_is_rinex_shaped）、leo_navmsg::tests::rinex_and_csv_round_trips（テキストブロックの後ですべてのモデルが0.1 mm 以内、CSV は完全一致）leo_navmsg::elements (kepler_point, Liu22Extra); leo_navmsg::fit (fit_message, fit_kepler, initial_params, formal_sigma); leo_navmsg::truth (TruthOrbit) tests/leo_navmsg_fit_real_orbit_oracle.rs::liu22_model_matches_the_published_sisre（論文の四日分：Liu ら2025に対する along、cross、radial、SISRE の比は0.755から1.138、1.5x 以内）…leo_navmsg::elements (EcefPoly, ephemeris_at); leo_navmsg (liu_comparison, LIU2025_TABLE) leo_navmsg::tests::liu22_beats_the_16_parameter_set_over_a_20_minute_arc; leo_navmsg::tests::the_ecef_polynomial_fits_a_minute_to_millimetres…leo_navmsg::services (klobuchar_delay_m, effective_ionisation_level, system_to_utc) leo_navmsg::services::tests (klobuchar_scales_with_inverse_frequency_squared — the L1 value is RTKLIB's 6.1278 m; nequick_az_rules; utc_without_an_event_is_tow_minus_leap_seconds_folded_to_a_day…leo_fusion::geom (EarthOrbit); leo_fusion::doppler (range_rate, doppler_envelope) leo-pvt kind が doppler モードで LEO システムごとに報告しますtests/leo_doppler_reference.rs（iridium_doppler_reaches_the_published_36_khz：780 km、86.4度の衛星一機を1621 MHz で一日飛行させ、四つの緯度で、最大値は36 kHz の5%以内…leo_fusion::doppler (solve, formal_covariance, single_pass_geometry, offset_site, closest_approach); leo_fusion::pvt_kind (run_doppler) leo-pvt kind の doppler モードは、窓の長さに対する誤差と、ドップラーのみの機会信号モード（starlink-sop プリセット）を加えますleo_fusion::doppler::tests（range_acceleration_obeys_the_kinematic_identity_and_vanishes_doppler_at_closest_approach、noise_free_multi_satellite_doppler_recovers_the_user：1 mm まで、ドリフトは1e-6 m/s まで…leo_fusion::joint_pvt (solve, dop, code_sigma_dll_m, SystemClock); leo_fusion::system (SystemCfg, System); leo_fusion::pvt_kind (run_joint) leo-pvt の joint モードは、GNSS のみ、LEO のみ、融合した解を比較し、追加した LEO 衛星の数に対して DOP を掃引しますleo_fusion::joint_pvt::tests (dop_matches_the_hand_derived_zenith_plus_three_horizon_case: HDOP = VDOP = sqrt(4/3), TDOP = sqrt(1/3), PDOP = sqrt(8/3), GDOP = sqrt(3) to 1e-9…leo_fusion::ppp (run, PppScenario, LI_2019) leo-ppp kind として実行しますleo_fusion::ppp::tests（the_filter_is_consistent_over_monte_carlo_seeds：24個のシード、実行平均の NEES の平均は [2.4, 3.6] の範囲、かつエポックの少なくとも75%が両側95%カイ二乗帯域の内側。150個のシードで測定した平均…leo_fusion::ntn (gabor_bandwidth_flat_hz, gabor_bandwidth_bpsk_hz, gabor_bandwidth_numeric_hz, rms_duration_numeric_s, toa_crb_sigma_m, doppler_crb_sigma_hz, frequency_crb_sigma_hz, NtnScenario::geometry, NtnScenario); leo_fusion::joint_pvt (formal_sigma_enu) ntn-positioning kind として実行しますleo_fusion::ntn::tests (the_numerical_rms_bandwidth_matches_the_closed_forms; the_range_bound_scales_as_one_over_bandwidth_and_root_cn0: 0.4157 m by hand at 5 MHz, 45 dB-Hz, 0.1 s…leo_fusion::timing (simulate, utc_offset_s, system_to_utc_s); leo_fusion::pvt_kind (run_timing) leo-pvt の timing モードは、発振器と C/N0 のオフセットを掃引しますleo_fusion::timing::tests (the_utc_offset_follows_the_is_gps_200_expression; continuous_tracking_approaches_the_measurement_floor_and_gaps_cost_time; the_filter_is_consistent_over_seeds…leo_fusion::polar (latitude_sweep, latitude_sweep_at, element_sets, satellite_states_at); leo_fusion::joint_pvt (dop); sgp4 (MeanElementSet::from_earth_fixed, SgpOrbit, teme_to_itrs_matrix) leo-pvt polar モードとして実行します。軌道は、掃引エポック（polar モードでは 2026-01-01T00:00:00 UTC）の SGP4/SDP4 の要素セットで、外部の参照と照合して確認済みの地球軌道の経路（IAU 2006/2000A、UT1 = UTC、極運動なし）で地球固定座標系に移しますtests/leo_polar_coverage_on_path_orekit_oracle.rs（構成 A と B、4040サンプル：地球固定の位置は6.8e-5 m 以内、合格基準は0.2 m、可視数は4040/4040で一致、DOP の中央値は相対で2.3e-11以内、合格基準…leo_fusion::presets (all, by_id, cn0_range_dbhz, noise_density_dbw_hz); leo_fusion::system (SystemCfg::build) leo_fusion::presets::tests (every_preset_has_a_source_and_every_public_source_a_url; only_one_preset_uses_workshop_material; noise_density_at_290_k_is_minus_204_dbw_per_hz); tests/workshop_preset_isolation.rs…leo_pnt_chain (LeoPntChainScenario); leo_pass (BandCfg::signal, design_tracking); leo_navmsg (LeoNavmsgScenario::broadcast_sisre); leo_fusion::pvt_kind; leo_fusion::ppp leo-pnt-chain kind：leo-signal の設計（公開プリセットまたはインライン）が、leo-pass のバンドの中心、帯域幅、チップレート、EIRP の配分を設定します。通過はエポックごとに、追尾する成分の C/N0 と帯域制限された符号ジッターを与えます。sin(仰角) に対する C/N0 の最小二乗の直線、leo-navmsg のメッセージの SISRE（通過する衛星の軌道でフィットしたものに、規定の軌道決定の項を二乗和平方根で加えたもの）、および設計の搬送波とチップレートが、leo-pvt の融合解のすべての LEO システムに、また任意で leo-ppp の LEO ケースにも渡されます。すべての引き継ぎは、値と単位とともに報告されますleo_pnt_chain::tests（a_sine_line_fit_recovers_its_line）、tests/leo_pnt_chain.rs（every_upstream_change_moves_the_downstream_figures：より強い EIRP、より長いフィット区間、より大きな軌道決定項がそれぞれ…leo_link::spoof (range_rate_position_gradient, line_of_sight, fll_frequency_jitter_hz, doppler_consistency_window, doppler_consistency); leo_pass (SpooferCfg, spoof_section) leo-pass kind の [spoofer] セクション：スプーファーが、偽装した位置で見える信号を、距離と距離変化率について自己整合的に偽装します。この位置は、開始時点の後に、真の位置からジャンプするか、押しやられるか、またはその両方が起きます（LEO のバンドごと、および MEO の GNSS 信号について）。受信機は、すべての距離変化率を放送軌道と独立した事前の位置と速度から予測し、測定された距離変化率を、エポックの窓にわたる一般化最小二乗のカイ二乗統計量で検定します（時計ドリフトは攪乱要因とするか、事前値を与える）。これを GNSS チャネル、LEO チャネル、全チャネルについて、C/N0 からの周波数ロックループの熱雑音（Kaplan & Hegarty 2006, section 5.6.2）とともに行います。検出確率は、規定の誤警報確率における非心カイ二乗分布から求め、検出は、規定の見逃し確率で宣言されますleo_link::spoof::tests (the_gradient_is_the_derivative_of_the_range_rate; fll_jitter_matches_the_formula_by_hand; a_common_mode_residual_is_a_clock_drift_and_is_not_detected…leo_link::spoof (cross_band_step); leo_pass (spoof_section: pairs, cross_band) [spoofer] セクションは、すべての LEO 衛星と測距バンドの組について、幾何フリーの疑似距離の組み合わせを作り、受信機の電離圏モデルを除去して、そのエポック間のステップを、二つのバンドの符号雑音と、規定の許容するモデル化されていない電離圏変化率に対して検定します（両側ガウス、厳密な検出確率）。一部のバンドを偽装して他を偽装しないスプーファー、または電離圏なしですべてのバンドを偽装するスプーファーは、開始時点で検出されます。すべてのバンドを偽装して電離圏をシミュレートするものは検出されず、結果はこのことを明記しますleo_link::spoof::tests (the_cross_band_threshold_and_power); tests/leo_resilience_verticals.rs (a_ground_spoofer_leaves_the_ionospheric_step_and_an_ionosphere_aware_one_does_not…leo_pass (IonoFreePair::geometry_free_stec_tecu, geometry_free_stec_sigma_tecu); leo_link::iono::geometry_free_stec_tecu leo-pass 衛星のすべてのバンドの組について、レポートは、幾何フリーの符号の組み合わせが通過のピークで復元する斜め全電子数 (P2 - P1) f1^2 f2^2 / (40.3 (f1^2 - f2^2)) と、二つのバンドの熱的な符号雑音からの 1-sigma を与えます。これにより、あらゆるマルチバンドの LEO-PNT の設計を、電離圏の観測装置としてトレードできますtests/leo_resilience_verticals.rs（the_geometry_free_tec_is_the_pass_slant_tec：ピークでのパスのスラント TEC に1e-9まで等しく、そのシグマは40.3 (1/f1^2 - 1/f2^2) にわたるコード雑音の RSS に等しい）…lunar_frame_campaign, fim tests/lunar_frame_campaign_mpmath_oracle.rs（lunar_frame_campaign_datum_matches_mpmath_extended_precision：三つのシナリオ - 新しいキャンペーン日 2026-03-18 に推定した観測局（拘束あり）、その日に固定した観測局…linalg_sr, lunar_frame_campaign tests/lunar_frame_campaign_srif_mpmath_oracle.rs（srif_datum_matches_mpmath_extended_precision：四つのシナリオ - 新しいキャンペーン日 2026-06-09 に推定した観測局（拘束あり）、その日に固定した観測局（対照）…receiver_trust (ingest, maritime) receiver_trust は、受信機とその機器が出力する NMEA 0183 センテンス（GGA、RMC、VTG、HDT、VHW、VBW、ZDA、GSV）をデコードし、測位間の東・北オフセット（maritime::en_offset_m）を求め、これらからモニターが判断の基にする統計量を求めます。30 秒の窓での推定速度、推測航法の残差、推定加速度、推定旋回率、針路に対する船首方位、対地速度に対するスピードログ、アンテナ高度の各残差（10 秒の中央値）、そして衛星の信号対雑音比の広がりと上昇です。tests/maritime_trust_reference.rs (t1_nmea_decoding_matches_pynmea2, t2_east_north_offsets_match_the_wgs84_geodesic, t3_t4_monitor_input_statistics_match_the_oracle) against…receiver_trust (score, monitors, live) tests/maritime_trust_reference.rs::t5_score_matches_the_clean_room_reading_of_the_documented_rule; receiver_trust::score::tests (monotone in every statistic, adding a monitor never raises the score, healthy statistics…nmea_synth (track, sentences, scenarios); cli nmea-scenario tests/nmea_training_reference.rs (pynmea2 oracle comparison); tests/nmea_training_scenarios.rs::every_sentence_is_checksum_valid_and_the_reader_accepts_it, ::every_sentence_type_is_present_each_epoch…interference_map (adsb::nacp_epu_bound_m, adsb::nic_rc_bound_range_m, adsb::AdsbParams::classify, ais::ais_position_is_valid, ais::ais_speed_kn, grid::Grid::cell_of, route::exposure, land::LandMask::is_inland) tests/interference_map_reference.rs::adsb_accuracy_and_integrity_codes_agree_with_pymodes (12 NACp codes, 59 NIC rows); tests/interference_map_reference.rs::ais_field_rules_agree_with_pyais_decoding (94 frames)…interference_map::emitter (estimate, sessions, build_units, profile, GaussianFix::from_tdoa), interference_map::emitter_out (locate), kshana interference-map locate interference_map::emitter unit tests (projection round trip, horizon figure, synthetic forward and inverse round trips: the known emitter lies inside the stated region at about the stated rate, edge cases, session…telemetry (prometheus: Registry, render; otlp: build_payload, Exporter (feature otlp); sample) tests/telemetry_formats_reference.rs (prometheus_client_reads_our_exposition_as_the_registry_implies, the_official_otlp_proto_reads_our_json_as_the_registry_implies, awkward_reason_text_survives_the_parser…telemetry (syslog: cef, rfc5424, SyslogSink; time) tests/cef_reference.rs (pycef_reads_every_tier_1_event_as_the_sample_implies, the_logstash_cef_codec_reads_every_event_including_escaped_headers_as_the_sample_implies…telemetry (syslog: leef, rfc5424, SyslogSink; time) telemetry::syslog::tests（LEEF 文字列の完全一致、エスケープ、重大度、RFC 5424 エンベロープ、配信タイムアウトと再接続）、tests/telemetry_cli.rsevidence (bundle: create_bundle, sign_detached, chain_link, sha256_hex; verify: verify_bundle, verify_detached; tsr; assemble; cli) kshana evidence verify --tsa-ca）で検証します。改ざんのケースは合成です。ここには、いかなるパックに対する法的見解も証明もありません。tests/evidence_crypto_reference.rs (RFC 8032 section 7.1 vectors 1, 2, 3 and 1024; FIPS 180-4 SHA-256 examples; exact); tests/evidence_pack_reference.rs::kshana_and_the_clean_room_verifier_agree_on_every_case (71…evidence::tsa (verify_token, pem_certificates); evidence::verify (VerifyOptions::tsa_anchors, Failure::TimestampAuthorityInvalid); evidence::cli (--tsa-ca) kshana evidence verify --tsa-ca <anchors.pem>：RFC 3161 の TimeStampResp または裸の TimeStampToken（TSTInfo に対する CMS SignedData）を、信頼するアンカーに対してオフラインで、openssl ts -verify が確認するのと同じ方法で確認します。署名属性のコンテンツタイプと TSTInfo に対するメッセージダイジェスト、署名属性に対する署名（RSA PKCS#1 v1.5、RSASSA-PSS、ECDSA P-256 と P-384。RSA の公開鍵演算は crypto-bigint）、トークンおよび呼び出し側の信頼されない証明書の中から見つかる、署名者の証明書を指す ESS signing-certificate v1（SHA-1）または v2 のハッシュ、署名者のクリティカルで唯一の timeStamping の拡張鍵用途、各証明書の署名、CA ステータス、鍵用途を伴う信頼する自己発行のアンカーまでのチェーン、そしてトークンの genTime で有効なすべての証明書、そしてデータに対するメッセージインプリントです。確認していないもの：失効（CRL、OCSP）、名前とポリシーの制約、ナンスopenssl ts -verify -attime genTime、および RSA-PSS のトークンについては TSTInfo のインプリントに加えた openssl cms -verify -cades -purpose timestampsign）を、tests/fixtures/evidence_tsa/run_openssl.sh が cases.tsv の 27 ケースで実行しました：SHA-256 と SHA-512 の RSA PKCS#1 v1.5 と ESS v1 と v2、P-256 の中間局の上の ECDSA P-384 のルートと P-256 と P-384 の TSA、RSA-PSS、署名者の証明書がないトークンと、それを提供した場合、CAdES で署名されたトークン、反転した署名バイト（三つのアルゴリズム）、変更された TSTInfo（二つ）、反転した中間局の署名、ESS の双子の証明書、誤ったアンカー（四つ）、期限切れの TSA 証明書、クリティカルでない拡張鍵用途と誤った拡張鍵用途、そして誤ったデータ（三つ）。tests/fixtures/evidence_tsa/PREREGISTRATION.md に事前登録済み（単独でコミット、30ad70b2、検証器が存在する前。OpenSSL の判定はその後に再実行し、バイト単位で同一）。最初の実行：すべての 27 件の判定が一致し（B1）、すべての genTime が秒まで一致しました（B2）。範囲を限定して記述：自己生成のテスト用証明書とトークンで、それを判定するのと同じ OpenSSL が作ったもの。OpenSSL は独立した実装であり、タイムスタンプ機関ではありません。公的機関のトークンは同梱していません（freetsa.org はライセンスを明示していません）。ここには、いかなる実際のタイムスタンプに対する証明もありませんtests/evidence_tsa_openssl.rs::every_case_agrees_with_openssl (the pre-registered comparison); evidence::tsa::tests (civil dates and times, base64, the RSA public operation)…receiver_trust::calibration (run_dataset); receiver_trust::monitors (MonitorConfig::profile, JAMMERTEST_2024_CALIBRATED); realdata::jammertest; examples/jammertest_trust_calibration.rs tests/receiver_trust_jammertest_calibration.rs::the_recorded_calibration_reproduces（無視対象、KSHANA_JAMMERTEST_DIR によるデータ条件付き：記録された選択、ホールドアウトの件数、合格基準の判定と総合判定）…jammertest::plan (parse_catalog, parse_plan, import, import_attack_log, events_toml); jammertest::score (score_run); jammertest::dataset (run_dataset); jammertest (score_log, score_pack); examples/jammertest_score_2024.rs tests/jammertest_plan_roundtrip.rs（KSHANA_JAMMERTEST_PLAN_DIR によるデータ条件付き：2025年計画の試験エリアごとのスロット数、カタログ ID、TOML の往復）、tests/jammertest_score.rs（既知の欠落を持つ合成ログ…interop::testbench (write_motion_csv, write_nmea, trajectory_of, export); fusion::pack::truth_trajectory tests/testbench_reference.rs (7 tests: oracle pins, export bytes, worst case over every row, position columns, local velocity vs true NED velocity, Euler angles vs scipy, NMEA vs pynmea2); tests/interop_testbench.rs…compliancetests/compliance_report.rs::mapping_is_well_formed; tests/compliance_report.rs::wording_rule_holds_in_mapping_report_and_docs; tests/compliance_report.rs::empty_set_evidences_nothing…receiver_trust（ライブ：ゲート、その TCP リスナー、PKSHT）。クレートの外：integrations/signalk（JavaScript）、integrations/opencpn（JavaScript のリレー、C++ のネイティブプラグイン）、deploy/reference-build（systemd ユニット、コンテナ）tests/receiver_trust_live_cli.rs（ゲートとその TCP リスナー、Rust 側）、integrations/signalk/test/adapter.test.js、integrations/signalk/test/model.test.js、integrations/signalk/test/plugin.test.js（Node テスト24件…iq::track::boc (BocKind, BocTracking, BumpJump, boc11_dll_scale); iq::track::channel (the bump-jump taps and Channel::bump_jumps) tests/iq_boc_bump_jump.rs (b1_b2_b3_side_peak_and_false_jumps_on_the_iq_chain, b4_scaling_on_the_sampled_signal, b5_false_jump_rate_and_detection_at_correlator_level); iq::track::boc unit tests…iq::channel::scint (Scintillation, ScintParams); realdata::scint50 (parse_log, segments, measured_windows, model_windows, compare) tests/iq_scint_malindi_measured.rs（cornell_model_verdict_is_the_recorded_one、登録済みの判定を記録どおりに断言、所見 F1、finding_model_fades_are_deeper_and_longer_than_measured…iq::acq (CfarConfig, ca_cfar, ca_cfar_cells, ca_cfar_pfa, ca_cfar_alpha) tests/iq_acq_cfar.rs (c1_closed_form_matches_monte_carlo_of_the_exact_model, c2_false_alarm_rate_on_gaussian_noise, c3_false_alarm_rate_on_two_bit_noise, c5_decisions_do_not_depend_on_the_input_scale…spectrum (default_band, MORE_BAND_NAMES, GLONASS_CHANNELS) tests/spectrum_more_bands.rs (s1_new_bands_carry_their_icd_values, s2_nulls_and_b1c_parts, s4_cn0_paths_agree_on_the_new_bands; s2_closed_form_densities_verdict_is_the_recorded_one, finding F1, pinned by…iq::signals::beidou (b1i_bits, b1i) tests/iq_signals.rs::beidou_b1i_matches_gnss_sdr_generator_for_all_63_prnsiq::signals::gps (l1c_weil, l1c_ranging_bits, l1c_p_bits, l1c_d_bits, l1co_s1_run, l1c_o_bits); iq::signals::tables tests/iq_signals_gps_l1c.rs (c1_l1cp_and_l1cd_initial_and_final_24_chips_match_is_gps_800j_table_3_2_2, c2_l1co_initial_and_final_11_bits_match_is_gps_800j_table_3_2_3…iq::signals::lunanet (afs_i_bits, afs_q_primary_bits, legendre_bits); iq::signals::lunanet_tables; iq::lunanet_afs::check_spec tests/lunanet_afs_codes.rs (b1_afs_i_gold_codes_match_the_printed_first_and_last_24_chips_for_all_210_prns, b2_the_legendre_sequence_of_length_10223_is_the_printed_table_d1…iq::lunanet_afs; iq::signals::lunanet (afs_q_tertiary_bits, afs_q_overlay_bits, afs_q_tiered); surface (lunanet_afs_check_spec, lunanet_afs_check_symbols, lunanet_afs_generate) tests/lunanet_afs_codes.rs (b4_legendre_1499_matches_and_tertiary_codes_match_except_one_printed_column, the_spec_check_reports_every_bar_and_pins_the_b4_miss); iq::lunanet_afs::tests…standards_pack; compliance (standards-pack facts in compliance-report) tests/standards_packs.rs（pinned_outcomes：すべてのテストの状態。未達の L4-T1 と IMO の精度テスト四件を含む）、standards_pack::testsevidence::roundtrip, evidence::assemble, interop::testbench (write_conditions_json), iq::campaign::conditions tests/round_trip_pack.rs (pack_links_scenario_conditions_log_and_score_and_verifies, conditions_that_disagree_with_the_scoring_events_are_refused, a_stated_log_hash_that_does_not_match_is_refused…iq::track (Channel, LoopCore, design); iq::cli::track tests/iq_track_gnss_sdr_oracle.rs (calibration_passes_for_both_receivers, registered_bars_give_the_recorded_verdict, recorded_numbers_are_pinned), on numbers derived by…jamming (CrpaCfg, crpa_weights, run_jamming); crpa (null_steering_weights, mvdr_weights, covariance) tests/jamming_crpa.rs (a1_crpa_units_only_with_the_section, a2_one_element_is_no_array, a3_verdict_is_the_recorded_one, a4_mvdr_tends_to_the_null_at_high_jnr), against xval/crpa-jamming/expected.json from…jamming_terrain (TerrainCfg, jammer_terrain, knife_edge_loss_db); jamming (run_jamming_sky) tests/jamming_terrain.rs (b1_terrain_units_only_with_the_section, b2_every_placement_matches_the_independent_numpy_recomputation, b3_the_loss_never_rises_as_the_jammer_rises…jamming_rx (AcquisitionCfg, AcqState, FrontEndCfg, front_end); jamming (run_jamming_sky); iq::frontend::quant (optimum_step_sigma) tests/jamming_acq_agc.rs (h1_g1_units_only_with_their_section, h2_no_hysteresis_is_no_hysteresis, h2s_no_hysteresis_is_no_hysteresis_on_the_supplementary_runs, h3_flags_match_the_independent_recomputation…iq::track (LoopConfig, FllGate, design); iq::track::channel (the FLL gate) tests/iq_fll_handover_floor.rs (registered_bars_give_the_recorded_verdict, d1_the_key_is_part_of_the_hash_only_when_set, d4_the_capped_design_pulls_in_a_100_hz_handoff_error), on…receiver_trust::machines::rtklib (read_rtklib_pos); receiver_trust::LogFormat::RtklibPos receiver_trust::machines::rtklib::tests (lat/lon epochs, week/TOW and ECEF, dms refused, hostile input); tests/receiver_trust_machines.rs::rtklib_pos_runs_as_a_receiver_log; integrations/gnss_lib_py/test_bridge.pyreceiver_trust::machines::novatel (read_novatel, novatel_crc32); receiver_trust::LogFormat::Novatel receiver_trust::machines::novatel::tests（固定された CRC、ASCII とバイナリのレコード、不正な CRC のスキップ、悪意ある入力）、tests/receiver_trust_machines.rs::novatel_jammer_flag_reaches_the_receiver_self_reportreceiver_trust::machines::rtcm3 (read_rtcm3, crc24q); receiver_trust::LogFormat::Rtcm3 receiver_trust::machines::rtcm3::tests（CRC-24Q のカタログのチェック値、MSM4/MSM7 の C/N0 とエポックの統合、GLONASS 時刻と SBAS ID のマッピング、不正な CRC とその他のメッセージ）receiver_trust::machines::gnss_sdr (read_gnss_sdr_monitor); receiver_trust::LogFormat::GnssSdr receiver_trust::machines::gnss_sdr::tests; integrations/gnss-sdr/example.jsonlreceiver_trust::machines::imu, imu_fit; surface::imu_fit; scenario [log.imu] receiver_trust::machines::imu::tests; receiver_trust::machines::imu_fit::tests (known white-noise coefficients recovered within 10 %, refusals, TOML parses as AccelCfg); tests/receiver_trust_machines.rs (heading…telemetry::mqtt (discovery, state_json, connect_packet, publish_packet, MqttSink); surface::TelemetryFormat::Mqtt telemetry::mqtt::tests (packet bytes, loopback broker, dead broker counted); tests/receiver_trust_machines.rs::trust_telemetry_mqtt_text_has_discovery_then_stateintegrations/ros2/kshana_trust (bridge.py, trust_node.py); integrations/gnss_lib_py/kshana_gnss_lib_py.py tests/receiver_trust_machines.rs（rtklib_pos_runs_as_a_receiver_log：gnss_lib_py ブリッジが書き出す形式を receiver-trust に通す）、ブリッジの Python テストは…その絞り込みに一致するものはありません。
エンジンの検証マトリクスから生成され、テストによって固定されています。リストをスクロールするか、行を開くと、その機能、オラクル、テストを確認できます。すべての列を一度に並べた完全な表は、ドキュメントにあります：機能リファレンス。
無償のコア 結果は、シナリオ、シード、エンジンのバージョンからビット単位で再現できます。ここではライセンスもアカウントも、私たちも必要ありません。
result.json に必ず付くスタンプ記録された実行これは、記録済みの時計ホールドオーバーの実行のものです。Kshana Studio で開くか、自分で再実行してください：
5ba83a232b94e902273fb6dcb71dd27d8109401dc8834d0a735eebf230ed5378420.40.00.7エンジン v0.40.0 · clock-holdover.toml · シード 42Kshana Studio で開くレポート
pip install kshana、あるいはほかの入手方法。result.json、chart.svg、report.html、table.csv を書き出します。tests/published_figures_still_reproduce.rs ）、また、台帳のすべての行が、存在するテストを挙げ、存在するエビデンスを引用していること（tests/verification_rows_name_a_test_that_exists.rs 、tests/verification_rows_cite_evidence_that_exists.rs ）を、テストで確認しています。エンジンが実装している標準規格と形式は18件です。緑のマークは、実データ、公開されている例、または独立した参照実装に照らして検査済みであることを示します。
その絞り込みに一致するものはありません。
エンジンと上記のすべては無償のままです。それを土台にした有償の二つの方法を、契約に基づいて提供します。
Kshana Pro は、レビューや調達委員会が求めるエビデンスを、再現可能な形でパッケージ化します。その土台は、すべての機能がオラクルとテストを明示するこの台帳と、すべての結果に付くスタンプです。一つのコマンドで、ミッションドシエがすべての要件を実際の実行に照らして確認し、未解決項目を含む検証マトリクスと PDF（Portable Document Format）を書き出します。
カスタム調査は、同じラベルを用いて、あなた自身の問いに答えます。すべての数値は、独立した参照と照合して確認したものか、モデルから計算したものかが示され、認証ではありません。輸出管理の対象となる作業は、クリアランスと NDA（秘密保持契約）のもとで扱います。
kshana-bench は、GNSS の干渉検出と時刻のホールドオーバーについて、タスク、分割、指標を固定しており、ベースラインの合格基準は最初のスコア付き実行の前に書き留められています。スコアが表すのはログやコーパスであり、製品ではありません。
公開エンジンをもとにした、オープンなプレプリントアーカイブ arXiv 上の論文6本。それぞれ、エンジンで再実行した図、その所見、コマンド、DOI（デジタルオブジェクト識別子）を開けます。
地球・月間空間（シスルナー）では DOP（精度低下率）は当てはまりません。レンジのみのリンクでは、どの瞬間にも速度が可観測にならないため、要件は弧長、条件、測定タイプのバジェットで表すのが適切です。
cislunar-observability.toml · 決定論的、シードなしKshana Studio で開くcislunar-observability の種類は、平面内の遠方逆行軌道四つを微分補正し、三体問題の状態遷移行列を通じてレンジとレンジレートのヤコビアンを組み立て、成長する追跡弧にわたる可観測ランク、可観測性グラミアンの条件数、そして同じ量を別の経路で再計算する平方根情報フィルターを報告します。
図について。同梱のシナリオ：微分補正した平面内の遠方逆行軌道四つを、0.26 h ごとにサンプリングした6 h の弧にわたって、衛星間レンジングで追跡します。
インストール済みのエンジンで、シナリオの種類 cislunar-observability（scenarios/cislunar-observability.toml）を実行します。
@misc{baweja2026cislunar, title = "{Cislunar navigation is an observability problem: arc-length thresholds, Gramian conditioning, and the Doppler lever}", author = {Baweja, Chakshu}, year = {2026}, eprint = {2610.23871}, archivePrefix = {arXiv}, primaryClass = {eess.SP}, doi = {10.48550/arXiv.2610.23871}, url = {https://arxiv.org/abs/2610.23871} }
計画された軌道は、月の南極のユーザーの頭上に集中します。近くの高地に置いた少数の測距ビーコンのほうが、衛星を増やすよりも安価にジオメトリを改善します。
lunar-beacon.toml · 決定論的、シードなしKshana Studio で開くlunar-beacon の種類は、軌道上のコンステレーションの測距ジオメトリと、大気のない地平線を越える測量済みの地表ビーコンを、独立したライブラリと照合して確認した精度低下率カーネル上で構築し、各構成の精度低下率とメートル単位の精度を報告します。
図について。同梱のシナリオの一つのエポックを、その既定のジオメトリで示します。衛星のみ、衛星と地平線を越えるビーコン、代わりに24機の衛星コンステレーションを使った場合の三つです。
インストール済みのエンジンで、シナリオの種類 lunar-beacon（scenarios/lunar-beacon.toml）を実行します。
@misc{baweja2026cost, title = "{The Cost of Lunar South-Polar Geometry, and Surface Beacons as the Efficient Fix: A Dilution-of-Precision Analysis}", author = {Baweja, Chakshu}, year = {2026}, eprint = {2607.06212}, archivePrefix = {arXiv}, primaryClass = {astro-ph.EP}, doi = {10.48550/arXiv.2607.06212}, url = {https://arxiv.org/abs/2607.06212} }
月ネットワーク内の測距は相対ジオメトリしか確定しません。地球基線の超長基線電波干渉法の遅延は、衛星が少なくても、月面局を地球の座標系に結び付けます。VLBI 超長基線電波干渉法
lunar-joint-od-clock.toml · シード42Kshana Studio で開く公開時のとおり macOS で記録したものです。新規の Linux x86-64 での実行では2184 m / 3.537 m になります（ソルバーの反復の、ホストへの依存。issue #36 の行6）。
lunar-joint-od-clock の種類は、地球基線の干渉計遅延、月面ローカルのレンジ、衛星間レンジを一つのバッチ最小二乗フィットで融合し、同じシードで干渉計の区間ありとなしの両方を実行して、フィッシャー情報量のランク、データム欠損、クラメール・ラオ下限を報告します。
図について。同梱のシミュレーションネットワーク：月の衛星3機、地球局6局、地表局一局、両方のフィットで同じシードと真値。
インストール済みのエンジンで、シナリオの種類 lunar-joint-od-clock（scenarios/lunar-joint-od-clock.toml）を実行します。
@misc{baweja2026earth, title = "{Earth-baseline VLBI restores the observability of a lunar surface station in joint orbit-and-clock determination}", author = {Baweja, Chakshu}, year = {2026}, eprint = {2607.02566}, archivePrefix = {arXiv}, primaryClass = {eess.SP}, doi = {10.48550/arXiv.2607.02566}, url = {https://arxiv.org/abs/2607.02566} }
記録されたスプーフィングでは、タイミング受信機が、自ら報告する値よりはるかに大きく誤った時刻を供給していました。無条件の上限は存在しないため、この論文は未検出の誤差を条件付きで上限づけます。GNSS 全球測位衛星システム
examples/tpl_jammertest.rs · 決定論的、シードなしタイミング保護レベルのモジュールは、モニターの検出下限に、検出遅延の間の発振器のコースト（惰行）を加えます。この例では、公開されている JammerTest 2024 の記録から復元したスカラーで較正します。生の記録は同梱していません。
図について。この例の出力：五つの検出遅延での条件付きタイミング保護レベルと、公開されている JammerTest 2024 の記録から復元した二つのスカラーです。
リポジトリのクローン内で、examples/tpl_jammertest.rs から調査のアーティファクトを再生成します。
@misc{baweja2026conditional, title = "{A Conditional Timing Protection Level: Holdover-Limited Undetected Time Error Under GNSS Spoofing}", author = {Baweja, Chakshu}, year = {2026}, eprint = {2606.24210}, archivePrefix = {arXiv}, primaryClass = {eess.SP}, doi = {10.48550/arXiv.2606.24210}, url = {https://arxiv.org/abs/2606.24210} }
測位・航法・時刻の単一の数値によるレジリエンス評価が安定しているのは、一つの設計が他を圧倒する場合に限られます。重み付け、脅威、申告された技術によって、順位が入れ替わることがあります。PNT 測位・航法・時刻
examples/resilience_report.rs · シード12345レジリエンスモジュールは、七つの参照アーキテクチャを、七つのフレームワークカテゴリと五つの脅威にわたって採点し、カテゴリの重みをディリクレ分布から無作為に抽出して、最上位が入れ替わる頻度を数えます。この例は、調査全体を一つの決定論的なファイルとして書き出します。
図について。参照アーキテクチャ7個、脅威ごとに無作為のカテゴリ重み付け2,000通り。
リポジトリのクローン内で、examples/resilience_report.rs から調査のアーティファクトを再生成します。
@misc{baweja2026stable, title = "{How Stable Is a PNT Resilience Score? Decision-Instability of Single-Number Resilience Ratings under Framework-Aligned Weighting}", author = {Baweja, Chakshu}, year = {2026}, eprint = {2607.05415}, archivePrefix = {arXiv}, primaryClass = {cs.CR}, doi = {10.48550/arXiv.2607.05415}, url = {https://arxiv.org/abs/2607.05415} }
干渉検出器がシフトした条件下でどれだけ性能を失うかは、その検出器自身の分布内スコアから予測できます。合成データによる結果であり、公開されたフィールド記録で確認しています。RF 無線周波数
examples/optimism_study.rs · シード1、2、3、4、5この障害調査は、四つの干渉クラスについて、合成のパラメーター根拠付きコーパスを生成し、十三の検出器を、五つのシードにわたる四つのシフトの強さで採点し、一つ抜き交差検証と順列検定でギャップ予測器をフィットします。
図について。検出器、クラス、強さの組み合わせ260セル。各予測は、フィットから外した検出器について行われます。
リポジトリのクローン内で、examples/optimism_study.rs から調査のアーティファクトを再生成します。
@misc{baweja2026anticipating, title = "{Anticipating the Optimism Gap: Predicting Distribution-Shift Degradation of RF-Impairment Detectors from In-Distribution Statistics}", author = {Baweja, Chakshu}, year = {2026}, eprint = {2606.22054}, archivePrefix = {arXiv}, primaryClass = {eess.SP}, doi = {10.48550/arXiv.2606.22054}, url = {https://arxiv.org/abs/2606.22054} }
すべてのリリースは、引用可能な DOI とともに Zenodo にアーカイブされ、リポジトリには CITATION.cff が同梱されています。エンジンのバージョン、シナリオ、シードを明記して引用してください。
Baweja, C. (2026). Kshana — a PNT-resilience simulator with quantum-sensor performance models (Version 0.40.0). Ashforde OÜ. https://doi.org/10.5281/zenodo.20528627
@software{kshana, title = {Kshana — a PNT-resilience simulator with quantum-sensor performance models}, author = {Baweja, Chakshu}, version = {0.40.0}, year = {2026}, doi = {10.5281/zenodo.20528627}, url = {https://github.com/ashfordeOU/kshana}, license = {AGPL-3.0-only} }