{
 "experiment": "sha256_summary",
 "timestamp_utc": "2026-11-01T06:22:00+00:00",
 "command": "experiments/reduced_round_sha256/make_summary.py",
 "cwd": "/Users/simon-pierreboucher/Desktop/UQO/Recherche/Recherche-UQO/mathematiques/beyond-square-root-barrier",
 "seed": null,
 "host": {
  "hostname": "MacBookPro-de-simon-pierre-2.local",
  "os": "Darwin 27.0.0 (27.0)",
  "machine": "arm64",
  "python": "3.12.13",
  "cpu": "Apple M5 Max",
  "cores": 18,
  "ram_gb": 48.0
 },
 "software": {
  "numpy": "2.5.4",
  "scipy": "1.18.1",
  "sympy": "1.14.0",
  "gmpy2": "2.3.2",
  "z3": "5.3.3",
  "pysat": "1.9.dev17",
  "ecdsa": "0.19.2",
  "coincurve": "21.0.0"
 },
 "params": {
  "sources": [
   "bias_seed1.json",
   "bias_seed2.json",
   "bias_seed3.json",
   "diffusion_seed1.json",
   "diffusion_seed2.json",
   "diffusion_seed3.json",
   "local_collision.json",
   "local_collision_bits31_0_seed2.json"
  ]
 },
 "measurements": {
  "diffusion": {
   "n_per_seed": 2000,
   "seeds": [
    1,
    2,
    3
   ],
   "threshold": 0.49,
   "by_config": {
    "W0": {
     "full_diffusion_step_by_seed": [
      6,
      6,
      6
     ],
     "full_diffusion_step": 6,
     "mean_flip_ratio_by_step": [
      0.0146,
      0.097,
      0.2166,
      0.3411,
      0.4514,
      0.4939,
      0.4992,
      0.4993,
      0.4997,
      0.4999,
      0.5,
      0.5003,
      0.5002,
      0.5002,
      0.5002,
      0.5001,
      0.5001,
      0.4999,
      0.5,
      0.4999,
      0.4998,
      0.4997,
      0.4996,
      0.4995,
      0.4993,
      0.5,
      0.5001,
      0.5006,
      0.5008,
      0.5006,
      0.5006,
      0.5007,
      0.5009,
      0.5005,
      0.5005,
      0.5001,
      0.4996,
      0.5,
      0.5001,
      0.5001,
      0.5003,
      0.4999,
      0.5,
      0.5002,
      0.4998,
      0.4997,
      0.4999,
      0.5001,
      0.5007,
      0.5009,
      0.5005,
      0.4999,
      0.4996,
      0.4997,
      0.4996,
      0.4999,
      0.4999,
      0.4998,
      0.4996,
      0.4995,
      0.4994,
      0.4997,
      0.5002,
      0.5002
     ],
     "flip_ratio_step64": 0.5002,
     "hamming_mean_step64": 128.04,
     "hamming_sd_step64": 8.08,
     "random_oracle_flip_ratio": 0.5001,
     "random_oracle_flip_sd": 0.0309
    },
    "W5": {
     "full_diffusion_step_by_seed": [
      11,
      11,
      11
     ],
     "full_diffusion_step": 11,
     "mean_flip_ratio_by_step": [
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0152,
      0.0974,
      0.217,
      0.3421,
      0.4516,
      0.4943,
      0.5,
      0.4999,
      0.4997,
      0.4995,
      0.4992,
      0.4994,
      0.4996,
      0.4999,
      0.5,
      0.4998,
      0.5002,
      0.5002,
      0.5,
      0.5004,
      0.5001,
      0.5,
      0.5001,
      0.4997,
      0.4997,
      0.5001,
      0.4999,
      0.4998,
      0.4998,
      0.4998,
      0.5,
      0.5,
      0.5001,
      0.5001,
      0.5,
      0.5003,
      0.5004,
      0.5002,
      0.5001,
      0.4999,
      0.5001,
      0.4999,
      0.5001,
      0.5001,
      0.4999,
      0.5001,
      0.4999,
      0.5004,
      0.5004,
      0.5003,
      0.5005,
      0.5005,
      0.5005,
      0.5002,
      0.5004,
      0.5001,
      0.5004,
      0.5009,
      0.5006
     ],
     "flip_ratio_step64": 0.5006,
     "hamming_mean_step64": 128.15,
     "hamming_sd_step64": 7.95,
     "random_oracle_flip_ratio": 0.4992,
     "random_oracle_flip_sd": 0.0317
    },
    "W15": {
     "full_diffusion_step_by_seed": [
      21,
      21,
      21
     ],
     "full_diffusion_step": 21,
     "mean_flip_ratio_by_step": [
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0152,
      0.0972,
      0.2172,
      0.3423,
      0.4522,
      0.4948,
      0.5001,
      0.5002,
      0.5003,
      0.5009,
      0.5009,
      0.5006,
      0.5002,
      0.4998,
      0.4995,
      0.4992,
      0.4998,
      0.5,
      0.4998,
      0.5001,
      0.4998,
      0.4997,
      0.4996,
      0.4995,
      0.4992,
      0.4992,
      0.4993,
      0.4993,
      0.4992,
      0.4989,
      0.4992,
      0.4994,
      0.4997,
      0.4999,
      0.4997,
      0.4994,
      0.4996,
      0.4999,
      0.5001,
      0.5004,
      0.5004,
      0.5001,
      0.4996,
      0.4992,
      0.4993,
      0.4997,
      0.4999,
      0.5001,
      0.4995
     ],
     "flip_ratio_step64": 0.4995,
     "hamming_mean_step64": 127.88,
     "hamming_sd_step64": 8.02,
     "random_oracle_flip_ratio": 0.4998,
     "random_oracle_flip_sd": 0.0309
    },
    "IV": {
     "full_diffusion_step_by_seed": [
      8,
      8,
      8
     ],
     "full_diffusion_step": 8,
     "mean_flip_ratio_by_step": [
      0.0181,
      0.0721,
      0.1618,
      0.2712,
      0.3782,
      0.4483,
      0.4828,
      0.4973,
      0.5005,
      0.5005,
      0.5006,
      0.5006,
      0.5005,
      0.5006,
      0.5001,
      0.5002,
      0.4999,
      0.4998,
      0.5001,
      0.5001,
      0.4999,
      0.5002,
      0.5003,
      0.4998,
      0.4998,
      0.4994,
      0.499,
      0.4993,
      0.4996,
      0.4994,
      0.4991,
      0.4991,
      0.4989,
      0.4993,
      0.4995,
      0.4996,
      0.5001,
      0.5004,
      0.5006,
      0.5006,
      0.5001,
      0.5,
      0.5002,
      0.5001,
      0.5006,
      0.5003,
      0.5004,
      0.5006,
      0.5002,
      0.5001,
      0.4999,
      0.5,
      0.5001,
      0.5005,
      0.5008,
      0.5004,
      0.5005,
      0.5005,
      0.5002,
      0.5001,
      0.5004,
      0.5002,
      0.5002,
      0.5007
     ],
     "flip_ratio_step64": 0.5007,
     "hamming_mean_step64": 128.19,
     "hamming_sd_step64": 7.99,
     "random_oracle_flip_ratio": 0.5001,
     "random_oracle_flip_sd": 0.031
    }
   },
   "hosts": [
    "MacBookPro-de-simon-pierre-2.local"
   ]
  },
  "bias": {
   "n_per_seed": 20000,
   "seeds": [
    1,
    2,
    3
   ],
   "r_list": [
    1,
    2,
    3,
    4,
    5,
    6,
    8,
    10,
    12,
    16,
    20,
    24,
    32,
    64
   ],
   "bias_threshold_4sigma": 0.01414213562373095,
   "corr_threshold_4sigma": 0.0282842712474619,
   "expected_pairs_under_null": 1.0378032523876717,
   "first_r_with_no_bit_bias_and_no_chi2_rejection": 4,
   "first_r_with_correlation_count_at_noise_level": 5,
   "by_r": {
    "1": {
     "max_bit_bias_by_seed": [
      0.5,
      0.5,
      0.5
     ],
     "n_bits_bias_over_4sigma_by_seed": [
      192,
      192,
      192
     ],
     "max_abs_corr_by_seed": [
      1.0,
      0.7522,
      1.0
     ],
     "n_pairs_corr_over_4sigma_by_seed": [
      13,
      5,
      10
     ],
     "chi2_bytes_rejected_by_seed": [
      24,
      24,
      24
     ],
     "chi2_min_p_by_seed": [
      0.0,
      0.0,
      0.0
     ]
    },
    "2": {
     "max_bit_bias_by_seed": [
      0.5,
      0.5,
      0.5
     ],
     "n_bits_bias_over_4sigma_by_seed": [
      128,
      128,
      128
     ],
     "max_abs_corr_by_seed": [
      1.0,
      0.757,
      1.0
     ],
     "n_pairs_corr_over_4sigma_by_seed": [
      12,
      7,
      10
     ],
     "chi2_bytes_rejected_by_seed": [
      16,
      16,
      16
     ],
     "chi2_min_p_by_seed": [
      0.0,
      0.0,
      0.0
     ]
    },
    "3": {
     "max_bit_bias_by_seed": [
      0.5,
      0.5,
      0.5
     ],
     "n_bits_bias_over_4sigma_by_seed": [
      64,
      64,
      64
     ],
     "max_abs_corr_by_seed": [
      1.0,
      0.8711,
      1.0
     ],
     "n_pairs_corr_over_4sigma_by_seed": [
      13,
      5,
      10
     ],
     "chi2_bytes_rejected_by_seed": [
      8,
      8,
      8
     ],
     "chi2_min_p_by_seed": [
      0.0,
      0.0,
      0.0
     ]
    },
    "4": {
     "max_bit_bias_by_seed": [
      0.0114,
      0.0092,
      0.0122
     ],
     "n_bits_bias_over_4sigma_by_seed": [
      0,
      0,
      0
     ],
     "max_abs_corr_by_seed": [
      1.0,
      0.889,
      1.0
     ],
     "n_pairs_corr_over_4sigma_by_seed": [
      13,
      6,
      10
     ],
     "chi2_bytes_rejected_by_seed": [
      0,
      0,
      0
     ],
     "chi2_min_p_by_seed": [
      0.0024674005700014512,
      0.005407013673268867,
      0.0015723780131803185
     ]
    },
    "5": {
     "max_bit_bias_by_seed": [
      0.0106,
      0.0097,
      0.0092
     ],
     "n_bits_bias_over_4sigma_by_seed": [
      0,
      0,
      0
     ],
     "max_abs_corr_by_seed": [
      0.0271,
      0.026,
      0.0282
     ],
     "n_pairs_corr_over_4sigma_by_seed": [
      0,
      0,
      0
     ],
     "chi2_bytes_rejected_by_seed": [
      0,
      0,
      0
     ],
     "chi2_min_p_by_seed": [
      0.0033723425506973254,
      0.004638602153315565,
      0.0015723780131803185
     ]
    },
    "6": {
     "max_bit_bias_by_seed": [
      0.0101,
      0.0093,
      0.0104
     ],
     "n_bits_bias_over_4sigma_by_seed": [
      0,
      0,
      0
     ],
     "max_abs_corr_by_seed": [
      0.0331,
      0.0273,
      0.0288
     ],
     "n_pairs_corr_over_4sigma_by_seed": [
      1,
      0,
      1
     ],
     "chi2_bytes_rejected_by_seed": [
      0,
      0,
      0
     ],
     "chi2_min_p_by_seed": [
      0.010274933772688021,
      0.014881643669081616,
      0.0608728684473952
     ]
    },
    "8": {
     "max_bit_bias_by_seed": [
      0.0101,
      0.0096,
      0.0107
     ],
     "n_bits_bias_over_4sigma_by_seed": [
      0,
      0,
      0
     ],
     "max_abs_corr_by_seed": [
      0.0286,
      0.0285,
      0.0279
     ],
     "n_pairs_corr_over_4sigma_by_seed": [
      1,
      1,
      0
     ],
     "chi2_bytes_rejected_by_seed": [
      0,
      0,
      0
     ],
     "chi2_min_p_by_seed": [
      0.001076326516126577,
      0.014881643669081616,
      0.019966566859453836
     ]
    },
    "10": {
     "max_bit_bias_by_seed": [
      0.0134,
      0.01,
      0.0107
     ],
     "n_bits_bias_over_4sigma_by_seed": [
      0,
      0,
      0
     ],
     "max_abs_corr_by_seed": [
      0.0285,
      0.0271,
      0.0292
     ],
     "n_pairs_corr_over_4sigma_by_seed": [
      1,
      0,
      1
     ],
     "chi2_bytes_rejected_by_seed": [
      0,
      0,
      0
     ],
     "chi2_min_p_by_seed": [
      0.008945818349664672,
      0.06917954959344591,
      0.010032979755380173
     ]
    },
    "12": {
     "max_bit_bias_by_seed": [
      0.0101,
      0.0108,
      0.0112
     ],
     "n_bits_bias_over_4sigma_by_seed": [
      0,
      0,
      0
     ],
     "max_abs_corr_by_seed": [
      0.0278,
      0.0291,
      0.026
     ],
     "n_pairs_corr_over_4sigma_by_seed": [
      0,
      1,
      0
     ],
     "chi2_bytes_rejected_by_seed": [
      0,
      0,
      0
     ],
     "chi2_min_p_by_seed": [
      0.0008340946583209548,
      0.03487799680847444,
      0.024982026728623617
     ]
    },
    "16": {
     "max_bit_bias_by_seed": [
      0.0105,
      0.0087,
      0.0141
     ],
     "n_bits_bias_over_4sigma_by_seed": [
      0,
      0,
      0
     ],
     "max_abs_corr_by_seed": [
      0.0277,
      0.0278,
      0.029
     ],
     "n_pairs_corr_over_4sigma_by_seed": [
      0,
      0,
      2
     ],
     "chi2_bytes_rejected_by_seed": [
      0,
      0,
      0
     ],
     "chi2_min_p_by_seed": [
      0.009718294473367946,
      0.04770020631629251,
      0.1010909046664058
     ]
    },
    "20": {
     "max_bit_bias_by_seed": [
      0.0093,
      0.0109,
      0.0093
     ],
     "n_bits_bias_over_4sigma_by_seed": [
      0,
      0,
      0
     ],
     "max_abs_corr_by_seed": [
      0.0285,
      0.0292,
      0.0302
     ],
     "n_pairs_corr_over_4sigma_by_seed": [
      1,
      3,
      2
     ],
     "chi2_bytes_rejected_by_seed": [
      0,
      0,
      0
     ],
     "chi2_min_p_by_seed": [
      0.009115272103638538,
      0.020560073098227438,
      0.03409694668704797
     ]
    },
    "24": {
     "max_bit_bias_by_seed": [
      0.0096,
      0.0158,
      0.009
     ],
     "n_bits_bias_over_4sigma_by_seed": [
      0,
      1,
      0
     ],
     "max_abs_corr_by_seed": [
      0.03,
      0.0257,
      0.0316
     ],
     "n_pairs_corr_over_4sigma_by_seed": [
      2,
      0,
      1
     ],
     "chi2_bytes_rejected_by_seed": [
      0,
      0,
      0
     ],
     "chi2_min_p_by_seed": [
      0.01569305523292343,
      0.01967545027577288,
      0.009312449428667461
     ]
    },
    "32": {
     "max_bit_bias_by_seed": [
      0.0102,
      0.0101,
      0.0099
     ],
     "n_bits_bias_over_4sigma_by_seed": [
      0,
      0,
      0
     ],
     "max_abs_corr_by_seed": [
      0.0312,
      0.0315,
      0.0274
     ],
     "n_pairs_corr_over_4sigma_by_seed": [
      1,
      1,
      0
     ],
     "chi2_bytes_rejected_by_seed": [
      0,
      0,
      0
     ],
     "chi2_min_p_by_seed": [
      0.0012660042211685557,
      0.047700206316292716,
      0.04308089041350792
     ]
    },
    "64": {
     "max_bit_bias_by_seed": [
      0.0152,
      0.0094,
      0.0093
     ],
     "n_bits_bias_over_4sigma_by_seed": [
      1,
      0,
      0
     ],
     "max_abs_corr_by_seed": [
      0.029,
      0.0307,
      0.0277
     ],
     "n_pairs_corr_over_4sigma_by_seed": [
      3,
      1,
      0
     ],
     "chi2_bytes_rejected_by_seed": [
      0,
      0,
      0
     ],
     "chi2_min_p_by_seed": [
      0.00045768341706625844,
      0.02309012894148317,
      0.04233302901234922
     ]
    },
    "random_oracle": {
     "max_bit_bias_by_seed": [
      0.0102,
      0.0121,
      0.0115
     ],
     "n_pairs_corr_over_4sigma_by_seed": [
      1,
      0,
      0
     ],
     "chi2_bytes_rejected_by_seed": [
      0,
      0,
      0
     ]
    }
   }
  },
  "local_collision": {
   "n_per_bit": 100000,
   "seed": 1,
   "host": "MacBookPro-de-simon-pierre-2.local",
   "linear_model_all_32_single_bit_cancel": true,
   "pattern_formula": "(d, S0(d)^S1(d), S1(S0(d)), 0, d, S0(d)^S1(d), 0, 0, d)",
   "pattern_bit31_hex": [
    "80000000",
    "22140240",
    "42851098",
    "00000000",
    "80000000",
    "22140240",
    "00000000",
    "00000000",
    "80000000"
   ],
   "pattern_bit0_hex": [
    "00000001",
    "44280480",
    "850a2130",
    "00000000",
    "00000001",
    "44280480",
    "00000000",
    "00000000",
    "00000001"
   ],
   "empirical_collisions_total": 0,
   "empirical_p_collision_by_bit": [
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0
   ],
   "rule_of_three_upper_bound": 3e-05,
   "survival_after_step_i_by_bit": [
    0.25302,
    0.25158,
    0.25015,
    0.25125,
    0.25187,
    0.24797,
    0.24881,
    0.25075,
    0.24786,
    0.25191,
    0.2496,
    0.24705,
    0.25048,
    0.24892,
    0.24971,
    0.24873,
    0.25073,
    0.25051,
    0.24932,
    0.25077,
    0.24941,
    0.25233,
    0.25067,
    0.25162,
    0.24918,
    0.24879,
    0.24925,
    0.24914,
    0.25313,
    0.25297,
    0.24782,
    1.0
   ],
   "survival_after_step_i+1_by_bit": [
    0.00013,
    0.00053,
    9e-05,
    0.00011,
    0.00013,
    0.00023,
    0.00015,
    0.00013,
    9e-05,
    0.00012,
    0.00023,
    0.00014,
    0.00054,
    0.00014,
    0.0002,
    3e-05,
    0.00011,
    0.00011,
    0.00023,
    0.00012,
    0.00013,
    0.00038,
    0.00011,
    0.00013,
    0.00021,
    8e-05,
    0.00013,
    0.00014,
    8e-05,
    9e-05,
    0.00011,
    0.00042
   ],
   "survival_after_step_i+2_by_bit": [
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0
   ],
   "sat_timeout_s": 120.0,
   "sat_found_verified_bits": [
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    8,
    9,
    10,
    11,
    12,
    13,
    14,
    15,
    16,
    17,
    18,
    19,
    20,
    21,
    22,
    23,
    24,
    25,
    26,
    27,
    28,
    29,
    30,
    31
   ],
   "sat_timeout_bits": [],
   "sat_wall_s_by_bit": {
    "0": 118.308,
    "1": 77.983,
    "2": 87.294,
    "3": 16.459,
    "4": 36.858,
    "5": 39.734,
    "6": 108.711,
    "7": 21.483,
    "8": 40.369,
    "9": 30.366,
    "10": 31.732,
    "11": 38.3,
    "12": 20.751,
    "13": 17.708,
    "14": 27.517,
    "15": 13.143,
    "16": 23.338,
    "17": 29.696,
    "18": 17.998,
    "19": 17.758,
    "20": 10.65,
    "21": 10.886,
    "22": 16.55,
    "23": 12.336,
    "24": 26.798,
    "25": 14.602,
    "26": 6.508,
    "27": 5.561,
    "28": 6.334,
    "29": 4.361,
    "30": 6.554,
    "31": 5.12
   },
   "sat_conflicts_by_bit": {
    "0": 7507837,
    "1": 5775167,
    "2": 6112603,
    "3": 1138201,
    "4": 2366760,
    "5": 2859885,
    "6": 7505342,
    "7": 1273216,
    "8": 3386554,
    "9": 2752934,
    "10": 2432329,
    "11": 2583378,
    "12": 1479611,
    "13": 1489182,
    "14": 2255853,
    "15": 1151587,
    "16": 2123944,
    "17": 2444800,
    "18": 1722686,
    "19": 1155321,
    "20": 949738,
    "21": 1037511,
    "22": 1500553,
    "23": 926607,
    "24": 2016371,
    "25": 996570,
    "26": 572698,
    "27": 529386,
    "28": 613160,
    "29": 445009,
    "30": 358785,
    "31": 328099
   },
   "second_run_bits31_0": {
    "seed": 2,
    "sat": [
     {
      "bit": 31,
      "status": "sat",
      "wall_s": 9.043,
      "conflicts": 615822,
      "verified": true
     },
     {
      "bit": 0,
      "status": "sat",
      "wall_s": 52.215,
      "conflicts": 3270049,
      "verified": true
     }
    ],
    "empirical_collisions_total": 0
   }
  }
 },
 "elapsed_s": 0.163
}