Данные за логическим выводом

Словарь полей

id / puzzle / solution

Стабильный опубликованный ID и строки из 81 цифры; 0 в puzzle означает пустую клетку. В таблицах импортируйте эти столбцы как текст, чтобы сохранить начальные нули.

difficulty / hardestTechnique

Сохранённые метки v1, определённые самой высокой по рангу техникой исходного пути оценки.

clues

Число ненулевых цифр исходной задачи.

firstEliminationStep

Номер первого результативного шага исключения, начиная с 1. Для путей только с размещениями — пусто в CSV и null в JSON.

emptyAtFirstElimination

Число пустых клеток перед первым исключением, не оставшееся время решения.

placements

Число размещённых цифр в записанном пути.

productiveEliminationPasses

Число успешных применений правила исключения; одно применение может удалить несколько пар «клетка–цифра».

explicitCandidateRemovals

Кандидаты «клетка–цифра», удалённые техниками исключения. Обычные обновления соседей после размещения не учитываются.

traceStatus

Результат текущего расчёта пути: solved, stalled или invalid. Это не независимая проверка доказательства.

recordedSteps (JSON)

Исходные счётчики по техникам: одиночки считают размещения, остальные техники — результативные применения. Нельзя складывать их и называть шагами человеческого мышления.

examples / hardCase (JSON)

Избранные шаги с полными состояниями до/после, логическими кандидатами, опорными клетками, исходными/целевыми областями и действиями. Индексы клеток массива начинаются с 0; метки r/c на схеме — с 1.