{
  "result": "PASS",
  "examples": {
    "universe_order": [
      0,
      1,
      2,
      3,
      4,
      5
    ],
    "A": [
      0,
      1,
      2
    ],
    "B": [
      1,
      2,
      3
    ],
    "minhash_A": 0,
    "minhash_B": 1,
    "bottom_A": [
      0,
      1
    ],
    "bottom_B": [
      1,
      2
    ],
    "bottom_union": [
      0,
      1
    ],
    "bottom_J": "1/2",
    "cardinality_A": "6",
    "cardinality_B": "3",
    "priority_records": [
      [
        0,
        2,
        "1/2"
      ],
      [
        1,
        5,
        "1/2"
      ],
      [
        2,
        1,
        "1/5"
      ],
      [
        3,
        3,
        "3/4"
      ]
    ],
    "priority_threshold": "4",
    "priority_estimates": {
      "1": "5",
      "2": "4"
    },
    "priority_variance_estimates": {
      "1": "0",
      "2": "12"
    }
  },
  "minhash": {
    "set_pair_permutation_cases": 6144,
    "N": 4,
    "affine_mod5_minimum_counts": {
      "0": 7,
      "2": 7,
      "1": 6
    },
    "affine_permutations": 20
  },
  "bottom_k": {
    "finite_cardinality_cases": 247016,
    "merge_cases": 24576,
    "Jaccard_cases": 24576,
    "stream_prefix_checks": 20000,
    "naive_overlap_ratio_mean": "4/9",
    "correct_overlap_J": "1/2"
  },
  "priority": {
    "stream_histories": 4000,
    "exact_conditional_integrals": 1620,
    "finite_grid_counterexample": {
      "weights": [
        1,
        4
      ],
      "u_grid": [
        "1/3",
        "2/3"
      ],
      "mean_light_estimate": "0",
      "mean_heavy_estimate": "4"
    }
  },
  "CWS": {
    "numerical_shrink_consistency_checks": 9978,
    "numerical_union_equivalence_checks": 20000,
    "exact_Gamma_Beta_moment_checks": 49,
    "hand_signatures": [
      [
        1,
        1
      ],
      [
        1,
        1
      ],
      [
        1,
        0
      ]
    ],
    "numerical_collision_diagnostic": {
      "trials": 20000,
      "matches": 10823,
      "frequency": 0.54115,
      "ideal_weighted_J": "6/11",
      "note": "Numerical diagnostic only; floating PRNG samples do not prove exact continuous probabilities."
    }
  }
}