{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/d05-r54-stopped-state-install-transaction-rehearsal-execution-diff-adjudication-one-time-execution-authorization-plane.v1.schema.json",
  "title": "D05-R54 停止态预演执行、差异裁决与一次性授权平面",
  "type": "object",
  "required": [
    "schemaVersion",
    "status",
    "knife",
    "formalProgress",
    "engineeringProgress",
    "summary",
    "fixtureExecution",
    "expectedSnapshot",
    "rehearsal",
    "observedFixtureSnapshot",
    "diffLedger",
    "adjudication",
    "fixtureReceipt",
    "oneTimeAuthorization",
    "preflightChecks",
    "abortTriggers",
    "lifecycle",
    "gates",
    "failureLab",
    "controlSurfaces",
    "validationMatrix",
    "effectsExecuted"
  ],
  "properties": {
    "schemaVersion": {
      "const": "developer.reits.tech/d05-r54-stopped-state-install-transaction-rehearsal-execution-diff-adjudication-one-time-execution-authorization-plane/v1"
    },
    "status": {
      "const": "D05_R54_FIXTURE_REHEARSAL_EXECUTED_DIFF_ADJUDICATED_PRODUCTION_ONE_TIME_AUTHORIZATION_HELD"
    },
    "summary": {
      "type": "object",
      "properties": {
        "engineeringCompleted": {
          "const": 54
        },
        "engineeringRemaining": {
          "const": 6
        },
        "fixtureRehearsalStagesExecuted": {
          "const": 18
        },
        "productionRehearsalStagesExecuted": {
          "const": 0
        },
        "fixtureDiffsAdjudicated": {
          "const": 24
        },
        "productionDiffReceiptsFound": {
          "const": 0
        },
        "productionAdjudicatorsSigned": {
          "const": 0
        },
        "oneTimeAuthorizationsIssued": {
          "const": 0
        },
        "controlSurfaces": {
          "const": 44
        },
        "validationCasesTotal": {
          "const": 960
        },
        "productionEffects": {
          "const": 0
        }
      }
    },
    "fixtureExecution": {
      "type": "object",
      "properties": {
        "filesWritten": {
          "const": 6
        },
        "filesRead": {
          "const": 6
        },
        "filesRemoved": {
          "const": 6
        },
        "cleanupVerified": {
          "const": true
        },
        "networkCalls": {
          "const": 0
        },
        "targetHostContacts": {
          "const": 0
        }
      }
    },
    "expectedSnapshot": {
      "type": "array",
      "minItems": 24,
      "maxItems": 24
    },
    "rehearsal": {
      "type": "object",
      "properties": {
        "stages": {
          "type": "array",
          "minItems": 18,
          "maxItems": 18
        },
        "fixtureStagesExecuted": {
          "const": 18
        },
        "productionStagesExecuted": {
          "const": 0
        },
        "executionCapabilityIssued": {
          "const": false
        }
      }
    },
    "observedFixtureSnapshot": {
      "type": "array",
      "minItems": 24,
      "maxItems": 24
    },
    "diffLedger": {
      "type": "array",
      "minItems": 24,
      "maxItems": 24
    },
    "adjudication": {
      "type": "object",
      "properties": {
        "fixtureAdjudicatorsPassed": {
          "const": 4
        },
        "productionAdjudicatorsSigned": {
          "const": 0
        },
        "productionAdjudicatorsRequired": {
          "const": 4
        },
        "majorityFallbackAllowed": {
          "const": false
        },
        "delegatedAdjudicationAllowed": {
          "const": false
        },
        "adjudicators": {
          "type": "array",
          "minItems": 4,
          "maxItems": 4
        }
      }
    },
    "fixtureReceipt": {
      "type": "object",
      "properties": {
        "fields": {
          "type": "array",
          "minItems": 32,
          "maxItems": 32
        },
        "fieldsPresent": {
          "const": 32
        },
        "fixtureQualified": {
          "const": true
        },
        "productionQualified": {
          "const": false
        }
      }
    },
    "oneTimeAuthorization": {
      "type": "object",
      "properties": {
        "fields": {
          "type": "array",
          "minItems": 30,
          "maxItems": 30
        },
        "fieldsPresent": {
          "const": 0
        },
        "maximumClaimsWhenIssued": {
          "const": 1
        },
        "claims": {
          "const": 0
        },
        "transferable": {
          "const": false
        },
        "renewable": {
          "const": false
        },
        "callable": {
          "const": false
        },
        "productionAuthorizationIssued": {
          "const": false
        }
      }
    },
    "preflightChecks": {
      "type": "array",
      "minItems": 12,
      "maxItems": 12
    },
    "abortTriggers": {
      "type": "array",
      "minItems": 14,
      "maxItems": 14
    },
    "lifecycle": {
      "type": "array",
      "minItems": 15,
      "maxItems": 15
    },
    "gates": {
      "type": "array",
      "minItems": 18,
      "maxItems": 18
    },
    "failureLab": {
      "type": "array",
      "minItems": 20,
      "maxItems": 20
    },
    "controlSurfaces": {
      "type": "array",
      "minItems": 44,
      "maxItems": 44
    },
    "validationMatrix": {
      "type": "object",
      "properties": {
        "expectedCases": {
          "const": 960
        },
        "passedCases": {
          "const": 960
        },
        "failedCases": {
          "const": 0
        }
      }
    },
    "effectsExecuted": {
      "type": "object",
      "minProperties": 28,
      "maxProperties": 28
    }
  }
}