«Ты меня понял?»

Это составленный диалог для разбора. W₀ обозначает первую строку; A₁ и A₂ — два продолжения. Метки показывают расположение записей, не устанавливая названного ими понимания.

W₀

Поставь синюю чашку слева от книги. Ты меня понял?

A₁

Да. Синюю чашку — слева от книги.

A₂

Да, правильно.

Знак <doc фиксирует только порядок строк в собранном материале. Он не устанавливает реальную хронологию, источник, адресата или понимание.

1. Зафиксировать исходную запись и единицу сравнения.
2. Найти точное вхождение исследуемого слова или выражения.
3. Указать дополнительные данные и правило перехода от слова к обозначенному объекту.

Если дополнительные данные или правило не объявлены, анализ на этом заканчивается. Если они объявлены, проверяется только заданный ими переход. Дополнительный пакет должен раскрывать источник и область действия правила, входные данные, воспроизводимую процедуру, отсутствие прямой цикличности, а также условия выдачи результата, неоднозначности или отказа.

Слова «ты», «меня» и «понял» механически обнаруживаются в W₀. Но одного их наличия недостаточно, чтобы определить участников или считать понимание установленным. Здесь K — объявленный набор контекста, данных и правил их использования. Если K явно задаёт контекст, входные данные и правило привязки, результат действует только в рамках этого контракта.

Последующая строка расширяет запись, но не изменяет задним числом содержание W₀.

Для журнала диалоговой системы поля «запрос», «ответ» и «эталон», спецификация метрики и воспроизводимый расчёт позволяют проверить состав журнала и получить результат выбранной метрики в рамках K. Утверждение «система поняла запрос» добавляет отдельную интерпретацию. Без явно заданного правила перехода это лишь приписывание, а не новый результат измерения.

Само правило перехода также требует разбора: позволяет ли выбранная проверка судить именно о том, что названо «пониманием»? В рукописи этот вопрос назван проверкой конструктной валидности.

Работа устанавливает только границу вывода из предъявленной записи при объявленном K. Утверждения о людях, событиях, чувствах, понимании и коммуникации находятся вне этой проверки.

Новый контекст или новое правило расширяют K, но не становятся задним числом частью W₀.

Метод применён ошибочно, если исходная запись подменена привычным прочтением до фиксации материала; контекст неявно включён в W₀; результат проверки назван пониманием без правила перехода; либо несовместимые результаты разных правил сведены к одному без критерия выбора.

Локальный тезис опровергнут, если обнаружена ошибка в точных строках, байтах, контрольных суммах или порядке; если неверно построены два расширения; либо если предъявлена операция R₀, которая при допустимых входах выдаёт результат за пределами словаря L₀. Это не устанавливает противоположный тезис о понимании.