{
  "counts": {
    "composition_pullback_checks": 55296,
    "executions": 55296,
    "program_observer_combinations": 13824,
    "shallow_slice_failures": 25848,
    "slice_preserving_perturbation_pairs": 72960,
    "supported_cell_checks": 72000
  },
  "model": {
    "adaptive_program": "query selector, then one of two references",
    "derived_cells": 2,
    "source_cells": 2
  },
  "negative_control": {
    "description": "Observer queries without transitive dependency closure are insufficient.",
    "first_witness": {
      "changed": [
        1,
        1
      ],
      "d0_spec": [
        "s0",
        "s0",
        "s0"
      ],
      "d1_spec": [
        "s0",
        "s0",
        "s1"
      ],
      "full_support": [
        "d1",
        "s0",
        "s1"
      ],
      "left_output": 0,
      "observer_queries": [
        "s0",
        "d1"
      ],
      "observer_spec": [
        "s0",
        "s0",
        "d1"
      ],
      "right_output": 1,
      "source": [
        1,
        0
      ]
    }
  },
  "ok": true
}