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

package/docs/lifecycle-capture.md

@@ -0,0 +1,34 @@
+# Repository lifecycle capture
+
+Use `node scripts/capture-lifecycle.mjs <actual CLI arguments>` with
+`WORKFLOW_CAPTURE_CONFIG=/absolute/capture-config.json`. This repository-only tool
+records actual CLI calls; it does not authorize commands, inject credentials,
+or decide what to execute next. Follow Core navigation and validate the resulting
+append-only JSONL with `scripts/validate-lifecycle-transcript.mjs`.
+
+Prepare a config with `runId`, `candidate` (source commit), `version`, `repository`,
+`stateRoot`, `log` (new absolute JSONL path), and `workerThreadId`. Bind each of
+`artifact`, `bootstrapReceipt`, `cli`, `projector`, and `validator` using
+`{ "file": "/absolute/path", "sha256": "<exact file hash>" }`.
+`captureFiles` contains the same references for both `scripts/capture-lifecycle.mjs`
+and `scripts/lifecycle-capture-evidence.mjs`. Do not edit these files/config while
+capturing a run. Use absolute paths throughout.
+
+The CLI and projector must belong to that fixture's exact installed package:
+`dist/src/cli.js` and `dist/src/navigation-actions.js`. The validator uses its own
+current build; build that checkout before capture. Its exported observation
+registry classifies records, while the installed canonical projector supplies
+advertised actions. Neither diagnostic routes nor Task status create authority.
+
+Use only the disposable synthetic bootstrap receipt from the maintained bootstrap
+tool. Repository, state root, candidate hash and version must match. Simulated
+Knowledge/grant approvals are test setup, never production consent. Do not import
+production project state or credentials. No live fixture is migrated by this tool.
+
+Each invocation emits BEGIN/END markers and appends a terminal result, including
+failures. Evidence redacts authority values and retains raw output hashes; original
+CLI stdout/stderr are returned to the invoking Worker, so retain their normal
+private handling. `INVALID_ARGUMENT` alone is not proof of a nonmutating retry.
+The recorder does not erase failures or convert them into successful lifecycle
+evidence. Keep actual App source records and review packets alongside the log;
+the capture log alone does not establish an independent App review.

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

@@ -463,7 +463,7 @@ Restart Docker Desktop требует отдельного разрешения
 # 10. Operational checklist
 
 - exact package version установлен, bundled gateway соответствует release и переустановлен;
-- handshake подтверждает `packageVersion=2.0.0-beta.13.11`, protocol 2, state schema 2 и beta.13
+- handshake подтверждает `packageVersion=2.0.0-beta.13.12`, protocol 2, state schema 2 и beta.13
   capabilities;
 - routine observation начинается с компактного `status`; `status --full` запрашивается только для
   расследования, которому действительно нужна полная historical projection;
@@ -476,3 +476,25 @@ Restart Docker Desktop требует отдельного разрешения
 - advertised route имеет Signal-observed matrix binding либо явно помечен unsupported;
 - dependencies, progress и review posture берутся из Core projections;
 - local state не редактируется вручную; release и package update выполняются только после safe preflight и обязательных checks.
+
+
+<!-- pagebreak -->
+
+## beta.13.12: восстановление зависимости тестового каталога
+
+Поддерживаемый явный Vitest invocation связывает required check с единственным tracked
+migration-catalog test. Это отдельное hash-bound evidence, а не выдуманный static import.
+Неоднозначность, dynamic пути и forbiddenScope сохраняют запрет расширения.
+
+После подтверждённого corrective Plan новый механический конфликт оценивается в проверенном
+текущем semantic cycle. История, глобальные ordinals и stop/split authority сохраняются.
+Расширение scope выполняется только по свежему Core route; ручная правка allowedWrites запрещена.
+
+Выданное расширение переносится через проверенную Knowledge-only цепочку лишь при неизменных
+Step и semantic scope. Navigation, исполнение и review scope используют одно доказательство.
+Execution authorization остаётся отдельным условием; повреждённая цепочка блокирует перенос.
+
+Read-only Plan-integrity update preflight допускает beta.13.11+ source только с новым eligible
+V4 literal-test evidence и более новым exact target. Running Step, любой lease, повреждённая
+история, изменённые dirty bytes или более широкий dependency transport остаются блокерами.
+Полный протокол и ограничения: docs/updating-existing-project.md и docs/release.md.

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

@@ -57,7 +57,7 @@ AGENTS.md
 -> doctor только как дополнительная диагностика
 ```
 
-Handshake beta.13.11 должен сообщать `packageVersion=2.0.0-beta.13.11`, `protocolVersion=2`,
+Handshake beta.13.12 должен сообщать `packageVersion=2.0.0-beta.13.12`, `protocolVersion=2`,
 `stateSchemaVersion=2`, dependency DAG, initial Plan transaction, mechanical feasibility,
 Milestone autonomy, host-safe credential reference, failed-Step continuation transaction,
 cause-bound rolling refinement, structural production edge, compact status, reviewer runtime preflight,
@@ -480,7 +480,7 @@ Task/project DGR. `dependencyBinding` для standalone handoff равен null.
 # 14. Итоговый checklist пользователя
 
 - beta.13.10 exact package и новый bundled gateway установлены; handshake показывает
-  `packageVersion=2.0.0-beta.13.11`, protocol/state schema `2/2` и beta.13 capabilities;
+  `packageVersion=2.0.0-beta.13.12`, protocol/state schema `2/2` и beta.13 capabilities;
 - новый Coordinator chat не является fork старого Milestone;
 - bootstrap DGR, если нужен, выдан отдельным exact human confirmation;
 - Discovery не materialized при blocking unknowns;
@@ -504,3 +504,23 @@ Task/project DGR. `dependencyBinding` для standalone handoff равен null.
 - historical-Step recovery, если рекламировался, сохранил exact accepted commit и довёл текущий Step до обычного `step-complete` без history rewrite;
 - split-required остановился без replacement mutations;
 - Milestone validation и final acceptance связаны с текущим clean base HEAD.
+
+
+## beta.13.12: восстановление зависимости тестового каталога
+
+Поддерживаемый явный Vitest invocation связывает required check с единственным tracked
+migration-catalog test. Это отдельное hash-bound evidence, а не выдуманный static import.
+Неоднозначность, dynamic пути и forbiddenScope сохраняют запрет расширения.
+
+После подтверждённого corrective Plan новый механический конфликт оценивается в проверенном
+текущем semantic cycle. История, глобальные ordinals и stop/split authority сохраняются.
+Расширение scope выполняется только по свежему Core route; ручная правка allowedWrites запрещена.
+
+Выданное расширение переносится через проверенную Knowledge-only цепочку лишь при неизменных
+Step и semantic scope. Navigation, исполнение и review scope используют одно доказательство.
+Execution authorization остаётся отдельным условием; повреждённая цепочка блокирует перенос.
+
+Read-only Plan-integrity update preflight допускает beta.13.11+ source только с новым eligible
+V4 literal-test evidence и более новым exact target. Running Step, любой lease, повреждённая
+история, изменённые dirty bytes или более широкий dependency transport остаются блокерами.
+Полный протокол и ограничения: docs/updating-existing-project.md и docs/release.md.

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

@@ -15,7 +15,7 @@ authority сами: mutating permission определяется runtime state
 
 | Параметр beta.13 | Значение |
 |---|---|
-| npm package | `codex-workflow-v2@2.0.0-beta.13.11` |
+| npm package | `codex-workflow-v2@2.0.0-beta.13.12` |
 | protocolVersion | 2 |
 | stateSchemaVersion | 2 |
 | lifecycle epoch | 2 |
@@ -775,7 +775,7 @@ dirty update.
 observed-route matrix/compact-status/reviewer-runtime tests, legacy compatibility regressions,
 `npm run test:signal-t10-check-support-e2e`, `npm run test:signal-remediation-e2e`,
 `npm run pack:check`, `npm run smoke:downstream`, `npm run plugin:check`, official plugin/skill validators,
-`npm run docs:pdf:check` и `npm run release:check` с exact `v2.0.0-beta.13.11` tag binding и append-only
+`npm run docs:pdf:check` и `npm run release:check` с exact `v2.0.0-beta.13.12` tag binding и append-only
 real-agent lifecycle log. Candidate проверяется из clean source checkout; missing built module не должен
 превращаться в stack trace, а обязан быть детерминированно собран или диагностирован release gate.
 
@@ -784,3 +784,23 @@ Real-agent gate повторяет production boundary Codex App: Task agent у
 Nested native `codex exec` внутри другого Codex agent не является release evidence. Packet generation
 логируется как read-only observation, record — как exact `next`-authorized mutation с последующими
 `status` и `next`.
+
+
+## beta.13.12: восстановление зависимости тестового каталога
+
+Поддерживаемый явный Vitest invocation связывает required check с единственным tracked
+migration-catalog test. Это отдельное hash-bound evidence, а не выдуманный static import.
+Неоднозначность, dynamic пути и forbiddenScope сохраняют запрет расширения.
+
+После подтверждённого corrective Plan новый механический конфликт оценивается в проверенном
+текущем semantic cycle. История, глобальные ordinals и stop/split authority сохраняются.
+Расширение scope выполняется только по свежему Core route; ручная правка allowedWrites запрещена.
+
+Выданное расширение переносится через проверенную Knowledge-only цепочку лишь при неизменных
+Step и semantic scope. Navigation, исполнение и review scope используют одно доказательство.
+Execution authorization остаётся отдельным условием; повреждённая цепочка блокирует перенос.
+
+Read-only Plan-integrity update preflight допускает beta.13.11+ source только с новым eligible
+V4 literal-test evidence и более новым exact target. Running Step, любой lease, повреждённая
+история, изменённые dirty bytes или более широкий dependency transport остаются блокерами.
+Полный протокол и ограничения: docs/updating-existing-project.md и docs/release.md.

package/docs/release.md

@@ -1,5 +1,39 @@
 # Release Policy
 
+## beta.13.12: bounded test invocation recovery after a corrective Plan
+
+A required check can invoke a tracked test through an explicit Vitest argument list rather
+than a static import. The bounded component-owner analyzer recognizes supported literal
+runner invocations and a unique migration-catalog test. It records the invocation and hashes
+as their own evidence; it does not invent an import edge or classify every diagnostic path
+as the failing test. Dynamic or ambiguous invocations, forbidden paths and unproved catalog
+dependencies do not establish scope authority.
+Literal invocation evidence binds a supported static call site, tracked runner/test bytes,
+the recorded failed-check diagnostic and a unique missing-catalog anchor. It does not
+assert a runtime trace or prove that every diagnostic path was a failing test.
+
+Plan-integrity eligibility can use a verified current semantic Plan cycle after an applied
+human corrective Plan and content-only Knowledge rebind. Historical failures and decisions
+remain immutable and globally numbered. Pending, malformed, conflicting or unconsumed stop
+and split authority must not disappear when selecting the current failure cycle.
+An issued machine-derived support amendment must survive only a verified Knowledge-only
+Plan rebind with the same Step and semantic scope. Navigation, execution and review scope
+must use the same proof. Rebinding does not supply execution authorization, and an invalid
+chain or semantic change must reject the carry-forward. The combined regression must reach
+authorization, run, passing checks and the sealed review packet after this rebind.
+
+The existing read-only Plan-integrity update protocol additionally admits coherent beta.13
+patches from beta.13.11 only for a freshly eligible V4 conflict with validated literal test
+invocation evidence and a strictly newer target. Existing lease, transaction, Plan, HEAD,
+dirty-byte and dependency-only transport checks remain in force. This profile does not admit
+an active Step or general dirty-worktree updates. Historical beta.12 profiles are unchanged.
+
+Required regression evidence includes real failed-check recovery after human corrective
+execution and rebind, positive and negative invocation proofs, unchanged prior Step history,
+correct current-cycle event readback, and a complete dependency transport, recovery and
+same-Worker continuation. Predicate-only tests do not satisfy the release gate. Ordinary
+CI, exact artifact, disposable App, documentation and publication checks also remain required.
+
 ## beta.13.11: preserve production edges through corrective Plan admission
 
 The closed public corrective Plan schema now admits the existing optional

package/docs/updating-existing-project.md

@@ -22,6 +22,37 @@ state schema. Совпадение `stateSchemaVersion` до и после об
 нужна. Для alpha.6 при `stateSchemaVersion: 2` применяется не migration, а sidecar-only
 adoption posture.
 
+### beta.13.12: явный запуск теста и текущий цикл corrective Plan
+
+Если обязательный check вызывает tracked migration-catalog test через поддерживаемый literal
+Vitest invocation, новый analyzer может доказать единственный дополнительный support path.
+Диагностические пути из failed check являются упоминаниями, а не доказательством того, что
+каждый такой тест упал. Неоднозначный каталог, dynamic/glob invocation, выход за компонент
+или forbiddenScope не дают автоматического расширения.
+
+После реально зарегистрированного checks-failed новый runtime проверяет текущий semantic
+Plan cycle, включая завершённое human corrective execution и допустимый content-only rebind.
+Старая история и глобальные ordinals сохраняются. Нельзя повторять заведомо падающий Step
+ради счётчика, удалять old decisions или считать неподтверждённую смену Plan новым циклом.
+
+Уже выданное machine-derived расширение сохраняется только через проверенную Knowledge-only
+цепочку при неизменных Step и semantic scope. Navigation, исполнение и пакет ревью используют
+одно доказательство. Такая привязка не заменяет execution authorization; повреждённая цепочка
+или изменение смысла Plan запрещают перенос разрешения. После rebind следуйте свежему `next`.
+
+Для coherent beta.13 patch начиная с beta.13.11 опубликованный exact более новый runner
+может выполнить только read-only `update plan-integrity-preflight --id <TASK-ID>`.
+Новый source profile требует заново доказанный eligible V4 literal-test conflict; fallback
+adopted/dirty-carryover modes сами по себе его не открывают. Require `eligible=true`, нет
+running Step, active/stale lease или pending operation, точные Plan/HEAD и dirty-byte bindings.
+Далее используйте только возвращённый dependency-only transport на base и Task, установите
+exact target и следуйте target provenance recovery и fresh navigation. Сохраняйте продуктовые
+байты; не применяйте дополнительный test patch до Core-derived scope authority.
+
+Обычный `update preflight` остаётся строгим. Отсутствие scope proof или иной blocked boundary
+не разрешает внешний runner для mutation, ручную правку state, stash/reset либо более широкий
+commit. Этот профиль не подменяет внешнюю проверку разрешений.
+
 ### beta.13.1: legacy PRA compatibility after beta.13
 
 `2.0.0-beta.13.1` preserves the beta.13 protocol/schema `2/2` and adds no state migration. The

package/package.json

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

package/schemas/corrective-decision-event.schema.json

@@ -234,13 +234,15 @@
           "items": {
             "type": "object", "additionalProperties": false,
             "required": ["reasonCode", "command", "runnerPath", "ownerPath", "ownerHash", "importChain", "diagnosticPath", "componentRoot"],
+            "allOf": [{ "if": { "required": ["testInvocation"] }, "then": { "properties": { "importChain": { "maxItems": 1 } } }, "else": { "properties": { "importChain": { "minItems": 2 } } } }],
             "properties": {
               "reasonCode": { "const": "FAILED_CHECK_COMPONENT_OWNER_OUTSIDE_ALLOWED_WRITES" },
               "command": { "type": "string", "minLength": 1 },
               "runnerPath": { "type": "string", "minLength": 1 },
               "ownerPath": { "type": "string", "minLength": 1 },
               "ownerHash": { "$ref": "#/$defs/hash64" },
-              "importChain": { "$ref": "#/$defs/stringList", "minItems": 2 },
+              "importChain": { "$ref": "#/$defs/stringList", "minItems": 1 },
+              "testInvocation": {"type": "object", "additionalProperties": false, "required": ["kind", "runnerHash", "argv", "migrationOutputs", "catalogNames"], "properties": {"kind": {"const": "literal-vitest-catalog"}, "runnerHash": {"type": "string", "pattern": "^[a-f0-9]{64}$"}, "argv": {"type": "array", "items": {"type": "string"}, "minItems": 3}, "migrationOutputs": {"type": "array", "items": {"type": "string"}, "minItems": 1, "uniqueItems": true}, "catalogNames": {"type": "array", "items": {"type": "string", "pattern": "^[0-9]{4}_[a-z0-9_]+\\.sql$"}, "minItems": 1, "uniqueItems": true}}},
               "diagnosticPath": { "type": "string", "minLength": 1 },
               "componentRoot": { "type": "string", "minLength": 1 }
             }