reality-audit
Reality-audit — свидетельствование: потрать хвост на то, что шипится
Свидетельство имплементации легко собрать с неверной поверхности: скретч-сборка, разовый прогон интерпретатора, тест в обход публичной границы, правдоподобный печатный вывод. Этот терминальный протокол решает, было ли поведение, которое шипится, действительно испытано.
Это вторая ступень сверки — свидетельствование мира, — и её несёт свидетель, не автор. Гнездо: санскр. sākṣin (साक्षिन्) — свидетель-сознание: присутствует при опыте, но не действовало в наблюдаемом; образ традиции — лотос, не смоченный водой. Овеществивший (kartṛ) видит не сущее, а ābhāsa — отражение собственной интенции; потому фальсификатор называется до взгляда (Поппер: какое наблюдение опровергло бы?), а наблюдение берётся заново. 中 驗 yàn — испытание на деле (驗證 yànzhèng — проверка-удостоверение); лат. testis — «третий стоящий»: свидетельство надёжнее, когда его несёт не сторона. Говоря «проверено», называй ступень: чтение записанного (граф — инструмент наблюдения, не мир) утверждение о поведении не закрывает.
Загружай после последней содержательной правки имплементации, до слов verified, done, `green», «работы не осталось» — и снова после поправки владельца или воспроизведённого фальсификатора, обесценившего прежнее свидетельство. Не на входе в задачу, и никогда не прерывай имплементацию граф-моделированием ради подготовки к нему.
Пропорциональность. Когда правка не меняет публичного контракта — ни нового/изменённого экспортируемого символа, формата вывода, формы конфига/схемы, документированного поведения — лестница сжимается до шагов 1–2 по тронутому пути: пересобери канонический деливерабл, испытай изменённый путь один раз с утверждённым ожиданием, запиши команду и код выхода одной строкой. Полная таблица утверждений оценена под поведенческую работу, не под правки класса опечатки. Сомневаешься, менялся ли контракт, — менялся.
1. Заморозь только несущие утверждения
Читай принятый источник, не итоговый пересказ имплементатора. Старшинство контракта:
- последняя поправка владельца;
- принятое требование или спецификация;
- устоявшийся публичный API, схема и канонические тесты целевой версии;
- пересказ имплементатора — свидетельство об исполнении, никогда не контракт.