Метод работы

Принципиальная установка

Метод Diakrisis — строгая многоэтапная верификация с правом признания провала. Он кардинально отличается от традиционного мат-исследования:

• В традиционном методе: строишь → доказываешь → публикуешь.
• В методе Diakrisis: строишь → атакуешь → если выживает → принимаешь; если не выживает → документируешь провал → новая попытка.

0.1 Эпистемический фон

Метод отвечает на конкретную проблему: риторическая инфляция без контроля. Заявления о новизне требуют формальной проверки — без неё возможна эскалация метаязыка:

• «Классифицирующее пространство всех оснований» — при проверке редуцируется к стандартной классифицирующей структуре (43.T1).
• «Самопорождающий акт 𝖠» — совпадает с достижимым эндофунктором.
• «Escape-теорема» — структурная переупаковка теоремы Гёделя II.

Каждое такое заявление в отдельности не является ошибкой; ошибка — систематическая эскалация метаязыка без атакующей проверки. Метод Diakrisis закрывает эту лазейку.

0.2 Базовая аналогия

Метод Diakrisis моделирует попперовскую философию науки (фальсификационизм), применённую к математической формализации:

• Попперовская наука: теория принимается, пока не опровергнута экспериментально.
• Метод Diakrisis: утверждение принимается, пока не редуцировано к известному или не опровергнуто no-go-аргументом.

Разница: в науке опровержение даёт новую теорию; у нас — редукция даёт уточнение метаданных (уровень 6 → уровень 5).

0.3 Три ключевых различения

Метод конституируют три базовых различения:

• Конструкция vs атака: этап построения отделён от этапа проверки.
• Формальное содержание vs метаязык: первое сохраняется даже при опровержении второго.
• Новизна vs переформулировка: каждое заявление проходит тест «существует ли известный аналог?»

Шесть этапов

Работа в Diakrisis разделена на шесть этапов:

Этап 0 — Проём

Задача: зафиксировать цель, правила, границы.

Документ: /00-foundations/04-rules-of-engagement.

Результат: нормативный устав работы.

Критерий выхода: устав принят участниками, все ссылки на «уровень 6» удалены.

Этап 1 — Примитив

Задача: сформулировать формальный примитив.

Документы: /02-canonical-primitive/*.

Результат: четвёрка (⟪⟫, 𝖬, α_math, ⊏_•) + 13 аксиом.

Подэтапы: допускается многократная итерация до финальной формы.

Критерий выхода: (а) все 13 аксиом записаны формально, (б) совместимость проверена, (в) все интуитивные мотивации удалены из формального текста (они идут в комментарии).

Этап 2 — Архитектура

Задача: установить структурные свойства примитива.

Документы: /03-formal-architecture/*.

Результат: 2-категорность, когезия, фибрация, gauge, модальность, двойственности, модельная теория, кардинальный анализ.

Критерий выхода: (а) каждое структурное свойство доказано или явно помечено как [Т-набр]; (б) соответствие с известными аналогами (Шульман 2-topos, Шрайбер cohesion, Люри ∞-topos) проверено; (в) gauge-группа явно описана.

Этап 3 — Извлечения

Задача: показать, как конкретные основания (ZFC, HoTT, и т. д.) извлекаются из примитива.

Документы: /04-extractions/*.

Результат: каждое основание F — ρ-проекция специфической α_F.

Критерий выхода: для каждой F показана α_F и доказано, что ρ(α_F) ≡ F с точностью до Морита-эквивалентности.

Этап 4 — Сборки

Задача: конкретные специализации для применений.

Документы: /05-assemblies/*.

Результат: УГМ, SM, теории сознания как формальные сборки.

Критерий выхода: каждая сборка (а) имеет явное α, (б) выводит хотя бы одно проверяемое предсказание, (в) имеет программу формализации.

Этап 5 — Пределы

Задача: документировать границы формализации.

Документы: /06-limits/*.

Результат: AFN-T (α-часть), AFN-T (α-часть)-extended, AFN-T. Признание, что предельное основание уровня 6 невозможно.

Критерий выхода: каждая no-go теорема (а) имеет полное формальное доказательство или контур с явной пометкой; (б) размещена в контексте no-go-традиции (Кантор..Ловер..AFN-T).

Этап 6 — Следующий цикл (итерация)

После прохождения 0..5 открывается новый цикл с поправками. Этап 6 — возврат к Этапу 0 с обновлёнными правилами. Итеративность — структурное свойство метода по П-0.7.

Принцип критической атаки

Каждый этап после формулировки проходит цикл проверки:

1. Построение — сформулировать утверждение X.
2. Критика — атаковать X:
   • Редуцируется ли X к известной структуре? (Тест Π_4)
   • Является ли X формализуемым? (Тест Π_5)
   • Генеративно ли X? (Тест Π_3)
3. Признание — если X не выживает, честно фиксировать и искать альтернативу.
4. Подтверждение — если X выживает, принять и идти дальше.

Результат применения этого цикла в Diakrisis — пятиосевая абсолютность AFN-T (все заявленные «уровень 6» новизны редуцируются к известному).

2.1 Детализация тестов

Тест Π_4 (редукция)

Вопрос: существует ли в литературе (любой области) известный объект, эквивалентный X с точностью до переименования?

Процедура:

1. Поиск по ключевым словам (Mathematical Reviews, nLab, arXiv).
2. Консультация с экспертами из соответствующих областей.
3. Формальная проверка Морита-эквивалентности.

Примеры ключевых структурных редукций:

Объект	Редукция к известному	Автор
𝖠	достижимый эндофунктор	Адамек-Росицкий
Trace(𝖠)	инициальная 𝖠-алгебра	Адамек 1974
α_Apeiron	фиксированная точка Y-типа	Scott 1972
Escape-теорема	теорема Гёделя II	Гёдель 1931
𝓜_Fnd	классифицирующий стек	Люри HTT

Тест Π_5 (формализуемость)

Вопрос: может ли X быть записан в формальной системе (ZFC, HoTT, MLTT, CIC, Coq, Agda, Lean, Verum) без зависания на бесконечных регрессах?

Процедура:

1. Попытка записать X в Lean 4 или Verum.
2. Проверка терминации эвалуатора.
3. Проверка, что типы хорошо определены.

Провалы: X_6 в нашей работе провалил Π_5 (бесконечная регрессия при попытке определения).

Тест Π_3 (генеративность)

Вопрос: даёт ли X новые конкретные результаты, не получаемые без него?

Процедура:

1. Перечисление следствий X, не сводимых к уже известному.
2. Проверка каждого следствия на новизну (снова Π_4).
3. Если все следствия — известны, генеративность = 0.

Пример: УГМ-сборка генеративна (даёт конкретные предсказания: P_crit=2/7, Φ_th=1, и т.д.). Диакризис как целое — генеративен частично (теоремы о 𝓜_Fnd — новые комбинации известных структур).

2.2 Порядок применения тестов

1. Сначала Π_5 (можно ли вообще формализовать).
2. Затем Π_4 (если да — то что это?).
3. Наконец Π_3 (если новое — то что нового даёт?).

Провал на любом шаге — утверждение не принимается в текущем виде.

Два режима работы

Режим накопления (недисциплинированный)

• Аддитивный: накапливаются структуры, теоремы, связи без проверки.
• Риторически-терпимый: допускаются эскалирующие слова («нерушимый фундамент», «сердце Логоса», «восемь закрытий»).
• Без строгой проверки новизны.
• Результат: богатый каталог с завышенными метаданными.

Режим Diakrisis (строгий)

• Критически-атакующий: каждая структура проверяется на редукцию.
• Риторически-осторожный: запрещены эскалирующие слова.
• Признание провала — валидный результат.
• Результат: меньше структур, но с точной метадатой.

Diakrisis работает исключительно во втором режиме.

3.1 Детальное сопоставление режимов

Параметр	Режим накопления	Режим Diakrisis
Цель	Максимизация охвата	Максимизация точности
Метаязык	Эскалирующий	Сдержанный
Проверка новизны	Не проводится	Обязательна
Статус-маркеры	Смешанные / отсутствуют	[Т]/[Т-набр]/[О]/[П]/[И]
Отношение к редукции	Игнорирование	Явное документирование
Отношение к провалу	Замалчивание	Документирование как результат
Критерий успеха	Количество теорем	Честная классификация
Темп работы	Быстрое наращивание	Многократная верификация
Число сессий	Одна → много	Много (от начала)

3.2 Предупреждающие сигналы возврата в режим накопления

Если в процессе работы появляются следующие фразы — немедленно перейти к ревизии:

• «Окончательное основание».
• «Сердце [чего-либо]».
• «Всепоглощающее [X]».
• «Это закрывает [Y] навсегда».
• «Новый тип математики».
• «Беспредельное [Z]».

Каждая из этих фраз — индикатор риторической инфляции, не формального прогресса.

Правила методологии (дополняют нулевые принципы)

S-1 (Сомнение по умолчанию)

Любое утверждение по умолчанию не принимается, пока не выдержит строгую проверку. Доверие — для политики, не для математики.

Практическое следствие: в любом документе статус [Т] ставится только после прохождения Π_4 ∧ Π_5 (и желательно Π_3).

S-2 (Конкретность)

Абстрактные утверждения о «структуре», «уровне», «возможности» должны сопровождаться конкретными примерами или контрпримерами. Иначе они формально неопределены.

Практическое следствие: ни один параграф не заканчивается без конкретного примера, если он делает универсальное заявление.

S-3 (Компрессия итераций)

Когда N-я итерация даёт ту же идею, что и M-я (M < N), это признание цикла. Нужно: (а) отступить и понять, почему идея возвращается, (б) либо принять её с её ограничениями, либо отказаться от линии работы.

Практическое следствие: если N-я итерация повторяет структуру M-й (M < N) — сигнал к структурному пересмотру, а не продолжению цикла.

S-4 (Документирование негативных результатов)

Каждый тупик, каждая отвергнутая попытка, каждая обнаруженная редукция — документируется. Это — ценное знание.

Практическое следствие: /07-methodology/03-negative-lessons — обязательный раздел корпуса.

S-5 (Дисциплина имён)

Новые имена для структур не выбираются до того, как структура (а) сконструирована, (б) прошла хотя бы частично соответствующие тесты. Пока — рабочие индексы.

Практическое следствие: пока X_i не прошло Π_5, используем индекс X_i, а не собственное имя.

S-6 (Сохранение формального содержания при изменении метаязыка)

Если метаязык X меняется (например, «уровень 6» → «уровень 5»), но формальные теоремы X остаются корректными — теоремы сохраняются.

Практическое следствие: при ревизии метаданных (например, понижении «уровень 6» → «уровень 5») формальные теоремы сохраняются, меняется только их интерпретация.

S-7 (Фиксация дат и статусов)

Каждый документ датируется (ISO 8601) и несёт статус (draft / verified / archived). Незафиксированные состояния запрещены.

Практическое следствие: у каждого .md-файла есть frontmatter с датой последнего изменения и текущим статусом.

Многосессионность

Работа над Diakrisis — многосессионная по природе. Каждая сессия может:

• Завершить 1-3 конкретных документа.
• Сделать одно обдуманное структурное решение.
• Оставить состояние задокументированным для следующей сессии.

Между сессиями — время для обдумывания, внешних проверок, возможного изменения методологии.

5.1 Структура сессии

• Вход: текущее состояние корпуса, открытые gap'ы, приоритетная задача.
• Работа: последовательная (документ за документом) либо фокусная (одна теорема до доказательства).
• Выход: (а) обновлённые документы, (б) зафиксированные gap'ы в /10-reference/03-gap-status, (в) зафиксированное резюме в memory.

5.2 Правила межсессионности

• Промежуточные результаты в памяти, но не в «окончательной» версии корпуса.
• Окончательная версия документа — только после прохождения всех Π-тестов.
• Незафиксированные интуиции — в seed-записях, не в основном /docs/.

Как читать документы Diakrisis

Каждый документ в /docs/ должен содержать:

• Статус (проработанный / в разработке / слепок).
• Соответствие этапу и нулевым принципам.
• Формальные утверждения с указанием уровня строгости (полное доказательство / набросок / гипотеза).
• Ссылки на связанные документы.

6.1 Шаблон документа

---
sidebar_position: N
title: Заголовок
---

# Заголовок

## Статус и контекст
- Этап: 0..5
- Принципы: П-0.X, П-0.Y (которые соблюдаются)
- Зависимости: список других документов

## Основная часть
...

## Связанные документы
...

## Открытые вопросы (если есть)
...

6.2 Индикаторы статуса внутри текста

• [Т] теорема — доказана.
• [Т-набр] набросок — контур доказательства присутствует, полная формализация пока в программе.
• [О] определение — установлено соглашением.
• [П] постулат — принято без доказательства.
• [И] интерпретация — философское указание.
• [Ф] феноменологический — относится к дометафизическому акту.
• [✗] ретрактировано — признано ошибочным.

Нарушения методологии

Если документ нарушает нулевые принципы или правила методологии:

1. Создаётся ревизия документа (новый файл, не перезапись — по П-0.7).
2. Старый документ помечается как «превзойдён ⟨ссылка на ревизию⟩».
3. Обсуждается, какой принцип / правило было нарушено, и почему.

7.1 Типология нарушений

Тип	Описание	Ответ
N1	Риторическая инфляция	Удаление эскалирующих слов
N2	Пропуск Π-теста	Провести Π-тест, откалибровать статус
N3	Необоснованное [Т]	Понизить до [Т-набр] или [Г]
N4	Скрытая редукция	Документировать редукцию явно
N5	Нарушение П-0.4	Явно ограничить универсум
N6	Отсутствие даты/статуса	Добавить frontmatter

7.2 Типичные паттерны нарушений

• Метаязык «предельное основание» — нарушение N1 (риторика) + N4 (скрытая редукция); требует явного указания уровня 5+ и документирования редукций.
• Безосновательное [Т] — нарушение N3; требует понижения до [Т-набр] или [Г].
• Многократный цикл без осознания — нарушение S-3; требует структурного пересмотра.

Каждое нарушение — не катастрофа, а повод для ревизии.

Связь с Verum-формализацией

Для Пути Б (формализация УГМ в Verum):

• Каждая теорема УГМ должна пройти Verum-проверку.
• Наброски не допускаются на Пути Б.
• Принцип S-1 применяется предельно строго.

Подробности — в /09-applications/00-path-B-uhm-formalization.

8.1 Отличие Пути Б от Diakrisis-корпуса

Аспект	Diakrisis (текущий корпус)	Путь Б (формализация)
Наброски	Допускаются с пометкой [Т-набр]	Не допускаются
Формат	Markdown + KaTeX	.verum-файлы
Проверка	Рецензия + Π-тесты	Машинная верификация
Уровень атомарности	Теорема	Лемма/тактика
Рабочий темп	Медленный (многосессионный)	Очень медленный (каждая лемма — проверка)

Связь с проверочными практиками физики и computer science

Метод Diakrisis перекликается с:

• Physics experimentation — атакующая проверка vs. Поппер.
• Adversarial ML — стресс-тестирование моделей.
• Formal верификация (Coq, Lean) — машинная проверка корректности.
• Test-driven development — тест пишется до кода.

Общий знаменатель: верификация предшествует окончательному принятию.

Следующий документ

/00-foundations/02-zero-principles — полное изложение принципов П-0.0..П-0.7.