{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "title": "Scheduled Execution Ledger",
  "contractVersion": "1.0",
  "required": [
    "operationCode",
    "scopeKey",
    "scheduledFor",
    "dispatchRevision",
    "leaseToken",
    "idempotencyKey",
    "versionSet",
    "state",
    "reasonCode",
    "heartbeatAt"
  ],
  "states": [
    "REQUESTED",
    "LEASED",
    "RUNNING",
    "SUCCEEDED",
    "BUSINESS_HOLD",
    "FAILED",
    "QUARANTINED",
    "ABANDONED"
  ],
  "rules": [
    "fencing-token-required",
    "scheduled-for-anchor",
    "no-blind-retry",
    "terminal-state-immutable",
    "manual-model-activation-only"
  ]
}