frozen dataset: frozen-20260308 / generated_at: 2026-03-08T16:02:02Z

SALT Verification Console

현재 경로: /audit/formulas

목적: SALT가 표준이론(거시: ΛCDM, 미시: SM) 대비 예측력에서 밀리지 않는지 검증

원칙: 공개 판정은 Evaluation(frozen) 기준으로만 산출출처 공개예측식 공개

Audit / Formulas

다른 연구자가 동일 비교를 재현할 수 있도록 예측식(엔진 구현)을 공개합니다.

Cosmic (ΛCDM vs SALT)

redshift/distance sidecar(`data/processed/cosmic_observation_features.json`)가 있으면 해당 피처 기반 식을 사용하고, 없으면 레거시 스캐폴드로 동작합니다.

ΛCDM baseline (SM engine)

u = stable_unit(sha256(observable_id|dataset_id))
pred = 0.81 + 0.18*u - 0.015*(1-u)^2

SALT baseline (SALT engine)

u = stable_unit(sha256(observable_id|dataset_id))
pred = 0.79 + 0.20*u^1.08 - 0.008*(u*(1-u))

Micro (SM vs SALT)

채널별 baseline 상수 + collider tail 함수형 식을 사용합니다. `muon g-2` 상수는 `tools/predictors/muon_gm2_constants.json`에서 로드합니다.

SM predictor

if observable_id == "muon_g_minus_2":
  pred = (a_QED + a_EW + a_HVP_LO + a_HVP_NLO + a_HVP_NNLO + a_HLbL) * 1e-11
elif observable_id in SM_BASELINES:
  pred = SM_BASELINES[observable_id]
elif observable_id == "collider_high_pt_tail":
  pred = (450.0 / x_value) ** 1.15

SALT predictor

if observable_id == "muon_g_minus_2":
  pred = (a_mu_SM + Delta_a_mu_SALT) * 1e-11
elif observable_id in SALT_BASELINES:
  pred = SALT_BASELINES[observable_id]
elif observable_id == "collider_high_pt_tail":
  pred = (450.0 / x_value) ** 1.12

구현 파일: `tools/predictors/cosmic_sm_predict.py`, `cosmic_salt_predict.py`, `micro_sm_predict.py`, `micro_salt_predict.py`

decision_rule_version: micro-decision-v3

formula_version:

  • micro-salt-submission-candidate-v1
  • micro-v0-template

predictor engine versions:

  • cosmic: cosmic-predictor-v1
  • micro: micro-predictor-v1

predictor formula versions:

  • cosmic_sm: cosmic-sm-submission-candidate-v1
  • cosmic_salt: cosmic-salt-submission-candidate-v1
  • micro_sm: micro-sm-submission-candidate-v1
  • micro_salt: micro-salt-submission-candidate-v1

비교 데이터/출처 확인: /audit/sources