Issues

• [Mac agent] MaxSAT: native pack/charge lower-bound propagator (CC node bounds in MaxCDCL)

  guluchen/DistQLDPC#231 · Filter by author guluchen opened on Nov 5, 2026

• [Mac agent] CC engine: erasure bound as a default rule (on top of GH-217 candidate A)

  guluchen/DistQLDPC#225 · Filter by author guluchen opened on Nov 4, 2026
  6

• [Mac agent] MaxSAT: gate -stab-overlap to remove the TN_216 regression (GH-148 follow-up)

  guluchen/DistQLDPC#218 · Filter by author guluchen opened on Nov 3, 2026
  2

• [Codex] Polynomial-minor cyclic CSS lifts supply sparse unconfirmed-distance targets

  guluchen/DistQLDPC#209 · Filter by author guluchen opened on Oct 30, 2026
  2

• [Codex] Prime quadratic-residue CSS ideals supply independent lower certificates and distance targets

  guluchen/DistQLDPC#208 · Filter by author guluchen opened on Oct 30, 2026
  1

• [Codex] Nonprimitive CSS BCH lower bounds supply high-rate unconfirmed-distance targets

  guluchen/DistQLDPC#207 · Filter by author guluchen opened on Oct 29, 2026
  3

• [Mac agent] CC engine: per-half probe between tiebreak and MRV + reversed-BFS row order (-cc-roworder=auto)

  guluchen/DistQLDPC#206 · Filter by author guluchen opened on Oct 29, 2026
  2

• [Codex] Repeated-cyclic hyperbicycle blocks supply unconfirmed-distance lifted-product targets

  guluchen/DistQLDPC#205 · Filter by author guluchen opened on Oct 29, 2026
  4

• [Codex] Non-Cayley Schreier Tanner prescriptions fill a missing finite construction ladder

  guluchen/DistQLDPC#202 · Filter by author guluchen opened on Oct 29, 2026
  7

• [Codex] Index pinned library branches without double-counting shared inputs

  guluchen/DistQLDPC#201 · Filter by author guluchen opened on Oct 29, 2026
  5

• [Codex] Coupled multivariate multicycle estimates extend higher-rate finite unknown-distance coverage

  guluchen/DistQLDPC#200 · Filter by author guluchen opened on Oct 29, 2026
  2

• [Codex] Collapsed 4D AMC estimates supply reproducible unconfirmed-distance targets

  guluchen/DistQLDPC#199 · Filter by author guluchen opened on Oct 29, 2026
  3

• [Codex] Rebuild upper-only trivariate tricycle targets with a known-distance anchor

  guluchen/DistQLDPC#198 · Filter by author guluchen opened on Oct 29, 2026
  3

• [Codex] Rebuild independent three-cycle bicycle controls and a fixed unknown-distance ladder

  guluchen/DistQLDPC#197 · Filter by author guluchen opened on Oct 29, 2026
  3

• [Codex] Rebuild a published lower-only GB688 target with an exact anchor

  guluchen/DistQLDPC#196 · Filter by author guluchen opened on Oct 29, 2026
  3

• CC: erasure bound (opt-in token)

  guluchen/DistQLDPC#195 · Filter by author guluchen opened on Oct 29, 2026
  1

• [Codex] Rebuild finite-boundary tile CSS codes with a published open target

  guluchen/DistQLDPC#194 · Filter by author guluchen opened on Oct 29, 2026
  3

• [Codex] Rebuild quantum radial LP references and a fixed finite size ladder

  guluchen/DistQLDPC#193 · Filter by author guluchen opened on Oct 29, 2026
  3

• [Codex] Rebuild interval-valued QC generalized-hypergraph-product references

  guluchen/DistQLDPC#192 · Filter by author guluchen opened on Oct 29, 2026
  3

• [Codex] Rebuild published interval-valued GB reference codes A1 and A5

  guluchen/DistQLDPC#191 · Filter by author guluchen opened on Oct 29, 2026
  3

• [Codex] Add static X-cube CSS ladder with independent disjoint-logical certificates

  guluchen/DistQLDPC#190 · Filter by author guluchen opened on Oct 29, 2026
  3

• [Codex] Add general pin-relation CSS representatives beyond manifold color codes

  guluchen/DistQLDPC#189 · Filter by author guluchen opened on Oct 29, 2026
  3

• [Codex] Rebuild spatially coupled CSS targets with a published unresolved-distance instance

  guluchen/DistQLDPC#188 · Filter by author guluchen opened on Oct 29, 2026
  3

• [Codex] Rebuild finite SL(2,p) quantum Margulis open-distance targets

  guluchen/DistQLDPC#187 · Filter by author guluchen opened on Oct 29, 2026
  3

• [Codex] Rebuild finite DHLV edge-qubit CSS representatives

  guluchen/DistQLDPC#186 · Filter by author guluchen opened on Oct 29, 2026
  3