DD Lab
iter 1015 · 0 axioms
принципы · границы · falsifiers · воспроизводимость

Как проверяется DD.

Метод устроен так, чтобы было предельно ясно: что выведено формально, что предложено как pattern, что осталось открытым. Никакая часть не маскирует другую.

три принципа

Три правила работы.

01
Substrate-decomposition
Каждый коэффициент сводится к атомам подсчёта различений (|Bool|=2, |Fin 3|=3, |Bool × Fin 3|=6) либо к ранее выведенным результатам. Если ≥ 5 попыток не дают разложения — фиксируем как «substrate-undecomposable».
02
6-mode audit перед действием
Каждый шаг проходит 6 проверок (nullity / surplus / deficiency / presentation / divergence / selector) ещё до коммита. Если режим срабатывает — план меняется. Это операционализация теории, применённая к самой себе.
03
Honest scope
Каждое утверждение маркируется: SOLID (Lean, axiom-free), PATTERN (substrate-anchored ансатц), OPEN (не выводится). Никакого смешивания. Маркировка проходит через дополнительный boundary-test.
scope

Что DD не делает.

Не предсказывает абсолютные массы
DD выводит отношения и углы смешивания. Абсолютная массовая шкала (me = 0.511 МэВ) требует одного calibration-bridge к лабораторной системе единиц.
Не решает квантовую гравитацию
Каскад заканчивается на SM. Гравитация, инфляция, тёмная энергия — за пределами текущей замкнутой части. Зафиксированы как OPEN, не закрашены пустотой.
Не предсказывает конкретное время событий
DD структурно-инвариантна. «Когда произойдёт сдвиг X» — не выводится. Выводится: 5-фазная форма любого устоявшегося сдвига.
Не заменяет эксперимент
DD сужает пространство допустимых параметров. Финальная сверка — PDG / lattice / ATLAS-CMS. Расхождение > tolerance = опровержение SOLID-уровня.
falsifiers

Что опровергает теорию.

НаблюдениеЧто падает
4-е поколение фермионов (LHC Run-3 / FCC)step 6 каскада, полный пересмотр
Z'-калибровка вне U(1)×SU(2)×SU(3)замкнутость калибровочного сектора
αs(MZ) расхождение > 2 % (FLAG)PATTERN-уровень mp/ΛQCD
v/MPl расхождение > 0.5 % (после уточнения PDG)master formula SOLID-уровень
Carrier с устойчивым паттерном отказов вне 6-modeBool × Fin 3 как полное пространство мод
Закрытие H7 (DE/инфляция/QG) без внешних входов формальногипотеза о границе каскада
воспроизводимость

Любой может пересобрать.

Lean 4 + Mathlib
Чистая сборка
Все Tier-1 SOLID теоремы собираются командой lake build в чистом окружении. 0 axioms, 0 sorries в Tier-1 фрагменте. Каждый коммит проходит CI верификацию через GitHub Actions.
Open iteration log
1015 итераций видны
Все этапы развития видны в git log. Каждая итерация = атомарный коммит с тегом SOLID / PATTERN / SUMMARY и явным scope-маркером. Reflexive corrections публикуются вместе с insights.
Теория, у которой нельзя указать что бы её опровергло — не теория. Список выше — список условий, при которых эта работа закрывается с отрицательным результатом. — рабочий принцип

Подробнее: DD_PACKAGE/. Структура: LEAN/ (формальные доказательства), REFERENCE/ (markdown-обзоры), RESIDUALS/ (открытые задачи и условия их закрытия).