Сборка участника и production-сборка — разные идентичности. Исторический непривязанный прогон не становится текущим доказательством.
Методика / публичный контракт R4
Сначала доказательства.Никаких необъяснимых чисел.
Одного балла недостаточно. Публикуемое сравнение связывает точную сборку, версию вопроса, ответ участника, время, фактическую стоимость, проверяющего, судью, права и манифест целостности.
Метод
Четыре независимые проверки.
Фактическая стоимость и время суммируются только по уникальным квитанциям. Если итогов нет, они остаются неизвестными.
ИИ-судья считается независимым, только когда записаны его идентичность, доказательства и решение о независимости.
Права, исходные материалы, покрытие проверкой и целостность пакета должны пройти контроль до выдачи доказательств.
Модель состояний
Состояния публикации
Метка описывает полноту доказательств, а не качество модели.
| Состояние | Значение |
|---|---|
| текущая сборка подтверждена | Точная оцениваемая сборка совпадает с работающей, все проверки доказательств пройдены. |
| исторический / без привязки | Полезные исторические данные без точной привязки к текущей production-сборке. |
| неизвестно / неполно | Обязательные данные отсутствуют или противоречат друг другу. Портал не подставляет ноль. |