devcontour-harness 0.1.0-alpha.16 → 0.1.0-alpha.19

package/README.md

@@ -5,7 +5,7 @@ Headless-движок исполнения инженерных поручени
 интеграция с принятой веткой через compare-and-swap и машинный результат с SHA
 и доказательствами.
 
-> Статус: `0.1.0-alpha.16` — предварительный выпуск (alpha). Договоры
+> Статус: `0.1.0-alpha.19` — предварительный выпуск (alpha). Договоры
 > `v1alpha1` могут измениться между alpha-версиями; закрепляйте точную версию.
 > Файл → ревью плана → кандидат → интеграция → принятие → результат JSON, с
 > ограниченным восстановлением, повторным использованием кандидата, бюджетами,
@@ -28,7 +28,7 @@ Headless-движок исполнения инженерных поручени
 Из npm — точная версия (воспроизводимо) или последняя alpha по тегу:
 
 ```sh
-npm install --save-exact devcontour-harness@0.1.0-alpha.16   # точная версия
+npm install --save-exact devcontour-harness@0.1.0-alpha.19   # точная версия
 # или: npm install --save-exact devcontour-harness@alpha     # текущая alpha
 npx harness --version
 ```
@@ -123,6 +123,32 @@ PASS» нет. Адаптеры хоста реализуют порты `Execut
 `devcontour-harness/schemas/<имя>.schema.json`. Декларации используют типы
 Node.js: TypeScript-потребителю нужен `@types/node` (или `skipLibCheck`).
 
+## Выпуск 0.1.0-alpha.19
+
+Провал gate интеграции после зелёного кандидата повторяется один раз
+(`recheck`; контрпример свойства или корпуса — нет); области gates до
+`GATE_SCOPE_LIMIT`; дешевле такты очереди. Песочница: каталоги IDE внутри
+`node_modules` открыты, запреты `.git` явные, git хоста сверяет checkout
+(`hostGitArgs`) и снимает исполняемые настройки, защищённые пути сверяются
+после gate, класс `environment` — только по журналу ядра. Подробно и с
+известными пробелами — [заметки выпуска](docs/release-notes/0.1.0-alpha.19.md).
+
+## Выпуск 0.1.0-alpha.18
+
+`runGatesAt` исполняет gates с предпосылками профиля: явный `dependsOn` или,
+в профиле без него, более ранние check gates (установка); общий с попыткой
+порядок `orderedScope`; все провалы — сразу; `dependsOn: []` — без
+предпосылок. Подробно — [заметки выпуска](docs/release-notes/0.1.0-alpha.18.md).
+
+## Выпуск 0.1.0-alpha.17
+
+Меньше слепых повторов: reviewer называет класс входов, два отказа ревью по
+одному свойству и классу — пробел приёмки с остановкой; отказы окружения не
+тратят попытки (свой предел), штатная остановка возвращает работу в очередь,
+`completed: false` повторяется с черновика; пустой результат принимается
+только с механическим основанием (иначе `needs-lead`), `runGatesAt` проверяет
+gates на закреплённом SHA; стоимость вызова учитывается по всему потоку. Подробно — [заметки выпуска](docs/release-notes/0.1.0-alpha.17.md).
+
 ## Выпуск 0.1.0-alpha.16
 
 Отказ по файлу эталонного набора — только по строковому литералу, без ложных

package/docs/architecture.md

@@ -185,6 +185,49 @@ runtime-граф пакета.
 - **Покрытие gates.** `uncoveredGates` засчитывает только evidence попыток под
   текущим основанием политики: тот же ID gate с другой командой — другая
   проверка.
+- **Пауза по классу отказа.** Отказ класса с `blocksQueue`
+  (`provider-auth`, `environment`) в той же транзакции ставит паузу
+  `runtime` и добавляет класс в `pauseFailures`: новых выдач нет ни одной
+  задаче. Отказ окружения до кандидата (`blocked`) попытку не засчитывает.
+  Снимает паузу `clearFailure([класс])` — его вызывает восстановление,
+  назначившее повтор (у DevContour — цикл board workflow, той же транзакцией,
+  что повтор), — или `resume` человека; выдача возвращается, когда в списке не
+  осталось классов. Поэтому разовый отказ окружения под циклом восстановления
+  останавливает выдачу только до его следующего шага, а без цикла пауза стоит
+  до решения человека. Пауза человека этим не снимается.
+- **Gates на SHA вне попытки.** `runGatesAt` исполняет названные gates
+  компонента на закреплённом SHA так же, как integration поручения:
+  отдельное рабочее дерево, снимки зависимостей, ресурсы, lifecycle и
+  prepare, окружение фазы `integration`, песочница и `runGate`. Область —
+  названные gates и предпосылки каждого (`standaloneScope`), порядок — тот же
+  `orderedScope`, что у попытки. Предпосылки (`gatePrerequisites`): у gate с
+  объявленным `dependsOn` (в том числе пустым — режим графа) — замыкание по
+  `dependsOn`; у gate без поля `dependsOn` (профиль в режиме порядка массива)
+  — все более ранние gates вида `check` с их предпосылками: установка,
+  сборка, статические проверки. Более ранние test gates не добавляются;
+  каждый gate посещается один раз. Задаче эти предпосылки называть
+  по-прежнему приходится явно: её область исполняется как записана. Провал
+  gate не останавливает проверку. Пропускается только gate, чья явная
+  предпосылка (`dependsOn`) не прошла; провал неявной (раннего check gate)
+  тесты не пропускает — названы оба (`failures`). Evidence (`test`,
+  `integration`, этот SHA) пишется через запись хоста до следующего gate;
+  дерево обязано остаться на SHA без изменений.
+- **Пустой результат.** Исполнитель, не изменивший ни файла, не получает
+  отказ сразу: кандидат — сама база (без коммита), gates поручения идут на
+  ней, а reviewer обеих фаз получает схему ответа с обязательным
+  `alreadySatisfied` (gates области задачи — хотя бы один test gate и все
+  проверки договоров поручения — и основание). Подтверждения reviewer мало:
+  нужно механическое основание, которое находит controller
+  (`alreadySatisfiedVerdict`): договор проверки поручения, все gates которого
+  в области задачи и названы, или зависимость поручения, чей принятый
+  результат входит в SHA, а собственный кандидат изменил файлы области записи
+  поручения. Без основания — `needs-lead` (остановка, решение ведущего): общий
+  зелёный тест на базе новой работы не доказывает. Без годного подтверждения,
+  при отклонении ревью или красном gate на базе — `empty-result`. С
+  основанием поручение принимается без нового коммита; основание пишется в
+  evidence ревью (`alreadySatisfied.basis`), и `engine.finish` повторяет
+  правило целиком по записанному, сверяя основание по зависимости с её
+  принятой попыткой.
 - **Область записи.** Изменения вне `writeScope`, защищённых путей и
   закреплённого контекста отклоняют попытку до интеграции.
 - **Gates.** Тестовый gate принимается по свежему непустому отчёту без
@@ -217,11 +260,32 @@ runtime-граф пакета.
   исполнение, завершено) сохраняется и переживает рестарт; владелец задания
   fenced. Упавшее поручение повторяется только по записанному классу отказа:
   в пределах повторов одинакового отпечатка для класса, попыток поручения
-  (`maxAttempts`) и бюджета восстановлений задания (`repairBudget`). Решение и
+  (`maxAttempts`) и бюджета восстановлений задания (`repairBudget`). Отказ
+  окружения или провайдера (и истёкшее владение) попытку поручения не
+  засчитывает, даже после кандидата: о работе он ничего не говорит; повторы
+  таких отказов ограничены паузой выдачи, пределом одинаковых отпечатков,
+  `repairBudget` и своим пределом на поручение (`MAX_NEUTRAL_FAILURES` = 3,
+  счётчик `neutralFailures`): на нём `retry` без сброса, выдача и
+  восстановление отказывают; сброс человека обнуляет счётчик. Попытка, прерванная штатной остановкой (`Runner.stop`),
+  не падает: черновик сохраняется, попытка помечается `interrupted:
+shutdown`, поручение возвращается в очередь (`ready`) без траты попытки и
+  без паузы по классу; после снятия паузы остановки она продолжается с
+  кандидата или черновика. Интегрированная попытка так не возвращается.
+  Решение и
   списание бюджета — одна транзакция с повтором. Отказ провайдера, отмена,
   неизвестный класс и устаревшая база — остановка с причиной. Восстановление
   снимает только свою причину паузы; паузу человека не снимает. Режим
-  `operator` автоматических повторов не делает.
+  `operator` автоматических повторов не делает. Тексты отказов ревью от
+  попытки к попытке разные, поэтому сверх отпечатка считается и названное:
+  два отказа ревью подряд по одному необъявленному свойству с тем же классом
+  входов (`classified`; класс сравнивается без регистра и лишних пробелов) —
+  пробел приёмки (`acceptanceGap`), остановка с `gap` и причиной для ведущего
+  вместо третьей слепой попытки. Совпадение только свойства или только класса
+  (`unboundProperties`, `inputClasses`) — слабее: общий класс бывает у разных
+  дефектов, поэтому нужно три отказа подряд.
+  Счёт — как у эпизода свойства: отказ окружения его не меняет, отказ gate,
+  другое название или новое основание поручения обрывают серию. Объявленные
+  свойства ведёт эпизод разбора.
 - **Переиспользование кандидата.** После отказа окружения или по времени,
   когда кандидат уже был, повтор берёт его вместо новой реализации, только
   если совпадают все основания: постановка, контракты, политика, runtime и
@@ -398,7 +462,11 @@ runtime-граф пакета.
   reviewer — получает последние 20 входов с ожиданием, наблюдением и командой.
   Это диагностика: gate не расширяет и корпусом не становится без
   подтверждения эталоном; обязательный корпус от ограничения реестра не
-  зависит.
+  зависит. Блокирующая находка со входом называет и нарушенное свойство или
+  критерий (`property`), и класс входов (`inputClass`) — генератор или
+  семейство, к которому относится пример. Класс записывается в реестр и на
+  отклонённую попытку (`inputClasses`); следующий writer получает задачу
+  чинить класс, а не экземпляр.
 - **Контекст плана и согласование.** Снимок контекста хранится по digest, а
   действующим становится только вместе с согласованием графа
   (`approval.context`). Пока новый снимок на ревью, после его отклонения,
@@ -478,6 +546,16 @@ executable. Live smoke — отдельный opt-in с явно заданны
   прежнего владельца, истёкший lease и второй controller ничего не меняют.
 - **Точные SHA.** PASS gate и ревью относится к конкретному candidate или
   integration SHA; доказательство другой фазы или другого SHA не засчитывается.
+- **Повтор провала интеграции.** Если собственный gate поручения прошёл на
+  кандидате, но упал на integration, controller один раз на кандидата повторяет
+  его на том же integration SHA до того, как засчитать отказ `gate`. Обе записи
+  остаются; у повтора `recheck: {of, outcome}` — ссылка на первую запись и
+  исход: `flaky` (повтор прошёл, первый провал вызван средой, например бюджетом
+  времени под нагрузкой) или `confirmed` (отказ засчитывается как прежде). Лог
+  повтора — в `integration/recheck/`; замер — стадия `integration-recheck:<gate>`.
+  Провал, в отчёте которого названо проваленное свойство или случай корпуса,
+  не повторяется: это найденный контрпример, и удачный второй запуск
+  недетерминированной проверки его не отменяет.
 - **Атомарная приёмка.** Продвижение target ref — compare-and-swap внутри
   транзакции приёмки. Чужой коммит в target ref не теряется: попытка начнётся
   от новой базы. Падение между update-ref и записью принятия восстанавливается
@@ -487,6 +565,44 @@ executable. Live smoke — отдельный opt-in с явно заданны
 - **Изоляция.** Режим `os` реально ограничивает процессы writer, reviewer и
   gates; без механизма песочницы команда не запускается — тихого перехода к
   запуску без неё нет. Зависшие процессы останавливаются вместе с потомками.
+  Обязательные запреты записи sandbox-runtime (конфигурация shell и git,
+  `.git/hooks`, `.mcp.json`, `.claude/commands|agents`, каталоги IDE)
+  действуют на весь checkout проверки, а не только на её рабочий каталог.
+  Исключение одно: каталоги IDE (`.idea`, `.vscode`) внутри `node_modules`
+  открыты — пакеты их публикуют, а IDE дерево зависимостей как конфигурацию
+  проекта не открывает. На Linux srt пропускает `node_modules` сам; на macOS
+  srt запускается из каталога проверки, а запреты задаются явно: каталоги IDE
+  закрыты в корне и в каждом подкаталоге существующих каталогов до глубины 3
+  (кроме `node_modules`), прочие имена — на любой глубине. Новый каталог
+  глубже существующего уровня этим не закрыт — граница подхода (srt на Linux
+  закрывает только уже существующие пути). Файл `.git` рабочего дерева,
+  перенаправления обычного `.git` (`commondir`, `gitdir`, `config.worktree`) и
+  вложенные `.git` на любой глубине тоже закрыты (на Linux — только
+  существующий файл `.git`). Дерево больше предела перечисления — отказ
+  проверки классом `environment`, а не молча урезанные запреты.
+- **Сверка защищённых путей.** Запреты песочницы проверяют только путь
+  операции: каталог, собранный в `node_modules` и перенесённый в дерево
+  проекта, ими не закрыт. До и после каждого gate и вокруг работы исполнителя
+  сравнивается снимок защищённых имён вне `node_modules` (каталоги IDE,
+  конфигурация shell и git, `.claude`, `.git`); новое или изменённое — класс
+  `scope-violation` с путями в сообщении.
+- **Классификация отказов песочницы.** Отказ — класс `environment` только
+  тогда, когда журнал ядра macOS подтвердил отказ обязательного запрета внутри
+  дерева проверки: команда начинается с уникального токена, и записи srt этой
+  проверки отличаются от чужих. Текст вывода свидетельством не служит, запись
+  вне дерева — ошибка кода (`gate`). На Linux такого свидетельства нет, и
+  отказ остаётся `gate`.
+- **Git хоста над деревом проверки.** Каждый вызов git хоста сначала сверяет,
+  куда git придёт: файл `.git` дерева, созданного `worktree add`, не изменён;
+  gitdir и общий каталог лежат вне дерева и согласованы; `commondir`/`gitdir`
+  в обычном `.git` и вложенный репозиторий внутри известного дерева — отказ
+  (`scope-violation` в gate). Поверх — `-c core.fsmonitor=false -c
+core.hooksPath=/dev/null -c protocol.ext.allow=never`: hooks репозитория при
+  коммитах harness не исполняются.
+- **Чего ещё нет.** Регрессионных тестов в песочнице для запретов `.git`, для
+  сверки после переноса каталога и для отказа по пределу перечисления пока
+  нет: эти пути покрыты только тестами SBX01–SBX05 и модульными тестами
+  `git-trust`.
 - **Секреты.** Значения секретов маскируются во всём сохраняемом: логах,
   артефактах ревью, evidence, событиях и результате.
 - **Бюджеты.** Проверяются до вызова модели в той же транзакции, что и запись

package/docs/contracts.md

@@ -615,6 +615,9 @@ manifestDigest, impact?, evidence[], error?}`. Смена любого SHA де
 `moveBase`/`fencedRefMove`, `runGate`/`runCheck` (и разбор отчёта
 `junitSummary`, `prepareReportPath`, `sandboxBlockedHosts`), `unprovenReason`,
 `ReviewProbes`, маскирование (`redactor`, `redactDeep`, `redactError`),
+git хоста над checkout с чужим кодом (`hostGitArgs`, `assertTrustedCheckout`,
+`UntrustedCheckoutError`, `gitHardening`, учёт деревьев `rememberWorktree`/
+`forgetWorktree`/`worktreeKey`/`worktreeAddPath`, `resetGitTrust` для тестов),
 корпус (`CorpusStore`, подтверждение случая `submitCase` с `ConfirmContext`),
 ограниченный разбор по свойству (`analyzeRecovery`, `applyCases`,
 `recoveryBrief`; назначение хоста — модель и профиль ведущего — передаётся

package/docs/quickstart.md

@@ -13,7 +13,7 @@
 ```sh
 mkdir harness-demo && cd harness-demo
 npm init -y >/dev/null
-npm install --save-exact devcontour-harness@0.1.0-alpha.16
+npm install --save-exact devcontour-harness@0.1.0-alpha.19
 npx harness --version
 npx harness doctor
 ```

package/docs/release-notes/0.1.0-alpha.17.md

@@ -0,0 +1,86 @@
+# devcontour-harness 0.1.0-alpha.17
+
+Меньше слепых повторов и ручных сбросов. Включает всё из
+[0.1.0-alpha.16](0.1.0-alpha.16.md). Gates, правила находок, изоляция,
+принятие target ref и `maxAttempts` не менялись; формат состояния получил
+необязательные поля (ниже, «Совместимость»).
+
+## Что нового
+
+- **Класс входов в находке ревью.** Блокирующая находка со входом называет
+  нарушенное свойство или критерий (`reproduction.property`) и класс входов
+  (`reproduction.inputClass`) — генератор или семейство, а не экземпляр. Поле
+  обязательно в схеме ответа runtime; ответ прежней формы без него
+  разбирается. Класс пишется в реестр воспроизведений и на отклонённую
+  попытку (`inputClasses`, пары `classified`); следующий writer получает
+  задачу чинить класс.
+- **Пробел приёмки.** `repairDecision` останавливает поручение с полем `gap`
+  и причиной для ведущего, когда два отказа ревью подряд называют одно и то
+  же необъявленное свойство с тем же классом входов (класс без регистра и
+  лишних пробелов). Совпадение только свойства или только класса требует
+  трёх отказов подряд: общий класс бывает у разных дефектов. Отказ
+  окружения серию не меняет; отказ gate, другое название и новое основание
+  поручения её обрывают. `explain` показывает то же. Объявленные свойства
+  по-прежнему ведёт эпизод разбора.
+- **Отказы окружения не тратят попытки.** Отказ окружения или провайдера и
+  истёкшее владение не засчитываются в `maxAttempts`, и после кандидата.
+  Предел у них свой: `MAX_NEUTRAL_FAILURES` = 3 на поручение (счётчик
+  `neutralFailures`); на нём `retry` без сброса, выдача и восстановление
+  отказывают, сброс человека обнуляет счётчик.
+- **Штатная остановка не роняет работу.** `Runner.stop` помечает свои
+  попытки: прерванная сохраняет черновик, получает `interrupted: shutdown`,
+  а поручение возвращается в очередь (`ready`) без траты попытки и без паузы
+  по классу отказа; после снятия паузы остановки следующая попытка
+  продолжает с кандидата или черновика. Интегрированная попытка так не
+  возвращается: это обычный отказ, хост получает `hooks.failed`.
+- **Класс отказа `unfinished`.** `completed: false` исполнителя был
+  `unknown` и останавливал работу без повтора, с сохранённым черновиком.
+  Теперь это `unfinished`: повтор (предел одинаковых — 2) продолжает с
+  черновика (`continuedFrom.kind: unfinished`) в пределах `maxAttempts` и
+  `repairBudget`; для эпизода свойства отказ нейтрален.
+- **Пустой результат только с механическим основанием.** Пустая реализация
+  больше не отклоняется сразу: кандидат — сама база, gates задачи идут на
+  ней, оба ревью отвечают схемой с обязательным `alreadySatisfied` (gates
+  области задачи — хотя бы один test gate и все gates договоров проверки
+  поручения — и основание). Принятие требует ещё механического основания,
+  которое находит controller: договор проверки поручения со всеми gates в
+  области задачи, или зависимость, чей принятый результат входит в
+  проверяемый SHA и чей кандидат менял файлы области записи поручения.
+  Основание пишется в evidence ревью (`alreadySatisfied.basis`). Без него —
+  новый класс отказа `needs-lead`: остановка без повтора, решение ведущего.
+  `engine.finish` повторяет правило целиком по записанным данным.
+- **`runGatesAt`.** Именованные gates компонента (с предпосылками) на
+  закреплённом SHA вне попытки — тем же путём, что интеграция задачи: свой
+  worktree, снимки зависимостей, ресурсы, lifecycle и prepare, окружение
+  интеграции, песочница проверок; каждый evidence — через callback хоста,
+  первый провал останавливает прогон, дерево должно остаться прежним.
+- **Учёт стоимости по всему потоку.** Адаптер CLI разбирает stdout по
+  строкам по мере поступления и хранит только поля телеметрии (последний
+  `result` claude, `turn.completed` codex, первая названная модель): цена
+  длинного вызова больше не теряется за пределом хвоста вывода. Разбор
+  ограничен по памяти и не бросает исключений из обработчика вывода.
+- **Отчёт свойств в пробах ревьюера.** Проба gate получает путь отчёта
+  свойств в scratch controller (`HARNESS_PROPERTY_REPORT`,
+  `DEVCONTOUR_PROPERTY_REPORT` — та же переменная, что у движка) и сохраняет
+  копию отчёта как evidence пробы; отчёт-ссылка отклоняется.
+
+## Совместимость
+
+Новые необязательные поля попытки (`interrupted`, `inputClasses`,
+`classified`), поручения (`neutralFailures`), записи воспроизведения
+(`inputClass`), evidence ревью (`alreadySatisfied`) и классы отказа
+`unfinished` и `needs-lead`; в схемах данных CLI это единственные
+аддитивные изменения перечней. Прежние записи не меняются.
+Строгие схемы прежних версий новых значений не знают: после первой записи
+alpha.17 откат — только через копию. Изменение поведения: тесты хоста,
+ждавшие засчитанную попытку после отказа окружения или `failed` после
+штатной остановки, нужно обновить. Матрица — [upgrade](../upgrade.md).
+
+## Проверка выпуска
+
+`npm run check` на macOS arm64, Node.js 24.3. Новые тесты на fixture runtime
+и реальных Git-фикстурах (`repair`, `reproductions`, `runner` T14,
+`explain-engine`, `network-recovery`, `reuse`, `usage`, `probe-gates`,
+`already-satisfied`, `gates-at`); каждый новый тест обнаруживает свой мутант
+реализации. Закрепление схем данных CLI (H3-01) сверяет байты H2 без
+аддитивных значений `unfinished` и `needs-lead`. Живые модели не вызывались.

package/docs/release-notes/0.1.0-alpha.18.md

@@ -0,0 +1,48 @@
+# devcontour-harness 0.1.0-alpha.18
+
+Проверка gates на закреплённом SHA исполняет их с теми предпосылками, на
+которые опирается профиль. Включает всё из [0.1.0-alpha.17](0.1.0-alpha.17.md).
+Формат состояния, gates попыток, правила находок, изоляция, принятие target
+ref и `maxAttempts` не менялись.
+
+## Что нового
+
+- **Предпосылки проверки вне задачи.** `runGatesAt` брал только явные
+  `dependsOn`. В профиле, который опирается на порядок массива (установка
+  первой, без `dependsOn`), проверка одного test gate шла без установки и
+  падала на отсутствующих модулях, хотя задачи проходили: их область называла
+  установку явно. Теперь область проверки — названные gates и предпосылки
+  каждого (`standaloneScope`), порядок — тот же `orderedScope`, что у попытки
+  (прежний внутренний `ordered` runner, без изменения поведения).
+  Предпосылки (`gatePrerequisites`): у gate с объявленным `dependsOn` —
+  замыкание по `dependsOn`; у gate без поля `dependsOn` — все более ранние
+  gates вида `check` со своими предпосылками. Более ранние test gates не
+  добавляются. Каждый gate посещается один раз, поэтому `dependsOn` на более
+  поздний gate вместе с неявным ребром не зацикливается. Область задачи
+  по-прежнему исполняется как записана.
+- **Явный `dependsOn: []` — без предпосылок.** Объявленный пустой
+  `dependsOn` — режим графа: неявных предпосылок нет. Порядок массива
+  действует только для gate без поля.
+- **Все провалы сразу.** Провал gate больше не останавливает проверку:
+  исполняются все названные gates, результат перечисляет каждый непрошедший
+  (`failures`; `failure` — первый, как раньше). Пропускается только gate,
+  чья явная предпосылка (`dependsOn`, `explicitPrerequisites`) не прошла, — он
+  назван с этой причиной. Провал неявной предпосылки (раннего check gate) не
+  скрывает исход тестов: исполняются и названы оба. Evidence по-прежнему
+  пишется через запись хоста и привязано к SHA.
+
+## Совместимость
+
+Формат состояния не меняется. `GatesAtResult` получает поле `failures`;
+хост, ждавший остановки на первом провале, получает теперь все исполненные
+gates. Новые экспорты: `orderedScope`, `gatePrerequisites`,
+`explicitPrerequisites`, `standaloneScope`. Матрица — [upgrade](../upgrade.md).
+
+## Проверка выпуска
+
+Затронутые тесты на реальных Git-фикстурах (`gates-at`: профиль в порядке
+массива с установкой первой и без `dependsOn`, петля через неявное ребро,
+пустой `dependsOn`, цепочки двух и трёх уровней, смешанная цепочка, провал
+неявной предпосылки; `runner` T01, T09); каждый новый тест обнаруживает свой
+мутант реализации. Полный `npm run check` перед публикацией выполняет
+ведущий. Живые модели не вызывались.

package/docs/release-notes/0.1.0-alpha.19.md

@@ -0,0 +1,96 @@
+# devcontour-harness 0.1.0-alpha.19
+
+Меньше трения в цикле исполнения и жёстче граница песочницы: провал
+интеграции, вызванный средой, повторяется один раз, установка зависимостей
+не падает на каталогах IDE внутри `node_modules`, а git хоста не исполняет
+конфигурацию, которую записал чужой код. Включает всё из
+[0.1.0-alpha.18](0.1.0-alpha.18.md). `maxAttempts`, правила находок и
+принятие target ref не менялись.
+
+## Что нового
+
+### Цикл исполнения
+
+- **Ограниченный повтор провала интеграции.** Собственный gate поручения,
+  прошедший на кандидате и упавший на integration, повторяется один раз на
+  кандидата на том же integration SHA, прежде чем засчитать отказ `gate`.
+  Обе записи остаются; у повтора `recheck: {of, outcome}` — ссылка на первую
+  запись и исход `flaky` (повтор прошёл) или `confirmed` (провал
+  засчитывается как прежде). Лог повтора — в `integration/recheck/`, замер —
+  стадия `integration-recheck:<gate>`. Удачный повтор принимает кандидата без
+  новой реализации. Кандидат, переиспользованный следующей попыткой, второго
+  повтора не получает; движок отклоняет второй повтор в попытке и исход,
+  не согласованный с записью.
+- **Контрпример не повторяется.** Провал, в отчёте которого названо
+  проваленное свойство или случай корпуса, не повторяется: удачный второй
+  запуск недетерминированной проверки не отменяет найденного входа.
+- **Шире области gates.** Область gates задачи, поручения, потребителя и
+  основания ревью вмещает до `GATE_SCOPE_LIMIT` (100, предел gates профиля)
+  вместо 20; превышение — понятный отказ с величиной и исправлением.
+  Константа экспортируется.
+- **Дешевле такты.** `expire()` без истёкших попыток не открывает транзакцию
+  записи; такт очереди читает активные попытки через необязательный быстрый
+  путь `ExecutionView.activeAttempts`. Завершённое задание workflow сообщает
+  израсходованные попытки стадий, а не сброшенный счётчик.
+
+### Песочница
+
+- **Каталоги IDE внутри `node_modules` открыты.** Пакеты публикуют `.idea/`,
+  и установка в чистом дереве падала с EPERM при любом коде. На macOS srt
+  запускается из служебного каталога проверки, а обязательные запреты
+  задаются явно на весь checkout: конфигурация shell, git, MCP и Claude,
+  `.git/hooks`, `.git/config` — на любой глубине; `.idea`/`.vscode` — в
+  корне и в каждом существующем подкаталоге до глубины 3, кроме
+  `node_modules`. Linux не меняется (srt пропускает `node_modules` сам).
+- **Явные запреты `.git`.** На macOS закрыты файл `.git` рабочего дерева,
+  перенаправления обычного `.git` (`commondir`, `gitdir`, `config.worktree`)
+  и вложенные `.git` на любой глубине; на Linux — существующий файл `.git`.
+  Дерево больше предела перечисления — отказ класса `environment`, а не
+  молча урезанные запреты.
+- **Git хоста над деревом проверки (`git-trust`).** Каждый вызов git хоста
+  сначала сверяет, куда git придёт: файл `.git` дерева, созданного
+  `worktree add`, не изменён; gitdir и общий каталог лежат вне дерева и
+  согласованы. Перенаправленный `gitdir`/`commondir` в обычном `.git` и
+  вложенный репозиторий внутри известного дерева — отказ
+  (`UntrustedCheckoutError`, в gate — `scope-violation`). Поверх —
+  `-c core.fsmonitor=false -c core.hooksPath=/dev/null -c protocol.ext.allow=never`:
+  hooks репозитория при коммитах harness не исполняются. Экспорт для хоста:
+  `hostGitArgs`, `assertTrustedCheckout`, `UntrustedCheckoutError`,
+  `gitHardening`, `rememberWorktree`, `forgetWorktree`, `worktreeKey`,
+  `worktreeAddPath`, `resetGitTrust` (для тестов).
+- **Сверка защищённых путей после gate.** Запреты песочницы видят только
+  путь операции, и каталог, собранный в `node_modules` и перенесённый в
+  дерево проекта, ими не закрыт. Вокруг каждого gate и работы исполнителя
+  сравнивается снимок защищённых имён вне `node_modules`; новое или
+  изменённое — `scope-violation` с путями в сообщении.
+- **Класс `environment` — только по журналу ядра.** Отказ песочницы
+  классифицируется как сбой среды, только когда журнал ядра macOS подтвердил
+  отказ обязательного запрета внутри дерева проверки (команда проверки
+  помечена уникальным токеном). Текст вывода (EPERM) свидетельством не
+  служит; запись вне дерева и любой отказ на Linux остаются `gate`.
+
+## Известные пробелы
+
+- Регрессионные тесты в настоящей песочнице для запретов `.git`, для сверки
+  защищённых путей после переноса каталога и для отказа по пределу
+  перечисления не написаны (решение владельца проекта). Эти пути покрыты
+  тестами SBX01–SBX05 и модульными тестами `git-trust`.
+- Запреты на Linux и запуск/остановка наблюдения за журналом ядра тестами не
+  покрыты.
+- Поэтому два мутанта этих путей (D1, D2) выживают.
+
+## Совместимость
+
+Формат состояния: новое необязательное поле `recheck` у evidence gate и в
+событии `attempt.gate`, области gates длиннее 20. Прежние версии
+отклоняют такое состояние строгой схемой → откат через копию. Хост, у
+которого хуки gate или writer меняют защищённые имена, получит
+`scope-violation`. Матрица — [upgrade](../upgrade.md).
+
+## Проверка выпуска
+
+Затронутые тесты (`runner`, `engine`, `repair`, `planning-schema`,
+`cli-h3-contract`, `probe-gates`, `review-inspection-runner`, `git-trust`,
+`sandbox-install`, `boundaries`), lint, typecheck и `schemas:check`. Полный
+`npm run check` перед публикацией выполняет ведущий. Живые модели не
+вызывались.

package/docs/review-probes.md

@@ -29,13 +29,19 @@ To run a declared gate, call run_check with exactly {"gate":"domain"}, {"gate":"
 3. Если путь отчёта зашит в argv (см. ниже) — не запускает, возвращает ошибку среды с рецептом.
 4. Создаёт каталог evidence `<каталог ревью>/probe-runs/<runId>/` (вне дерева, без перезаписи) и
    уникальный scratch `dc-probe-report-*` во временном каталоге системы.
-5. Выставляет `HARNESS_REPORT_PATH` и `DEVCONTOUR_REPORT_PATH` = `<scratch>/<id>.xml`, `CI=1`;
-   у `test` gate ещё `TURBO_FORCE=true` и `GOFLAGS=… -count=1`, как у gate движка.
+5. Выставляет `HARNESS_REPORT_PATH` и `DEVCONTOUR_REPORT_PATH` = `<scratch>/<id>.xml`,
+   `DEVCONTOUR_PROPERTY_REPORT` = `<scratch>/<id>.property.json` (то же имя, что у gate движка),
+   `CI=1`; у `test` gate ещё `TURBO_FORCE=true` и `GOFLAGS=… -count=1`, как у gate движка.
+   Проверка, которая пишет отчёт свойств по пути из переменной, под probe пишет его в scratch, а
+   не получает EPERM в дереве только для чтения. `DEVCONTOUR_SEED`, `DEVCONTOUR_PROPERTIES` и
+   `DEVCONTOUR_CORPUS` probe не выставляет: генеративные gate он не исполняет.
 6. Запускает команду в песочнице: запись — только в scratch и `TMPDIR`; дерево, `.git`,
    каталог controller и прежние `.reports/*.xml` закрыты на запись.
 7. Читает отчёт: symlink, жёсткая ссылка, путь вне scratch — `unsafe` (не читается); файл старше
    запуска — `stale`; не JUnit или без testcases — `corrupt`; нет файла — `missing`.
-8. Сохраняет замаскированную копию отчёта (`<id>.xml`), журнал (`<id>.log`) и `run.json`, затем
+8. Сохраняет замаскированную копию отчёта (`<id>.xml`), отчёта свойств, если он записан
+   (`<id>.property.json`, `gate.propertyReport` = `{path, scope: "probe-only"}`: движок его не
+   читает), журнал (`<id>.log`) и `run.json`, затем
    удаляет scratch. Таймаут и отмена (`notifications/cancelled`) останавливают процессы проверки,
    evidence сохраняется тоже.
 

package/docs/review-protocol.md

@@ -121,6 +121,15 @@ DevContour хранит `Evidence` как есть; все новые поля
 логического ревью). Непринятый результат содержит и записи невалидных
 вызовов (`review.protocol: invalid` с их причинами).
 
+- `alreadySatisfied` — у записи ревью попытки без изменений (кандидат —
+  база): gates и основание, которыми reviewer подтвердил, что приёмка уже
+  выполнена. Поле ответа reviewer `alreadySatisfied` (`null` — нет
+  подтверждения) входит в схему только для такой попытки; обычное ревью
+  отвечает прежней схемой. Одобрение без годного подтверждения записывается
+  непрошедшим, отказ попытки — `empty-result`; без механического основания
+  (`basis`: договор проверки или зависимость, изменившая область записи) —
+  `needs-lead`.
+
 ## 6. Записи alpha.5 (legacy)
 
 Запись ревью без `reviewRound` — запись прежней версии. Её находки (у