{
  "completed_utc": "2026-11-10T18:15:49.111156+00:00",
  "environment": {
    "python": "3.13.12",
    "numpy": "2.3.5",
    "scipy": "1.17.0",
    "platform": "macOS-26.5.2-arm64-arm-64bit-Mach-O"
  },
  "command": "python anc/run_checks.py",
  "manuscript_build": "pdflatex main; bibtex main; pdflatex main; pdflatex main",
  "all_completed": true,
  "scope": "Finite fixed-seed consistency checks only; not formal proof verification or full-device simulation.",
  "results": {
    "communication": {
      "seed": 20261028,
      "interpretation": "Finite algebraic/combinatorial checks; not proofs or a physical realization.",
      "information": [
        {
          "epsilon": 0.0,
          "tested_channels": 100000,
          "theorem_bound_nats": 0.25,
          "minimum_observed_information_nats": 0.43152814040750215,
          "minimum_observed_slack_nats": 0.18152814040750215
        },
        {
          "epsilon": 0.001,
          "tested_channels": 100000,
          "theorem_bound_nats": 0.24850225,
          "minimum_observed_information_nats": 0.42485381301787745,
          "minimum_observed_slack_nats": 0.17635156301787744
        },
        {
          "epsilon": 0.01,
          "tested_channels": 100000,
          "theorem_bound_nats": 0.235225,
          "minimum_observed_information_nats": 0.3837859746097442,
          "minimum_observed_slack_nats": 0.14856097460974418
        },
        {
          "epsilon": 0.05,
          "tested_channels": 100000,
          "theorem_bound_nats": 0.18062499999999998,
          "minimum_observed_information_nats": 0.27242426724177976,
          "minimum_observed_slack_nats": 0.09179926724177978
        },
        {
          "epsilon": 0.125,
          "tested_channels": 100000,
          "theorem_bound_nats": 0.09765625,
          "minimum_observed_information_nats": 0.14291489011401898,
          "minimum_observed_slack_nats": 0.04525864011401898
        },
        {
          "epsilon": 0.0,
          "exact_common_channel_grid_points": 40401,
          "grid_minimum_nats": 0.4315231086776713,
          "value_at_symmetric_channel": 0.4315231086776713,
          "theorem_bound_nats": 0.25
        }
      ],
      "codes": [
        {
          "message_bits": 1,
          "blocklength": 8,
          "codewords": 2,
          "minimum_hamming_distance": 3,
          "generator_matrix": [
            [
              1,
              0,
              0,
              0,
              1,
              1,
              0,
              0
            ]
          ]
        },
        {
          "message_bits": 2,
          "blocklength": 16,
          "codewords": 4,
          "minimum_hamming_distance": 6,
          "generator_matrix": [
            [
              1,
              0,
              1,
              1,
              1,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              0,
              1,
              1,
              1
            ],
            [
              0,
              1,
              1,
              1,
              0,
              1,
              1,
              0,
              1,
              0,
              1,
              0,
              0,
              1,
              0,
              1
            ]
          ]
        },
        {
          "message_bits": 3,
          "blocklength": 24,
          "codewords": 8,
          "minimum_hamming_distance": 10,
          "generator_matrix": [
            [
              1,
              1,
              1,
              0,
              0,
              0,
              1,
              0,
              1,
              0,
              0,
              1,
              1,
              0,
              1,
              1,
              1,
              1,
              1,
              0,
              1,
              0,
              0,
              1
            ],
            [
              0,
              1,
              0,
              1,
              1,
              1,
              1,
              0,
              0,
              0,
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              0,
              0,
              0,
              0,
              0,
              0,
              1
            ],
            [
              0,
              1,
              0,
              1,
              1,
              1,
              1,
              1,
              1,
              1,
              0,
              0,
              0,
              1,
              0,
              1,
              1,
              1,
              1,
              1,
              0,
              1,
              1,
              0
            ]
          ]
        },
        {
          "message_bits": 4,
          "blocklength": 32,
          "codewords": 16,
          "minimum_hamming_distance": 11,
          "generator_matrix": [
            [
              1,
              1,
              0,
              0,
              1,
              1,
              1,
              1,
              0,
              0,
              1,
              1,
              1,
              0,
              1,
              0,
              1,
              0,
              1,
              0,
              0,
              0,
              1,
              1,
              1,
              0,
              1,
              0,
              0,
              0,
              1,
              1
            ],
            [
              0,
              1,
              0,
              0,
              0,
              1,
              0,
              0,
              0,
              0,
              1,
              1,
              1,
              1,
              1,
              1,
              0,
              0,
              1,
              0,
              1,
              0,
              0,
              1,
              0,
              1,
              1,
              0,
              1,
              0,
              0,
              0
            ],
            [
              0,
              1,
              0,
              0,
              0,
              1,
              1,
              0,
              0,
              1,
              1,
              0,
              0,
              1,
              1,
              1,
              1,
              1,
              1,
              1,
              1,
              0,
              1,
              1,
              0,
              1,
              1,
              1,
              0,
              1,
              0,
              0
            ],
            [
              1,
              1,
              1,
              0,
              0,
              1,
              1,
              0,
              0,
              0,
              0,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              1,
              0,
              0,
              1,
              0,
              0,
              0,
              1,
              0,
              0,
              1,
              1,
              1,
              1
            ]
          ]
        },
        {
          "message_bits": 5,
          "blocklength": 40,
          "codewords": 32,
          "minimum_hamming_distance": 17,
          "generator_matrix": [
            [
              1,
              1,
              1,
              1,
              0,
              1,
              1,
              0,
              1,
              1,
              1,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              0,
              1,
              0,
              1,
              0,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              1,
              1,
              0,
              0,
              1,
              0,
              1,
              1,
              0,
              1
            ],
            [
              0,
              0,
              0,
              0,
              1,
              0,
              0,
              1,
              1,
              0,
              1,
              0,
              1,
              0,
              1,
              0,
              0,
              0,
              0,
              0,
              0,
              1,
              0,
              0,
              1,
              1,
              1,
              1,
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              0,
              1,
              0,
              0,
              1
            ],
            [
              1,
              0,
              0,
              1,
              0,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              1,
              0,
              1,
              1,
              1,
              0,
              1,
              1,
              0,
              1,
              0,
              0,
              1,
              0,
              0,
              0,
              1,
              1,
              1,
              0,
              0,
              0,
              0,
              1,
              1,
              1,
              1,
              0
            ],
            [
              0,
              1,
              1,
              0,
              0,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              1,
              1,
              1,
              1,
              1,
              1,
              1,
              1,
              1,
              1,
              1,
              1,
              0,
              0,
              1,
              0,
              1,
              1,
              1,
              1,
              1,
              1,
              1,
              0,
              0,
              0,
              0,
              1
            ],
            [
              1,
              1,
              1,
              1,
              1,
              1,
              0,
              0,
              0,
              0,
              0,
              0,
              1,
              1,
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              0,
              0,
              1,
              1,
              0,
              1,
              1,
              1,
              1,
              1,
              1,
              0,
              0,
              0,
              0,
              0,
              1,
              1,
              1
            ]
          ]
        },
        {
          "message_bits": 6,
          "blocklength": 48,
          "codewords": 64,
          "minimum_hamming_distance": 15,
          "generator_matrix": [
            [
              1,
              1,
              1,
              1,
              1,
              0,
              0,
              1,
              1,
              0,
              1,
              0,
              1,
              1,
              0,
              1,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              0,
              0,
              0,
              0,
              0,
              0,
              1,
              0,
              0,
              1,
              1,
              0,
              0,
              0,
              1,
              0,
              0,
              0,
              1,
              1,
              1,
              0,
              1,
              0,
              1
            ],
            [
              1,
              1,
              0,
              0,
              0,
              1,
              0,
              1,
              0,
              0,
              1,
              1,
              0,
              0,
              1,
              0,
              1,
              1,
              0,
              1,
              0,
              1,
              0,
              0,
              1,
              0,
              0,
              1,
              1,
              0,
              0,
              0,
              1,
              0,
              1,
              0,
              1,
              0,
              0,
              1,
              0,
              1,
              1,
              1,
              0,
              1,
              1,
              0
            ],
            [
              0,
              1,
              1,
              1,
              1,
              1,
              1,
              0,
              1,
              0,
              1,
              1,
              1,
              1,
              1,
              0,
              1,
              1,
              1,
              1,
              1,
              0,
              1,
              1,
              0,
              0,
              1,
              0,
              1,
              0,
              0,
              1,
              1,
              0,
              0,
              0,
              0,
              1,
              1,
              0,
              0,
              0,
              1,
              0,
              0,
              0,
              1,
              0
            ],
            [
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              0,
              0,
              1,
              1,
              1,
              0,
              0,
              1,
              1,
              1,
              1,
              0,
              1,
              0,
              0,
              1,
              0,
              1,
              1,
              1,
              0,
              1,
              0,
              0,
              1,
              1,
              1,
              0,
              0,
              0,
              0,
              0,
              0,
              1,
              1,
              1,
              1,
              0,
              1,
              0,
              1
            ],
            [
              1,
              1,
              0,
              1,
              1,
              0,
              0,
              0,
              0,
              0,
              1,
              0,
              0,
              0,
              0,
              0,
              0,
              1,
              0,
              1,
              0,
              1,
              1,
              1,
              1,
              0,
              1,
              1,
              1,
              1,
              1,
              1,
              0,
              1,
              1,
              0,
              1,
              1,
              1,
              1,
              0,
              1,
              0,
              0,
              0,
              1,
              1,
              0
            ],
            [
              1,
              0,
              0,
              1,
              1,
              1,
              1,
              0,
              1,
              1,
              1,
              1,
              1,
              0,
              1,
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              1,
              0,
              0,
              1,
              0,
              1,
              0,
              1,
              1,
              0,
              0,
              0,
              1,
              0,
              0,
              0,
              0,
              0,
              1
            ]
          ]
        },
        {
          "message_bits": 7,
          "blocklength": 56,
          "codewords": 128,
          "minimum_hamming_distance": 19,
          "generator_matrix": [
            [
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              0,
              0,
              0,
              1,
              0,
              1,
              0,
              0,
              1,
              1,
              1,
              1,
              0,
              1,
              1,
              0,
              1,
              0,
              0,
              0,
              0,
              0,
              0,
              1,
              1,
              1,
              0,
              1,
              0,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              1,
              0,
              0,
              0,
              0,
              1,
              1,
              1,
              0,
              1,
              1,
              0,
              0
            ],
            [
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              1,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              1,
              1,
              0,
              0,
              1,
              0,
              1,
              1,
              0,
              1,
              0,
              0,
              1,
              0,
              0,
              0,
              1,
              0,
              0,
              1,
              0,
              1,
              1,
              1,
              0,
              1,
              1,
              1,
              1,
              1,
              0,
              1,
              0
            ],
            [
              0,
              0,
              0,
              1,
              0,
              0,
              0,
              1,
              1,
              1,
              1,
              1,
              0,
              1,
              1,
              1,
              1,
              1,
              1,
              1,
              0,
              1,
              1,
              0,
              0,
              0,
              1,
              1,
              1,
              0,
              1,
              0,
              0,
              1,
              0,
              1,
              0,
              1,
              0,
              0,
              1,
              0,
              0,
              0,
              1,
              0,
              0,
              1,
              0,
              1,
              1,
              0,
              1,
              0,
              0,
              1
            ],
            [
              0,
              1,
              0,
              1,
              0,
              1,
              0,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              0,
              0,
              0,
              0,
              0,
              1,
              0,
              0,
              0,
              0,
              0,
              1,
              1,
              1,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              1,
              1,
              0,
              1,
              0,
              1,
              0,
              0,
              1,
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              0,
              0,
              0,
              1,
              0
            ],
            [
              1,
              1,
              1,
              0,
              0,
              0,
              1,
              0,
              0,
              1,
              0,
              0,
              0,
              0,
              1,
              1,
              0,
              0,
              0,
              0,
              1,
              1,
              1,
              1,
              0,
              1,
              0,
              1,
              1,
              1,
              1,
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              0,
              1,
              1,
              0,
              0,
              1,
              1,
              0,
              0,
              1,
              1,
              0,
              0,
              0,
              1,
              1,
              0,
              0
            ],
            [
              1,
              1,
              0,
              0,
              0,
              1,
              1,
              1,
              1,
              0,
              1,
              0,
              1,
              0,
              1,
              0,
              0,
              0,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              1,
              1,
              0,
              1,
              0,
              1,
              1,
              0,
              0,
              1,
              1,
              0,
              0,
              1,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              1,
              0,
              0,
              1,
              1,
              0,
              1,
              1,
              0,
              0
            ],
            [
              1,
              0,
              1,
              0,
              1,
              1,
              0,
              0,
              1,
              0,
              1,
              0,
              1,
              1,
              0,
              1,
              1,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              1,
              1,
              1,
              0,
              1,
              0,
              0,
              0,
              0,
              0,
              0,
              0,
              0,
              1,
              1,
              0,
              1,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              1,
              1,
              0,
              0,
              1,
              1,
              1,
              1
            ]
          ]
        },
        {
          "message_bits": 8,
          "blocklength": 64,
          "codewords": 256,
          "minimum_hamming_distance": 21,
          "generator_matrix": [
            [
              1,
              1,
              1,
              1,
              0,
              1,
              1,
              0,
              1,
              0,
              0,
              0,
              0,
              1,
              1,
              0,
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              0,
              1,
              0,
              0,
              0,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              1,
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              0,
              1,
              1,
              1,
              1,
              1,
              1,
              0,
              1,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              0,
              0,
              1,
              1,
              1
            ],
            [
              1,
              0,
              0,
              1,
              1,
              1,
              1,
              0,
              0,
              1,
              0,
              1,
              0,
              1,
              0,
              1,
              0,
              1,
              0,
              0,
              1,
              1,
              1,
              0,
              1,
              1,
              0,
              0,
              0,
              0,
              0,
              1,
              0,
              1,
              0,
              1,
              0,
              0,
              0,
              1,
              1,
              1,
              0,
              0,
              0,
              0,
              0,
              0,
              1,
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              0,
              1,
              0,
              1,
              1,
              1,
              1,
              0
            ],
            [
              0,
              1,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              1,
              1,
              1,
              0,
              1,
              0,
              1,
              1,
              0,
              1,
              0,
              1,
              0,
              1,
              1,
              0,
              1,
              1,
              0,
              0,
              1,
              0,
              1,
              0,
              0,
              1,
              1,
              0,
              0,
              0,
              0,
              0,
              0,
              0,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              1,
              0,
              1,
              0,
              1,
              1
            ],
            [
              0,
              0,
              0,
              0,
              1,
              0,
              0,
              1,
              1,
              1,
              0,
              1,
              1,
              0,
              1,
              0,
              1,
              1,
              1,
              1,
              1,
              0,
              0,
              1,
              0,
              1,
              0,
              1,
              0,
              0,
              0,
              1,
              0,
              1,
              0,
              0,
              0,
              0,
              1,
              1,
              1,
              1,
              0,
              1,
              1,
              0,
              1,
              0,
              1,
              0,
              1,
              0,
              1,
              1,
              1,
              1,
              1,
              1,
              1,
              0,
              0,
              1,
              1,
              0
            ],
            [
              1,
              0,
              0,
              1,
              0,
              0,
              0,
              1,
              1,
              0,
              0,
              1,
              0,
              1,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              0,
              1,
              0,
              1,
              1,
              1,
              1,
              1,
              1,
              0,
              1,
              0,
              0,
              0,
              0,
              0,
              1,
              0,
              1,
              0,
              1,
              1,
              0,
              1,
              1,
              0,
              1,
              1,
              0,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              1,
              0,
              1,
              1,
              0,
              0,
              0
            ],
            [
              1,
              0,
              1,
              0,
              0,
              1,
              1,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              0,
              0,
              1,
              1,
              1,
              0,
              0,
              1,
              0,
              1,
              1,
              0,
              1,
              0,
              0,
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              1,
              0,
              0,
              0,
              1,
              0,
              0,
              0,
              0,
              0,
              0,
              1,
              1,
              0,
              0,
              0,
              1,
              0,
              0,
              1,
              0,
              1,
              1,
              1,
              0
            ],
            [
              1,
              1,
              0,
              1,
              0,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              0,
              0,
              0,
              1,
              1,
              1,
              1,
              0,
              0,
              0,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              0,
              1,
              1,
              1,
              0,
              1,
              1,
              0,
              0,
              0,
              1,
              1,
              1,
              0,
              1,
              1,
              1,
              1,
              1,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              1,
              1,
              0,
              1
            ],
            [
              0,
              0,
              1,
              1,
              0,
              1,
              0,
              0,
              1,
              1,
              0,
              1,
              1,
              1,
              1,
              0,
              1,
              0,
              0,
              0,
              1,
              1,
              0,
              1,
              0,
              1,
              0,
              0,
              0,
              1,
              1,
              0,
              0,
              0,
              1,
              0,
              0,
              0,
              1,
              1,
              0,
              1,
              0,
              0,
              0,
              0,
              1,
              1,
              0,
              0,
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              1,
              0,
              1,
              0,
              0,
              0,
              1
            ]
          ]
        }
      ],
      "receiver": [
        {
          "committee": 4,
          "byzantine": 1,
          "honest": 3,
          "necessary_honest_pairwise_errors": 1,
          "row_energy_over_N0": 0.5,
          "trials": 4000,
          "observed_errors": 3026,
          "no_condorcet_winner": 3105,
          "saturated_honest_trial_count": 0,
          "deterministic_implication_violations": 0,
          "quantization_implication_violations": 0,
          "union_bound_excluding_saturation": 1.0
        },
        {
          "committee": 4,
          "byzantine": 1,
          "honest": 3,
          "necessary_honest_pairwise_errors": 1,
          "row_energy_over_N0": 2.0,
          "trials": 4000,
          "observed_errors": 1553,
          "no_condorcet_winner": 1697,
          "saturated_honest_trial_count": 0,
          "deterministic_implication_violations": 0,
          "quantization_implication_violations": 0,
          "union_bound_excluding_saturation": 1.0
        },
        {
          "committee": 4,
          "byzantine": 1,
          "honest": 3,
          "necessary_honest_pairwise_errors": 1,
          "row_energy_over_N0": 8.0,
          "trials": 4000,
          "observed_errors": 62,
          "no_condorcet_winner": 69,
          "saturated_honest_trial_count": 0,
          "deterministic_implication_violations": 0,
          "quantization_implication_violations": 0,
          "union_bound_excluding_saturation": 1.0
        },
        {
          "committee": 4,
          "byzantine": 1,
          "honest": 3,
          "necessary_honest_pairwise_errors": 1,
          "row_energy_over_N0": 32.0,
          "trials": 4000,
          "observed_errors": 0,
          "no_condorcet_winner": 0,
          "saturated_honest_trial_count": 0,
          "deterministic_implication_violations": 0,
          "quantization_implication_violations": 0,
          "union_bound_excluding_saturation": 0.31105190307078456
        },
        {
          "committee": 7,
          "byzantine": 2,
          "honest": 5,
          "necessary_honest_pairwise_errors": 2,
          "row_energy_over_N0": 0.5,
          "trials": 4000,
          "observed_errors": 2384,
          "no_condorcet_winner": 1116,
          "saturated_honest_trial_count": 0,
          "deterministic_implication_violations": 0,
          "quantization_implication_violations": 0,
          "union_bound_excluding_saturation": 1.0
        },
        {
          "committee": 7,
          "byzantine": 2,
          "honest": 5,
          "necessary_honest_pairwise_errors": 2,
          "row_energy_over_N0": 2.0,
          "trials": 4000,
          "observed_errors": 489,
          "no_condorcet_winner": 270,
          "saturated_honest_trial_count": 0,
          "deterministic_implication_violations": 0,
          "quantization_implication_violations": 0,
          "union_bound_excluding_saturation": 1.0
        },
        {
          "committee": 7,
          "byzantine": 2,
          "honest": 5,
          "necessary_honest_pairwise_errors": 2,
          "row_energy_over_N0": 8.0,
          "trials": 4000,
          "observed_errors": 0,
          "no_condorcet_winner": 0,
          "saturated_honest_trial_count": 0,
          "deterministic_implication_violations": 0,
          "quantization_implication_violations": 0,
          "union_bound_excluding_saturation": 1.0
        },
        {
          "committee": 7,
          "byzantine": 2,
          "honest": 5,
          "necessary_honest_pairwise_errors": 2,
          "row_energy_over_N0": 32.0,
          "trials": 4000,
          "observed_errors": 0,
          "no_condorcet_winner": 0,
          "saturated_honest_trial_count": 0,
          "deterministic_implication_violations": 0,
          "quantization_implication_violations": 0,
          "union_bound_excluding_saturation": 0.018141241200741894
        },
        {
          "committee": 10,
          "byzantine": 3,
          "honest": 7,
          "necessary_honest_pairwise_errors": 2,
          "row_energy_over_N0": 0.5,
          "trials": 4000,
          "observed_errors": 2886,
          "no_condorcet_winner": 2562,
          "saturated_honest_trial_count": 0,
          "deterministic_implication_violations": 0,
          "quantization_implication_violations": 0,
          "union_bound_excluding_saturation": 1.0
        },
        {
          "committee": 10,
          "byzantine": 3,
          "honest": 7,
          "necessary_honest_pairwise_errors": 2,
          "row_energy_over_N0": 2.0,
          "trials": 4000,
          "observed_errors": 834,
          "no_condorcet_winner": 882,
          "saturated_honest_trial_count": 0,
          "deterministic_implication_violations": 0,
          "quantization_implication_violations": 0,
          "union_bound_excluding_saturation": 1.0
        },
        {
          "committee": 10,
          "byzantine": 3,
          "honest": 7,
          "necessary_honest_pairwise_errors": 2,
          "row_energy_over_N0": 8.0,
          "trials": 4000,
          "observed_errors": 1,
          "no_condorcet_winner": 1,
          "saturated_honest_trial_count": 0,
          "deterministic_implication_violations": 0,
          "quantization_implication_violations": 0,
          "union_bound_excluding_saturation": 1.0
        },
        {
          "committee": 10,
          "byzantine": 3,
          "honest": 7,
          "necessary_honest_pairwise_errors": 2,
          "row_energy_over_N0": 32.0,
          "trials": 4000,
          "observed_errors": 0,
          "no_condorcet_winner": 0,
          "saturated_honest_trial_count": 0,
          "deterministic_implication_violations": 0,
          "quantization_implication_violations": 0,
          "union_bound_excluding_saturation": 0.038874088287304064
        }
      ],
      "gaussian_swap": {
        "samples": 100000,
        "max_absolute_algebra_error": 1.0658141036401503e-14
      },
      "lower_bound_examples": [
        {
          "n": 4,
          "epsilon": 0.1,
          "block_bits": 1,
          "reliability_lower_over_N0": 0.054300037257646525,
          "information_lower_over_N0": 0.24499999999999997,
          "combined_lower_over_N0": 0.24499999999999997
        },
        {
          "n": 4,
          "epsilon": 0.1,
          "block_bits": 4,
          "reliability_lower_over_N0": 0.054300037257646525,
          "information_lower_over_N0": 0.9799999999999999,
          "combined_lower_over_N0": 0.9799999999999999
        },
        {
          "n": 4,
          "epsilon": 0.1,
          "block_bits": 1000,
          "reliability_lower_over_N0": 0.054300037257646525,
          "information_lower_over_N0": 244.99999999999997,
          "combined_lower_over_N0": 244.99999999999997
        },
        {
          "n": 4,
          "epsilon": 0.01,
          "block_bits": 1,
          "reliability_lower_over_N0": 0.23494603359741117,
          "information_lower_over_N0": 0.47045,
          "combined_lower_over_N0": 0.47045
        },
        {
          "n": 4,
          "epsilon": 0.01,
          "block_bits": 6,
          "reliability_lower_over_N0": 0.23494603359741117,
          "information_lower_over_N0": 2.8226999999999998,
          "combined_lower_over_N0": 2.8226999999999998
        },
        {
          "n": 4,
          "epsilon": 0.01,
          "block_bits": 1000,
          "reliability_lower_over_N0": 0.23494603359741117,
          "information_lower_over_N0": 470.45,
          "combined_lower_over_N0": 470.45
        },
        {
          "n": 4,
          "epsilon": 0.0625,
          "block_bits": 1,
          "reliability_lower_over_N0": 0.09391767721072097,
          "information_lower_over_N0": 0.330078125,
          "combined_lower_over_N0": 0.330078125
        },
        {
          "n": 4,
          "epsilon": 0.0625,
          "block_bits": 5,
          "reliability_lower_over_N0": 0.09391767721072097,
          "information_lower_over_N0": 1.650390625,
          "combined_lower_over_N0": 1.650390625
        },
        {
          "n": 4,
          "epsilon": 0.0625,
          "block_bits": 1000,
          "reliability_lower_over_N0": 0.09391767721072097,
          "information_lower_over_N0": 330.078125,
          "combined_lower_over_N0": 330.078125
        },
        {
          "n": 32,
          "epsilon": 0.1,
          "block_bits": 1,
          "reliability_lower_over_N0": 1.1329394447560437,
          "information_lower_over_N0": 1.9599999999999997,
          "combined_lower_over_N0": 1.9599999999999997
        },
        {
          "n": 32,
          "epsilon": 0.1,
          "block_bits": 6,
          "reliability_lower_over_N0": 1.1329394447560437,
          "information_lower_over_N0": 11.759999999999998,
          "combined_lower_over_N0": 11.759999999999998
        },
        {
          "n": 32,
          "epsilon": 0.1,
          "block_bits": 1000,
          "reliability_lower_over_N0": 1.1329394447560437,
          "information_lower_over_N0": 1959.9999999999998,
          "combined_lower_over_N0": 1959.9999999999998
        },
        {
          "n": 32,
          "epsilon": 0.01,
          "block_bits": 1,
          "reliability_lower_over_N0": 2.885837933082753,
          "information_lower_over_N0": 3.7636,
          "combined_lower_over_N0": 3.7636
        },
        {
          "n": 32,
          "epsilon": 0.01,
          "block_bits": 9,
          "reliability_lower_over_N0": 2.885837933082753,
          "information_lower_over_N0": 33.8724,
          "combined_lower_over_N0": 33.8724
        },
        {
          "n": 32,
          "epsilon": 0.01,
          "block_bits": 1000,
          "reliability_lower_over_N0": 2.885837933082753,
          "information_lower_over_N0": 3763.6,
          "combined_lower_over_N0": 3763.6
        },
        {
          "n": 32,
          "epsilon": 0.0009765625,
          "block_bits": 1,
          "reliability_lower_over_N0": 4.144703050405589,
          "information_lower_over_N0": 3.9765968322753906,
          "combined_lower_over_N0": 4.144703050405589
        },
        {
          "n": 32,
          "epsilon": 0.0009765625,
          "block_bits": 11,
          "reliability_lower_over_N0": 4.144703050405589,
          "information_lower_over_N0": 43.7425651550293,
          "combined_lower_over_N0": 43.7425651550293
        },
        {
          "n": 32,
          "epsilon": 0.0009765625,
          "block_bits": 1000,
          "reliability_lower_over_N0": 4.144703050405589,
          "information_lower_over_N0": 3976.5968322753906,
          "combined_lower_over_N0": 3976.5968322753906
        },
        {
          "n": 1024,
          "epsilon": 0.1,
          "block_bits": 1,
          "reliability_lower_over_N0": 74.94395928964774,
          "information_lower_over_N0": 62.71999999999999,
          "combined_lower_over_N0": 74.94395928964774
        },
        {
          "n": 1024,
          "epsilon": 0.1,
          "block_bits": 10,
          "reliability_lower_over_N0": 74.94395928964774,
          "information_lower_over_N0": 627.1999999999999,
          "combined_lower_over_N0": 627.1999999999999
        },
        {
          "n": 1024,
          "epsilon": 0.1,
          "block_bits": 1000,
          "reliability_lower_over_N0": 74.94395928964774,
          "information_lower_over_N0": 62719.99999999999,
          "combined_lower_over_N0": 62719.99999999999
        },
        {
          "n": 1024,
          "epsilon": 0.01,
          "block_bits": 1,
          "reliability_lower_over_N0": 146.1250537281514,
          "information_lower_over_N0": 120.4352,
          "combined_lower_over_N0": 146.1250537281514
        },
        {
          "n": 1024,
          "epsilon": 0.01,
          "block_bits": 12,
          "reliability_lower_over_N0": 146.1250537281514,
          "information_lower_over_N0": 1445.2223999999999,
          "combined_lower_over_N0": 1445.2223999999999
        },
        {
          "n": 1024,
          "epsilon": 0.01,
          "block_bits": 1000,
          "reliability_lower_over_N0": 146.1250537281514,
          "information_lower_over_N0": 120435.2,
          "combined_lower_over_N0": 120435.2
        },
        {
          "n": 1024,
          "epsilon": 9.5367431640625e-07,
          "block_bits": 1,
          "reliability_lower_over_N0": 299.43866186879404,
          "information_lower_over_N0": 127.99926757917274,
          "combined_lower_over_N0": 299.43866186879404
        },
        {
          "n": 1024,
          "epsilon": 9.5367431640625e-07,
          "block_bits": 21,
          "reliability_lower_over_N0": 299.43866186879404,
          "information_lower_over_N0": 2687.9846191626275,
          "combined_lower_over_N0": 2687.9846191626275
        },
        {
          "n": 1024,
          "epsilon": 9.5367431640625e-07,
          "block_bits": 1000,
          "reliability_lower_over_N0": 299.43866186879404,
          "information_lower_over_N0": 127999.26757917274,
          "combined_lower_over_N0": 127999.26757917274
        },
        {
          "n": 1000000,
          "epsilon": 0.1,
          "block_bits": 1,
          "reliability_lower_over_N0": 148477.67048765035,
          "information_lower_over_N0": 61249.99999999999,
          "combined_lower_over_N0": 148477.67048765035
        },
        {
          "n": 1000000,
          "epsilon": 0.1,
          "block_bits": 17,
          "reliability_lower_over_N0": 148477.67048765035,
          "information_lower_over_N0": 1041249.9999999999,
          "combined_lower_over_N0": 1041249.9999999999
        },
        {
          "n": 1000000,
          "epsilon": 0.1,
          "block_bits": 1000,
          "reliability_lower_over_N0": 148477.67048765035,
          "information_lower_over_N0": 61249999.99999999,
          "combined_lower_over_N0": 61249999.99999999
        },
        {
          "n": 1000000,
          "epsilon": 0.01,
          "block_bits": 1,
          "reliability_lower_over_N0": 247036.1461096778,
          "information_lower_over_N0": 117612.5,
          "combined_lower_over_N0": 247036.1461096778
        },
        {
          "n": 1000000,
          "epsilon": 0.01,
          "block_bits": 19,
          "reliability_lower_over_N0": 247036.1461096778,
          "information_lower_over_N0": 2234637.5,
          "combined_lower_over_N0": 2234637.5
        },
        {
          "n": 1000000,
          "epsilon": 0.01,
          "block_bits": 1000,
          "reliability_lower_over_N0": 247036.1461096778,
          "information_lower_over_N0": 117612500.0,
          "combined_lower_over_N0": 117612500.0
        },
        {
          "n": 1000000,
          "epsilon": 1e-12,
          "block_bits": 1,
          "reliability_lower_over_N0": 615110.7833139177,
          "information_lower_over_N0": 124999.99999925,
          "combined_lower_over_N0": 615110.7833139177
        },
        {
          "n": 1000000,
          "epsilon": 1e-12,
          "block_bits": 42,
          "reliability_lower_over_N0": 615110.7833139177,
          "information_lower_over_N0": 5249999.9999685,
          "combined_lower_over_N0": 5249999.9999685
        },
        {
          "n": 1000000,
          "epsilon": 1e-12,
          "block_bits": 1000,
          "reliability_lower_over_N0": 615110.7833139177,
          "information_lower_over_N0": 124999999.99925,
          "combined_lower_over_N0": 124999999.99925
        }
      ]
    },
    "interchange": {
      "seed": 20261119,
      "N0": 1.7,
      "scope": "Finite-state test machines; not consensus simulations or proofs.",
      "paths": [
        {
          "n": 4,
          "node": 0,
          "samples": 4000,
          "uses": 24,
          "max_pathwise_algebra_error": 7.105427357601002e-15,
          "mean_log_likelihood_ratio": 5.104005953477742,
          "mean_signal_difference_cost": 5.107472411764706,
          "mean_difference_standard_error": 0.04987387368188736,
          "mean_difference_z": -0.06950449265430662
        },
        {
          "n": 4,
          "node": 1,
          "samples": 4000,
          "uses": 24,
          "max_pathwise_algebra_error": 7.105427357601002e-15,
          "mean_log_likelihood_ratio": 5.365853695634081,
          "mean_signal_difference_cost": 5.386670352941177,
          "mean_difference_standard_error": 0.05132238462117322,
          "mean_difference_z": -0.40560580847422023
        },
        {
          "n": 7,
          "node": 0,
          "samples": 4000,
          "uses": 84,
          "max_pathwise_algebra_error": 1.0658141036401503e-14,
          "mean_log_likelihood_ratio": 10.10945337322901,
          "mean_signal_difference_cost": 10.187314088235295,
          "mean_difference_standard_error": 0.07077492188656834,
          "mean_difference_z": -1.1001172863330433
        },
        {
          "n": 7,
          "node": 1,
          "samples": 4000,
          "uses": 84,
          "max_pathwise_algebra_error": 1.0658141036401503e-14,
          "mean_log_likelihood_ratio": 10.855297447889976,
          "mean_signal_difference_cost": 10.872733352941177,
          "mean_difference_standard_error": 0.07441034216697251,
          "mean_difference_z": -0.2343209901128723
        },
        {
          "n": 7,
          "node": 2,
          "samples": 4000,
          "uses": 84,
          "max_pathwise_algebra_error": 1.4210854715202004e-14,
          "mean_log_likelihood_ratio": 10.899107666272895,
          "mean_signal_difference_cost": 10.922986000000002,
          "mean_difference_standard_error": 0.07291402464047694,
          "mean_difference_z": -0.327486157084915
        },
        {
          "n": 10,
          "node": 0,
          "samples": 4000,
          "uses": 180,
          "max_pathwise_algebra_error": 1.4210854715202004e-14,
          "mean_log_likelihood_ratio": 13.342174160805927,
          "mean_signal_difference_cost": 13.452200764705886,
          "mean_difference_standard_error": 0.08232042905261401,
          "mean_difference_z": -1.3365649956663082
        },
        {
          "n": 10,
          "node": 1,
          "samples": 4000,
          "uses": 180,
          "max_pathwise_algebra_error": 1.4210854715202004e-14,
          "mean_log_likelihood_ratio": 14.32893300158332,
          "mean_signal_difference_cost": 14.460116764705885,
          "mean_difference_standard_error": 0.08511982564926085,
          "mean_difference_z": -1.5411657874290123
        },
        {
          "n": 10,
          "node": 2,
          "samples": 4000,
          "uses": 180,
          "max_pathwise_algebra_error": 1.7763568394002505e-14,
          "mean_log_likelihood_ratio": 14.720885562412496,
          "mean_signal_difference_cost": 14.647329,
          "mean_difference_standard_error": 0.08537841208304756,
          "mean_difference_z": 0.8615358451612526
        }
      ],
      "environment": {
        "python": "3.13.12",
        "numpy": "2.3.5",
        "scipy": "1.17.0"
      }
    },
    "protocol": {
      "seed": 20261355,
      "total_executions": 1800,
      "meaning": "Complete small digital protocol executions on a fixed good committee; Byzantine decoded-message injection overapproximates Byzantine channels; sub-bound scales are stress tests, not theoretical guarantees.",
      "invariant_violations": 0,
      "records": [
        {
          "n": 7,
          "committee_size": 4,
          "static_faults": 1,
          "L": 1,
          "epsilon": 0.125,
          "energy_scale": 0.01,
          "trials": 150,
          "failed": 115,
          "internal_error": 150,
          "external_disagreement": 24,
          "honest_subset_certificate": 24
        },
        {
          "n": 7,
          "committee_size": 4,
          "static_faults": 1,
          "L": 1,
          "epsilon": 0.125,
          "energy_scale": 0.03,
          "trials": 150,
          "failed": 65,
          "internal_error": 148,
          "external_disagreement": 18,
          "honest_subset_certificate": 18
        },
        {
          "n": 7,
          "committee_size": 4,
          "static_faults": 1,
          "L": 1,
          "epsilon": 0.125,
          "energy_scale": 0.1,
          "trials": 150,
          "failed": 7,
          "internal_error": 53,
          "external_disagreement": 6,
          "honest_subset_certificate": 6
        },
        {
          "n": 7,
          "committee_size": 4,
          "static_faults": 1,
          "L": 1,
          "epsilon": 0.125,
          "energy_scale": 1.0,
          "trials": 150,
          "failed": 0,
          "internal_error": 0,
          "external_disagreement": 0,
          "honest_subset_certificate": 0
        },
        {
          "n": 7,
          "committee_size": 4,
          "static_faults": 1,
          "L": 2,
          "epsilon": 0.125,
          "energy_scale": 0.01,
          "trials": 150,
          "failed": 141,
          "internal_error": 150,
          "external_disagreement": 9,
          "honest_subset_certificate": 9
        },
        {
          "n": 7,
          "committee_size": 4,
          "static_faults": 1,
          "L": 2,
          "epsilon": 0.125,
          "energy_scale": 0.03,
          "trials": 150,
          "failed": 116,
          "internal_error": 150,
          "external_disagreement": 23,
          "honest_subset_certificate": 23
        },
        {
          "n": 7,
          "committee_size": 4,
          "static_faults": 1,
          "L": 2,
          "epsilon": 0.125,
          "energy_scale": 0.1,
          "trials": 150,
          "failed": 18,
          "internal_error": 92,
          "external_disagreement": 8,
          "honest_subset_certificate": 8
        },
        {
          "n": 7,
          "committee_size": 4,
          "static_faults": 1,
          "L": 2,
          "epsilon": 0.125,
          "energy_scale": 1.0,
          "trials": 150,
          "failed": 0,
          "internal_error": 0,
          "external_disagreement": 0,
          "honest_subset_certificate": 0
        },
        {
          "n": 7,
          "committee_size": 4,
          "static_faults": 1,
          "L": 3,
          "epsilon": 0.125,
          "energy_scale": 0.01,
          "trials": 150,
          "failed": 147,
          "internal_error": 150,
          "external_disagreement": 3,
          "honest_subset_certificate": 3
        },
        {
          "n": 7,
          "committee_size": 4,
          "static_faults": 1,
          "L": 3,
          "epsilon": 0.125,
          "energy_scale": 0.03,
          "trials": 150,
          "failed": 143,
          "internal_error": 150,
          "external_disagreement": 28,
          "honest_subset_certificate": 28
        },
        {
          "n": 7,
          "committee_size": 4,
          "static_faults": 1,
          "L": 3,
          "epsilon": 0.125,
          "energy_scale": 0.1,
          "trials": 150,
          "failed": 51,
          "internal_error": 122,
          "external_disagreement": 32,
          "honest_subset_certificate": 32
        },
        {
          "n": 7,
          "committee_size": 4,
          "static_faults": 1,
          "L": 3,
          "epsilon": 0.125,
          "energy_scale": 1.0,
          "trials": 150,
          "failed": 0,
          "internal_error": 0,
          "external_disagreement": 0,
          "honest_subset_certificate": 0
        }
      ],
      "generators": {
        "1": {
          "internal": [
            [
              0,
              0,
              1,
              0,
              1,
              1,
              1,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              0,
              0
            ],
            [
              1,
              0,
              0,
              1,
              1,
              0,
              0,
              1,
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              1
            ]
          ],
          "external": [
            [
              0,
              0,
              0,
              1,
              0,
              1,
              1,
              1
            ]
          ]
        },
        "2": {
          "internal": [
            [
              0,
              1,
              1,
              0,
              1,
              1,
              0,
              0,
              0,
              1,
              0,
              1,
              0,
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              1,
              1,
              0,
              1,
              1,
              1,
              1,
              0,
              1
            ],
            [
              0,
              1,
              1,
              1,
              1,
              1,
              0,
              1,
              1,
              0,
              1,
              1,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              1,
              1,
              0,
              1,
              1,
              0,
              1,
              0,
              1,
              0,
              0,
              1,
              1
            ],
            [
              1,
              1,
              0,
              1,
              1,
              1,
              1,
              1,
              0,
              0,
              0,
              0,
              1,
              1,
              1,
              1,
              1,
              0,
              1,
              1,
              1,
              1,
              1,
              1,
              1,
              0,
              0,
              0,
              1,
              1,
              1,
              0
            ],
            [
              1,
              1,
              1,
              0,
              1,
              0,
              0,
              1,
              1,
              1,
              0,
              1,
              0,
              1,
              0,
              1,
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              1,
              1,
              1,
              0,
              1,
              0,
              0,
              1,
              1
            ]
          ],
          "external": [
            [
              0,
              1,
              0,
              1,
              0,
              1,
              1,
              1,
              1,
              0,
              1,
              0,
              1,
              0,
              1,
              0
            ],
            [
              0,
              0,
              0,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              0,
              1,
              1,
              1,
              1,
              1
            ]
          ]
        },
        "3": {
          "internal": [
            [
              0,
              0,
              0,
              1,
              0,
              0,
              0,
              1,
              0,
              0,
              0,
              1,
              1,
              0,
              0,
              0,
              1,
              1,
              1,
              1,
              1,
              0,
              1,
              0,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              1,
              1,
              0,
              1,
              1,
              1,
              0,
              1,
              1,
              1
            ],
            [
              0,
              0,
              0,
              1,
              1,
              0,
              1,
              0,
              1,
              1,
              0,
              0,
              0,
              1,
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              1,
              1,
              1,
              1,
              1,
              0,
              1,
              0,
              1,
              0,
              1,
              1,
              0,
              0,
              0,
              0,
              0,
              1,
              1,
              0,
              0,
              0,
              0,
              0,
              1,
              0,
              1
            ],
            [
              0,
              0,
              1,
              1,
              0,
              1,
              0,
              0,
              0,
              0,
              0,
              0,
              0,
              0,
              1,
              0,
              0,
              0,
              0,
              1,
              1,
              1,
              0,
              0,
              1,
              1,
              0,
              1,
              1,
              1,
              0,
              1,
              1,
              0,
              0,
              1,
              0,
              1,
              1,
              0,
              1,
              0,
              0,
              0,
              1,
              1,
              1,
              0
            ],
            [
              1,
              1,
              1,
              1,
              1,
              1,
              1,
              1,
              1,
              1,
              0,
              0,
              1,
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              1,
              0,
              0,
              1,
              0,
              0,
              0,
              0,
              0,
              1,
              0,
              1,
              1,
              0,
              0,
              0,
              0,
              1,
              1,
              1,
              0,
              0,
              1,
              1,
              1,
              0,
              1,
              1
            ],
            [
              0,
              0,
              1,
              1,
              1,
              0,
              1,
              1,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              0,
              1,
              0,
              0,
              1,
              0,
              1,
              0,
              1,
              0,
              1,
              1,
              0,
              1,
              0,
              1,
              1,
              0,
              0,
              0,
              1,
              0,
              0,
              1,
              1,
              1,
              0,
              1
            ],
            [
              0,
              0,
              0,
              1,
              0,
              1,
              0,
              1,
              0,
              0,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              1,
              0,
              0,
              1,
              1,
              0,
              1,
              0,
              0,
              0,
              1,
              1,
              1,
              0,
              0,
              1,
              1,
              0,
              0,
              1,
              0,
              1,
              0,
              1,
              0,
              1,
              1,
              0,
              1,
              1,
              0
            ]
          ],
          "external": [
            [
              1,
              0,
              0,
              0,
              1,
              0,
              1,
              0,
              0,
              0,
              0,
              1,
              0,
              1,
              1,
              1,
              1,
              0,
              1,
              0,
              0,
              1,
              1,
              0
            ],
            [
              1,
              0,
              0,
              1,
              1,
              0,
              0,
              1,
              1,
              1,
              1,
              1,
              0,
              1,
              0,
              1,
              0,
              1,
              1,
              1,
              1,
              1,
              0,
              0
            ],
            [
              0,
              0,
              0,
              0,
              0,
              0,
              1,
              0,
              1,
              1,
              0,
              1,
              1,
              1,
              0,
              1,
              1,
              1,
              1,
              0,
              0,
              0,
              1,
              0
            ]
          ]
        }
      }
    },
    "recovery": {
      "units": "k_B T = 1",
      "gaussian_cases": 72,
      "conditional_information_refinements": 20000,
      "maximum_conditional_mean_quadrature_residual": 1.5251688800788088e-14,
      "maximum_quadratic_optimization_residual": 1.7763568394002505e-15,
      "minimum_observed_reset_ep": 2.097864637562452e-08,
      "zero_signal": {
        "label_only_ep": 0.6931471805599453,
        "sample_controlled_ep": 0.3748372943761546,
        "recovered_work": 0.3183098861837907,
        "required_displacement": 0.5641895835477563
      },
      "cases": [
        {
          "signal_energy": 0.0,
          "displacement_budget": 0.0,
          "no_recovery_ep": 0.6931471805599453,
          "label_only_ep": 0.6931471805599453,
          "sample_controlled_ep": 0.6931471805599453,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 0.0,
          "displacement_budget": 0.05,
          "no_recovery_ep": 0.6931471805599453,
          "label_only_ep": 0.6931471805599453,
          "sample_controlled_ep": 0.6392282222051695,
          "optimizer_residual": 1.1102230246251565e-16
        },
        {
          "signal_energy": 0.0,
          "displacement_budget": 0.2,
          "no_recovery_ep": 0.6931471805599453,
          "label_only_ep": 0.6931471805599453,
          "sample_controlled_ep": 0.5074713471408427,
          "optimizer_residual": -1.1102230246251565e-16
        },
        {
          "signal_energy": 0.0,
          "displacement_budget": 0.5,
          "no_recovery_ep": 0.6931471805599453,
          "label_only_ep": 0.6931471805599453,
          "sample_controlled_ep": 0.3789575970121889,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 0.0,
          "displacement_budget": 1.0,
          "no_recovery_ep": 0.6931471805599453,
          "label_only_ep": 0.6931471805599453,
          "sample_controlled_ep": 0.3748372943761545,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 0.0,
          "displacement_budget": 2.0,
          "no_recovery_ep": 0.6931471805599453,
          "label_only_ep": 0.6931471805599453,
          "sample_controlled_ep": 0.3748372943761545,
          "optimizer_residual": 5.551115123125783e-17
        },
        {
          "signal_energy": 0.0,
          "displacement_budget": 4.0,
          "no_recovery_ep": 0.6931471805599453,
          "label_only_ep": 0.6931471805599453,
          "sample_controlled_ep": 0.3748372943761545,
          "optimizer_residual": 5.551115123125783e-17
        },
        {
          "signal_energy": 0.0,
          "displacement_budget": 8.0,
          "no_recovery_ep": 0.6931471805599453,
          "label_only_ep": 0.6931471805599453,
          "sample_controlled_ep": 0.3748372943761545,
          "optimizer_residual": 5.551115123125783e-17
        },
        {
          "signal_energy": 0.01,
          "displacement_budget": 0.0,
          "no_recovery_ep": 0.6968098281200391,
          "label_only_ep": 0.6968098281200391,
          "sample_controlled_ep": 0.6968098281200391,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 0.01,
          "displacement_budget": 0.05,
          "no_recovery_ep": 0.6968098281200391,
          "label_only_ep": 0.689309828120039,
          "sample_controlled_ep": 0.6423276186204094,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 0.01,
          "displacement_budget": 0.2,
          "no_recovery_ep": 0.6968098281200391,
          "label_only_ep": 0.6868098281200391,
          "sample_controlled_ep": 0.5088809901215203,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 0.01,
          "displacement_budget": 0.5,
          "no_recovery_ep": 0.6968098281200391,
          "label_only_ep": 0.6868098281200391,
          "sample_controlled_ep": 0.3769877331237421,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 0.01,
          "displacement_budget": 1.0,
          "no_recovery_ep": 0.6968098281200391,
          "label_only_ep": 0.6868098281200391,
          "sample_controlled_ep": 0.3708061142460586,
          "optimizer_residual": -1.1102230246251565e-16
        },
        {
          "signal_energy": 0.01,
          "displacement_budget": 2.0,
          "no_recovery_ep": 0.6968098281200391,
          "label_only_ep": 0.6868098281200391,
          "sample_controlled_ep": 0.3708061142460586,
          "optimizer_residual": -1.1102230246251565e-16
        },
        {
          "signal_energy": 0.01,
          "displacement_budget": 4.0,
          "no_recovery_ep": 0.6968098281200391,
          "label_only_ep": 0.6868098281200391,
          "sample_controlled_ep": 0.3708061142460586,
          "optimizer_residual": -1.1102230246251565e-16
        },
        {
          "signal_energy": 0.01,
          "displacement_budget": 8.0,
          "no_recovery_ep": 0.6968098281200391,
          "label_only_ep": 0.6868098281200391,
          "sample_controlled_ep": 0.3708061142460586,
          "optimizer_residual": -1.1102230246251565e-16
        },
        {
          "signal_energy": 0.1,
          "displacement_budget": 0.0,
          "no_recovery_ep": 0.7322935491397055,
          "label_only_ep": 0.7322935491397055,
          "sample_controlled_ep": 0.7322935491397055,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 0.1,
          "displacement_budget": 0.05,
          "no_recovery_ep": 0.7322935491397055,
          "label_only_ep": 0.7031707725380217,
          "sample_controlled_ep": 0.672824878982119,
          "optimizer_residual": 1.1102230246251565e-16
        },
        {
          "signal_energy": 0.1,
          "displacement_budget": 0.2,
          "no_recovery_ep": 0.7322935491397055,
          "label_only_ep": 0.6458024427329703,
          "sample_controlled_ep": 0.5244188685093597,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 0.1,
          "displacement_budget": 0.5,
          "no_recovery_ep": 0.7322935491397055,
          "label_only_ep": 0.6322935491397055,
          "sample_controlled_ep": 0.36217056918213913,
          "optimizer_residual": -5.551115123125783e-17
        },
        {
          "signal_energy": 0.1,
          "displacement_budget": 1.0,
          "no_recovery_ep": 0.7322935491397055,
          "label_only_ep": 0.6322935491397055,
          "sample_controlled_ep": 0.3364087531990575,
          "optimizer_residual": -5.551115123125783e-17
        },
        {
          "signal_energy": 0.1,
          "displacement_budget": 2.0,
          "no_recovery_ep": 0.7322935491397055,
          "label_only_ep": 0.6322935491397055,
          "sample_controlled_ep": 0.3364087531990575,
          "optimizer_residual": -5.551115123125783e-17
        },
        {
          "signal_energy": 0.1,
          "displacement_budget": 4.0,
          "no_recovery_ep": 0.7322935491397055,
          "label_only_ep": 0.6322935491397055,
          "sample_controlled_ep": 0.3364087531990575,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 0.1,
          "displacement_budget": 8.0,
          "no_recovery_ep": 0.7322935491397055,
          "label_only_ep": 0.6322935491397055,
          "sample_controlled_ep": 0.3364087531990575,
          "optimizer_residual": -5.551115123125783e-17
        },
        {
          "signal_energy": 0.5,
          "displacement_budget": 0.0,
          "no_recovery_ep": 0.9374332409271191,
          "label_only_ep": 0.9374332409271192,
          "sample_controlled_ep": 0.9374332409271191,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 0.5,
          "displacement_budget": 0.05,
          "no_recovery_ep": 0.9374332409271191,
          "label_only_ep": 0.8692225628084644,
          "sample_controlled_ep": 0.8574399759624041,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 0.5,
          "displacement_budget": 0.2,
          "no_recovery_ep": 0.9374332409271191,
          "label_only_ep": 0.6945905284525,
          "sample_controlled_ep": 0.6474601810682589,
          "optimizer_residual": 1.1102230246251565e-16
        },
        {
          "signal_energy": 0.5,
          "displacement_budget": 0.5,
          "no_recovery_ep": 0.9374332409271191,
          "label_only_ep": 0.4803264597405716,
          "sample_controlled_ep": 0.3598737656996326,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 0.5,
          "displacement_budget": 1.0,
          "no_recovery_ep": 0.9374332409271191,
          "label_only_ep": 0.4374332409271191,
          "sample_controlled_ep": 0.218118810376012,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 0.5,
          "displacement_budget": 2.0,
          "no_recovery_ep": 0.9374332409271191,
          "label_only_ep": 0.4374332409271191,
          "sample_controlled_ep": 0.218118810376012,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 0.5,
          "displacement_budget": 4.0,
          "no_recovery_ep": 0.9374332409271191,
          "label_only_ep": 0.4374332409271191,
          "sample_controlled_ep": 0.218118810376012,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 0.5,
          "displacement_budget": 8.0,
          "no_recovery_ep": 0.9374332409271191,
          "label_only_ep": 0.4374332409271191,
          "sample_controlled_ep": 0.218118810376012,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 1.0,
          "displacement_budget": 0.0,
          "no_recovery_ep": 1.2754587823631782,
          "label_only_ep": 1.2754587823631782,
          "sample_controlled_ep": 1.2754587823631782,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 1.0,
          "displacement_budget": 0.05,
          "no_recovery_ep": 1.2754587823631782,
          "label_only_ep": 1.177958782363178,
          "sample_controlled_ep": 1.172933328197177,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 1.0,
          "displacement_budget": 0.2,
          "no_recovery_ep": 1.2754587823631782,
          "label_only_ep": 0.9154587823631783,
          "sample_controlled_ep": 0.8953569656991734,
          "optimizer_residual": 1.1102230246251565e-16
        },
        {
          "signal_energy": 1.0,
          "displacement_budget": 0.5,
          "no_recovery_ep": 1.2754587823631782,
          "label_only_ep": 0.5254587823631782,
          "sample_controlled_ep": 0.47264135576100985,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 1.0,
          "displacement_budget": 1.0,
          "no_recovery_ep": 1.2754587823631782,
          "label_only_ep": 0.2754587823631782,
          "sample_controlled_ep": 0.13852688228714682,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 1.0,
          "displacement_budget": 2.0,
          "no_recovery_ep": 1.2754587823631782,
          "label_only_ep": 0.2754587823631782,
          "sample_controlled_ep": 0.12683790956609564,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 1.0,
          "displacement_budget": 4.0,
          "no_recovery_ep": 1.2754587823631782,
          "label_only_ep": 0.2754587823631782,
          "sample_controlled_ep": 0.12683790956609564,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 1.0,
          "displacement_budget": 8.0,
          "no_recovery_ep": 1.2754587823631782,
          "label_only_ep": 0.2754587823631782,
          "sample_controlled_ep": 0.12683790956609564,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 2.0,
          "displacement_budget": 0.0,
          "no_recovery_ep": 2.108557305380769,
          "label_only_ep": 2.1085573053807694,
          "sample_controlled_ep": 2.108557305380769,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 2.0,
          "displacement_budget": 0.05,
          "no_recovery_ep": 2.108557305380769,
          "label_only_ep": 1.9696359491434594,
          "sample_controlled_ep": 1.9684351824639794,
          "optimizer_residual": 4.440892098500626e-16
        },
        {
          "signal_energy": 2.0,
          "displacement_budget": 0.2,
          "no_recovery_ep": 2.108557305380769,
          "label_only_ep": 1.582871880431531,
          "sample_controlled_ep": 1.5780688137136119,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 2.0,
          "displacement_budget": 0.5,
          "no_recovery_ep": 2.108557305380769,
          "label_only_ep": 0.9443437430076738,
          "sample_controlled_ep": 0.9310679455726398,
          "optimizer_residual": 2.220446049250313e-16
        },
        {
          "signal_energy": 2.0,
          "displacement_budget": 1.0,
          "no_recovery_ep": 2.108557305380769,
          "label_only_ep": 0.28013018063457873,
          "sample_controlled_ep": 0.24378795084101168,
          "optimizer_residual": 2.220446049250313e-16
        },
        {
          "signal_energy": 2.0,
          "displacement_budget": 2.0,
          "no_recovery_ep": 2.108557305380769,
          "label_only_ep": 0.10855730538076873,
          "sample_controlled_ep": 0.042999762448247214,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 2.0,
          "displacement_budget": 4.0,
          "no_recovery_ep": 2.108557305380769,
          "label_only_ep": 0.10855730538076873,
          "sample_controlled_ep": 0.042999762448247214,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 2.0,
          "displacement_budget": 8.0,
          "no_recovery_ep": 2.108557305380769,
          "label_only_ep": 0.10855730538076873,
          "sample_controlled_ep": 0.042999762448247214,
          "optimizer_residual": 4.440892098500626e-16
        },
        {
          "signal_energy": 4.0,
          "displacement_budget": 0.0,
          "no_recovery_ep": 4.016505196324212,
          "label_only_ep": 4.016505196324212,
          "sample_controlled_ep": 4.016505196324212,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 4.0,
          "displacement_budget": 0.05,
          "no_recovery_ep": 4.016505196324212,
          "label_only_ep": 3.8190051963242126,
          "sample_controlled_ep": 3.8189073940527174,
          "optimizer_residual": 4.440892098500626e-16
        },
        {
          "signal_energy": 4.0,
          "displacement_budget": 0.2,
          "no_recovery_ep": 4.016505196324212,
          "label_only_ep": 3.256505196324213,
          "sample_controlled_ep": 3.256113987238232,
          "optimizer_residual": -4.440892098500626e-16
        },
        {
          "signal_energy": 4.0,
          "displacement_budget": 0.5,
          "no_recovery_ep": 4.016505196324212,
          "label_only_ep": 2.266505196324213,
          "sample_controlled_ep": 2.2653292254024144,
          "optimizer_residual": -4.440892098500626e-16
        },
        {
          "signal_energy": 4.0,
          "displacement_budget": 1.0,
          "no_recovery_ep": 4.016505196324212,
          "label_only_ep": 1.0165051963242127,
          "sample_controlled_ep": 1.0130860634270458,
          "optimizer_residual": -4.440892098500626e-16
        },
        {
          "signal_energy": 4.0,
          "displacement_budget": 2.0,
          "no_recovery_ep": 4.016505196324212,
          "label_only_ep": 0.016505196324212743,
          "sample_controlled_ep": 0.005091438240523161,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 4.0,
          "displacement_budget": 4.0,
          "no_recovery_ep": 4.016505196324212,
          "label_only_ep": 0.016505196324212743,
          "sample_controlled_ep": 0.0050646803897294035,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 4.0,
          "displacement_budget": 8.0,
          "no_recovery_ep": 4.016505196324212,
          "label_only_ep": 0.016505196324212743,
          "sample_controlled_ep": 0.0050646803897294035,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 9.0,
          "displacement_budget": 0.0,
          "no_recovery_ep": 9.000137110244157,
          "label_only_ep": 9.000137110244157,
          "sample_controlled_ep": 9.000137110244157,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 9.0,
          "displacement_budget": 0.05,
          "no_recovery_ep": 9.000137110244157,
          "label_only_ep": 8.702637110244158,
          "sample_controlled_ep": 8.702636774740661,
          "optimizer_residual": -1.7763568394002505e-15
        },
        {
          "signal_energy": 9.0,
          "displacement_budget": 0.2,
          "no_recovery_ep": 9.000137110244157,
          "label_only_ep": 7.840137110244156,
          "sample_controlled_ep": 7.840135742651158,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 9.0,
          "displacement_budget": 0.5,
          "no_recovery_ep": 9.000137110244157,
          "label_only_ep": 6.250137110244157,
          "sample_controlled_ep": 6.250132416638481,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 9.0,
          "displacement_budget": 1.0,
          "no_recovery_ep": 9.000137110244157,
          "label_only_ep": 4.000137110244157,
          "sample_controlled_ep": 4.000122455184618,
          "optimizer_residual": -8.881784197001252e-16
        },
        {
          "signal_energy": 9.0,
          "displacement_budget": 2.0,
          "no_recovery_ep": 9.000137110244157,
          "label_only_ep": 1.0001371102441574,
          "sample_controlled_ep": 1.0000859644041427,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 9.0,
          "displacement_budget": 4.0,
          "no_recovery_ep": 9.000137110244157,
          "label_only_ep": 0.000137110244157466,
          "sample_controlled_ep": 2.7381914692981013e-05,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 9.0,
          "displacement_budget": 8.0,
          "no_recovery_ep": 9.000137110244157,
          "label_only_ep": 0.000137110244157466,
          "sample_controlled_ep": 2.7381914692981013e-05,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 16.0,
          "displacement_budget": 0.0,
          "no_recovery_ep": 16.000000151712953,
          "label_only_ep": 16.000000151712953,
          "sample_controlled_ep": 16.000000151712953,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 16.0,
          "displacement_budget": 0.05,
          "no_recovery_ep": 16.000000151712953,
          "label_only_ep": 15.602500151712952,
          "sample_controlled_ep": 15.60250015153074,
          "optimizer_residual": -1.7763568394002505e-15
        },
        {
          "signal_energy": 16.0,
          "displacement_budget": 0.2,
          "no_recovery_ep": 16.000000151712953,
          "label_only_ep": 14.440000151712951,
          "sample_controlled_ep": 14.440000150932502,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 16.0,
          "displacement_budget": 0.5,
          "no_recovery_ep": 16.000000151712953,
          "label_only_ep": 12.250000151712952,
          "sample_controlled_ep": 12.250000148767048,
          "optimizer_residual": -1.7763568394002505e-15
        },
        {
          "signal_energy": 16.0,
          "displacement_budget": 1.0,
          "no_recovery_ep": 16.000000151712953,
          "label_only_ep": 9.000000151712952,
          "sample_controlled_ep": 9.000000142074507,
          "optimizer_residual": -1.7763568394002505e-15
        },
        {
          "signal_energy": 16.0,
          "displacement_budget": 2.0,
          "no_recovery_ep": 16.000000151712953,
          "label_only_ep": 4.000000151712952,
          "sample_controlled_ep": 4.000000117126477,
          "optimizer_residual": -1.7763568394002505e-15
        },
        {
          "signal_energy": 16.0,
          "displacement_budget": 4.0,
          "no_recovery_ep": 16.000000151712953,
          "label_only_ep": 1.5171295199582e-07,
          "sample_controlled_ep": 2.097864637562452e-08,
          "optimizer_residual": 0.0
        },
        {
          "signal_energy": 16.0,
          "displacement_budget": 8.0,
          "no_recovery_ep": 16.000000151712953,
          "label_only_ep": 1.5171295199582e-07,
          "sample_controlled_ep": 2.097864637562452e-08,
          "optimizer_residual": 0.0
        }
      ]
    }
  }
}