Честность

Как проверить каждое число на этом сайте

Сайт про математическую честность не может врать про собственные бенчмарки. Поэтому здесь действует одно правило: каждое число либо реально вычислено — и тогда рядом сказано, чем и когда, — либо явно помечено как иллюстрация. Третьего варианта на сайте нет.

Правило провенанса

Провенанс текущего прогона

Повторить у себя

Ничего, кроме Python и доступа к PyPI, для этого не нужно: оба генератора и оба JSON сайт отдаёт файлами, а их sha256 лежат в /repro/manifest.json.

# 1. Бенчмарки — нужен только Python и сеть до PyPI
curl -O https://balansis.xteam.pro/repro/generate-benchmarks.py
curl -O https://balansis.xteam.pro/repro/benchmarks.json
python -m venv .venv && . .venv/bin/activate
pip install "balansis==1.1.0" numpy
python generate-benchmarks.py --out mine.json

# 2. Доказательства — нужен Lean4 (elan) и кеш Mathlib
curl -O https://balansis.xteam.pro/repro/generate-lean-audit.py
git clone https://github.com/StudyLabPro/Balansis
BALANSIS_REPO=./Balansis python generate-lean-audit.py --out mine-lean.json

# 3. Сравнить с опубликованным: точность обязана совпасть, тайминги — нет
python - <<'EOF'
import json
mine, theirs = json.load(open("mine.json")), json.load(open("benchmarks.json"))
for a, b in zip(mine["scenarios"], theirs["scenarios"]):
    for x, y in zip(a.get("results") or [], b.get("results") or []):
        if isinstance(x, dict) and "abs_error" in x:
            print(a["id"], x["method"], x["value"] == y["value"], x["abs_error"] == y["abs_error"])
EOF

Расхождения ожидаемы в двух местах: тайминги зависят от машины и загрузки, а результаты BLAS-зависимых операций (numpy.dot, numpy.linalg.svd) могут отличаться в последних битах на другой сборке numpy. Значения, полученные точным суммированием и EFT-примитивами, отличаться не должны — если отличаются, это ошибка, и о ней стоит сообщить в репозиторий.

Где документация Balansis расходится с прогоном

Это не претензия к библиотеке, а обязательство сайта: если наш прогон не подтверждает утверждение из README, мы пишем об этом здесь, а не тихо повторяем удобную формулировку.

Чего на сайте нет