codex-workflow-v2 2.0.0-beta.13.12 → 2.0.0-beta.13.14

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

@@ -463,7 +463,7 @@ Restart Docker Desktop требует отдельного разрешения
 # 10. Operational checklist
 
 - exact package version установлен, bundled gateway соответствует release и переустановлен;
-- handshake подтверждает `packageVersion=2.0.0-beta.13.12`, protocol 2, state schema 2 и beta.13
+- handshake подтверждает `packageVersion=2.0.0-beta.13.14`, protocol 2, state schema 2 и beta.13
   capabilities;
 - routine observation начинается с компактного `status`; `status --full` запрашивается только для
   расследования, которому действительно нужна полная historical projection;
@@ -498,3 +498,27 @@ Read-only Plan-integrity update preflight допускает beta.13.11+ source
 V4 literal-test evidence и более новым exact target. Running Step, любой lease, повреждённая
 история, изменённые dirty bytes или более широкий dependency transport остаются блокерами.
 Полный протокол и ограничения: docs/updating-existing-project.md и docs/release.md.
+
+## beta.13.13: Knowledge проверяется до переноса зависимости
+
+Проверка обновления учитывает существующие product-источники Knowledge,
+изменённые failed Step. Допустимы только content-only изменения в связанном
+scope, с действующим делегированным маршрутом context refresh. Изменение
+классификации или состава источников блокирует этот маршрут до transport.
+
+Регистрация dependency provenance сохраняет прежнюю карту. После ограниченного
+расширения test-support scope существующий атомарный context refresh использует
+явный grant; актуальные аудит и разрешение исполнения остаются обязательными.
+Обновление пакета само по себе не одобряет проектные источники. Проверка релиза
+включает четыре уже изменённых источника, перенос пакета и продолжение до checks
+и sealed review packet; фактическая готовность Signal проверяется отдельно.
+
+
+## beta.13.14: перенос проверяется в своей фазе
+
+Исторический перенос незавершённой работы проверяется только для planned Step,
+как и при исполнении. Для уже упавшего Step он не перекрывает актуальный маршрут
+восстановления scope. До обновления нужна проверка навигации на остановленном
+состоянии без мутаций, а после — свежие status и next. Атомарный context-refresh
+не выдаёт writer credential: продолжает прежний C1 исполнитель с действующими
+полномочиями.

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

@@ -57,7 +57,7 @@ AGENTS.md
 -> doctor только как дополнительная диагностика
 ```
 
-Handshake beta.13.12 должен сообщать `packageVersion=2.0.0-beta.13.12`, `protocolVersion=2`,
+Handshake beta.13.14 должен сообщать `packageVersion=2.0.0-beta.13.14`, `protocolVersion=2`,
 `stateSchemaVersion=2`, dependency DAG, initial Plan transaction, mechanical feasibility,
 Milestone autonomy, host-safe credential reference, failed-Step continuation transaction,
 cause-bound rolling refinement, structural production edge, compact status, reviewer runtime preflight,
@@ -480,7 +480,7 @@ Task/project DGR. `dependencyBinding` для standalone handoff равен null.
 # 14. Итоговый checklist пользователя
 
 - beta.13.10 exact package и новый bundled gateway установлены; handshake показывает
-  `packageVersion=2.0.0-beta.13.12`, protocol/state schema `2/2` и beta.13 capabilities;
+  `packageVersion=2.0.0-beta.13.14`, protocol/state schema `2/2` и beta.13 capabilities;
 - новый Coordinator chat не является fork старого Milestone;
 - bootstrap DGR, если нужен, выдан отдельным exact human confirmation;
 - Discovery не materialized при blocking unknowns;
@@ -524,3 +524,27 @@ Read-only Plan-integrity update preflight допускает beta.13.11+ source
 V4 literal-test evidence и более новым exact target. Running Step, любой lease, повреждённая
 история, изменённые dirty bytes или более широкий dependency transport остаются блокерами.
 Полный протокол и ограничения: docs/updating-existing-project.md и docs/release.md.
+
+## beta.13.13: Knowledge проверяется до переноса зависимости
+
+Проверка обновления учитывает существующие product-источники Knowledge,
+изменённые failed Step. Допустимы только content-only изменения в связанном
+scope, с действующим делегированным маршрутом context refresh. Изменение
+классификации или состава источников блокирует этот маршрут до transport.
+
+Регистрация dependency provenance сохраняет прежнюю карту. После ограниченного
+расширения test-support scope существующий атомарный context refresh использует
+явный grant; актуальные аудит и разрешение исполнения остаются обязательными.
+Обновление пакета само по себе не одобряет проектные источники. Проверка релиза
+включает четыре уже изменённых источника, перенос пакета и продолжение до checks
+и sealed review packet; фактическая готовность Signal проверяется отдельно.
+
+
+## beta.13.14: перенос проверяется в своей фазе
+
+Исторический перенос незавершённой работы проверяется только для planned Step,
+как и при исполнении. Для уже упавшего Step он не перекрывает актуальный маршрут
+восстановления scope. До обновления нужна проверка навигации на остановленном
+состоянии без мутаций, а после — свежие status и next. Атомарный context-refresh
+не выдаёт writer credential: продолжает прежний C1 исполнитель с действующими
+полномочиями.

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

@@ -15,7 +15,7 @@ authority сами: mutating permission определяется runtime state
 
 | Параметр beta.13 | Значение |
 |---|---|
-| npm package | `codex-workflow-v2@2.0.0-beta.13.12` |
+| npm package | `codex-workflow-v2@2.0.0-beta.13.14` |
 | protocolVersion | 2 |
 | stateSchemaVersion | 2 |
 | lifecycle epoch | 2 |
@@ -775,7 +775,7 @@ dirty update.
 observed-route matrix/compact-status/reviewer-runtime tests, legacy compatibility regressions,
 `npm run test:signal-t10-check-support-e2e`, `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 `v2.0.0-beta.13.12` tag binding и append-only
+`npm run docs:pdf:check` и `npm run release:check` с exact `v2.0.0-beta.13.14` tag binding и append-only
 real-agent lifecycle log. Candidate проверяется из clean source checkout; missing built module не должен
 превращаться в stack trace, а обязан быть детерминированно собран или диагностирован release gate.
 
@@ -804,3 +804,29 @@ Read-only Plan-integrity update preflight допускает beta.13.11+ source
 V4 literal-test evidence и более новым exact target. Running Step, любой lease, повреждённая
 история, изменённые dirty bytes или более широкий dependency transport остаются блокерами.
 Полный протокол и ограничения: docs/updating-existing-project.md и docs/release.md.
+
+<!-- pagebreak -->
+
+## beta.13.13: Knowledge проверяется до переноса зависимости
+
+Проверка обновления учитывает существующие product-источники Knowledge,
+изменённые failed Step. Допустимы только content-only изменения в связанном
+scope, с действующим делегированным маршрутом context refresh. Изменение
+классификации или состава источников блокирует этот маршрут до transport.
+
+Регистрация dependency provenance сохраняет прежнюю карту. После ограниченного
+расширения test-support scope существующий атомарный context refresh использует
+явный grant; актуальные аудит и разрешение исполнения остаются обязательными.
+Обновление пакета само по себе не одобряет проектные источники. Проверка релиза
+включает четыре уже изменённых источника, перенос пакета и продолжение до checks
+и sealed review packet; фактическая готовность Signal проверяется отдельно.
+
+
+## beta.13.14: перенос проверяется в своей фазе
+
+Исторический перенос незавершённой работы проверяется только для planned Step,
+как и при исполнении. Для уже упавшего Step он не перекрывает актуальный маршрут
+восстановления scope. До обновления нужна проверка навигации на остановленном
+состоянии без мутаций, а после — свежие status и next. Атомарный context-refresh
+не выдаёт writer credential: продолжает прежний C1 исполнитель с действующими
+полномочиями.

package/docs/release.md

@@ -1,5 +1,42 @@
 # Release Policy
 
+## beta.13.14: keep carryover navigation in its execution phase
+
+A retained root-cause carryover belongs to the start of a planned replacement
+Step. After that Step runs and fails, its historical carryover must not overwrite
+fresh failed-Step recovery navigation. Navigation must apply the same planned-Step
+condition as execution; all carryover checks remain enforced for planned Steps.
+
+The regression gate must cover an eligible support amendment with stale carryover
+history, content-only Knowledge drift and retained C1 identity. Follow advertised
+actions through scope recovery, delegated context refresh and the same Worker's
+run. Context refresh does not supply a writer credential. Before transport, inspect
+the patched navigation against the actual stopped state without mutating it;
+transport eligibility alone does not prove successor navigation.
+
+## beta.13.13: assess dirty Knowledge before dependency transport
+
+A failed Step can leave content changes in already approved Knowledge sources. The
+Plan-integrity update preflight must assess those changes before transport, using
+same failed-Step scope and current content bindings as post-transport recovery.
+Content-only drift requires an eligible existing delegated context-refresh route;
+source/classification changes or unavailable authority remain blocked.
+
+For this bounded route, dependency recovery registers only verified dependency
+provenance and preserves the approved Knowledge Map bytes. It reports the deferred
+context refresh. After the machine-derived support amendment, fresh navigation
+must lead to the existing atomic delegated refresh, independent audit and current
+execution authorization. Dependency registration never approves product Knowledge.
+The existing package-only derived refresh remains separately bounded.
+
+The release regression must include four existing approved product Knowledge
+sources changed by the failed Step, plus the subsequent package.json dependency
+change. It must reach the same Worker run, passing checks and sealed review packet,
+while proving unchanged product bytes, prior history and pre-refresh Map. Before
+tagging, a read-only assessment of the actual downstream source must confirm the
+same data shape and anticipated recovery readiness. A synthetic roundtrip alone
+is not proof of downstream readiness. All ordinary release gates remain required.
+
 ## beta.13.12: bounded test invocation recovery after a corrective Plan
 
 A required check can invoke a tracked test through an explicit Vitest argument list rather

package/docs/stable-release-defect-register.md

@@ -5,7 +5,7 @@ alpha.7 through beta.9 lines against the `signal_v4` Milestone 3 lifecycle. It i
 separate from implementation briefs: an item stays here until it is either
 verified fixed by a regression test or explicitly classified as downstream-only.
 
-Last reviewed: 2026-08-22.
+Last reviewed: 2026-09-08.
 
 ## Severity and status
 
@@ -14,6 +14,47 @@ Last reviewed: 2026-08-22.
 - **Closed-regression** means a patch exists; the stable release must retain its regression coverage.
 - **Downstream** means the finding belongs to `signal_v4`, not to the workflow package.
 
+## Active Milestone update findings
+
+### WF-M04-CARRYOVER-PHASE — historical carryover masks failed-Step recovery
+
+- Status: Implemented in beta.13.14 with regression coverage; downstream
+  continuation still requires post-install verification.
+- Severity: High
+- Evidence: a current failed Step can have eligible check-support recovery while
+  task navigation returns a stale root-cause carryover blocker. Global navigation
+  then advertises Knowledge refresh before the support amendment.
+- Cause: execution assesses carryover only for a planned Step, but navigation
+  also assessed it for a failed retry. The earlier combined fixture did not retain
+  this historical carryover, so its successful route did not cover the overlap.
+- Required fix: use the same phase condition in navigation and execution without
+  relaxing planned-Step carryover, dirty-byte, scope or writer checks.
+- Required evidence: exact stopped-state read-only navigation, regression for the
+  overlapping routes and same-Worker continuation through the advertised successor.
+
+### WF-M04-KNOWLEDGE-TRANSPORT — preflight omits post-update Knowledge readiness
+
+- Status: Implemented in beta.13.13; full-route regression is part of the release gate.
+  Downstream continuation still requires post-install verification.
+- Severity: High
+- Evidence: Signal M04 T02 revision 101 retained an approved Knowledge Map 295 while
+  four existing Knowledge entries had content changes from the failed Step. The
+  beta.13.12 source preflight checked the bounded failure and dependency transport,
+  but post-transport recovery required that only package.json differ in Knowledge.
+- Cause: the combined regression covered dependency drift and a later Knowledge
+  rebind, but did not include the already dirty product Knowledge entries at the
+  source boundary. Green package CI therefore did not establish Signal readiness.
+- Required fix: assess the actual Knowledge difference before transport using the
+  same bounded predicate as recovery. Dependency registration must not silently
+  approve product Knowledge. Preserve the stale map until the existing delegated
+  atomic context refresh becomes executable after the support-scope amendment.
+- Required evidence: complete failed-Step transport with four existing content-only
+  Knowledge changes, preserved bytes and history, delegated refresh, fresh audit
+  and execution authorization, same-Worker run, checks and sealed review packet.
+  Reject classification changes, missing authority and changed bound dirty bytes.
+- Deployment: beta.13.12 was published, but was not installed in Signal. Keep the
+  deployment hold until the replacement candidate passes this actual-state check.
+
 ## Post-beta.5 open findings
 
 ### WF-STABLE-030 — chat order and replacement progress are not observable

package/docs/updating-existing-project.md

@@ -22,6 +22,29 @@ state schema. Совпадение `stateSchemaVersion` до и после об
 нужна. Для alpha.6 при `stateSchemaVersion: 2` применяется не migration, а sidecar-only
 adoption posture.
 
+### beta.13.14: история переноса не перекрывает восстановление failed Step
+
+Проверка переноса незавершённой работы относится только к planned Step. После его
+запуска и отказа она не должна перекрывать актуальное восстановление scope. Перед
+обновлением проверяйте также навигацию исправленного runtime на остановленном
+состоянии без мутаций: одного transport preflight недостаточно. После обновления
+выполняйте только свежий объявленный маршрут. Атомарный refresh не выдаёт writer
+credential и не заменяет прежнего исполнителя.
+
+### beta.13.13: изменённые product-файлы Knowledge до обновления
+
+Перед transport проверяйте не только версии и failed-Step scope, но и Knowledge.
+Если существующие approved источники изменились в пределах текущего failed Step,
+preflight должен явно показать отложенный `task context-refresh` и подходящий
+действующий grant. Изменение состава или классификации источников не относится к
+этому маршруту. Не выполняйте source context-refresh заранее ради снятия отказа.
+
+После dependency-only transport recovery сохраняет старые байты Knowledge Map.
+Следуйте свежему `status` и `next`: сначала ограниченное расширение test-support
+scope, затем существующий атомарный refresh с указанным delegate и grant, аудит
+и разрешение исполнения. Само обновление пакета не одобряет product Knowledge.
+Если свежий preflight блокирует маршрут, не устанавливайте пакет в Signal.
+
 ### beta.13.12: явный запуск теста и текущий цикл corrective Plan
 
 Если обязательный check вызывает tracked migration-catalog test через поддерживаемый literal
@@ -41,7 +64,7 @@ Plan cycle, включая завершённое human corrective execution и
 или изменение смысла Plan запрещают перенос разрешения. После rebind следуйте свежему `next`.
 
 Для coherent beta.13 patch начиная с beta.13.11 опубликованный exact более новый runner
-может выполнить только read-only `update plan-integrity-preflight --id <TASK-ID>`.
+может выполнить только read-only `update plan-integrity-update-preflight --id <TASK-ID>`.
 Новый source profile требует заново доказанный eligible V4 literal-test conflict; fallback
 adopted/dirty-carryover modes сами по себе его не открывают. Require `eligible=true`, нет
 running Step, active/stale lease или pending operation, точные Plan/HEAD и dirty-byte bindings.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "codex-workflow-v2",
-  "version": "2.0.0-beta.13.12",
+  "version": "2.0.0-beta.13.14",
   "description": "Requirements-first Codex development workflow with local state and explicit Git ownership.",
   "repository": {
     "type": "git",

package/plugins/codex-workflow-gateway/skills/codex-workflow-gateway/SKILL.md

@@ -92,6 +92,28 @@ active writer token when the C1 contract requires it. The recovery records only
 `task run` merely to manufacture the second failure, and never invoke this recovery for a generic
 test failure, a writable manifest, or unconfined changes.
 
+For beta.13.13 and beta.13.14, the exact published target runner may perform only read-only
+`update plan-integrity-update-preflight --id <TASK-ID>` against a coherent beta.13
+source from beta.13.11 with a strictly newer target and a freshly proved V4 literal
+test invocation conflict. Require eligible=true, exact Task/Plan/HEAD and dirty
+content bindings, and no running Step, lease or pending operation before transport.
+Perform only the returned dependency-only Task/base transport, install the exact
+target locally, and follow its provenance preflight/recovery and fresh status/next.
+
+If preflight reports deferredKnowledgeRefresh, existing product Knowledge sources
+have bounded content-only drift. Require its eligible existing delegated approval
+option; registration preserves the old Knowledge Map and does not approve product
+sources. Follow fresh navigation through support-scope recovery and the existing
+atomic task context-refresh with the exact named delegate and grant. New sources,
+classification changes, changed dirty bytes or unavailable authority block this
+route. Do not refresh source context first to conceal the failed-Step boundary,
+edit state, or apply the extra test patch before Core grants its bounded scope.
+
+In beta.13.14, historical root-cause carryover is assessed only for a planned
+replacement Step, matching execution. It must not mask current failed-Step scope
+recovery. Preserve the original C1 claimant; delegated context refresh does not
+issue or renew a writer credential. Follow fresh navigation for credential recovery.
+
 When fresh `next` includes `preExecutionReplanOption.state=eligible`, an independent Plan auditor
 may stop a `ready` Task before its next Step because the current implementation Plan is obstructed.
 Use only `task preexecution-replan` with the exact advertised Task revision, Brief hash, Plan hash,