codex-workflow-v2 2.0.0-beta.12 → 2.0.0-beta.12.10

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

@@ -0,0 +1,71 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://codex-workflow.local/schemas/downstream-proof-invalidation-event.schema.json",
+  "title": "Codex Workflow V2 Downstream Proof Invalidation Event",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "eventId",
+    "taskId",
+    "previousTaskRevision",
+    "resultTaskRevision",
+    "planHash",
+    "activeStepId",
+    "invalidatedSteps",
+    "dirtyFiles",
+    "preservedHeadCommit",
+    "actor",
+    "reason",
+    "packageVersion",
+    "previousEventHash",
+    "recordedAt",
+    "eventHash"
+  ],
+  "properties": {
+    "eventId": { "type": "string", "pattern": "^DPI-[0-9A-HJKMNP-TV-Z]{26}$" },
+    "taskId": { "$ref": "#/$defs/taskId" },
+    "previousTaskRevision": { "type": "integer", "minimum": 1 },
+    "resultTaskRevision": { "type": "integer", "minimum": 2 },
+    "planHash": { "$ref": "#/$defs/hash64" },
+    "activeStepId": { "$ref": "#/$defs/stepId" },
+    "invalidatedSteps": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["stepId", "evidenceCommit", "triggerFiles"],
+        "properties": {
+          "stepId": { "$ref": "#/$defs/stepId" },
+          "evidenceCommit": { "$ref": "#/$defs/gitHash" },
+          "triggerFiles": {
+            "type": "array",
+            "uniqueItems": true,
+            "items": { "type": "string", "minLength": 1 }
+          }
+        }
+      }
+    },
+    "dirtyFiles": {
+      "type": "array",
+      "minItems": 1,
+      "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 },
+    "packageVersion": { "type": "string", "minLength": 1 },
+    "previousEventHash": { "$ref": "#/$defs/nullableHash64" },
+    "recordedAt": { "type": "string", "format": "date-time" },
+    "eventHash": { "$ref": "#/$defs/hash64" }
+  },
+  "$defs": {
+    "taskId": { "type": "string", "pattern": "^TASK-[0-9A-HJKMNP-TV-Z]{26}$" },
+    "stepId": { "type": "string", "pattern": "^STEP-[0-9]{3}(?:-[A-Z0-9-]+)?$" },
+    "gitHash": { "type": "string", "pattern": "^[a-f0-9]{40}$" },
+    "hash64": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+    "nullableHash64": { "type": ["string", "null"], "pattern": "^[a-f0-9]{64}$" }
+  }
+}

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/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/stop-escalate-override-event.schema.json

@@ -0,0 +1,45 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://codex-workflow.local/schemas/stop-escalate-override-event.schema.json",
+  "title": "Codex Workflow V2 Stop-Escalate Override Event",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "eventId", "taskId", "taskRevision", "stepId", "stopDecisionEventId",
+    "stopDecisionEventHash", "priorContinueDecisionEventId", "priorContinueDecisionEventHash",
+    "triggeringAttemptCount", "coveredEventIds", "planHash", "headCommit", "actor", "reason",
+    "packageVersion", "confirmationCodeBindingHash", "policy", "previousEventHash", "recordedAt", "eventHash"
+  ],
+  "properties": {
+    "eventId": { "type": "string", "pattern": "^SOO-[0-9A-HJKMNP-TV-Z]{26}$" },
+    "taskId": { "type": "string", "pattern": "^TASK-[0-9A-HJKMNP-TV-Z]{26}$" },
+    "taskRevision": { "type": "integer", "minimum": 1 },
+    "stepId": { "type": "string", "pattern": "^STEP-[0-9]{3}(?:-[A-Z0-9-]+)?$" },
+    "stopDecisionEventId": { "type": "string", "pattern": "^CRD-[0-9A-HJKMNP-TV-Z]{26}$" },
+    "stopDecisionEventHash": { "$ref": "#/$defs/hash64" },
+    "priorContinueDecisionEventId": { "type": "string", "pattern": "^CRD-[0-9A-HJKMNP-TV-Z]{26}$" },
+    "priorContinueDecisionEventHash": { "$ref": "#/$defs/hash64" },
+    "triggeringAttemptCount": { "const": 4 },
+    "coveredEventIds": {
+      "type": "array",
+      "minItems": 3,
+      "maxItems": 3,
+      "uniqueItems": true,
+      "items": { "type": "string", "pattern": "^RME-[0-9A-HJKMNP-TV-Z]{26}$" }
+    },
+    "planHash": { "$ref": "#/$defs/hash64" },
+    "headCommit": { "type": "string", "pattern": "^[a-f0-9]{40}$" },
+    "actor": { "type": "string", "minLength": 1 },
+    "reason": { "type": "string", "minLength": 1 },
+    "packageVersion": { "type": "string", "minLength": 1 },
+    "confirmationCodeBindingHash": { "$ref": "#/$defs/hash64" },
+    "policy": { "const": "beta11-attempt4-stop-compatibility-v1" },
+    "previousEventHash": { "$ref": "#/$defs/nullableHash64" },
+    "recordedAt": { "type": "string", "format": "date-time" },
+    "eventHash": { "$ref": "#/$defs/hash64" }
+  },
+  "$defs": {
+    "hash64": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+    "nullableHash64": { "type": ["string", "null"], "pattern": "^[a-f0-9]{64}$" }
+  }
+}

package/schemas/task.schema.json

@@ -55,6 +55,38 @@
     },
     "replacementForTaskId": { "type": ["string", "null"], "pattern": "^TASK-[0-9A-HJKMNP-TV-Z]{26}$" },
     "replacedByTaskId": { "type": ["string", "null"], "pattern": "^TASK-[0-9A-HJKMNP-TV-Z]{26}$" },
+    "invalidatedStepCommits": {
+      "type": "array",
+      "uniqueItems": true,
+      "items": { "type": "string", "pattern": "^[a-f0-9]{40}$" }
+    },
+    "historicalStepProvenanceRecoveries": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": [
+          "commitSha",
+          "actor",
+          "reason",
+          "recordedAt",
+          "sourceFinalAcceptanceRecordedAt",
+          "sourcePlanHash",
+          "sourceResultHash",
+          "sourceEvidenceHash"
+        ],
+        "properties": {
+          "commitSha": { "type": "string", "pattern": "^[a-f0-9]{40}$" },
+          "actor": { "type": "string", "minLength": 1 },
+          "reason": { "type": "string", "minLength": 1 },
+          "recordedAt": { "type": "string", "format": "date-time" },
+          "sourceFinalAcceptanceRecordedAt": { "type": "string", "format": "date-time" },
+          "sourcePlanHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+          "sourceResultHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+          "sourceEvidenceHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" }
+        },
+        "additionalProperties": false
+      }
+    },
     "dependencyProvenanceRecoveries": {
       "type": "array",
       "items": {
@@ -73,6 +105,78 @@
             "type": "array",
             "uniqueItems": true,
             "items": { "type": "string", "pattern": "^[a-f0-9]{40}$" }
+          },
+          "activeDownstreamProof": {
+            "type": "object",
+            "required": ["activeStepId", "planHash", "dirtyFiles", "dirtyWorktreeHash", "invalidatedStepIds"],
+            "properties": {
+              "activeStepId": { "type": "string", "pattern": "^STEP-[A-Z0-9][A-Z0-9-]{2,63}$" },
+              "planHash": { "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}$" },
+              "invalidatedStepIds": {
+                "type": "array",
+                "minItems": 1,
+                "uniqueItems": true,
+                "items": { "type": "string", "pattern": "^STEP-[A-Z0-9][A-Z0-9-]{2,63}$" }
+              }
+            },
+            "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
+          },
+          "historicalStepProvenance": {
+            "type": "object",
+            "required": ["activeStepId", "planHash", "dirtyFiles", "dirtyWorktreeHash", "retainedCommitSha"],
+            "properties": {
+              "activeStepId": { "type": "string", "pattern": "^STEP-[A-Z0-9][A-Z0-9-]{2,63}$" },
+              "planHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+              "dirtyFiles": {
+                "type": "array",
+                "uniqueItems": true,
+                "items": { "type": "string", "minLength": 1 }
+              },
+              "dirtyWorktreeHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+              "retainedCommitSha": { "type": "string", "pattern": "^[a-f0-9]{40}$" }
+            },
+            "additionalProperties": false
           }
         },
         "additionalProperties": false

package/scripts/generate-pdf-docs.py

@@ -200,6 +200,14 @@ def styles() -> dict[str, ParagraphStyle]:
             leading=10.3,
             textColor=TEXT,
         ),
+        "table_header": ParagraphStyle(
+            "TableHeader",
+            parent=base["BodyText"],
+            fontName="WorkflowBold",
+            fontSize=7.7,
+            leading=10.3,
+            textColor=colors.white,
+        ),
         "code": ParagraphStyle(
             "Code",
             parent=base["BodyText"],
@@ -316,8 +324,11 @@ def markdown_story(lines: list[str], style: dict[str, ParagraphStyle]) -> list:
             column_count = max(len(row) for row in rows)
             normalized = [row + [""] * (column_count - len(row)) for row in rows]
             rendered = [
-                [Paragraph(inline_markup(cell), style["small"]) for cell in row]
-                for row in normalized
+                [
+                    Paragraph(inline_markup(cell), style["table_header"] if row_index == 0 else style["small"])
+                    for cell in row
+                ]
+                for row_index, row in enumerate(normalized)
             ]
             table = LongTable(rendered, colWidths=table_widths(column_count), repeatRows=1)
             table.setStyle(TableStyle([