145 3 12
145312007
117 117 1 1 1 1
96 113 60 130 60 70
1 1 88 88 1 1
45 105 12 91 90 45
# solutions_found 1
# distance_bound_overall 58
# latent_method Psi_3 kernel -> u^T H~X, v^T H~Z
# latent_note probabilistic search over Psi_3 / Psi_3^T kernels
# latent_x_upper 60
# latent_z_upper 60
# latent_min_upper 60
# latent_x_support [(0,14) (0,43) (0,72) (0,101) (0,130) (1,2) (1,31) (1,60) (1,89) (1,118) (2,12) (2,41) (2,70) (2,99) (2,128) (3,9) (3,38) (3,67) (3,96) (3,125) (4,26) (4,55) (4,84) (4,113) ...]
# latent_z_support [(0,25) (0,54) (0,83) (0,112) (0,141) (1,17) (1,46) (1,75) (1,104) (1,133) (2,11) (2,40) (2,69) (2,98) (2,127) (3,13) (3,42) (3,71) (3,100) (3,129) (4,13) (4,42) (4,71) (4,100) ...]
# nonlatent_method m-block-constant compression kernel -> lift
# nonlatent_note probabilistic search over all divisors m>=2 of P (best m_X=29, m_Z=29)
# nonlatent_x_upper 58
# nonlatent_z_upper 58
# nonlatent_min_upper 58
# nonlatent_x_m 29
# nonlatent_z_m 29
# nonlatent_x_support [(0,4) (0,9) (0,14) (0,19) (0,24) (0,29) (0,34) (0,39) (0,44) (0,49) (0,54) (0,59) (0,64) (0,69) (0,74) (0,79) (0,84) (0,89) (0,94) (0,99) (0,104) (0,109) (0,114) (0,119) ...]
# nonlatent_z_support [(0,4) (0,9) (0,14) (0,19) (0,24) (0,29) (0,34) (0,39) (0,44) (0,49) (0,54) (0,59) (0,64) (0,69) (0,74) (0,79) (0,84) (0,89) (0,94) (0,99) (0,104) (0,109) (0,114) (0,119) ...]
# cycle8_ets_method external enumerate_cycle8_ets
# cycle8_ets_note disabled
# cycle8_ets_x_upper n/a
# cycle8_ets_z_upper n/a
# cycle8_ets_min_upper n/a
# table_note selected for exploratory girth-6 table after exact weight-4/6 screening and DFC d<8 monitoring
# exact_odd_weight_le7 impossible_by_column_weight_3
# exact_X_weight4_syndrome_zero not_found
# exact_X_weight6_syndrome_zero not_found
# exact_Z_weight4_syndrome_zero not_found
# exact_Z_weight6_syndrome_zero not_found
# exact_lower_bound 8
# table_extra_upper_bounds file=H_P145_J3_L12_dmax2_nc0-3_1-2_seed145312007_best1_ub58_att468.txt P=145 overall=58 latent=60 nonlatent=58 nonlatentX=58 nonlatentZ=58 nonlatentXm=29 nonlatentZm=29 directX=28 directZ=172 crtX=58 crtZ=60 crtXnote=q1=5, q2=29 crtZnote=q1=29, q2=5 fiberX=58 fiberZ=58 fiberXnote=m=145, Q=1, fiber={0,5,10,15,20,25,30,35,40,45,50,55,60,65,70,75,80,85,90,95,100,105,110,115,120,125,130,135,140} fiberZnote=m=145, Q=1, fiber={0,5,10,15,20,25,30,35,40,45,50,55,60,65,70,75,80,85,90,95,100,105,110,115,120,125,130,135,140}
# fiber_quotient_min_upper 58
# crt_min_upper 58
# direct_css_min_upper 28
# decoder_fail_min_upper 12
# decoder_fail_evidence best_pp
# decoder_fail_rounds 1
# decoder_fail_trials_at_p003 5000
# table_best_upper 12
# fer_plot_svg p145_fer_vs_p_decoder.svg
# fer_plot_csv p145_fer_vs_p_decoder.csv
# fer_plot_note BP+PP decoder FER sweep over p; 95% CI included in CSV and SVG; zero-failure markers are plotted at 1/(2N); max_failures=20
# fer_decoder_logical_min_upper 10
# fer_decoder_logical_p 0.03
# fer_decoder_logical_source /Users/kasaikenta/Library/CloudStorage/Dropbox/00_work/SUBMIT/P384-minus/p_lt192_nonprimepower_nc0312_collect_20260426_061637/fer_arxiv260420838_3mac_full_20260426_120120/remote_harvest/home-pro/P145_H_P145_J3_L12_dmax2_nc0-3_1-2_seed145312007_best1_ub58_att468/fail_noises_p0.030.json