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