{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://agla.local/schemas/declared-structural-state.schema.json",
  "title": "Declared carrier-aligned structural state",
  "type": "object",
  "additionalProperties": false,
  "required": ["contract_id", "contract_version", "state_id", "status", "subject", "source_map", "requested_output_count", "carrier_bindings", "ambiguities", "contradictions"],
  "properties": {
    "contract_id": {"const": "AGLA_CARRIER_ALIGNED_STRUCTURAL_STATE"},
    "contract_version": {"const": "0.1.0"},
    "state_id": {"type": "string", "minLength": 1},
    "status": {"const": "DECLARED_CANDIDATE_NON_EXECUTED"},
    "subject": {"type": "string", "minLength": 1},
    "source_map": {
      "type": "object",
      "additionalProperties": false,
      "required": ["map_id", "version"],
      "properties": {
        "map_id": {"const": "ARS_BREVIS_B_CARRIER_MAP"},
        "version": {"const": "0.1.0"}
      }
    },
    "requested_output_count": {"const": 9},
    "carrier_bindings": {
      "type": "array",
      "maxItems": 9,
      "items": {"$ref": "#/$defs/binding"}
    },
    "ambiguities": {"type": "array", "items": {"type": "string"}, "uniqueItems": true},
    "contradictions": {"type": "array", "items": {"type": "string"}, "uniqueItems": true}
  },
  "$defs": {
    "binding": {
      "type": "object",
      "additionalProperties": false,
      "required": ["carrier", "A", "T", "E", "K", "V_status", "source_refs"],
      "properties": {
        "carrier": {"enum": ["B", "C", "D", "E", "F", "G", "H", "I", "K"]},
        "A": {"type": "string", "minLength": 1},
        "T": {"type": "string", "minLength": 1},
        "E": {"type": "string", "minLength": 1},
        "K": {"type": "string", "minLength": 1},
        "V_status": {"const": "DERIVED_UNRESOLVED"},
        "source_refs": {
          "type": "array",
          "minItems": 1,
          "uniqueItems": true,
          "items": {"enum": ["SRC-CAPUT-B", "SRC-ARS-BREVIS-LATIN"]}
        }
      }
    }
  }
}