Правила работы в корпусе Diakrisis

Назначение

Эти правила обязательны для всех документов Diakrisis. Их нарушение — основание для ревизии документа (через П-0.7).

Почему формальные правила нужны

Отсутствие регламента приводит к:

• Неоднородности стилей между документами.
• Разным уровням строгости в соседних разделах.
• Риторической инфляции без контроля.
• Трудностям для читателя (непонятно, что [Т], что [Г]).

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

Область применения

Правила применяются ко всем документам в /diakrisis/docs/, включая новые документы по Пути Б.

Не применяются к:

• Внутренним рабочим записям.

Структура документа

Каждый документ должен иметь:

1. Frontmatter: sidebar_position, title.
2. Статус (если применимо): проработан / в разработке / исторический.
3. Основное содержание.
4. Ссылки на связанные документы.

Рекомендуемая структура крупного документа

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

# Заголовок

## 1. Обзор (обязательный)
Что это, зачем, ключевые результаты.

## 2. Статус и контекст (обязательный)
- Этап: 0..6
- Соответствующие принципы П-0.X
- Зависимости от других документов

## 3. Формальное изложение (основной раздел)
Определения, теоремы, доказательства.

## 4. Интерпретация (если применимо)
Философские, физические, когнитивные интерпретации.

## 5. Признанные редукции (по П-0.6)
Явный список того, к чему редуцируется материал.

## 6. Связь с корпусом
Cross-references на другие документы.

## 7. Открытые вопросы (если есть)
Gap'ы, программы, неясности.

## 8. Следующие шаги
Ссылки на следующие документы.

Не все документы требуют всех разделов; например, обзорные документы могут не иметь §3.

Рекомендуемая структура теоремы

### XX.TN [статус] Название

**Формулировка**: ...

**Доказательство** (контур / полное):

- Шаг 1: ...
- Шаг 2: ...
- ...

**Следствия**:
- ...

**Связанные теоремы**: XX.TM, YY.TK.

**Редукции**: к (или ≡) известному ZZZ. (если есть, по П-0.6)

Запрещённая лексика

По П-0.1 (не-заимствование), запрещены как технические термины:

• «нерушимый фундамент»
• «целостная морфа»
• «восьмое закрытие» / «окончательное закрытие»
• «сердце Логоса»
• «революция»
• «прорыв»
• «новая математика» (без тщательного обоснования критериями К-1..К-5)

Их использование как нормативных — автоматический провал документа.

Разрешено использование этих слов:

• Как цитаты из исторического архива (с явным указанием источника).
• В исторических разделах как обозначения прошедших фаз.

Расширенный список запрещённой риторики

Фраза	Причина запрета
«окончательная теория»	П-0.3 (нет последнего уровня)
«всепоглощающая основа»	П-0.3, П-0.5
«беспредельное начало»	AFN-T
«сердце/ядро/центр [X]»	П-0.1 (риторическое заимствование)
«истинная природа [X]»	П-0.0 (натурализм)
«фундаментальный прорыв»	П-0.5 (без проверки новизны)
«абсолютная новизна»	П-0.5
«новый тип математики»	П-0.5 + AFN-T
«решено навсегда»	П-0.7 (итеративность)
«свёрнутая истина»	П-0.1 (мистицизм)

Разрешённая терминология для замены

Запрещено	Заменять на
«окончательный»	«текущая итерация» / «текущий срез»
«нерушимый»	«устойчивый в [формальной системе X]»
«всепоглощающий»	«широкоохватывающий в рамках 𝓜_Fnd»
«сердце»	«центральная теорема» / «ключевое свойство»
«революция»	«существенное переформулирование»
«прорыв»	«новый результат»
«новая математика»	«специфическая конфигурация канонического примитива»

Обязательные утверждения о статусе

Каждое важное утверждение сопровождается:

• [Т] — теорема с полным доказательством.
• [Т-набр] — теорема с наброском доказательства.
• [Г] — гипотеза.
• [С] — условное утверждение (при допущениях).
• [О] — определение.
• [И] — интерпретация (философская, не формальная).

Расширенный список статус-маркеров

Маркер	Значение	Пример применения
[Т]	Полностью доказанная теорема	Axi-0, T-62 УГМ
[Т-набр]	Теорема с наброском	Некоторые части 16.T1
[Г]	Гипотеза (подтверждённых фактов нет)	Некоторые предсказания УГМ
[С]	Условная (при допущениях)	T-68 УГМ (при C20)
[П]	Постулат (принято без доказательства)	Аксиомы Axi-0..Axi-9
[О]	Определение (соглашение)	⟪⟫, 𝖬, α
[И]	Интерпретация (философская)	Z как локус акта
[Ф]	Феноменологическое утверждение	Z-опыт
[✗]	Ретрактированное утверждение	Ранее принятое, затем отвергнутое

Переходы между статусами

• [Г] → [Т-набр]: появился контур доказательства.
• [Т-набр] → [Т]: контур превращён в полное доказательство.
• [С] → [Т]: удалены все допущения (или они доказаны отдельно).
• [Т] → [✗]: обнаружена ошибка в доказательстве.
• [П] → [Т]: аксиома доказана из остальных (как Ax-R).

При каждом переходе — соответствующий commit в git с явным указанием в коммит-сообщении.

Формат ссылок

• На apeiron-корпус: (исторические ссылки).
• На seed-корпус: .
• На Diakrisis: /category/NN-name без .md.

Примеры использования ссылок

• Исторический контекст: «Подробности в » (архив).
• Seed-источник: «Формальное доказательство AFN-T — в ».
• Внутренняя ссылка: «См. /02-canonical-primitive/02-axiomatics».

Обратные ссылки

При создании нового документа, если он зависит от N других:

• В новом документе — ссылки на N прежних (явно в тексте).
• При возможности — обновить N прежних, добавив в них ссылку на новый.

Признание редукций

По П-0.6, каждая редукция к известной структуре документируется явно:

• В документе, где структура вводится, — блок «Признанные редукции».
• В глоссарии /10-reference/00-glossary — в записи структуры.

Формат блока «Признанные редукции»

## Признанные редукции

- **X** редуцируется к **Y** (источник: [ссылка на Y]).
  - Шаги редукции: ...
  - Сохранено: ...
  - Остаточная новизна: ...

Если редукция частичная — явно выделить, что сохранено как новое.

Каталог глобальных редукций

Поддерживается в /04-extractions/00-overview. Обновляется при каждой новой редукции.

Многоязычность

• Русский — основной.
• Английский — через Docusaurus i18n (каталог en/).
• В цитатах допускаются оригиналы (греческий, немецкий и т. п.) + русский перевод.

Правила переводов

• EN-каталог: параллельная структура /i18n/en/docusaurus-plugin-content-docs/current/.
• Синхронизация: при существенном изменении RU-документа — обновить EN в рамках той же сессии.
• Маркеры: на EN — [T], [T-sketch], [H], [C], [D], [I], [F], [X].
• Оригиналы: греческие и немецкие термины на обоих языках — оригинальные + транслит + перевод.

Грамматические конвенции

• Оглавления — в именительном падеже.
• Заголовки разделов — в именительном падеже.
• Имена теорем — конвенция «NN.TM Название» (число-точка-T-номер-пробел-название).
• Знаки препинания — по русской традиции (тире с пробелами, кавычки-ёлочки).

Математическая нотация

• KaTeX через remark-math + rehype-katex.
• Inline: $...$.
• Display: $$...$$.
• Символы следуют глоссарию /10-reference/00-glossary.

Стандартизированные обозначения

Обозначение	Значение
⟪⟫	2-категория различений (канонический примитив)
𝖬	модальность (accessible endofunctor)
α	артикуляция
𝖠	акт (феноменологический)
Trace(𝖠)	трансфинитная 𝖬-орбита
End(⟪⟫)	эндоморфизмы ⟪⟫
ι	вложение End(⟪⟫) ↪ ⟪⟫
Π ⊣ ♭ ⊣ ♯ ⊣ ι	когезивная 4-адъюнкция
G (или G)	gauge-группа автоэквивалентностей
𝓜_Fnd	классифицирующее пространство оснований
Z	нулевая граница
Z_1, Z_2, Z_3	три характеризации Z

Мат-шрифты

• Чёрные готические: 𝖬, 𝖠, 𝖬ath, 𝖭 — для операторов и специальных объектов.
• Cursive: 𝓜, 𝓕, 𝓒 — для классифицирующих пространств.
• Курсив греческий: α, β, γ — для артикуляций.

Правила Verum-интеграции

Для документов на Пути Б (раздел 9):

• Каждая теорема указывает: формализовано в Verum ✓ / требует формализации.
• Статус обновляется по мере работы.

Структура Verum-документа

### XX.TN [Т] / Verum ✓ Название

**Формулировка**: ...

**Verum-файл**: `verum/theorems/XX-TN.verum`

**Доказательство** (сокращённое, полное — в Verum-файле):
...

Теоремы вне Verum

Некоторые теоремы Diakrisis не предполагается формализовать в Verum (например, феноменологические утверждения [Ф]). Для них явно указывается: «не формализуется в Verum (причина: [Ф]-статус)».

Что делать при расхождении

Если обнаружено расхождение между двумя документами:

1. Проверить, который следует более поздней терминологии.
2. Создать ревизию более раннего (новый файл, не правка).
3. В ревизии явно указать: «заменяет [предыдущий документ]».

Типология расхождений

Тип	Описание	Ответ
R1	Терминологическое	Ревизия старого с новым термином
R2	Фактическое (разные значения)	Ревизия + исправление
R3	Статусное (разные маркеры)	Ревизия + корректировка
R4	Ссылочное (мёртвая ссылка)	Обновление ссылки
R5	Формат-нное (несоответствие правилам)	Приведение к правилам

Процедура ревизии

1. Шаг 1: создать новый файл с инкрементальным индексом.
2. Шаг 2: в новом файле — явная пометка в заголовке: «переработан из ⟨старый⟩».
3. Шаг 3: в старом файле — добавить баннер: «переработан в ⟨новый⟩, см. его для актуальной версии».
4. Шаг 4: обновить sidebars.ts (если необходимо).
5. Шаг 5: commit с пояснением причины ревизии.

Контроль качества

Перед commit

• Все [Т] имеют ссылку на доказательство.
• Запрещённая лексика отсутствует (grep-проверка).
• Ссылки на существующие документы — валидны.
• Статус-маркеры корректны.
• Дата и версия обновлены (frontmatter).

После commit

• Docusaurus сборка проходит без ошибок.
• Anchor checker не сообщает broken links.
• EN-версия обновлена (если применимо).

Периодические аудиты

Раз в N сессий:

• Проверка единообразия нотации.
• Проверка полноты cross-references.
• Проверка актуальности gap-статуса.
• Обновление MEMORY.md сводки.

Принципы взаимодействия в работе

Между автором и читателем

• Автор обязан давать точные статусы утверждений.
• Читатель обязан проверять статусы перед использованием.
• Оба обязаны не вводить заимствований без маркеров.

Между сессиями

• Каждая сессия заканчивается зафиксированным состоянием.
• Открытые вопросы — в /10-reference/03-gap-status.
• Memory-запись — краткая (< 200 символов) с ссылкой на детальный файл.

С внешним миром

• Публикации (arXiv, журналы) — только после многократной внутренней верификации.
• Цитирование Diakrisis: предпочтительно — с указанием конкретной версии (git-commit).
• Обратная связь от внешних читателей — учитывается через issues.

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

• раздел 1.