All pull requests

Pull requests

• Flash: source-pinned recursor, universe and closure soundness repairs (draft)

  #119·heathsanchez opened Nov 1, 2026Collaborator·

  ·

• Reject forged nested recursor counts and out-of-scope inductive universes

  #118·heathsanchez opened Nov 1, 2026Collaborator·

  ·

• Draft: issuer-authenticated retained Rust kernel for incremental Lean edits

  #117·heathsanchez opened Oct 17, 2026Collaborator·

  ·

• v69: full gate iota transfer on promoted incumbent

  #101·heathsanchez opened Sep 6, 2026Collaborator·

  ·

• v68: parallel gold-sniff transfer tournament

  #100·heathsanchez opened Sep 6, 2026Collaborator·

  ·

• v67: bypass only impossible first-sight dep1 App lookup

  #99·heathsanchez opened Sep 6, 2026Collaborator·

  ·

• v66: bypass dep1 App cache machinery on provable first sight

  #98·heathsanchez opened Sep 6, 2026Collaborator·

  ·

• v65: census low-dependency open-eval misses

  #97·heathsanchez opened Sep 5, 2026Collaborator·

  ·

• v64: census promoted-incumbent eval routes

  #96·heathsanchez opened Sep 5, 2026Collaborator·

  ·

• v63: remove redundant eval environment re-keying

  #95·heathsanchez opened Sep 5, 2026Collaborator·

  ·

• v62: profile promoted incumbent for next semantic bypass

  #94·heathsanchez opened Sep 5, 2026Collaborator·

  ·

• v61: transplant verified MathGraph wins onto current Soko lineage

  #93·heathsanchez opened Sep 5, 2026Collaborator·

  ·

• v60: profile current semantic incumbent hotspots

  #92·heathsanchez opened Sep 5, 2026Collaborator·

  ·

• v59: transfer terminal relevance quotient across Std and Cedar

  #91·heathsanchez opened Sep 5, 2026Collaborator·

  ·

• v58: quotient terminal relevance result masks

  #90·heathsanchez opened Sep 5, 2026Collaborator·

  ·

• v57: repeat 64 vs 128 Arena chunk separator

  #89·heathsanchez opened Sep 5, 2026Collaborator·

  ·

• v56: extend Arena fixed chunk boundary

  #88·heathsanchez opened Sep 5, 2026Collaborator·

  ·

• v56: Arena load-balance census

  #87·heathsanchez opened Sep 5, 2026Collaborator·

  ·

• v56: extend Arena fixed chunk tournament above 128

  #86·heathsanchez opened Sep 5, 2026Collaborator·

  ·

• v55: Arena chunk-size separator

  #85·heathsanchez opened Sep 5, 2026Collaborator·

  ·

• v55: Arena chunk-size tournament on full Mathlib

  #84·heathsanchez opened Sep 5, 2026Collaborator·

  ·

• v54: representative Arena PGO held-out Mathlib transfer

  #83·heathsanchez opened Sep 4, 2026Collaborator·

  ·

• v53: Arena 1/2/4-thread oracle census on v51 incumbent

  #82·heathsanchez opened Sep 4, 2026Collaborator·

  ·

• v52: isolate nondependent relevance bypass on v51 incumbent

  #81·heathsanchez opened Sep 4, 2026Collaborator·

  ·

• v51: relevance propagation Mathlib transfer gate

  #80·heathsanchez opened Sep 4, 2026Collaborator·

  ·