codex-workflow-v2 2.0.0-beta.12.6 → 2.0.0-beta.12.7

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

@@ -166,6 +166,21 @@ recovery when required). Any unrelated dirty path, unknown history, wider candid
 base, version mismatch, lease, transaction, or different route is a hard stop and never authorizes
 manual external-state edits.
 
+For the exact beta.12.6 post-recovery knowledge-rebind deadlock, an exact beta.12.7 external runner
+may execute only the read-only `update downstream-proof-replan-update-preflight` before dependency
+transport. Require `eligible=true`, source version beta.12.6 on declared/locked/installed/current/base
+surfaces, the exact Task revision/HEAD/dirty hash, no current audit for the rebound Plan, and no lease,
+transaction, or Core operation. Commit only `package.json` and `package-lock.json` on the active
+Milestone base, then only the same dependency files on the Task branch without touching product
+bytes. Install beta.12.7 and follow fresh `next` only through
+`update downstream-proof-replan-dependency-recover`, then
+`task downstream-proof-replan-recover`, and finally ordinary `task plan-set`. The recovery keeps the
+same Task, history, Knowledge binding, invalidated predecessor evidence, and dirty worktree. After
+the replacement Plan is audited and authorized, `task run` is valid only when fresh `next` reports
+`downstreamProofCarryover.state=validated` for one Step owning the complete hash-bound dirty set.
+Any wider dependency commit, dirty-byte change, current audit, extra Task revision, missing binding,
+or alternate route is a hard stop.
+
 When `next` returns `milestone initial-assembly`, execution is unavailable. Follow only the
 advertised `linked-task-assembly.commands` (`discovery start` and `discovery materialize`) until all
 intended linked Tasks exist. The closing `milestone plan-set` option appears only after at least one

package/schemas/downstream-proof-invalidation-event.schema.json

@@ -52,6 +52,7 @@
       "uniqueItems": true,
       "items": { "type": "string", "minLength": 1 }
     },
+    "dirtyWorktreeHash": { "$ref": "#/$defs/hash64" },
     "preservedHeadCommit": { "$ref": "#/$defs/gitHash" },
     "actor": { "type": "string", "minLength": 1 },
     "reason": { "type": "string", "minLength": 1 },

package/schemas/downstream-proof-replan-recovery-event.schema.json

@@ -0,0 +1,61 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://codex-workflow.local/schemas/downstream-proof-replan-recovery-event.schema.json",
+  "title": "Codex Workflow V2 Downstream Proof Replan Recovery Event",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "eventId",
+    "taskId",
+    "previousTaskRevision",
+    "resultTaskRevision",
+    "invalidationEventId",
+    "invalidationPlanHash",
+    "reboundPlanHash",
+    "knowledgeRebindRecordedAt",
+    "dirtyFiles",
+    "dirtyWorktreeHash",
+    "preservedHeadCommit",
+    "dependencyRecoveryCommit",
+    "actor",
+    "reason",
+    "packageVersion",
+    "previousEventHash",
+    "recordedAt",
+    "eventHash"
+  ],
+  "properties": {
+    "eventId": { "type": "string", "pattern": "^DPR-[0-9A-HJKMNP-TV-Z]{26}$" },
+    "taskId": { "type": "string", "pattern": "^TASK-[0-9A-HJKMNP-TV-Z]{26}$" },
+    "previousTaskRevision": { "type": "integer", "minimum": 1 },
+    "resultTaskRevision": { "type": "integer", "minimum": 2 },
+    "invalidationEventId": { "type": "string", "pattern": "^DPI-[0-9A-HJKMNP-TV-Z]{26}$" },
+    "invalidationPlanHash": { "$ref": "#/$defs/hash64" },
+    "reboundPlanHash": { "$ref": "#/$defs/hash64" },
+    "knowledgeRebindRecordedAt": { "type": "string", "format": "date-time" },
+    "dirtyFiles": {
+      "type": "array",
+      "minItems": 1,
+      "uniqueItems": true,
+      "items": { "type": "string", "minLength": 1 }
+    },
+    "dirtyWorktreeHash": { "$ref": "#/$defs/hash64" },
+    "preservedHeadCommit": { "$ref": "#/$defs/gitHash" },
+    "dependencyRecoveryCommit": {
+      "anyOf": [
+        { "$ref": "#/$defs/gitHash" },
+        { "type": "null" }
+      ]
+    },
+    "actor": { "type": "string", "minLength": 1 },
+    "reason": { "type": "string", "minLength": 1 },
+    "packageVersion": { "type": "string", "minLength": 1 },
+    "previousEventHash": { "anyOf": [{ "$ref": "#/$defs/hash64" }, { "type": "null" }] },
+    "recordedAt": { "type": "string", "format": "date-time" },
+    "eventHash": { "$ref": "#/$defs/hash64" }
+  },
+  "$defs": {
+    "gitHash": { "type": "string", "pattern": "^[a-f0-9]{40}$" },
+    "hash64": { "type": "string", "pattern": "^[a-f0-9]{64}$" }
+  }
+}

package/schemas/task.schema.json

@@ -100,6 +100,40 @@
               }
             },
             "additionalProperties": false
+          },
+          "downstreamProofReplan": {
+            "type": "object",
+            "required": [
+              "invalidationEventId",
+              "activeStepId",
+              "sourcePlanHash",
+              "reboundPlanHash",
+              "knowledgeRebindRecordedAt",
+              "dirtyFiles",
+              "dirtyWorktreeHash",
+              "invalidatedStepIds"
+            ],
+            "properties": {
+              "invalidationEventId": { "type": "string", "pattern": "^DPI-[0-9A-HJKMNP-TV-Z]{26}$" },
+              "activeStepId": { "type": "string", "pattern": "^STEP-[A-Z0-9][A-Z0-9-]{2,63}$" },
+              "sourcePlanHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+              "reboundPlanHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+              "knowledgeRebindRecordedAt": { "type": "string", "format": "date-time" },
+              "dirtyFiles": {
+                "type": "array",
+                "minItems": 1,
+                "uniqueItems": true,
+                "items": { "type": "string", "minLength": 1 }
+              },
+              "dirtyWorktreeHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+              "invalidatedStepIds": {
+                "type": "array",
+                "minItems": 1,
+                "uniqueItems": true,
+                "items": { "type": "string", "pattern": "^STEP-[A-Z0-9][A-Z0-9-]{2,63}$" }
+              }
+            },
+            "additionalProperties": false
           }
         },
         "additionalProperties": false