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

package/README.md

@@ -5,7 +5,7 @@ Headless-движок исполнения инженерных поручени
 интеграция с принятой веткой через compare-and-swap и машинный результат с SHA
 и доказательствами.
 
-> Статус: `0.1.0-alpha.16` — предварительный выпуск (alpha). Договоры
+> Статус: `0.1.0-alpha.18` — предварительный выпуск (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.18   # точная версия
 # или: npm install --save-exact devcontour-harness@alpha     # текущая alpha
 npx harness --version
 ```
@@ -123,6 +123,22 @@ PASS» нет. Адаптеры хоста реализуют порты `Execut
 `devcontour-harness/schemas/<имя>.schema.json`. Декларации используют типы
 Node.js: TypeScript-потребителю нужен `@types/node` (или `skipLibCheck`).
 
+## Выпуск 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`). Пока новый снимок на ревью, после его отклонения,

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.18
 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/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` — запись прежней версии. Её находки (у

package/docs/upgrade.md

@@ -21,21 +21,22 @@
 
 ## Матрица форматов
 
-| Состояние, записанное…                                                         | Читает 0.1.0-alpha.1     | Читает 0.1.0-alpha.2     | Читает 0.1.0-alpha.6    | Читает 0.1.0-alpha.7    | Читает 0.1.0-alpha.8    | Читает 0.1.0-alpha.9    | Читает 0.1.0-alpha.10   | Читает 0.1.0-alpha.11   | Читает 0.1.0-alpha.12   | Читает 0.1.0-alpha.13   | Читает 0.1.0-alpha.14 | Читает 0.1.0-alpha.15 | Читает 0.1.0-alpha.16 | Пишет поверх | Примечание                                                                                                                                                                                 |
-| ------------------------------------------------------------------------------ | ------------------------ | ------------------------ | ----------------------- | ----------------------- | ----------------------- | ----------------------- | ----------------------- | ----------------------- | ----------------------- | ----------------------- | --------------------- | --------------------- | --------------------- | ------------ | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ |
-| standalone `stateVersion: 1` версией alpha.1                                   | да                       | да                       | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                    | да                    | да                    | да           | одна база SQLite: документ, события, локальные записи                                                                                                                                      |
-| хост, центральная база                                                         | да (через адаптер)       | да (через адаптер)       | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)    | да (через адаптер)    | да (через адаптер)    | да           | данные не переносятся; новые поля необязательны                                                                                                                                            |
-| хост, базы компонентов                                                         | да (через адаптер)       | да (через адаптер)       | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)    | да (через адаптер)    | да (через адаптер)    | да           | нужна копия всех баз при остановленных writers                                                                                                                                             |
-| alpha.2 после штатной остановки controller                                     | да                       | да                       | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                    | да                    | да                    | да           | роль controller снята — нового поля в состоянии нет                                                                                                                                        |
-| alpha.2 с живой или брошенной ролью controller                                 | **нет**, отказ до записи | да                       | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                    | да                    | да                    | —            | роль хранит `engineVersion`; строгая схема alpha.1 его не знает → откат через копию                                                                                                        |
-| alpha.4 с совместной проверкой                                                 | **нет**, отказ до записи | **нет**, отказ до записи | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                    | да                    | да                    | —            | проверка хранит `engineVersion`; прежние версии его не знают → откат через копию                                                                                                           |
-| alpha.6 standalone с записями ревью нового протокола или доставкой `uncertain` | **нет**, отказ до записи | **нет**, отказ до записи | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                    | да                    | да                    | —            | `reviewRound`, `findings[].id/status`, статус доставки `uncertain`; alpha.4/alpha.5 отказывают `STATE_VERSION_UNSUPPORTED` до записи → откат через копию                                   |
-| alpha.6, хост DevContour (адаптер alpha.4)                                     | —                        | —                        | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)    | да (через адаптер)    | да (через адаптер)    | да           | адаптер DevContour alpha.4 открывает такое состояние без отказа и пишет роль controller и события; новые поля сохраняются → для отката всё равно копия                                     |
-| alpha.7 с новым `inspection` ревью кода                                        | не проверялось           | не проверялось           | **нет** (строгая схема) | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                    | да                    | да                    | —            | новые значения `source`, `exitCode: null`, `origins`/`context`/`excluded`; строгая схема alpha.6 их не принимает, поведение прежних версий при открытии не проверялось → откат через копию |
-| alpha.14 с договором проверки `reference` или `gates` обязательства            | не проверялось           | не проверялось           | не проверялось          | **нет** (строгая схема) | **нет** (строгая схема) | **нет** (строгая схема) | **нет** (строгая схема) | **нет** (строгая схема) | **нет** (строгая схема) | **нет** (строгая схема) | да                    | да                    | да                    | —            | контракт хранится строгой схемой (`contract-documents`): прежние версии новых полей `gates`, `verification`, `reference` не знают → откат через копию                                      |
-| неизвестная `stateVersion`                                                     | нет, отказ до записи     | нет, отказ до записи     | нет, отказ до записи    | нет, отказ до записи    | нет, отказ до записи    | нет, отказ до записи    | нет, отказ до записи    | нет, отказ до записи    | нет, отказ до записи    | нет, отказ до записи    | нет, отказ до записи  | нет, отказ до записи  | нет, отказ до записи  | нет          | `STATE_VERSION_UNSUPPORTED`, exit 4                                                                                                                                                        |
-
-Столбец alpha.2 относится и к alpha.3; alpha.4 и alpha.5 читают все строки, кроме неизвестной `stateVersion` и строк alpha.6 с новыми полями (standalone — отказ до записи) и строки alpha.7. alpha.8, alpha.9, alpha.10, alpha.11, alpha.12 и alpha.13 формат состояния не меняют и читают всё, что читает alpha.7; alpha.14 и alpha.15 (локальные, не опубликованы) и alpha.16 читают всё, что читает alpha.13, и добавляют необязательные поля договора проверки (строка alpha.14). Каждая следующая версия добавляет сюда свой столбец. Отказ неизвестного
+| Состояние, записанное…                                                                                                                                      | Читает 0.1.0-alpha.1     | Читает 0.1.0-alpha.2     | Читает 0.1.0-alpha.6    | Читает 0.1.0-alpha.7    | Читает 0.1.0-alpha.8    | Читает 0.1.0-alpha.9    | Читает 0.1.0-alpha.10   | Читает 0.1.0-alpha.11   | Читает 0.1.0-alpha.12   | Читает 0.1.0-alpha.13   | Читает 0.1.0-alpha.14   | Читает 0.1.0-alpha.15   | Читает 0.1.0-alpha.16   | Читает 0.1.0-alpha.17 | Читает 0.1.0-alpha.18 | Пишет поверх | Примечание                                                                                                                                                                                                                                        |
+| ----------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------ | ------------------------ | ----------------------- | ----------------------- | ----------------------- | ----------------------- | ----------------------- | ----------------------- | ----------------------- | ----------------------- | ----------------------- | ----------------------- | ----------------------- | --------------------- | --------------------- | ------------ | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| standalone `stateVersion: 1` версией alpha.1                                                                                                                | да                       | да                       | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                    | да                    | да           | одна база SQLite: документ, события, локальные записи                                                                                                                                                                                             |
+| хост, центральная база                                                                                                                                      | да (через адаптер)       | да (через адаптер)       | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)    | да (через адаптер)    | да           | данные не переносятся; новые поля необязательны                                                                                                                                                                                                   |
+| хост, базы компонентов                                                                                                                                      | да (через адаптер)       | да (через адаптер)       | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)    | да (через адаптер)    | да           | нужна копия всех баз при остановленных writers                                                                                                                                                                                                    |
+| alpha.2 после штатной остановки controller                                                                                                                  | да                       | да                       | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                    | да                    | да           | роль controller снята — нового поля в состоянии нет                                                                                                                                                                                               |
+| alpha.2 с живой или брошенной ролью controller                                                                                                              | **нет**, отказ до записи | да                       | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                    | да                    | —            | роль хранит `engineVersion`; строгая схема alpha.1 его не знает → откат через копию                                                                                                                                                               |
+| alpha.4 с совместной проверкой                                                                                                                              | **нет**, отказ до записи | **нет**, отказ до записи | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                    | да                    | —            | проверка хранит `engineVersion`; прежние версии его не знают → откат через копию                                                                                                                                                                  |
+| alpha.6 standalone с записями ревью нового протокола или доставкой `uncertain`                                                                              | **нет**, отказ до записи | **нет**, отказ до записи | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                    | да                    | —            | `reviewRound`, `findings[].id/status`, статус доставки `uncertain`; alpha.4/alpha.5 отказывают `STATE_VERSION_UNSUPPORTED` до записи → откат через копию                                                                                          |
+| alpha.6, хост DevContour (адаптер alpha.4)                                                                                                                  | —                        | —                        | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)      | да (через адаптер)    | да (через адаптер)    | да           | адаптер DevContour alpha.4 открывает такое состояние без отказа и пишет роль controller и события; новые поля сохраняются → для отката всё равно копия                                                                                            |
+| alpha.7 с новым `inspection` ревью кода                                                                                                                     | не проверялось           | не проверялось           | **нет** (строгая схема) | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                      | да                    | да                    | —            | новые значения `source`, `exitCode: null`, `origins`/`context`/`excluded`; строгая схема alpha.6 их не принимает, поведение прежних версий при открытии не проверялось → откат через копию                                                        |
+| alpha.14 с договором проверки `reference` или `gates` обязательства                                                                                         | не проверялось           | не проверялось           | не проверялось          | **нет** (строгая схема) | **нет** (строгая схема) | **нет** (строгая схема) | **нет** (строгая схема) | **нет** (строгая схема) | **нет** (строгая схема) | **нет** (строгая схема) | да                      | да                      | да                      | да                    | да                    | —            | контракт хранится строгой схемой (`contract-documents`): прежние версии новых полей `gates`, `verification`, `reference` не знают → откат через копию                                                                                             |
+| alpha.17 с `interrupted`, `inputClasses`, `classified`, `neutralFailures`, `alreadySatisfied` в evidence ревью или классом отказа `unfinished`/`needs-lead` | не проверялось           | не проверялось           | не проверялось          | **нет** (строгая схема) | **нет** (строгая схема) | **нет** (строгая схема) | **нет** (строгая схема) | **нет** (строгая схема) | **нет** (строгая схема) | **нет** (строгая схема) | **нет** (строгая схема) | **нет** (строгая схема) | **нет** (строгая схема) | да                    | да                    | —            | попытка (`interrupted`, `inputClasses`, `classified`), поручение (`neutralFailures`), `alreadySatisfied` evidence ревью и классы отказа `unfinished`, `needs-lead` — новые значения строгих схем; прежние версии их отклоняют → откат через копию |
+| неизвестная `stateVersion`                                                                                                                                  | нет, отказ до записи     | нет, отказ до записи     | нет, отказ до записи    | нет, отказ до записи    | нет, отказ до записи    | нет, отказ до записи    | нет, отказ до записи    | нет, отказ до записи    | нет, отказ до записи    | нет, отказ до записи    | нет, отказ до записи    | нет, отказ до записи    | нет, отказ до записи    | нет, отказ до записи  | нет, отказ до записи  | нет          | `STATE_VERSION_UNSUPPORTED`, exit 4                                                                                                                                                                                                               |
+
+Столбец alpha.2 относится и к alpha.3; alpha.4 и alpha.5 читают все строки, кроме неизвестной `stateVersion` и строк alpha.6 с новыми полями (standalone — отказ до записи) и строки alpha.7. alpha.8, alpha.9, alpha.10, alpha.11, alpha.12 и alpha.13 формат состояния не меняют и читают всё, что читает alpha.7; alpha.14 и alpha.15 (локальные, не опубликованы) и alpha.16 читают всё, что читает alpha.13, и добавляют необязательные поля договора проверки (строка alpha.14). alpha.17 читает всё, что читает alpha.16, и добавляет необязательные поля попытки, поручения и evidence ревью и классы отказа `unfinished` и `needs-lead` (строка alpha.17); alpha.18 формат состояния не меняет и читает всё, что читает alpha.17. Каждая следующая версия добавляет сюда свой столбец. Отказ неизвестного
 формата до записи проверяют тесты совместимости пакета
 <!-- repo-only -->(`tests/compatibility.test.ts`)<!-- /repo-only -->.
 

package/lib/agents/cli-adapter.js

@@ -8,7 +8,7 @@ import { redactor } from "../environment/redaction.js";
 import { inspectReview } from "./inspect.js";
 import { probeCallMs, probeServer, probeTool } from "./review-probe.js";
 import { claudeResult, runtimeEvents } from "./runtime-events.js";
-import { parseUsage, reportedModel, runtimeVersion, unknownUsage } from "./usage.js";
+import { runtimeVersion, unknownUsage, usageStream } from "./usage.js";
 /** Встроенные инструменты исполнителя claude, когда профиль их не называет; shell — в песочнице ОС. */
 export const claudeWriterTools = ['Read', 'Glob', 'Grep', 'Edit', 'Write', 'Bash'];
 const writerTools = (profile) => profile?.claudeTools ?? claudeWriterTools;
@@ -283,12 +283,17 @@ export function cliAdapter(runtime, options = {}) {
             // короткий секрет портит `item.completed`), текст полей маскируется
             // при разборе; сырой поток только в памяти и не сохраняется.
             let raw = '';
+            // Телеметрия — по всему потоку, независимо от пределов журнала и
+            // хвоста stdout: итоговое событие долгого вызова лежит за ними.
+            const telemetry = usageStream(runtime);
             try {
                 result = await command(argv, r.cwd, {
                     contain: { dirs: review ? [] : r.sandbox.writable },
-                    ...(review
-                        ? { onRawStdout: (text) => void (raw = (raw + text).slice(-2_000_000)) }
-                        : {}),
+                    onRawStdout: (text) => {
+                        telemetry.push(text);
+                        if (review)
+                            raw = (raw + text).slice(-2_000_000);
+                    },
                     onOutput: (stream, text) => {
                         if (logged >= 10_000_000)
                             return;
@@ -312,12 +317,11 @@ export function cliAdapter(runtime, options = {}) {
                     return unavailable(`${runtime}: runtime не запускается: ${String(error)}`);
                 throw error;
             }
-            await writeFile(join(dir, 'runtime.json'), JSON.stringify(result.diagnostics, null, 2));
-            const usage = parseUsage(runtime, result.stdout, result.code === 0 &&
-                !result.timedOut &&
-                !signal.aborted &&
-                result.stdout.length < 2_000_000);
-            const model = reportedModel(result.stdout);
+            const usage = telemetry.usage(result.code === 0 && !result.timedOut && !signal.aborted);
+            const model = telemetry.model();
+            // Сообщённые runtime счётчики и стоимость — и в диагностике вызова:
+            // runtime.log ограничен и итоговой строки может не содержать.
+            await writeFile(join(dir, 'runtime.json'), JSON.stringify({ ...result.diagnostics, usage }, null, 2));
             const bookkeeping = ['system', 'result', 'error', 'session.created', 'thread.started'];
             const started = result.timedOut ||
                 runtimeEvents(result.stdout).events.some((e) => !bookkeeping.includes(String(e.type)));

package/lib/agents/review-probe.d.ts

@@ -118,6 +118,15 @@ export type ProbeGateRun = {
     /** Имена переменных, которые выставил controller (значения не пишутся). */
     controllerEnv: string[];
     report?: ProbeReport;
+    /**
+     * Копия отчёта свойств, если проверка записала его по пути
+     * `DEVCONTOUR_PROPERTY_REPORT` в scratch. Только evidence probe: движок
+     * этот отчёт не читает, и свойства по нему не засчитываются.
+     */
+    propertyReport?: {
+        path: string;
+        scope: 'probe-only';
+    };
     /** Каталог evidence запуска в каталоге ревью controller. */
     artifacts?: string;
     /** Временный каталог отчёта; убран после сохранения evidence. */

package/lib/agents/review-probe.js

@@ -9,7 +9,7 @@ import { fileURLToPath } from 'node:url';
 import { z } from 'zod';
 import { idSchema, relativePathSchema, sha256, } from "../contracts/index.js";
 import { redactor } from "../environment/redaction.js";
-import { completedCheck, freshnessEnv, junitSummary, runCheck, sandboxBlockedHosts, } from "../verification/gates.js";
+import { completedCheck, freshnessEnv, propertyReportEnv, junitSummary, runCheck, sandboxBlockedHosts, } from "../verification/gates.js";
 /**
  * Пробные проверки reviewer под пределами harness.
  *
@@ -112,6 +112,21 @@ export function fixedReportArgument(argv, cwd, report) {
     }
     return undefined;
 }
+/**
+ * Копия отчёта свойств из scratch в evidence probe. Как и JUnit: symlink,
+ * жёсткая ссылка, файл вне scratch и слишком большой файл не читаются.
+ */
+async function savePropertyReport(path, scratch, runDir, id, redact) {
+    const stat = await lstat(path).catch(() => undefined);
+    if (!stat?.isFile() || stat.nlink > 1 || stat.size > REPORT_LIMIT)
+        return undefined;
+    const real = await realpath(path);
+    if (!within(dirname(real), scratch))
+        return undefined;
+    const saved = join(runDir, `${id}.property.json`);
+    await writeFile(saved, redact(await readFile(real, 'utf8')), { flag: 'wx' });
+    return { path: saved, scope: 'probe-only' };
+}
 /**
  * Отчёт запуска gate в scratch controller. Symlink, жёсткая ссылка и путь вне
  * scratch не читаются: так отчёт подменялся бы чужим файлом — прежним
@@ -458,12 +473,18 @@ export class ReviewProbes {
         }
         meta.scratch = scratch;
         const reportPath = join(scratch, `${gate.id}.xml`);
+        // Отчёт свойств — тоже в scratch, под тем же именем переменной, что и у
+        // gate движка (`propertyReportEnv`): проверка, пишущая отчёт свойств по
+        // прежнему пути в дереве, под probe получала бы EPERM. Seed, селектор и
+        // корпус probe не выставляет: генеративные gate он не исполняет.
+        const propertyPath = join(scratch, `${gate.id}.property.json`);
         const controllerEnv = {
             CI: '1',
             ...freshnessEnv(gate.kind, env),
             ...(gate.report
                 ? { DEVCONTOUR_REPORT_PATH: reportPath, HARNESS_REPORT_PATH: reportPath }
                 : {}),
+            [propertyReportEnv]: propertyPath,
         };
         meta.controllerEnv = Object.keys(controllerEnv);
         const started = Date.now();
@@ -493,6 +514,7 @@ export class ReviewProbes {
             const read = gate.report
                 ? await inspectReport(reportPath, scratch, started, redact)
                 : undefined;
+            meta.propertyReport = await savePropertyReport(propertyPath, scratch, runDir, gate.id, redact);
             if (read) {
                 meta.report = read.report;
                 if (read.xml !== undefined) {