Почему совпадение с экспериментом — ещё не доказательство?

Совпадение расчёта с экспериментом не всегда доказывает достоверность: ошибки модели, эксперимента и численного метода могут компенсировать друг друга — расчёт попадает в точки, но по неверным причинам. Поэтому численную реализацию решателя проверяют отдельно. Для этого есть метод изготовленных решений (MMS, Method of Manufactured Solutions): назначают точное аналитическое решение, подставляют его в уравнение и вычисляют, какая нагрузка нужна, чтобы оно было решением, — и прогоняют эту задачу через проверяемый решатель. Дальше сравнивают с формулой и сгущают сетку: ошибка обязана падать с ожидаемым порядком сходимости — скоростью, заранее известной для данного метода (у второго порядка — примерно вчетверо при каждом уполовинении сетки). Не падает — дефект в коде, даже если результат выглядит правдоподобно.

Ниже — мой проект в упрощённом виде.