codex-workflow-v2 2.0.0-beta.13.8 → 2.0.0-beta.14

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

@@ -1,778 +0,0 @@
----
-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: 2 сентября 2026
-subject: Технический контракт Codex Workflow V2 beta.13
----
-
-# 1. Runtime contract
-
-Workflow V2 предоставляет локальные revisioned transitions. Публичный CLI возвращает JSON с `ok=true`
-и `value` либо структурированную ошибку с `code`, `message` и `details`. Chat, PDF и gateway не создают
-authority сами: mutating permission определяется runtime state и свежим `next`.
-
-| Параметр beta.13 | Значение |
-|---|---|
-| npm package | `codex-workflow-v2@2.0.0-beta.13.5` |
-| protocolVersion | 2 |
-| stateSchemaVersion | 2 |
-| lifecycle epoch | 2 |
-| transition definition format | 4 |
-| execution topology | Один пользователь, одна машина, local/external workspace contract |
-
-Schema 2 не означает, что все optional legacy fields дают execution authority. Например отсутствие
-Milestone dependency arrays разрешено decoder только для чтения historical state и блокирует новое
-execution до explicit Plan amendment.
-
-# 2. Package resolution и handshake
-
-Gateway выполняет:
-
-1. `git rev-parse --show-toplevel`;
-2. чтение exact `codex-workflow-v2` version из `devDependencies`;
-3. resolution `node_modules/codex-workflow-v2/package.json`;
-4. equality check declared/installed versions;
-5. вызов только package-local `dist/src/cli.js --repo <root>`;
-6. `gateway handshake` до lifecycle действий.
-
-Ключевые beta.13 capabilities:
-
-| Группа | Capabilities |
-|---|---|
-| Knowledge и graph | `project-memory-v1`, `graph-binding-v1`, `task-context-refresh-v1` |
-| 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, `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 или соседней
-source checkout запрещён.
-
-# 3. State, artifacts и sidecars
-
-Project identity выводится из Git common directory. Сущности содержат `schemaVersion`, `revision`, ID,
-projectId и timestamps. Mutations используют compare-and-swap по `expectedRevision`.
-
-```text
-$CODEX_HOME/workflow-state/v2/projects/<project-id>/
-  project.json
-  knowledge-map.json
-  discoveries/<DISC-ID>/state.json
-  tasks/<TASK-ID>/
-    brief.md, plan.md, result.md, evidence.json, state.json
-    .versions/
-    authorization/review/remediation/corrective/stop-override/handoff sidecars
-  milestones/<MS-ID>/
-    plan.json, result.md, evidence.json, state.json
-    .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
-```
-
-Artifacts публикуются через staged version, CAS state write, active publication и hash readback.
-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
-
-Map хранит metadata долговременных repository files: normalized path, category, scope, authority,
-contentHash, gaps, conflicts и approval. Содержимое документов остаётся в Git.
-
-| Transition | Mutation |
-|---|---|
-| `project-memory scan` | Нет, read-only filesystem classification |
-| `show/status` | Нет, current projection |
-| `reconcile` | Новая map revision из current files |
-| `approve` | mapHash и human/delegated approval evidence |
-| `task knowledge-rebind` | Только Plan map binding, supersede authorization |
-| `task context-refresh` | Atomic reconcile/approve/rebind/reauthorize при exact eligibility |
-
-Top-level `next.action=task context-refresh` является exact composite route. Standalone reconcile перед
-ним запрещён. Milestone Autonomy Contract может покрывать content-only drift и exact Plan-bounded
-supporting-source addition, но не standalone Project Memory approval.
-
-PDF-файлы в `docs/pdf` являются human-facing binary artifacts. Reviewable Markdown sources находятся в
-`docs/pdf/sources`; runtime Project Knowledge authority остаётся в обычных project files и scanner rules.
-
-# 5. Discovery и materialization
-
-Discovery фиксирует kind, goal/outcome, success signal, scope, out-of-scope, acceptance, constraints,
-unknowns и readiness. Blocking unknown запрещает materialization.
-
-Milestone materialization создаёт initial planning posture. Пока Plan отсутствует, `next` возвращает
-`milestone initial-assembly` и exact linked Task assembly commands. Coordinator materializes intended
-linked Tasks, затем публикует один complete Plan. Reverse membership integrity запрещает закрыть Plan с
-unclassified live linked Task.
-
-# 6. Milestone Plan и dependency DAG
-
-```text
-MilestonePlanInput
-  outcome
-  successSignal
-  acceptance[]
-  checks[]
-  memberships[]
-    taskId
-    disposition
-    reason
-    dependsOnTaskIds[]
-```
-
-Normalization trim-ит строки и сортирует каждый dependency array по exact Task ID. Duplicate edges
-отклоняются до normalization и hashing. Graph validation запрещает:
-
-- missing dependency array на новом Plan;
-- dangling, external и missing Task targets;
-- duplicate membership и duplicate edge;
-- self edge и cycle;
-- required consumer с waived/cancelled provider;
-- dependency inference из ordinal, title, filename или chat order.
-
-Initial `milestone plan-set` атомарно связывает state.json и plan.json. Scope change использует
-journaled transaction для membership state, plan artifact, revision/hash и authorization supersession.
-
-## 6.1. Runnable predicate
-
-```text
-runnable =
-  milestone.status == active
-  AND membership.disposition == required
-  AND every dependsOnTaskId is a required member with Task status merged
-```
-
-Predicate вызывается из repository `next`, scoped `next --task`, progress projection, handoff preparation,
-claim до lock acquisition и Task start. Scheduler выбирает из полного runnable set и не изменяет graph.
-
-Legacy nonterminal Milestone без arrays имеет `dependencyState=legacy-unknown` и не может handoff, claim
-или start unstarted required Tasks до explicit Plan amendment.
-
-# 7. Milestone autonomy и delegated approval
-
-Generic delegation allow-list закрыт:
-
-```text
-project_memory.approve
-task.execution_authorize
-task.final_accept
-milestone.execution_authorize
-milestone.final_accept
-```
-
-Issuance: `delegation prepare` возвращает exact policyHash и DGA-code; только отдельный later human turn
-разрешает `delegation grant`. Event сохраняет principal и delegate раздельно.
-
-Milestone autonomy используется после complete initial Plan:
-
-```text
-milestone autonomy-prepare
--> human confirms exact MAC-code in later turn
--> milestone autonomy-grant
--> bounded approvals/context refresh/membership-only evolve
-```
-
-Contract связывает principal, delegate, Milestone, expiry, semantic scope hash и policy hash. Outcome,
-success signal, acceptance, checks, Discovery и base branch неизменны. `autonomy-evolve` допускает только
-membership changes и supersedes execution authorization.
-
-Grant никогда не является C1 writer credential и не наследуется handoff, claim, run, step-complete,
-reviews, sync-base или merge.
-
-# 8. Task Plan authority и P01-A
-
-Task Plan обязан копировать exact requirement/acceptance identifiers из `next.taskPlanContract`. Step
-содержит objective, requirements, dependencies, expectedOutputs, allowedWrites, forbiddenScope и checks.
-Plan binding включает Brief/Plan hashes и approved Knowledge Map revision/hash.
-
-Plan Risk Audit до execution фиксирует guarded Step categories и proof obligations. Fresh execution
-authorization запускает три versioned analyzers:
-
-| Analyzer | Поддерживаемая точная проверка |
-|---|---|
-| `wf2.root-npm-script@1` | Exact `npm run <script>` в root package.json либо responsible manifest writer |
-| `wf2.exact-output-path@1` | Exact `path:<repository-relative POSIX path>` существует или writable |
-| `wf2.exact-predecessor-path@1` | Exact transitive predecessor declares и may write consumer path |
-
-Findings имеют `pass`, `blocked` или `unverified`. Любой blocked finding запрещает authorization без
-event write. Clear evidence записывается внутрь AuthorizationEvent вместе с analyzer set/input hashes,
-Brief/Plan hashes, evaluated HEAD, source branch/kind и evidence hash.
-
-Freshness повторно проверяется перед claim/start/run и recovery. Pre-start evidence связывается с exact
-base branch HEAD; corrective evidence связывается с current Task workspace и baseCommit. Git ancestry,
-branch, analyzer inputs и evidence hash должны оставаться current.
-
-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.
-
-Beta.13.1 вводит prospective, Plan-bound compatibility boundary. Новые ordinary PRA и atomic corrective
-replan связывают `structuralProductionEdgeAuthority=required-v1` с hash chain. Историческая markerless PRA
-не получает новую семантику задним числом, если текущая Task также не содержит production-edge fields.
-Content-only knowledge rebind сохраняет exact native fields и rendered edge, а для такой legacy Task
-сохраняет markerless posture. Это устраняет необходимость state migration; repository-local state остаётся
-доверенной границей и не защищает от полного привилегированного переписывания всей chain.
-
-# 9. C1 handoff и writer lease
-
-## 9.1. Dependency binding
-
-Milestone-linked handoff event включает:
-
-```text
-dependencyBinding
-  milestoneRevision
-  membershipRevision
-  milestonePlanHash
-```
-
-Standalone Task использует null. Handoff preparation проверяет runnable predicate и current authorization.
-Claim сверяет stored binding с current Milestone authority до lock acquisition. Dependency-blocked claim
-не получает и не сохраняет lease.
-
-## 9.2. Credential sequence
-
-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
-
-| Boundary | Проверки Core |
-|---|---|
-| 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 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 |
-
-Local start повторно сравнивает authorized base внутри Git branch creation, закрывая TOCTOU между
-freshness check и mutation. External workspace обязан быть non-base branch от exact recorded commit.
-
-# 11. Task state и review
-
-Основной путь:
-
-```text
-planning -> awaiting_execution_authorization -> ready
--> C1 claimed -> in_progress -> validating
--> awaiting_final_acceptance -> merging -> merged
-```
-
-Return states включают `needs_fix` и `blocked`. `cancelled` terminal. Rebind/replan supersedes old
-authorization; sync-base invalidates review/Result/acceptance bindings.
-
-В Codex App recommended strict mode external-sealed:
-
-- `task step-review-packet` -> separate Step Reviewer -> `task step-review-record`;
-- `task review-packet` -> separate Final Reviewer -> `task review-sealed-record`;
-- 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
-
-Для новых beta.13 events Guarded Step имеет cause-bound rolling refinement без числового лимита:
-
-| Boundary | Разрешение |
-|---|---|
-| Новый 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, включая первый провал | Штатный corrective yield/replan; повторный run запрещён, меняются только 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. 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:
-
-- check соответствует bounded root npm-script grammar;
-- script отсутствует;
-- package.json вне current Step allowedWrites;
-- dirty files полностью внутри Step scope;
-- current Task/Plan/remediation/Step/manifest/HEAD bindings точны.
-
-Recovery записывает schema-valid `replan-required` decision с synthetic ordinal 2 и canonical conflict
-hash. Он не запускает checks повторно, не меняет worktree, Plan или allowedWrites. Затем C1 owner следует
-fresh `next` через corrective yield и обычный Human-confirmed replan.
-
-P01-A предотвращает поддерживаемые contradictions до fresh authorization. beta.11 path остаётся для
-pre-P01 authorizations и late/unsupported exact recovery cases.
-
-# 14.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.
-
-# 14.2. Downstream-proof predecessor recovery
-
-Если active Step изменяет только собственный proof artifact, обычный `task step-complete` сохраняется.
-Если dirty set дополнительно содержит файлы completed transitive predecessor, Core проверяет branch,
-зарегистрированную Git history, dependency closure и ownership каждого такого файла. При точном совпадении
-fresh `next` рекламирует lease-bound `task downstream-proof-recover` вместо заведомо невозможного commit.
-
-Одна project transaction сохраняет worktree и HEAD, append-only записывает
-`downstream-proof-invalidations.jsonl`, переносит invalidated completion commits в `invalidatedStepCommits`, очищает
-их Step evidence, блокирует proof Step, supersede execution authorization, yield C1 и удаляет lease.
-Следующий action — обычный `task plan-set` той же Task. Replacement Plan обязан заново охватить unfinished
-remainder и пройти fresh Plan Risk Audit и execution authorization. Unrelated/non-predecessor file,
-strict-review evidence, unregistered commit, branch mismatch или damaged sidecar возвращают `doctor`.
-
-# 14.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
-до Task/Discovery/Milestone/Knowledge/lock writes.
-
-`next` при terminal split возвращает:
-
-```text
-action: doctor
-blockedAction: task replacement-materialize
-replacementGate.structuralReplacementAvailable: false
-replacementGate.transaction: disabled
-```
-
-Нельзя rebind, refresh, replan, authorize, resume, cancel historical Task, consume replacement Discovery
-или manually rewire graph. P04-B/P05 должен определить arbitrary cardinality, scope redistribution,
-dependency rewiring, completed-work adoption и crash-safe transaction.
-
-# 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.
-
-Coordinator создаёт отдельный standalone Codex task just-in-time. TaskContextPacket не содержит parent
-transcript или secrets. Project registry выдаёт monotonic #NNN и exact title; readback/fallback обязательны.
-
-Coordinator ждёт one routed Task, читает closed CoordinatorReport, затем выполняет repository
-`status -> next` и новый progress projection. Recoverable non-human continuation возвращается в тот же
-Task chat. Следующий Task dispatch разрешён только после terminal merged confirmation.
-
-# 17. codebase-memory graph
-
-`codebase-memory-mcp` используется только после `graph refresh-request`. Gateway сверяет project/root,
-index status и request fingerprint, получает derived evidence и вызывает `graph bind` с current revision.
-
-Graph является навигационным индексом, не Project Knowledge authority. При provider unavailable Core
-записывает explicit `graph fallback`; агент продолжает Git search, прямое чтение файлов и tests, если
-другой independent gate не блокирует работу.
-
-# 18. Error codes и recovery discipline
-
-| Code | Значение | Реакция |
-|---|---|---|
-| `INVALID_ARGUMENT` | Closed input contract нарушен | Исправить exact syntax/field, не менять semantics |
-| `NOT_FOUND` | Entity/artifact/lock отсутствует | Проверить project и ID через fresh observations |
-| `STATE_CONFLICT` | expected revision устарела | Новый status/show/next, без blind retry |
-| `STATE_CORRUPT` | Schema/hash/chain несовместимы | Stop и owning recovery/diagnostics |
-| `LOCKED` | Active writer lease существует | Не создавать второго writer |
-| `LOCK_TOKEN_INVALID` | Bearer не владеет lease | Credential recovery для exact owner |
-| `TRANSITION_BLOCKED` | Lifecycle/authority gate не выполнен | Следовать action/details из fresh next |
-| `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.
-
-# 19. Public command surface beta.13
-
-| Область | Actions |
-|---|---|
-| 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`, `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 --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 действительно неизвестен.
-
-<!-- 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, 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.5` 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`.