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

package/schemas/corrective-replan-credentials.private.schema.json

@@ -12,14 +12,16 @@
     },
     "bindingValues": {
       "type": "object", "additionalProperties": false,
-      "required": ["transitionId", "runtimeFingerprint", "catalogHash", "lifecycleEpoch", "taskId", "revision", "currentPlanHash", "briefHash", "knowledgeRevision", "knowledgeHash", "gitHead", "guardedStepId", "correctiveDecisionEventId", "correctiveDecisionHash", "attemptCount", "remediationTailHash", "candidatePlanHash", "candidateStepSetHash", "planAuthorIdentityHash", "planValidationHash", "planValidatorIdentityHash", "riskAuditHash", "riskAuditorIdentityHash", "actorIdentityHash", "actorRole", "humanPrincipalIdentityHash", "capabilityId", "capabilityVersion"],
+      "required": ["transitionId", "runtimeFingerprint", "catalogHash", "lifecycleEpoch", "taskId", "revision", "currentPlanHash", "briefHash", "knowledgeRevision", "knowledgeHash", "targetKnowledgeRevision", "targetKnowledgeHash", "gitHead", "guardedStepId", "correctiveDecisionEventId", "correctiveDecisionHash", "attemptCount", "remediationTailHash", "candidatePlanHash", "candidateStepSetHash", "planAuthorIdentityHash", "planValidationHash", "planValidatorIdentityHash", "riskAuditHash", "riskAuditorIdentityHash", "actorIdentityHash", "actorRole", "humanPrincipalIdentityHash", "capabilityId", "capabilityVersion"],
       "properties": {
         "transitionId": { "const": "task.plan.corrective-replan" },
         "runtimeFingerprint": { "$ref": "#/$defs/hash" }, "catalogHash": { "$ref": "#/$defs/hash" },
         "lifecycleEpoch": { "const": 2 }, "taskId": { "$ref": "#/$defs/id" },
         "revision": { "type": "integer", "minimum": 0, "maximum": 9007199254740991 }, "currentPlanHash": { "$ref": "#/$defs/hash" },
         "briefHash": { "$ref": "#/$defs/hash" }, "knowledgeRevision": { "type": "integer", "minimum": 0, "maximum": 9007199254740991 },
-        "knowledgeHash": { "$ref": "#/$defs/hash" }, "gitHead": { "type": "string", "pattern": "^(?:[a-f0-9]{40}|[a-f0-9]{64})$" },
+        "knowledgeHash": { "$ref": "#/$defs/hash" },
+        "targetKnowledgeRevision": { "type": "integer", "minimum": 0, "maximum": 9007199254740991 },
+        "targetKnowledgeHash": { "$ref": "#/$defs/hash" }, "gitHead": { "type": "string", "pattern": "^(?:[a-f0-9]{40}|[a-f0-9]{64})$" },
         "guardedStepId": { "$ref": "#/$defs/id" }, "correctiveDecisionEventId": { "$ref": "#/$defs/id" },
         "correctiveDecisionHash": { "$ref": "#/$defs/hash" }, "attemptCount": { "type": "integer", "minimum": 2, "maximum": 9007199254740991 },
         "remediationTailHash": { "$ref": "#/$defs/hash" }, "candidatePlanHash": { "$ref": "#/$defs/hash" },

package/schemas/milestone-scope-change-event.schema.json

@@ -32,8 +32,9 @@
     "after": { "$ref": "#/$defs/scopeSnapshot" },
     "actor": { "type": "string", "minLength": 1 },
     "confirmationCodeBindingHash": { "$ref": "#/$defs/hash64" },
-    "authorizationMode": { "enum": ["human", "milestone-autonomy"] },
+    "authorizationMode": { "enum": ["human", "milestone-autonomy", "audited-remediation"] },
     "autonomyContractEventHash": { "$ref": "#/$defs/nullableHash64" },
+    "remediationEvidence": { "$ref": "#/$defs/remediationEvidence" },
     "previousEventHash": { "$ref": "#/$defs/nullableHash64" },
     "recordedAt": { "type": "string", "format": "date-time" },
     "eventHash": { "$ref": "#/$defs/hash64" }
@@ -43,6 +44,29 @@
     "taskId": { "type": "string", "pattern": "^TASK-[0-9A-HJKMNP-TV-Z]{26}$" },
     "hash64": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
     "nullableHash64": { "type": ["string", "null"], "pattern": "^[a-f0-9]{64}$" },
+    "remediationEvidence": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "blockedTaskId", "blockedTaskRevision", "blockedBriefHash", "blockedPlanHash",
+        "planRiskAuditEventId", "planRiskAuditEventHash", "remediationTaskId", "predecessorTaskIds"
+      ],
+      "properties": {
+        "blockedTaskId": { "$ref": "#/$defs/taskId" },
+        "blockedTaskRevision": { "type": "integer", "minimum": 1 },
+        "blockedBriefHash": { "$ref": "#/$defs/hash64" },
+        "blockedPlanHash": { "$ref": "#/$defs/hash64" },
+        "planRiskAuditEventId": { "type": "string", "minLength": 1 },
+        "planRiskAuditEventHash": { "$ref": "#/$defs/hash64" },
+        "remediationTaskId": { "$ref": "#/$defs/taskId" },
+        "predecessorTaskIds": {
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": { "$ref": "#/$defs/taskId" }
+        }
+      }
+    },
     "membership": {
       "type": "object",
       "additionalProperties": false,

package/schemas/remediation-event.schema.json

@@ -31,11 +31,27 @@
         "completionCommit": { "$ref": "#/$defs/gitHash" },
         "checksHash": { "$ref": "#/$defs/hash64" },
         "reviewEventHash": { "$ref": "#/$defs/nullableHash64" },
-        "reviewerAttestationHash": { "$ref": "#/$defs/nullableHash64" }
+        "reviewerAttestationHash": { "$ref": "#/$defs/nullableHash64" },
+        "executionTaskRevision": { "type": "integer", "minimum": 1 },
+        "dirtyWorktreeHash": { "$ref": "#/$defs/hash64" }
       }
     },
     "attemptOrdinal": { "type": "integer", "minimum": 1 },
     "mode": { "enum": ["ordinary", "corrective"] },
+    "causeBindings": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["authority", "causeId", "causeFingerprint", "planConflict"],
+        "properties": {
+          "authority": { "enum": ["mechanical", "external-reviewer"] },
+          "causeId": { "type": "string", "minLength": 1 },
+          "causeFingerprint": { "$ref": "#/$defs/hash64" },
+          "planConflict": { "type": "boolean" }
+        }
+      }
+    },
     "previousEventHash": { "$ref": "#/$defs/nullableHash64" },
     "recordedAt": { "type": "string", "format": "date-time" },
     "eventHash": { "$ref": "#/$defs/hash64" }

package/schemas/review-result.schema.json

@@ -23,6 +23,7 @@
           "summary": { "type": "string", "minLength": 1 },
           "evidence": { "type": "string", "minLength": 1 },
           "requiredAction": { "type": "string", "minLength": 1 },
+          "causeId": { "type": "string", "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{2,127}$" },
           "route": { "enum": ["fix", "replan"] },
           "planConflict": {
             "anyOf": [

package/schemas/step-review-event.schema.json

@@ -49,6 +49,21 @@
         }
       }
     },
+    "remediationCauses": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["findingId", "causeId", "causeFingerprint", "route", "planConflict"],
+        "properties": {
+          "findingId": { "type": "string", "minLength": 1 },
+          "causeId": { "type": "string", "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{2,127}$" },
+          "causeFingerprint": { "$ref": "#/$defs/hash64" },
+          "route": { "enum": ["fix", "replan"] },
+          "planConflict": { "type": "boolean" }
+        }
+      }
+    },
     "previousEventHash": { "$ref": "#/$defs/nullableHash64" },
     "recordedAt": { "type": "string", "format": "date-time" },
     "eventHash": { "$ref": "#/$defs/hash64" }

package/schemas/task.schema.json

@@ -34,6 +34,21 @@
     "knowledgeMapRevision": { "type": ["integer", "null"], "minimum": 1 },
     "knowledgeMapHash": { "type": ["string", "null"], "pattern": "^[a-f0-9]{64}$" },
     "graphUse": { "enum": ["code-aware", "not-applicable", null] },
+    "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
+      }
+    },
+    "requiresProductionEdges": { "type": "boolean" },
     "steps": { "type": "array" },
     "authorizations": { "type": "array" },
     "knowledgeRebinds": {
@@ -177,10 +192,55 @@
               "retainedCommitSha": { "type": "string", "pattern": "^[a-f0-9]{40}$" }
             },
             "additionalProperties": false
+          },
+          "planIntegrity": {
+            "type": "object",
+            "required": ["stepId", "planHash", "conflictHash", "dirtyFiles", "dirtyWorktreeHash", "remediationEventIds"],
+            "properties": {
+              "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}$" },
+              "dirtyFiles": {
+                "type": "array",
+                "minItems": 1,
+                "uniqueItems": true,
+                "items": { "type": "string", "minLength": 1 }
+              },
+              "dirtyWorktreeHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+              "remediationEventIds": {
+                "type": "array",
+                "minItems": 1,
+                "uniqueItems": true,
+                "items": { "type": "string", "minLength": 1 }
+              }
+            },
+            "additionalProperties": false
           }
         },
         "additionalProperties": false
       }
     }
-  }
+  },
+  "allOf": [
+    {
+      "if": {
+        "properties": { "productionEdges": { "minItems": 1 } },
+        "required": ["productionEdges"]
+      },
+      "then": {
+        "required": ["requiresProductionEdges"],
+        "properties": { "requiresProductionEdges": { "const": true } }
+      }
+    },
+    {
+      "if": {
+        "properties": { "requiresProductionEdges": { "const": true } },
+        "required": ["requiresProductionEdges"]
+      },
+      "then": {
+        "required": ["productionEdges"],
+        "properties": { "productionEdges": { "minItems": 1 } }
+      }
+    }
+  ]
 }

package/schemas/transition-definition.schema.json

@@ -436,6 +436,8 @@
           "projection.corrective-replan.candidate@1:field.plan-validator-identity-hash",
           "projection.corrective-replan.candidate@1:field.risk-audit-hash",
           "projection.corrective-replan.candidate@1:field.risk-auditor-identity-hash",
+          "projection.corrective-replan.candidate@1:field.target-knowledge-hash",
+          "projection.corrective-replan.candidate@1:field.target-knowledge-revision",
           "projection.corrective-replan.execution-receipt@1:field.actor-identity-hash",
           "projection.corrective-replan.execution-receipt@1:field.actor-role",
           "projection.corrective-replan.execution-receipt@1:field.attempt-count",
@@ -461,6 +463,8 @@
           "projection.corrective-replan.execution-receipt@1:field.risk-audit-hash",
           "projection.corrective-replan.execution-receipt@1:field.risk-auditor-identity-hash",
           "projection.corrective-replan.execution-receipt@1:field.runtime-fingerprint",
+          "projection.corrective-replan.execution-receipt@1:field.target-knowledge-hash",
+          "projection.corrective-replan.execution-receipt@1:field.target-knowledge-revision",
           "projection.corrective-replan.execution-receipt@1:field.task-id",
           "projection.corrective-replan.execution-receipt@1:field.task-revision",
           "projection.corrective-replan.execution-receipt@1:field.transition-id",
@@ -535,6 +539,8 @@
           "projection.input.execution-receipt@1:field.risk-audit-hash",
           "projection.input.execution-receipt@1:field.risk-auditor-identity-hash",
           "projection.input.execution-receipt@1:field.runtime-fingerprint",
+          "projection.input.execution-receipt@1:field.target-knowledge-hash",
+          "projection.input.execution-receipt@1:field.target-knowledge-revision",
           "projection.input.execution-receipt@1:field.task-id",
           "projection.input.execution-receipt@1:field.task-revision",
           "projection.input.execution-receipt@1:field.transition-id",
@@ -620,6 +626,8 @@
         "field.runtime-fingerprint",
         "field.step-id",
         "field.step-status",
+        "field.target-knowledge-hash",
+        "field.target-knowledge-revision",
         "field.task-id",
         "field.task-plan-hash",
         "field.task-revision",