codex-workflow-v2 2.0.0-beta.2 → 2.0.0-beta.4

package/schemas/transition-payloads.schema.json

@@ -0,0 +1,140 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://codex-workflow.local/schemas/transition-payloads.schema.json",
+  "$defs": {
+    "taskId": { "type": "string", "minLength": 1 },
+    "expectedRevision": { "type": "integer", "minimum": 0 },
+    "nonEmptyString": { "type": "string", "minLength": 1 },
+    "stringArray": { "type": "array", "items": { "type": "string" } },
+    "taskPlanInput": {
+      "type": "object",
+      "required": ["objective", "requirements", "acceptance", "risks", "knowledgeImpact", "knowledgeImpactReason", "knowledgeTargets", "knowledgeMapRevision", "knowledgeMapHash", "graphUse", "steps"],
+      "properties": {
+        "objective": { "$ref": "#/$defs/nonEmptyString" },
+        "requirements": { "$ref": "#/$defs/stringArray" },
+        "acceptance": { "$ref": "#/$defs/stringArray" },
+        "risks": { "$ref": "#/$defs/stringArray" },
+        "knowledgeImpact": { "enum": ["none", "update", "create", "retire"] },
+        "knowledgeImpactReason": { "type": "string" },
+        "knowledgeTargets": { "type": "array", "items": { "$ref": "#/$defs/knowledgeTarget" } },
+        "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" } }
+      },
+      "additionalProperties": false
+    },
+    "knowledgeTarget": {
+      "type": "object",
+      "required": ["category", "path", "reason", "requirementIds"],
+      "properties": {
+        "category": { "enum": ["agent-guidance", "onboarding", "architecture", "decisions", "commands", "ownership", "testing", "operations", "domain"] },
+        "path": { "$ref": "#/$defs/nonEmptyString" },
+        "reason": { "$ref": "#/$defs/nonEmptyString" },
+        "requirementIds": { "$ref": "#/$defs/stringArray" }
+      },
+      "additionalProperties": false
+    },
+    "planStep": {
+      "type": "object",
+      "required": ["id", "title", "objective", "requirements", "dependencies", "expectedOutputs", "allowedWrites", "forbiddenScope", "checks"],
+      "properties": {
+        "id": { "$ref": "#/$defs/nonEmptyString" },
+        "title": { "$ref": "#/$defs/nonEmptyString" },
+        "objective": { "$ref": "#/$defs/nonEmptyString" },
+        "requirements": { "$ref": "#/$defs/stringArray" },
+        "dependencies": { "$ref": "#/$defs/stringArray" },
+        "expectedOutputs": { "$ref": "#/$defs/stringArray" },
+        "allowedWrites": { "$ref": "#/$defs/stringArray" },
+        "forbiddenScope": { "$ref": "#/$defs/stringArray" },
+        "checks": { "$ref": "#/$defs/stringArray" }
+      },
+      "additionalProperties": false
+    },
+    "planRiskAuditInput": {
+      "type": "object",
+      "required": ["summary", "decision", "splitRationale", "stepClassifications"],
+      "properties": {
+        "summary": { "$ref": "#/$defs/nonEmptyString" },
+        "decision": { "enum": ["approved", "approved-with-rationale", "split-required", "stop-escalate"] },
+        "splitRationale": { "type": ["string", "null"] },
+        "stepClassifications": { "type": "array", "items": { "$ref": "#/$defs/riskStepClassification" } }
+      },
+      "additionalProperties": false
+    },
+    "riskStepClassification": {
+      "type": "object",
+      "required": ["stepId", "categories", "reviewRequired", "failureModes", "requiredEvidence"],
+      "properties": {
+        "stepId": { "$ref": "#/$defs/nonEmptyString" },
+        "categories": { "type": "array", "uniqueItems": true, "items": { "enum": ["migration", "concurrency", "restart-replay", "crash-window", "external-provider", "runtime-composition", "security-boundary", "auth-secrets", "irreversible-execution"] } },
+        "reviewRequired": { "type": "boolean" },
+        "failureModes": { "$ref": "#/$defs/stringArray" },
+        "requiredEvidence": { "$ref": "#/$defs/stringArray" },
+        "proofObligations": { "type": "array", "items": { "$ref": "#/$defs/riskProofObligation" } }
+      },
+      "additionalProperties": false
+    },
+    "riskProofObligation": {
+      "type": "object",
+      "required": ["failureMode", "counterexample", "expectedResult", "evidence"],
+      "properties": {
+        "failureMode": { "$ref": "#/$defs/nonEmptyString" },
+        "counterexample": { "$ref": "#/$defs/nonEmptyString" },
+        "expectedResult": { "$ref": "#/$defs/nonEmptyString" },
+        "evidence": { "$ref": "#/$defs/nonEmptyString" }
+      },
+      "additionalProperties": false
+    },
+    "correctiveReplanSnapshot": {
+      "type": "object",
+      "required": ["taskId", "taskRevision", "taskStatus", "currentPlanHash", "stepId", "stepStatus", "inProgressStepIds", "remediationAttemptCount", "correctivePosture", "correctiveDecision", "candidatePlanHash", "candidateStepIds", "actorRoleEligible", "c1ClaimAbsent", "writerLeaseAbsent", "planValidationPassed", "receiptValid", "riskAuditPassed"],
+      "properties": {
+        "taskId": { "$ref": "#/$defs/taskId" },
+        "taskRevision": { "$ref": "#/$defs/expectedRevision" },
+        "taskStatus": { "type": "string" },
+        "currentPlanHash": { "type": ["string", "null"] },
+        "stepId": { "type": "string", "minLength": 1 },
+        "stepStatus": { "type": ["string", "null"] },
+        "inProgressStepIds": { "type": "array", "items": { "type": "string" } },
+        "remediationAttemptCount": { "type": "integer", "minimum": 0 },
+        "correctivePosture": { "type": "string" },
+        "correctiveDecision": { "type": ["object", "null"] },
+        "candidatePlanHash": { "type": ["string", "null"] },
+        "candidateStepIds": { "type": ["array", "null"], "items": { "type": "string" } }
+        ,"actorRoleEligible": { "type": "boolean" }
+        ,"c1ClaimAbsent": { "type": "boolean" }
+        ,"writerLeaseAbsent": { "type": "boolean" }
+        ,"planValidationPassed": { "type": "boolean" }
+        ,"receiptValid": { "type": "boolean" }
+        ,"riskAuditPassed": { "type": "boolean" }
+      },
+      "additionalProperties": false
+    },
+    "correctiveReplanBindings": {
+      "type": "object",
+      "required": ["taskId", "expectedRevision", "currentPlanHash", "stepId", "correctiveDecisionEventId"],
+      "properties": {
+        "taskId": { "$ref": "#/$defs/taskId" },
+        "expectedRevision": { "$ref": "#/$defs/expectedRevision" },
+        "currentPlanHash": { "type": "string", "minLength": 1 },
+        "stepId": { "type": "string", "minLength": 1 },
+        "correctiveDecisionEventId": { "type": "string", "minLength": 1 },
+        "candidatePlanHash": { "type": "string", "minLength": 1 },
+        "candidateStepIds": { "type": "array", "items": { "type": "string" }, "uniqueItems": true }
+      },
+      "additionalProperties": false
+    },
+    "taskStateReadback": {
+      "type": "object",
+      "required": ["id", "revision", "status", "planHash"],
+      "properties": {
+        "id": { "$ref": "#/$defs/taskId" },
+        "revision": { "$ref": "#/$defs/expectedRevision" },
+        "status": { "type": "string" },
+        "planHash": { "type": ["string", "null"] }
+      },
+      "additionalProperties": true
+    }
+  }
+}