reality-audit

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

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

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

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

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

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

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

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

1. последняя поправка владельца;
2. принятое требование или спецификация;
3. устоявшийся публичный API, схема и канонические тесты целевой версии;
4. пересказ имплементатора — свидетельство об исполнении, никогда не контракт.

Записывай только утверждения, чей провал меняет приёмку. Точный вывод, порядок, ошибка, сериализация или пример команды — исполняемые утверждения, даже записанные прозой. Каждый нормативный пример воспроизводи точно; более простой представительный случай его не разряжает.

2. Назови носитель и фальсификатор до прогона

По каждому утверждению — одна компактная строка:

Поле	Требуемый ответ
Утверждение	Что именно должно держаться?
Канонический носитель	Какой именно бинарь, пакет, экспортируемый символ, API-маршрут, UI, схему, генерируемый артефакт или задеплоенный путь потребят пользователи? Кто признал его каноническим для этого класса? Не признан — provisional для канонической приёмки; исследованию это не мешает
Наблюдаемое	Что должен увидеть внешний наблюдатель?
Исполняемый фальсификатор	Какая команда, запрос, проверка ожидаемого или тест доказали бы ложность?
Эталон и измеритель	Откуда ожидаемое и не сторона ли измеряемого прибор? Спрашивается, когда зависимость меняет вывод

Граничные слова — классы эквивалентности, не одна удобная фикстура. Для empty, none, missing, malformed, default перечисли различимые представления, которые публичный парсер может получить (ноль байт vs пустая запись, пустой массив vs отсутствующее поле, опущенный флаг vs его явный дефолт), и пробей каждое, которое принятая формулировка приравнивает. Для минимума, максимума, порога, окна, счётчика, гейта версии — принятая граница плюс ближайшее значение с иным поведением с каждой стороны; дефолт, поставляющий границу, тестируется и опущенным, и явным. Парсер, валидатор или хелпер, переиспользованный со строжайшего соседнего пути, получает независимую проверку предусловий: унаследованный страж не должен отвергать вход, который новый публичный контракт принимает.

Назови канонический путь до пробы. Черновая сборка, локальный скрипт, вызов только на заглушках, тест в обход публичной границы — provisional, если только это не и есть точный публичный поставляемый артефакт. Авторский свежий тест наблюдает свой запуск: он свидетельствует, когда пересобирает и исполняет канонический носитель с точным фальсификатором; одноавторская заглушка или внутренний тест — нет. Независимость автора, средства и эталона — разные вопросы; чёрный ящик сам по себе не основание независимости; два пересказа одного прогона — не два наблюдения. Когда запуститься могло несколько артефактов — докажи, который побежал: путь плюс свежесть (mtime, digest, версия, маркер сборки). Печатный вывод — наблюдение, не пасс, пока исполняемая проверка не сверила ожидаемое значение и код выхода.

3. Прогони терминальную лестницу свидетельств

После последней содержательной правки, в этом порядке:

1. Собери/упакуй/выкати канонический поставляемый артефакт — прежде чем тестировать любую черновую копию.
2. Испытай именно изменённый путь на его публичной границе. Утверди ожидаемое наблюдаемое и поведение отказа; не «осмотри правдоподобный вывод».
3. Перегони точный прежний фальсификатор. Опровергнутое утверждение остаётся опровергнутым, пока тот же случай — или строго более сильный — не пройдёт против свежего артефакта.
4. Перегони затронутые старые требования в коде. Сначала приёмочные случаи по изменённому общему коду; широкая сюита — только после прогона точного нового пути.

Любая содержательная правка артефакта после шага 1 обесценивает хвост: пересобери и повтори задетые пробы. Никогда не давай уборке, граф-работе или нарративу съесть бюджет пробы нового пути.

Граф идёт после свидетельства и никогда не входит в него. Сначала заморозь вердикты и заверши все содержательные правки артефактов; затем максимум одно терминальное обновление — и только когда устойчивая поправка или противоречие изменит решение позднего агента. Поздняя содержательная правка делает то обновление преждевременным: его поведенческая уверенность provisional, пока задетое публичное свидетельство не перегнано и узел не подтверждён заново. Граф — не черновик посреди приёмки, и состояние графа никогда не аргумент вердикта: запрещена подмена ступени, не чтение графа — но здесь, в терминале, читается мир.

Код выхода — вердикт. Совмещённое терминальное свидетельство — с остановкой на первом сбое с первой команды (set -euo pipefail или платформенный эквивалент); ожидаемый код отказа ловится и утверждается локально, затем остановка на сбое восстанавливается. Утверждение не verified, пока его команда-свидетельство выходит ненулём: зелёные субтесты, строки passed в stdout, поздний посторонний ноль не перекрывают записанный код — читай его из результата тула, не выводи из выбранного вывода; чистит только перегон того же случая (или строго более сильного) против свежего артефакта. Обёртка, сознательно гоняющая все подгруппы, накапливает провалы и выходит ненулём при провале любой обязательной. Перед финальным нарративом сведи каждое заявление passed/green с записанными кодами выхода и сводкой упавших подгрупп.

4. Дай один правдивый вердикт на утверждение

• verified — свежий канонический носитель произвёл требуемое наблюдаемое, и исполняемый фальсификатор был успешно исполнен;
• provisional — свидетельство есть, но только черновое, на заглушках или внутреннее, только по печати, несвежее или мимо точной публичной границы;
• contradicted — воспроизведённый контрпример всё ещё падает;
• blocked — поверхность свидетельства недоступна; процитируй блокер буквально и назови только то утверждение, чью проверку он не даёт.

Этот словарь один на всю приёмку: им же говорит роль verifier (справка делегирования iskronify).

Доложи компактную таблицу «утверждения × вердикты» с каноническим путём и свидетельством команды/теста — только реальная телеметрия, никогда оценённые токены, цена, длительность или покрытие. Зелёное перенесённое подмножество, опускающее падающий случай, — отсутствие наблюдения, не починка. Структурное здоровье графа — отдельный факт, поведенческий вердикт оно не повышает. Вердикт ограничен заявкой и условиями: повторяемость, ценность, пользу и причинный эффект метода он не устанавливает. Вердикты говорятся словом в деле, таблицей выше; в граф они ложатся модусами узлов, и каждая ось движется по своему основанию: наблюдение может обосновать факт существования (vartamana) при потолке другой поведенческой заявки; приёмка целого от этого не повышается. У verified слово несёт только потолок наблюдения — что наблюдено и где предел носителя, — никогда недоделанное; ненаблюдаемое — не verified. Provisional и blocked, которые будут ждать, — строкой partial своего ключа; нужен ответ делателя — ещё и карточкой, поручение — словом (справка двери iskron cases.md, «Ожидание от делателя», «Разовая задача — слово в деле»).

Классы из Ceiling Reality-таблицы репо — с записанным «достижимого наблюдения нет» — никогда не возвращаются verified: их потолок — provisional, как бы ни прошла проба; честная эпистемика такого рода — anumita или схождение независимых свидетельств.

Обязательная работа закрывается, только когда каждое обязательное утверждение verified — или владелец сознательно принял названное исключение. Provisional, contradicted и blocked — состояния передачи, не синонимы «готово».