{
  "status": "complete",
  "exact_table_count": 2,
  "distributions": [
    {
      "rank": 0,
      "table": [
        [
          0,
          4
        ],
        [
          4,
          0
        ]
      ],
      "intended_mass": "1/17",
      "candidate_mass": "1/2",
      "uniform_mass": "1/2",
      "conditioned_independence_mass": "1/17"
    },
    {
      "rank": 1,
      "table": [
        [
          1,
          3
        ],
        [
          3,
          1
        ]
      ],
      "intended_mass": "16/17",
      "candidate_mass": "1/2",
      "uniform_mass": "1/2",
      "conditioned_independence_mass": "16/17"
    }
  ],
  "event_comparison": {
    "definition": "Tables at most as probable as observed under the intended law; the same selected set is evaluated under the candidate law",
    "kind": "probability_le_observed_under_intended_law",
    "observed_score": null,
    "observed_rank": 0,
    "event_ranks": [
      0
    ],
    "event_table_count": 1,
    "intended_probability": "1/17",
    "candidate_probability": "1/2",
    "absolute_error": "15/34",
    "threshold": "1/20",
    "intended_at_or_below_threshold": false,
    "candidate_at_or_below_threshold": false,
    "threshold_classification_changed": false
  },
  "total_variation": "15/34",
  "base_independence_constraint_event_probability": "17/70",
  "intended_law": "conditional_independence_given_bounds",
  "candidate_law": "uniform_tables",
  "input_sha256": "9a2f5d1dadf99a6da10f562c23c982ad163d4c732f5328ead85afd6cd355c6d3",
  "limits": {
    "maximum_dimension": 6,
    "total": 128,
    "tables": 2000,
    "memo_states": 50000,
    "count_work": 1000000,
    "enumeration_work": 4000000
  },
  "source_connection": {
    "family": "115",
    "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
    "unrestricted_polynomial_bit_sampler_or_FPRAS_implemented": false
  },
  "source_proof_verification": "not_run",
  "formal_program_verification": "not_run",
  "privacy_guarantee": false,
  "interpretation": "Exact finite law comparison for a supplied design, not validation of that design. Bounds condition the ordinary fixed-margin independence law onto the specified feasible event; they do not automatically model real structural-zero mechanisms. Unknown budget status grants no partial probability or test decision.",
  "count_work": 15,
  "enumeration_work": 22,
  "memo_states": 4,
  "score_distribution": null
}