{
  "status": "complete",
  "exact_table_count": 5,
  "distributions": [
    {
      "rank": 0,
      "table": [
        [
          0,
          4
        ],
        [
          4,
          0
        ]
      ],
      "intended_mass": "1/70",
      "candidate_mass": "1/5",
      "uniform_mass": "1/5",
      "conditioned_independence_mass": "1/70"
    },
    {
      "rank": 1,
      "table": [
        [
          1,
          3
        ],
        [
          3,
          1
        ]
      ],
      "intended_mass": "8/35",
      "candidate_mass": "1/5",
      "uniform_mass": "1/5",
      "conditioned_independence_mass": "8/35"
    },
    {
      "rank": 2,
      "table": [
        [
          2,
          2
        ],
        [
          2,
          2
        ]
      ],
      "intended_mass": "18/35",
      "candidate_mass": "1/5",
      "uniform_mass": "1/5",
      "conditioned_independence_mass": "18/35"
    },
    {
      "rank": 3,
      "table": [
        [
          3,
          1
        ],
        [
          1,
          3
        ]
      ],
      "intended_mass": "8/35",
      "candidate_mass": "1/5",
      "uniform_mass": "1/5",
      "conditioned_independence_mass": "8/35"
    },
    {
      "rank": 4,
      "table": [
        [
          4,
          0
        ],
        [
          0,
          4
        ]
      ],
      "intended_mass": "1/70",
      "candidate_mass": "1/5",
      "uniform_mass": "1/5",
      "conditioned_independence_mass": "1/70"
    }
  ],
  "event_comparison": {
    "definition": "Declared linear score at least its observed value, held fixed across both laws",
    "kind": "linear_score_ge_observed",
    "observed_score": 3,
    "observed_rank": 3,
    "event_ranks": [
      3,
      4
    ],
    "event_table_count": 2,
    "intended_probability": "17/70",
    "candidate_probability": "2/5",
    "absolute_error": "11/70",
    "threshold": "1/20",
    "intended_at_or_below_threshold": false,
    "candidate_at_or_below_threshold": false,
    "threshold_classification_changed": false
  },
  "total_variation": "13/35",
  "base_independence_constraint_event_probability": "1",
  "intended_law": "conditional_independence",
  "candidate_law": "uniform_tables",
  "input_sha256": "0c70fe3a925a10599aba23ba66e4d717aab1129e9feb2fffe50e47dadcb03b72",
  "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": 33,
  "enumeration_work": 70,
  "memo_states": 7,
  "score_distribution": [
    {
      "score": 0,
      "intended_mass": "1/70",
      "candidate_mass": "1/5"
    },
    {
      "score": 1,
      "intended_mass": "8/35",
      "candidate_mass": "1/5"
    },
    {
      "score": 2,
      "intended_mass": "18/35",
      "candidate_mass": "1/5"
    },
    {
      "score": 3,
      "intended_mass": "8/35",
      "candidate_mass": "1/5"
    },
    {
      "score": 4,
      "intended_mass": "1/70",
      "candidate_mass": "1/5"
    }
  ]
}