All pull requests

Pull requests

• [WIP] Execute five current compiler verification frontiers

  #318·wilcompute with CopilotAI opened Sep 23, 2026·

  ·
  

• Scope update: E8/FI research tasks deferred (quota-limited, no code landed)

  #317·wilcompute with CopilotAI opened Sep 21, 2026·

  ·
  1

  

• Verify Pass10453-10476 explicit A4xG2(4) coordinates

  #316·wilcompute opened Aug 26, 2026Owner·

  ·

• Verify Pass10049-10112 eight-front packet

  #315·wilcompute opened Aug 24, 2026Owner·

  ·

• Pass7489-7496: open-frontier continuation

  #311·wilcompute opened Aug 22, 2026Owner·

  ·

• Pass7321-7328 deep E8/H27/q9 unification

  #310·wilcompute opened Aug 22, 2026Owner·

  ·

• Pass5150-5157 theta curvature and q4 Smith torsion

  #308·wilcompute opened Aug 14, 2026Owner·

  ·
  3

• Run observable Passes 4008–4009 algebra engines

  #281·wilcompute opened Aug 6, 2026Owner·

  ·

• Passes 3921–3936: cap, Gewirtz, and modular extension closure

  #279·wilcompute opened Aug 6, 2026Owner·

  ·
  1

• Passes 3274–3285: twisted port cohomology, independent quotient, and reset rank closure

  #253·wilcompute opened Aug 4, 2026Owner·

  ·
  3

• Passes 3214–3225: all-194 runtime, quotient ROM, proof roots, and finite-port cohomology

  #248·wilcompute opened Aug 4, 2026Owner·

  ·
  2

• Passes 3193–3204: month-wide claim audit, typed runtime fusion, and seven-front closure

  #246·wilcompute opened Aug 4, 2026Owner·

  ·
  3

• Passes 3175–3186: curvature-routed inference and three-edit epoch

  research
  #244·wilcompute opened Aug 4, 2026Owner·

  ·
  2

  

• Passes 3163–3174: proof-carrying Bayesian runtime and non-Abelian frontiers

  #243·wilcompute opened Aug 4, 2026Owner·

  ·
  2

• Passes 3153–3162: larger ISA census, epoch delimiter, and factor engine

  research
  #242·wilcompute opened Aug 4, 2026Owner·

  ·
  4

  

• Passes 3143–3152: exact sparse inference, edit epochs, and universal ISA correction

  #239·wilcompute opened Aug 4, 2026Owner·

  ·
  2

• Passes 3124–3132: observed character, RTL, and manuscript evidence

  #238·wilcompute opened Aug 4, 2026Owner·

  ·

• Passes 3133–3142: full noisy D4 filter, rank-three certifier, and recursive belief hardware

  #236·wilcompute opened Aug 4, 2026Owner·

  ·
  2

• Passes 3025–3031: predictive-photonic overhaul evidence

  #235·wilcompute opened Aug 4, 2026Owner·

  ·

• Passes 3064–3072: noisy D4 belief machine, edit indexing, and adaptive sensor basis

  #233·wilcompute opened Aug 4, 2026Owner·

  ·
  2

• Passes 2996–3002: adaptive routing, zero-overhead synchronization, and predictive evidence

  #232·wilcompute opened Aug 4, 2026Owner·

  ·

• Passes 3003–3011: M36 symmetry, 28-check D4 routing, and typed golden control

  #231·wilcompute opened Aug 4, 2026Owner·

  ·
  2

• Passes 2974–2983: nonabelian route memory, golden control, and general-isotropic M36

  #230·wilcompute opened Aug 3, 2026Owner·

  ·
  2

• Passes 2967–2973: Pareto-optimal information-system evidence

  #229·wilcompute opened Aug 3, 2026Owner·

  ·

• Passes 2960–2966: physical compiler, D4 curvature, and anti-symplectic evidence

  #226·wilcompute opened Aug 3, 2026Owner·

  ·