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

package/references/state-machine.md

@@ -6,11 +6,11 @@ to the task commit and Brief, Plan, and evidence hashes. Final acceptance is a s
 human event bound to Result, evidence, and commit. Locks expire only diagnostically;
 removing a stale lock is always an explicit repair operation.
 
-Alpha.7 keeps canonical entity JSON unchanged at `stateSchemaVersion: 2` and adds lifecycle
-evidence through sidecars. `protocolVersion: 1` remains valid only because the alpha.7
-surface is additive and capability-advertised.
+The current execution contract uses `stateSchemaVersion: 2` and protocol 2.
+Existing sidecar evidence is verified by its bound history; it does not enable
+execution through an older package or protocol.
 
-Before execution authorization, every alpha.7 Task must have a current Plan Risk Audit bound
+Before execution authorization, every Task must have a current Plan Risk Audit bound
 to the current Brief, Plan, Knowledge Map, and exact Step set. The audit is required even when
 all Steps are unguarded, must name distinct planner/auditor actors, and must bind guarded
 failure modes to exact Step checks. Each newly recorded guarded failure mode also requires one

package/roles/technical-planner.md

@@ -3,7 +3,7 @@
 Translate an approved Brief into an execution-ready Plan.
 
 - Read the approved knowledge sources relevant to the Task and bind the Plan to the active map revision/hash.
-- Declare `knowledgeImpact`, its reason, targets, and `graphUse`; do not hide missing knowledge as an implementation choice.
+- Declare `knowledgeImpact`, its reason, targets, and `graphUse: not-applicable` (Product graph is inactive); do not hide missing knowledge as an implementation choice.
 - Every requirement must be covered by at least one `STEP-*`.
 - Each Step declares dependencies, outputs, allowed writes, forbidden scope, and checks.
 - Perform a risk review before `plan-set`. A Plan that touches migrations, concurrent state,

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 }
             }

package/schemas/project-knowledge-map.schema.json

@@ -4,12 +4,14 @@
   "title": "Codex Workflow V2 Project Knowledge Map",
   "type": "object",
   "additionalProperties": false,
-  "required": ["schemaVersion", "revision", "id", "projectId", "kind", "status", "entries", "gaps", "conflicts", "approval"],
+  "required": ["schemaVersion", "revision", "id", "projectId", "createdAt", "updatedAt", "kind", "status", "entries", "gaps", "conflicts", "approval"],
   "properties": {
     "schemaVersion": { "const": 2 },
     "revision": { "type": "integer", "minimum": 1 },
     "id": { "const": "PROJECT-KNOWLEDGE-MAP" },
     "projectId": { "type": "string", "pattern": "^[a-f0-9]{24}$" },
+    "createdAt": { "type": "string", "format": "date-time" },
+    "updatedAt": { "type": "string", "format": "date-time" },
     "kind": { "const": "knowledge-map" },
     "status": { "enum": ["draft", "awaiting_approval", "active", "stale", "conflicted"] },
     "entries": {

package/schemas/remediation-event.schema.json

@@ -33,7 +33,16 @@
         "reviewEventHash": { "$ref": "#/$defs/nullableHash64" },
         "reviewerAttestationHash": { "$ref": "#/$defs/nullableHash64" },
         "executionTaskRevision": { "type": "integer", "minimum": 1 },
-        "dirtyWorktreeHash": { "$ref": "#/$defs/hash64" }
+        "dirtyWorktreeHash": { "$ref": "#/$defs/hash64" },
+        "unclaimedExecutionBoundary": {
+          "type": "object", "additionalProperties": false,
+          "required": ["kind", "actor", "priorHandoffEventHash"],
+          "properties": {
+            "kind": { "const": "native-unclaimed-check-failure" },
+            "actor": { "type": "string", "minLength": 1 },
+            "priorHandoffEventHash": { "$ref": "#/$defs/nullableHash64" }
+          }
+        }
       }
     },
     "attemptOrdinal": { "type": "integer", "minimum": 1 },

package/schemas/task.schema.json

@@ -26,6 +26,17 @@
         "cancelled"
       ]
     },
+    "pendingBaseSyncValidation": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["baseCommit", "syncCommit", "checksHash", "headCommit"],
+      "properties": {
+        "baseCommit": { "type": "string", "pattern": "^[a-f0-9]{40}$" },
+        "syncCommit": { "type": "string", "pattern": "^[a-f0-9]{40}$" },
+        "headCommit": { "type": "string", "pattern": "^[a-f0-9]{40}$" },
+        "checksHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" }
+      }
+    },
     "title": { "type": "string", "minLength": 1 },
     "planObjective": { "type": ["string", "null"] },
     "knowledgeImpact": { "enum": ["none", "update", "create", "retire", null] },
@@ -197,6 +208,12 @@
             "type": "object",
             "required": ["stepId", "planHash", "conflictHash", "dirtyFiles", "dirtyWorktreeHash", "remediationEventIds"],
             "properties": {
+              "mode": { "enum": ["failed-step-conflict", "post-rebind-scope-adoption", "post-rebind-dirty-carryover", "navigation-fix-dirty-carryover"] },
+              "scopeExtensions": {
+                "type": "array",
+                "uniqueItems": true,
+                "items": { "type": "string", "minLength": 1 }
+              },
               "stepId": { "type": "string", "pattern": "^STEP-[A-Z0-9][A-Z0-9-]{2,63}$" },
               "planHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
               "conflictHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
@@ -255,8 +272,17 @@
               "terminalRemediationEventHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
               "terminalExecutionTaskRevision": { "type": "integer", "minimum": 1 },
               "repeatedCauseFingerprint": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
-              "correctiveYieldEventId": { "type": "string", "pattern": "^HOF-[a-f0-9]{64}$" },
-              "correctiveYieldEventHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+              "correctiveYieldEventId": { "type": ["string", "null"], "pattern": "^HOF-[a-f0-9]{64}$" },
+              "correctiveYieldEventHash": { "type": ["string", "null"], "pattern": "^[a-f0-9]{64}$" },
+              "unclaimedExecutionBoundary": {
+                "type": "object", "additionalProperties": false,
+                "required": ["kind", "actor", "priorHandoffEventHash"],
+                "properties": {
+                  "kind": { "const": "native-unclaimed-check-failure" },
+                  "actor": { "type": "string", "minLength": 1 },
+                  "priorHandoffEventHash": { "type": ["string", "null"], "pattern": "^[a-f0-9]{64}$" }
+                }
+              },
               "dirtyFiles": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
               "dirtyWorktreeHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
               "replacementPlanRiskAuditEventId": { "type": "string", "pattern": "^PRA-[0-9A-HJKMNP-TV-Z]{26}$" },
@@ -269,6 +295,11 @@
               "claimant": { "type": "string", "minLength": 1 },
               "compatibilityHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" }
             },
+            "allOf": [{
+              "if": { "required": ["unclaimedExecutionBoundary"] },
+              "then": { "properties": { "correctiveYieldEventId": { "type": "null" }, "correctiveYieldEventHash": { "type": "null" } } },
+              "else": { "properties": { "correctiveYieldEventId": { "type": "string" }, "correctiveYieldEventHash": { "type": "string" } } }
+            }],
             "additionalProperties": false
           }
         },
@@ -277,6 +308,19 @@
     }
   },
   "allOf": [
+    {
+      "if": { "required": ["pendingBaseSyncValidation"] },
+      "then": {
+        "required": ["workspaceOwner", "evidenceHash", "resultHash", "review"],
+        "properties": {
+          "status": { "const": "validating" },
+          "workspaceOwner": { "const": "local" },
+          "evidenceHash": { "type": "null" },
+          "resultHash": { "type": "null" },
+          "review": { "properties": { "status": { "const": "pending" } } }
+        }
+      }
+    },
     {
       "if": {
         "properties": { "productionEdges": { "minItems": 1 } },

package/schemas/transition-payloads.schema.json

@@ -20,7 +20,22 @@
         "knowledgeMapRevision": { "type": "integer", "minimum": 0 },
         "knowledgeMapHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
         "graphUse": { "enum": ["code-aware", "not-applicable"] },
-        "steps": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/planStep" } }
+        "steps": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/planStep" } },
+        "requiresProductionEdges": { "type": "boolean" },
+        "productionEdges": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "type": "object",
+            "required": ["ownerStepId", "consumerStepId", "checkRef"],
+            "properties": {
+              "ownerStepId": { "type": "string", "pattern": "^STEP-[0-9]{3}(?:-[A-Z0-9-]+)?$" },
+              "consumerStepId": { "type": "string", "pattern": "^STEP-[0-9]{3}(?:-[A-Z0-9-]+)?$" },
+              "checkRef": { "type": "string", "minLength": 1 }
+            },
+            "additionalProperties": false
+          }
+        }
       },
       "additionalProperties": false
     },