1. Действительно ли это Main correct solution, а не просто Correct solution?
2. На всякий случай: поставлены ли чекер и валидатор?

Очень странно. Думаю, бага либо в тесте (неправильный, из-за чего model solution не работает), либо собственно в model solution, либо это бага Polygon.

Ну совсем для начинающих MikeMirzayanov раньше пару тройку раз читал лекцию про то зачем Polygon нужен и как им пользоваться, но на видео это не снимали(

А вообще идея простая. Целью является создание задачи. Для этого нужно: 1) зарегистрироваться на сайте; 2) придумать название задачи и создать ее (для этого есть кнопочка); 3) Теперь нужно сделать небольшие мелочи (установить TL, ML, input, output), поставить теги задачи (например тернарный поиск); 4) дальше пишется условие на нужном/ых языке/ках; 5) авторское решение, просто надо написать авторское решение и добавить его во вкладке Solution; 6) тесты можно сделать либо вручную добавляя их по одному, либо написать небольшую (иногда большую) программку которая берет из параметров командной строки параметры и выводит в консоль тест. Пример генератора:

#include <iostream>
#include "testlib.h"

using namespace std;

int main(int argc, char* argv[])
{
    registerGen(argc, argv);
    
	int n = atoi(argv[1]);
	
	cout << n << endl;
	
	for (int i = 0; i < n; i++)
		cout << rnd.next(100) << ' ';
	cout << endl;
	
	return 0;
}

7) Теперь когда есть тесты и генератор/ы будет очень круто написать валидатор — программа которая проверяет нагенеренный и введенный тесты на корректность. Без валидатора нехорошо, потому что можно набажить в генераторе, а потом участники будут жаловаться на кривые тесты 8) В invocationах можно запустить решения на тестах и убедиться, что все хорошо (или плохо) 9) В конце можно собрать package — архив где все аккуратно лежит

P.S.: Чуть не забыл про чекер — программа проверяющая ответ на правильность. Можно пользоваться стандартными чекерами (типа проверить ответ участника на побуквенное равенство с авторским, либо написать самому что-то умное). По поводу того что такое testlib. Можно зайти на скачать архив там есть примеры и генераторов, и валидаторов, и чекеров.

От участника я получаю только массив чисел с плавающей точкой. Размер задаётся заранее. Там присутствуют строки, которые могут заставить его упасть. Каждый элемент считывается примерно вот так:

double value = ouf.readDouble();
ensuref(0 <= value, "%f < 0", value);

Разве в этом случае не должно быть вердикта WA или PE?

UPD:
Запустил локально, действительно вердикт FAIL.