{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/d05-r55-isolated-installation-execution-independent-readback-rollback-qualification-plane.v1.schema.json",
  "title": "D05-R55 隔离安装执行、独立读回与回滚资格化平面",
  "type": "object",
  "required": [
    "schemaVersion",
    "status",
    "knife",
    "formalProgress",
    "engineeringProgress",
    "summary",
    "fixtureTransaction",
    "installation",
    "installedObjectLedger",
    "independentReadback",
    "rollback",
    "installationReceipt",
    "productionAuthorization",
    "preflightChecks",
    "abortTriggers",
    "lifecycle",
    "gates",
    "failureLab",
    "controlSurfaces",
    "validationMatrix",
    "effectsExecuted"
  ],
  "properties": {
    "schemaVersion": {
      "const": "developer.reits.tech/d05-r55-isolated-installation-execution-independent-readback-rollback-qualification-plane/v1"
    },
    "status": {
      "const": "D05_R55_FIXTURE_INSTALL_EXECUTED_FOUR_READBACKS_PASS_ROLLBACK_QUALIFIED_PRODUCTION_HELD"
    },
    "summary": {
      "type": "object",
      "properties": {
        "engineeringCompleted": {
          "const": 55
        },
        "engineeringRemaining": {
          "const": 5
        },
        "fixtureInstallStagesExecuted": {
          "const": 16
        },
        "productionInstallStagesExecuted": {
          "const": 0
        },
        "independentFixtureReadbacksPassed": {
          "const": 4
        },
        "independentProductionReadbacksPassed": {
          "const": 0
        },
        "fixtureRollbackStepsPassed": {
          "const": 12
        },
        "productionRollbackStepsPassed": {
          "const": 0
        },
        "controlSurfaces": {
          "const": 46
        },
        "validationCasesTotal": {
          "const": 1080
        },
        "productionEffects": {
          "const": 0
        }
      }
    },
    "fixtureTransaction": {
      "type": "object",
      "properties": {
        "installObjectsWritten": {
          "const": 8
        },
        "installObjectsRead": {
          "const": 8
        },
        "modeChecksPassed": {
          "const": 8
        },
        "atomicSwitchesCommitted": {
          "const": 1
        },
        "rollbackSwitchesCommitted": {
          "const": 1
        },
        "independentReadbackLanesPassed": {
          "const": 4
        },
        "candidateRemoved": {
          "const": true
        },
        "predecessorPreserved": {
          "const": true
        },
        "cleanupVerified": {
          "const": true
        },
        "networkCalls": {
          "const": 0
        },
        "targetHostContacts": {
          "const": 0
        },
        "serviceStarts": {
          "const": 0
        },
        "listenerStarts": {
          "const": 0
        }
      }
    },
    "installation": {
      "type": "object",
      "properties": {
        "stages": {
          "type": "array",
          "minItems": 16,
          "maxItems": 16
        },
        "fixtureStagesExecuted": {
          "const": 16
        },
        "productionStagesExecuted": {
          "const": 0
        },
        "productionExecutionCapabilityIssued": {
          "const": false
        }
      }
    },
    "installedObjectLedger": {
      "type": "array",
      "minItems": 8,
      "maxItems": 8
    },
    "independentReadback": {
      "type": "object",
      "properties": {
        "fixtureLanesPassed": {
          "const": 4
        },
        "productionLanesPassed": {
          "const": 0
        },
        "productionLanesRequired": {
          "const": 4
        },
        "majorityFallbackAllowed": {
          "const": false
        },
        "delegatedReadbackAllowed": {
          "const": false
        },
        "lanes": {
          "type": "array",
          "minItems": 4,
          "maxItems": 4
        }
      }
    },
    "rollback": {
      "type": "object",
      "properties": {
        "steps": {
          "type": "array",
          "minItems": 12,
          "maxItems": 12
        },
        "fixtureStepsPassed": {
          "const": 12
        },
        "productionStepsPassed": {
          "const": 0
        },
        "productionStepsRequired": {
          "const": 12
        },
        "candidateRemoved": {
          "const": true
        },
        "predecessorPreserved": {
          "const": true
        },
        "fixtureRootDestroyed": {
          "const": true
        }
      }
    },
    "installationReceipt": {
      "type": "object",
      "properties": {
        "fields": {
          "type": "array",
          "minItems": 36,
          "maxItems": 36
        },
        "fieldsPresent": {
          "const": 36
        },
        "fixtureQualified": {
          "const": true
        },
        "productionQualified": {
          "const": false
        }
      }
    },
    "productionAuthorization": {
      "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": 14,
      "maxItems": 14
    },
    "abortTriggers": {
      "type": "array",
      "minItems": 16,
      "maxItems": 16
    },
    "lifecycle": {
      "type": "array",
      "minItems": 17,
      "maxItems": 17
    },
    "gates": {
      "type": "array",
      "minItems": 20,
      "maxItems": 20
    },
    "failureLab": {
      "type": "array",
      "minItems": 22,
      "maxItems": 22
    },
    "controlSurfaces": {
      "type": "array",
      "minItems": 46,
      "maxItems": 46
    },
    "validationMatrix": {
      "type": "object",
      "properties": {
        "expectedCases": {
          "const": 1080
        },
        "passedCases": {
          "const": 1080
        },
        "failedCases": {
          "const": 0
        }
      }
    },
    "effectsExecuted": {
      "type": "object",
      "minProperties": 30,
      "maxProperties": 30
    }
  }
}