{
  "artifact_type": "DIAGNOSTIC_APPLICABILITY_GRAPH_VALIDATION",
  "checks": {
    "all_current_dsas_present": true,
    "all_current_primes_present": true,
    "all_projection_archetypes_present": true,
    "all_relation_endpoints_exist": true,
    "dnf_occurrences_preserved": true,
    "graph_is_acyclic": true,
    "no_discovery_history_relations": true,
    "nontrigger_requirements_preserved": true,
    "relation_kind_pairs_are_valid": true,
    "residuals_preserved": true,
    "schema_valid": true,
    "supporting_groundings_preserved": true,
    "trigger_groundings_preserved": true,
    "unique_structural_conditions_preserved": true
  },
  "contract": "diagnostic_applicability_graph",
  "counts": {
    "node_kinds": {
      "condition_set": 1647,
      "domain_specific": 7556,
      "non_trigger_requirement": 1941,
      "prime": 1482,
      "residual": 2296,
      "solution_archetype": 1134,
      "structural_condition": 4953,
      "supporting_context_condition": 57
    },
    "nodes": 21066,
    "relation_types": {
      "context_for": 57,
      "diagnostic_route_for": 1647,
      "grounds_supporting_context": 95,
      "grounds_trigger": 3347,
      "required_in": 5194,
      "requirement_for": 1941,
      "unfilled_part_of": 2296
    },
    "relations": 14577,
    "search_documents": 6087
  },
  "pass": true,
  "schema_errors": [],
  "schema_version": 1
}