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

package/docs/autonomy-guardrails.md

@@ -24,6 +24,30 @@ and self-contradictory classifications. `split-required` and `stop-escalate` blo
 authorization. The sidecar, not informal Plan prose, is
 the source of truth for which Steps require strict review.
 
+## Audited remediation topology
+
+A current pre-execution `stop-escalate` may prove that the Plan is blocked by a missing upstream
+capability rather than by an implementation defect inside the Task. Beta.12.10 handles only this
+shape without a new human approval. Repository `next` first requires one ordinary Discovery whose
+facts, scope, constraints, and acceptance describe the exact missing capability. When ready, it
+advertises `milestone remediation-materialize` with the blocked Task/Milestone revisions, audit
+binding, and required predecessor frontier.
+
+The transition is safe by construction rather than by agent judgment. Its input cannot supply a
+replacement Milestone outcome, success signal, acceptance, checks, or arbitrary membership graph.
+Core appends one required Task, copies the blocked Task's exact direct predecessor frontier, adds
+the remediation Task as one new dependency of the blocked Task, and changes nothing else. It runs
+under an idle, clean observation boundary and records one hash-chained `audited-remediation`
+scope-change event. Reuse of the same Plan Risk Audit is rejected.
+
+The previous current Milestone execution authorization and exact blocking audit derive a new
+`corrective-derived` Milestone execution authorization. While that authority remains current,
+`next.correctiveDerivedApproval` may authorize and finally accept required Tasks using the exact
+derived actor, without a human or delegation grant. This does not bypass Plan Risk Audit,
+mechanical feasibility, C1 handoff, Step checks/commits, strict review, Task review, dependency
+runnability, clean-Git requirements, or final Milestone acceptance. Any later arbitrary scope
+change supersedes this authority.
+
 Guarded categories cover:
 
 - forward database or state migrations;
@@ -121,25 +145,28 @@ commit, or unverified recovery remains blocked.
 
 ### First-failure Plan-integrity recovery
 
-A mechanically impossible Plan check must not consume the second ordinary remediation attempt
-only to unlock corrective replan. After the first guarded `checks-failed` event, Core performs a
-read-only bounded assessment. `next` advertises `task plan-integrity-recover` only when all of the
-following are true:
-
-- the failed Step contains an exact root `npm run <script>` or `npm run-script <script>` check;
-- the named script is absent from the current root `package.json`;
-- `package.json` is outside the failed Step's `allowedWrites`;
+A mechanically impossible Plan check must not consume another attempt merely to unlock its known
+correction. After the first guarded `checks-failed` event, Core performs a read-only bounded
+assessment. Existing missing-script and required-selector conflicts route to corrective replan.
+beta.12.16 additionally recognizes one exact check-support conflict when all of the following hold:
+
+- the failed Step contains an exact root `npm run <script>` check and declares an absent migration
+  output path that is inside its original `allowedWrites`;
+- the root script resolves to a repository-local runner whose direct static import resolves to a
+  tracked checksum/catalog support module;
+- that support module has SHA-256 anchors and names an existing migration in the same file family,
+  but is outside the Step's `allowedWrites` and `forbiddenScope`;
 - exactly one ordinary `checks-failed` remediation event exists for the Step;
 - no corrective decision exists for its second-attempt binding;
 - every dirty file remains inside the Step's current `allowedWrites` and outside its
   `forbiddenScope`.
 
-The recovery appends one hash-bound `replan-required` decision for attempt ordinal 2. It preserves
-the worktree and does not edit the Plan. A claimed C1 Task must present its current writer token and
-then follow `task corrective-yield`; the replacement Plan still requires the existing independent
-validation, Risk Audit, Human confirmation, journaled execution, readback, and renewed execution
-authorization. Other check failures use the normal continuable remediation route; they do not
-receive the narrow Plan-integrity shortcut, but attempt count alone never stops them.
+The recovery appends one hash-bound `continue-fix` decision for attempt ordinal 2 and the exact
+support path. It preserves the worktree and Plan hash; it does not alter source or Git. The current
+C1 actor presents the existing writer token and fresh `task run` exposes the effective scope.
+`task step-complete` remains the only commit owner, all checks rerun, and strict review packets name
+the derived scope. Missing-script/selector conflicts still use `replan-required` plus the normal
+Human-confirmed corrective replan. Unproved or broader scope changes never receive this authority.
 
 ### Downstream-proof predecessor recovery
 

package/docs/delegated-approval.md

@@ -90,7 +90,12 @@ uses the grant and passes `--delegation-grant` to the Core transition.
 
 Ordinary semantic Milestone scope changes remain journaled, human-only lifecycle actions. A
 contract delegate may evolve only the membership graph inside the cryptographically bound
-semantic scope.
+semantic scope. The separate beta.12.11 `milestone remediation-materialize` route is not delegation
+and does not widen this allow-list: Core derives it only from a current blocking Plan Risk Audit and
+a previously authorized active Milestone. Its topology effect is fixed to one new required upstream
+Task plus one dependency edge, with all Milestone semantics preserved. The resulting
+`corrective-derived` Task approvals remain valid only while that exact derived Milestone authority
+is current; final Milestone acceptance is unaffected.
 
 ### Milestone delegate prompt
 

package/docs/development-flow.md

@@ -52,6 +52,9 @@ created by core, but the Step remains non-terminal and `next` routes to `task st
 until commit-bound strict review and reviewer attestation pass.
 Use the exact claimant or required actor from `next` as `--actor`; the independent reviewer
 runs inside Core and is not supplied as the CLI actor.
+The native reviewer uses one closed strict-output schema: every declared object property is
+required, while semantically optional finding fields are represented explicitly as nullable.
+Malformed output fails closed as an unverified review and cannot become remediation authority.
 When `next` includes `gitMutationPolicy`, obtain bounded permission for that exact Git-writing
 transition before the first call instead of probing and retrying after a `.git/index.lock`
 failure. For `task start`, this applies only when invoking `--workspace-owner local`.
@@ -76,8 +79,10 @@ Submission requires a clean, auditable Task history and records evidence for the
 Task head. `task review-launch` starts a separate read-only reviewer and atomically records its
 result. If C1 handoff is active, keep `--actor` equal to the current claimant or required actor
 from `next`; the reviewer identity remains internal to the compound route. A passing fresh review
-permits Result creation. Human final acceptance binds Brief, Plan, Result, evidence, and
-the accepted head. Base advancement forces synchronization, checks, review, and acceptance
+permits Result creation. Final Task acceptance binds Brief, Plan, Result, evidence, and
+the accepted head. It is human/delegated by default; a Task covered by the current audited-remediation
+Milestone authority uses the exact `correctiveDerivedApproval` actor returned by `next` without a
+new human gate. Base advancement forces synchronization, checks, review, and acceptance
 to be repeated before merge.
 
 The Technical Planner performs a risk review before authorization. Migration work includes a
@@ -91,13 +96,13 @@ executable. A reviewer routes to `replan` only with an exact Plan obstruction an
 change; ordinary findings default to `fix`. Remediation cannot change the Task objective,
 requirements, or acceptance.
 
-One bounded exception avoids a deliberately repeated failure for an older authorization without
-P01-A evidence or a contradiction that becomes observable only after execution starts. If the first guarded check failure
-is caused by an absent root npm script that the Step cannot add because `package.json` is outside
-its `allowedWrites`, fresh `next` advertises `task plan-integrity-recover`. The command records only
-the exact evidence-bound early `replan-required` posture; it never edits source, Plan, or Git.
-Continue through the advertised corrective yield and corrective replan rather than calling
-`task run` again.
+One bounded exception avoids deliberately repeating an already-proved Plan-integrity failure.
+Missing root scripts and missing mandatory selectors use the advertised evidence-bound
+`replan-required` path. For beta.12.16's exact direct check-support case, fresh `next` instead binds
+the imported SHA/catalog support module and records a machine-derived `continue-fix` scope. Continue
+with fresh `task run`; its envelope contains the original Step paths plus that one support path.
+Core still owns the commit and review packet. Do not add adjacent files or treat this as generic
+permission to change the Plan.
 
 If a later proof Step leaves changes both in its own scope and in files owned by a completed
 transitive predecessor, fresh `next` advertises `task downstream-proof-recover` instead of
@@ -127,7 +132,8 @@ daemon check. Re-run the exact probe/check once with sandbox escalation without
 Restart Docker Desktop only with separate authorization after the escalated call reaches Docker and
 proves the daemon unavailable.
 
-Execution authorization and final acceptance use the human path by default. If the user has
+Execution authorization and final acceptance use the human path by default. The only Core-derived
+exception is a current audited-remediation Milestone authority described below. If the user has
 previously issued an active delegation grant for the exact transition and scope, the named
 delegate may perform that transition with `--delegation-grant`. The event keeps the delegate
 as actor and separately records the principal and policy hash. Expired, revoked, wrong-scope,
@@ -169,6 +175,30 @@ journaled recovery across `state.json`, `plan.json`, and `scope-change-events.js
 Plan uses the same recovery machinery for its exact two-file `state.json` + `plan.json` commit and
 does not manufacture a scope-change event.
 
+There is one narrower route for a confirmed pre-execution topology defect. When the current Plan
+Risk Audit for an unstarted required Task records `stop-escalate`, repository `next` routes through
+a remediation Discovery and then `milestone remediation-materialize`. Core accepts no free-form
+Milestone Plan. It atomically:
+
+- consumes one ready Discovery and creates one new required remediation Task;
+- makes that Task inherit the blocked Task's exact direct predecessor frontier, all already merged;
+- adds exactly one dependency edge from the blocked Task to the remediation Task;
+- preserves Milestone outcome, success signal, acceptance, checks, prior memberships, discovery,
+  and base branch;
+- binds the scope-change sidecar to the exact rejected Task revision, Brief/Plan hashes, and
+  `stop-escalate` audit event/hash;
+- supersedes the old execution authorization and records a `corrective-derived` replacement bound
+  to the prior authorization and audit.
+
+No confirmation code or human approval is used for this route. It is idempotent per audit and
+rejects dirty checkout, active/stale leases, pending operations, a started Task, a non-current
+audit, a changed predecessor frontier, a non-merged predecessor, or any attempt to change Milestone
+semantics. Repository `next` prioritizes the remediation Task. After it merges, `next` returns the
+original Task to `task plan-set`; its replacement Plan and Risk Audit are evaluated normally.
+Current required Tasks may use the exact `correctiveDerivedApproval.actor` returned by `next` for
+Task execution authorization and final acceptance. Worker handoff, checks, commits, strict review,
+and final Milestone acceptance remain ordinary independent gates.
+
 A Milestone has no integration branch. Validation requires all required Tasks to be
 `merged`, checks the current clean base branch, and writes evidence plus Result. Final
 acceptance binds those artifacts to the unchanged base HEAD. Cancellation records a reason
@@ -221,11 +251,11 @@ wake a coordinator that has already ended its turn.
 
 | Participant | Responsible for | Cannot decide |
 | --- | --- | --- |
-| User / principal | map classifications, direct approvals, delegation policy and revocation, scope changes | implementation evidence |
+| User / principal | map classifications, direct approvals, delegation policy and revocation, arbitrary scope changes | implementation evidence |
 | Delegate | only transitions explicitly allowed by an active grant | grant creation, expansion, impersonating the principal |
 | Scope Lead | discovery, facts, unknowns, Task/Milestone recommendation | production edits |
 | Technical Planner | requirements mapping, Steps, checks, knowledge impact | authorization |
-| Delivery Coordinator | valid transitions, dispatch, evidence collection | scope expansion |
+| Delivery Coordinator | valid transitions, dispatch, evidence collection, exact audited-remediation route | arbitrary scope expansion |
 | Worker | one dispatched Step within allowed paths | adjacent Steps or Plan changes |
 | Independent Reviewer | isolated comparison of requirements, diff, checks, and evidence | fixes or acceptance |
 | Core CLI | state, revisions, hashes, locks, Git mechanics, diagnostics | semantic product choices |

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

@@ -1,10 +1,10 @@
 ---
-title: Codex Workflow V2: архитектура beta.12.8
+title: Codex Workflow V2: архитектура beta.13
 subtitle: Источники истины, lifecycle, роли, delegation, зависимости Tasks и границы доверия
 part: Часть 1 из 3 | Архитектура
 document_version: 2.0
-date: 29 августа 2026
-subject: Архитектура и границы Codex Workflow V2 beta.12.8
+date: 2 сентября 2026
+subject: Архитектура и границы Codex Workflow V2 beta.13
 ---
 
 # 1. Назначение и граница системы
@@ -18,14 +18,15 @@ Codex Workflow V2 - локальный state machine поверх Codex App, Git
 Система рассчитана на одного пользователя и одну машину. Она не предоставляет distributed locking,
 криптографическую идентификацию actor string или безопасную синхронизацию state между компьютерами.
 
-## 1.1. Что beta.12.8 гарантирует
+## 1.1. Что beta.13 гарантирует
 
 - exact project-local npm package и совместимый handshake до lifecycle действий;
 - Discovery до materialization Task или Milestone;
 - утверждённую Project Knowledge Map и Plan, связанный с её точной revision/hash;
 - mechanical-feasibility проверку поддерживаемых форм Plan до новой Task authorization;
 - явный Milestone dependency DAG и один общий runnable predicate для routing, handoff, claim и start;
-- один C1 writer lease, секретные one-time credentials и Core-owned Step commits;
+- один C1 writer lease, host-safe credential references и Core-owned Step commits: secret хранится
+  только в project-bound local vault с mode `0600`, а argv и CLI output содержат только reference;
 - lease-free Human final-acceptance gate: `task result-set` проверяет и освобождает active writer
   lease, а после acceptance merge получает новый credential только через fresh recovery route;
 - external-sealed Step/Task review в отдельных Codex tasks;
@@ -35,14 +36,44 @@ Codex Workflow V2 - локальный state machine поверх Codex App, Git
   worktree и HEAD сохраняются, stale completion authority снимается, та же Task возвращается в planning.
 - bounded compatibility recovery, если beta.12.6 после этого recovery ошибочно rebind-нула отвергнутый
   Plan: exact dirty bytes сохраняются до нового consolidated Step, а Knowledge refresh не отменяет `plan-set`.
-
-## 1.2. Что beta.12.8 не гарантирует
+- corrective Plan сохраняет authority исключённых completed Step commits, а beta.12.9 bounded recovery
+  исправляет уже stranded state только при passed strict review и прежнем hash-bound final acceptance.
+- pre-execution `stop-escalate`, доказавший отсутствующую upstream capability, может materialize ровно
+  один additive remediation Task без нового Human gate; Core сохраняет Milestone semantics и выводит
+  authority из текущей Milestone authorization и exact audit evidence.
+- исторический check-support decision проверяется против собственного Plan hash, а новый Plan может
+  продолжить только после явного принятия каждого support path в `allowedWrites` и `expectedOutputs`;
+  implicit scope carry-over и Human approval для этого exact machine-proved случая отсутствуют.
+- после dependency registration и Knowledge rebind один общий fail-closed assessor управляет и
+  навигацией, и `task run`: переносится только точный dirty set с тем же content hash, registered HEAD,
+  непрерывной Plan/rebind chain и явным scope текущей Step; drift переводит route в `doctor`.
+- failed check фиксируется одной project transaction: Core связывает checks и dirty-worktree hashes,
+  сохраняет неизменные product bytes, переводит Task в `needs_fix` и освобождает writer lease;
+- failed strict review так же атомарно связывает remediation, Task pause и lease release; при повторной
+  authoritative reviewer cause та же transaction добавляет C1 yield до рекламы root-cause replan;
+- rolling cause-bound refinement без числового лимита: новая причина остаётся в той же Task, а повтор
+  mechanically normalized cause либо stable reviewer `causeId` с `planConflict=true` требует replan
+  первопричины;
+- evidence-bound transitive component-owner augmentation при неизменной semantic boundary и
+  PRA-derived production-edge obligation для multi-Step `runtime-composition` consumer с transitive
+  owner и исполняемым consumer check; простой one-Step runtime исключён;
+- компактный `status` по умолчанию, подготовительный reviewer-runtime preflight вне sealed checkout и
+  явный review mode `ordinary|security` без неявного security scan;
+- versioned matrix для route classes, реально наблюдавшихся в Signal: unique priority, predicate,
+  CLI/executor binding и successor witness; unsupported действия перечисляются явно.
+
+## 1.2. Что beta.13 не гарантирует
 
 - правильность продуктовой идеи или автоматически выбранного provider Task;
 - semantic sufficiency Plan, если точные факты нельзя доказать поддерживаемым analyzer;
 - параллельную работу нескольких writers в одном checkout;
 - автоматический structural replacement после `split-required`;
 - восстановление вручную повреждённого state без штатной recovery transition.
+- product truth только из structural production-edge contract: он доказывает форму owner/consumer/check,
+  но не корректность требований, поведения продукта или Step-validity authority P02;
+- глобально полный каталог state machine: observed-route matrix ограничена route classes из Signal и
+  хранит отдельный unsupported inventory;
+- generic import product-first/shadow history либо синтетическое принятие Step, Task или Milestone.
 
 # 2. Шесть уровней и источники истины
 
@@ -68,7 +99,8 @@ Gateway разрешает только `node_modules/codex-workflow-v2/dist/src
 AGENTS.md
 -> project-local gateway
 -> gateway handshake
--> status
+-> status              # bounded compact projection
+-> status --full       # только когда действительно нужна полная historical projection
 -> next [--task <exact TASK-ID>]
 -> только рекламируемая transition
 ```
@@ -86,7 +118,7 @@ AGENTS.md
 | Discovery state | Local Workflow state | Discovery transitions |
 | Brief, Plan, Result, evidence | Local Workflow state с versioned artifacts | Core transitions |
 | Task/Milestone state и sidecars | Local Workflow state | Core, CAS и schema validation |
-| Writer locks и private credentials | Local Workflow state | Lock manager и C1 transitions |
+| Writer locks и private credentials | Local Workflow state; credential vault files mode `0600` | Lock manager и C1 transitions |
 | Transaction journals | Local Workflow state | Composite transition recovery |
 | codebase graph binding | Local Workflow state | Derived evidence, не product authority |
 
@@ -112,8 +144,8 @@ Discovery -> materialize -> Plan -> Plan Risk Audit
 -> final acceptance -> merge
 ```
 
-`task result-set` является последним execution lease-bound переходом. Он требует рекламируемый
-writer token, освобождает lease до `awaiting_final_acceptance` и тем самым допускает неограниченную
+`task result-set` является последним execution lease-bound переходом. Он требует рекламируемую
+writer credential reference, освобождает lease до `awaiting_final_acceptance` и тем самым допускает неограниченную
 по времени Human pause без stale-lock блокировки repository. После acceptance прежний token не
 переиспользуется: fresh `next` выдаёт bounded `task writer-credential-replace` для merge.
 
@@ -192,12 +224,15 @@ repository `status -> next`. Завершение дочернего чата с
 
 # 7. C1 handoff, lease и Git ownership
 
-`task handoff-prepare` возвращает одноразовый `credentialHandoff`. Он используется ровно один раз
-целевым actor в `task claim`. Claim проверяет Task/Milestone dependency binding и только затем выдаёт
-`writerLeaseReceipt`. `task run` обновляет активный lease и возвращает Step context.
+`task handoff-prepare` возвращает `claimCredentialReference`, связанную с project, Task, target actor,
+action и expiry. CLI разрешает `task claim` только с `--claim-credential-ref`, после успешного claim
+удаляет одноразовый reference и возвращает `writerCredentialReference`. Lease-bound действия используют
+только `--writer-credential-ref`. Legacy `--claim-token` и `--writer-token` отклоняются до transition.
 
-Bearer credentials нельзя печатать, сохранять в файлы, передавать Reviewer или включать в evidence.
-Если token утерян, используется только рекламируемая credential recovery transition.
+Underlying bearer secret хранится только в regular local-vault file с mode `0600`; он не появляется в
+argv, stdout, stderr, errors, packets или evidence. Reference не является переносимой authority: Core
+проверяет project/entity/action/actor/expiry и integrity hash. Если reference утрачен или lease истёк,
+используется только рекламируемая `task writer-credential-replace` для exact claimant.
 
 Worker меняет только `allowedWrites` и оставляет изменения uncommitted. Coordinator вызывает точный
 `task step-complete`; Core запускает checks, проверяет scope/history, создаёт один commit и evidence.
@@ -224,10 +259,59 @@ execution-authorized Plan и покрытое тем же Milestone Autonomy Con
 3. Reviewer возвращает закрытый schema-valid result без mutations.
 4. Core записывает его только если packet и seals не изменились.
 
-Failed review не ограничивает число попыток. Попытки 1-2 имеют mode `ordinary`, последующие —
-`corrective`; все исполнимы и требуют нового strict review. `route=fix` продолжает Task, а
-`route=replan` допустим только с точным Plan conflict и меняет лишь implementation Steps, не objective,
-requirements или acceptance. Explicit `split-required` и `stop-escalate` остаются stop/redirect decisions.
+Native reviewer использует API-compatible strict Structured Output schema: каждый объявленный ключ object
+обязателен, а семантически необязательные значения finding передаются как nullable. Malformed сочетание
+`route`, `causeId` и `planConflict` не превращается в remediation authority и даёт unverified review.
+
+Каждый packet создаётся только с явным `--review-mode ordinary|security`. Mode `ordinary` не запускает
+и не подменяет проверку неявным security scan; mode `security` используется только когда security focus
+запрошен явно. До выдачи packet Core формирует read-only reviewer-runtime preflight: exact Node и package
+provenance, exact declared/locked/repository-local installed Workflow version, hash-verified runtime
+build manifest и writable temporary cache за пределами sealed checkout. Перед каждым packet preflight
+заново с диска разрешает фактический recursive dependency graph по parent-aware, nested-first правилам
+Node и сверяет exact package manifests и SHA-256 runtime-файлов с build attestation. Поэтому уже
+прогретый module cache не может скрыть удалённую, подменённую, конфликтующую либо symlink-redirected
+dependency. Только после этой проверки preflight синхронно загружает через Node exact installed gateway,
+reviewer и workflow graph. Общий gateway descriptor, который использует и CLI, подтверждает exact
+package/protocol/schema; отдельный child process, произвольный timeout, cached trust decision и process
+output не используются. Missing/stale build или dependency closure и failed runtime contract дают
+`prepared=false`. Preflight не устанавливает dependencies и не изменяет checkout.
+
+Новая beta.13 history не ограничивает число исправлений счётчиком. Каждый failure получает cause
+bindings. Новая или неавторитетная причина продолжает ту же Task и проходит новый strict review.
+Повтор одной authoritative причины после заявленного fix требует root-cause replan: для checks это
+mechanically normalized fingerprint; для внешнего review — тот же stable `causeId` только вместе с
+`planConflict=true`. Сходство текста и номер попытки authority не создают. `route=replan` меняет лишь
+implementation Steps, не objective, requirements или acceptance. Legacy history без cause bindings
+сохраняет прежний compatibility circuit; explicit `split-required` и `stop-escalate` остаются
+stop/redirect decisions.
+
+Если Step check не пройден, beta.13 одной transaction записывает remediation event, Task `needs_fix` с
+hash-bound `failurePause` и удаление lease. Git HEAD и dirty bytes не меняются. Readback сверяет revision,
+status, remediation hash, отсутствие lease, HEAD, dirty paths и их aggregate hash. Fresh `next` сначала
+выдаёт credential replacement при отсутствии usable lease, затем route той же Task — fix или root-cause
+replan. Ручной commit, state edit или потеря worktree не являются продолжением.
+
+Failed strict review использует тот же continuation principle: review sidecars остаются append-only, а
+одна project transaction записывает remediation и Task pause и удаляет exact proven lease. Если новый
+event повторяет authoritative reviewer cause, transaction одновременно добавляет C1 yield. Поэтому
+`task plan-set` рекламируется только при отсутствии writer lease и C1 claim; crash после durable review
+sidecars восстанавливает один pause без duplicate remediation.
+
+Для доказанного failed check Core может найти transitive component owner только по bounded static import
+graph repository-local runner и только внутри уже затронутой component boundary. Same-Task augmentation
+разрешена при неизменных objective, requirements, acceptance и security boundary hashes. Для multi-Step
+Task независимая PRA-классификация consumer как `runtime-composition` требует
+`requiresProductionEdges=true` и edge к существующему transitive owner Step с exact `checkRef`, который
+действительно выполняет consumer. Пропуск planner-owned flag или edge блокирует admission; простой
+one-Step runtime не требует искусственного predecessor. Это структурная admission-проверка, а не
+доказательство product truth и не реализация Step-validity authority P02.
+
+Versioned observed-route matrix v2 связывает все 13 Signal-observed route classes с unique priority и
+одним exact production-transition witness либо real terminal observation на класс. Это class-level
+доказательство: action-level metadata отдельно различает `executable-witnessed`, `unwitnessed` и
+`unsupported`. Действия без CLI authority находятся в explicit unsupported inventory. Boundary
+`signal-observed-route-class-witnesses` не заявляет полноту всех actions или будущих transition families.
 
 Beta.12.1 добавила одну append-only compatibility оговорку: beta.11 attempt-four
 `stop-escalate` после exact `ordinary, ordinary, corrective` и prior attempt-3 `continue-fix` можно
@@ -283,6 +367,85 @@ Task в `needs_fix`; stale Knowledge можно reconciliate/approve, но fresh
 всем dirty set. `task run` принимает carryover лишь при exact HEAD/path/hash match, после чего Step
 проходит обычные checks, Core-owned commit и strict review.
 
+beta.12.9 закрывает исторический provenance gap corrective replan. Новые replan transitions автоматически
+переносят evidence commits исключённых Steps в `invalidatedStepCommits`. Для уже существующего gap Core
+требует один неожиданный commit, complete passed strict-review chain, verified reviewer attestation и
+совпадающий прежний final acceptance. Если пакет уже зарегистрирован, recovery меняет только Task state.
+Если exact beta.12.9 dependency commit ещё находится в HEAD, отдельный update compatibility route
+регистрирует dependency и historical authority одной revision. Оба пути сохраняют dirty bytes текущего
+Step, не переписывают Git и завершаются fresh обычным `step-complete` flow.
+
+beta.12.11 закрывает иной класс тупика до начала выполнения. Если current Plan Risk Audit required Task
+записал `stop-escalate`, потому что нужной upstream capability нет в scope этой Task, Core рекламирует
+audited remediation. Coordinator сначала формализует capability обычным Discovery. Затем одна Project
+transaction append-only создаёт required remediation Task на exact merged predecessor frontier исходной
+Task, добавляет dependency blocked -> remediation и сохраняет все Milestone semantic fields и старые
+memberships. Scope-change event связан с Task revision, Brief/Plan и audit hashes; повторное применение
+того же audit невозможно. Текущая Milestone execution authorization и audit выводят
+`corrective-derived` authority для Task authorize/accept без нового Human gate. Remediation Task проходит
+обычный Plan, audit, C1, commits и reviews. После её merge исходная Task обязана заменить отвергнутый Plan,
+пройти fresh audit и продолжить Step. Final Milestone acceptance не выводится автоматически.
+
+Dependency-only update не должен создавать промежуточный Human gate. Если stale Knowledge отличается
+только content hash `package.json`, все package surfaces уже равны runtime version, checkout clean, а
+каждый Git commit, менявший `package.json` после approved hash, затрагивает ровно manifest/lock и только
+Workflow pin, Core переносит reconcile и `corrective-derived` approval внутрь той же atomic remediation
+transaction. Изменение любого другого Knowledge source, classification, gap или conflict fail-closed
+остаётся в обычном явном approval flow.
+
+beta.12.12 закрывает доказанный runtime Plan-integrity gap. Mechanical feasibility теперь статически
+распознаёт repository-local `node <runner> affected`, когда исходник runner явно требует selector,
+и блокирует authorization для `npm run <script>` без `--base`, `--head` или `--files`. Для уже начатой
+Task recovery связывает не только первую, а всю последовательную checks-failed history, точный Plan,
+manifest/runner hashes, HEAD и dirty allowlist. Exact beta.12.11 update bridge сохраняет product bytes,
+регистрирует только dependency commit и атомарно обновляет Knowledge, если изменился только Workflow pin.
+Результат — один `replan-required` decision и обычный corrective replan с исполняемой check command;
+повтор старой команды, ручной commit product files и state editing не допускаются.
+
+beta.12.15 устраняет следующий доказанный разрыв этого пути. Corrective-replan credential раздельно
+связывает исходную Knowledge revision/hash Task и целевую active Knowledge revision/hash replacement
+Plan. Различие разрешено только при exact Plan-integrity dependency recovery: текущий system commit,
+package version, failed Step, Plan, полная remediation history, dirty file set и их bytes должны
+совпасть. Один или несколько последовательных dependency-only updates после corrective yield могут
+перенести ту же compatibility на новый HEAD: Core идёт назад до последнего зарегистрированного system
+commit, проверяет каждый промежуточный commit как exact manifest/lock-only Workflow pin update и
+атомарно регистрирует всю цепочку. Любой product diff, разрыв parent chain или изменённый worktree
+fail-closed. Completed corrective-yield journal
+остаётся историческим prefix-доказательством и не блокирует последующие append-only handoff events.
+Completed corrective-replan journal также остаётся читаемым после эволюции binding manifest, но только
+если его завершённый manifest/runtime/catalog tuple есть в append-only historical registry. Pending и
+неизвестные identity по-прежнему fail-closed, поэтому compatibility не выдаёт новую authority.
+
+beta.12.16 закрывает следующий доказанный разрыв: migration Step мог владеть новой SQL migration,
+manifest и bootstrap, но не владеть TypeScript-модулем, который direct import из обязательного check
+использовал как независимую SHA/catalog authority. Новый `wf2.check-support-anchor@1` блокирует такой
+Plan до execution authorization. Для уже выполняемой Task после первого `checks-failed` Core связывает
+Plan/Step/HEAD, полный dirty set, runner/support hashes, direct import, отсутствующий declared output и
+существующие anchors. Если доказательство однозначно, append-only decision `continue-fix` выдаёт только
+один exact support path как effective Step scope. Human replan не нужен, Plan hash и product bytes не
+меняются, а Worker envelope, Core commit и sealed review packet явно используют и раскрывают derived
+scope. Indirect import, dynamic shell, forbidden path, unrelated dirty file или отсутствие SHA anchors
+fail-closed и не расширяют authority.
+
+beta.12.17 закрывает transport-разрыв перед этим recovery: внешний runner больше не ожидает один
+зашитый source release. Он выводит exact beta.12 source из declared dependency, требует равенства
+locked, installed, current Task branch и active Milestone base и допускает только patch от .11 до
+версии ниже runner. Dirty scope, отсутствие lease/transaction и dependency-only Git transport
+остаются обязательными; product bytes и Workflow state вручную не изменяются.
+
+beta.12.18 закрывает следующий post-rebind разрыв. Исторический check-support event остаётся валиден
+по Plan hash, при котором был создан, даже если новый Plan теперь прямо владеет derived support path.
+External preflight допускает продолжение только при одном таком event, неизменных dirty bytes,
+отсутствии активного Step/lease/transaction и полном explicit scope adoption в planned Step. После
+dependency-only transport Core заново связывает Knowledge и authorization; старый event не создаёт
+скрытой authority и не модифицируется задним числом.
+
+beta.12.19 закрывает оставшийся execution-boundary разрыв. Успешные transport, rebind, PRA и
+authorization больше не заканчиваются рекламируемым, но невыполнимым `task run`: `next` и `runStep`
+используют одну проверку registered recovery commit, exact dirty paths/content hash, historical
+decision, Plan/rebind ancestry и current Step ownership. Совпадение разрешает только принятие уже
+доказанных байтов; любое отличие блокирует запуск и не создаёт lease или commit.
+
 Docker socket `EPERM` в sandbox не является доказательством сломанного daemon. Gateway один раз
 повторяет exact health probe или Plan check с sandbox escalation без расходования remediation attempt.
 Restart Docker Desktop требует отдельного разрешения и допустим только после escalated daemon failure.
@@ -292,10 +455,16 @@ Restart Docker Desktop требует отдельного разрешения
 # 10. Operational checklist
 
 - exact package version установлен, bundled gateway соответствует release и переустановлен;
-- handshake подтверждает protocol 2, state schema 2 и beta.12.8 capabilities;
+- handshake подтверждает `packageVersion=2.0.0-beta.13`, protocol 2, state schema 2 и beta.13
+  capabilities;
+- routine observation начинается с компактного `status`; `status --full` запрашивается только для
+  расследования, которому действительно нужна полная historical projection;
 - каждый mutation следует свежему `status -> next` и exact option contract;
 - Docker permission failure сначала классифицируется как sandbox boundary, а не как infra retry;
 - semantic unknowns и human gates не маскируются delegation;
-- Task chats создаёт coordinator, credentials остаются только в памяти;
+- Task chats создаёт coordinator; CLI получает только local-vault references и никогда не bearer secret;
+- Reviewer packet прошёл runtime preflight и явно связан с `ordinary` либо `security` mode;
+- production-edge contract трактуется как structural admission, а не как product acceptance;
+- advertised route имеет Signal-observed matrix binding либо явно помечен unsupported;
 - dependencies, progress и review posture берутся из Core projections;
 - local state не редактируется вручную; release и package update выполняются только после safe preflight и обязательных checks.