codex-workflow-v2 2.0.0-beta.12.8 → 2.0.0-beta.13

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

@@ -1,10 +1,10 @@
 ---
-title: Codex Workflow V2: технический справочник beta.12.8
+title: Codex Workflow V2: технический справочник beta.13
 subtitle: Protocol 2, state schema 2, transactions, credentials, dependency authority, review и recovery
 part: Часть 3 из 3 | Technical reference
 document_version: 2.0
-date: 29 августа 2026
-subject: Технический контракт Codex Workflow V2 beta.12.8
+date: 2 сентября 2026
+subject: Технический контракт Codex Workflow V2 beta.13
 ---
 
 # 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.8 | Значение |
+| Параметр beta.13 | Значение |
 |---|---|
-| npm package | `codex-workflow-v2@2.0.0-beta.12.8` |
+| npm package | `codex-workflow-v2@2.0.0-beta.13` |
 | protocolVersion | 2 |
 | stateSchemaVersion | 2 |
 | lifecycle epoch | 2 |
@@ -37,16 +37,18 @@ Gateway выполняет:
 5. вызов только package-local `dist/src/cli.js --repo <root>`;
 6. `gateway handshake` до lifecycle действий.
 
-Ключевые beta.12.8 capabilities:
+Ключевые beta.13 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/bundle, derived Worker actor, credential replacement, Human-gate lease release |
-| Reviews | strict reviewer, Step strict review, continuable remediation, evidence-bound fix/replan routing |
-| 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 |
+| C1 | handoff sidecar/bundle, derived Worker actor, `host-safe-credential-reference-v1`, credential replacement, Human-gate lease release |
+| Reviews | strict reviewer, Step strict review, `reviewer-runtime-preflight-v1`, `explicit-review-mode-v1`, evidence-bound fix/replan routing |
+| Recovery | `cause-bound-rolling-refinement-v1`, `failed-step-continuation-transaction-v1`, Task-local dependency provenance, historical Step provenance, plan integrity, `historical-check-support-scope-adoption-v1`, `historical-check-support-dirty-carryover-v1`, downstream-proof predecessor invalidation, remediation mode, legacy stop override, append-only stop-rebind chain, corrective yield/replan journals |
+| Planning/integration | `structural-production-edge-contract-v1`, transitive component-owner same-Task refinement |
+| Operations/navigation | `compact-status-v1`, `observed-route-matrix-v2`, `app-owned-operational-preflight-v1` |
 | Replacement | `structural-task-replacement-disabled-v1` |
 
 Handshake incompatibility прекращает работу. Запуск global package, `latest`, mutable range или соседней
@@ -71,6 +73,7 @@ $CODEX_HOME/workflow-state/v2/projects/<project-id>/
     .versions/ и scope/autonomy sidecars
   delegations/<DGR-ID>/state.json
   locks/<TASK-ID>.json
+  credentials/<project-id>/CREF-<uuid>.json  # private regular file, mode 0600
   graph-bindings/
   composite transaction journals
 ```
@@ -79,6 +82,8 @@ Artifacts публикуются через staged version, CAS state write, act
 Composite mutations добавляют journal с exact targets, before/after hashes и recovery posture.
 
 Local state никогда не копируется в product repository и не редактируется вручную.
+Credential vault является host-local transport: underlying bearer secret не сериализуется в CLI argv,
+output, error, packet или evidence и не передаётся между projects по reference.
 
 # 4. Project Knowledge Map
 
@@ -211,6 +216,18 @@ branch, analyzer inputs и evidence hash должны оставаться curre
 Legacy approved AuthorizationEvent без mechanical payload остаётся readable для compatibility, но не
 создаёт новую P01 evidence claim.
 
+Beta.13 добавляет два узких structural contracts. После failed check bounded static import traversal
+repository-local runner может доказать transitive component-owner path вне `allowedWrites`; same-Task
+scope refinement допустим только внутри той же component boundary и при неизменных hashes objective,
+requirements, acceptance и security boundary. Отдельно независимая PRA-классификация consumer как
+`runtime-composition` в multi-Step Task требует `requiresProductionEdges=true` и непустой
+`productionEdges[]`, где каждая запись содержит transitive `ownerStepId`, `consumerStepId` и exact
+`checkRef` из checks consumer Step. Planner omission, missing owner/consumer, self-edge, duplicate или
+неисполняемый check блокируют admission. Простой one-Step runtime исключён.
+
+Эти механизмы проверяют структурную форму и не утверждают product truth. Они не заменяют Plan Risk Audit,
+Milestone authorization, фактический check result или не реализованную Step-validity authority P02.
+
 # 9. C1 handoff и writer lease
 
 ## 9.1. Dependency binding
@@ -230,16 +247,23 @@ Claim сверяет stored binding с current Milestone authority до lock acq
 
 ## 9.2. Credential sequence
 
-1. `task handoff-prepare` возвращает first-field `credentialHandoff` и safe bundle.
-2. Plaintext claim token существует только в response и working memory; state хранит hash.
-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. `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.
+1. `task handoff-prepare` сохраняет hash в handoff state, кладёт secret в project-local vault и возвращает
+   публичную `claimCredentialReference` с `transport=local-vault-v1`.
+2. Exact target actor вызывает `task claim --claim-credential-ref <CREF-...>`; reference одноразовый и
+   после успешного claim удаляется.
+3. Claim проверяет project/entity/action/actor/expiry, создаёт lease и возвращает
+   `writerCredentialReference`; сам token отсутствует в output.
+4. `task run` и остальные lease-bound actions принимают только `--writer-credential-ref`; `next` явно
+   сообщает `secretInArgv=false`, `secretInOutput=false` и renewal policy.
+5. `task result-set` consumes текущую authority и освобождает lease до Human final-acceptance gate.
+6. После acceptance fresh `writer-credential-replace` создаёт merge authority; terminal transitions
+   освобождают её.
+
+Vault record — regular file mode `0600`, содержит integrity hash и binding к project, entity, actor,
+allowed actions и expiry. Legacy `--claim-token`/`--writer-token` отклоняются до lifecycle transition.
+Ни secret, ни его plaintext receipt нельзя логировать, сохранять в chat packet или включать в evidence;
+argv, stdout, stderr и structured errors несут только reference/metadata. `handoff-show` возвращает safe
+persisted binding. Потеря reference разрешается только fresh advertised replacement action.
 
 # 10. Git и Step evidence
 
@@ -248,7 +272,7 @@ Credential нельзя логировать, сохранять в chat packet
 | Task start | Clean checkout, fresh base/auth/dependency binding, correct workspace policy |
 | Step run | Planned/failed eligible Step, dependencies, branch, C1 actor, lease |
 | Worker return | Изменения uncommitted и только в allowedWrites |
-| Step complete | History, scope, checks, review gate, exact writer token |
+| Step complete | History, scope, checks, review gate, exact writer credential reference |
 | Commit | Один Core-owned commit с Task/Step metadata |
 | Submit/Result | Exact evidence/review; Result освобождает lease до Human gate |
 | Merge | Fresh review/acceptance, base conditions, accepted HEAD |
@@ -276,31 +300,110 @@ authorization; sync-base invalidates review/Result/acceptance bindings.
 - packetHash и repositorySealHash обязаны совпасть до записи;
 - Reviewer thread ID и lifecycle actor фиксируются, bearer token не передаётся Reviewer;
 - seal drift уничтожает result и требует fresh packet.
+- packet command требует explicit `--review-mode ordinary|security`; ordinary запрещает подменять
+  проверку неявным security scan, а security применяется только по явному запросу;
+- read-only `codex-workflow-reviewer-runtime-preflight-v1` связывает Node executable/version, exact
+  Workflow runtime module hash, manifest/lock hashes, dependency readiness и writable OS-temporary cache
+  за пределами sealed checkout; при каждом вызове он заново разрешает с диска recursive runtime dependency
+  graph по parent-aware, nested-first Node lookup и сверяет exact package manifests и SHA-256 всех
+  attested `.js`/`.cjs`/`.mjs`/`.json`/`.node` файлов. Лишь затем Node `createRequire` загружает exact
+  repository-local gateway/reviewer/workflow graph и сверяет общий с CLI descriptor
+  package/protocol/schema. Subprocess, timeout/retry, cached trust decision и install не используются;
+  checkout не меняется, а missing/tampered/conflicting/symlinked dependency, load или contract failure
+  закрывает выдачу packet.
 
 `review-launch` сохраняется в public CLI для совместимых environments, но не применяется как nested
 local reviewer внутри Codex App sandbox.
 
 # 12. Remediation и corrective decisions
 
-Guarded Step имеет проверяемый, но не ограниченный счётчиком remediation circuit:
+Для новых beta.13 events Guarded Step имеет cause-bound rolling refinement без числового лимита:
 
 | Boundary | Разрешение |
 |---|---|
-| Failed cycles 1-2 | `ordinary`; та же Task и новый strict review |
-| Failed cycles 3+ | `corrective`; остаются исполнимыми и требуют нового strict review |
-| Finding `route=fix` или route отсутствует | Продолжить ту же Task/Step |
+| Новый distinct mechanical/reviewer cause | Продолжить ту же Task/Step и выполнить новый strict review |
+| Повтор mechanically normalized cause после fix | Root-cause replan той же Task обязателен |
+| Повтор stable reviewer `causeId` с `planConflict=true` | Root-cause replan той же Task обязателен |
+| Похожий prose, номер попытки или reviewer cause без Plan conflict | Не создаёт replan authority |
+| Finding `route=fix` или route отсутствует | Продолжить ту же Task/Step независимо от attempt count |
 | Finding `route=replan` с exact Plan conflict | `task plan-set`; меняются только implementation Steps |
 | `route=replan` без exact conflict | Невалидный review result, state не меняется |
 | Explicit `split-required` | Structural replacement stop |
 | 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, но не требуется после второй
-ошибки. Replan из review обязан назвать `planClause`, `whyFixCannotFit` и `minimalPlanChange`; objective,
-requirements и acceptance Task при remediation неизменяемы. Новый Plan проходит обычные audit и authorization.
-
-# 13. beta.11 Plan-integrity recovery
+Attempt count является диагностикой, а не lifecycle authority. Authoritative mechanical cause выводится
+из normalized failure fingerprint; external review cause требует schema-valid stable `causeId`, а replan
+authority дополнительно требует `planConflict=true`. Explicit corrective-decision journal сохраняется для
+намеренного stop/split и совместимого legacy recovery. Legacy events без `causeBindings` читаются по старому
+compatibility circuit и не получают новую authority задним числом. Replan из review обязан назвать
+`planClause`, `whyFixCannotFit` и `minimalPlanChange`; objective, requirements и acceptance Task при
+remediation неизменяемы. Новый Plan проходит обычные audit и authorization.
+
+Failed strict review финализируется project transaction: remediation event, Task `needs_fix` и удаление
+exact proven writer lease образуют один readback-bound target set. Повтор authoritative reviewer cause в
+той же transaction добавляет C1 yield. `next` и `task plan-set` одинаково требуют отсутствия writer lease
+и C1 claim и запрещают ослаблять `forbiddenScope`, guarded PRA classification или production-edge boundary.
+Если review sidecars уже записаны, а transaction была прервана, повторная запись review завершает один
+pause без duplicate remediation.
+
+Failed check записывается project transaction `failed-step-continuation`: remediation sidecar, Task
+`needs_fix` с `failurePause` и удаление lease входят в один journaled target set. Validation повторно
+сверяет Task revision/status, remediation hash, отсутствие lease, Git HEAD, dirty paths и
+`dirtyWorktreeHash`. Product bytes не коммитятся и не сбрасываются. Fresh `next` при отсутствующем либо
+stale lease сначала рекламирует `task writer-credential-replace`, затем возвращает ту же Task к fix или
+root-cause replan. Это общий continuation contract, а не новый numbered compatibility patch.
+
+# 13. beta.13 coherent continuation и operational contracts
+
+## 13.1. Compact status
+
+`status` по умолчанию возвращает bounded projection `codex-workflow-compact-status-v1`: entity counts,
+active Task/Step, exact advertised action/blockedAction, observation reason codes, route metadata и
+stable `routeFingerprint`. Массивы всех Discoveries, Tasks, Milestones и delegations в неё не входят.
+Полная historical projection доступна только через explicit `status --full`. Обе формы строятся из одного
+observation snapshot; compact form не вызывает public full-status path.
+
+## 13.2. Observed Signal route matrix
+
+`observed-route-matrix-v2` покрывает 13 route classes, фактически наблюдавшихся в Signal. Каждый класс
+имеет unique descending priority и ровно один representative witness: fresh production `next`, real
+Workflow executor и fresh reachable successor либо real non-executable terminal observation. Это
+class-level claim, а не доказательство каждой action. `next` добавляет matrix version/fingerprint,
+route/action fingerprint, action support `executable-witnessed`/`unwitnessed`/`unsupported` и
+`coverageBoundary=signal-observed-route-class-witnesses`.
+
+Manual instruction и terminal marker не маскируются под CLI: они перечислены в explicit unsupported
+inventory, не имеют CLI/executor binding и останавливают automation либо требуют чтения structured
+options. Known executable action без собственного exact E2E остаётся `unwitnessed`, даже если её route
+class доказан другим representative transition. Матрица не доказывает полноту всех CLI actions или
+future transition families; отсутствие route в наблюдённой boundary — unsupported gap, а не разрешение
+импровизировать command.
+
+## 13.3. Reviewer runtime и review mode
+
+Перед external-sealed packet Core выполняет non-mutating runtime preflight. Node major должен быть не
+ниже 22; exact declared, locked и repository-local installed Workflow versions должны совпасть.
+Runtime build manifest и SHA-256 каждого перечисленного Workflow runtime-файла проверяются, включая CLI
+и reviewer entrypoints. Manifest также фиксирует exact package manifest и recursive dependency closure.
+Каждый preflight заново с диска выполняет parent-aware, nested-first разрешение фактических dependencies,
+сверяет их версии, пути и hashes всех attested `.js`/`.cjs`/`.mjs`/`.json`/`.node` файлов и отклоняет
+path/symlink drift. Затем in-process gateway descriptor подтверждает package/protocol/schema. В packet не
+попадают raw output или argv. Missing install, missing/stale build либо dependency closure и failed
+load/contract дают actionable blocker. Writable cache создаётся с mode `0700` в OS temporary directory
+вне sealed checkout, а dependency install не запускается. Blockers делают preflight `prepared=false`.
+
+Packet/record contract связан с explicit `--review-mode ordinary|security`. `ordinary` означает проверку
+корректности/acceptance без implicit security scan; `security` означает явно запрошенный security focus.
+Mode входит в packet hash, поэтому записать результат другого mode невозможно.
+
+Native launch передаёт API-compatible strict Structured Output schema. Во всех object schemas `required`
+точно совпадает с `properties`, а optional semantic values кодируются nullable. Parser повторно проверяет
+closed shape, допустимые `route`/`causeId`, обязательный `planConflict` для replan и finding cardinality;
+malformed ответ становится unverified review без remediation authority.
+
+# 14. beta.11 Plan-integrity recovery
 
 `task plan-integrity-recover` применим только после одного first ordinary `checks-failed` remediation:
 
@@ -317,7 +420,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.7 compatibility transitions
+# 14.1. beta.12.7 compatibility transitions
 
 `update dependency-provenance-recover` больше не требует полного равенства Task manifest/lock с base.
 Base остаётся version authority, а parent/HEAD candidate сравниваются без единственных Workflow
@@ -367,7 +470,7 @@ 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
+# 14.2. Downstream-proof predecessor recovery
 
 Если active Step изменяет только собственный proof artifact, обычный `task step-complete` сохраняется.
 Если dirty set дополнительно содержит файлы completed transitive predecessor, Core проверяет branch,
@@ -381,7 +484,185 @@ fresh `next` рекламирует lease-bound `task downstream-proof-recover`
 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
+# 14.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.
+
+# 14.4. beta.12.11 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.
+
+Если перед этим exact package update сделал Knowledge Map stale, navigation может вернуть
+`auditedRemediation.dependencyKnowledgeRefresh`. Eligibility требует: ранее active approved map;
+inspected status `stale`; единственный изменённый Knowledge path `package.json`; clean checkout;
+runtime/declared/locked/installed/HEAD/Milestone-base version равны; approved package content найден в
+Git ancestry; каждый последующий commit, трогавший manifest, меняет ровно `package.json` и
+`package-lock.json`, причём после удаления `codex-workflow-v2` обе JSON-структуры совпадают с parent.
+Materialization тогда дополнительно пишет active Knowledge Map с revision +2 и approval mode
+`corrective-derived` в той же Project transaction. Это не разрешает автоматически принимать README,
+docs, commands, classification, authority, gaps или conflicts.
+
+# 14.5. beta.12.12 selector-contract Plan-integrity recovery
+
+Analyzer `wf2.root-npm-script-arguments@1` читает root `package.json` и только repository-local runner
+из evaluated Git HEAD. Узкий доказуемый contract — script `node <safe-relative-path> affected`, исходник
+которого использует `process.argv.slice(3)`, содержит selector literals `--base`, `--head`, `--files` и
+явный `Affected mode requires` guard. Для такого script check без forwarded selector получает
+`ROOT_NPM_SCRIPT_REQUIRED_SELECTOR_MISSING` и блокирует execution authorization. Произвольный shell или
+нераспознанный runner остаётся `unverified`, а не объявляется ошибочным по догадке.
+
+Legacy recovery принимает последовательную append-only history из одного или нескольких
+`checks-failed` events при отсутствии corrective decision. Evidence v2 связывает каждый event ID/hash/
+ordinal, Task revision, Plan/Step definition, manifest и runner hashes, Git HEAD, conflicts и SHA-256
+dirty worktree. `task plan-integrity-recover` записывает один `replan-required` decision с
+`triggeringAttemptCount = failures + 1` и полным `coveredEventIds`.
+
+Если exact beta.12.12 package ещё не установлен, `update plan-integrity-update-preflight` проверяет
+source beta.12.11, отсутствие leases/transactions и exact dirty allowlist. После dependency-only
+transport `update plan-integrity-dependency-preflight/recover` регистрирует единственный HEAD как system
+commit. Когда Knowledge drift объясняется только Workflow pin, та же Project transaction выполняет
+corrective-derived reconcile/approval; прочий drift fail-closed. Product bytes не коммитятся и не
+переносятся. Fresh route продолжается через credential replacement, `plan-integrity-recover`, yield и
+corrective replan с selector-bearing check.
+
+# 14.6. beta.12.15 source/target Knowledge binding
+
+Corrective-replan receipt теперь включает две разные пары. `knowledgeRevision/knowledgeHash` связывает
+исходное состояние Task; `targetKnowledgeRevision/targetKnowledgeHash` связывает active Project
+Knowledge Map и replacement Plan. Executor проверяет source под Task lock, candidate Plan — по target,
+а Risk Audit и materialized Task получают target binding.
+
+Source и target могут различаться только при exact `dependencyProvenanceRecoveries.planIntegrity` для
+текущего HEAD и package version. Record обязан совпасть по Plan, failed Step, всей remediation event ID
+последовательности, dirty paths и повторно вычисленному dirty SHA-256. После corrective yield Core может
+восстановить один или несколько ещё не зарегистрированных package updates: он просматривает trailing
+Git suffix от HEAD до последнего зарегистрированного system commit, проверяет каждый элемент как
+непрерывный manifest/lock-only exact Workflow pin update и одной Core mutation добавляет каждый commit
+и его фактическую package version в provenance history. Любое изменение product bytes, разрыв ancestry,
+Step status, Plan, decision или C1 posture отключает route.
+
+Completed corrective-yield transaction проверяет неизменный canonical yield event как prefix текущей
+append-only handoff history. Это сохраняет tamper detection, но разрешает новый handoff после успешного
+corrective replan. E2E release gate проходит prepare/confirm/execute, authorization, handoff/claim,
+selector-bearing Step completion commit и strict Step review.
+
+Completed corrective-replan transaction сохраняет authority identity своего release. Текущий manifest
+обязателен для любой pending/in-flight transaction; completed journal может использовать только exact
+tuple из append-only registry: manifest SHA-256, runtime fingerprint и catalog hash. Неизвестный tuple,
+legacy tuple у незавершённой transaction, повреждённый intent/phase chain или owned target остаётся
+`journal-invalid`. Это позволяет читать terminal beta.12.12 history после расширения binding manifest,
+не превращая legacy identity в новую execution authority.
+
+# 14.7. beta.12.16 check-support scope authority
+
+Analyzer `wf2.check-support-anchor@1` рассматривает только root `npm run` check, repository-local
+`node`/`tsx` runner и его direct relative static import. Блокировка допустима, когда Step создаёт
+отсутствующий exact migration output, импортированный support-модуль содержит SHA-256 и approved/
+expected/manifest/catalog anchors той же `.sql` family, но Step не владеет support path. Это machine
+evidence, а не вывод из текста ошибки.
+
+Для pre-execution Plan finding `CHECK_SUPPORT_ANCHOR_OUTSIDE_ALLOWED_WRITES` блокирует authorization.
+Для уже выполняемой guarded Step первый `checks-failed` может рекламировать тот же
+`task plan-integrity-recover`, но evidence v3 записывает `continue-fix`, а не `replan-required`.
+`scopeExtensions` равно отсортированному exact набору support paths из conflict evidence; dirty files
+до recovery обязаны оставаться в original allowedWrites, support path не может пересекать
+forbiddenScope. Plan hash не меняется. Effective scope используется retry precondition, Worker envelope,
+Core commit, downstream-proof assessment, corrective-replan worktree guard и strict review packet.
+Любое более широкое изменение остаётся в обычном corrective replan с Human gate.
+
+# 14.8. beta.12.17 coherent Plan-integrity update source
+
+Read-only `update plan-integrity-update-preflight` выводит `sourceVersion` из declared dependency, а
+не из release-specific constant. Он принимает только exact `2.0.0-beta.12.N`, где `N >= 11` и
+`N` меньше patch ordinal внешнего runner. Locked, installed, current Task branch и active Milestone
+base обязаны совпадать с declared source. Любая missing/divergent surface блокирует transport.
+
+Version consensus не заменяет остальные guards: должна существовать ровно одна eligible failed-Step
+Plan-integrity assessment, observation обязана быть coherent, lease/transaction/Core operation
+отсутствуют, а dirty bytes совпадают с доказанным Step scope. После dependency-only Git transport
+repository-local runner регистрирует commit только через advertised
+`update plan-integrity-dependency-recover`. Source consensus не усыновляет product history, не меняет
+Plan/remediation evidence и не даёт generic update authority другим beta lines.
+
+# 14.9. beta.12.18 historical check-support scope adoption
+
+Validation v3 связывает check-support event с `event.planHash`. Если поздний Knowledge rebind и новый
+Plan явно добавили derived support path, исторический event проверяется по собственным immutable
+fields, hashes и conflict evidence, а не против scope нового Plan. Только event текущего Plan может
+расширять effective Step scope; поэтому старое evidence не переносит authority неявно.
+
+Read-only `update plan-integrity-update-preflight` может вернуть
+`compatibilityMode=post-rebind-scope-adoption`, только если Task ожидает execution authorization, ни
+одна Step не выполняется, существует ровно один исторический v3 `continue-fix`, его dirty paths и
+content hash не изменились, а current planned Step напрямую владеет всеми `scopeExtensions` и
+объявляет их outputs. Обычные coherent-version, lease, transaction, Core-operation и dependency-only
+Git guards сохраняются. После регистрации update Knowledge rebind, PRA и authorization выполняются
+только по fresh routes; Human approval для exact machine-proved scope не нужен.
+
+# 14.10. beta.12.19 historical check-support dirty carryover
+
+После регистрации dependency recovery current Plan может быть ещё раз mechanically rebound и
+авторизован, тогда как product bytes остаются uncommitted. Запуск разрешён только при едином
+assessment для `next` и `runStep`: latest compatible dependency record должен быть зарегистрирован на
+точной history boundary; его Plan должен совпадать с current Plan или вести к нему через непрерывную
+Knowledge-rebind chain; planned Step должна владеть каждым dirty path и каждым `scopeExtension`; full
+path set и `hashDirtyWorktree` должны совпадать; один validated historical check-support decision
+должен связывать те же conflict/remediation/scope fields.
+
+При полном совпадении `next` публикует
+`planIntegrityDirtyCarryover.state=validated`, а `task run` принимает только эти байты под current
+Step envelope. При любом расхождении `next` возвращает `doctor` с `blockedAction=task run`; lease,
+Step mutation и commit не создаются. Для обновления уже авторизованной beta.12.18 Task внешний
+beta.12.19 runner выдаёт `compatibilityMode=post-rebind-dirty-carryover`, после чего сохраняются
+обычный dependency-only transport, repository-local registration, Knowledge rebind, PRA,
+authorization, checks, Core commit и sealed review. Human approval не добавляется.
+
+# 15. P04-A structural replacement boundary
 
 Command shape `task replacement-materialize` retained только для compatibility diagnostics. Любая попытка
 возвращает `TRANSITION_BLOCKED`, diagnostic `STRUCTURAL_REPLACEMENT_REQUIRED` и incident dependency edges
@@ -400,7 +681,7 @@ replacementGate.transaction: disabled
 или manually rewire graph. P04-B/P05 должен определить arbitrary cardinality, scope redistribution,
 dependency rewiring, completed-work adoption и crash-safe transaction.
 
-# 15. Milestone progress и Codex task supervision
+# 16. Milestone progress и Codex task supervision
 
 `milestone progress` является read-only projection: ordinals, membership disposition/reason, dependency
 state, predecessors/statuses, runnable/block reason, replacement links и Step statuses.
@@ -412,7 +693,7 @@ Coordinator ждёт one routed Task, читает closed CoordinatorReport, з
 `status -> next` и новый progress projection. Recoverable non-human continuation возвращается в тот же
 Task chat. Следующий Task dispatch разрешён только после terminal merged confirmation.
 
-# 16. codebase-memory graph
+# 17. codebase-memory graph
 
 `codebase-memory-mcp` используется только после `graph refresh-request`. Gateway сверяет project/root,
 index status и request fingerprint, получает derived evidence и вызывает `graph bind` с current revision.
@@ -421,7 +702,7 @@ Graph является навигационным индексом, не Project
 записывает explicit `graph fallback`; агент продолжает Git search, прямое чтение файлов и tests, если
 другой independent gate не блокирует работу.
 
-# 17. Error codes и recovery discipline
+# 18. Error codes и recovery discipline
 
 | Code | Значение | Реакция |
 |---|---|---|
@@ -443,35 +724,48 @@ Docker socket/CLI `EPERM`, `operation not permitted` или `permission denied`
 После каждой successful mutation обязателен sequential `status`, затем fresh `next`. Failed status/next
 не разрешает direct mutation. Syntax help read-only и не заменяет navigation authority.
 
-# 18. Public command surface beta.12.8
+# 19. Public command surface beta.13
 
 | Область | Actions |
 |---|---|
-| System | `doctor`, `status`, `next`, `gateway handshake`, `locks` |
-| Update | `preflight`, `rescue-preflight`, dependency provenance, downstream-proof dependency bridge, downstream-proof replan update/dependency bridge |
+| System | `doctor`, compact `status`, explicit `status --full`, `next`, `gateway handshake`, `locks` |
+| Update | `preflight`, `rescue-preflight`, dependency provenance, historical-Step dependency bridge, downstream-proof bridges, Plan-integrity 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, downstream-proof-recover/replan-recover, remediation-mode, stop-override prepare/apply, yield и corrective-replan actions |
+| C1 | `handoff[-prepare/-replace/-show]`, `claim --claim-credential-ref`, `writer-credential-replace`, lease-bound actions с `--writer-credential-ref`, `handback[-create]` |
+| Review | review/step-review packet с `--review-mode ordinary|security`, launch, sealed record и record 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 используется только когда
 `exactOptionContractAvailable=false` или syntax действительно неизвестен.
 
-# 19. Release и package update gates
+<!-- pagebreak -->
+
+# 20. Release и package update gates
 
 Перед package update project-local `update preflight` должен вернуть `safe=true`: clean checkout, нет
 running Step и active/stale writer lease. Исключения — документированный alpha.7 rescue, beta.12.6
-active-downstream-proof bridge и beta.12.7 exact stranded-replan bridge; все они fail-closed и не дают
-общего разрешения dirty update.
-
-Перед beta.12.8 tag обязательны `npm ci`, `npm run validate`, `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.
+active-downstream-proof bridge, beta.12.7 exact stranded-replan bridge, beta.12.9 historical-Step
+dependency bridge и beta.12.15 Plan-integrity bridge; все они fail-closed и не дают общего разрешения
+dirty update.
+
+Перед beta.13 tag обязательны `npm ci`, полный `npm run validate`, Signal-shaped recovery E2E до
+последующей ordinary Step/Task dispatch, credential confinement, rolling-cause и production-edge suites,
+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` tag binding и append-only
+real-agent lifecycle log. Candidate проверяется из clean source checkout; missing built module не должен
+превращаться в stack trace, а обязан быть детерминированно собран или диагностирован release gate.
+
+Real-agent gate повторяет production boundary Codex App: Task agent удерживает live writer authority,
+отдельный App reviewer читает external-sealed packet, после чего Task agent записывает sealed result.
+Nested native `codex exec` внутри другого Codex agent не является release evidence. Packet generation
+логируется как read-only observation, record — как exact `next`-authorized mutation с последующими
+`status` и `next`.

package/docs/problem-briefs/01-pre-implementation-integrity.md

@@ -1,12 +1,12 @@
 ---
 brief_id: WF2-P01
 problem: "Mechanically infeasible Task Plans can reach execution authorization"
-status: approved
+status: implemented
 owner: null
 created_at: 2026-08-23
 approved_at: 2026-08-24
-implemented_at: null
-revision: 5
+implemented_at: 2026-08-24
+revision: 6
 ---
 
 # Brief — P01-A Bounded Mechanical Plan Feasibility
@@ -30,10 +30,10 @@ Confirmed baseline behavior at the pinned pre-candidate revision:
   `split-required`, and `stop-escalate`. It has no `implementation-defect`, `plan-defect`,
   `brief-decomposition-defect`, or `reslice-plan` decision.
 
-The P01-A candidate on `codex/p04-task-dependencies` now adds the bounded evaluator and event
-binding described below. These baseline gaps are retained here as problem evidence, not as claims
-about the candidate implementation. The brief remains `approved` until the combined P04-A/P01-A
-candidate is merged/installed and implementation acceptance is recorded.
+P01-A was implemented with P04-A, released in exact `v2.0.0-beta.11` at commit `44e6734`, and
+retained through the beta.12 line. These baseline gaps are retained here as historical problem
+evidence, not as claims about the current implementation. P01-B remains deferred and is not made
+implemented by this status change.
 
 The Signal pre-M3 replay additionally showed that a narrow check can pass while a project-reference
 build or architecture check fails. That supports earlier verification, but does not make semantic
@@ -476,3 +476,7 @@ P01-B remains `NO-GO` until those questions have concrete contracts and fresh re
   base commit again inside local branch creation before Git mutation. The new negative witness and
   the complete affected P01/P04/Task lifecycle selection passed 13/13 and 84/84 respectively;
   the exact final candidate then passed the full 319/319 suite.
+- 2026-08-24 — Revision 6 records implementation acceptance. The combined P04-A/P01-A candidate
+  shipped as exact `v2.0.0-beta.11` at commit `44e6734` after the declared focused and full-suite
+  gates passed, and was retained in the beta.12 line. Status moved from `approved` to `implemented`.
+  This closes P01-A only; P01-B remains deferred.