{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://qft.org/data/schemas/qft-protected-scft-export-1.0.0.schema.json",
  "title": "QFT.org protected SCFT export, N=1 profile",
  "type": "object",
  "additionalProperties": false,
  "required": [
    "$schema",
    "schema_id",
    "schema_version",
    "record_version",
    "profile",
    "theory",
    "observable",
    "values",
    "protected_operators",
    "protection",
    "conventions",
    "convention_hash",
    "normalization_maps",
    "scope",
    "sources",
    "source_cutoff",
    "uncertainty",
    "unresolved",
    "content_hash"
  ],
  "properties": {
    "$schema": {
      "const": "/data/schemas/qft-protected-scft-export-1.0.0.schema.json"
    },
    "schema_id": {
      "const": "qft.org/protected-scft-export/n1"
    },
    "schema_version": {
      "const": "1.0.0"
    },
    "record_version": {
      "type": "string",
      "pattern": "^[0-9]+\\.[0-9]+\\.[0-9]+$"
    },
    "profile": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "kind",
        "generic_envelope_owner",
        "profile_owner",
        "relation"
      ],
      "properties": {
        "kind": {
          "type": "string",
          "const": "four-dimensional N=1 specialization"
        },
        "generic_envelope_owner": {
          "type": "string",
          "const": "/supersymmetry-duality/protected-operators-defects-correspondences/protected-data-versioned-exports/"
        },
        "profile_owner": {
          "type": "string",
          "const": "/supersymmetry-duality/n1-duality-rg-scft/protected-scft-data-bootstrap-export/"
        },
        "relation": {
          "type": "string",
          "const": "this profile specializes, rather than competes with, the generic content-addressed protected-data envelope"
        }
      }
    },
    "theory": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "id",
        "name",
        "spacetime_dimension",
        "supersymmetry",
        "superconformal_algebra",
        "gauge_global_form",
        "faithful_zero_form_flavor_group",
        "faithful_kernel",
        "deformation_point",
        "free_factors",
        "topological_factors",
        "claim_status"
      ],
      "properties": {
        "id": {
          "type": "string",
          "minLength": 1
        },
        "name": {
          "type": "string",
          "minLength": 1
        },
        "spacetime_dimension": {
          "type": "integer",
          "const": 4
        },
        "supersymmetry": {
          "type": "string",
          "const": "N=1"
        },
        "superconformal_algebra": {
          "type": "string",
          "const": "SU(2,2|1)"
        },
        "gauge_global_form": {
          "type": "string",
          "minLength": 1
        },
        "faithful_zero_form_flavor_group": {
          "type": "string",
          "minLength": 1
        },
        "faithful_kernel": {
          "type": "string",
          "minLength": 1
        },
        "deformation_point": {
          "type": "string",
          "minLength": 1
        },
        "free_factors": {
          "type": "array",
          "uniqueItems": true,
          "items": {
            "type": "string",
            "minLength": 1
          }
        },
        "topological_factors": {
          "type": "string",
          "minLength": 1
        },
        "claim_status": {
          "type": "string",
          "minLength": 1
        }
      }
    },
    "observable": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "kind",
        "sectors",
        "arguments"
      ],
      "properties": {
        "kind": {
          "type": "string",
          "const": "protected_theory_card"
        },
        "sectors": {
          "type": "array",
          "minItems": 1,
          "uniqueItems": true,
          "items": {
            "type": "string",
            "minLength": 1
          }
        },
        "arguments": {
          "type": "string",
          "minLength": 1
        }
      }
    },
    "values": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "anomaly_traces",
        "central_charges",
        "two_point_coefficients"
      ],
      "properties": {
        "anomaly_traces": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "TrR",
            "TrR3"
          ],
          "properties": {
            "TrR": {
              "type": "string",
              "pattern": "^-?(?:0|[1-9][0-9]*)(?:/[1-9][0-9]*)?$"
            },
            "TrR3": {
              "type": "string",
              "pattern": "^-?(?:0|[1-9][0-9]*)(?:/[1-9][0-9]*)?$"
            }
          }
        },
        "central_charges": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "a",
            "c"
          ],
          "properties": {
            "a": {
              "type": "string",
              "pattern": "^-?(?:0|[1-9][0-9]*)(?:/[1-9][0-9]*)?$"
            },
            "c": {
              "type": "string",
              "pattern": "^-?(?:0|[1-9][0-9]*)(?:/[1-9][0-9]*)?$"
            }
          }
        },
        "two_point_coefficients": {
          "type": "object",
          "additionalProperties": false,
          "minProperties": 1,
          "required": [
            "C_T"
          ],
          "properties": {
            "C_T": {
              "type": "string",
              "minLength": 1
            }
          },
          "patternProperties": {
            "^tau_[A-Za-z0-9_]+$": {
              "type": "string",
              "pattern": "^-?(?:0|[1-9][0-9]*)(?:/[1-9][0-9]*)?$"
            }
          }
        }
      }
    },
    "protected_operators": {
      "type": "array",
      "minItems": 1,
      "uniqueItems": true,
      "items": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "identity",
          "uv_expression",
          "lorentz_CDI",
          "multiplet_CDI",
          "R",
          "Delta",
          "flavor_representation",
          "representation_dimension",
          "copy_multiplicity",
          "recombination",
          "mixing"
        ],
        "properties": {
          "identity": {
            "type": "string",
            "minLength": 1
          },
          "uv_expression": {
            "type": "string",
            "minLength": 1
          },
          "lorentz_CDI": {
            "type": "string",
            "pattern": "^\\[[0-9]+;[0-9]+\\]$"
          },
          "multiplet_CDI": {
            "type": "string",
            "pattern": "^.+\\[[0-9]+;[0-9]+\\]_\\{Delta=-?(?:0|[1-9][0-9]*)(?:/[1-9][0-9]*)?\\}\\^\\{\\(R=-?(?:0|[1-9][0-9]*)(?:/[1-9][0-9]*)?\\)\\}$"
          },
          "R": {
            "type": "string",
            "pattern": "^-?(?:0|[1-9][0-9]*)(?:/[1-9][0-9]*)?$"
          },
          "Delta": {
            "type": "string",
            "pattern": "^-?(?:0|[1-9][0-9]*)(?:/[1-9][0-9]*)?$"
          },
          "flavor_representation": {
            "type": "string",
            "minLength": 1
          },
          "representation_dimension": {
            "type": "integer",
            "minimum": 1
          },
          "copy_multiplicity": {
            "type": "integer",
            "minimum": 1
          },
          "recombination": {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "status",
              "reason"
            ],
            "properties": {
              "status": {
                "type": "string",
                "enum": [
                  "absolutely protected",
                  "recombination-sensitive"
                ]
              },
              "reason": {
                "type": "string",
                "minLength": 1
              }
            }
          },
          "mixing": {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "basis",
              "gram_matrix",
              "status"
            ],
            "properties": {
              "basis": {
                "type": "array",
                "minItems": 1,
                "uniqueItems": true,
                "items": {
                  "type": "string",
                  "minLength": 1
                }
              },
              "gram_matrix": {
                "anyOf": [
                  {
                    "type": "string",
                    "minLength": 1
                  },
                  {
                    "type": "null"
                  }
                ]
              },
              "status": {
                "type": "string",
                "minLength": 1
              }
            }
          }
        }
      }
    },
    "protection": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "anomaly_values",
        "chiral_dimensions",
        "multiplet_status"
      ],
      "properties": {
        "anomaly_values": {
          "type": "string",
          "minLength": 1
        },
        "chiral_dimensions": {
          "type": "string",
          "minLength": 1
        },
        "multiplet_status": {
          "type": "string",
          "minLength": 1
        }
      }
    },
    "conventions": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "lorentz_labels",
        "chiral_dimension",
        "generator_trace",
        "anomaly_trace",
        "stress_tensor_two_point",
        "flavor_current_two_point"
      ],
      "properties": {
        "lorentz_labels": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "stored",
            "forward",
            "inverse"
          ],
          "properties": {
            "stored": {
              "type": "string",
              "const": "CDI integer Dynkin labels [j_CDI;jbar_CDI]"
            },
            "forward": {
              "type": "string",
              "const": "j_CDI=2*j_spin"
            },
            "inverse": {
              "type": "string",
              "const": "j_spin=j_CDI/2"
            }
          }
        },
        "chiral_dimension": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "forward",
            "inverse"
          ],
          "properties": {
            "forward": {
              "type": "string",
              "const": "Delta=3*R/2"
            },
            "inverse": {
              "type": "string",
              "const": "R=2*Delta/3"
            }
          }
        },
        "generator_trace": {
          "type": "string",
          "const": "tr_fund(T^a T^b)=delta^{ab}/2"
        },
        "anomaly_trace": {
          "type": "string",
          "const": "sum over left-handed Weyl fermions; a chiral superfield of scalar charge R_Phi contributes fermion charge R_Phi-1"
        },
        "stress_tensor_two_point": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "definition",
            "forward",
            "inverse"
          ],
          "properties": {
            "definition": {
              "type": "string",
              "const": "<T_mn(x) T_rs(0)>=C_T I_mn,rs(x)/|x|^8, I_mn,rs=(I_mr I_ns+I_ms I_nr)/2-delta_mn delta_rs/4, I_mn=delta_mn-2 x_m x_n/x^2"
            },
            "forward": {
              "type": "string",
              "const": "C_T=40*c/pi^4"
            },
            "inverse": {
              "type": "string",
              "const": "c=pi^4*C_T/40"
            }
          }
        },
        "flavor_current_two_point": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "definition",
            "forward",
            "inverse"
          ],
          "properties": {
            "definition": {
              "type": "string",
              "const": "<J_m^a(x) J_n^b(0)>=3*tau^{ab} I_mn(x)/(4*pi^4*|x|^6)"
            },
            "forward": {
              "type": "string",
              "const": "tau^{ab}=-3*Tr(R T^a T^b)"
            },
            "inverse": {
              "type": "string",
              "const": "Tr(R T^a T^b)=-tau^{ab}/3"
            }
          }
        }
      }
    },
    "convention_hash": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "algorithm",
        "canonicalization",
        "value"
      ],
      "properties": {
        "algorithm": {
          "type": "string",
          "const": "sha256"
        },
        "canonicalization": {
          "type": "string",
          "const": "RFC 8785"
        },
        "value": {
          "type": "string",
          "pattern": "^[0-9a-f]{64}$"
        }
      }
    },
    "normalization_maps": {
      "type": "array",
      "minItems": 5,
      "maxItems": 5,
      "uniqueItems": true,
      "prefixItems": [
        {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "id",
            "domain",
            "forward",
            "inverse",
            "test"
          ],
          "properties": {
            "id": {
              "type": "string",
              "const": "chiral_R_Delta"
            },
            "domain": {
              "type": "string",
              "const": "declared chiral primary"
            },
            "forward": {
              "type": "string",
              "const": "Delta=3*R/2"
            },
            "inverse": {
              "type": "string",
              "const": "R=2*Delta/3"
            },
            "test": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "R",
                "Delta"
              ],
              "properties": {
                "R": {
                  "type": "string",
                  "pattern": "^-?(?:0|[1-9][0-9]*)(?:/[1-9][0-9]*)?$"
                },
                "Delta": {
                  "type": "string",
                  "pattern": "^-?(?:0|[1-9][0-9]*)(?:/[1-9][0-9]*)?$"
                }
              }
            }
          }
        },
        {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "id",
            "domain",
            "forward",
            "inverse",
            "test"
          ],
          "properties": {
            "id": {
              "type": "string",
              "const": "spin_to_CDI"
            },
            "domain": {
              "type": "string",
              "const": "four-dimensional Lorentz spin"
            },
            "forward": {
              "type": "string",
              "const": "j_CDI=2*j_spin"
            },
            "inverse": {
              "type": "string",
              "const": "j_spin=j_CDI/2"
            },
            "test": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "j_spin",
                "j_CDI"
              ],
              "properties": {
                "j_spin": {
                  "type": "string",
                  "pattern": "^-?(?:0|[1-9][0-9]*)(?:/[1-9][0-9]*)?$"
                },
                "j_CDI": {
                  "type": "string",
                  "pattern": "^-?(?:0|[1-9][0-9]*)(?:/[1-9][0-9]*)?$"
                }
              }
            }
          }
        },
        {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "id",
            "domain",
            "forward",
            "inverse",
            "test"
          ],
          "properties": {
            "id": {
              "type": "string",
              "const": "c_to_C_T"
            },
            "domain": {
              "type": "string",
              "const": "stored stress-tensor convention"
            },
            "forward": {
              "type": "string",
              "const": "C_T=40*c/pi^4"
            },
            "inverse": {
              "type": "string",
              "const": "c=pi^4*C_T/40"
            },
            "test": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "c",
                "C_T"
              ],
              "properties": {
                "c": {
                  "type": "string",
                  "pattern": "^-?(?:0|[1-9][0-9]*)(?:/[1-9][0-9]*)?$"
                },
                "C_T": {
                  "type": "string",
                  "minLength": 1
                }
              }
            }
          }
        },
        {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "id",
            "domain",
            "forward",
            "inverse",
            "test"
          ],
          "properties": {
            "id": {
              "type": "string",
              "const": "anomaly_to_tau"
            },
            "domain": {
              "type": "string",
              "const": "stored flavor-current convention"
            },
            "forward": {
              "type": "string",
              "const": "tau=-3*Tr(R*T*T)"
            },
            "inverse": {
              "type": "string",
              "const": "Tr(R*T*T)=-tau/3"
            },
            "test": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "anomaly",
                "tau"
              ],
              "properties": {
                "anomaly": {
                  "type": "string",
                  "pattern": "^-?(?:0|[1-9][0-9]*)(?:/[1-9][0-9]*)?$"
                },
                "tau": {
                  "type": "string",
                  "pattern": "^-?(?:0|[1-9][0-9]*)(?:/[1-9][0-9]*)?$"
                }
              }
            }
          }
        },
        {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "id",
            "domain",
            "forward",
            "inverse",
            "test"
          ],
          "properties": {
            "id": {
              "type": "string",
              "const": "R_traces_to_a_c"
            },
            "domain": {
              "type": "string",
              "const": "four-dimensional N=1 SCFT"
            },
            "forward": {
              "type": "array",
              "const": [
                "a=3*(3*TrR3-TrR)/32",
                "c=(9*TrR3-5*TrR)/32"
              ]
            },
            "inverse": {
              "type": "array",
              "const": [
                "TrR=16*(a-c)",
                "TrR3=16*(5*a-3*c)/9"
              ]
            },
            "test": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "TrR",
                "TrR3",
                "a",
                "c"
              ],
              "properties": {
                "TrR": {
                  "type": "string",
                  "pattern": "^-?(?:0|[1-9][0-9]*)(?:/[1-9][0-9]*)?$"
                },
                "TrR3": {
                  "type": "string",
                  "pattern": "^-?(?:0|[1-9][0-9]*)(?:/[1-9][0-9]*)?$"
                },
                "a": {
                  "type": "string",
                  "pattern": "^-?(?:0|[1-9][0-9]*)(?:/[1-9][0-9]*)?$"
                },
                "c": {
                  "type": "string",
                  "pattern": "^-?(?:0|[1-9][0-9]*)(?:/[1-9][0-9]*)?$"
                }
              }
            }
          }
        }
      ],
      "items": false
    },
    "scope": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "includes",
        "excludes",
        "allowed_downstream_claim"
      ],
      "properties": {
        "includes": {
          "type": "array",
          "minItems": 1,
          "uniqueItems": true,
          "items": {
            "type": "string",
            "minLength": 1
          }
        },
        "excludes": {
          "type": "array",
          "minItems": 1,
          "uniqueItems": true,
          "items": {
            "type": "string",
            "minLength": 1
          }
        },
        "allowed_downstream_claim": {
          "type": "string",
          "minLength": 1
        }
      }
    },
    "sources": {
      "type": "array",
      "minItems": 1,
      "uniqueItems": true,
      "items": {
        "oneOf": [
          {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "id",
              "revision",
              "url",
              "locator",
              "use",
              "citation_identity_sha256",
              "content_sha256",
              "content_hash_status"
            ],
            "properties": {
              "id": {
                "type": "string",
                "minLength": 1
              },
              "revision": {
                "type": "string",
                "minLength": 1
              },
              "url": {
                "type": "string",
                "pattern": "^https://"
              },
              "locator": {
                "type": "string",
                "minLength": 1
              },
              "use": {
                "type": "string",
                "minLength": 1
              },
              "citation_identity_sha256": {
                "type": "string",
                "pattern": "^[0-9a-f]{64}$"
              },
              "content_sha256": {
                "type": "null"
              },
              "content_hash_status": {
                "type": "string",
                "minLength": 1
              }
            }
          },
          {
            "type": "object",
            "additionalProperties": false,
            "required": [
              "id",
              "revision",
              "route",
              "citation_identity_sha256"
            ],
            "properties": {
              "id": {
                "type": "string",
                "minLength": 1
              },
              "revision": {
                "type": "string",
                "minLength": 1
              },
              "route": {
                "type": "string",
                "pattern": "^/"
              },
              "citation_identity_sha256": {
                "type": "string",
                "pattern": "^[0-9a-f]{64}$"
              }
            }
          }
        ]
      }
    },
    "source_cutoff": {
      "type": "string",
      "pattern": "^[0-9]{4}-[0-9]{2}-[0-9]{2}$"
    },
    "uncertainty": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "kind",
        "numerical_covariance",
        "dynamical_assumption"
      ],
      "properties": {
        "kind": {
          "type": "string",
          "minLength": 1
        },
        "numerical_covariance": {
          "anyOf": [
            {
              "type": "object"
            },
            {
              "type": "null"
            }
          ]
        },
        "dynamical_assumption": {
          "type": "string",
          "minLength": 1
        }
      }
    },
    "unresolved": {
      "type": "array",
      "minItems": 1,
      "uniqueItems": true,
      "items": {
        "type": "string",
        "minLength": 1
      }
    },
    "content_hash": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "algorithm",
        "canonicalization",
        "excluded_field",
        "value"
      ],
      "properties": {
        "algorithm": {
          "type": "string",
          "const": "sha256"
        },
        "canonicalization": {
          "type": "string",
          "const": "RFC 8785"
        },
        "excluded_field": {
          "type": "string",
          "const": "content_hash"
        },
        "value": {
          "type": "string",
          "pattern": "^[0-9a-f]{64}$"
        }
      }
    }
  }
}