{
  "binomial_histogram": [
    32,
    160,
    320,
    320,
    160,
    32
  ],
  "candidate_trace": {
    "0": {
      "checked_ids": [],
      "duplicate_occurrences": 0,
      "keys": [
        [
          1,
          1
        ],
        [
          1,
          1
        ]
      ],
      "matched_ids": [],
      "occurrences_available": 6,
      "occurrences_scanned": 0,
      "status": "budget_exhausted"
    },
    "1": {
      "checked_ids": [
        "F"
      ],
      "duplicate_occurrences": 0,
      "keys": [
        [
          1,
          1
        ],
        [
          1,
          1
        ]
      ],
      "matched_ids": [],
      "occurrences_available": 6,
      "occurrences_scanned": 1,
      "status": "budget_exhausted"
    },
    "2": {
      "checked_ids": [
        "F",
        "A"
      ],
      "duplicate_occurrences": 0,
      "keys": [
        [
          1,
          1
        ],
        [
          1,
          1
        ]
      ],
      "matched_ids": [
        "A"
      ],
      "occurrences_available": 6,
      "occurrences_scanned": 2,
      "status": "budget_exhausted"
    },
    "3": {
      "checked_ids": [
        "F",
        "A",
        "A2"
      ],
      "duplicate_occurrences": 0,
      "keys": [
        [
          1,
          1
        ],
        [
          1,
          1
        ]
      ],
      "matched_ids": [
        "A",
        "A2"
      ],
      "occurrences_available": 6,
      "occurrences_scanned": 3,
      "status": "budget_exhausted"
    },
    "4": {
      "checked_ids": [
        "F",
        "A",
        "A2"
      ],
      "duplicate_occurrences": 1,
      "keys": [
        [
          1,
          1
        ],
        [
          1,
          1
        ]
      ],
      "matched_ids": [
        "A",
        "A2"
      ],
      "occurrences_available": 6,
      "occurrences_scanned": 4,
      "status": "budget_exhausted"
    },
    "6": {
      "checked_ids": [
        "F",
        "A",
        "A2",
        "B"
      ],
      "duplicate_occurrences": 2,
      "keys": [
        [
          1,
          1
        ],
        [
          1,
          1
        ]
      ],
      "matched_ids": [
        "A",
        "A2"
      ],
      "occurrences_available": 6,
      "occurrences_scanned": 6,
      "status": "buckets_exhausted"
    },
    "full": {
      "checked_ids": [
        "F",
        "A",
        "A2",
        "B"
      ],
      "duplicate_occurrences": 2,
      "keys": [
        [
          1,
          1
        ],
        [
          1,
          1
        ]
      ],
      "matched_ids": [
        "A",
        "A2"
      ],
      "occurrences_available": 6,
      "occurrences_scanned": 6,
      "status": "buckets_exhausted"
    }
  },
  "caveat": "Exact integer fixtures and finite permutation product; no ideal Gaussian sampler is implemented.",
  "counts": {
    "exact_probabilities": 49,
    "index_queries": 15925,
    "packed_roundtrips": 1584,
    "rejected_inputs": 23,
    "sign_cases": 26928
  },
  "plane_trace": {
    "A": {
      "bits": [
        1,
        1,
        1,
        1,
        0
      ],
      "hex": "f0",
      "vector": [
        2,
        1
      ]
    },
    "B": {
      "bits": [
        1,
        1,
        1,
        0,
        1
      ],
      "hex": "e8",
      "vector": [
        1,
        2
      ]
    },
    "minus_A": {
      "bits": [
        0,
        0,
        0,
        0,
        1
      ],
      "hex": "08",
      "vector": [
        -2,
        -1
      ]
    },
    "tie": {
      "bits": [
        1,
        1,
        1,
        1,
        1
      ],
      "hex": "f8",
      "vector": [
        1,
        1
      ]
    }
  },
  "probability": {
    "L": 2,
    "base": "1/3",
    "colliding": 272,
    "configurations": 1296,
    "k": 2,
    "rate": "17/81",
    "repeated_tables": "1/9",
    "shared_components": "1/3"
  },
  "refusal_witnesses": [
    {
      "case": "zero direction",
      "error": "zero direction"
    },
    {
      "case": "wrong dimension",
      "error": "vector dimension"
    },
    {
      "case": "float coordinate",
      "error": "integer domain"
    },
    {
      "case": "bool coordinate",
      "error": "integer domain"
    },
    {
      "case": "empty planes",
      "error": "empty plane family"
    },
    {
      "case": "zero plane",
      "error": "zero direction"
    },
    {
      "case": "ragged planes",
      "error": "vector dimension"
    },
    {
      "case": "short payload",
      "error": "fingerprint byte length"
    },
    {
      "case": "long payload",
      "error": "fingerprint byte length"
    },
    {
      "case": "nonzero padding",
      "error": "noncanonical padding"
    },
    {
      "case": "mutable payload",
      "error": "fingerprint byte length"
    },
    {
      "case": "different families",
      "error": "different shared family"
    },
    {
      "case": "zero k",
      "error": "integer domain"
    },
    {
      "case": "unequal table lengths",
      "error": "nonrectangular table family"
    },
    {
      "case": "duplicate IDs",
      "error": "duplicate or invalid record ID"
    },
    {
      "case": "empty ID",
      "error": "duplicate or invalid record ID"
    },
    {
      "case": "negative budget",
      "error": "integer domain"
    },
    {
      "case": "bool budget",
      "error": "integer domain"
    },
    {
      "case": "large threshold",
      "error": "threshold outside [0,1]"
    },
    {
      "case": "zero denominator",
      "error": "integer domain"
    },
    {
      "case": "duplicate permutation entry",
      "error": "not a universe permutation"
    },
    {
      "case": "empty set",
      "error": "nonempty universe subset"
    },
    {
      "case": "out-of-universe",
      "error": "nonempty universe subset"
    }
  ],
  "status": "PASS",
  "trace_normalized_angle_estimate": "2/5"
}