Статус единого сайта
Mathematics
PN.2 Theorem 7.1 proven in stated model. PO-9/11/12 closed abstractly.
Open mathematics
PO-1–PO-8 and PO-10 remain open for the full author-specific physical theory.
Physical status
F-1–F-14 remain open physical hypotheses; EXT-RUN not performed.
Archive status
712-record evidence snapshot; 736 routes currently declared by the author archive navigation; historical lineage 747. Full hosting export absent; NO_LOSS_FREEZE blocked.
RU/EN/ZH: по 23 основным разделам. DE: сохранён отдельный немецкий вход. Переводы разделов не означают перевод всех первичных PDF и исторических архивных файлов.
ARBD · Build 28
ARBD 0.1.0 / Build 28: локальный модуль и аудит RUN-017 представлены на выставке. Интеграция в действующий анализатор и APK требует отдельной сборки. SCIENCE=ABSTAIN; truth_layer_promotion=0.
ARBD и корпус Кантаv3.6 · C3.8T STATISTICAL AUDIT
C3.8T: кандидатная оценка проверена при явных предпосылках. Подготовлены полное доказательство, точные примеры и контрпримеры. Канонический патч не применён.
Открыть строгий аудитv3.7 · C3.8U FORMULA WORKBENCH
v3.7 · C3.8U: рабочий блок из 16 формул и единый evidence-ledger из 51 записи. Теоремные страницы восстановлены; v3.6 сохранена для отката.
Открыть рабочий блок формул