{
  "status": "complete",
  "exact_table_count": 7,
  "distributions": [
    {
      "rank": 0,
      "table": [
        [
          3,
          7
        ],
        [
          6,
          0
        ]
      ],
      "intended_mass": "3/286",
      "candidate_mass": "1/7",
      "uniform_mass": "1/7",
      "conditioned_independence_mass": "3/286"
    },
    {
      "rank": 1,
      "table": [
        [
          4,
          6
        ],
        [
          5,
          1
        ]
      ],
      "intended_mass": "63/572",
      "candidate_mass": "1/7",
      "uniform_mass": "1/7",
      "conditioned_independence_mass": "63/572"
    },
    {
      "rank": 2,
      "table": [
        [
          5,
          5
        ],
        [
          4,
          2
        ]
      ],
      "intended_mass": "189/572",
      "candidate_mass": "1/7",
      "uniform_mass": "1/7",
      "conditioned_independence_mass": "189/572"
    },
    {
      "rank": 3,
      "table": [
        [
          6,
          4
        ],
        [
          3,
          3
        ]
      ],
      "intended_mass": "105/286",
      "candidate_mass": "1/7",
      "uniform_mass": "1/7",
      "conditioned_independence_mass": "105/286"
    },
    {
      "rank": 4,
      "table": [
        [
          7,
          3
        ],
        [
          2,
          4
        ]
      ],
      "intended_mass": "45/286",
      "candidate_mass": "1/7",
      "uniform_mass": "1/7",
      "conditioned_independence_mass": "45/286"
    },
    {
      "rank": 5,
      "table": [
        [
          8,
          2
        ],
        [
          1,
          5
        ]
      ],
      "intended_mass": "27/1144",
      "candidate_mass": "1/7",
      "uniform_mass": "1/7",
      "conditioned_independence_mass": "27/1144"
    },
    {
      "rank": 6,
      "table": [
        [
          9,
          1
        ],
        [
          0,
          6
        ]
      ],
      "intended_mass": "1/1144",
      "candidate_mass": "1/7",
      "uniform_mass": "1/7",
      "conditioned_independence_mass": "1/1144"
    }
  ],
  "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": 5,
    "event_ranks": [
      0,
      5,
      6
    ],
    "event_table_count": 3,
    "intended_probability": "5/143",
    "candidate_probability": "3/7",
    "absolute_error": "394/1001",
    "threshold": "1/20",
    "intended_at_or_below_threshold": true,
    "candidate_at_or_below_threshold": false,
    "threshold_classification_changed": true
  },
  "total_variation": "1707/4004",
  "base_independence_constraint_event_probability": "1",
  "intended_law": "conditional_independence",
  "candidate_law": "uniform_tables",
  "input_sha256": "854e09bc48ad3e2708b3f9afc1f791c52496ad24f5fc4e28597c363bf2e20480",
  "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": 45,
  "enumeration_work": 112,
  "memo_states": 9,
  "score_distribution": null
}