{
  "adapters_exercised": [
    "audit-tour",
    "register-tour",
    "orthogonality-tour"
  ],
  "adr": "ADR-0098",
  "all_passed": true,
  "cases": [
    {
      "case_id": "audit-tour_byte_equality",
      "details": {
        "all_claims_supported_a": true,
        "all_claims_supported_b": true,
        "sha256": "77bf07049871715787769478483f14e3aa5c222ecc4870856ebf51fb645ce74c"
      },
      "divergence": null,
      "passed": true
    },
    {
      "case_id": "audit-tour_no_state_mutation",
      "details": {
        "divergences": []
      },
      "divergence": null,
      "passed": true
    },
    {
      "case_id": "register-tour_byte_equality",
      "details": {
        "all_claims_supported_a": true,
        "all_claims_supported_b": true,
        "sha256": "5cad2fe2014eb76dc71757796b0d13e1bdb062d07a5007f81a7e42ddeab98d7d"
      },
      "divergence": null,
      "passed": true
    },
    {
      "case_id": "register-tour_no_state_mutation",
      "details": {
        "divergences": []
      },
      "divergence": null,
      "passed": true
    },
    {
      "case_id": "orthogonality-tour_byte_equality",
      "details": {
        "all_claims_supported_a": true,
        "all_claims_supported_b": true,
        "sha256": "b2f9640dc318169762b6d3bea61a1760008115924033ed72a89be5c796946f12"
      },
      "divergence": null,
      "passed": true
    },
    {
      "case_id": "orthogonality-tour_no_state_mutation",
      "details": {
        "divergences": []
      },
      "divergence": null,
      "passed": true
    },
    {
      "case_id": "composition_read_only",
      "details": {
        "audit_claims": 5,
        "composite_claims": 6,
        "composite_supported": true,
        "evidence_size": 6,
        "register_claims": 1
      },
      "divergence": null,
      "passed": true
    },
    {
      "case_id": "stateful_fixture_rejected",
      "details": {
        "divergences": [
          "env_subset: before=() after=(('CORE_STATEFUL_FIXTURE_FLAG', '1'),)"
        ]
      },
      "divergence": null,
      "passed": true
    }
  ],
  "failed_cases": 0,
  "invariants": [
    "demo_json_byte_equality",
    "demo_composition_no_side_effects"
  ],
  "lane": "demo_composition",
  "lane_version": "v1",
  "passed_cases": 8,
  "split": "dev",
  "total_cases": 8
}
