All pull requests

Pull requests

• ci: never path-guard the mission-statements-compile matrix job (skipped matrix jobs block required contexts)

  #633·DrMurphyIsIn opened Sep 25, 2026Owner·

  ·

• missions/judge: heavy_certificates (Lean-kernel-only), swap for heavy shards, dispatch filter

  #632·DrMurphyIsIn opened Sep 25, 2026Owner·

  ·

• Counterfeit ladder: kernel-checked ζ_K (ℚ(√−5)) vs Epstein x²+5y² window separation + orbit-6 witnesses

  #631·DrMurphyIsIn opened Sep 25, 2026Owner·

  ·

• qc: LEMMA O -- log-derivative coefficients supported on prime powers IFF amplitude multiplicative (kernel, ArithmeticFunction form)

  #630·DrMurphyIsIn opened Sep 25, 2026Owner·

  ·

• docs: the missing Frobenius -- four frameworks, one obstruction (Weil positivity), DH/Epstein calibrations

  #628·DrMurphyIsIn opened Sep 25, 2026Owner·

  ·

• missions: judge li_positivity (24) and quasicrystal (7 of 8) islands

  #627·DrMurphyIsIn opened Sep 25, 2026Owner·

  ·

• missions: record Comparator run 36054938938 on the 64 judged nodes; uncovered islands

  #624·DrMurphyIsIn opened Sep 24, 2026Owner·

  ·

• Crux3: kernel-checked ζ vs Davenport–Heilbronn separation on a 2-mode Weil band (x = e^{9π/7})

  #622·DrMurphyIsIn opened Sep 24, 2026Owner·

  ·

• mirrormere: Weil window positivity past the prime-free boundary to L = 1/2, kernel-native, no Arb (draft; stacked on #615; grant after #607)

  #619·DrMurphyIsIn opened Sep 24, 2026Owner·

  ·

• mirrormere: the full prime-free window (2L <= log 2) proved kernel-native, hypothesis-free, no Arb seam (draft; includes #606; grant after #607)

  #615·DrMurphyIsIn opened Sep 24, 2026Owner·

  ·

• docs: Telperion Registry Explorer (GitHub Pages explorer for the missions registry, quasicrystal program in front)

  #605·DrMurphyIsIn opened Sep 23, 2026Owner·

  ·
  1