{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://finance.entelekron.org/schemas/tvkusd-redemption-control-profile.schema.json",
  "title": "TVKUSD Redemption Control Profile",
  "type": "object",
  "additionalProperties": false,
  "required": ["$schema", "schemaVersion", "canonicalAssetId", "profileId", "mode", "effectiveAt", "acceptedEnvironments", "productionRequestEndpoint", "publicRedemptionEndpoint", "minimumIndependentApprovals", "requiredApprovalDomains", "requiredBindings", "sequence", "stateMachine", "replayProtection", "authority", "failClosed", "killSwitch", "notice"],
  "properties": {
    "$schema": { "const": "https://finance.entelekron.org/schemas/tvkusd-redemption-control-profile.schema.json" },
    "schemaVersion": { "type": "string", "pattern": "^[0-9]+\\.[0-9]+\\.[0-9]+$" },
    "canonicalAssetId": { "const": "tvk-group:tvkusd" },
    "profileId": { "type": "string", "pattern": "^tvkusd-redemption-[a-z0-9-]+-v[0-9]+$" },
    "mode": { "enum": ["prelaunch-locked", "sandbox-only", "production-controlled", "suspended"] },
    "effectiveAt": { "type": "string", "format": "date-time" },
    "acceptedEnvironments": { "type": "array", "uniqueItems": true, "items": { "enum": ["sandbox", "production"] } },
    "productionRequestEndpoint": { "type": ["string", "null"], "format": "uri" },
    "publicRedemptionEndpoint": { "type": ["string", "null"], "format": "uri" },
    "minimumIndependentApprovals": { "type": "integer", "minimum": 2 },
    "requiredApprovalDomains": { "type": "array", "minItems": 2, "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
    "requiredBindings": { "type": "array", "minItems": 17, "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
    "sequence": {
      "type": "object",
      "additionalProperties": false,
      "required": ["tokenControlRequiredBeforePayoutApproval", "payoutWithoutTokenControlPermitted", "burnRequiresFiatSettlementEvidence", "blindOrUnboundPayoutPermitted", "finalReconciliationRequired"],
      "properties": {
        "tokenControlRequiredBeforePayoutApproval": { "const": true },
        "payoutWithoutTokenControlPermitted": { "const": false },
        "burnRequiresFiatSettlementEvidence": { "const": true },
        "blindOrUnboundPayoutPermitted": { "const": false },
        "finalReconciliationRequired": { "const": true }
      }
    },
    "stateMachine": {
      "type": "object",
      "additionalProperties": false,
      "required": ["currentOperationalState", "definedStates", "terminalSuccessState", "exceptionStates"],
      "properties": {
        "currentOperationalState": { "enum": ["disabled", "sandbox-only", "production-controlled", "suspended"] },
        "definedStates": { "type": "array", "minItems": 10, "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
        "terminalSuccessState": { "const": "reconciled" },
        "exceptionStates": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "type": "string", "minLength": 1 } }
      }
    },
    "replayProtection": {
      "type": "object",
      "additionalProperties": false,
      "required": ["required", "serverGeneratedRequestId", "singleUseNonce", "maximumAuthorizationLifetimeSeconds"],
      "properties": {
        "required": { "const": true },
        "serverGeneratedRequestId": { "const": true },
        "singleUseNonce": { "const": true },
        "maximumAuthorizationLifetimeSeconds": { "type": "integer", "minimum": 1, "maximum": 300 }
      }
    },
    "authority": {
      "type": "object",
      "additionalProperties": false,
      "required": ["aiCanCreateProductionEntitlement", "aiCanApprove", "aiCanSign", "aiCanReleaseFiat", "aiCanBurn", "singleOperatorCanCompleteRequest"],
      "properties": {
        "aiCanCreateProductionEntitlement": { "const": false },
        "aiCanApprove": { "const": false },
        "aiCanSign": { "const": false },
        "aiCanReleaseFiat": { "const": false },
        "aiCanBurn": { "const": false },
        "singleOperatorCanCompleteRequest": { "const": false }
      }
    },
    "failClosed": {
      "type": "object",
      "additionalProperties": false,
      "required": ["missingOrStaleEvidence", "identityOrSanctionsException", "unknownOrIneligibleJurisdiction", "tokenFinalityMismatch", "payoutAccountMismatch", "supplyOrLiabilityMismatch", "expiredAuthorization", "duplicateRequest", "providerFailure"],
      "properties": {
        "missingOrStaleEvidence": { "const": true },
        "identityOrSanctionsException": { "const": true },
        "unknownOrIneligibleJurisdiction": { "const": true },
        "tokenFinalityMismatch": { "const": true },
        "payoutAccountMismatch": { "const": true },
        "supplyOrLiabilityMismatch": { "const": true },
        "expiredAuthorization": { "const": true },
        "duplicateRequest": { "const": true },
        "providerFailure": { "const": true }
      }
    },
    "killSwitch": {
      "type": "object",
      "additionalProperties": false,
      "required": ["state", "mayBeUnlockedBySoftwareChangeAlone", "reason"],
      "properties": {
        "state": { "enum": ["locked", "sandbox-only", "production-controlled", "suspended"] },
        "mayBeUnlockedBySoftwareChangeAlone": { "const": false },
        "reason": { "type": "string", "minLength": 1 }
      }
    },
    "notice": { "type": "string", "minLength": 1 }
  }
}