codex-workflow-v2 2.0.0-beta.12.4 → 2.0.0-beta.12.6

package/docs/autonomy-guardrails.md

@@ -141,6 +141,22 @@ validation, Risk Audit, Human confirmation, journaled execution, readback, and r
 authorization. Other check failures use the normal continuable remediation route; they do not
 receive the narrow Plan-integrity shortcut, but attempt count alone never stops them.
 
+### Downstream-proof predecessor recovery
+
+Core prevents `task step-complete` when the active proof Step has dirty files outside its own
+`allowedWrites`. A bounded recovery is advertised only when every such file belongs to a completed
+transitive predecessor, the branch and registered Git history are exact, the active Step has no
+completion evidence, and no unrelated path exists. The atomic transition preserves product files
+and HEAD, moves invalidated predecessor commits into historical `invalidatedStepCommits`, clears stale Step
+evidence, supersedes execution authority, yields C1, and routes the same Task to ordinary `plan-set`.
+The route grants no authority to change Task objective, requirements, acceptance, or Milestone
+topology.
+
+Docker permission diagnostics are classified before consuming retry authority. Sandbox `EPERM` or
+permission denial gets one exact escalated rerun of the health probe/Plan check. It is not an infra
+failure and cannot authorize a Docker Desktop restart or image substitution. Only an escalated
+invocation that reaches Docker and proves daemon unavailability establishes that failure class.
+
 ## Atomic context refresh
 
 When `next` returns top-level `action: task context-refresh` with an exact option, a

package/docs/development-flow.md

@@ -99,6 +99,25 @@ the exact evidence-bound early `replan-required` posture; it never edits source,
 Continue through the advertised corrective yield and corrective replan rather than calling
 `task run` again.
 
+If a later proof Step leaves changes both in its own scope and in files owned by a completed
+transitive predecessor, fresh `next` advertises `task downstream-proof-recover` instead of
+`task step-complete`. The command preserves the dirty worktree and HEAD, append-only records the
+invalidated predecessor completion, yields its C1 lease, and returns the same Task to `task plan-set`.
+The replacement Plan must cover the unfinished remainder and pass a fresh Risk Audit and execution
+authorization. Do not stash, reset, commit, or recreate the Task around this route.
+
+If the repository is still on a package version that cannot advertise that route, beta.12.6 has
+one update-only bridge. After exact dependency-only commits have aligned the active Milestone base
+and Task branch, `update downstream-proof-dependency-recover` validates recorded history at the
+candidate parent, binds the active proof dirty set by content hash, and registers only the Task
+dependency commit. Product bytes and Step state remain unchanged; fresh `next` must then advertise
+the ordinary `task downstream-proof-recover`. This is not a general dirty-update permission.
+
+A sandboxed Docker `EPERM`, `operation not permitted`, or `permission denied` result is not a failed
+daemon check. Re-run the exact probe/check once with sandbox escalation without consuming a retry.
+Restart Docker Desktop only with separate authorization after the escalated call reaches Docker and
+proves the daemon unavailable.
+
 Execution authorization and final acceptance use the human path by default. If the user has
 previously issued an active delegation grant for the exact transition and scope, the named
 delegate may perform that transition with `--delegation-grant`. The event keeps the delegate

package/docs/pdf/sources/codex-workflow-v2-architecture-ru.md

@@ -1,10 +1,10 @@
 ---
-title: Codex Workflow V2: архитектура beta.12.4
+title: Codex Workflow V2: архитектура beta.12.6
 subtitle: Источники истины, lifecycle, роли, delegation, зависимости Tasks и границы доверия
 part: Часть 1 из 3 | Архитектура
 document_version: 2.0
-date: 28 августа 2026
-subject: Архитектура и границы Codex Workflow V2 beta.12.4
+date: 29 августа 2026
+subject: Архитектура и границы Codex Workflow V2 beta.12.6
 ---
 
 # 1. Назначение и граница системы
@@ -18,7 +18,7 @@ Codex Workflow V2 - локальный state machine поверх Codex App, Git
 Система рассчитана на одного пользователя и одну машину. Она не предоставляет distributed locking,
 криптографическую идентификацию actor string или безопасную синхронизацию state между компьютерами.
 
-## 1.1. Что beta.12.4 гарантирует
+## 1.1. Что beta.12.6 гарантирует
 
 - exact project-local npm package и совместимый handshake до lifecycle действий;
 - Discovery до materialization Task или Milestone;
@@ -29,8 +29,10 @@ Codex Workflow V2 - локальный state machine поверх Codex App, Git
 - external-sealed Step/Task review в отдельных Codex tasks;
 - state-bound human gates либо ранее выданные bounded delegation contracts;
 - journaled recovery для составных переходов и fail-closed поведение при drift/corruption.
+- bounded recovery, когда downstream proof требует изменить уже завершённый predecessor Step:
+  worktree и HEAD сохраняются, stale completion authority снимается, та же Task возвращается в planning.
 
-## 1.2. Что beta.12.4 не гарантирует
+## 1.2. Что beta.12.6 не гарантирует
 
 - правильность продуктовой идеи или автоматически выбранного provider Task;
 - semantic sufficiency Plan, если точные факты нельзя доказать поддерживаемым analyzer;
@@ -247,13 +249,32 @@ beta.11 `task plan-integrity-recover` существует для одного
 отсутствует exact root npm script и текущий Step не может изменить package.json. Recovery не меняет
 worktree или Plan и не создаёт synthetic second failure; он записывает bound `replan-required`.
 
+beta.12.6 различает другой случай: активный downstream proof оставил изменения в собственном scope и
+показал необходимость исправить completed transitive predecessor. Fresh `next` вместо невозможного
+`step-complete` рекламирует `task downstream-proof-recover`. Atomic transition сохраняет dirty files и
+HEAD, переносит predecessor commits в historical `invalidatedStepCommits`, очищает только stale Step evidence,
+yield C1 и возвращает ту же Task к новому Plan/risk audit/authorization. Unrelated dirty file,
+non-predecessor ownership, повреждённый journal или unregistered commit fail closed.
+
+Если старая версия не может установить этот fix из-за running Step/dirty preflight, beta.12.6
+добавляет отдельный update bridge. После двух exact dependency-only commits на active base и Task
+branch Core проверяет Task history на `HEAD^`, candidate на `HEAD`, все version surfaces, отсутствие
+leases/transactions, predecessor ownership и content hash dirty set. Переход регистрирует только
+dependency commit, не меняет product bytes/Step и делает обычный `task downstream-proof-recover`
+достижимым до manifest-induced Knowledge refresh. Это не общее разрешение dirty update.
+
+Docker socket `EPERM` в sandbox не является доказательством сломанного daemon. Gateway один раз
+повторяет exact health probe или Plan check с sandbox escalation без расходования remediation attempt.
+Restart Docker Desktop требует отдельного разрешения и допустим только после escalated daemon failure.
+
 > **Стоп P04-A:** `split-required` возвращает `STRUCTURAL_REPLACEMENT_REQUIRED` и `structuralReplacementAvailable=false`. Нельзя вызывать retained replacement command, потреблять replacement Discovery или вручную менять topology. Продолжение возможно только после P04-B/P05.
 
 # 10. Operational checklist
 
 - exact package version установлен, bundled gateway соответствует release и переустановлен;
-- handshake подтверждает protocol 2, state schema 2 и beta.12.4 capabilities;
+- handshake подтверждает protocol 2, state schema 2 и beta.12.6 capabilities;
 - каждый mutation следует свежему `status -> next` и exact option contract;
+- Docker permission failure сначала классифицируется как sandbox boundary, а не как infra retry;
 - semantic unknowns и human gates не маскируются delegation;
 - Task chats создаёт coordinator, credentials остаются только в памяти;
 - dependencies, progress и review posture берутся из Core projections;

package/docs/pdf/sources/codex-workflow-v2-chat-only-guide-ru.md

@@ -1,13 +1,13 @@
 ---
 title: Codex Workflow V2: delegated chat-only guide
-subtitle: Актуальный beta.12.4 путь от нового Discovery до принятого Milestone без ручного CLI
+subtitle: Актуальный beta.12.6 путь от нового Discovery до принятого Milestone без ручного CLI
 part: Часть 2 из 3 | Практика
 document_version: 2.0
-date: 28 августа 2026
-subject: Практическое руководство по delegated Discovery и Milestone в Workflow V2 beta.12.4
+date: 29 августа 2026
+subject: Практическое руководство по delegated Discovery и Milestone в Workflow V2 beta.12.6
 ---
 
-# 1. Рабочая модель beta.12.4
+# 1. Рабочая модель beta.12.6
 
 Пользователь работает в одном Codex Project и формулирует продуктовый outcome. Coordinator выполняет
 CLI, создаёт отдельные Task/Reviewer chats и ведёт supervision loop. Workflow Core остаётся authority
@@ -40,7 +40,7 @@ Blocking unknown, scope change, grant issuance или unrecoverable integrity co
 # 2. Подготовка проекта перед новым Discovery
 
 1. Убедитесь, что checkout чистый и выбран правильный repository root.
-2. Установите beta.12.4 как точную devDependency после публикации release.
+2. Установите beta.12.6 как точную devDependency после публикации release.
 3. Обновите и переустановите bundled `codex-workflow-gateway` этого release.
 4. Проверьте, что declared и installed package versions равны.
 5. Запустите новый Coordinator chat, не fork старого Milestone conversation.
@@ -56,7 +56,7 @@ AGENTS.md
 -> doctor только как дополнительная диагностика
 ```
 
-Handshake beta.12.4 должен сообщать `packageVersion=2.0.0-beta.12.4`, `protocolVersion=2`,
+Handshake beta.12.6 должен сообщать `packageVersion=2.0.0-beta.12.6`, `protocolVersion=2`,
 `stateSchemaVersion=2`, dependency DAG, initial Plan transaction, mechanical feasibility,
 Milestone autonomy и structural replacement disabled capabilities.
 
@@ -116,7 +116,7 @@ delegate, scope, transitions и expiry. DGR передаётся только е
 ```text
 НОВЫЙ COORDINATOR CHAT
 
-Проведи новый Milestone через Codex Workflow V2 beta.12.4 в delegated режиме.
+Проведи новый Milestone через Codex Workflow V2 beta.12.6 в delegated режиме.
 Repository: <ABSOLUTE-REPOSITORY-ROOT>.
 Milestone ID: AUTO.
 Delegate actor: agent:milestone-coordinator.
@@ -293,10 +293,12 @@ Task chat записывает его только при совпадении p
 | Состояние | Действие |
 |---|---|
 | First proven impossible npm check после legacy/late authorization | Только рекламируемый `task plan-integrity-recover` |
+| Downstream proof требует изменить completed predecessor | Только `task downstream-proof-recover`, затем новый Plan/risk audit/authorization в той же Task |
 | Failed guarded review | Та же Task: исправление и новый strict review без attempt hard stop |
 | Finding `route=fix` | Продолжить тот же Step; count остаётся диагностикой |
 | Finding `route=replan` с exact Plan conflict | `task plan-set`, меняются только implementation Steps |
 | `split-required` | Stop: `STRUCTURAL_REPLACEMENT_REQUIRED`, никаких replacement writes |
+| Старая версия + active downstream proof блокируют update | Только beta.12.6 exact dependency commits и advertised `update downstream-proof-dependency-recover` |
 | Exact beta.11 attempt-four `stop-escalate` | Только advertised prepare, затем отдельный Human-confirmed apply; исходный stop сохраняется |
 | Любой другой explicit `stop-escalate` | Terminal user attention |
 | Stale dependency binding | Новый handoff/claim только по fresh `next` |
@@ -305,6 +307,22 @@ Task chat записывает его только при совпадении p
 Plan-integrity recovery не редактирует Plan, package.json или worktree и не синтезирует второй failure.
 P04-A не переносит completed Steps и не rewires dependencies при split.
 
+`task downstream-proof-recover` также не редактирует product files и не создаёт новую Task. Он сохраняет
+dirty worktree/HEAD, append-only фиксирует invalidated predecessor evidence, освобождает C1 и возвращает
+текущую Task к `task plan-set`. Если fresh `next` не рекламирует этот переход, вызывать его нельзя.
+
+Если этот переход доступен только после update, не stash/reset product work. Обновите active base в
+отдельном worktree и текущую Task branch двумя отдельными commits только `package.json`/lock, установите
+beta.12.6 и требуйте от fresh `next` `update downstream-proof-dependency-recover`. Read-only preflight
+должен вернуть `eligible=true`, exact `HEAD`/`HEAD^`, Task revision, пустые blockers и content-hash
+binding dirty set. Recover регистрирует только dependency HEAD; следующий fresh `next` должен вернуть
+обычный `task downstream-proof-recover`. Любой иной diff/history/dirty path/lease означает stop.
+
+Ошибка Docker socket/CLI `EPERM`, `operation not permitted` или `permission denied` в sandbox не считается
+падением daemon и не расходует retry. Повторите exact read-only probe или Plan check один раз с sandbox
+escalation. Не перезапускайте Docker Desktop и не меняйте image без отдельного разрешения и подтверждённого
+escalated daemon failure.
+
 Если после применённого stop override `next` рекламирует delegated `task context-refresh` или
 `update dependency-provenance-recover`, выполните только этот advertised atomic/recovery переход и
 снова запросите `status -> next`. Таких механических refresh/update циклов может быть несколько.
@@ -335,7 +353,7 @@ Task/project DGR. `dependencyBinding` для standalone handoff равен null.
 
 # 14. Итоговый checklist пользователя
 
-- beta.12.4 exact package и новый bundled gateway установлены;
+- beta.12.6 exact package и новый bundled gateway установлены;
 - новый Coordinator chat не является fork старого Milestone;
 - bootstrap DGR, если нужен, выдан отдельным exact human confirmation;
 - Discovery не materialized при blocking unknowns;
@@ -345,5 +363,7 @@ Task/project DGR. `dependencyBinding` для standalone handoff равен null.
 - credentials не появились в prompts, reports или files;
 - каждый transition пришёл из fresh `next`;
 - beta.11 stop override, если рекламировался, прошёл отдельные prepare и user-confirmed apply без journal rewrite;
+- downstream predecessor recovery, если рекламировался, сохранил worktree и завершился новым Plan authority;
+- active-proof package bridge, если понадобился, зарегистрировал только exact dependency HEAD перед recovery;
 - split-required остановился без replacement mutations;
 - Milestone validation и final acceptance связаны с текущим clean base HEAD.

package/docs/pdf/sources/codex-workflow-v2-technical-reference-ru.md

@@ -1,10 +1,10 @@
 ---
-title: Codex Workflow V2: технический справочник beta.12.4
+title: Codex Workflow V2: технический справочник beta.12.6
 subtitle: Protocol 2, state schema 2, transactions, credentials, dependency authority, review и recovery
 part: Часть 3 из 3 | Technical reference
 document_version: 2.0
-date: 28 августа 2026
-subject: Технический контракт Codex Workflow V2 beta.12.4
+date: 29 августа 2026
+subject: Технический контракт Codex Workflow V2 beta.12.6
 ---
 
 # 1. Runtime contract
@@ -13,9 +13,9 @@ Workflow V2 предоставляет локальные revisioned transitions
 и `value` либо структурированную ошибку с `code`, `message` и `details`. Chat, PDF и gateway не создают
 authority сами: mutating permission определяется runtime state и свежим `next`.
 
-| Параметр beta.12.4 | Значение |
+| Параметр beta.12.6 | Значение |
 |---|---|
-| npm package | `codex-workflow-v2@2.0.0-beta.12.4` |
+| npm package | `codex-workflow-v2@2.0.0-beta.12.6` |
 | protocolVersion | 2 |
 | stateSchemaVersion | 2 |
 | lifecycle epoch | 2 |
@@ -37,7 +37,7 @@ Gateway выполняет:
 5. вызов только package-local `dist/src/cli.js --repo <root>`;
 6. `gateway handshake` до lifecycle действий.
 
-Ключевые beta.12.4 capabilities:
+Ключевые beta.12.6 capabilities:
 
 | Группа | Capabilities |
 |---|---|
@@ -46,7 +46,7 @@ Gateway выполняет:
 | Task planning | Plan Risk Audit, proof obligations, mechanical feasibility |
 | C1 | handoff sidecar, handoff bundle, derived Worker actor, credential replacement |
 | Reviews | strict reviewer, Step strict review, continuable remediation, evidence-bound fix/replan routing |
-| Recovery | Task-local dependency provenance, plan integrity, remediation mode, legacy stop override, append-only stop-rebind chain, corrective yield/replan journals |
+| Recovery | Task-local dependency provenance, plan integrity, downstream-proof predecessor invalidation, remediation mode, legacy stop override, append-only stop-rebind chain, corrective yield/replan journals |
 | Replacement | `structural-task-replacement-disabled-v1` |
 
 Handshake incompatibility прекращает работу. Запуск global package, `latest`, mutable range или соседней
@@ -316,13 +316,22 @@ fresh `next` через corrective yield и обычный Human-confirmed repla
 P01-A предотвращает поддерживаемые contradictions до fresh authorization. beta.11 path остаётся для
 pre-P01 authorizations и late/unsupported exact recovery cases.
 
-# 13.1. beta.12.4 compatibility transitions
+# 13.1. beta.12.6 compatibility transitions
 
 `update dependency-provenance-recover` больше не требует полного равенства Task manifest/lock с base.
 Base остаётся version authority, а parent/HEAD candidate сравниваются без единственных Workflow
 dependency entries. Поэтому recorded Task-local scripts сохраняются; payload drift того же candidate
 commit по-прежнему блокируется.
 
+`update downstream-proof-dependency-preflight/recover` — отдельная beta.12.6 совместимость для
+active proof, который делает обычный clean update недостижимым. После exact dependency-only commits
+на active base и Task branch preflight проверяет recorded history на `HEAD^`, candidate на `HEAD`,
+aligned runtime/declared/locked/installed/current/base versions, отсутствие leases/transactions,
+единственный active Step, transitive predecessor ownership и SHA-256 dirty product bytes. Recovery
+добавляет только candidate в `systemCommits` и сохраняет binding в
+`dependencyProvenanceRecoveries.activeDownstreamProof`; product work и Step state не меняются.
+Fresh `next` затем приоритетно рекламирует `task downstream-proof-recover` до Knowledge refresh.
+
 `task stop-override-prepare/apply` обслуживает только exact beta.11 attempt-four policy stop. Prepare
 не пишет state и создаёт binding по Task revision, Step, attempt-3 continue, attempt-4 stop, трём
 remediation events, Plan, HEAD, package, human actor и reason. Apply в отдельном user turn добавляет
@@ -345,6 +354,20 @@ diff. Semantic drift, иной commit или разрыв chain fail closed. Pro
 из уже проверенной override-to-authorization Git chain. Формула должна точно равняться current Task
 revision; unrelated write, duplicate, неверный parent или product commit блокируют continuation.
 
+# 13.2. Downstream-proof predecessor recovery
+
+Если active Step изменяет только собственный proof artifact, обычный `task step-complete` сохраняется.
+Если dirty set дополнительно содержит файлы completed transitive predecessor, Core проверяет branch,
+зарегистрированную Git history, dependency closure и ownership каждого такого файла. При точном совпадении
+fresh `next` рекламирует lease-bound `task downstream-proof-recover` вместо заведомо невозможного commit.
+
+Одна project transaction сохраняет worktree и HEAD, append-only записывает
+`downstream-proof-invalidations.jsonl`, переносит invalidated completion commits в `invalidatedStepCommits`, очищает
+их Step evidence, блокирует proof Step, supersede execution authorization, yield C1 и удаляет lease.
+Следующий action — обычный `task plan-set` той же Task. Replacement Plan обязан заново охватить unfinished
+remainder и пройти fresh Plan Risk Audit и execution authorization. Unrelated/non-predecessor file,
+strict-review evidence, unregistered commit, branch mismatch или damaged sidecar возвращают `doctor`.
+
 # 14. P04-A structural replacement boundary
 
 Command shape `task replacement-materialize` retained только для compatibility diagnostics. Любая попытка
@@ -399,15 +422,20 @@ Graph является навигационным индексом, не Project
 | `GIT_PRECONDITION_FAILED` | Branch/base/clean/history mismatch | Штатная Git recovery/sync route |
 | `COMMAND_FAILED` | Git/check/provider process failed | Сохранить evidence и устранить concrete cause |
 
+Docker socket/CLI `EPERM`, `operation not permitted` или `permission denied` внутри sandbox классифицируется
+как execution-boundary access, не как `COMMAND_FAILED` daemon. Exact read-only probe или Plan check один раз
+повторяется с escalation и не расходует remediation/infra retry. Restart Docker Desktop или image mutation
+без отдельного разрешения запрещены; daemon failure подтверждает только escalated invocation.
+
 После каждой successful mutation обязателен sequential `status`, затем fresh `next`. Failed status/next
 не разрешает direct mutation. Syntax help read-only и не заменяет navigation authority.
 
-# 18. Public command surface beta.12.4
+# 18. Public command surface beta.12.6
 
 | Область | Actions |
 |---|---|
 | System | `doctor`, `status`, `next`, `gateway handshake`, `locks` |
-| Update | `preflight`, `rescue-preflight`, `dependency-provenance-preflight/recover` |
+| Update | `preflight`, `rescue-preflight`, `dependency-provenance-preflight/recover`, `downstream-proof-dependency-preflight/recover` |
 | Project memory | `scan`, `show`, `status`, `approve`, `reconcile` |
 | Delegation | `prepare`, `grant`, `list`, `show`, `revoke` |
 | Graph | `prepare`, `status`, `refresh-request`, `bind`, `fallback` |
@@ -417,7 +445,7 @@ Graph является навигационным индексом, не Project
 | Task execution | `start`, `run`, `step-complete`, `submit`, `result-set`, `accept`, `sync-base`, `merge`, `merge-confirm` |
 | C1 | `handoff[-prepare/-replace/-show]`, `claim`, `writer-credential-replace`, `handback[-create]` |
 | Review | review/step-review packet, launch, sealed record и record actions |
-| Corrective | decision/recovery, plan-integrity, remediation-mode, stop-override prepare/apply, yield и corrective-replan actions |
+| Corrective | decision/recovery, plan-integrity, downstream-proof-recover, remediation-mode, stop-override prepare/apply, yield и corrective-replan actions |
 | Replacement | `replacement-materialize` retained, но всегда disabled в P04-A |
 
 Exact options берутся из fresh `next`; command help используется только когда
@@ -426,10 +454,10 @@ Exact options берутся из fresh `next`; command help используе
 # 19. Release и package update gates
 
 Перед package update project-local `update preflight` должен вернуть `safe=true`: clean checkout, нет
-running Step и active/stale writer lease. External runner допустим только в документированной rescue
-compatibility форме.
+running Step и active/stale writer lease. Исключения — документированный alpha.7 rescue и beta.12.6
+active-downstream-proof dependency bridge; оба fail-closed и не дают общего разрешения dirty update.
 
-Перед beta.12.4 tag release repository выполняет:
+Перед beta.12.6 tag release repository выполняет:
 
 1. `npm ci`;
 2. `npm run validate`;

package/docs/release.md

@@ -27,7 +27,7 @@ The PDF check deterministically regenerates all three Russian documents from
 `docs/pdf/sources`, binds the visible package version to the root manifest, and fails when any
 tracked PDF is stale. Source and binary PDFs are one release unit.
 
-For beta.12.4, the release gate also relies on `npm run release:check` to fail if:
+For beta.12.6, the release gate also relies on `npm run release:check` to fail if:
 
 - canonical entity schema 2 shapes drift;
 - protocol 2 is not the active public contract, or intact protocol-1 adoption evidence stops being readable through the bounded compatibility window;
@@ -50,6 +50,16 @@ For beta.12.4, the release gate also relies on `npm run release:check` to fail i
   registry, title fallback/readback, or long-Cyrillic multi-attempt E2E evidence is absent.
 - bounded first-failure Plan-integrity recovery, exact failed-remediation/manifest/worktree
   bindings, or the no-synthetic-second-failure regression is absent.
+- downstream proof cannot invalidate only completed transitive-predecessor authority while
+  preserving worktree/HEAD, yielding C1, and returning the same Task to fresh planning; or unrelated
+  dirty files and damaged invalidation evidence do not fail closed.
+- an eligible active downstream proof cannot transport one exact dependency-only update across
+  aligned base/Task commits while preserving product bytes; or unknown history, unrelated dirty
+  scope, content drift within an observation, leases, transactions, and wider candidates do not
+  fail closed before provenance registration and ordinary downstream recovery.
+- bundled gateway guidance treats Docker socket `EPERM` as daemon failure, consumes a remediation
+  attempt before one exact escalated probe, or recommends restarting Docker Desktop without separate
+  authority.
 - the P04-A Milestone dependency/initial-Plan transaction capabilities or the P01-A mechanical
   feasibility capability is absent from the packaged handshake.
 - continuable guarded remediation or evidence-bound `fix`/`replan` review routing is absent, or a

package/docs/updating-existing-project.md

@@ -59,6 +59,40 @@ candidate: его HEAD обязан менять ровно `package.json` и `p
 dependency; любое другое поле, добавленное тем же candidate commit, неизвестный commit, stale base,
 dirty checkout, lease или transaction по-прежнему блокируют recovery.
 
+### Исключение beta.12.6 для активного downstream proof
+
+Обычный `update preflight` по-прежнему правильно запрещает обновление при running Step и dirty
+checkout. Но если dirty set уже является подтверждаемым конфликтом между активным proof Step и
+completed transitive predecessor, ожидание чистой границы создаёт цикл: штатный recovery существует
+только в новой версии, а установить её до recovery нельзя. beta.12.6 разрешает только этот exact
+bootstrap и не ослабляет общий preflight.
+
+Сначала убедитесь, что нет active/stale writer lease, pending/corrupt transaction и Core operation.
+Не stash/reset/commit product files и не завершайте Step вручную. В отдельном временном worktree
+обновите active Milestone base до точной beta.12.6 и создайте commit только с `package.json` и
+`package-lock.json`. Затем в текущей Task branch установите ту же точную версию и создайте второй
+commit только из этих двух файлов, оставив существующий product dirty set неизменным. Не merge и
+не переносите product commits между ветками.
+
+Fresh project-local beta.12.6 `next` обязан вернуть
+`update downstream-proof-dependency-recover`. Выполните read-only
+`update downstream-proof-dependency-preflight --id <TASK-ID>` и продолжайте только при
+`eligible=true`, пустом `blockers`, ожидаемых `HEAD`/`HEAD^`, exact Task revision и непустом
+`activeDownstreamProof`. Binding включает current Plan, единственный active Step, все dirty paths,
+SHA-256 их содержимого и completed predecessor Steps, чья authority будет инвалидирована позже.
+После advertised recover повторите `status -> next`: ожидается `task downstream-proof-recover`,
+который имеет приоритет над Knowledge refresh, вызванным manifest/lock commit. Только после него
+выполняются новый Plan, Risk Audit, authorization и возвращённые `next` Knowledge actions.
+
+Read-only preflight является наблюдением, а не confirmation token: recover заново вычисляет и
+записывает binding текущего dirty content. Поэтому изменение допустимого product content до
+recover создаёт другой hash, который нужно сверить в ответе. После recover этот hash остаётся
+аудит-доказательством сохранённых bridge bytes; downstream-proof заново проверяет текущие paths,
+ownership и history, а новый Plan и review оценивают текущий content. Путь fail-closed при unrelated dirty path,
+неизвестном commit до candidate, candidate шире двух dependency-файлов, stale Milestone base,
+version divergence, branch/Plan/Step mismatch, lease или transaction. В этом случае не правьте
+`systemCommits` или внешний state вручную.
+
 ### Исключение beta.12.1 для beta.11 attempt-four stop
 
 Если beta.11 записал `stop-escalate` перед четвёртой попыткой только после последовательности
@@ -100,8 +134,9 @@ context refresh после уже подтверждённого Human override.
 
 ## 1. Подготовьте отдельный чат обновления
 
-Не обновляйте пакет во время выполняющегося Worker Step. Дождитесь завершения текущего ответа
-Codex и откройте в нужном проекте отдельный чат `Workflow update`.
+Не обновляйте пакет во время выполняющегося Worker Step, кроме exact beta.12.6 downstream-proof
+исключения выше. В обычном случае дождитесь завершения текущего ответа Codex и откройте в нужном
+проекте отдельный чат `Workflow update`.
 
 Передайте агенту этот промпт, заменив `<НОВАЯ_ВЕРСИЯ>` точной опубликованной версией: