{
  "$id": "https://thekingdom.dev/schemas/aesthetic-plurality-making-atlas/0.1.json",
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "additionalProperties": false,
  "properties": {
    "$schema": {
      "const": "https://thekingdom.dev/schemas/aesthetic-plurality-making-atlas/0.1.json"
    },
    "artifact": {
      "additionalProperties": false,
      "properties": {
        "asOf": {
          "minLength": 1,
          "type": "string"
        },
        "authorship": {
          "additionalProperties": false,
          "properties": {
            "assistanceDisclosure": {
              "minLength": 1,
              "type": "string"
            },
            "humanDirected": {
              "type": "boolean"
            },
            "modelAssisted": {
              "type": "boolean"
            }
          },
          "required": [
            "assistanceDisclosure",
            "humanDirected",
            "modelAssisted"
          ],
          "type": "object"
        },
        "id": {
          "const": "kingdom-aesthetic-plurality-making-atlas-phase-0-2026-08-29"
        },
        "kind": {
          "minLength": 1,
          "type": "string"
        },
        "lifecycle": {
          "additionalProperties": false,
          "properties": {
            "externalPublicationPerformed": {
              "type": "boolean"
            },
            "frozen": {
              "type": "boolean"
            },
            "humanReviewCompleted": {
              "type": "boolean"
            },
            "independentReviewGreen": {
              "type": "boolean"
            },
            "phase": {
              "minLength": 1,
              "type": "string"
            },
            "publicationAuthorized": {
              "type": "boolean"
            },
            "releaseGateSatisfied": {
              "type": "boolean"
            },
            "reviewState": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "externalPublicationPerformed",
            "frozen",
            "humanReviewCompleted",
            "independentReviewGreen",
            "phase",
            "publicationAuthorized",
            "releaseGateSatisfied",
            "reviewState"
          ],
          "type": "object"
        },
        "title": {
          "const": "KINGDOM Aesthetic Plurality & Making Relations Atlas — Phase 0"
        }
      },
      "required": [
        "asOf",
        "authorship",
        "id",
        "kind",
        "lifecycle",
        "title"
      ],
      "type": "object"
    },
    "buildReceipt": {
      "additionalProperties": false,
      "properties": {
        "arithmetic": {
          "minLength": 1,
          "type": "string"
        },
        "clockRead": {
          "type": "boolean"
        },
        "externalInputUsed": {
          "type": "boolean"
        },
        "generatorInputReceipts": {
          "items": false,
          "maxItems": 12,
          "minItems": 12,
          "prefixItems": [
            {
              "additionalProperties": false,
              "properties": {
                "byteSha256": {
                  "minLength": 1,
                  "type": "string"
                },
                "bytes": {
                  "type": "integer"
                },
                "path": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "byteSha256",
                "bytes",
                "path"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "byteSha256": {
                  "minLength": 1,
                  "type": "string"
                },
                "bytes": {
                  "type": "integer"
                },
                "path": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "byteSha256",
                "bytes",
                "path"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "byteSha256": {
                  "minLength": 1,
                  "type": "string"
                },
                "bytes": {
                  "type": "integer"
                },
                "path": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "byteSha256",
                "bytes",
                "path"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "byteSha256": {
                  "minLength": 1,
                  "type": "string"
                },
                "bytes": {
                  "type": "integer"
                },
                "path": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "byteSha256",
                "bytes",
                "path"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "byteSha256": {
                  "minLength": 1,
                  "type": "string"
                },
                "bytes": {
                  "type": "integer"
                },
                "path": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "byteSha256",
                "bytes",
                "path"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "byteSha256": {
                  "minLength": 1,
                  "type": "string"
                },
                "bytes": {
                  "type": "integer"
                },
                "path": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "byteSha256",
                "bytes",
                "path"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "byteSha256": {
                  "minLength": 1,
                  "type": "string"
                },
                "bytes": {
                  "type": "integer"
                },
                "path": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "byteSha256",
                "bytes",
                "path"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "byteSha256": {
                  "minLength": 1,
                  "type": "string"
                },
                "bytes": {
                  "type": "integer"
                },
                "path": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "byteSha256",
                "bytes",
                "path"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "byteSha256": {
                  "minLength": 1,
                  "type": "string"
                },
                "bytes": {
                  "type": "integer"
                },
                "path": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "byteSha256",
                "bytes",
                "path"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "byteSha256": {
                  "minLength": 1,
                  "type": "string"
                },
                "bytes": {
                  "type": "integer"
                },
                "path": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "byteSha256",
                "bytes",
                "path"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "byteSha256": {
                  "minLength": 1,
                  "type": "string"
                },
                "bytes": {
                  "type": "integer"
                },
                "path": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "byteSha256",
                "bytes",
                "path"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "byteSha256": {
                  "minLength": 1,
                  "type": "string"
                },
                "bytes": {
                  "type": "integer"
                },
                "path": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "byteSha256",
                "bytes",
                "path"
              ],
              "type": "object"
            }
          ],
          "type": "array"
        },
        "networkUsed": {
          "type": "boolean"
        },
        "randomnessUsed": {
          "type": "boolean"
        },
        "semanticPayloadSha256": {
          "minLength": 1,
          "type": "string"
        },
        "verifiedFixtureCount": {
          "type": "integer"
        },
        "verifierState": {
          "minLength": 1,
          "type": "string"
        }
      },
      "required": [
        "arithmetic",
        "clockRead",
        "externalInputUsed",
        "generatorInputReceipts",
        "networkUsed",
        "randomnessUsed",
        "semanticPayloadSha256",
        "verifiedFixtureCount",
        "verifierState"
      ],
      "type": "object"
    },
    "constitutionalBoundaries": {
      "additionalProperties": false,
      "properties": {
        "fixtureSafety": {
          "items": false,
          "maxItems": 9,
          "minItems": 9,
          "prefixItems": [
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            }
          ],
          "type": "array"
        },
        "forbiddenConversions": {
          "items": false,
          "maxItems": 12,
          "minItems": 12,
          "prefixItems": [
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            }
          ],
          "type": "array"
        },
        "forbiddenFieldNames": {
          "items": false,
          "maxItems": 16,
          "minItems": 16,
          "prefixItems": [
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            },
            {
              "minLength": 1,
              "type": "string"
            }
          ],
          "type": "array"
        },
        "noAutomaticConversion": {
          "type": "boolean"
        },
        "notBeautyFramework": {
          "type": "boolean"
        },
        "opening": {
          "minLength": 1,
          "type": "string"
        },
        "separatelyOwnedBeautyDoctrineImported": {
          "type": "boolean"
        }
      },
      "required": [
        "fixtureSafety",
        "forbiddenConversions",
        "forbiddenFieldNames",
        "noAutomaticConversion",
        "notBeautyFramework",
        "opening",
        "separatelyOwnedBeautyDoctrineImported"
      ],
      "type": "object"
    },
    "counts": {
      "additionalProperties": false,
      "properties": {
        "equationCards": {
          "type": "integer"
        },
        "kingdomOrientations": {
          "type": "integer"
        },
        "lanes": {
          "type": "integer"
        },
        "mathematicalFixtures": {
          "type": "integer"
        },
        "mathematicalRegisters": {
          "type": "integer"
        },
        "nonEquivalences": {
          "type": "integer"
        },
        "relationTypes": {
          "type": "integer"
        },
        "relationalFixtures": {
          "type": "integer"
        },
        "sourceBindings": {
          "type": "integer"
        },
        "syntheticFixtures": {
          "type": "integer"
        },
        "terms": {
          "type": "integer"
        }
      },
      "required": [
        "equationCards",
        "kingdomOrientations",
        "lanes",
        "mathematicalFixtures",
        "mathematicalRegisters",
        "nonEquivalences",
        "relationTypes",
        "relationalFixtures",
        "sourceBindings",
        "syntheticFixtures",
        "terms"
      ],
      "type": "object"
    },
    "equationCards": {
      "items": false,
      "maxItems": 9,
      "minItems": 9,
      "prefixItems": [
        {
          "additionalProperties": false,
          "properties": {
            "assumptions": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "notation": {
              "minLength": 1,
              "type": "string"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "assumptions",
            "fixtureIds",
            "id",
            "nonclaims",
            "notation",
            "title"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "assumptions": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "notation": {
              "minLength": 1,
              "type": "string"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "assumptions",
            "fixtureIds",
            "id",
            "nonclaims",
            "notation",
            "title"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "assumptions": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "notation": {
              "minLength": 1,
              "type": "string"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "assumptions",
            "fixtureIds",
            "id",
            "nonclaims",
            "notation",
            "title"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "assumptions": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "notation": {
              "minLength": 1,
              "type": "string"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "assumptions",
            "fixtureIds",
            "id",
            "nonclaims",
            "notation",
            "title"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "assumptions": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "notation": {
              "minLength": 1,
              "type": "string"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "assumptions",
            "fixtureIds",
            "id",
            "nonclaims",
            "notation",
            "title"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "assumptions": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "notation": {
              "minLength": 1,
              "type": "string"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "assumptions",
            "fixtureIds",
            "id",
            "nonclaims",
            "notation",
            "title"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "assumptions": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "notation": {
              "minLength": 1,
              "type": "string"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "assumptions",
            "fixtureIds",
            "id",
            "nonclaims",
            "notation",
            "title"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "assumptions": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "notation": {
              "minLength": 1,
              "type": "string"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "assumptions",
            "fixtureIds",
            "id",
            "nonclaims",
            "notation",
            "title"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "assumptions": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "notation": {
              "minLength": 1,
              "type": "string"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "assumptions",
            "fixtureIds",
            "id",
            "nonclaims",
            "notation",
            "title"
          ],
          "type": "object"
        }
      ],
      "type": "array"
    },
    "kingdomOrientations": {
      "items": false,
      "maxItems": 0,
      "minItems": 0,
      "type": "array"
    },
    "nonEquivalences": {
      "items": false,
      "maxItems": 21,
      "minItems": 21,
      "prefixItems": [
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "fixtureIds": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "left": {
              "minLength": 1,
              "type": "string"
            },
            "reason": {
              "minLength": 1,
              "type": "string"
            },
            "right": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "fixtureIds",
            "id",
            "left",
            "reason",
            "right"
          ],
          "type": "object"
        }
      ],
      "type": "array"
    },
    "protocol": {
      "const": "kingdom.aesthetic-plurality-making/0.1"
    },
    "publicHandoff": {
      "additionalProperties": false,
      "properties": {
        "currentState": {
          "minLength": 1,
          "type": "string"
        },
        "htmlPage": {
          "type": "boolean"
        },
        "mutableAlias": {
          "type": "boolean"
        },
        "publicationAuthorized": {
          "type": "boolean"
        },
        "reviewGate": {
          "minLength": 1,
          "type": "string"
        },
        "routes": {
          "items": false,
          "maxItems": 3,
          "minItems": 3,
          "prefixItems": [
            {
              "additionalProperties": false,
              "properties": {
                "absoluteUrl": {
                  "minLength": 1,
                  "type": "string"
                },
                "immutable": {
                  "type": "boolean"
                },
                "mimeType": {
                  "minLength": 1,
                  "type": "string"
                },
                "role": {
                  "minLength": 1,
                  "type": "string"
                },
                "route": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "absoluteUrl",
                "immutable",
                "mimeType",
                "role",
                "route"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "absoluteUrl": {
                  "minLength": 1,
                  "type": "string"
                },
                "immutable": {
                  "type": "boolean"
                },
                "mimeType": {
                  "minLength": 1,
                  "type": "string"
                },
                "role": {
                  "minLength": 1,
                  "type": "string"
                },
                "route": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "absoluteUrl",
                "immutable",
                "mimeType",
                "role",
                "route"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "absoluteUrl": {
                  "minLength": 1,
                  "type": "string"
                },
                "immutable": {
                  "type": "boolean"
                },
                "mimeType": {
                  "minLength": 1,
                  "type": "string"
                },
                "role": {
                  "minLength": 1,
                  "type": "string"
                },
                "route": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "absoluteUrl",
                "immutable",
                "mimeType",
                "role",
                "route"
              ],
              "type": "object"
            }
          ],
          "type": "array"
        },
        "runtime": {
          "type": "boolean"
        }
      },
      "required": [
        "currentState",
        "htmlPage",
        "mutableAlias",
        "publicationAuthorized",
        "reviewGate",
        "routes",
        "runtime"
      ],
      "type": "object"
    },
    "scope": {
      "additionalProperties": false,
      "properties": {
        "accessDecision": {
          "type": "boolean"
        },
        "account": {
          "type": "boolean"
        },
        "api": {
          "type": "boolean"
        },
        "artifactEvaluation": {
          "type": "boolean"
        },
        "authorityConversion": {
          "type": "boolean"
        },
        "automatedRanking": {
          "type": "boolean"
        },
        "automatedRecommendation": {
          "type": "boolean"
        },
        "automaticAction": {
          "type": "boolean"
        },
        "completionConversion": {
          "type": "boolean"
        },
        "cultureEvaluation": {
          "type": "boolean"
        },
        "enforcementDecision": {
          "type": "boolean"
        },
        "formInput": {
          "type": "boolean"
        },
        "goodnessConversion": {
          "type": "boolean"
        },
        "governanceDecision": {
          "type": "boolean"
        },
        "justiceConversion": {
          "type": "boolean"
        },
        "legalConclusion": {
          "type": "boolean"
        },
        "liveInput": {
          "type": "boolean"
        },
        "livingTraditionFixture": {
          "type": "boolean"
        },
        "mcp": {
          "type": "boolean"
        },
        "moderationDecision": {
          "type": "boolean"
        },
        "network": {
          "type": "boolean"
        },
        "ownershipConversion": {
          "type": "boolean"
        },
        "participantData": {
          "type": "boolean"
        },
        "permissionConversion": {
          "type": "boolean"
        },
        "personEvaluation": {
          "type": "boolean"
        },
        "personalAppearanceAssessment": {
          "type": "boolean"
        },
        "privateData": {
          "type": "boolean"
        },
        "protectedExpressionFixture": {
          "type": "boolean"
        },
        "publicationDecision": {
          "type": "boolean"
        },
        "realPeople": {
          "type": "boolean"
        },
        "recognizableThirdPartyWork": {
          "type": "boolean"
        },
        "runtime": {
          "type": "boolean"
        },
        "scalarAestheticEvaluation": {
          "type": "boolean"
        },
        "staticArtifact": {
          "type": "boolean"
        },
        "syntheticOnly": {
          "type": "boolean"
        },
        "truthConversion": {
          "type": "boolean"
        },
        "wcagConformanceClaim": {
          "type": "boolean"
        }
      },
      "required": [
        "accessDecision",
        "account",
        "api",
        "artifactEvaluation",
        "authorityConversion",
        "automatedRanking",
        "automatedRecommendation",
        "automaticAction",
        "completionConversion",
        "cultureEvaluation",
        "enforcementDecision",
        "formInput",
        "goodnessConversion",
        "governanceDecision",
        "justiceConversion",
        "legalConclusion",
        "liveInput",
        "livingTraditionFixture",
        "mcp",
        "moderationDecision",
        "network",
        "ownershipConversion",
        "participantData",
        "permissionConversion",
        "personEvaluation",
        "personalAppearanceAssessment",
        "privateData",
        "protectedExpressionFixture",
        "publicationDecision",
        "realPeople",
        "recognizableThirdPartyWork",
        "runtime",
        "scalarAestheticEvaluation",
        "staticArtifact",
        "syntheticOnly",
        "truthConversion",
        "wcagConformanceClaim"
      ],
      "type": "object"
    },
    "sourceBindingInvariants": {
      "additionalProperties": false,
      "properties": {
        "authorityImported": {
          "type": "boolean"
        },
        "complianceImported": {
          "type": "boolean"
        },
        "currentnessImported": {
          "type": "boolean"
        },
        "downloadedAtBuild": {
          "type": "boolean"
        },
        "endorsementImported": {
          "type": "boolean"
        },
        "licenceImported": {
          "type": "boolean"
        },
        "linkOnly": {
          "type": "boolean"
        },
        "permissionImported": {
          "type": "boolean"
        },
        "reuseRightImported": {
          "type": "boolean"
        },
        "sourceTextImported": {
          "type": "boolean"
        },
        "truthImported": {
          "type": "boolean"
        }
      },
      "required": [
        "authorityImported",
        "complianceImported",
        "currentnessImported",
        "downloadedAtBuild",
        "endorsementImported",
        "licenceImported",
        "linkOnly",
        "permissionImported",
        "reuseRightImported",
        "sourceTextImported",
        "truthImported"
      ],
      "type": "object"
    },
    "sourceBindings": {
      "items": false,
      "maxItems": 14,
      "minItems": 14,
      "prefixItems": [
        {
          "additionalProperties": false,
          "properties": {
            "bindingRole": {
              "minLength": 1,
              "type": "string"
            },
            "citation": {
              "minLength": 1,
              "type": "string"
            },
            "class": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "url": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "bindingRole",
            "citation",
            "class",
            "id",
            "url"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "bindingRole": {
              "minLength": 1,
              "type": "string"
            },
            "citation": {
              "minLength": 1,
              "type": "string"
            },
            "class": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "url": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "bindingRole",
            "citation",
            "class",
            "id",
            "url"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "bindingRole": {
              "minLength": 1,
              "type": "string"
            },
            "citation": {
              "minLength": 1,
              "type": "string"
            },
            "class": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "url": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "bindingRole",
            "citation",
            "class",
            "id",
            "url"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "bindingRole": {
              "minLength": 1,
              "type": "string"
            },
            "citation": {
              "minLength": 1,
              "type": "string"
            },
            "class": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "url": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "bindingRole",
            "citation",
            "class",
            "id",
            "url"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "bindingRole": {
              "minLength": 1,
              "type": "string"
            },
            "citation": {
              "minLength": 1,
              "type": "string"
            },
            "class": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "url": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "bindingRole",
            "citation",
            "class",
            "id",
            "url"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "bindingRole": {
              "minLength": 1,
              "type": "string"
            },
            "citation": {
              "minLength": 1,
              "type": "string"
            },
            "class": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "url": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "bindingRole",
            "citation",
            "class",
            "id",
            "url"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "bindingRole": {
              "minLength": 1,
              "type": "string"
            },
            "citation": {
              "minLength": 1,
              "type": "string"
            },
            "class": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "url": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "bindingRole",
            "citation",
            "class",
            "id",
            "url"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "bindingRole": {
              "minLength": 1,
              "type": "string"
            },
            "citation": {
              "minLength": 1,
              "type": "string"
            },
            "class": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "url": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "bindingRole",
            "citation",
            "class",
            "id",
            "url"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "bindingRole": {
              "minLength": 1,
              "type": "string"
            },
            "citation": {
              "minLength": 1,
              "type": "string"
            },
            "class": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "url": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "bindingRole",
            "citation",
            "class",
            "id",
            "url"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "bindingRole": {
              "minLength": 1,
              "type": "string"
            },
            "citation": {
              "minLength": 1,
              "type": "string"
            },
            "class": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "url": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "bindingRole",
            "citation",
            "class",
            "id",
            "url"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "bindingRole": {
              "minLength": 1,
              "type": "string"
            },
            "citation": {
              "minLength": 1,
              "type": "string"
            },
            "class": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "url": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "bindingRole",
            "citation",
            "class",
            "id",
            "url"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "bindingRole": {
              "minLength": 1,
              "type": "string"
            },
            "citation": {
              "minLength": 1,
              "type": "string"
            },
            "class": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "url": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "bindingRole",
            "citation",
            "class",
            "id",
            "url"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "bindingRole": {
              "minLength": 1,
              "type": "string"
            },
            "citation": {
              "minLength": 1,
              "type": "string"
            },
            "class": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "url": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "bindingRole",
            "citation",
            "class",
            "id",
            "url"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "bindingRole": {
              "minLength": 1,
              "type": "string"
            },
            "citation": {
              "minLength": 1,
              "type": "string"
            },
            "class": {
              "minLength": 1,
              "type": "string"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "url": {
              "minLength": 1,
              "type": "string"
            }
          },
          "required": [
            "bindingRole",
            "citation",
            "class",
            "id",
            "url"
          ],
          "type": "object"
        }
      ],
      "type": "array"
    },
    "syntheticFixtures": {
      "items": false,
      "maxItems": 18,
      "minItems": 18,
      "prefixItems": [
        {
          "additionalProperties": false,
          "properties": {
            "expected": {
              "additionalProperties": false,
              "properties": {
                "preservingTransformCount": {
                  "type": "integer"
                },
                "preservingTransformIds": {
                  "items": false,
                  "maxItems": 4,
                  "minItems": 4,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "preservingTransformCount",
                "preservingTransformIds"
              ],
              "type": "object"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "input": {
              "additionalProperties": false,
              "properties": {
                "sequence": {
                  "items": false,
                  "maxItems": 4,
                  "minItems": 4,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                },
                "transforms": {
                  "items": false,
                  "maxItems": 8,
                  "minItems": 8,
                  "prefixItems": [
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "permutation": {
                          "items": false,
                          "maxItems": 4,
                          "minItems": 4,
                          "prefixItems": [
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            }
                          ],
                          "type": "array"
                        }
                      },
                      "required": [
                        "id",
                        "permutation"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "permutation": {
                          "items": false,
                          "maxItems": 4,
                          "minItems": 4,
                          "prefixItems": [
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            }
                          ],
                          "type": "array"
                        }
                      },
                      "required": [
                        "id",
                        "permutation"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "permutation": {
                          "items": false,
                          "maxItems": 4,
                          "minItems": 4,
                          "prefixItems": [
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            }
                          ],
                          "type": "array"
                        }
                      },
                      "required": [
                        "id",
                        "permutation"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "permutation": {
                          "items": false,
                          "maxItems": 4,
                          "minItems": 4,
                          "prefixItems": [
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            }
                          ],
                          "type": "array"
                        }
                      },
                      "required": [
                        "id",
                        "permutation"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "permutation": {
                          "items": false,
                          "maxItems": 4,
                          "minItems": 4,
                          "prefixItems": [
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            }
                          ],
                          "type": "array"
                        }
                      },
                      "required": [
                        "id",
                        "permutation"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "permutation": {
                          "items": false,
                          "maxItems": 4,
                          "minItems": 4,
                          "prefixItems": [
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            }
                          ],
                          "type": "array"
                        }
                      },
                      "required": [
                        "id",
                        "permutation"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "permutation": {
                          "items": false,
                          "maxItems": 4,
                          "minItems": 4,
                          "prefixItems": [
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            }
                          ],
                          "type": "array"
                        }
                      },
                      "required": [
                        "id",
                        "permutation"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "permutation": {
                          "items": false,
                          "maxItems": 4,
                          "minItems": 4,
                          "prefixItems": [
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            }
                          ],
                          "type": "array"
                        }
                      },
                      "required": [
                        "id",
                        "permutation"
                      ],
                      "type": "object"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "sequence",
                "transforms"
              ],
              "type": "object"
            },
            "kind": {
              "minLength": 1,
              "type": "string"
            },
            "lane": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "operation": {
              "minLength": 1,
              "type": "string"
            },
            "premises": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "synthetic": {
              "type": "boolean"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            },
            "witnessesNonEquivalence": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            }
          },
          "required": [
            "expected",
            "id",
            "input",
            "kind",
            "lane",
            "nonclaims",
            "operation",
            "premises",
            "synthetic",
            "title",
            "witnessesNonEquivalence"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "expected": {
              "additionalProperties": false,
              "properties": {
                "entropyBits": {
                  "additionalProperties": false,
                  "properties": {
                    "denominator": {
                      "type": "integer"
                    },
                    "numerator": {
                      "type": "integer"
                    }
                  },
                  "required": [
                    "denominator",
                    "numerator"
                  ],
                  "type": "object"
                }
              },
              "required": [
                "entropyBits"
              ],
              "type": "object"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "input": {
              "additionalProperties": false,
              "properties": {
                "logarithmBase": {
                  "type": "integer"
                },
                "symbols": {
                  "items": false,
                  "maxItems": 3,
                  "minItems": 3,
                  "prefixItems": [
                    {
                      "additionalProperties": false,
                      "properties": {
                        "count": {
                          "type": "integer"
                        },
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "count",
                        "id"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "count": {
                          "type": "integer"
                        },
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "count",
                        "id"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "count": {
                          "type": "integer"
                        },
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "count",
                        "id"
                      ],
                      "type": "object"
                    }
                  ],
                  "type": "array"
                },
                "total": {
                  "type": "integer"
                }
              },
              "required": [
                "logarithmBase",
                "symbols",
                "total"
              ],
              "type": "object"
            },
            "kind": {
              "minLength": 1,
              "type": "string"
            },
            "lane": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "operation": {
              "minLength": 1,
              "type": "string"
            },
            "premises": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "synthetic": {
              "type": "boolean"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            },
            "witnessesNonEquivalence": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            }
          },
          "required": [
            "expected",
            "id",
            "input",
            "kind",
            "lane",
            "nonclaims",
            "operation",
            "premises",
            "synthetic",
            "title",
            "witnessesNonEquivalence"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "expected": {
              "additionalProperties": false,
              "properties": {
                "orderingReverses": {
                  "type": "boolean"
                },
                "shorterByCodebook": {
                  "items": false,
                  "maxItems": 2,
                  "minItems": 2,
                  "prefixItems": [
                    {
                      "additionalProperties": false,
                      "properties": {
                        "codebookId": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "specimenId": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "codebookId",
                        "specimenId"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "codebookId": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "specimenId": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "codebookId",
                        "specimenId"
                      ],
                      "type": "object"
                    }
                  ],
                  "type": "array"
                },
                "totals": {
                  "items": false,
                  "maxItems": 4,
                  "minItems": 4,
                  "prefixItems": [
                    {
                      "additionalProperties": false,
                      "properties": {
                        "bits": {
                          "type": "integer"
                        },
                        "codebookId": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "specimenId": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "bits",
                        "codebookId",
                        "specimenId"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "bits": {
                          "type": "integer"
                        },
                        "codebookId": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "specimenId": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "bits",
                        "codebookId",
                        "specimenId"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "bits": {
                          "type": "integer"
                        },
                        "codebookId": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "specimenId": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "bits",
                        "codebookId",
                        "specimenId"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "bits": {
                          "type": "integer"
                        },
                        "codebookId": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "specimenId": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "bits",
                        "codebookId",
                        "specimenId"
                      ],
                      "type": "object"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "orderingReverses",
                "shorterByCodebook",
                "totals"
              ],
              "type": "object"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "input": {
              "additionalProperties": false,
              "properties": {
                "codebooks": {
                  "items": false,
                  "maxItems": 2,
                  "minItems": 2,
                  "prefixItems": [
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "lengths": {
                          "items": false,
                          "maxItems": 2,
                          "minItems": 2,
                          "prefixItems": [
                            {
                              "additionalProperties": false,
                              "properties": {
                                "bits": {
                                  "type": "integer"
                                },
                                "symbol": {
                                  "minLength": 1,
                                  "type": "string"
                                }
                              },
                              "required": [
                                "bits",
                                "symbol"
                              ],
                              "type": "object"
                            },
                            {
                              "additionalProperties": false,
                              "properties": {
                                "bits": {
                                  "type": "integer"
                                },
                                "symbol": {
                                  "minLength": 1,
                                  "type": "string"
                                }
                              },
                              "required": [
                                "bits",
                                "symbol"
                              ],
                              "type": "object"
                            }
                          ],
                          "type": "array"
                        }
                      },
                      "required": [
                        "id",
                        "lengths"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "lengths": {
                          "items": false,
                          "maxItems": 2,
                          "minItems": 2,
                          "prefixItems": [
                            {
                              "additionalProperties": false,
                              "properties": {
                                "bits": {
                                  "type": "integer"
                                },
                                "symbol": {
                                  "minLength": 1,
                                  "type": "string"
                                }
                              },
                              "required": [
                                "bits",
                                "symbol"
                              ],
                              "type": "object"
                            },
                            {
                              "additionalProperties": false,
                              "properties": {
                                "bits": {
                                  "type": "integer"
                                },
                                "symbol": {
                                  "minLength": 1,
                                  "type": "string"
                                }
                              },
                              "required": [
                                "bits",
                                "symbol"
                              ],
                              "type": "object"
                            }
                          ],
                          "type": "array"
                        }
                      },
                      "required": [
                        "id",
                        "lengths"
                      ],
                      "type": "object"
                    }
                  ],
                  "type": "array"
                },
                "specimens": {
                  "items": false,
                  "maxItems": 2,
                  "minItems": 2,
                  "prefixItems": [
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "symbols": {
                          "items": false,
                          "maxItems": 4,
                          "minItems": 4,
                          "prefixItems": [
                            {
                              "minLength": 1,
                              "type": "string"
                            },
                            {
                              "minLength": 1,
                              "type": "string"
                            },
                            {
                              "minLength": 1,
                              "type": "string"
                            },
                            {
                              "minLength": 1,
                              "type": "string"
                            }
                          ],
                          "type": "array"
                        }
                      },
                      "required": [
                        "id",
                        "symbols"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "symbols": {
                          "items": false,
                          "maxItems": 4,
                          "minItems": 4,
                          "prefixItems": [
                            {
                              "minLength": 1,
                              "type": "string"
                            },
                            {
                              "minLength": 1,
                              "type": "string"
                            },
                            {
                              "minLength": 1,
                              "type": "string"
                            },
                            {
                              "minLength": 1,
                              "type": "string"
                            }
                          ],
                          "type": "array"
                        }
                      },
                      "required": [
                        "id",
                        "symbols"
                      ],
                      "type": "object"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "codebooks",
                "specimens"
              ],
              "type": "object"
            },
            "kind": {
              "minLength": 1,
              "type": "string"
            },
            "lane": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "operation": {
              "minLength": 1,
              "type": "string"
            },
            "premises": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "synthetic": {
              "type": "boolean"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            },
            "witnessesNonEquivalence": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            }
          },
          "required": [
            "expected",
            "id",
            "input",
            "kind",
            "lane",
            "nonclaims",
            "operation",
            "premises",
            "synthetic",
            "title",
            "witnessesNonEquivalence"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "expected": {
              "additionalProperties": false,
              "properties": {
                "notNovelRelativeTo": {
                  "items": false,
                  "maxItems": 1,
                  "minItems": 1,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                },
                "novelRelativeTo": {
                  "items": false,
                  "maxItems": 1,
                  "minItems": 1,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "notNovelRelativeTo",
                "novelRelativeTo"
              ],
              "type": "object"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "input": {
              "additionalProperties": false,
              "properties": {
                "candidateRepresentation": {
                  "minLength": 1,
                  "type": "string"
                },
                "references": {
                  "items": false,
                  "maxItems": 2,
                  "minItems": 2,
                  "prefixItems": [
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "representations": {
                          "items": false,
                          "maxItems": 2,
                          "minItems": 2,
                          "prefixItems": [
                            {
                              "minLength": 1,
                              "type": "string"
                            },
                            {
                              "minLength": 1,
                              "type": "string"
                            }
                          ],
                          "type": "array"
                        }
                      },
                      "required": [
                        "id",
                        "representations"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "representations": {
                          "items": false,
                          "maxItems": 2,
                          "minItems": 2,
                          "prefixItems": [
                            {
                              "minLength": 1,
                              "type": "string"
                            },
                            {
                              "minLength": 1,
                              "type": "string"
                            }
                          ],
                          "type": "array"
                        }
                      },
                      "required": [
                        "id",
                        "representations"
                      ],
                      "type": "object"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "candidateRepresentation",
                "references"
              ],
              "type": "object"
            },
            "kind": {
              "minLength": 1,
              "type": "string"
            },
            "lane": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "operation": {
              "minLength": 1,
              "type": "string"
            },
            "premises": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "synthetic": {
              "type": "boolean"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            },
            "witnessesNonEquivalence": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            }
          },
          "required": [
            "expected",
            "id",
            "input",
            "kind",
            "lane",
            "nonclaims",
            "operation",
            "premises",
            "synthetic",
            "title",
            "witnessesNonEquivalence"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "expected": {
              "additionalProperties": false,
              "properties": {
                "paretoFrontierVectorIds": {
                  "items": false,
                  "maxItems": 3,
                  "minItems": 3,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                },
                "strictlyDominatedVectorIds": {
                  "items": false,
                  "maxItems": 1,
                  "minItems": 1,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "paretoFrontierVectorIds",
                "strictlyDominatedVectorIds"
              ],
              "type": "object"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "input": {
              "additionalProperties": false,
              "properties": {
                "coordinateIds": {
                  "items": false,
                  "maxItems": 2,
                  "minItems": 2,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                },
                "vectors": {
                  "items": false,
                  "maxItems": 4,
                  "minItems": 4,
                  "prefixItems": [
                    {
                      "additionalProperties": false,
                      "properties": {
                        "coordinates": {
                          "items": false,
                          "maxItems": 2,
                          "minItems": 2,
                          "prefixItems": [
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            }
                          ],
                          "type": "array"
                        },
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "coordinates",
                        "id"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "coordinates": {
                          "items": false,
                          "maxItems": 2,
                          "minItems": 2,
                          "prefixItems": [
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            }
                          ],
                          "type": "array"
                        },
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "coordinates",
                        "id"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "coordinates": {
                          "items": false,
                          "maxItems": 2,
                          "minItems": 2,
                          "prefixItems": [
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            }
                          ],
                          "type": "array"
                        },
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "coordinates",
                        "id"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "coordinates": {
                          "items": false,
                          "maxItems": 2,
                          "minItems": 2,
                          "prefixItems": [
                            {
                              "type": "integer"
                            },
                            {
                              "type": "integer"
                            }
                          ],
                          "type": "array"
                        },
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "coordinates",
                        "id"
                      ],
                      "type": "object"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "coordinateIds",
                "vectors"
              ],
              "type": "object"
            },
            "kind": {
              "minLength": 1,
              "type": "string"
            },
            "lane": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "operation": {
              "minLength": 1,
              "type": "string"
            },
            "premises": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "synthetic": {
              "type": "boolean"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            },
            "witnessesNonEquivalence": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            }
          },
          "required": [
            "expected",
            "id",
            "input",
            "kind",
            "lane",
            "nonclaims",
            "operation",
            "premises",
            "synthetic",
            "title",
            "witnessesNonEquivalence"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "expected": {
              "additionalProperties": false,
              "properties": {
                "collectiveWinnerEstablished": {
                  "type": "boolean"
                },
                "cycle": {
                  "type": "boolean"
                }
              },
              "required": [
                "collectiveWinnerEstablished",
                "cycle"
              ],
              "type": "object"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "input": {
              "additionalProperties": false,
              "properties": {
                "ballots": {
                  "items": false,
                  "maxItems": 3,
                  "minItems": 3,
                  "prefixItems": [
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "order": {
                          "items": false,
                          "maxItems": 3,
                          "minItems": 3,
                          "prefixItems": [
                            {
                              "minLength": 1,
                              "type": "string"
                            },
                            {
                              "minLength": 1,
                              "type": "string"
                            },
                            {
                              "minLength": 1,
                              "type": "string"
                            }
                          ],
                          "type": "array"
                        }
                      },
                      "required": [
                        "id",
                        "order"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "order": {
                          "items": false,
                          "maxItems": 3,
                          "minItems": 3,
                          "prefixItems": [
                            {
                              "minLength": 1,
                              "type": "string"
                            },
                            {
                              "minLength": 1,
                              "type": "string"
                            },
                            {
                              "minLength": 1,
                              "type": "string"
                            }
                          ],
                          "type": "array"
                        }
                      },
                      "required": [
                        "id",
                        "order"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "order": {
                          "items": false,
                          "maxItems": 3,
                          "minItems": 3,
                          "prefixItems": [
                            {
                              "minLength": 1,
                              "type": "string"
                            },
                            {
                              "minLength": 1,
                              "type": "string"
                            },
                            {
                              "minLength": 1,
                              "type": "string"
                            }
                          ],
                          "type": "array"
                        }
                      },
                      "required": [
                        "id",
                        "order"
                      ],
                      "type": "object"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "ballots"
              ],
              "type": "object"
            },
            "kind": {
              "minLength": 1,
              "type": "string"
            },
            "lane": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "operation": {
              "minLength": 1,
              "type": "string"
            },
            "premises": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "synthetic": {
              "type": "boolean"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            },
            "witnessesNonEquivalence": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            }
          },
          "required": [
            "expected",
            "id",
            "input",
            "kind",
            "lane",
            "nonclaims",
            "operation",
            "premises",
            "synthetic",
            "title",
            "witnessesNonEquivalence"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "expected": {
              "additionalProperties": false,
              "properties": {
                "acyclic": {
                  "type": "boolean"
                },
                "ancestorRelations": {
                  "items": false,
                  "maxItems": 5,
                  "minItems": 5,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                },
                "declaredMeaningLossPreserved": {
                  "type": "boolean"
                },
                "rightsSettled": {
                  "type": "boolean"
                },
                "typedTranslationEdges": {
                  "items": false,
                  "maxItems": 1,
                  "minItems": 1,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "acyclic",
                "ancestorRelations",
                "declaredMeaningLossPreserved",
                "rightsSettled",
                "typedTranslationEdges"
              ],
              "type": "object"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "input": {
              "additionalProperties": false,
              "properties": {
                "edges": {
                  "items": false,
                  "maxItems": 3,
                  "minItems": 3,
                  "prefixItems": [
                    {
                      "additionalProperties": false,
                      "properties": {
                        "from": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "relationType": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "to": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "from",
                        "relationType",
                        "to"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "from": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "relationType": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "to": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "from",
                        "relationType",
                        "to"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "from": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "relationType": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "to": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "from",
                        "relationType",
                        "to"
                      ],
                      "type": "object"
                    }
                  ],
                  "type": "array"
                },
                "nodes": {
                  "items": false,
                  "maxItems": 4,
                  "minItems": 4,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                },
                "translationDeclaration": {
                  "additionalProperties": false,
                  "properties": {
                    "declaredMeaningLoss": {
                      "items": false,
                      "maxItems": 1,
                      "minItems": 1,
                      "prefixItems": [
                        {
                          "minLength": 1,
                          "type": "string"
                        }
                      ],
                      "type": "array"
                    },
                    "edge": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "rightsState": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "sourceLanguage": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "targetLanguage": {
                      "minLength": 1,
                      "type": "string"
                    }
                  },
                  "required": [
                    "declaredMeaningLoss",
                    "edge",
                    "rightsState",
                    "sourceLanguage",
                    "targetLanguage"
                  ],
                  "type": "object"
                }
              },
              "required": [
                "edges",
                "nodes",
                "translationDeclaration"
              ],
              "type": "object"
            },
            "kind": {
              "minLength": 1,
              "type": "string"
            },
            "lane": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "operation": {
              "minLength": 1,
              "type": "string"
            },
            "premises": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "synthetic": {
              "type": "boolean"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            },
            "witnessesNonEquivalence": {
              "items": false,
              "maxItems": 3,
              "minItems": 3,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            }
          },
          "required": [
            "expected",
            "id",
            "input",
            "kind",
            "lane",
            "nonclaims",
            "operation",
            "premises",
            "synthetic",
            "title",
            "witnessesNonEquivalence"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "expected": {
              "additionalProperties": false,
              "properties": {
                "authorshipEstablished": {
                  "type": "boolean"
                },
                "inSupport": {
                  "type": "boolean"
                },
                "intentionEstablished": {
                  "type": "boolean"
                },
                "observedProbability": {
                  "additionalProperties": false,
                  "properties": {
                    "denominator": {
                      "type": "integer"
                    },
                    "numerator": {
                      "type": "integer"
                    }
                  },
                  "required": [
                    "denominator",
                    "numerator"
                  ],
                  "type": "object"
                }
              },
              "required": [
                "authorshipEstablished",
                "inSupport",
                "intentionEstablished",
                "observedProbability"
              ],
              "type": "object"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "input": {
              "additionalProperties": false,
              "properties": {
                "distribution": {
                  "items": false,
                  "maxItems": 3,
                  "minItems": 3,
                  "prefixItems": [
                    {
                      "additionalProperties": false,
                      "properties": {
                        "outcome": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "probability": {
                          "additionalProperties": false,
                          "properties": {
                            "denominator": {
                              "type": "integer"
                            },
                            "numerator": {
                              "type": "integer"
                            }
                          },
                          "required": [
                            "denominator",
                            "numerator"
                          ],
                          "type": "object"
                        }
                      },
                      "required": [
                        "outcome",
                        "probability"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "outcome": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "probability": {
                          "additionalProperties": false,
                          "properties": {
                            "denominator": {
                              "type": "integer"
                            },
                            "numerator": {
                              "type": "integer"
                            }
                          },
                          "required": [
                            "denominator",
                            "numerator"
                          ],
                          "type": "object"
                        }
                      },
                      "required": [
                        "outcome",
                        "probability"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "outcome": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "probability": {
                          "additionalProperties": false,
                          "properties": {
                            "denominator": {
                              "type": "integer"
                            },
                            "numerator": {
                              "type": "integer"
                            }
                          },
                          "required": [
                            "denominator",
                            "numerator"
                          ],
                          "type": "object"
                        }
                      },
                      "required": [
                        "outcome",
                        "probability"
                      ],
                      "type": "object"
                    }
                  ],
                  "type": "array"
                },
                "observedOutcome": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "distribution",
                "observedOutcome"
              ],
              "type": "object"
            },
            "kind": {
              "minLength": 1,
              "type": "string"
            },
            "lane": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "operation": {
              "minLength": 1,
              "type": "string"
            },
            "premises": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "synthetic": {
              "type": "boolean"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            },
            "witnessesNonEquivalence": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            }
          },
          "required": [
            "expected",
            "id",
            "input",
            "kind",
            "lane",
            "nonclaims",
            "operation",
            "premises",
            "synthetic",
            "title",
            "witnessesNonEquivalence"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "expected": {
              "additionalProperties": false,
              "properties": {
                "feasibleButUnreachableStateIds": {
                  "items": false,
                  "maxItems": 1,
                  "minItems": 1,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                },
                "reachableStateIds": {
                  "items": false,
                  "maxItems": 3,
                  "minItems": 3,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "feasibleButUnreachableStateIds",
                "reachableStateIds"
              ],
              "type": "object"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "input": {
              "additionalProperties": false,
              "properties": {
                "feasibleStateIds": {
                  "items": false,
                  "maxItems": 4,
                  "minItems": 4,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                },
                "startStateId": {
                  "minLength": 1,
                  "type": "string"
                },
                "transitions": {
                  "items": false,
                  "maxItems": 2,
                  "minItems": 2,
                  "prefixItems": [
                    {
                      "additionalProperties": false,
                      "properties": {
                        "from": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "to": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "from",
                        "to"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "from": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "to": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "from",
                        "to"
                      ],
                      "type": "object"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "feasibleStateIds",
                "startStateId",
                "transitions"
              ],
              "type": "object"
            },
            "kind": {
              "minLength": 1,
              "type": "string"
            },
            "lane": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "operation": {
              "minLength": 1,
              "type": "string"
            },
            "premises": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "synthetic": {
              "type": "boolean"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            },
            "witnessesNonEquivalence": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            }
          },
          "required": [
            "expected",
            "id",
            "input",
            "kind",
            "lane",
            "nonclaims",
            "operation",
            "premises",
            "synthetic",
            "title",
            "witnessesNonEquivalence"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "expected": {
              "additionalProperties": false,
              "properties": {
                "collapsedConsensus": {
                  "type": "boolean"
                },
                "distinctLabels": {
                  "type": "boolean"
                },
                "universalJudgment": {
                  "type": "boolean"
                }
              },
              "required": [
                "collapsedConsensus",
                "distinctLabels",
                "universalJudgment"
              ],
              "type": "object"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "input": {
              "additionalProperties": false,
              "properties": {
                "formId": {
                  "minLength": 1,
                  "type": "string"
                },
                "judgments": {
                  "items": false,
                  "maxItems": 2,
                  "minItems": 2,
                  "prefixItems": [
                    {
                      "additionalProperties": false,
                      "properties": {
                        "asOf": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "attributionId": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "contextId": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "label": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "methodId": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "vocabularyId": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "asOf",
                        "attributionId",
                        "contextId",
                        "label",
                        "methodId",
                        "vocabularyId"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "asOf": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "attributionId": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "contextId": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "label": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "methodId": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "vocabularyId": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "asOf",
                        "attributionId",
                        "contextId",
                        "label",
                        "methodId",
                        "vocabularyId"
                      ],
                      "type": "object"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "formId",
                "judgments"
              ],
              "type": "object"
            },
            "kind": {
              "minLength": 1,
              "type": "string"
            },
            "lane": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "operation": {
              "minLength": 1,
              "type": "string"
            },
            "premises": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "synthetic": {
              "type": "boolean"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            },
            "witnessesNonEquivalence": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            }
          },
          "required": [
            "expected",
            "id",
            "input",
            "kind",
            "lane",
            "nonclaims",
            "operation",
            "premises",
            "synthetic",
            "title",
            "witnessesNonEquivalence"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "expected": {
              "additionalProperties": false,
              "properties": {
                "aestheticJudgmentRecorded": {
                  "type": "boolean"
                },
                "responseRecorded": {
                  "type": "boolean"
                },
                "universalResponseEstablished": {
                  "type": "boolean"
                }
              },
              "required": [
                "aestheticJudgmentRecorded",
                "responseRecorded",
                "universalResponseEstablished"
              ],
              "type": "object"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "input": {
              "additionalProperties": false,
              "properties": {
                "aestheticJudgments": {
                  "items": false,
                  "maxItems": 0,
                  "minItems": 0,
                  "type": "array"
                },
                "formId": {
                  "minLength": 1,
                  "type": "string"
                },
                "response": {
                  "additionalProperties": false,
                  "properties": {
                    "asOf": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "attributionId": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "contextId": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "report": {
                      "minLength": 1,
                      "type": "string"
                    }
                  },
                  "required": [
                    "asOf",
                    "attributionId",
                    "contextId",
                    "report"
                  ],
                  "type": "object"
                }
              },
              "required": [
                "aestheticJudgments",
                "formId",
                "response"
              ],
              "type": "object"
            },
            "kind": {
              "minLength": 1,
              "type": "string"
            },
            "lane": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "operation": {
              "minLength": 1,
              "type": "string"
            },
            "premises": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "synthetic": {
              "type": "boolean"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            },
            "witnessesNonEquivalence": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            }
          },
          "required": [
            "expected",
            "id",
            "input",
            "kind",
            "lane",
            "nonclaims",
            "operation",
            "premises",
            "synthetic",
            "title",
            "witnessesNonEquivalence"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "expected": {
              "additionalProperties": false,
              "properties": {
                "exclusiveMeaningEstablished": {
                  "type": "boolean"
                },
                "innerStateProven": {
                  "type": "boolean"
                },
                "statementAttributed": {
                  "type": "boolean"
                }
              },
              "required": [
                "exclusiveMeaningEstablished",
                "innerStateProven",
                "statementAttributed"
              ],
              "type": "object"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "input": {
              "additionalProperties": false,
              "properties": {
                "formId": {
                  "minLength": 1,
                  "type": "string"
                },
                "makingEventId": {
                  "minLength": 1,
                  "type": "string"
                },
                "statement": {
                  "additionalProperties": false,
                  "properties": {
                    "attributionId": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "text": {
                      "minLength": 1,
                      "type": "string"
                    }
                  },
                  "required": [
                    "attributionId",
                    "text"
                  ],
                  "type": "object"
                }
              },
              "required": [
                "formId",
                "makingEventId",
                "statement"
              ],
              "type": "object"
            },
            "kind": {
              "minLength": 1,
              "type": "string"
            },
            "lane": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "operation": {
              "minLength": 1,
              "type": "string"
            },
            "premises": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "synthetic": {
              "type": "boolean"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            },
            "witnessesNonEquivalence": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            }
          },
          "required": [
            "expected",
            "id",
            "input",
            "kind",
            "lane",
            "nonclaims",
            "operation",
            "premises",
            "synthetic",
            "title",
            "witnessesNonEquivalence"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "expected": {
              "additionalProperties": false,
              "properties": {
                "contextCount": {
                  "type": "integer"
                },
                "ownershipEstablished": {
                  "type": "boolean"
                },
                "permissionEstablished": {
                  "type": "boolean"
                },
                "realCommunityRepresented": {
                  "type": "boolean"
                }
              },
              "required": [
                "contextCount",
                "ownershipEstablished",
                "permissionEstablished",
                "realCommunityRepresented"
              ],
              "type": "object"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "input": {
              "additionalProperties": false,
              "properties": {
                "contexts": {
                  "items": false,
                  "maxItems": 2,
                  "minItems": 2,
                  "prefixItems": [
                    {
                      "additionalProperties": false,
                      "properties": {
                        "description": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "description",
                        "id"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "description": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "description",
                        "id"
                      ],
                      "type": "object"
                    }
                  ],
                  "type": "array"
                },
                "formId": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "contexts",
                "formId"
              ],
              "type": "object"
            },
            "kind": {
              "minLength": 1,
              "type": "string"
            },
            "lane": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "operation": {
              "minLength": 1,
              "type": "string"
            },
            "premises": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "synthetic": {
              "type": "boolean"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            },
            "witnessesNonEquivalence": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            }
          },
          "required": [
            "expected",
            "id",
            "input",
            "kind",
            "lane",
            "nonclaims",
            "operation",
            "premises",
            "synthetic",
            "title",
            "witnessesNonEquivalence"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "expected": {
              "additionalProperties": false,
              "properties": {
                "publicAdoptionEstablished": {
                  "type": "boolean"
                },
                "selectionRecorded": {
                  "type": "boolean"
                },
                "universalAestheticAuthority": {
                  "type": "boolean"
                },
                "winnerEstablished": {
                  "type": "boolean"
                }
              },
              "required": [
                "publicAdoptionEstablished",
                "selectionRecorded",
                "universalAestheticAuthority",
                "winnerEstablished"
              ],
              "type": "object"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "input": {
              "additionalProperties": false,
              "properties": {
                "institutionId": {
                  "minLength": 1,
                  "type": "string"
                },
                "procedureId": {
                  "minLength": 1,
                  "type": "string"
                },
                "selectedFormId": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "institutionId",
                "procedureId",
                "selectedFormId"
              ],
              "type": "object"
            },
            "kind": {
              "minLength": 1,
              "type": "string"
            },
            "lane": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "operation": {
              "minLength": 1,
              "type": "string"
            },
            "premises": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "synthetic": {
              "type": "boolean"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            },
            "witnessesNonEquivalence": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            }
          },
          "required": [
            "expected",
            "id",
            "input",
            "kind",
            "lane",
            "nonclaims",
            "operation",
            "premises",
            "synthetic",
            "title",
            "witnessesNonEquivalence"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "expected": {
              "additionalProperties": false,
              "properties": {
                "adoptionRecorded": {
                  "type": "boolean"
                },
                "licenceInferred": {
                  "type": "boolean"
                },
                "permissionInferred": {
                  "type": "boolean"
                },
                "publicationRecorded": {
                  "type": "boolean"
                }
              },
              "required": [
                "adoptionRecorded",
                "licenceInferred",
                "permissionInferred",
                "publicationRecorded"
              ],
              "type": "object"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "input": {
              "additionalProperties": false,
              "properties": {
                "adoptionEvents": {
                  "items": false,
                  "maxItems": 0,
                  "minItems": 0,
                  "type": "array"
                },
                "artifactId": {
                  "minLength": 1,
                  "type": "string"
                },
                "publicationEvent": {
                  "additionalProperties": false,
                  "properties": {
                    "declaredRightsLabel": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "publisherId": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "route": {
                      "minLength": 1,
                      "type": "string"
                    }
                  },
                  "required": [
                    "declaredRightsLabel",
                    "publisherId",
                    "route"
                  ],
                  "type": "object"
                }
              },
              "required": [
                "adoptionEvents",
                "artifactId",
                "publicationEvent"
              ],
              "type": "object"
            },
            "kind": {
              "minLength": 1,
              "type": "string"
            },
            "lane": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "operation": {
              "minLength": 1,
              "type": "string"
            },
            "premises": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "synthetic": {
              "type": "boolean"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            },
            "witnessesNonEquivalence": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            }
          },
          "required": [
            "expected",
            "id",
            "input",
            "kind",
            "lane",
            "nonclaims",
            "operation",
            "premises",
            "synthetic",
            "title",
            "witnessesNonEquivalence"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "expected": {
              "additionalProperties": false,
              "properties": {
                "adoptionRecorded": {
                  "type": "boolean"
                },
                "endorsementRecorded": {
                  "type": "boolean"
                },
                "universalAcceptanceEstablished": {
                  "type": "boolean"
                }
              },
              "required": [
                "adoptionRecorded",
                "endorsementRecorded",
                "universalAcceptanceEstablished"
              ],
              "type": "object"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "input": {
              "additionalProperties": false,
              "properties": {
                "adoptionEvent": {
                  "additionalProperties": false,
                  "properties": {
                    "adopterId": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "contextId": {
                      "minLength": 1,
                      "type": "string"
                    },
                    "use": {
                      "minLength": 1,
                      "type": "string"
                    }
                  },
                  "required": [
                    "adopterId",
                    "contextId",
                    "use"
                  ],
                  "type": "object"
                },
                "artifactId": {
                  "minLength": 1,
                  "type": "string"
                },
                "endorsementStatements": {
                  "items": false,
                  "maxItems": 0,
                  "minItems": 0,
                  "type": "array"
                }
              },
              "required": [
                "adoptionEvent",
                "artifactId",
                "endorsementStatements"
              ],
              "type": "object"
            },
            "kind": {
              "minLength": 1,
              "type": "string"
            },
            "lane": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "operation": {
              "minLength": 1,
              "type": "string"
            },
            "premises": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "synthetic": {
              "type": "boolean"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            },
            "witnessesNonEquivalence": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            }
          },
          "required": [
            "expected",
            "id",
            "input",
            "kind",
            "lane",
            "nonclaims",
            "operation",
            "premises",
            "synthetic",
            "title",
            "witnessesNonEquivalence"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "expected": {
              "additionalProperties": false,
              "properties": {
                "eventCount": {
                  "type": "integer"
                },
                "repairRecorded": {
                  "type": "boolean"
                },
                "retroactiveAestheticTruth": {
                  "type": "boolean"
                },
                "rewardOrPunishmentAuthorized": {
                  "type": "boolean"
                }
              },
              "required": [
                "eventCount",
                "repairRecorded",
                "retroactiveAestheticTruth",
                "rewardOrPunishmentAuthorized"
              ],
              "type": "object"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "input": {
              "additionalProperties": false,
              "properties": {
                "aftermathEvents": {
                  "items": false,
                  "maxItems": 2,
                  "minItems": 2,
                  "prefixItems": [
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "kind": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "id",
                        "kind"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "kind": {
                          "minLength": 1,
                          "type": "string"
                        }
                      },
                      "required": [
                        "id",
                        "kind"
                      ],
                      "type": "object"
                    }
                  ],
                  "type": "array"
                },
                "artifactId": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "aftermathEvents",
                "artifactId"
              ],
              "type": "object"
            },
            "kind": {
              "minLength": 1,
              "type": "string"
            },
            "lane": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "operation": {
              "minLength": 1,
              "type": "string"
            },
            "premises": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "synthetic": {
              "type": "boolean"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            },
            "witnessesNonEquivalence": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            }
          },
          "required": [
            "expected",
            "id",
            "input",
            "kind",
            "lane",
            "nonclaims",
            "operation",
            "premises",
            "synthetic",
            "title",
            "witnessesNonEquivalence"
          ],
          "type": "object"
        },
        {
          "additionalProperties": false,
          "properties": {
            "expected": {
              "additionalProperties": false,
              "properties": {
                "aestheticJudgmentEstablished": {
                  "type": "boolean"
                },
                "satisfiedTechnicalCheckCount": {
                  "type": "integer"
                },
                "universalInclusionEstablished": {
                  "type": "boolean"
                },
                "wcagConformanceEstablished": {
                  "type": "boolean"
                }
              },
              "required": [
                "aestheticJudgmentEstablished",
                "satisfiedTechnicalCheckCount",
                "universalInclusionEstablished",
                "wcagConformanceEstablished"
              ],
              "type": "object"
            },
            "id": {
              "minLength": 1,
              "type": "string"
            },
            "input": {
              "additionalProperties": false,
              "properties": {
                "contentId": {
                  "minLength": 1,
                  "type": "string"
                },
                "declaredTechnicalChecks": {
                  "items": false,
                  "maxItems": 2,
                  "minItems": 2,
                  "prefixItems": [
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "satisfied": {
                          "type": "boolean"
                        }
                      },
                      "required": [
                        "id",
                        "satisfied"
                      ],
                      "type": "object"
                    },
                    {
                      "additionalProperties": false,
                      "properties": {
                        "id": {
                          "minLength": 1,
                          "type": "string"
                        },
                        "satisfied": {
                          "type": "boolean"
                        }
                      },
                      "required": [
                        "id",
                        "satisfied"
                      ],
                      "type": "object"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "contentId",
                "declaredTechnicalChecks"
              ],
              "type": "object"
            },
            "kind": {
              "minLength": 1,
              "type": "string"
            },
            "lane": {
              "minLength": 1,
              "type": "string"
            },
            "nonclaims": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "operation": {
              "minLength": 1,
              "type": "string"
            },
            "premises": {
              "items": false,
              "maxItems": 2,
              "minItems": 2,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                },
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            },
            "synthetic": {
              "type": "boolean"
            },
            "title": {
              "minLength": 1,
              "type": "string"
            },
            "witnessesNonEquivalence": {
              "items": false,
              "maxItems": 1,
              "minItems": 1,
              "prefixItems": [
                {
                  "minLength": 1,
                  "type": "string"
                }
              ],
              "type": "array"
            }
          },
          "required": [
            "expected",
            "id",
            "input",
            "kind",
            "lane",
            "nonclaims",
            "operation",
            "premises",
            "synthetic",
            "title",
            "witnessesNonEquivalence"
          ],
          "type": "object"
        }
      ],
      "type": "array"
    },
    "vocabularies": {
      "additionalProperties": false,
      "properties": {
        "lanes": {
          "items": false,
          "maxItems": 10,
          "minItems": 10,
          "prefixItems": [
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "keepsDistinctFrom": {
                  "items": false,
                  "maxItems": 4,
                  "minItems": 4,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                },
                "label": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id",
                "keepsDistinctFrom",
                "label"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "keepsDistinctFrom": {
                  "items": false,
                  "maxItems": 4,
                  "minItems": 4,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                },
                "label": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id",
                "keepsDistinctFrom",
                "label"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "keepsDistinctFrom": {
                  "items": false,
                  "maxItems": 4,
                  "minItems": 4,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                },
                "label": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id",
                "keepsDistinctFrom",
                "label"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "keepsDistinctFrom": {
                  "items": false,
                  "maxItems": 4,
                  "minItems": 4,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                },
                "label": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id",
                "keepsDistinctFrom",
                "label"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "keepsDistinctFrom": {
                  "items": false,
                  "maxItems": 5,
                  "minItems": 5,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                },
                "label": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id",
                "keepsDistinctFrom",
                "label"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "keepsDistinctFrom": {
                  "items": false,
                  "maxItems": 4,
                  "minItems": 4,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                },
                "label": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id",
                "keepsDistinctFrom",
                "label"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "keepsDistinctFrom": {
                  "items": false,
                  "maxItems": 4,
                  "minItems": 4,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                },
                "label": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id",
                "keepsDistinctFrom",
                "label"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "keepsDistinctFrom": {
                  "items": false,
                  "maxItems": 4,
                  "minItems": 4,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                },
                "label": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id",
                "keepsDistinctFrom",
                "label"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "keepsDistinctFrom": {
                  "items": false,
                  "maxItems": 4,
                  "minItems": 4,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                },
                "label": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id",
                "keepsDistinctFrom",
                "label"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "keepsDistinctFrom": {
                  "items": false,
                  "maxItems": 4,
                  "minItems": 4,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                },
                "label": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id",
                "keepsDistinctFrom",
                "label"
              ],
              "type": "object"
            }
          ],
          "type": "array"
        },
        "mathematicalRegisters": {
          "items": false,
          "maxItems": 2,
          "minItems": 2,
          "prefixItems": [
            {
              "additionalProperties": false,
              "properties": {
                "aestheticJudgmentRelation": {
                  "type": "boolean"
                },
                "artifactRelation": {
                  "type": "boolean"
                },
                "choiceRule": {
                  "type": "boolean"
                },
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "selectionRelation": {
                  "type": "boolean"
                }
              },
              "required": [
                "aestheticJudgmentRelation",
                "artifactRelation",
                "choiceRule",
                "definition",
                "id",
                "selectionRelation"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "aestheticJudgmentRelation": {
                  "type": "boolean"
                },
                "artifactRelation": {
                  "type": "boolean"
                },
                "choiceRule": {
                  "type": "boolean"
                },
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "selectionRelation": {
                  "type": "boolean"
                }
              },
              "required": [
                "aestheticJudgmentRelation",
                "artifactRelation",
                "choiceRule",
                "definition",
                "id",
                "selectionRelation"
              ],
              "type": "object"
            }
          ],
          "type": "array"
        },
        "relationTypes": {
          "items": false,
          "maxItems": 15,
          "minItems": 15,
          "prefixItems": [
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                }
              },
              "required": [
                "definition",
                "id"
              ],
              "type": "object"
            }
          ],
          "type": "array"
        },
        "terms": {
          "items": false,
          "maxItems": 12,
          "minItems": 12,
          "prefixItems": [
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "nonclaims": {
                  "items": false,
                  "maxItems": 2,
                  "minItems": 2,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "definition",
                "id",
                "nonclaims"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "nonclaims": {
                  "items": false,
                  "maxItems": 2,
                  "minItems": 2,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "definition",
                "id",
                "nonclaims"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "nonclaims": {
                  "items": false,
                  "maxItems": 2,
                  "minItems": 2,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "definition",
                "id",
                "nonclaims"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "nonclaims": {
                  "items": false,
                  "maxItems": 2,
                  "minItems": 2,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "definition",
                "id",
                "nonclaims"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "nonclaims": {
                  "items": false,
                  "maxItems": 2,
                  "minItems": 2,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "definition",
                "id",
                "nonclaims"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "nonclaims": {
                  "items": false,
                  "maxItems": 2,
                  "minItems": 2,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "definition",
                "id",
                "nonclaims"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "nonclaims": {
                  "items": false,
                  "maxItems": 1,
                  "minItems": 1,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "definition",
                "id",
                "nonclaims"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "nonclaims": {
                  "items": false,
                  "maxItems": 1,
                  "minItems": 1,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "definition",
                "id",
                "nonclaims"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "nonclaims": {
                  "items": false,
                  "maxItems": 1,
                  "minItems": 1,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "definition",
                "id",
                "nonclaims"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "nonclaims": {
                  "items": false,
                  "maxItems": 1,
                  "minItems": 1,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "definition",
                "id",
                "nonclaims"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "nonclaims": {
                  "items": false,
                  "maxItems": 2,
                  "minItems": 2,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "definition",
                "id",
                "nonclaims"
              ],
              "type": "object"
            },
            {
              "additionalProperties": false,
              "properties": {
                "definition": {
                  "minLength": 1,
                  "type": "string"
                },
                "id": {
                  "minLength": 1,
                  "type": "string"
                },
                "nonclaims": {
                  "items": false,
                  "maxItems": 2,
                  "minItems": 2,
                  "prefixItems": [
                    {
                      "minLength": 1,
                      "type": "string"
                    },
                    {
                      "minLength": 1,
                      "type": "string"
                    }
                  ],
                  "type": "array"
                }
              },
              "required": [
                "definition",
                "id",
                "nonclaims"
              ],
              "type": "object"
            }
          ],
          "type": "array"
        }
      },
      "required": [
        "lanes",
        "mathematicalRegisters",
        "relationTypes",
        "terms"
      ],
      "type": "object"
    }
  },
  "required": [
    "$schema",
    "artifact",
    "buildReceipt",
    "constitutionalBoundaries",
    "counts",
    "equationCards",
    "kingdomOrientations",
    "nonEquivalences",
    "protocol",
    "publicHandoff",
    "scope",
    "sourceBindingInvariants",
    "sourceBindings",
    "syntheticFixtures",
    "vocabularies"
  ],
  "title": "KINGDOM Aesthetic Plurality & Making Relations Atlas — Phase 0 — closed public record schema",
  "type": "object"
}
