Reality-audit — свидетельствование: потрать хвост на то, что поставляется

Свидетельство имплементации легко собрать с неверной поверхности: черновая сборка, разовый прогон интерпретатора, тест в обход публичной границы, правдоподобный печатный вывод. Этот терминальный протокол решает, было ли поставляемое поведение действительно испытано.

Протокол — для заявки об исполнении. Заявка о содержании текста (проект, спецификация, правка канона) принимается различающим чтением самого текста (entry); это не свидетельство его действия.

Это вторая ступень сверки — свидетельствование мира, — и её несёт свидетель, не автор; насколько независимым ему быть — по риску заявки. Сделавший видит отражение собственного намерения; потому фальсификатор называется до взгляда (какое наблюдение опровергло бы?), а наблюдение берётся заново. Говоря «проверено», называй ступень: чтение записанного (граф — инструмент наблюдения, не мир) утверждение о поведении не закрывает.

Загружай после последней содержательной правки имплементации, до слов verified, done, green, «работы не осталось» — и снова после поправки владельца или воспроизведённого фальсификатора, обесценившего прежнее свидетельство. Не на входе в задачу, и никогда не прерывай имплементацию граф-моделированием ради подготовки к нему.

Пропорциональность. Когда правка не меняет публичного контракта — ни нового/изменённого экспортируемого символа, формата вывода, формы конфига/схемы, документированного поведения — лестница сжимается до шагов 1–2 по тронутому пути: пересобери канонический поставляемый артефакт, испытай изменённый путь один раз с утверждённым ожиданием, запиши команду и код выхода одной строкой. Полная таблица утверждений оценена под поведенческую работу, не под правки класса опечатки. Сомневаешься, менялся ли контракт, — менялся.

1. Заморозь только несущие утверждения

Читай принятый источник, не итоговый пересказ имплементатора. Старшинство контракта: