МетаГольдбах. Академический пакет данных

Академический пакет данных и воспроизводимости


Академическая публикация крупной вычислительной математической системы требует не только текста книги, но и воспроизводимого комплекса данных, алгоритмов и контрольных процедур.

Для МетаГольдбаха такой комплекс должен быть оформлен как академический пакет данных и воспроизводимости.

Его задача состоит в том, чтобы независимый исследователь мог:

понять математическую спецификацию вычислений;

получить исходные данные;

восстановить основные результаты;

проверить контрольные значения;

реализовать собственный алгоритм;

сравнить его с опубликованным корпусом;

расширить вычисление на новый масштаб.

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

1. Принцип достаточной воспроизводимости
Пакет считается содержательно полным не тогда, когда в нём находится большое количество файлов, а тогда, когда опубликованный математический вывод можно восстановить по явной цепочке:

математическое определение ; алгоритм ; первичные данные ; производные показатели ; контрольные значения ; итоговое утверждение.

Если какой-либо критический переход существует только в неописанном авторском коде или ручной операции, воспроизводимость неполна.

2. Четыре представления одного объекта
Для когортного корпуса целесообразно сохранить четыре формы представления.

MG-T — табличная форма.

Компактные таблицы для чтения человеком.

MG-P — паспортная форма.

Полные структурированные паспорта когорт.

MG-V — визуальная форма.

Графики, карты жизненных циклов, фронты и рекордные представления.

MG-D — машиночитаемая форма.

CSV или иной открытый структурированный формат для программной обработки.

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

3. Первичный точный ранговый массив
Первый слой пакета должен содержать исходные результаты точного рангового вычисления для заявленной области полного счёта.

Для каждого чётного N должны быть восстановимы как минимум:

натуральная координата;

точный гольдбаховский ранг.

Если полный первичный массив слишком велик для основного публикационного дистрибутива, должна быть определена официальная структура его хранения и способ получения.

Именно из этого слоя должны независимо восстанавливаться когорты.

4. Полный когортный корпус 1–1000
Для каждой когорты необходимо хранить полный список квантов.

Это принципиально важнее хранения только A, C и M.

Из полного списка независимо вычисляются:

границы;

мощность;

разрывы;

плотность;

центры;

морфология.

Если публикуется только компактная таблица A/C/M, значительная часть аналитики становится невоспроизводимой без дополнительного массива.

5. Компактный когортный реестр
Отдельный файл должен содержать для всех рангов 1–1000 как минимум:

ранг;

A;

C;

M.

Это базовая машинная версия компактной таблицы Приложения Д.

Из неё непосредственно строятся:

протяжённости;

коэффициенты разброса;

фронты;

часть рекордных последовательностей;

лестница относительной глубины при известном X.

6. Расширенный паспортный реестр
Следующий слой содержит 29 канонических паспортных полей.

Для каждого ранга должны быть представлены:

основные границы;

мощность;

морфологические показатели;

арифметика A и C;

рекордный статус;

постжизненная глубина;

реинкарнационный статус;

квантитативный профиль.

Интерпретационные поля должны быть отделены от вычисляемых.

Желательно хранить:

passport_fact

и

explication

как разные логические слои.

7. Массив факторизаций границ
Для всех первых и последних наблюдаемых квантов должен существовать отдельный воспроизводимый факторизационный слой.

Он включает:

A;

полную факторизацию A;

C;

полную факторизацию C;

степень двойки;

число различных нечётных простых факторов;

число факторов с кратностью;

признаки делимости на выбранные малые простые.

Из этого массива должны заново получаться все агрегированные утверждения об арифметической полярности.

8. Реестр фронтов
Отдельный файл должен хранить последовательности:

фронта рождения;

фронта завершения;

фронта реализованных рангов, если он вычислен для соответствующего натурального диапазона.

Для каждого рекордного обновления желательно фиксировать:

ранг;

предыдущее значение;

новое значение;

размер скачка;

расстояние от предыдущего рекордного ранга.

9. Реестр рекордов
Рекордный пакет должен включать машинно определяемые категории:

максимальная правая граница;

максимальный внутренний разрыв;

максимальный терминальный разрыв;

экстремальные мощности;

экстремальные протяжённости;

экстремальные коэффициенты разброса;

минимальные плотности;

рекорды постжизненной глубины.

Рекорд должен выводиться алгоритмом из первичных данных, а не вручную вноситься как отдельный авторский факт.

10. Лестница норм завершённости
Для каждой когорты должны быть сохранены:

C;

общий достигнутый X;

точное значение Q=X/C;

максимальная пройденная стандартная норма.

Отдельная агрегированная таблица воспроизводит числа когорт, достигших:

100C;

1000C;

10 000C;

100 000C;

1 000 000C;

10 000 000C;

100 000 000C.

Поскольку эта таблица производна от C и X, она должна генерироваться автоматически.

11. Журнал глубокой проверки
Для глубокой области должен сохраняться отдельный блоковый журнал.

Существующая вычислительная архитектура использует:

196 контрольных блоков.

Для каждого блока должны быть доступны:

границы;

число обработанных чётных значений;

параметр частичного подсчёта;

локальный минимум нижнего барьера;

аргумент минимума;

контрольные данные;

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

Именно такой журнал позволяет повторять глубокую проверку по частям.

12. Глобальный минимум нижнего барьера
В контрольный набор обязательно входит экстремальный результат:

B_min = 1448

при:

N = 1 773 196 298.

Должна быть однозначно указана математическая спецификация B(N):

учитываются действительные гольдбаховские разложения, в которых меньшее простое слагаемое не превышает 300 000.

Поскольку это строгая частичная сумма полного ранга, она является нижней оценкой, а не приблизительным прогнозом полного числа представлений.

13. Контрольные значения первых когорт
Пакет должен содержать небольшой набор результатов, пригодный для мгновенной проверки новой реализации.

Минимально:

полные когорты рангов 1–10;

их A;

C;

M;

разрывы;

несколько производных показателей.

Новая программа не должна запускаться на миллиардном диапазоне, пока она не воспроизводит этот малый канонический набор.

14. Контрольные граничные значения
Необходимо включить полный список:

1000 первых квантов;

1000 последних наблюдаемых квантов.

Эти 2000 значений особенно важны, поскольку от них зависят границы жизненных циклов.

В пакете должен быть предусмотрен отдельный алгоритм прямой проверки их точных рангов.

15. Контрольные экстремумы
В обязательный набор входят:

C;;; = 195 368;

максимальный внутренний разрыв:

45 238 у ранга 998;

максимальный терминальный разрыв:

7166 у ранга 826;

глубокий минимум:

1448 при 1 773 196 298.

Независимая реализация должна воспроизводить эти значения из исходного массива, а не получать их как заранее заданные константы.

16. Математическая спецификация алгоритма точного ранга
В пакет должен входить независимый от языка программирования документ.

Он определяет:

что считается простым;

что считается гольдбаховским разложением;

почему используется p;q;

как исключается двойной подсчёт;

какой результат возвращает алгоритм.

Так другой исследователь может написать собственную реализацию без чтения исходного программного кода автора.

17. Спецификация Рангового решета
Отдельно описывается:

пороговое пространство;

точный ранговый слой;

положительная селекция;

отрицательная селекция;

условие раннего прекращения поиска;

различие между точным рангом и пороговой принадлежностью.

Это необходимо для воспроизведения оптимизированных поисковых режимов.

18. Спецификация глубокой нижнебарьерной проверки
Документ должен однозначно определять:

исследуемый натуральный диапазон;

предел меньшего простого слагаемого;

правило подсчёта B(N);

размеры или правила формирования блоков;

правило вычисления локального минимума;

правило агрегации глобального минимума.

Особенно важно зафиксировать, что B(N) является строгой нижней оценкой полного ранга.

19. Исходный программный код
Академический пакет должен включать код, достаточный для восстановления всех основных вычислительных результатов.

Код целесообразно разделить по функциям:

генерация простых;

точный ранг;

построение когорт;

паспортная аналитика;

факторизация;

фронты;

рекорды;

нормы;

глубокая проверка;

контрольные тесты.

Монолитная программа, внутри которой все стадии неразличимы, значительно хуже поддаётся аудиту.

20. Эталонная и независимая реализации
Необходимо различать:

эталонную реализацию

и

независимую реализацию.

Первая является опубликованным авторским кодом.

Вторая должна быть написана отдельно по математической спецификации.

В академическом пакете желательно иметь протокол, позволяющий сравнивать их результаты на одинаковых контрольных данных.

Если независимая реализация ещё не выполнена, это должно указываться прямо как открытый пункт воспроизводимости.

21. Версии программ
Каждый результат должен быть связан с определённой версией кода.

Минимальная метаинформация:

имя компонента;

номер или идентификатор версии;

дата;

описание существенных изменений;

известные исправления;

совместимость с версией данных.

Если после публикации обнаружена ошибка, должна существовать возможность установить, какие результаты ею затронуты.

22. Вычислительная среда
Для практической повторяемости рекомендуется фиксировать:

язык программирования;

версию интерпретатора или компилятора;

основные библиотеки;

операционную среду;

архитектурно значимые параметры.

Если алгоритм детерминирован, необходимо прямо указывать отсутствие случайного компонента.

Если в будущих аналитических модулях используется случайность, должны фиксироваться правила генерации и начальные параметры.

23. Контроль цифровой целостности
Для крупных файлов и блоков следует сохранять криптографические хеши или эквивалентные идентификаторы целостности.

Они позволяют установить, что:

файл не был случайно изменён;

два исследователя работают с одним и тем же массивом;

архив после передачи идентичен исходному.

Но контрольная сумма не доказывает математическую правильность содержимого.

Она подтверждает только цифровую идентичность.

24. Манифест пакета
В корне академического пакета должен находиться машинно и человекочитаемый манифест.

Для каждого компонента он указывает:

название;

назначение;

формат;

версию;

размер;

контрольную сумму;

происхождение;

зависимости;

какие утверждения книги он поддерживает.

Так пакет становится навигационной системой, а не набором не связанных файлов.

25. Разделение первичных и производных данных
Это одно из важнейших требований.

К первичным относятся данные, получаемые непосредственным математическим вычислением:

;(N);

списки квантов;

частичные нижние барьеры.

К производным:

A;

C;

M;

протяжённость;

плотность;

фронты;

рекорды;

лестница норм;

факторизационные агрегаты.

Производные данные должны иметь возможность полностью пересчитываться из первичного слоя.

26. Разделение фактов и экспликаций
Паспортный слой должен хранить факты.

Экспликационный — интерпретации.

Например:

C;;; = 195 368

является фактом.

Фраза:

«998-ранговая когорта представляет особенно сильный экстремальный стресс-тест центрального метаинварианта»

является интерпретацией.

Эти два уровня не следует помещать в одно неразличимое поле данных.

27. Разделение точного и нижнебарьерного счёта
Любой пользователь пакета должен сразу видеть, где хранится:

точный гольдбаховский ранг;

строгая частичная нижняя оценка.

Число 1448 в глубокой области не должно интерпретироваться как автоматически равное полному рангу соответствующего N.

Оно означает:

найдено не менее 1448 действительных разложений в выбранном ограниченном классе.

28. Протокол полной репликации
Полная независимая репликация центрального результата может состоять из следующих этапов.

Сначала воспроизводятся первые малые когорты.

Затем контрольные ранги из различных частей диапазона.

После этого строится весь точный корпус 1–1000.

Далее проверяются:

A;

C;

M;

экстремумы;

факторизация границ.

На отдельном этапе воспроизводится глубокий нижнебарьерный эксперимент по блокам.

Наконец сравниваются:

глобальный минимум;

аргумент минимума;

лестница норм.

Такой порядок позволяет локализовать возможное расхождение до перехода к наиболее дорогой стадии.

29. Протокол частичной репликации
Если вычислительных ресурсов для полного повторения нет, пакет должен поддерживать проверку отдельных независимых частей.

Можно независимо воспроизводить:

отдельные ранговые блоки;

выбранные когорты;

рекордные объекты;

случайно выбранные контрольные когорты;

часть глубоких блоков;

глобальный экстремальный блок.

Частичная репликация имеет меньший охват, но сохраняет научную ценность, если её область указана точно.

30. Статус репликации
Каждый опубликованный результат желательно сопровождать статусом:

авторское первичное вычисление;

внутренняя перепроверка;

независимая программная репликация;

методически разнородная репликация;

внешняя академическая репликация.

Нельзя объявлять независимым результат, полученный простым повторным запуском того же кода.

31. Протокол конфликтов
Если независимая реализация расходится с эталонной, обе версии должны сохраняться до разрешения причины.

Необходимо найти:

первую различающуюся точку;

тип расхождения;

версию программ;

входные данные;

границу блока;

условия подсчёта.

После исправления должен создаваться новый версионированный выпуск пакета, а не молчаливо заменяться старый файл.

32. Журнал исправлений
Академический пакет должен поддерживать историю.

Каждая корректировка фиксирует:

что изменено;

почему;

какие файлы затронуты;

какие результаты книги требуют пересмотра;

изменился ли доказательный статус.

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

33. Пакеты масштабных расширений
Следующие эксперименты не должны перезаписывать корпус 1–1000.

Следует формировать отдельные совместимые расширения:

MG-10K;

MG-100K;

MG-1M

или иные явно определённые версии.

Аналогично постжизненные расширения:

MG-100KC;

MG-1MC;

MG-10MC.

Каждый новый пакет включает предыдущие стандарты, но сохраняет собственный вычислительный паспорт.

34. Распределённые вычислительные блоки
Для больших будущих проверок академический пакет должен поддерживать распределённую модель.

Каждому узлу выдаётся:

точный диапазон;

версия спецификации;

параметры;

формат результата.

Узел возвращает:

минимальный барьер;

аргумент минимума;

контрольные сведения;

идентификатор результата.

После этого центральная система агрегирует блоки и проверяет полноту покрытия без пропусков и перекрытий, способных исказить итог.

35. Блоковый сертификат
Канонический сертификат блока может содержать:

идентификатор блока;

левую и правую границы;

число проверенных чётных;

параметр P;

минимальное B;

аргумент минимума;

версию кода;

версию спецификации;

хеш результата;

статус повторного вычисления.

Такой сертификат является аудитным артефактом, а не формально-машинным доказательством в смысле proof assistant, если отдельная система формальной сертификации не построена.

36. Академическая документация
Помимо данных и кода необходим комплект текстовых документов:

описание математических объектов;

спецификация алгоритмов;

руководство запуска;

структура файлов;

описание полей;

контрольный пример;

инструкция независимой репликации;

ограничения метода;

известные открытые вопросы.

Без документации даже полностью опубликованный код может оставаться практически невоспроизводимым.

37. Постоянные идентификаторы выпусков
Каждый опубликованный выпуск академического пакета должен иметь однозначный идентификатор версии.

Это необходимо, чтобы научная статья могла ссылаться не просто на «данные МетаГольдбаха», а на конкретное состояние корпуса.

Новые вычисления должны создавать новую версию, не уничтожая возможность проверить предыдущую.

38. Связь пакета с доказательным паспортом
Каждый пункт доказательного паспорта Метатеоремы должен быть связан с определённым блоком академического пакета.

Например:

вычислительная база — с точным ранговым массивом;

границы — с когортным реестром;

арифметическая полярность — с факторизационным массивом;

10 000C — с журналом глубокой проверки;

1448 — с блоковым экстремумом;

воспроизводимость — с протоколом независимой реализации.

В идеальной системе читатель может пройти от каждого существенного утверждения книги к конкретным данным и вычислительной процедуре, которые его поддерживают.

39. Связь с открытой доказательной системой
После создания академического пакета книга перестаёт быть единственным носителем результата.

Возникают взаимосвязанные уровни:

книга объясняет;

данные предъявляют;

код воспроизводит;

паспорта структурируют;

сертификаты обеспечивают аудит;

репликации проверяют;

новые версии масштабируют.

Именно эта архитектура превращает вычислительный результат из одноразового расчёта в долговременный научный объект.

40. Критерий готовности академического пакета
Пакет можно считать подготовленным к академическому использованию, когда независимый исследователь, не обладая внутренним знанием истории проекта, способен по опубликованной спецификации:

воспроизвести контрольный малый корпус;

проверить основные границы;

пересчитать производные показатели;

запустить глубокий блок;

получить сопоставимый блоковый результат;

определить версию всех использованных данных;

проследить происхождение каждого ключевого утверждения до первичного вычислительного слоя.

Только в таком виде данные, программы, методика и доказательная интерпретация образуют единый воспроизводимый академический пакет МетаГольдбаха.

*****************