Сжать и канонизировать активное ядро

[netkeep80]

Fixes #65

Решение владельца теории

Подтверждено владельцем теории в ревью PR №66.

Канонические документы:

• README.md;
• docs/theory/Основания МТС.md;
• docs/theory/Система аксиом МТС.md;
• docs/specs/Формальная нотация МТС.md;
• docs/specs/Ачисла и сериализация.md;
• docs/specs/Протокол абитов ачисел.md.

Удаление подтверждено:

• docs/theory/Метатеория связей.md;
• docs/theory/Шаблон аксиом МТС.md;
• docs/specs/Семантика вхождений МТС.md;
• docs/specs/Слои нотации МТС.md;
• docs/specs/Пучковая нотация МТС.md;
• docs/specs/Шаблонный поиск МТС.md;
• archive/;
• общие документы docs/BEST-PRACTICES.md и docs/CI-CD-BEST-PRACTICES.md;
• issue-specific prose-regression тесты после замены компактным архитектурным контрактом.

Таким образом, выбор канонической поверхности является решением владельца теории, а изменения PR исполняют это решение.

Результат

Активное ядро сокращено до одного документарного пути. tests/mtc_formulas.mtc, модули core/ и converters/ и поведение инструментов не изменены. Полный набор формул остаётся только в fixture; документы цитируют формулы лишь там, где требуется их чтение.

Канонические артефакты

• главный вход: README.md;
• нормативная теория: docs/theory/Основания МТС.md, docs/theory/Система аксиом МТС.md;
• нормативные спецификации: docs/specs/Формальная нотация МТС.md, docs/specs/Ачисла и сериализация.md;
• рабочая протокольная спецификация: docs/specs/Протокол абитов ачисел.md;
• единственный полный нормативный fixture: tests/mtc_formulas.mtc;
• актуальные реализации: core/, converters/;
• архитектурный контракт: tests/test_repository_contract.py;
• остальные тесты: функциональные проверки актуальных инструментов.

Таблица действий и фактический результат

Артефакт	Текущая роль	Проблема	Действие	Фактический результат
README.md	главный вход	повторял формулы и обзорные документы	оставить и сократить	содержит карту канонических артефактов; AnumMemory помечен тестовой моделью
docs/theory/Основания МТС.md	онтологические основания	уникальная нормативная роль	оставить	без изменений
docs/theory/Система аксиом МТС.md	чтение аксиом	повторный «Сводный блок» создавал вторую полную копию словаря	оставить и сократить	сводный блок удалён; fixture указан единственным полным набором
docs/theory/Метатеория связей.md	второе общее изложение	дублировал README и основания	удалить	удалён
docs/theory/Шаблон аксиом МТС.md	шаблон документов	повторял действующую систему	удалить	удалён
docs/specs/Формальная нотация МТС.md	знаки, контейнеры и контексты чтения	содержал полный корневой словарь и материал был разбросан	объединить и сократить	полный словарь удалён; сохранены роли вхождений, локальный контекст и пучки
четыре объединённые спецификации	отдельные пересекающиеся описания	конкурирующая нормативная поверхность	объединить и удалить	уникальные положения перенесены, файлы удалены
docs/specs/Ачисла и сериализация.md	формат и инструменты *.anum	повторял протокол и потерял смысловые ограничения при сжатии	оставить и сократить	восстановлено различие :=/->; возвращено ограничение тестовой модели памяти
docs/specs/Протокол абитов ачисел.md	рабочая протокольная гипотеза	содержит открытые вопросы	оставить	без изменений; определения не попали в fixture
docs/CONTRIBUTING.md	правила вклада	повторял теорию и формулы	сократить	оставлены структура, ограничения и проверки
archive/	исторические варианты	legacy и архивные копии	удалить целиком	удалены 24 файла и каталог
docs/research/	ненормативные исходные заметки	не конкурируют с активной системой	оставить	без изменений
pics/	иллюстрации	должны сохраняться	оставить	без изменений и защищено контрактным тестом
core/, converters/	актуальные реализации	поведение должно сохраниться	оставить	без изменений
два issue-specific prose-теста	историческая структура и точные фразы	раздуты и хрупки	удалить	удалены
tests/test_repository_contract.py	архитектурные инварианты ядра	после удаления prose-тестов отсутствовала защита результата	добавить компактный тест	80 строк, 6 проверок
остальные тесты	функциональное поведение	актуальные проверки	оставить	без изменений

Архитектурный контракт

tests/test_repository_contract.py проверяет:

1. точный набор активных документов;
2. отсутствие archive, legacy, old, deprecated;
3. существование локальных ссылок активной документации;
4. сохранность pics/;
5. точность всех 34 формул fixture по нормализованному SHA-256 и отсутствие протокольных гипотез;
6. успешное выполнение validate_root_library.

Метрики до и после

Количество файлов до: 98
Количество файлов после: 65

Строк Python до: 2995
Строк Python после: 2509

Строк Markdown до: 9818
Строк Markdown после: 1388

Количество тестов до: 129
Количество тестов после: 113

Создано новых файлов: 1
Удалено файлов: 34

Diff: 201 добавление, 9117 удалений.

Проверки

• GitHub Actions CI run №148 — success;
• ruff — success;
• pytest — success;
• проверка структуры, размеров файлов, документации и защищённого research-файла — success;
• корневой fixture и production-модули core/, converters/ не изменялись;
• новых форматов, подсистем, compatibility layers и архивных копий не создано.

BLOCKED

Отсутствует. Каноническая поверхность и удаления явно подтверждены владельцем теории. Открытые вопросы протокола не решались и в корневой fixture не переносились.