codex-workflow-v2 2.0.0-beta.12.3 → 2.0.0-beta.12.5

package/docs/autonomy-guardrails.md

@@ -97,7 +97,7 @@ different attempt ordinal, missing attempt-3 continue authority, or an agent-aut
 outside the beta.11 policy shape. After a valid append, attempt four returns to the normal `task run`
 then strict-review cycle; review quality and all later corrective decisions remain unchanged.
 
-Beta.12.3 also handles the case where the accepted third attempt changed approved Project Knowledge
+Beta.12.4 also handles the case where the accepted third attempt changed approved Project Knowledge
 and package self-updates added later refreshes: the already-applied override may be followed by one
 or more ordinary delegated `task context-refresh` transitions before attempt four starts. A fresh
 `next` resumes `task run` only when Core can prove all of the following together: the same exact
@@ -111,6 +111,14 @@ from existing append-only evidence, so this route does not create a second recov
 Missing evidence, semantic Plan change, an unregistered/product commit, a broken chain, or damaged
 chronology routes to `doctor` rather than weakening the generic two-attempt corrective recovery gate.
 
+If fresh navigation performs the final content refresh before the matching dependency-provenance
+recovery, that later administrative recovery may advance the Task revision without invalidating the
+mechanical audit. Core accepts the revision only when the exact count of post-audit recovery records
+fully explains the difference: each record must belong to the already verified single-parent Git
+chain, remain ordered, bind a Workflow system commit, and preserve the exact two-file dependency
+diff. A bare greater revision, unrelated Task write, duplicate record, damaged parent, product
+commit, or unverified recovery remains blocked.
+
 ### First-failure Plan-integrity recovery
 
 A mechanically impossible Plan check must not consume the second ordinary remediation attempt
@@ -133,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/decisions.md

@@ -105,3 +105,9 @@ This document closes the requirement gaps identified during the V2 design review
     `package.json` plus `package-lock.json`. Semantic Plan drift, product commits, missing
     provenance, or broken chronology still fails closed; generic corrective-decision recovery
     remains direct and is not widened.
+21. **Administrative revision continuity is evidence-accounted.** A dependency-provenance
+    recovery recorded after the current mechanical Plan Risk Audit may explain exactly one later
+    Task revision without invalidating an already applied stop override. Core counts only ordered
+    recovery records from the independently verified override-to-authorization Git chain and
+    requires the resulting expected revision to equal the current Task revision. Unexplained
+    revisions and damaged provenance remain blocked; this is not a general `revision >=` rule.

package/docs/development-flow.md

@@ -99,6 +99,18 @@ 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.
+
+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.3
+title: Codex Workflow V2: архитектура beta.12.5
 subtitle: Источники истины, lifecycle, роли, delegation, зависимости Tasks и границы доверия
 part: Часть 1 из 3 | Архитектура
 document_version: 2.0
-date: 28 августа 2026
-subject: Архитектура и границы Codex Workflow V2 beta.12.3
+date: 29 августа 2026
+subject: Архитектура и границы Codex Workflow V2 beta.12.5
 ---
 
 # 1. Назначение и граница системы
@@ -18,7 +18,7 @@ Codex Workflow V2 - локальный state machine поверх Codex App, Git
 Система рассчитана на одного пользователя и одну машину. Она не предоставляет distributed locking,
 криптографическую идентификацию actor string или безопасную синхронизацию state между компьютерами.
 
-## 1.1. Что beta.12.3 гарантирует
+## 1.1. Что beta.12.5 гарантирует
 
 - 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.3 не гарантирует
+## 1.2. Что beta.12.5 не гарантирует
 
 - правильность продуктовой идеи или автоматически выбранного provider Task;
 - semantic sufficiency Plan, если точные факты нельзя доказать поддерживаемым analyzer;
@@ -225,7 +227,7 @@ Beta.12.1 добавила одну append-only compatibility оговорку:
 Plan, HEAD, lease, transaction или повреждённая chain блокируют переход. Попытка 4 снова проходит
 обычный `task run` и новый strict review.
 
-Beta.12.3 сохраняет этот override при последовательности delegated `task context-refresh`, если
+Beta.12.4 сохраняет этот override при последовательности delegated `task context-refresh`, если
 каждая версия Plan изменилась только в canonical Knowledge Map binding. Core проверяет весь
 contiguous rebind/audit chain, mechanical equivalence каждого Plan Risk Audit, общую delegated
 authority и корректную chronology. Git HEAD может продвинуться только через последовательность
@@ -234,6 +236,11 @@ package-lock.json. При утрате claimed writer lease использует
 `task writer-credential-replace`; semantic Plan drift, разрыв chain или любой другой commit
 возвращают `doctor`.
 
+Если последний dependency-provenance recovery записан уже после mechanical audit, он объясняет
+ровно один дополнительный Task revision. Core требует, чтобы audit boundary плюс количество
+проверенных post-audit recoveries точно равнялись current revision; произвольное увеличение
+revision, неверный parent или повреждённая provenance остаются blocker.
+
 Dependency-provenance recovery beta.12.1 также сохраняет ранее закоммиченные Task-local поля
 manifest/lock, даже если base их не содержит. Candidate остаётся dependency-only: после удаления
 только Workflow dependency parent и HEAD обязаны совпасть по всем product-owned полям.
@@ -242,13 +249,25 @@ beta.11 `task plan-integrity-recover` существует для одного
 отсутствует exact root npm script и текущий Step не может изменить package.json. Recovery не меняет
 worktree или Plan и не создаёт synthetic second failure; он записывает bound `replan-required`.
 
+beta.12.5 различает другой случай: активный 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.
+
+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.3 capabilities;
+- handshake подтверждает protocol 2, state schema 2 и beta.12.5 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.3 путь от нового Discovery до принятого Milestone без ручного CLI
+subtitle: Актуальный beta.12.5 путь от нового Discovery до принятого Milestone без ручного CLI
 part: Часть 2 из 3 | Практика
 document_version: 2.0
-date: 28 августа 2026
-subject: Практическое руководство по delegated Discovery и Milestone в Workflow V2 beta.12.3
+date: 29 августа 2026
+subject: Практическое руководство по delegated Discovery и Milestone в Workflow V2 beta.12.5
 ---
 
-# 1. Рабочая модель beta.12.3
+# 1. Рабочая модель beta.12.5
 
 Пользователь работает в одном 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.3 как точную devDependency после публикации release.
+2. Установите beta.12.5 как точную 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.3 должен сообщать `packageVersion=2.0.0-beta.12.3`, `protocolVersion=2`,
+Handshake beta.12.5 должен сообщать `packageVersion=2.0.0-beta.12.5`, `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.3 в delegated режиме.
+Проведи новый Milestone через Codex Workflow V2 beta.12.5 в delegated режиме.
 Repository: <ABSOLUTE-REPOSITORY-ROOT>.
 Milestone ID: AUTO.
 Delegate actor: agent:milestone-coordinator.
@@ -293,6 +293,7 @@ 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 |
@@ -305,6 +306,15 @@ 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` не рекламирует этот переход, вызывать его нельзя.
+
+Ошибка 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 циклов может быть несколько.
@@ -313,6 +323,11 @@ P04-A не переносит completed Steps и не rewires dependencies пр
 точного claimant-актора. `doctor`, semantic Plan change, разрыв rebind/audit chain или HEAD commit без
 точного dependency-provenance record означают stop, а не ручной обход.
 
+Если advertised navigation записала dependency provenance после последнего context-refresh audit,
+продолжайте только когда fresh `next` сам вернул `task run`. Core обязан доказать, что каждый такой
+recovery объясняет ровно один дополнительный Task revision; простое `revision >=` не является
+authority.
+
 # 12. Milestone final acceptance
 
 После merge всех required Tasks Coordinator проверяет clean base HEAD и выполняет рекламируемую
@@ -330,7 +345,7 @@ Task/project DGR. `dependencyBinding` для standalone handoff равен null.
 
 # 14. Итоговый checklist пользователя
 
-- beta.12.3 exact package и новый bundled gateway установлены;
+- beta.12.5 exact package и новый bundled gateway установлены;
 - новый Coordinator chat не является fork старого Milestone;
 - bootstrap DGR, если нужен, выдан отдельным exact human confirmation;
 - Discovery не materialized при blocking unknowns;
@@ -340,5 +355,6 @@ 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;
 - 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.3
+title: Codex Workflow V2: технический справочник beta.12.5
 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.3
+date: 29 августа 2026
+subject: Технический контракт Codex Workflow V2 beta.12.5
 ---
 
 # 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.3 | Значение |
+| Параметр beta.12.5 | Значение |
 |---|---|
-| npm package | `codex-workflow-v2@2.0.0-beta.12.3` |
+| npm package | `codex-workflow-v2@2.0.0-beta.12.5` |
 | 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.3 capabilities:
+Ключевые beta.12.5 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,7 +316,7 @@ 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.3 compatibility transitions
+# 13.1. beta.12.5 compatibility transitions
 
 `update dependency-provenance-recover` больше не требует полного равенства Task manifest/lock с base.
 Base остаётся version authority, а parent/HEAD candidate сравниваются без единственных Workflow
@@ -340,6 +340,25 @@ diff. Semantic drift, иной commit или разрыв chain fail closed. Pro
 `stopOverrideContextRebind.state=validated`; lost lease восстанавливает только advertised
 `task writer-credential-replace`.
 
+Если recovery записан после последнего rebound audit, evidence-bound revision равен
+`audit.taskRevision + 1 + postAuditVerifiedRecoveries.length`. В зачёт входят только ordered records
+из уже проверенной 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. Любая попытка
@@ -394,10 +413,15 @@ 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.3
+# 18. Public command surface beta.12.5
 
 | Область | Actions |
 |---|---|
@@ -412,7 +436,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 используется только когда
@@ -424,7 +448,7 @@ Exact options берутся из fresh `next`; command help используе
 running Step и active/stale writer lease. External runner допустим только в документированной rescue
 compatibility форме.
 
-Перед beta.12.3 tag release repository выполняет:
+Перед beta.12.5 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.3, the release gate also relies on `npm run release:check` to fail if:
+For beta.12.5, 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,12 @@ For beta.12.3, 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.
+- 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
@@ -62,6 +68,8 @@ For beta.12.3, the release gate also relies on `npm run release:check` to fail i
 - Git HEAD may advance between the override and current execution authorization through anything
   except an exact chain of registered dependency-provenance commits that each change only
   `package.json` and `package-lock.json`; or the route weakens the generic stale-decision recovery gate.
+- a dependency-provenance recovery recorded after the final mechanical audit cannot explain its
+  exact single Task revision, or an unrelated revision/damaged provenance is accepted as authority.
 
 The separate lifecycle transcript validator fails if the real-agent log contains a mutation that
 bypasses failed `status`/`next`, an unadvertised or failed mutation, an unresolved syntax-only

package/docs/updating-existing-project.md

@@ -73,7 +73,7 @@ stop decision, Plan hash, Git HEAD, все три remediation events и policy
 `SOO-*` кодом. `task stop-override-apply` добавляет одну запись в
 `stop-escalate-overrides.jsonl`, сохраняя исходный `stop-escalate`; после него выполните
 последовательные `status` и `next`. Обычно ожидаемый route — `task run` того же Step с последующим
-новым strict review. Beta.12.3 покрывает и последовательность package self-update/context-refresh
+новым strict review. Beta.12.4 покрывает и последовательность package self-update/context-refresh
 циклов после override. Перед `task run` выполняйте только свежие advertised
 `update dependency-provenance-recover` и delegated `task context-refresh`; циклов может быть
 несколько. Workflow продолжит attempt 4 лишь когда докажет contiguous source-to-current chain:
@@ -82,6 +82,11 @@ artifacts, каждый Plan Risk Audit является mechanical rebound, а
 сохраняют одну delegated authority. HEAD может продвинуться только через зарегистрированные
 single-parent dependency-provenance commits, каждый с exact `package.json`/`package-lock.json` diff.
 Новая stop-override recovery-запись не создаётся — используется существующая append-only evidence.
+Если advertised navigation сначала завершила последний `task context-refresh`, а затем разрешила
+`update dependency-provenance-recover`, административный recovery может объяснить ровно один
+post-audit Task revision. Core принимает его только как часть уже проверенной dependency-only Git
+chain; арифметика audit revision + refresh boundary + exact post-audit recoveries должна точно
+равняться current Task revision. Любой необъяснённый revision остаётся blocker.
 Если C1 остаётся claimed, но writer lease после Human boundary отсутствует, `next` вместе с
 `task run` рекламирует `task writer-credential-replace`; сначала восстановите credential exact
 claimant-актора, затем запускайте Step.