525cf6c337d0b9ac0ad581104ece5dd1609d08ed73b4d4a0ef0ced1a415ae0db  ./Makefile
cbeb74a20a6faacee55a7de4ca43a2140a341e16d00d92c9f53427d45446d820  ./README.md
f785c149706754b6839a46c686fc06984513a12239e149fc873ad3764d56307f  ./experiments/representation_kernels.c
5e30440de447e187ecc21a5345561e35a83eaf8b8d682e91c695df863a867b16  ./formal/CenteredReductionDelta.lean
654487a4308e54fdfec08d605d9d741a3c22f804a85646a41a8b5d5d72a65c29  ./formal/verify_dyadic_transfer.sage
80d44999469cd97b694ef4cf11b1e6e51c9e520a905c5b6612ef93c595a0f6ce  ./formal/verify_near_dyadic_carry.sage
b3c9bccacbb675917a4b253d6a5059eae54b4a1902dde047dd160aa9472a2caf  ./formal/verify_slack3_finite_interval.sage
6f2054884c5090e382243ffdf7d940ce1a1c7502816a401464617c81b91be352  ./formal/verify_slack3_interval.sage
3ff0effe3823798532e41476585a219e6deaa46e2542b581a4dc98397a19d2d0  ./formal/verify_weighted_phase_radius.sage
1714c46094ad2c85e037c132dd4701ad9f0df9562e3eeb42e36202ac4e4c7684  ./requirements.txt
9ffc8c1c4470443f9dab55d0d56a37fcc3619c0a36d7e0d360f422ead1a7bd5b  ./results/certificates/constant_weight_capacity.json
dccf02c9cbeda608d8cfae640faa83c6dfbeebc68cc5d0076b0789f3394cd09b  ./results/certificates/near_dyadic_m12_r1.json
d8b3552c74aff738f0d538859f088c1a4a377989607c6a27671f48f7c930d3a9  ./results/figure_data/phase_aware_margin.csv
535aef64af619a7d1c1ebf50ce9fe50ebb2f520d30820f9b97f9264fedfd89bf  ./results/physical/public_trace_sign_validation.csv
a1101b4e07b70e83cc5c375e3d6e32196cc9a892bc1d957b4e15b346a49fcc67  ./results/tables/alternating_carry_limit.csv
d6ef500e6a820297bfe6879f8d4d6368fd49b13bf43ecba93c919872c70bf3f7  ./results/tables/alternating_carry_tail_bound.csv
6c83b4c6b3a1242ad79e3e6bebe3e5a28f8226a14720d32484d28ed1140a8997  ./results/tables/binary_interval_moments_exact.csv
5dd7716bb024014062872daf61f337c0d9290ee0b9c2b22549567ee118c3dc54  ./results/tables/carry_annulus_profile.csv
4ea8feb786ba5e9bc0eb92e7364efd2bbff97a98d8cd00032fca5c1339982835  ./results/tables/carry_extremal_family.csv
c0e8ce838a8994086381fa467545aa3226f91ff5e7e283693b682ebb329a00ff  ./results/tables/compiler_matrix_local.csv
4d72a1fd9468ae1a36658662e7fdeaa681357cb80e4fb903275277ddc5ab6b23  ./results/tables/compiler_matrix_remote.csv
2db238fdcf6882ae1eb9ec21461c04ba6b6a15d7535f8354c59f2343425edbfa  ./results/tables/continuous_carry_central_window.csv
906c126349ec3fe1e512a23e128e053fd751253b9d13881260634149911ddbfe  ./results/tables/continuous_carry_certificate_ultra.csv
8eb6a04861d2c2f325d25831cb57ba5479225892f4d9a4d5a5a3c312308f6d37  ./results/tables/continuous_unsigned_certificate_dense.csv
99f4b00abfbaaed61f5f3f6aebc740f17bbc66142fe342b5623db0e4c8611dcf  ./results/tables/delta_low_modes.csv
69a55cb12a1d6c26b18f3426735ba83deaa2fda2019ed405487b207b4d367603  ./results/tables/dyadic_quadrature_validation.csv
f43bfda98cb68e069e7e182aa4fb72fcb0620646c4c626389b92f3b7a8ded23c  ./results/tables/dyadic_transfer_verification.csv
52c6cca53f042e1ab5cafc753c328b75636e8e0e11853fa567e5dd67c07aa39f  ./results/tables/exact_sample_complexity.csv
0d4fbb5e409673e2e14601465f5157898417e0ce16b447c9b4931f02cb8741e9  ./results/tables/family_certificates.csv
7ecf00a2496768d3ec5d4f21336d840e4da198b1a2d273d842fe686d9f8a1fc9  ./results/tables/finite_carry_bv_adversarial.csv
2c54396ff041e6db69874842f4234313f478f607a46ffa885f7d32c87c2b0e29  ./results/tables/finite_carry_error_bound.csv
3f1ee0f322d49b3ab194fccd0dc0a7134ca4f60f694dfb69765f38e972653a22  ./results/tables/finite_field_ridge_validation.json
175e35c0cd82bb2be35b7d1edcf99b9378e5778699598a0ac16f110a7c1cb719  ./results/tables/finite_unsigned_error_bound.csv
a741daca28dfaf889358101be51c9f323d2b81c1df87e89f26e1185648d39476  ./results/tables/high_order_section_counterexample_exact.csv
0f165cef7d3ecea3e3d52342aef81caa4abc16bf6706eaaa39676424a700ae47  ./results/tables/high_precision_limit_constants.csv
03ebbc64fd094c82fa75b7cc31b51d79e28ff9f6d9643aa8db988590ee16342c  ./results/tables/hocpa_baseline_port_oracle.csv
83643a70a322ee43673a50fb65793019a76cc6bcdfd4b3fbc169fc53f79b7877  ./results/tables/kyber_pair_nist_validation.json
ed13a591bfc58de9e634205d478cec373779fb77508594c0bdd9491f6b9c4111  ./results/tables/kyber_pair_score_validation.json
821b2d5e495a6c831cf31d113d12cfbecbd0a05a06466c95f65b82201d9171dd  ./results/tables/lean_validation.txt
395c9198fff4821c60f460b0cd343f1b54749764dab72d26e2afb78ff771b7a1  ./results/tables/likelihood_hocpa_mlkem.csv
fc60fb0cb4463085f89b6e3a1cfea26fbe20c81a28e59e264864b21e1c732018  ./results/tables/likelihood_hocpa_mlkem_centered_all_scalar_n100.csv
59ae8e573f91eedd520be59e6cbb82041069d850421bac854aee4fe8a355889f  ./results/tables/likelihood_hocpa_mlkem_centered_all_scalar_n100_summary.csv
4fd59762935ec97eeb11ff8291d19987ad9b26c73d835374cd7eef628cc77a54  ./results/tables/likelihood_hocpa_mlkem_centered_d2_n100.csv
9c2b69a1b0f95b69dee8a5a1583493a3bed3d4c01bd4be12f05f80511e320f88  ./results/tables/likelihood_hocpa_mlkem_centered_d3_n100.csv
a229ea1d1037a55fbc9c07064c6506c8b1faa53ace6f624f678e54d25190fe98  ./results/tables/likelihood_hocpa_mlkem_centered_n100_summary.csv
148a14998aca653d3b24789bc2e7be7e37d99f286405cec998e6c486adb62deb  ./results/tables/likelihood_hocpa_mlkem_centered_product_likelihood_grid1025_n100.csv
a862153ae58292992ea0c260902beb9989f630b1b455700c57d6e7aa6f7a9720  ./results/tables/likelihood_hocpa_mlkem_centered_product_likelihood_n100.csv
5f3ce06a3058ea26c9192b3b1e8e3c1b7740a2ae83ae11e409b3a12bf92d9d3b  ./results/tables/masked_likelihood_oracle.csv
7b2f42216a14a4a27c8b9c75243dedd8b55ed87835ddde52e0e00c95cf8bf2f7  ./results/tables/mldsa_sparse_likelihood_validation.csv
bdf057a0d3f83ad9130df5a0376a1cc538b4eae2f022854a8c827821ce9e6d5f  ./results/tables/mldsa_sparse_likelihood_validation_local.csv
51cefb34b90d50d0387c15ee8ddbbb367a67e59e071bce2020130d4237b0d8bd  ./results/tables/monte_carlo_fourier_validation.csv
a74f69a89fd870c734bf25e175d057bb1715fcffd247b072da33ba639ac09b88  ./results/tables/monte_carlo_negative_controls.csv
d37dbaa7d1949cee5702471a5143bfd5987a3d3ddd9f44f64f7e7fee39c8dfa6  ./results/tables/native_representation_validation.csv
fdc042aa4a5a48d614ca25c9c766b3942a43d7fe8f3b07fee4b3f0b21fb53b08  ./results/tables/noise_law_factorial_validation.csv
563819a8aaae0e10b2e09a545a8a83817f279f3907d3171472bf12dafb29414c  ./results/tables/noisy_simulation_kyber_d2_d3_d4.csv
15b630c265c0659cb0aae364be932488525bf35d832e22fa3e2dd3a238bca993  ./results/tables/nongaussian_sufficiency_exact.csv
8304c4c17d23acc6e22f0b5b334753d8a22a131e75ccc242b7075c91ff1b6983  ./results/tables/optimal_predictor_all_modes.csv
457691010368db34d7b2c3962327817106fd38f2ff4afe7873fb18306c5344bd  ./results/tables/optimal_predictor_exact_oracle.csv
6b747189ffb38fdd3e67db5b905ad0d0f6cedd4d980bf7169e1846545fc707fe  ./results/tables/physical_trace_kernel_validation.csv
f1b7b92c8f0538fe16904d55650207aa9469dffff96ef8451e9b219352729556  ./results/tables/product_likelihood_validation.json
78edec6fe106a34acb0dd4ed459648a52837ea6fe670b3f077822d1c2e16875f  ./results/tables/randomized_complement_encoding_exact.csv
f4cbf34827300d526c95146053fa921dbe7deb07ad9a8a1f2d9aabf7297e438d  ./results/tables/randomized_encoding_lower_bound_exact.csv
f756b85047c7d27a361eed5df8d898e769c728d00946b247248bf613441710ae  ./results/tables/representation_minimax_mlkem.csv
3dccaa5ecfe99c794e3e5b10a09b803ca815d5667f363b03533a2acd52d53a10  ./results/tables/representation_minimax_scan_q512.csv
76386a1f7cb1b2a8c9afb3366b4d513cd2d37400f9792f6e0aa27b1613828696  ./results/tables/representation_variance_exact.csv
f9e175315ad4f2f9b0c641b45543fa6a0c9c2a6eaf8df2b98fb8f59ee5ab39cf  ./results/tables/scan_word16.csv
66c7ef6a7eedcfc27f6d0b13ff638ebadfb0390b3e04675f0ca8c98667edd5d3  ./results/tables/scan_word16_ntt_slack4.csv
dd38ec3b4cba2d3afc29c754f1512c2b2ac4e35b2cac425c096c32825e9cbbbd  ./results/tables/scan_word16_slack4.csv
43c52f9d2673abea1a387973b98b7acd3cd4590089ac21ae35988de74c5c1618  ./results/tables/scan_word32_to_200k.csv
73030c8a40b1e66aad39d48c40ed3bc389f7a8d68f978c6b3f03a0ec5834f389  ./results/tables/search_carry_limit_envelope.csv
404f79551b9a22b47288e88f2165433cb682acb2ca9e54b6d1ada4be3160831d  ./results/tables/search_unsigned_limit_envelope.csv
cb9f99cec564da1700be0945e636628d7e3a77769eab4d6bea592fbb60ea3939  ./results/tables/separation_constant_margin.csv
7e099a8c0a82eda6337b433e348581070f2a30c0211da9047d5a82cd2f1f1b92  ./results/tables/slack3_continuous_certificate.csv
d6254c33e9edf9243b7d855c1fa0f7b01d41d5bd9cd95a63c30e2d4e9bb6f618  ./results/tables/slack3_finite_interval_verification.csv
a36c6793c011feb000b62d338a2d5a3fa15e1b381c0485bc62a92cb116e15a1a  ./results/tables/slack3_global_certificate.csv
cfb274b05ec788ab34a2dbf3b5e1d66d7132bb3153d230a4109f7b4a8039f5e7  ./results/tables/slack3_interval_verification.csv
371d39f5dda96d14bd45c5a6777424a9650e0cda6d1f6f86e5b03730248672a1  ./results/tables/slack3_sharpness.csv
3a2e75ee35d2374788eb4dc25178c82bd1c661a3e002799ecaa0936a9bc01708  ./results/tables/slack4_global_certificate.csv
b276353d28e13a787548ca7d9ac60cb9ba3b77719fa443aad764e6a53d7e76c0  ./results/tables/spectral_evidence.md
601d46120b9da688847cdce31a587a04bb88f6b4c8df85104a9210a61ca78dec  ./results/tables/transition_leakage_validation.csv
318c0da2c5a04da56641c9b5d4c3d4d143b1e64978a6f00806772e6a047011dc  ./results/tables/unsigned_extremal_family.csv
6d310ac8dba824009b4e34d214bef098aa6e28c8313b3f19d13d12053e1c886e  ./results/tables/unsigned_limit_constant.csv
4307f04fc9b2e4b2f71e9ea08c4a6145c3aff3f9b5012d9ca89f494c0ac6b436  ./results/tables/unsigned_tail_bound.csv
930fc145fcb7e52af35d9d8484da38e0b8ffef9323ca02eb462eea5aaab96cd9  ./results/tables/weighted_dilithium_interval_verification.csv
9498fa84f295503b6cf88b16e14911c1518e6eb05f6fb0f38a5390ea234af743  ./results/tables/weighted_hw_robustness.csv
f10d99e5621112331deae8fe7ade43c20a6d0959b4503c7c23194406e2a6df27  ./results/tables/weighted_kyber_interval_verification.csv
413df538d9ffe4405b20bbeef8befb4f285976722562ecc4556d1e4ce7b9e577  ./results/tables/weighted_phase_candidates.csv
b1ef01756d385a44ea7c1a6fe732b0fd8d6f8ab376a18df1ec0460e896c0aea1  ./results/tables/weighted_phase_certificates.csv
0d845a627353f09cb72269264ab65e462bc620b30a6a6f68d1e4dddf55c690a3  ./results/toolchain_versions.json
3397f2ff1b1027874125a1311d20c369b2a6ed1efc6908c6ab0ef76d7ec6cbcb  ./scripts/alternating_carry_limit.py
ba08dfd9333cb3ee4469a6f3ee56e2177a932a5f55d0fc7e79e660a91fe69ffc  ./scripts/alternating_carry_tail_bound.py
f17c10a3c6d820ab87a9c8944e61de647ae0de3f9c11fc65a8970c601d93d5f0  ./scripts/analyze_all_scalar_baselines.py
6066caabf5d3e4f410714b9163d75dd28bdac615ee4b1d178ccac6c03dde9af2  ./scripts/analyze_paired_attack_gain.py
15057fd732cc77a84d89f6fb9f0da2d2c1622407f4e7f81df6c9bbc80b39bc0b  ./scripts/audit_certificates.py
028d03a7fc112b657616e25ef3c5d1031c9ce4645c031ffe6fb437a5d956326f  ./scripts/augment_paired_hocpa_models.py
0cd6a03e77ec0eb76177f447103ac1379ed0cb32298f2099c8ff22da54be5db5  ./scripts/augment_product_likelihood_baseline.py
5e6911f256d31c56f8d934800c39a89ac76c014b0609b2ae02be0e4a24f4fc29  ./scripts/carry_annulus_profile.py
2854c53630c97e09b83d2023c1f1ecd20b0e330e1970a126b66fae2ac0107d61  ./scripts/carry_extremal_family.py
9b4421cbab7776e52e9c1cb204c252afb2bf1da8b5f1ae269cf77058e31c2274  ./scripts/compare_likelihood_hocpa.py
7380e7ab727bcde77d9e70bcbbcc04b5d604038fccadf206df265b9d5a86d315  ./scripts/compiler_matrix.py
85a50fbd9d7764ce406768518b2a8f5824fd9daed37965a0bffb6fc46b111180  ./scripts/constant_weight_capacity.py
364b5071125d1e5050ccd734ca370f67bdaa1764b4d37efe377289786788d9c1  ./scripts/continuous_carry_certificate.py
a020af85150020fa9912b522dd0764eda650fb1716a69ad0c8b1c1afe18bd153  ./scripts/continuous_unsigned_certificate.py
b81ae8ff390a792cfde0290427e96690e3c9b35ca4675bd631900e395b2bf6ff  ./scripts/download_open_access_pdfs.sh
638ddb2bed032fdf8012590f6927fbecefc6fba9e8ed58c71de706d7544adc52  ./scripts/dyadic_quadrature_validation.py
0133d80b95fd45a2f12ca4f0be4ea743e21ddd3a8454fbc13e01fc2f209c690d  ./scripts/exact_delta_low_modes.py
a6c1ff0097d7208ec457bd2f2d626e6cb024a6eed8c5ba7211042633a8df1325  ./scripts/exact_high_order_section_counterexample.py
a4b56952e4253229198aad3587093f4a99baf08344f08ae5383be00f03bef6da  ./scripts/exact_leakage_enumerator.py
34bba38af6a4e1605a4e19fd01a4da90c6e978aad317e8d1176a5b11132fbfe6  ./scripts/exact_sample_complexity.py
0bd46c860886ac595030019f68915287f6b880b24236f9791afba6fec3e6f395  ./scripts/exact_weighted_radius.py
37a243e30a325ad62bf9afcc8e520b3387b8cdc724cbc8945140f482db54c038  ./scripts/family_certificates.py
2b3c551f8885318c123925dc22edc18c7f4b2639b572b10c1b89647ee539008c  ./scripts/fetch_public_trace_dataset.py
003200b1d2941a15cf35f4a2fc2847de4782c4de44980b40a77d2a8d60395811  ./scripts/finite_carry_error_bound.py
d8e4d59ea31ccf84f4bee9208e41398a037deef8c1e43df9fe9e57b63050b755  ./scripts/finite_field_ridge.py
777630243cc635174d3ba57a3b52fb1064c2c9a5f98a00b25cdd1f279bc184e5  ./scripts/finite_unsigned_error_bound.py
bbcfd20d5d30475389ba18b04b6a5da6d07e83f5f89cdeee6ada9bbd5c7a6391  ./scripts/high_precision_limit_constants.py
e4f2f8a2dab5edb3620ed32f79ee745cfe615b40ac32f510fd81edb7ced9619d  ./scripts/kyber_pair_scores.py
9a634cc2bb2649d51d955e0d1f8f852adcb1569ad34f5692fd9756fd3494ea88  ./scripts/make_paper_figures.py
6dda01eb19c2d852c969d551ff537d76c209bacf5311999ea776386a5e801191  ./scripts/make_summary_tables.py
7fdc21c9b08e448927af827f95536e91de669c9927a4b6b212c70316a032231a  ./scripts/masked_likelihood.py
32084fa0a8769a3d74ed68f20b5589970605c6ddf7e68d7c5b3292818a18c09a  ./scripts/mldsa_sparse_likelihood.py
c77055b9c570baad41e6b2b3ae50fc30215b340b83348c1eeb9fa4eca933b2eb  ./scripts/monte_carlo_fourier_validation.py
5d613b48f5fbd00dd4d52cbc63401971511b4c034f8ff859d9ec71a64857ea4e  ./scripts/noise_law_factorial_validation.py
d74a554914c9b96a6c17be1a0dba1f00a3fc2126a27ed2eb7886989e06b0a702  ./scripts/noisy_order_d_simulation.py
f30eecd72fd9ea22603b899c81a86f762c5248db3e4ad0a05ba9012182c2805f  ./scripts/optimal_predictor_all_modes.py
deca4843a02bfb4e2342b9f8fbb6310740160f63bac6fd9dd2e1bc8ae0b0a87b  ./scripts/optimal_predictor_exact_oracle.py
ab9064d5dec42308bf6030ce8148e56440cfe9390c58ab6c866ca94dea9b9224  ./scripts/product_likelihood.py
b1f0d7e265ea610c5f77d956fe8aed13c7d4c7a348076fa6a0c0d3ce35d8ba63  ./scripts/public_trace_sign_validation.py
676811879199a1e615e346757a92818a2e25083d0e126a1003fd481f162dbaa4  ./scripts/run_hocpa_baseline.py
5544856012bbf6d22fbeaab87759d1521c085d3b9572362be805be0c6e318a99  ./scripts/run_weighted_phase_certificates.py
0b1ea405bac5a57c20d8e78f1e2e2e8f63c916fbbeffdda38b60959ec1db1df2  ./scripts/scan_carry_envelope.py
7a8d9574f660e32675ef83321a0d79a4733126c121f9a98022997b1ffe2d9af6  ./scripts/scan_delta_regimes.py
eba72b6dee8f61448dc75568bbc71ba80e4b57e3431d065247c63d136857292e  ./scripts/scan_representation_minimax.py
6cc39bdca0b6069e069ab68653e8cd9ae6a75171a2aa542dfda736ddfe7e156a  ./scripts/scan_unsigned_envelope.py
1ed5be3f4208a38018ae032db2395b3e003e99e8111273719e4fa355effa68c9  ./scripts/search_carry_limit_envelope.py
c7296057e37f8033b0fb68dc976f933dbc9d2f94a2c6e52b8b7034b4654c5d29  ./scripts/search_unsigned_limit_envelope.py
c1f37d3b370d81fae255636e93818c3ae95de8f7f97c1b21a61b2f29ef8a3496  ./scripts/separation_constant_margin.py
c82c9194864b77e3fc6ab2faf3bd566fe7fd1a1e9e7eb88eed20c12834af48b7  ./scripts/slack3_global_certificate.py
79d3bdd5d21ba6bff7725434d3a1b8de6388f65ff1f5e2ac53dbc4be41d114be  ./scripts/slack4_global_certificate.py
a079f3f0670f4f6b7fb024887a2225e2401eb6301cbd2809c6de9f910282757e  ./scripts/spectral_leakage_law.py
47d6de7ec525fd9aec416b4983a2444f120a1558f26b6955043ada5b0b9ab766  ./scripts/transition_leakage_validation.py
697c0a49c1f5fd2f3ceff757707867d483aa755884a6190ddb3cb7fa2be19eaa  ./scripts/unsigned_extremal_family.py
67c87c9bdabdab71162e3070af87e682ae294e6fbb276a59c2db05b2f17a8bfe  ./scripts/unsigned_limit_constant.py
0caaba6dfcecd5f07f1bd2afd21c4dd3378de36551ccf6fd4611eea6fe806df9  ./scripts/unsigned_tail_bound.py
3af30e55463578eeff1ac5362a16d104eeb02266906d22f7fad70b82702a7615  ./scripts/validate_finite_field_ridge.py
6fbc6d05e3215dc37383d599542e23537fd82acfd384f1481e24926a223948a5  ./scripts/validate_hocpa_baseline.py
ca43b710dc7baeb3c37070d95bc155bf08a2bf358059555d87bc04598abe1475  ./scripts/validate_hocpa_baseline_port.py
92404e8919ffe892e301c9cd0a44925b7b8d8d342c983db149a612eae57f21ef  ./scripts/validate_kyber_pair_nist.py
ff31e7aad75ba8e5d7da802cdda6589be2d2bfad6586b898c48ff825f184cb68  ./scripts/validate_kyber_pair_scores.py
90367f7714021148a9fae98b351bf02b4399bf65bd7c34011519a53afdccf830  ./scripts/validate_masked_likelihood.py
ec7ea8990fa472481d0d08f2046d468c1828e1ccbc65e9baba724da244ac1ac2  ./scripts/validate_mldsa_sparse_likelihood.py
a1659c18bc5b35b2256ecb72010b73b0636a329f8e321c0f66ea10f470607809  ./scripts/validate_nongaussian_sufficiency.py
76a87bf942af95d207f2f681d39b415e533bbf9db136f41a39707d4310f42745  ./scripts/validate_product_likelihood.py
c7994004941a32d664983a7acc4b8f6cb71a83743142ba885e98cf093907ec6b  ./scripts/validate_randomized_complement_encoding.py
e66c2cfaedd55e177bc28951f5e9f3dc696a0ed2b275a167feee8358558042ba  ./scripts/validate_randomized_encoding_lower_bound.py
7d4cbaede3a2d6fb6abc043a21927724944e57d8fbcdf968bdb270d62d732237  ./scripts/verify_binary_interval_moments.py
b843bd173a8b85b87d59e40a4d93599a2bd5e0dbe20a19799c9a21213878a5a1  ./scripts/verify_finite_carry_bv_scan.py
9d7e21b7b3cd99b45b52f638427ec69affe18f8c754249e93995251850061bdd  ./scripts/verify_representation_variance.py
3cc90ce1ab73eac74c977c10283c0f2e2d053b6a544b3e72e21a16d83816e71b  ./scripts/weighted_hw_robustness.py
