Верификация

Доверие к числу

Ценность расчётного ядра — не в интерфейсе, а в доверии инженеров к результату. Каждый порт функции сверяется с эталоном, снятым с работающей десктопной программы.

Методика верификации

Эталонный генератор

Десктопная версия FrostPile дорабатывается режимом командной строки, выгружающим все промежуточные величины ядра. Это независимый эталон, полученный не от порта.

Золотые тесты

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

Порог приёмки

Относительное расхождение по всем контролируемым величинам не превышает 1·10⁻⁹ на всех эталонных наборах, за исключением осознанных отклонений реестра.

Текущий статус сверки

Таблиц СП

78

перенесены с посимвольной сверкой

Сохранённых расчётов

11

эталонных файлов десктопной версии

Сходимость глубин

8 / 11

совпадают точно (Δ ≤ 1·10⁻¹⁵)

Почему это важно

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