Issues

• Competition baseline (#131): add the EMS AOT arm via ouroboros at the v0.47.0 pin

  enhancement
  InauguralSystems/EigenMiniSat#135 · Filter by author InauguralPhysicist opened on Oct 27, 2026

• GF(2) elimination (XOR detection + Gauss–Jordan) for parity families: the real frontier arm on the Tseitin ladder (pre-registered bar)

  enhancement
  InauguralSystems/EigenMiniSat#133 · Filter by author InauguralPhysicist opened on Oct 27, 2026
  1

• EMS-TN: exact #SAT by tensor-network contraction (--count) against CDCL on the Tseitin ladder (pre-registered)

  enhancement
  InauguralSystems/EigenMiniSat#132 · Filter by author InauguralPhysicist opened on Oct 27, 2026
  1

• Pre-registered: Tseitin 4x9 (72 vars, min=4) — the size-matched control for 6x6 (#100)

  InauguralSystems/EigenMiniSat#117 · Filter by author InauguralPhysicist opened on Sep 29, 2026
  1

• ui: live solver dashboard — a run() front-end on the stepped-session seam (fleet UI proposal)

  InauguralSystems/EigenMiniSat#76 · Filter by author InauguralPhysicist opened on Aug 2, 2026
  2