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

package/schemas/transition-definition.schema.json

@@ -0,0 +1,2609 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://codex-workflow.local/schemas/transition-definition-v4.schema.json",
+  "title": "Codex Workflow V2 Guarded Transition Definition Format 4",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "definitionFormatVersion",
+    "transitionId",
+    "guardNamespace",
+    "lifecycleEpoch",
+    "entity",
+    "scope",
+    "command",
+    "sourcePosture",
+    "inputContract",
+    "snapshotContract",
+    "bindingContract",
+    "outputContract",
+    "guards",
+    "authority",
+    "effects",
+    "admissionBoundary",
+    "atomicity",
+    "racePreconditions",
+    "navigation",
+    "executorAdapter",
+    "readinessManifest",
+    "traceability",
+    "documentation",
+    "runtimeSemanticFingerprint",
+    "semanticFingerprint",
+    "definitionManifestHash"
+  ],
+  "properties": {
+    "definitionFormatVersion": {
+      "const": 4
+    },
+    "transitionId": {
+      "$ref": "#/$defs/transitionId"
+    },
+    "guardNamespace": {
+      "$ref": "#/$defs/stableId"
+    },
+    "lifecycleEpoch": {
+      "const": 2
+    },
+    "entity": {
+      "enum": [
+        "project",
+        "project-memory",
+        "discovery",
+        "task",
+        "milestone",
+        "step"
+      ]
+    },
+    "scope": {
+      "enum": [
+        "repository",
+        "project",
+        "entity",
+        "task-step"
+      ]
+    },
+    "command": {
+      "$ref": "#/$defs/command"
+    },
+    "sourcePosture": {
+      "$ref": "#/$defs/sourcePosture"
+    },
+    "inputContract": {
+      "type": "array",
+      "uniqueItems": true,
+      "items": {
+        "$ref": "#/$defs/inputRequirement"
+      }
+    },
+    "snapshotContract": {
+      "$ref": "#/$defs/projectionRef"
+    },
+    "bindingContract": {
+      "$ref": "#/$defs/projectionRef"
+    },
+    "outputContract": {
+      "type": "array",
+      "uniqueItems": true,
+      "items": {
+        "$ref": "#/$defs/outputRequirement"
+      }
+    },
+    "guards": {
+      "type": "array",
+      "minItems": 1,
+      "uniqueItems": true,
+      "items": {
+        "$ref": "#/$defs/guard"
+      }
+    },
+    "authority": {
+      "$ref": "#/$defs/authority"
+    },
+    "effects": {
+      "$ref": "#/$defs/effectGraph"
+    },
+    "admissionBoundary": {
+      "$ref": "#/$defs/admissionBoundary"
+    },
+    "atomicity": {
+      "$ref": "#/$defs/atomicity"
+    },
+    "racePreconditions": {
+      "type": "array",
+      "uniqueItems": true,
+      "items": {
+        "$ref": "#/$defs/racePrecondition"
+      }
+    },
+    "navigation": {
+      "$ref": "#/$defs/navigation"
+    },
+    "executorAdapter": {
+      "$ref": "#/$defs/effectAdapterRef"
+    },
+    "readinessManifest": {
+      "$ref": "#/$defs/readinessManifest"
+    },
+    "traceability": {
+      "$ref": "#/$defs/traceability"
+    },
+    "documentation": {
+      "$ref": "#/$defs/documentation"
+    },
+    "runtimeSemanticFingerprint": {
+      "$ref": "#/$defs/hash64"
+    },
+    "semanticFingerprint": {
+      "$ref": "#/$defs/hash64"
+    },
+    "definitionManifestHash": {
+      "$ref": "#/$defs/hash64"
+    }
+  },
+  "allOf": [
+    {
+      "if": {
+        "properties": {
+          "entity": {
+            "enum": [
+              "task",
+              "step"
+            ]
+          }
+        },
+        "required": [
+          "entity"
+        ]
+      },
+      "then": {
+        "properties": {
+          "transitionId": {
+            "type": "string",
+            "pattern": "^task\\."
+          },
+          "guardNamespace": {
+            "type": "string",
+            "pattern": "^task\\."
+          }
+        }
+      }
+    },
+    {
+      "if": {
+        "properties": {
+          "entity": {
+            "const": "milestone"
+          }
+        },
+        "required": [
+          "entity"
+        ]
+      },
+      "then": {
+        "properties": {
+          "transitionId": {
+            "type": "string",
+            "pattern": "^milestone\\."
+          },
+          "guardNamespace": {
+            "type": "string",
+            "pattern": "^milestone\\."
+          }
+        }
+      }
+    },
+    {
+      "if": {
+        "properties": {
+          "entity": {
+            "enum": [
+              "project",
+              "project-memory"
+            ]
+          }
+        },
+        "required": [
+          "entity"
+        ]
+      },
+      "then": {
+        "properties": {
+          "transitionId": {
+            "type": "string",
+            "pattern": "^project\\."
+          },
+          "guardNamespace": {
+            "type": "string",
+            "pattern": "^project\\."
+          }
+        }
+      }
+    },
+    {
+      "if": {
+        "properties": {
+          "entity": {
+            "const": "discovery"
+          }
+        },
+        "required": [
+          "entity"
+        ]
+      },
+      "then": {
+        "properties": {
+          "transitionId": {
+            "type": "string",
+            "pattern": "^discovery\\."
+          },
+          "guardNamespace": {
+            "type": "string",
+            "pattern": "^discovery\\."
+          }
+        }
+      }
+    },
+    {
+      "if": {
+        "properties": {
+          "transitionId": {
+            "const": "task.plan.corrective-replan"
+          }
+        },
+        "required": [
+          "transitionId"
+        ]
+      },
+      "then": {
+        "properties": {
+          "guardNamespace": {
+            "const": "task.corrective-replan"
+          },
+          "guards": {
+            "type": "array",
+            "items": {
+              "type": "object",
+              "properties": {
+                "guardId": {
+                  "type": "string",
+                  "pattern": "^task\\.corrective-replan\\.[a-z][a-z0-9-]*$"
+                }
+              }
+            }
+          }
+        }
+      }
+    }
+  ],
+  "$defs": {
+    "semanticRegistryVocabulary": {
+      "const": {
+        "capabilities": [
+          "capability.task.corrective-replan@1"
+        ],
+        "clocks": [
+          "clock.workflow-core-utc@1"
+        ],
+        "coverageProducers": [],
+        "coverageProfiles": [
+          "coverage-profile.exact-transition@1"
+        ],
+        "credentialPolicies": [
+          "credential-policy.corrective-execution-receipt@1"
+        ],
+        "credentialVerifiers": [
+          "credential-verifier.corrective-replan.receipt@1"
+        ],
+        "delegationPolicies": [
+          "delegation.forbidden@1"
+        ],
+        "effectAdapters": [
+          "effect-adapter.journaled-corrective-replan@1"
+        ],
+        "executionKeyPolicies": [
+          "execution-key-policy.corrective-replan-exact@1"
+        ],
+        "guardEvaluators": [
+          "guard-evaluator.task.corrective-replan.active-decision@1",
+          "guard-evaluator.task.corrective-replan.actor-role-eligible@1",
+          "guard-evaluator.task.corrective-replan.attempt-threshold@1",
+          "guard-evaluator.task.corrective-replan.bindings-current@1",
+          "guard-evaluator.task.corrective-replan.guarded-step-retained@1",
+          "guard-evaluator.task.corrective-replan.no-c1-claim@1",
+          "guard-evaluator.task.corrective-replan.no-step-in-progress@1",
+          "guard-evaluator.task.corrective-replan.no-writer-lease@1",
+          "guard-evaluator.task.corrective-replan.plan-validation-passed@1",
+          "guard-evaluator.task.corrective-replan.receipt-valid@1",
+          "guard-evaluator.task.corrective-replan.risk-audit-passed@1",
+          "guard-evaluator.task.corrective-replan.semantic-plan-change@1",
+          "guard-evaluator.task.corrective-replan.source-posture@1"
+        ],
+        "hashPolicies": [
+          "hash-policy.canonical-json-sha256@1",
+          "hash-policy.raw-sha256@1"
+        ],
+        "identities": [
+          "identity.actor@1",
+          "identity.human-principal@1",
+          "identity.plan-author@1",
+          "identity.plan-validator@1",
+          "identity.risk-auditor@1",
+          "identity.workflow-core@1"
+        ],
+        "identityComparators": [
+          "identity-comparator.corrective-replan.author-human-principal@1",
+          "identity-comparator.corrective-replan.author-risk-auditor@1",
+          "identity-comparator.corrective-replan.author-validator@1"
+        ],
+        "inputs": [
+          "input.corrective-execution-receipt@1",
+          "input.corrective-plan-risk-audit@1",
+          "input.corrective-plan-validation@1",
+          "input.corrective-replacement-plan@1",
+          "input.expected-revision@1",
+          "input.task-id@1"
+        ],
+        "journalAdapters": [
+          "journal-adapter.corrective-replan-task@1"
+        ],
+        "journalSchemas": [
+          "journal-schema.corrective-replan-task@1"
+        ],
+        "limitations": [
+          "limitation.release-profile.verified-evidence-external@1"
+        ],
+        "lockPolicies": [
+          "lock-policy.corrective-replan-task-exclusive@1"
+        ],
+        "ownershipPolicies": [
+          "ownership.corrective-replan-clear@1"
+        ],
+        "principalBases": [
+          "principal-basis.human-confirmation@1"
+        ],
+        "projections": [
+          "projection.corrective-replan.authority@1",
+          "projection.corrective-replan.bindings@1",
+          "projection.corrective-replan.candidate@1",
+          "projection.corrective-replan.execution-receipt@1",
+          "projection.corrective-replan.protocol@1",
+          "projection.corrective-replan.snapshot@1",
+          "projection.corrective-replan.state@1",
+          "projection.corrective-replan.terminal-readback@1",
+          "projection.input.execution-receipt@1",
+          "projection.input.expected-revision@1",
+          "projection.input.plan-risk-audit@1",
+          "projection.input.plan-validation@1",
+          "projection.input.replacement-plan@1",
+          "projection.input.task-id@1",
+          "projection.task-state.readback@1"
+        ],
+        "readbackAdapters": [
+          "readback-adapter.corrective-replan-terminal@1"
+        ],
+        "recoveryAdapters": [
+          "recovery-adapter.corrective-replan-roll-forward@1"
+        ],
+        "releaseProfiles": [
+          "release-profile.exact-mutation@1"
+        ],
+        "resources": [
+          "resource.corrective-replan-execution-sidecar@1",
+          "resource.corrective-replan-journal@1",
+          "resource.plan-artifact@1",
+          "resource.plan-risk-audit-sidecar@1",
+          "resource.plan-validation-sidecar@1",
+          "resource.task-state@1"
+        ],
+        "schemas": [
+          "schema.corrective-replan-binding@1",
+          "schema.corrective-replan-bindings@1",
+          "schema.corrective-replan-plan-validation-attestation@1",
+          "schema.corrective-replan-receipt@1",
+          "schema.corrective-replan-snapshot@1",
+          "schema.corrective-replan-task-transaction@1",
+          "schema.expected-revision@1",
+          "schema.plan-risk-audit-input@1",
+          "schema.task-id@1",
+          "schema.task-plan-input@1",
+          "schema.task-state-readback@1"
+        ],
+        "semanticRules": [
+          "semantic-rule.admission-boundary@1",
+          "semantic-rule.definition-integrity@1",
+          "semantic-rule.exact-authority@1",
+          "semantic-rule.reliable-effects@1",
+          "semantic-rule.required-inputs@1"
+        ],
+        "projectionFields": [
+          "projection.corrective-replan.authority@1:field.actor-identity-hash",
+          "projection.corrective-replan.authority@1:field.actor-role",
+          "projection.corrective-replan.authority@1:field.capability-id",
+          "projection.corrective-replan.authority@1:field.capability-version",
+          "projection.corrective-replan.authority@1:field.human-principal-identity-hash",
+          "projection.corrective-replan.bindings@1:field.candidate-plan-hash",
+          "projection.corrective-replan.bindings@1:field.candidate-step-ids",
+          "projection.corrective-replan.bindings@1:field.corrective-decision-event-id",
+          "projection.corrective-replan.bindings@1:field.current-plan-hash",
+          "projection.corrective-replan.bindings@1:field.expected-revision",
+          "projection.corrective-replan.bindings@1:field.step-id",
+          "projection.corrective-replan.bindings@1:field.task-id",
+          "projection.corrective-replan.candidate@1:field.candidate-plan-hash",
+          "projection.corrective-replan.candidate@1:field.candidate-step-set-hash",
+          "projection.corrective-replan.candidate@1:field.plan-author-identity-hash",
+          "projection.corrective-replan.candidate@1:field.plan-validation-hash",
+          "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.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",
+          "projection.corrective-replan.execution-receipt@1:field.brief-hash",
+          "projection.corrective-replan.execution-receipt@1:field.candidate-plan-hash",
+          "projection.corrective-replan.execution-receipt@1:field.candidate-step-set-hash",
+          "projection.corrective-replan.execution-receipt@1:field.capability-id",
+          "projection.corrective-replan.execution-receipt@1:field.capability-version",
+          "projection.corrective-replan.execution-receipt@1:field.catalog-hash",
+          "projection.corrective-replan.execution-receipt@1:field.corrective-decision-event-id",
+          "projection.corrective-replan.execution-receipt@1:field.corrective-decision-hash",
+          "projection.corrective-replan.execution-receipt@1:field.current-plan-hash",
+          "projection.corrective-replan.execution-receipt@1:field.git-head",
+          "projection.corrective-replan.execution-receipt@1:field.guarded-step-id",
+          "projection.corrective-replan.execution-receipt@1:field.human-principal-identity-hash",
+          "projection.corrective-replan.execution-receipt@1:field.knowledge-hash",
+          "projection.corrective-replan.execution-receipt@1:field.knowledge-revision",
+          "projection.corrective-replan.execution-receipt@1:field.lifecycle-epoch",
+          "projection.corrective-replan.execution-receipt@1:field.plan-author-identity-hash",
+          "projection.corrective-replan.execution-receipt@1:field.plan-validation-hash",
+          "projection.corrective-replan.execution-receipt@1:field.plan-validator-identity-hash",
+          "projection.corrective-replan.execution-receipt@1:field.remediation-tail-hash",
+          "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.task-id",
+          "projection.corrective-replan.execution-receipt@1:field.task-revision",
+          "projection.corrective-replan.execution-receipt@1:field.transition-id",
+          "projection.corrective-replan.protocol@1:field.catalog-hash",
+          "projection.corrective-replan.protocol@1:field.lifecycle-epoch",
+          "projection.corrective-replan.protocol@1:field.runtime-fingerprint",
+          "projection.corrective-replan.protocol@1:field.transition-id",
+          "projection.corrective-replan.snapshot@1:field.actor-role-eligible",
+          "projection.corrective-replan.snapshot@1:field.c1-claim-absent",
+          "projection.corrective-replan.snapshot@1:field.candidate-plan-hash",
+          "projection.corrective-replan.snapshot@1:field.candidate-step-ids",
+          "projection.corrective-replan.snapshot@1:field.corrective-decision-decision",
+          "projection.corrective-replan.snapshot@1:field.corrective-decision-event-id",
+          "projection.corrective-replan.snapshot@1:field.corrective-decision-plan-hash",
+          "projection.corrective-replan.snapshot@1:field.corrective-decision-step-id",
+          "projection.corrective-replan.snapshot@1:field.corrective-decision-triggering-attempt-count",
+          "projection.corrective-replan.snapshot@1:field.corrective-posture",
+          "projection.corrective-replan.snapshot@1:field.current-plan-hash",
+          "projection.corrective-replan.snapshot@1:field.in-progress-step-ids",
+          "projection.corrective-replan.snapshot@1:field.plan-validation-passed",
+          "projection.corrective-replan.snapshot@1:field.receipt-valid",
+          "projection.corrective-replan.snapshot@1:field.remediation-attempt-count",
+          "projection.corrective-replan.snapshot@1:field.risk-audit-passed",
+          "projection.corrective-replan.snapshot@1:field.step-id",
+          "projection.corrective-replan.snapshot@1:field.step-status",
+          "projection.corrective-replan.snapshot@1:field.task-id",
+          "projection.corrective-replan.snapshot@1:field.task-revision",
+          "projection.corrective-replan.snapshot@1:field.task-status",
+          "projection.corrective-replan.snapshot@1:field.writer-lease-absent",
+          "projection.corrective-replan.state@1:field.attempt-count",
+          "projection.corrective-replan.state@1:field.brief-hash",
+          "projection.corrective-replan.state@1:field.corrective-decision-event-id",
+          "projection.corrective-replan.state@1:field.corrective-decision-hash",
+          "projection.corrective-replan.state@1:field.current-plan-hash",
+          "projection.corrective-replan.state@1:field.git-head",
+          "projection.corrective-replan.state@1:field.guarded-step-id",
+          "projection.corrective-replan.state@1:field.knowledge-hash",
+          "projection.corrective-replan.state@1:field.knowledge-revision",
+          "projection.corrective-replan.state@1:field.remediation-tail-hash",
+          "projection.corrective-replan.state@1:field.task-id",
+          "projection.corrective-replan.state@1:field.task-revision",
+          "projection.corrective-replan.terminal-readback@1:field.catalog-hash",
+          "projection.corrective-replan.terminal-readback@1:field.current-plan-hash",
+          "projection.corrective-replan.terminal-readback@1:field.plan-validation-hash",
+          "projection.corrective-replan.terminal-readback@1:field.risk-audit-hash",
+          "projection.corrective-replan.terminal-readback@1:field.runtime-fingerprint",
+          "projection.corrective-replan.terminal-readback@1:field.task-id",
+          "projection.corrective-replan.terminal-readback@1:field.task-revision",
+          "projection.corrective-replan.terminal-readback@1:field.task-status",
+          "projection.input.execution-receipt@1:field.actor-identity-hash",
+          "projection.input.execution-receipt@1:field.actor-role",
+          "projection.input.execution-receipt@1:field.attempt-count",
+          "projection.input.execution-receipt@1:field.brief-hash",
+          "projection.input.execution-receipt@1:field.candidate-plan-hash",
+          "projection.input.execution-receipt@1:field.candidate-step-set-hash",
+          "projection.input.execution-receipt@1:field.capability-id",
+          "projection.input.execution-receipt@1:field.capability-version",
+          "projection.input.execution-receipt@1:field.catalog-hash",
+          "projection.input.execution-receipt@1:field.corrective-decision-event-id",
+          "projection.input.execution-receipt@1:field.corrective-decision-hash",
+          "projection.input.execution-receipt@1:field.current-plan-hash",
+          "projection.input.execution-receipt@1:field.git-head",
+          "projection.input.execution-receipt@1:field.guarded-step-id",
+          "projection.input.execution-receipt@1:field.human-principal-identity-hash",
+          "projection.input.execution-receipt@1:field.knowledge-hash",
+          "projection.input.execution-receipt@1:field.knowledge-revision",
+          "projection.input.execution-receipt@1:field.lifecycle-epoch",
+          "projection.input.execution-receipt@1:field.plan-author-identity-hash",
+          "projection.input.execution-receipt@1:field.plan-validation-hash",
+          "projection.input.execution-receipt@1:field.plan-validator-identity-hash",
+          "projection.input.execution-receipt@1:field.remediation-tail-hash",
+          "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.task-id",
+          "projection.input.execution-receipt@1:field.task-revision",
+          "projection.input.execution-receipt@1:field.transition-id",
+          "projection.input.expected-revision@1:field.expected-revision",
+          "projection.input.plan-risk-audit@1:field.risk-audit-hash",
+          "projection.input.plan-risk-audit@1:field.risk-auditor-identity-hash",
+          "projection.input.plan-validation@1:field.plan-validation-hash",
+          "projection.input.plan-validation@1:field.plan-validator-identity-hash",
+          "projection.input.replacement-plan@1:field.candidate-plan-hash",
+          "projection.input.replacement-plan@1:field.candidate-step-ids",
+          "projection.input.replacement-plan@1:field.candidate-step-set-hash",
+          "projection.input.task-id@1:field.task-id",
+          "projection.task-state.readback@1:field.task-id",
+          "projection.task-state.readback@1:field.task-plan-hash",
+          "projection.task-state.readback@1:field.task-revision",
+          "projection.task-state.readback@1:field.task-status"
+        ]
+      }
+    },
+    "transitionId": {
+      "type": "string",
+      "pattern": "^(task|milestone|project|discovery)\\.[a-z0-9]+(?:[.-][a-z0-9]+)*$"
+    },
+    "stableId": {
+      "type": "string",
+      "pattern": "^[a-z][a-z0-9]*(?:[.-][a-z0-9]+)*$"
+    },
+    "hash64": {
+      "type": "string",
+      "pattern": "^[a-f0-9]{64}$"
+    },
+    "nonEmptyString": {
+      "type": "string",
+      "minLength": 1
+    },
+    "uniqueStrings": {
+      "type": "array",
+      "uniqueItems": true,
+      "items": {
+        "$ref": "#/$defs/nonEmptyString"
+      }
+    },
+    "fieldId": {
+      "enum": [
+        "field.actor-identity-hash",
+        "field.actor-role",
+        "field.actor-role-eligible",
+        "field.attempt-count",
+        "field.brief-hash",
+        "field.c1-claim-absent",
+        "field.candidate-plan-hash",
+        "field.candidate-step-ids",
+        "field.candidate-step-set-hash",
+        "field.capability-id",
+        "field.capability-version",
+        "field.catalog-hash",
+        "field.corrective-decision-decision",
+        "field.corrective-decision-event-id",
+        "field.corrective-decision-hash",
+        "field.corrective-decision-plan-hash",
+        "field.corrective-decision-step-id",
+        "field.corrective-decision-triggering-attempt-count",
+        "field.corrective-posture",
+        "field.current-plan-hash",
+        "field.expected-revision",
+        "field.git-head",
+        "field.guarded-step-id",
+        "field.human-principal-identity-hash",
+        "field.in-progress-step-ids",
+        "field.knowledge-hash",
+        "field.knowledge-revision",
+        "field.lifecycle-epoch",
+        "field.plan-author-identity-hash",
+        "field.plan-validation-hash",
+        "field.plan-validation-passed",
+        "field.plan-validator-identity-hash",
+        "field.receipt-valid",
+        "field.remediation-attempt-count",
+        "field.remediation-tail-hash",
+        "field.risk-audit-hash",
+        "field.risk-audit-passed",
+        "field.risk-auditor-identity-hash",
+        "field.runtime-fingerprint",
+        "field.step-id",
+        "field.step-status",
+        "field.task-id",
+        "field.task-plan-hash",
+        "field.task-revision",
+        "field.task-status",
+        "field.transition-id",
+        "field.writer-lease-absent"
+      ]
+    },
+    "inputRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "input.corrective-execution-receipt",
+            "input.corrective-plan-risk-audit",
+            "input.corrective-plan-validation",
+            "input.corrective-replacement-plan",
+            "input.expected-revision",
+            "input.task-id"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "projectionRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "projection.corrective-replan.authority",
+            "projection.corrective-replan.bindings",
+            "projection.corrective-replan.candidate",
+            "projection.corrective-replan.execution-receipt",
+            "projection.corrective-replan.protocol",
+            "projection.corrective-replan.snapshot",
+            "projection.corrective-replan.state",
+            "projection.corrective-replan.terminal-readback",
+            "projection.input.execution-receipt",
+            "projection.input.expected-revision",
+            "projection.input.plan-risk-audit",
+            "projection.input.plan-validation",
+            "projection.input.replacement-plan",
+            "projection.input.task-id",
+            "projection.task-state.readback"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "hashPolicyRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "hash-policy.canonical-json-sha256",
+            "hash-policy.raw-sha256"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "identityRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "identity.actor",
+            "identity.human-principal",
+            "identity.plan-author",
+            "identity.plan-validator",
+            "identity.risk-auditor",
+            "identity.workflow-core"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "identityComparatorRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "identity-comparator.corrective-replan.author-human-principal",
+            "identity-comparator.corrective-replan.author-risk-auditor",
+            "identity-comparator.corrective-replan.author-validator"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "principalBasisRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "principal-basis.human-confirmation"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "capabilityRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "capability.task.corrective-replan"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "credentialPolicyRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "credential-policy.corrective-execution-receipt"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "credentialVerifierRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "credential-verifier.corrective-replan.receipt"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "delegationPolicyRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "delegation.forbidden"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "ownershipPolicyRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "ownership.corrective-replan-clear"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "guardEvaluatorRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "guard-evaluator.task.corrective-replan.active-decision",
+            "guard-evaluator.task.corrective-replan.actor-role-eligible",
+            "guard-evaluator.task.corrective-replan.attempt-threshold",
+            "guard-evaluator.task.corrective-replan.bindings-current",
+            "guard-evaluator.task.corrective-replan.guarded-step-retained",
+            "guard-evaluator.task.corrective-replan.no-c1-claim",
+            "guard-evaluator.task.corrective-replan.no-step-in-progress",
+            "guard-evaluator.task.corrective-replan.no-writer-lease",
+            "guard-evaluator.task.corrective-replan.plan-validation-passed",
+            "guard-evaluator.task.corrective-replan.receipt-valid",
+            "guard-evaluator.task.corrective-replan.risk-audit-passed",
+            "guard-evaluator.task.corrective-replan.semantic-plan-change",
+            "guard-evaluator.task.corrective-replan.source-posture"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "effectAdapterRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "effect-adapter.journaled-corrective-replan"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "resourceRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "resource.corrective-replan-execution-sidecar",
+            "resource.corrective-replan-journal",
+            "resource.plan-artifact",
+            "resource.plan-risk-audit-sidecar",
+            "resource.plan-validation-sidecar",
+            "resource.task-state"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "lockPolicyRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "lock-policy.corrective-replan-task-exclusive"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "executionKeyPolicyRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "execution-key-policy.corrective-replan-exact"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "journalSchemaRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "journal-schema.corrective-replan-task"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "journalAdapterRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "journal-adapter.corrective-replan-task"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "recoveryAdapterRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "recovery-adapter.corrective-replan-roll-forward"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "readbackAdapterRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "readback-adapter.corrective-replan-terminal"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "releaseProfileRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "release-profile.exact-mutation"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "coverageProfileRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "coverage-profile.exact-transition"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "limitationRef": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "enum": [
+            "limitation.release-profile.verified-evidence-external"
+          ]
+        },
+        "version": {
+          "const": 1
+        }
+      }
+    },
+    "projectionSlice": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "projection",
+        "fieldIds"
+      ],
+      "properties": {
+        "projection": {
+          "$ref": "#/$defs/projectionRef"
+        },
+        "fieldIds": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/fieldId"
+          }
+        }
+      }
+    },
+    "projectionField": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "projection",
+        "fieldId"
+      ],
+      "properties": {
+        "projection": {
+          "$ref": "#/$defs/projectionRef"
+        },
+        "fieldId": {
+          "$ref": "#/$defs/fieldId"
+        }
+      }
+    },
+    "taskStatus": {
+      "enum": [
+        "planning",
+        "awaiting_execution_authorization",
+        "ready",
+        "in_progress",
+        "validating",
+        "needs_fix",
+        "awaiting_final_acceptance",
+        "merging",
+        "ready_to_merge",
+        "merged",
+        "blocked",
+        "cancelled"
+      ]
+    },
+    "milestoneStatus": {
+      "enum": [
+        "planning",
+        "awaiting_execution_authorization",
+        "active",
+        "validating",
+        "awaiting_final_acceptance",
+        "accepted",
+        "blocked",
+        "cancelled"
+      ]
+    },
+    "stepStatus": {
+      "enum": [
+        "planned",
+        "in_progress",
+        "completed",
+        "failed",
+        "blocked",
+        "skipped"
+      ]
+    },
+    "role": {
+      "enum": [
+        "scope-lead",
+        "technical-planner",
+        "delivery-coordinator",
+        "worker",
+        "independent-reviewer",
+        "human-principal",
+        "plan-validator",
+        "milestone-coordinator",
+        "delegate-coordinator",
+        "c1-claimant",
+        "corrective-auditor",
+        "workflow-core",
+        "update-migration-operator"
+      ]
+    },
+    "command": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "command",
+        "noun",
+        "action"
+      ],
+      "properties": {
+        "command": {
+          "$ref": "#/$defs/nonEmptyString"
+        },
+        "noun": {
+          "$ref": "#/$defs/nonEmptyString"
+        },
+        "action": {
+          "$ref": "#/$defs/nonEmptyString"
+        }
+      }
+    },
+    "sourcePosture": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "taskStatuses",
+        "milestoneStatuses",
+        "stepStatuses",
+        "correctivePostures"
+      ],
+      "properties": {
+        "taskStatuses": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/taskStatus"
+          }
+        },
+        "milestoneStatuses": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/milestoneStatus"
+          }
+        },
+        "stepStatuses": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/stepStatus"
+          }
+        },
+        "correctivePostures": {
+          "$ref": "#/$defs/uniqueStrings"
+        }
+      }
+    },
+    "inputRequirement": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "input",
+        "phase",
+        "required",
+        "sensitivity"
+      ],
+      "properties": {
+        "input": {
+          "$ref": "#/$defs/inputRef"
+        },
+        "phase": {
+          "enum": [
+            "availability",
+            "execution"
+          ]
+        },
+        "required": {
+          "type": "boolean"
+        },
+        "sensitivity": {
+          "enum": [
+            "public",
+            "sensitive"
+          ]
+        }
+      }
+    },
+    "outputRequirement": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "outputId",
+        "channel",
+        "sensitivity",
+        "required"
+      ],
+      "properties": {
+        "outputId": {
+          "type": "string",
+          "pattern": "^output\\.[a-z][a-z0-9-]*(?:\\.[a-z][a-z0-9-]*)*$"
+        },
+        "channel": {
+          "enum": [
+            "navigation",
+            "result",
+            "credential-receipt"
+          ]
+        },
+        "sensitivity": {
+          "enum": [
+            "public",
+            "redacted",
+            "issuance-only",
+            "internal"
+          ]
+        },
+        "required": {
+          "type": "boolean"
+        }
+      }
+    },
+    "guard": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "guardId",
+        "semanticVersion",
+        "phase",
+        "stage",
+        "reasonClass",
+        "evaluator",
+        "reads",
+        "requiredInputs",
+        "description"
+      ],
+      "properties": {
+        "guardId": {
+          "$ref": "#/$defs/stableId"
+        },
+        "semanticVersion": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "phase": {
+          "enum": [
+            "availability",
+            "execution"
+          ]
+        },
+        "stage": {
+          "enum": [
+            "observation",
+            "authority",
+            "candidate"
+          ]
+        },
+        "reasonClass": {
+          "enum": [
+            "lifecycle-blocker",
+            "authority-blocker",
+            "candidate-blocker",
+            "external-race",
+            "integrity-failure"
+          ]
+        },
+        "evaluator": {
+          "$ref": "#/$defs/guardEvaluatorRef"
+        },
+        "reads": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/projectionSlice"
+          }
+        },
+        "requiredInputs": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/inputRef"
+          }
+        },
+        "description": {
+          "$ref": "#/$defs/nonEmptyString"
+        }
+      }
+    },
+    "actorContract": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "identity",
+        "principalBasis",
+        "required"
+      ],
+      "properties": {
+        "identity": {
+          "$ref": "#/$defs/identityRef"
+        },
+        "principalBasis": {
+          "$ref": "#/$defs/principalBasisRef"
+        },
+        "required": {
+          "type": "boolean"
+        }
+      }
+    },
+    "principalContract": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "identity",
+        "principalBasis",
+        "issuer",
+        "allowedKinds"
+      ],
+      "properties": {
+        "identity": {
+          "$ref": "#/$defs/identityRef"
+        },
+        "principalBasis": {
+          "$ref": "#/$defs/principalBasisRef"
+        },
+        "issuer": {
+          "$ref": "#/$defs/identityRef"
+        },
+        "allowedKinds": {
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": {
+            "enum": [
+              "human",
+              "workflow-core",
+              "delegation-grant",
+              "update-operator"
+            ]
+          }
+        }
+      }
+    },
+    "capabilityRequirement": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "capability",
+        "source",
+        "required"
+      ],
+      "properties": {
+        "capability": {
+          "$ref": "#/$defs/capabilityRef"
+        },
+        "source": {
+          "enum": [
+            "catalog",
+            "principal",
+            "credential",
+            "state"
+          ]
+        },
+        "required": {
+          "type": "boolean"
+        }
+      }
+    },
+    "guardEnforcement": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "kind",
+        "guardId",
+        "evaluator"
+      ],
+      "properties": {
+        "kind": {
+          "const": "guard"
+        },
+        "guardId": {
+          "$ref": "#/$defs/stableId"
+        },
+        "evaluator": {
+          "$ref": "#/$defs/guardEvaluatorRef"
+        }
+      }
+    },
+    "credentialEnforcement": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "kind",
+        "verifier"
+      ],
+      "properties": {
+        "kind": {
+          "const": "credential-verifier"
+        },
+        "verifier": {
+          "$ref": "#/$defs/credentialVerifierRef"
+        }
+      }
+    },
+    "attestationEnforcement": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "kind",
+        "input",
+        "verifier"
+      ],
+      "properties": {
+        "kind": {
+          "const": "attestation"
+        },
+        "input": {
+          "$ref": "#/$defs/inputRef"
+        },
+        "verifier": {
+          "$ref": "#/$defs/credentialVerifierRef"
+        }
+      }
+    },
+    "identityEnforcement": {
+      "oneOf": [
+        {
+          "$ref": "#/$defs/guardEnforcement"
+        },
+        {
+          "$ref": "#/$defs/credentialEnforcement"
+        },
+        {
+          "$ref": "#/$defs/attestationEnforcement"
+        }
+      ]
+    },
+    "separationConstraint": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "constraintId",
+        "left",
+        "right",
+        "relation",
+        "missingIdentity",
+        "comparator",
+        "enforcement"
+      ],
+      "properties": {
+        "constraintId": {
+          "type": "string",
+          "pattern": "^sod\\."
+        },
+        "left": {
+          "$ref": "#/$defs/identityRef"
+        },
+        "right": {
+          "$ref": "#/$defs/identityRef"
+        },
+        "relation": {
+          "enum": [
+            "distinct",
+            "same"
+          ]
+        },
+        "missingIdentity": {
+          "enum": [
+            "block",
+            "integrity-failure"
+          ]
+        },
+        "comparator": {
+          "$ref": "#/$defs/identityComparatorRef"
+        },
+        "enforcement": {
+          "$ref": "#/$defs/identityEnforcement"
+        }
+      }
+    },
+    "forbiddenCombination": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "constraintId",
+        "subjects",
+        "rule",
+        "missingIdentity",
+        "comparator",
+        "enforcement"
+      ],
+      "properties": {
+        "constraintId": {
+          "type": "string",
+          "pattern": "^forbidden\\."
+        },
+        "subjects": {
+          "type": "array",
+          "minItems": 2,
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/identityRef"
+          }
+        },
+        "rule": {
+          "enum": [
+            "cannot-authorize",
+            "cannot-coexist",
+            "cannot-delegate",
+            "cannot-preserve"
+          ]
+        },
+        "missingIdentity": {
+          "enum": [
+            "block",
+            "integrity-failure"
+          ]
+        },
+        "comparator": {
+          "$ref": "#/$defs/identityComparatorRef"
+        },
+        "enforcement": {
+          "$ref": "#/$defs/identityEnforcement"
+        }
+      }
+    },
+    "authority": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "eligibleRoles",
+        "actor",
+        "principal",
+        "capabilities",
+        "credentials",
+        "delegation",
+        "ownership",
+        "executionBoundaries",
+        "separationOfDuty",
+        "forbiddenCombinations"
+      ],
+      "properties": {
+        "eligibleRoles": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/role"
+          }
+        },
+        "actor": {
+          "$ref": "#/$defs/actorContract"
+        },
+        "principal": {
+          "$ref": "#/$defs/principalContract"
+        },
+        "capabilities": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/capabilityRequirement"
+          }
+        },
+        "credentials": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/credentialPolicyRef"
+          }
+        },
+        "delegation": {
+          "$ref": "#/$defs/delegationPolicyRef"
+        },
+        "ownership": {
+          "$ref": "#/$defs/ownershipPolicyRef"
+        },
+        "executionBoundaries": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "enum": [
+              "human",
+              "coordinator",
+              "worker",
+              "reviewer",
+              "auditor",
+              "workflow-core",
+              "update-operator"
+            ]
+          }
+        },
+        "separationOfDuty": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/separationConstraint"
+          }
+        },
+        "forbiddenCombinations": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/forbiddenCombination"
+          }
+        }
+      }
+    },
+    "taskStatusEffect": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "from",
+        "to"
+      ],
+      "properties": {
+        "from": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/taskStatus"
+          }
+        },
+        "to": {
+          "anyOf": [
+            {
+              "$ref": "#/$defs/taskStatus"
+            },
+            {
+              "enum": [
+                "input-dependent",
+                "preserved"
+              ]
+            }
+          ]
+        }
+      }
+    },
+    "milestoneStatusEffect": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "from",
+        "to"
+      ],
+      "properties": {
+        "from": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/milestoneStatus"
+          }
+        },
+        "to": {
+          "anyOf": [
+            {
+              "$ref": "#/$defs/milestoneStatus"
+            },
+            {
+              "enum": [
+                "input-dependent",
+                "preserved"
+              ]
+            }
+          ]
+        }
+      }
+    },
+    "stepStatusEffect": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "from",
+        "to"
+      ],
+      "properties": {
+        "from": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/stepStatus"
+          }
+        },
+        "to": {
+          "anyOf": [
+            {
+              "$ref": "#/$defs/stepStatus"
+            },
+            {
+              "enum": [
+                "input-dependent",
+                "preserved"
+              ]
+            }
+          ]
+        }
+      }
+    },
+    "supersession": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "executionAuthorization",
+        "finalAcceptance",
+        "delegationGrants",
+        "c1Claim",
+        "writerLease"
+      ],
+      "properties": {
+        "executionAuthorization": {
+          "enum": [
+            "preserve",
+            "supersede-approved",
+            "invalidate"
+          ]
+        },
+        "finalAcceptance": {
+          "enum": [
+            "preserve",
+            "supersede-approved",
+            "invalidate"
+          ]
+        },
+        "delegationGrants": {
+          "enum": [
+            "preserve",
+            "supersede",
+            "invalidate"
+          ]
+        },
+        "c1Claim": {
+          "enum": [
+            "preserve",
+            "supersede",
+            "invalidate"
+          ]
+        },
+        "writerLease": {
+          "enum": [
+            "preserve",
+            "release",
+            "invalidate"
+          ]
+        }
+      }
+    },
+    "effectCondition": {
+      "oneOf": [
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "kind",
+            "input"
+          ],
+          "properties": {
+            "kind": {
+              "const": "input-present"
+            },
+            "input": {
+              "$ref": "#/$defs/inputRef"
+            }
+          }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "kind",
+            "guardId"
+          ],
+          "properties": {
+            "kind": {
+              "const": "guard-passed"
+            },
+            "guardId": {
+              "$ref": "#/$defs/stableId"
+            }
+          }
+        }
+      ]
+    },
+    "effectNode": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "effectId",
+        "ordinal",
+        "adapter",
+        "resource",
+        "operation",
+        "conditions",
+        "dependsOn"
+      ],
+      "properties": {
+        "effectId": {
+          "type": "string",
+          "pattern": "^effect\\."
+        },
+        "ordinal": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "adapter": {
+          "$ref": "#/$defs/effectAdapterRef"
+        },
+        "resource": {
+          "$ref": "#/$defs/resourceRef"
+        },
+        "operation": {
+          "enum": [
+            "stage",
+            "write",
+            "append",
+            "publish",
+            "replace",
+            "delete",
+            "preserve"
+          ]
+        },
+        "conditions": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/effectCondition"
+          }
+        },
+        "dependsOn": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "type": "string",
+            "pattern": "^effect\\."
+          }
+        }
+      }
+    },
+    "postcondition": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "postconditionId",
+        "assertion",
+        "reads",
+        "effectNodeIds"
+      ],
+      "properties": {
+        "postconditionId": {
+          "type": "string",
+          "pattern": "^postcondition\\."
+        },
+        "assertion": {
+          "enum": [
+            "hash-equals",
+            "revision-advanced",
+            "status-equals",
+            "event-appended",
+            "path-absent"
+          ]
+        },
+        "reads": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/projectionSlice"
+          }
+        },
+        "effectNodeIds": {
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": {
+            "type": "string",
+            "pattern": "^effect\\."
+          }
+        }
+      }
+    },
+    "effectGraph": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "graphId",
+        "graphVersion",
+        "taskStatus",
+        "milestoneStatus",
+        "stepStatus",
+        "supersession",
+        "orderedNodes",
+        "postconditions"
+      ],
+      "properties": {
+        "graphId": {
+          "type": "string",
+          "pattern": "^effect-graph\\."
+        },
+        "graphVersion": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "taskStatus": {
+          "$ref": "#/$defs/taskStatusEffect"
+        },
+        "milestoneStatus": {
+          "$ref": "#/$defs/milestoneStatusEffect"
+        },
+        "stepStatus": {
+          "$ref": "#/$defs/stepStatusEffect"
+        },
+        "supersession": {
+          "$ref": "#/$defs/supersession"
+        },
+        "orderedNodes": {
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/effectNode"
+          }
+        },
+        "postconditions": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/postcondition"
+          }
+        }
+      }
+    },
+    "revalidation": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "revalidationId",
+        "ordinal",
+        "raceId",
+        "guardId",
+        "evaluator",
+        "reads",
+        "underLock"
+      ],
+      "properties": {
+        "revalidationId": {
+          "type": "string",
+          "pattern": "^revalidation\\."
+        },
+        "ordinal": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "raceId": {
+          "type": "string",
+          "pattern": "^race\\."
+        },
+        "guardId": {
+          "$ref": "#/$defs/stableId"
+        },
+        "evaluator": {
+          "$ref": "#/$defs/guardEvaluatorRef"
+        },
+        "reads": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/projectionSlice"
+          }
+        },
+        "underLock": {
+          "type": "boolean"
+        }
+      }
+    },
+    "admissionBoundary": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "lock",
+        "orderedRevalidations",
+        "firstEffectAfterRevalidation",
+        "release"
+      ],
+      "properties": {
+        "lock": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "policy",
+            "scope"
+          ],
+          "properties": {
+            "policy": {
+              "$ref": "#/$defs/lockPolicyRef"
+            },
+            "scope": {
+              "$ref": "#/$defs/projectionSlice"
+            }
+          }
+        },
+        "orderedRevalidations": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/revalidation"
+          }
+        },
+        "firstEffectAfterRevalidation": {
+          "const": true
+        },
+        "release": {
+          "const": "finally-after-readback"
+        }
+      }
+    },
+    "racePrecondition": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "raceId",
+        "reasonClass",
+        "guardId",
+        "revalidationId",
+        "reads",
+        "allowedFailureCodes"
+      ],
+      "properties": {
+        "raceId": {
+          "type": "string",
+          "pattern": "^race\\."
+        },
+        "reasonClass": {
+          "enum": [
+            "external-race",
+            "integrity-failure"
+          ]
+        },
+        "guardId": {
+          "$ref": "#/$defs/stableId"
+        },
+        "revalidationId": {
+          "type": "string",
+          "pattern": "^revalidation\\."
+        },
+        "reads": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/projectionSlice"
+          }
+        },
+        "allowedFailureCodes": {
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": {
+            "enum": [
+              "STATE_CONFLICT",
+              "GIT_PRECONDITION_FAILED",
+              "CREDENTIAL_EXPIRED",
+              "STATE_CORRUPT"
+            ]
+          }
+        }
+      }
+    },
+    "executionKey": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "policy",
+        "fields",
+        "hashPolicy"
+      ],
+      "properties": {
+        "policy": {
+          "$ref": "#/$defs/executionKeyPolicyRef"
+        },
+        "fields": {
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/projectionField"
+          }
+        },
+        "hashPolicy": {
+          "$ref": "#/$defs/hashPolicyRef"
+        }
+      }
+    },
+    "replay": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "identicalCompleted",
+        "identicalInProgress",
+        "conflicting"
+      ],
+      "properties": {
+        "identicalCompleted": {
+          "enum": [
+            "return-recorded-result",
+            "reject"
+          ]
+        },
+        "identicalInProgress": {
+          "enum": [
+            "resume-journal",
+            "reject"
+          ]
+        },
+        "conflicting": {
+          "enum": [
+            "reject-state-conflict",
+            "reject-transition-blocked"
+          ]
+        }
+      }
+    },
+    "journalPhase": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "phaseId",
+        "ordinal",
+        "allowedNextPhaseIds",
+        "terminal",
+        "durable",
+        "effectNodeIds",
+        "digestFields"
+      ],
+      "properties": {
+        "phaseId": {
+          "type": "string",
+          "pattern": "^journal-phase\\."
+        },
+        "ordinal": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "allowedNextPhaseIds": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "type": "string",
+            "pattern": "^journal-phase\\."
+          }
+        },
+        "terminal": {
+          "type": "boolean"
+        },
+        "durable": {
+          "type": "boolean"
+        },
+        "effectNodeIds": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "type": "string",
+            "pattern": "^effect\\."
+          }
+        },
+        "digestFields": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/projectionField"
+          }
+        }
+      }
+    },
+    "journal": {
+      "oneOf": [
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "mode"
+          ],
+          "properties": {
+            "mode": {
+              "const": "none"
+            }
+          }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "mode",
+            "schema",
+            "adapter",
+            "digestPolicy",
+            "orderedPhases"
+          ],
+          "properties": {
+            "mode": {
+              "const": "required"
+            },
+            "schema": {
+              "$ref": "#/$defs/journalSchemaRef"
+            },
+            "adapter": {
+              "$ref": "#/$defs/journalAdapterRef"
+            },
+            "digestPolicy": {
+              "$ref": "#/$defs/hashPolicyRef"
+            },
+            "orderedPhases": {
+              "type": "array",
+              "minItems": 2,
+              "uniqueItems": true,
+              "items": {
+                "$ref": "#/$defs/journalPhase"
+              }
+            }
+          }
+        }
+      ]
+    },
+    "recoveryStep": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "stepId",
+        "ordinal",
+        "fromPhaseId",
+        "toPhaseId"
+      ],
+      "properties": {
+        "stepId": {
+          "type": "string",
+          "pattern": "^recovery-step\\."
+        },
+        "ordinal": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "fromPhaseId": {
+          "type": "string",
+          "pattern": "^journal-phase\\."
+        },
+        "toPhaseId": {
+          "type": "string",
+          "pattern": "^journal-phase\\."
+        }
+      }
+    },
+    "recovery": {
+      "oneOf": [
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "mode",
+            "fromPhaseIds"
+          ],
+          "properties": {
+            "mode": {
+              "const": "manual-integrity-stop"
+            },
+            "fromPhaseIds": {
+              "type": "array",
+              "uniqueItems": true,
+              "items": {
+                "type": "string",
+                "pattern": "^journal-phase\\."
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "mode",
+            "trigger",
+            "adapter",
+            "fromPhaseIds",
+            "orderedSteps"
+          ],
+          "properties": {
+            "mode": {
+              "enum": [
+                "automatic-roll-forward",
+                "automatic-roll-back"
+              ]
+            },
+            "adapter": {
+              "$ref": "#/$defs/recoveryAdapterRef"
+            },
+            "trigger": {
+              "const": "explicit-repair"
+            },
+            "fromPhaseIds": {
+              "type": "array",
+              "minItems": 1,
+              "uniqueItems": true,
+              "items": {
+                "type": "string",
+                "pattern": "^journal-phase\\."
+              }
+            },
+            "orderedSteps": {
+              "type": "array",
+              "minItems": 1,
+              "uniqueItems": true,
+              "items": {
+                "$ref": "#/$defs/recoveryStep"
+              }
+            }
+          }
+        }
+      ]
+    },
+    "readback": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "adapter",
+        "wiring",
+        "checkpoints",
+        "projection",
+        "postconditionIds",
+        "resultDigestPolicy"
+      ],
+      "properties": {
+        "adapter": {
+          "$ref": "#/$defs/readbackAdapterRef"
+        },
+        "wiring": {
+          "enum": [
+            "invoked-post-effect",
+            "available-unwired"
+          ]
+        },
+        "projection": {
+          "$ref": "#/$defs/projectionRef"
+        },
+        "checkpoints": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "preCompletion",
+            "postTerminal"
+          ],
+          "properties": {
+            "preCompletion": {
+              "const": "domain-readback"
+            },
+            "postTerminal": {
+              "const": "terminal-readback"
+            }
+          }
+        },
+        "postconditionIds": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "type": "string",
+            "pattern": "^postcondition\\."
+          }
+        },
+        "resultDigestPolicy": {
+          "$ref": "#/$defs/hashPolicyRef"
+        }
+      }
+    },
+    "atomicity": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "classification",
+        "nonMutatingFailureGuarantee",
+        "executionKey",
+        "replay",
+        "journal",
+        "recovery",
+        "readback"
+      ],
+      "properties": {
+        "classification": {
+          "enum": [
+            "read-only",
+            "single-write",
+            "journaled-multi-write",
+            "non-transactional-multi-write"
+          ]
+        },
+        "nonMutatingFailureGuarantee": {
+          "enum": [
+            "all-guards-before-effects",
+            "best-effort",
+            "not-applicable"
+          ]
+        },
+        "executionKey": {
+          "$ref": "#/$defs/executionKey"
+        },
+        "replay": {
+          "$ref": "#/$defs/replay"
+        },
+        "journal": {
+          "$ref": "#/$defs/journal"
+        },
+        "recovery": {
+          "$ref": "#/$defs/recovery"
+        },
+        "readback": {
+          "$ref": "#/$defs/readback"
+        }
+      }
+    },
+    "navigation": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "kind",
+        "mode",
+        "priority"
+      ],
+      "properties": {
+        "kind": {
+          "enum": [
+            "executable",
+            "choice",
+            "human-gate",
+            "wait",
+            "repair",
+            "blocked"
+          ]
+        },
+        "mode": {
+          "enum": [
+            "exact",
+            "advisory"
+          ]
+        },
+        "priority": {
+          "type": "integer",
+          "minimum": 0
+        }
+      }
+    },
+    "readinessManifest": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "developmentStage",
+        "releaseProfile",
+        "coverageProfile",
+        "limitations",
+        "evidence"
+      ],
+      "properties": {
+        "developmentStage": {
+          "enum": [
+            "partial",
+            "candidate",
+            "withdrawn"
+          ]
+        },
+        "releaseProfile": {
+          "$ref": "#/$defs/releaseProfileRef"
+        },
+        "coverageProfile": {
+          "$ref": "#/$defs/coverageProfileRef"
+        },
+        "limitations": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/limitationRef"
+          }
+        },
+        "evidence": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+              "evidenceId",
+              "sha256"
+            ],
+            "properties": {
+              "evidenceId": {
+                "type": "string",
+                "pattern": "^evidence\\."
+              },
+              "sha256": {
+                "$ref": "#/$defs/hash64"
+              }
+            }
+          }
+        }
+      }
+    },
+    "traceability": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "defectIds",
+        "invariantIds",
+        "positiveEvidence",
+        "hostileEvidence"
+      ],
+      "properties": {
+        "defectIds": {
+          "$ref": "#/$defs/uniqueStrings"
+        },
+        "invariantIds": {
+          "$ref": "#/$defs/uniqueStrings"
+        },
+        "positiveEvidence": {
+          "$ref": "#/$defs/uniqueStrings"
+        },
+        "hostileEvidence": {
+          "$ref": "#/$defs/uniqueStrings"
+        }
+      }
+    },
+    "documentation": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "summary"
+      ],
+      "properties": {
+        "summary": {
+          "$ref": "#/$defs/nonEmptyString"
+        }
+      }
+    }
+  }
+}