# Prop 1 Decision Log
[mode] 2026-05-28T01:00 ok mode=A reason=default_no_survey_trigger
[init] 2026-05-28T01:00 ok prop=1 template=v2 tier=marathon name=Maier-single-bin
[budget] 2026-05-28T01:00 ok unlimited
[L1.angles] 2026-05-28T01:30 ok 10/10 angles dispatched (A1-A10), all written
[L1.ranker] 2026-05-28T01:35 ok rank=A1(20),A10(19),A4(17) recommend top3=A1,A10,A4 for L3
[L1.sentinel] 2026-05-28T01:35 warn 4_real_contradictions A1_direction_wrong A4_vs_A1_subleading A3_vs_A4_gamma_k Brun_unresolved
[F1.revise_v1.1] 2026-05-28T01:36 ok restriction:k=O(1) mean_not_uniform E_k=A4_formula
[L2.search] 2026-05-28T02:00 ok 8/10_queries 8_pdfs_downloaded
[L2.reader] 2026-05-28T02:30 ok no_F1_equivalent_in_literature key_tools=Pintz2010_Thm1+MS_Thm2+Maynard_Prop4.1+BFTB_parity_workaround
[L3.start] 2026-05-28T02:35 ok wave_α=7_numerical wave_β=21_prover/advocate/lit/conj/formal
[L3.numerical.N1] 2026-05-28T05:00 ok R_2(10^11)=1.090 R_6=0.993 R_30=0.354 long_job_to_10^13_bg
[L3.numerical.N2] 2026-05-28T05:00 ok dyadic_M_log_winner R²=0.997 F1_mean_strong_support
[L3.numerical.N3] 2026-05-28T05:00 ok A4_verified E_2=E_4≡1 exact (1-E_6)logx=2.165360_const
[L3.numerical.N4] 2026-05-28T05:00 warn F1_collapse_at_k≥logx_R_26=0.42_R_128=0.003 v1.2_must_restrict_k=O(1)
[L3.numerical.N5] 2026-05-28T05:00 ok placeholder_M_log_winner pending_N1_real_data
[L3.numerical.N6] 2026-05-28T05:00 ok 𝔖_table_verified OEIS_A007508_A001359_match
[L3.numerical.N7] 2026-05-28T05:00 ok contradict_4_resolved R_count>1=li_2_systematic_underest_no_Maier
[F1.revise_v1.2_pending] 2026-05-28T05:01 warn k_restriction k=O(1) confirmed_from_N4
[L3.lit.LI3] 2026-05-28 ok GL2009+MS2004 Maier_single-bin=absent R_count>1=H-L_singular-series MS_variance=H*log(N/H) F1_v1.1=GO-revision-compatible GAP-P5.1=still_open
[L3.prover.P1] 2026-05-28T07:00 ok 4-step_proof_under_HL Step2_conditional E_k_∞=1_for_k=2,4_strict
[L3.prover.P2] 2026-05-28T07:00 fail all_paths_fail_parity_barrier suggest_F1_v1.2_weaken
[L3.prover.P3] 2026-05-28T07:00 partial Λ²_route_main_term_ok IE_middle_term_breaks_symbol
[L3.prover.P4] 2026-05-28T07:00 ok HB_TypeII_BFI_for_Cesàro_K=O(1) NOT_uniform G3_K_window_mismatch
[L3.prover.P5] 2026-05-28T07:00 gap Pintz_Thm1_uniform_shift_Cesàro≠prime-gap-weighted_Cesàro need_measure_change[GAP-P5.1]
[L3.prover.P6] 2026-05-28T07:00 ok MAJOR a(6)={∅,{2},{4}} 𝔖_reflection_proved (1-E_6)logx=2.16506178_EXACT generalize_k=8,10,12 Lemma_P6-2:E_k(x)=1-c_k/logx+O(1/log²x)
[L3.prover.P7] 2026-05-28T07:00 ok MS_doesn't_help F1_k=O(1)_strictly_easier_than_MS_H→∞
[L3.LI1] 2026-05-28T07:00 ok Pintz_§2.7_gives_strict_identity Π_1(h)≡1 c_k=2.165_not_in_literature
[L3.LI2] 2026-05-28T07:00 ok F1_specific-k_unprovable_from_sieve weak_de_Polignac_open
[L3.LI3] 2026-05-28T07:00 ok Maier_VANISHES_on_single-bin GL_Lemma1+§1.1 F1_GO-revision_with[GAP-P5.1]
[L3.C1] 2026-05-28T07:00 ok Conj1_c_k_closed_form_matches_to_1.4e-4 Conj2_α_k=2-c_k unifies_R_k_R²≥0.997
[L3.C2] 2026-05-28T07:00 ok ρ_k(x)~𝔖(k)·li_2(x)·E_k_∞ better_than_x/log²x (R-1)logx→2+ε_k
[L3.C3] 2026-05-28T07:00 ok R_k(x)=exp(-c·k·logk/logx) β_crit~2.67·logx/loglogx F1_v1.2_k≤logx/loglogx
[L3.AdV1] 2026-05-28T08:00 ok reflection_OK a(6)=3_OK c_6_truncation_artifact_real_value≈2.16481_not_2.16506
[L3.AdV2] 2026-05-28T08:00 partial C1_closed_form=P1_|S|=1_truncation no_new_content_beyond_P6
[L3.AdV3] 2026-05-28T08:00 ok [GAP-P5.1]_NOT_real_gap=H-L_rebrand F1_GO-strong_under_HL
[L3.AdV4] 2026-05-28T08:00 ok F1_not_unconditional (a)(b)(c)_all_hold Mode_A_kept
[L3.AdV5] 2026-05-28T08:00 partial KILL#4_soft framing_required_not_unconditional_de_Polignac
[L3.FV1] 2026-05-28T08:00 ok Admissible.lean_stub a(2)=a(4)=1_a(6)=3_sympy_verified
[L3.FV2] 2026-05-28T08:00 ok SingularReflection.lean_stub sympy_verified_machine_prec
[L3.FV3] 2026-05-28T08:00 ok F1_Main.lean_stub hHL+unconditional_Cesàro
[L3.request_numerical] 2026-05-28T08:01 ok N8_dispatch c_k_recompute_P=10^6 + hold_out_k=14,16,18,20
[L3.numerical.N8] 2026-05-28T09:00 ok c_6_true=2.16480750 a(14..24)=13,16,48,55,50,173 C3_const_2.90_recalibrated
[L4.analytic] 2026-05-28T09:30 PASS_WITH_REVISIONS 7_revisions Pintz_§2.7_sufficient AdV3_correct
[L4.algebraic] 2026-05-28T09:30 PASS_WITH_REVISIONS cosmetic novelty_modest_real_novelty=combinatorial_collapse_E_2=E_4≡1
[L4.numerical] 2026-05-28T09:30 PASS_WITH_REVISIONS 5_must_fix data_backbone_solid li_2·𝔖·E_k_validated
[L4.adversary] 2026-05-28T09:30 PASS_WITH_HEAVY_REVISIONS reframe_as_Experimental_Math_INTEGERS_paper not_top_journal
[L4.tally] 2026-05-28T09:30 GO-revision 4/4_pass_no_KILL
[L5.summary] 2026-05-28T10:00 ok F1_v1.2_final 3+3+4_substantive_items 5_predictions
[L5.decision] 2026-05-28T10:30 GO-revision Experimental_Math_INTEGERS_tier T3_(a)(b)(c)_satisfied
[F1.complete] 2026-05-28T10:30 ok ~80_agents_total verdict=GO-revision ready_for_T3_writer