Программа
Воспроизведи клейм
Верхняя ступень лестницы доказательности этой лаборатории — external_reproduced — пуста. Это сознательно: заполнить её может только кто-то, кто не мы. Если у вас сопоставимое железо — эта страница и есть действующий контракт.
Контракт
- Вы прогоняете кит воспроизведения для перечисленного клейма на своём железе: запиненный digest образа runtime, артефакт модели с проверкой хэша, замороженный корпус, одна команда. Кит v1 покрывает гейтовые клеймы — поиск иголки и честность на unanswerable-контролях — где допуск бинарный: те же вердикты гейтов на вашем юните, или нет.
- Вы присылаете запечатанный бандл доказательств, который производит харнесс (issue в agmind-bench с приложенным или залинкованным бандлом).
- Мы сверяем бандл с tolerance-файлом. Совпало → страница клейма линкует ваш бандл, уровень доказательности поднимается до external_reproduced, а вы попадаете в ростер с постоянной ссылкой на что захотите: ваш репозиторий, ваш разбор, ваш ник.
- Не совпало → это находка, а не отказ. Мы публикуем расхождение и разбираем конфигурационную дельту открыто — так же, как уже работает наша errata. Провалившиеся воспроизведения — полноценные результаты.
Зачем это вам
Вы получаете постоянный линкуемый артефакт, доказывающий поведение вашего железа под замороженным задокументированным ворклоадом — измеренный инструментом с публичными юнит-тестами, а не бенчмарком на глазок. Мы получаем единственное, что не можем произвести сами: независимость.
Кит
Всё лежит в публичном репозитории харнесса: раннер, корпуса, замороженные хэшами, загрузчик артефактов с опубликованными чексуммами и tolerance-файл, называющий клеймы, открытые к воспроизведению.
Ростер
Внешних воспроизведений пока нет. Эта секция остаётся честной: она заполнится, когда первый бандл пройдёт верификацию — или задокументирует первое расхождение.