{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/d05-r52-six-seat-receipt-set-atomic-settlement-target-lock-quorum-install-transaction-seal-plane.v1.schema.json",
  "title": "D05-R52 六席回执集合原子结算、目标锁法定人数确认与安装事务封印平面",
  "type": "object",
  "required": [
    "schemaVersion",
    "status",
    "knife",
    "formalProgress",
    "engineeringProgress",
    "extensionBacklog",
    "observedBaseline",
    "summary",
    "setAdmission",
    "settlementSeats",
    "setEnvelope",
    "atomicProtocol",
    "signatureMatrix",
    "targetLockQuorum",
    "targetLockChecks",
    "installTransactionSeal",
    "installTransactionStages",
    "rollbackRoot",
    "revocationTriggers",
    "lifecycle",
    "gates",
    "failureLab",
    "controlSurfaces",
    "validationMatrix",
    "nextSafeAction",
    "truthRules",
    "effectsExecuted",
    "integrity"
  ],
  "properties": {
    "schemaVersion": {
      "const": "developer.reits.tech/d05-r52-six-seat-receipt-set-atomic-settlement-target-lock-quorum-install-transaction-seal-plane/v1"
    },
    "status": {
      "const": "D05_R52_SIX_SEAT_ATOMIC_SETTLEMENT_TARGET_QUORUM_AND_INSTALL_TRANSACTION_SEAL_IMPLEMENTED_EXTERNAL_INPUTS_ABSENT"
    },
    "knife": {
      "type": "object",
      "properties": {
        "id": {
          "const": "D05-R52"
        },
        "predecessor": {
          "const": "D05-R51"
        },
        "next": {
          "const": "D05-R53"
        }
      }
    },
    "formalProgress": {
      "type": "object",
      "properties": {
        "acceptedKnives": {
          "const": 4
        },
        "totalKnives": {
          "const": 36
        },
        "d05GatesSatisfied": {
          "const": 0
        },
        "d05GatesRequired": {
          "const": 11
        }
      }
    },
    "engineeringProgress": {
      "type": "object",
      "properties": {
        "completedSubphasesIncludingR52": {
          "const": 52
        },
        "totalPlannedSubphases": {
          "const": 60
        },
        "remainingSubphasesAfterR52": {
          "const": 8
        },
        "completedRange": {
          "const": "D05-R01..D05-R52"
        }
      }
    },
    "extensionBacklog": {
      "type": "array",
      "minItems": 10,
      "maxItems": 10
    },
    "observedBaseline": {
      "type": "object"
    },
    "summary": {
      "type": "object",
      "properties": {
        "engineeringCompleted": {
          "const": 52
        },
        "engineeringTotal": {
          "const": 60
        },
        "engineeringRemaining": {
          "const": 8
        },
        "controlSurfaces": {
          "const": 40
        },
        "validationCasesTotal": {
          "const": 720
        },
        "productionEffects": {
          "const": 0
        }
      }
    },
    "setAdmission": {
      "type": "object",
      "properties": {
        "partialSettlementAllowed": {
          "const": false
        },
        "automaticCommitAllowed": {
          "const": false
        }
      }
    },
    "settlementSeats": {
      "type": "array",
      "minItems": 6,
      "maxItems": 6
    },
    "setEnvelope": {
      "type": "object",
      "properties": {
        "fields": {
          "type": "array",
          "minItems": 24,
          "maxItems": 24
        }
      }
    },
    "atomicProtocol": {
      "type": "array",
      "minItems": 12,
      "maxItems": 12
    },
    "signatureMatrix": {
      "type": "array",
      "minItems": 12,
      "maxItems": 12
    },
    "targetLockQuorum": {
      "type": "object",
      "properties": {
        "threshold": {
          "const": 4
        },
        "required": {
          "const": 4
        },
        "roles": {
          "type": "array",
          "minItems": 4,
          "maxItems": 4
        },
        "majorityFallbackAllowed": {
          "const": false
        },
        "currentSharedHostEligible": {
          "const": false
        }
      }
    },
    "targetLockChecks": {
      "type": "array",
      "minItems": 12,
      "maxItems": 12
    },
    "installTransactionSeal": {
      "type": "object",
      "properties": {
        "fields": {
          "type": "array",
          "minItems": 24,
          "maxItems": 24
        },
        "executionAllowed": {
          "const": false
        },
        "maximumConsumptions": {
          "const": 0
        }
      }
    },
    "installTransactionStages": {
      "type": "array",
      "minItems": 12,
      "maxItems": 12
    },
    "rollbackRoot": {
      "type": "object",
      "properties": {
        "checkpoints": {
          "type": "array",
          "minItems": 10,
          "maxItems": 10
        }
      }
    },
    "revocationTriggers": {
      "type": "array",
      "minItems": 10,
      "maxItems": 10
    },
    "lifecycle": {
      "type": "array",
      "minItems": 12,
      "maxItems": 12
    },
    "gates": {
      "type": "array",
      "minItems": 14,
      "maxItems": 14
    },
    "failureLab": {
      "type": "array",
      "minItems": 16,
      "maxItems": 16
    },
    "controlSurfaces": {
      "type": "array",
      "minItems": 40,
      "maxItems": 40
    },
    "validationMatrix": {
      "type": "object",
      "properties": {
        "expectedCases": {
          "const": 720
        },
        "passedCases": {
          "const": 720
        },
        "failedCases": {
          "const": 0
        },
        "result": {
          "const": "PASS_FAIL_CLOSED"
        }
      }
    },
    "nextSafeAction": {
      "type": "object"
    },
    "truthRules": {
      "type": "array",
      "minItems": 6,
      "maxItems": 6
    },
    "effectsExecuted": {
      "type": "object"
    },
    "integrity": {
      "type": "object"
    }
  }
}