codex-workflow-v2 2.0.0-beta.12 → 2.0.0-beta.12.10

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

@@ -1,10 +1,10 @@
 ---
-title: Codex Workflow V2: технический справочник beta.12
+title: Codex Workflow V2: технический справочник beta.12.10
 subtitle: Protocol 2, state schema 2, transactions, credentials, dependency authority, review и recovery
 part: Часть 3 из 3 | Technical reference
 document_version: 2.0
-date: 27 августа 2026
-subject: Технический контракт Codex Workflow V2 beta.12
+date: 31 августа 2026
+subject: Технический контракт Codex Workflow V2 beta.12.10
 ---
 
 # 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 | Значение |
+| Параметр beta.12.10 | Значение |
 |---|---|
-| npm package | `codex-workflow-v2@2.0.0-beta.12` |
+| npm package | `codex-workflow-v2@2.0.0-beta.12.10` |
 | protocolVersion | 2 |
 | stateSchemaVersion | 2 |
 | lifecycle epoch | 2 |
@@ -37,16 +37,16 @@ Gateway выполняет:
 5. вызов только package-local `dist/src/cli.js --repo <root>`;
 6. `gateway handshake` до lifecycle действий.
 
-Ключевые beta.12 capabilities:
+Ключевые beta.12.10 capabilities:
 
 | Группа | Capabilities |
 |---|---|
 | Knowledge и graph | `project-memory-v1`, `graph-binding-v1`, `task-context-refresh-v1` |
-| Milestone | lifecycle, initial assembly navigation, autonomy, progress, dependency DAG, initial Plan transaction |
+| Milestone | lifecycle, initial assembly navigation, autonomy, audited remediation topology, progress, dependency DAG, initial Plan transaction |
 | Task planning | Plan Risk Audit, proof obligations, mechanical feasibility |
-| C1 | handoff sidecar, handoff bundle, derived Worker actor, credential replacement |
+| C1 | handoff sidecar/bundle, derived Worker actor, credential replacement, Human-gate lease release |
 | Reviews | strict reviewer, Step strict review, continuable remediation, evidence-bound fix/replan routing |
-| Recovery | dependency provenance, plan integrity, remediation mode, corrective yield/replan journals |
+| Recovery | Task-local dependency provenance, historical Step 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 или соседней
@@ -65,7 +65,7 @@ $CODEX_HOME/workflow-state/v2/projects/<project-id>/
   tasks/<TASK-ID>/
     brief.md, plan.md, result.md, evidence.json, state.json
     .versions/
-    authorization/review/remediation/corrective/handoff sidecars
+    authorization/review/remediation/corrective/stop-override/handoff sidecars
   milestones/<MS-ID>/
     plan.json, result.md, evidence.json, state.json
     .versions/ и scope/autonomy sidecars
@@ -235,7 +235,8 @@ Claim сверяет stored binding с current Milestone authority до lock acq
 3. Exact target actor вызывает `task claim` с one-time token.
 4. Claim выдаёт first-field `writerLeaseReceipt`.
 5. `task run` принимает token по `next.writerTokenContract`, heartbeats lease и возвращает refreshed receipt.
-6. Terminal handback/release уничтожает active bearer material.
+6. `task result-set` consumes active token и освобождает lease до Human final-acceptance gate.
+7. После acceptance `writer-credential-replace` создаёт merge lease; terminal transitions освобождают его.
 
 Credential нельзя логировать, сохранять в chat packet или включать в evidence. `handoff-show` возвращает
 только safe persisted binding. Recovery использует отдельные advertised replacement actions.
@@ -249,7 +250,7 @@ Credential нельзя логировать, сохранять в chat packet
 | Worker return | Изменения uncommitted и только в allowedWrites |
 | Step complete | History, scope, checks, review gate, exact writer token |
 | Commit | Один Core-owned commit с Task/Step metadata |
-| Submit | Clean tree, Steps completed/skipped, recorded commits and evidence |
+| Submit/Result | Exact evidence/review; Result освобождает lease до Human gate |
 | Merge | Fresh review/acceptance, base conditions, accepted HEAD |
 
 Local start повторно сравнивает authorized base внутри Git branch creation, закрывая TOCTOU между
@@ -291,7 +292,9 @@ Guarded Step имеет проверяемый, но не ограниченны
 | Finding `route=replan` с exact Plan conflict | `task plan-set`; меняются только implementation Steps |
 | `route=replan` без exact conflict | Невалидный review result, state не меняется |
 | Explicit `split-required` | Structural replacement stop |
-| Explicit `stop-escalate` | Terminal user attention |
+| Exact beta.11 attempt-four `stop-escalate` | Append-only Human-confirmed compatibility override |
+| Pre-execution `stop-escalate` + exact `auditedRemediation` route | Один additive upstream Task без нового Human gate |
+| Любой другой explicit `stop-escalate` | Terminal user attention |
 
 Attempt count является диагностикой, а не lifecycle authority. Explicit corrective-decision journal
 сохраняется для намеренного stop/split и совместимого historical recovery, но не требуется после второй
@@ -315,6 +318,123 @@ 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.7 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.
+
+`update downstream-proof-replan-update-preflight` — read-only source gate для одного exact
+beta.12.6 stranded shape после predecessor invalidation и ошибочного Knowledge rebind старого Plan.
+Он требует точные source version surfaces, Task revision/status/rebind, preserved HEAD, dirty paths/hash
+и отсутствие lease/transactions. После dependency-only transport
+`update downstream-proof-replan-dependency-preflight/recover` валидирует parent на `HEAD^`, candidate
+на `HEAD` и записывает `dependencyProvenanceRecoveries.downstreamProofReplan` без изменения product
+bytes. `task downstream-proof-replan-recover` атомарно добавляет
+`downstream-proof-replan-recoveries.jsonl`, supersede-ит execution authorization и возвращает Task в
+`needs_fix`. Stale Knowledge refresh разрешён после repair, но не может заменить обязательный
+`task plan-set`. Dirty carryover принимается `task run` только если один replacement Step владеет всем
+set, а HEAD, paths и SHA-256 совпадают с recovery event.
+
+`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 добавляет
+`stop-escalate-overrides.jsonl`. Original corrective decision остаётся неизменным. Split, stale binding,
+lease/transaction, дубликат с другим binding и tampering fail closed.
+
+После apply несколько delegated `task context-refresh` могут сделать source Plan историческим.
+`task run` доступен, только если Core доказывает contiguous source-to-current chain: adjacent Plans
+различаются лишь Knowledge binding, rebinds совпадают с artifacts, audits являются mechanical
+rebounds, а current approval/authorization сохраняют одну delegated authority и chronology.
+
+HEAD может отличаться от override только через зарегистрированные single-parent
+`dependencyProvenanceRecoveries` в `systemCommits`, каждый с exact `package.json`/`package-lock.json`
+diff. Semantic drift, иной commit или разрыв chain fail closed. Projection содержит
+`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`.
+
+# 13.3. beta.12.9 historical Step provenance
+
+Corrective replan теперь сохраняет evidence commits Steps, исключённых replacement Plan, в
+`invalidatedStepCommits`. Это предотвращает новый unregistered-history blocker без переноса завершённого
+Step в новый Plan.
+
+Для уже существующего stranded state fresh `next` допускает только один из двух bounded routes:
+
+- `task historical-step-provenance-preflight/recover`, если beta.12.9 dependency HEAD уже зарегистрирован;
+- `update historical-step-dependency-preflight/recover`, если dependency-only beta.12.9 commit ещё
+  является единственным unregistered HEAD.
+
+Core требует один active Step, dirty paths только в его `allowedWrites`, отсутствие leases/transactions,
+ровно один omitted product commit, полный hash-valid strict Step Review с `passed`, verified reviewer
+attestation и прежний hash-bound `final_acceptance` того же Plan. Update-route дополнительно связывает
+exact `HEAD^`/`HEAD`, package/version surfaces и SHA-256 dirty worktree. Recovery не переписывает Git,
+не меняет product bytes и не возвращает старый Step в Plan; он записывает historical authority и, для
+update-route, dependency provenance в одной Task revision. Fresh `status -> next` после transition
+должен вернуть обычный credential/`task step-complete` flow текущего Step.
+
+# 13.4. beta.12.10 audited remediation topology
+
+`milestone remediation-materialize` применим только к required Task в
+`awaiting_execution_authorization`, если ни один Step не начат и последний audit текущей
+Task revision/Brief/Plan имеет decision `stop-escalate`. Нужны active Milestone на clean base,
+coherent idle observation boundary, current Milestone execution authorization и ready Discovery.
+
+Input не содержит Milestone Plan или actor:
+
+```json
+{
+  "discoveryId": "DISC-...",
+  "expectedDiscoveryRevision": 1,
+  "title": "Restore upstream capability",
+  "predecessorTaskIds": ["TASK-..."]
+}
+```
+
+`predecessorTaskIds` обязан точно совпасть с direct predecessor frontier blocked Task; каждый такой
+Task required и merged. Одна Project transaction пишет consumed Discovery, Brief/state нового Task,
+новый `plan.json`, `scope-change-events.jsonl` и Milestone state. Event mode
+`audited-remediation` связывает blocked Task/revision, Brief/Plan hashes, audit ID/hash, remediation
+Task и predecessor IDs. Milestone semantic fields и прежние memberships неизменны; добавляются
+только один required Task и одна dependency edge blocked -> remediation. Повтор audit запрещён.
+
+Current Milestone execution authorization superseded и заменён `corrective-derived`, evidenceHash
+связывает source Plan/authorization mode, audit hash и remediation evidence. Repository `next`
+приоритизирует remediation Task. Для current required Tasks оно выдаёт
+`correctiveDerivedApproval` для `task authorize`/`task accept`; actor фиксирован как
+`agent:milestone-remediation:<MS-ID>`, human approval и delegation grant не нужны. Plan Risk Audit,
+mechanical feasibility, C1, Step checks/commits/reviews и final Milestone acceptance не меняются.
+После merge remediation Task исходная Task получает `task plan-set` и проходит fresh audit/authority.
+
 # 14. P04-A structural replacement boundary
 
 Command shape `task replacement-materialize` retained только для compatibility diagnostics. Любая попытка
@@ -369,25 +489,30 @@ 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
+# 18. Public command surface beta.12.10
 
 | Область | Actions |
 |---|---|
 | System | `doctor`, `status`, `next`, `gateway handshake`, `locks` |
-| Update | `preflight`, `rescue-preflight`, `dependency-provenance-preflight/recover` |
+| Update | `preflight`, `rescue-preflight`, dependency provenance, historical-Step dependency bridge, downstream-proof dependency bridge, downstream-proof replan update/dependency bridge |
 | Project memory | `scan`, `show`, `status`, `approve`, `reconcile` |
 | Delegation | `prepare`, `grant`, `list`, `show`, `revoke` |
 | Graph | `prepare`, `status`, `refresh-request`, `bind`, `fallback` |
 | Discovery | `start`, `update`, `show`, `materialize` |
-| Milestone | `recover`, `show`, `progress`, `plan-set`, scope-change, autonomy, `authorize`, `validate`, `accept`, `cancel` |
+| Milestone | `recover`, `show`, `progress`, `plan-set`, `remediation-materialize`, scope-change, autonomy, `authorize`, `validate`, `accept`, `cancel` |
 | Task planning | `show`, `plan-set`, `knowledge-rebind`, `context-refresh`, `authorize`, `plan-risk-audit` |
 | 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, yield и corrective-replan actions |
+| Corrective | decision/recovery, plan-integrity, historical-step-provenance preflight/recover, downstream-proof-recover/replan-recover, remediation-mode, stop-override prepare/apply, yield и corrective-replan actions |
 | Replacement | `replacement-materialize` retained, но всегда disabled в P04-A |
 
 Exact options берутся из fresh `next`; command help используется только когда
@@ -396,19 +521,11 @@ 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 форме.
-
-Перед beta.12 tag release repository выполняет:
-
-1. `npm ci`;
-2. `npm run validate`;
-3. `npm run pack:check`;
-4. `npm run smoke:downstream`;
-5. `npm run plugin:check` и official plugin/skill validators;
-6. `npm run docs:pdf:check`;
-7. `npm run release:check` с exact release tag binding;
-8. validation append-only real-agent lifecycle log.
-
-PDF source и binaries должны совпасть детерминированно. Tag имеет форму `v<package-version>`.
-Publication не выполняется локальными validation commands.
+running Step и active/stale writer lease. Исключения — документированный alpha.7 rescue, beta.12.6
+active-downstream-proof bridge, beta.12.7 exact stranded-replan bridge и beta.12.9 historical-Step
+dependency bridge; все они fail-closed и не дают общего разрешения dirty update.
+
+Перед beta.12.10 tag обязательны `npm ci`, `npm run validate`, `npm run test:signal-remediation-e2e`, `npm run pack:check`,
+`npm run smoke:downstream`, `npm run plugin:check`, official plugin/skill validators,
+`npm run docs:pdf:check`, `npm run release:check` с exact tag binding и validation
+append-only real-agent lifecycle log.

package/docs/release.md

@@ -10,13 +10,14 @@ Before tagging a release:
 
 1. `npm ci`
 2. `npm run validate`
-3. `npm run pack:check`
-4. `npm run smoke:downstream`
-5. `npm run plugin:check`
-6. `npm run docs:pdf:check`
-7. `npm run release:check`
-8. validate `plugins/codex-workflow-gateway` with the Codex plugin validator
-9. validate the append-only real-agent log with
+3. `npm run test:signal-remediation-e2e`
+4. `npm run pack:check`
+5. `npm run smoke:downstream`
+6. `npm run plugin:check`
+7. `npm run docs:pdf:check`
+8. `npm run release:check`
+9. validate `plugins/codex-workflow-gateway` with the Codex plugin validator
+10. validate the append-only real-agent log with
    `node scripts/validate-lifecycle-transcript.mjs --file <lifecycle-log.jsonl>`
 
 The downstream smoke packs the actual tarball, installs it into an empty temporary project,
@@ -27,7 +28,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, the release gate also relies on `npm run release:check` to fail if:
+For beta.12.10, 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;
@@ -42,16 +43,58 @@ For beta.12, the release gate also relies on `npm run release:check` to fail if:
   explicit recovery, or dual-readback capabilities are absent from the packaged surface.
 - scoped Task navigation, credential replacement recovery, or sealed external Task/Step review
   commands are absent from the packaged surface.
+- `task result-set` can enter the unbounded Human final-acceptance gate without consuming a live
+  writer credential and releasing its lease, or claimed Task E2E cannot reacquire a fresh merge credential.
 - bounded dependency-provenance recovery, retained passed-review provenance, the exact Signal T04
   revision-26 fixture, or pending/corrupt-review rejection regressions are absent.
+- dependency recovery again requires Task-local manifest/lock fields to equal the Milestone base,
+  or a candidate commit can alter any non-Workflow dependency payload.
+- corrective replan drops completed Step evidence from accepted Task history, or an already-stranded
+  Task can register arbitrary/unreviewed history instead of one exact passed and previously accepted
+  Step commit.
+- beta.12.9 cannot install through an exact dependency-only base/Task transport while preserving the
+  active Step worktree, or that compatibility route fails to bind the dependency HEAD, historical
+  commit, current Plan/Step, dirty paths/content hash, and absence of leases/transactions.
 - the read-only Milestone progress projection, replacement regression, project-monotonic chat
   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.
+- the exact beta.12.6 post-invalidation Knowledge-rebind shape cannot pass a read-only source gate,
+  transport beta.12.7 through dependency-only commits, register provenance, restore `needs_fix`,
+  survive required Knowledge refresh, and reach a fresh replacement Plan;
+- preserved dirty bytes can execute without one Step owning the complete bound set, or HEAD/path/hash
+  drift is accepted; or the Signal-shaped E2E stops before checks, Core commit, strict Step review,
+  and fresh navigation to Task submission.
+- 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
   third/later failed review is again converted into an attempt-count stop.
+- audited remediation can change Milestone outcome/success signal/acceptance/checks, omit or add
+  arbitrary predecessor authority, reuse one blocking audit, run with dirty/owned state, or stop
+  before the new Task merges and the original Task completes a subsequent Step.
+- `corrective-derived` Task authorization/final acceptance can exist without the current exact
+  Milestone execution authorization and audited-remediation event, or final Milestone acceptance is
+  derived automatically.
+- the append-only, Human-confirmed beta.11 attempt-four stop override, its exact three-event/
+  continue/stop binding, split rejection, stale-confirmation rejection, or tamper detection is
+  absent from the package.
+- an already-applied beta.11 stop override cannot survive a contiguous append-only chain of later
+  context-only Plan rebinds with exact mechanical audits, delegation, and chronology;
+- 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

@@ -22,6 +22,24 @@ state schema. Совпадение `stateSchemaVersion` до и после об
 нужна. Для alpha.6 при `stateSchemaVersion: 2` применяется не migration, а sidecar-only
 adoption posture.
 
+### beta.12.10: audited remediation вместо ручной смены Milestone scope
+
+После безопасного обновления существующий active Milestone может продолжить работу без пересоздания,
+если current `next` показывает pre-execution `stop-escalate` и объект `auditedRemediation`. Это не
+update compatibility bridge и не разрешение вручную менять state. Сначала выполните обычный
+`update preflight`; установите exact beta.12.10 только при `safe=true`, clean checkout, отсутствии
+running Step и leases, затем снова выполните repository-local handshake, `status` и `next`.
+
+Далее следуйте только свежему route: remediation Discovery -> ready ->
+`milestone remediation-materialize`. Передайте exact Milestone/Task revisions и JSON с Discovery,
+title и `predecessorTaskIds`, которые полностью совпадают с
+`next.auditedRemediation.requiredPredecessorTaskIds`. Переход не принимает confirmation code,
+actor, grant или новый Milestone Plan. После atomic materialization новый required Task должен стать
+repository priority и пройти обычную реализацию/review/merge. Его Task approval transitions используют
+только exact `correctiveDerivedApproval.actor` из fresh `next`. После merge исходная Task обязана
+вернуться к `task plan-set`, fresh Risk Audit и следующему Step. Если fresh `next` не рекламирует этот
+контракт, не вызывайте команды напрямую и не редактируйте Milestone state.
+
 ### Исключение для lifecycle-дедлока alpha.6
 
 Обычный `update preflight` намеренно блокирует обновление при `in_progress` Step. Если alpha.6
@@ -52,10 +70,145 @@ commit остался в Git между `baseCommit` и новым dependency-on
 него обязательны последовательные `status` и `next`; выполняйте возвращённый Knowledge reconcile
 или `task context-refresh`, если manifest/lock сделали Knowledge Map stale.
 
+В beta.12.1 preflight сравнивает parent и candidate после удаления только записей зависимости
+`codex-workflow-v2`. Поэтому ранее закоммиченные Task-local scripts и другие product-owned поля
+`package.json`/lockfile могут отличаться от Milestone base и сохраняются. Это не ослабляет сам
+candidate: его HEAD обязан менять ровно `package.json` и `package-lock.json`, только точную Workflow
+dependency; любое другое поле, добавленное тем же candidate commit, неизвестный commit, stale base,
+dirty checkout, lease или transaction по-прежнему блокируют recovery.
+
+### Исключение beta.12.9 для Step commit, потерянного corrective Plan
+
+Если активный corrective Step сохраняет допустимый dirty worktree, а `task step-complete` обнаруживает
+ровно один старый product commit, beta.12.9 не требует переписывать Git. Пакет поддерживает два
+строго ограниченных входа в один и тот же recovery:
+
+- если beta.12.9 уже зарегистрирована, свежий `next` рекламирует
+  `task historical-step-provenance-recover`;
+- если для установки beta.12.9 на Milestone base и Task branch уже созданы ровно dependency-only
+  commits, свежий `next` рекламирует `update historical-step-dependency-recover`. Этот переход
+  атомарно регистрирует новый dependency HEAD и сохраняет authority старого Step commit.
+
+В обоих случаях Core сам доказывает для старого SHA полную hash-valid strict Step Review цепочку с
+решением `passed`, verified reviewer isolation и совпадающий прежний `final_acceptance`. Update-route
+дополнительно требует exact target version на declared/locked/installed/current-branch/base surfaces,
+dependency commit только из `package.json` и `package-lock.json`, а также неизменный hash активного
+dirty worktree относительно read-only assessment.
+
+Сначала выполните read-only `task historical-step-provenance-preflight --id <TASK-ID>`. Продолжайте
+только при `eligible=true`, точных Task revision, Plan/Brief/HEAD и commit SHA, отсутствии leases,
+transactions и Core operations, а также dirty paths строго внутри `allowedWrites` единственного
+активного Step. Recover принимает exact SHA, actor и содержательную reason, добавляет SHA в
+`invalidatedStepCommits` и записывает источник прежнего acceptance. Product bytes, HEAD и текущий
+Plan не меняются; старый Step не возвращается в Plan. После recovery обязательны последовательные
+`status` и `next`, затем обычный credential route и `task step-complete` текущего Step.
+
+Несколько unknown commits, pending/failed review, несовпадающий Plan прежнего acceptance,
+повреждённый sidecar, посторонний dirty path или lease являются hard stop. Запрещено заменять этот
+переход rebase/reset/amend, ручным `systemCommits` или переносом старого Step в текущий Plan.
+
+### Исключение 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.7 для stranded downstream replan
+
+Это исключение применимо только если beta.12.6 уже записала downstream-proof invalidation, а затем
+Project Knowledge approval ошибочно rebound-нул отвергнутый Plan и вернул Task в
+`awaiting_execution_authorization`. До изменения dependency запустите beta.12.7 source/runtime
+read-only `update downstream-proof-replan-update-preflight --id <TASK-ID>`. Требуются
+`eligible=true`, source version `2.0.0-beta.12.6`, exact Task revision/branch/base/HEAD, неизменные
+dirty paths/content hash и пустые blockers.
+
+Затем тем же двухкоммитным способом обновите active base и Task branch только в `package.json` и
+`package-lock.json`, установите exact beta.12.7 и следуйте fresh `next`. Допустимая цепочка:
+`update downstream-proof-replan-dependency-preflight` ->
+`update downstream-proof-replan-dependency-recover` ->
+`task downstream-proof-replan-recover`. После repair manifest change обычно делает Project Knowledge
+stale: выполните рекламируемые reconcile/approve, но не `task knowledge-rebind` старого Plan. Fresh
+`next` обязан вернуть `task plan-set`.
+
+Новый Plan должен заново классифицировать весь unfinished remainder. Сохранённые dirty bytes не
+становятся completed evidence и не коммитятся административным recovery. Они могут быть приняты
+только одним planned Step, `allowedWrites` которого точно покрывает весь dirty set. Перед `task run`
+fresh `next` обязан показать `downstreamProofCarryover.state=validated`; после run обязательны checks,
+Core-owned Step commit и strict review, если Step guarded. Изменение content/path/HEAD, дополнительная
+Task revision, audit/authorization старого Plan, lease или transaction блокируют исключение.
+
+### Исключение beta.12.1 для beta.11 attempt-four stop
+
+Если beta.11 записал `stop-escalate` перед четвёртой попыткой только после последовательности
+`ordinary`, `ordinary`, `corrective`, и перед третьей попыткой уже существовал exact
+`continue-fix`, fresh `next` может вернуть `task stop-override-prepare`. Не создавайте новый
+Milestone и не редактируйте sidecar вручную. Сначала выполните только read-only prepare с exact
+Task revision, Step, human actor и содержательной причиной. Проверьте, что ответ связывает тот же
+stop decision, Plan hash, Git HEAD, все три remediation events и policy
+`beta11-attempt4-stop-compatibility-v1`, затем остановитесь перед Human gate.
+
+В отдельном пользовательском сообщении разрешите apply с теми же параметрами и возвращённым
+`SOO-*` кодом. `task stop-override-apply` добавляет одну запись в
+`stop-escalate-overrides.jsonl`, сохраняя исходный `stop-escalate`; после него выполните
+последовательные `status` и `next`. Обычно ожидаемый route — `task run` того же Step с последующим
+новым 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:
+каждый Plan отличается только canonical Knowledge Map binding, каждый rebind совпадает с Plan
+artifacts, каждый Plan Risk Audit является mechanical rebound, а current approval/authorization
+сохраняют одну 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.
+
+Этот путь не работает для `split-required`, другого attempt ordinal, семантически изменённого
+Plan, отсутствующего attempt-3 continue, разорванной rebind/audit chain, незарегистрированного или
+product HEAD commit, повреждённой chronology, active/stale lease на Human prepare/apply boundary
+или незавершённой Task transaction.
+Delegated approval для самого stop override отсутствует; delegation относится только к обычному
+context refresh после уже подтверждённого Human override.
+
 ## 1. Подготовьте отдельный чат обновления
 
-Не обновляйте пакет во время выполняющегося Worker Step. Дождитесь завершения текущего ответа
-Codex и откройте в нужном проекте отдельный чат `Workflow update`.
+Не обновляйте пакет во время выполняющегося Worker Step, кроме exact beta.12.6 downstream-proof
+исключения выше. В обычном случае дождитесь завершения текущего ответа Codex и откройте в нужном
+проекте отдельный чат `Workflow update`.
 
 Передайте агенту этот промпт, заменив `<НОВАЯ_ВЕРСИЯ>` точной опубликованной версией: