Weighted Rules under the Stable Model Semantics (ArXiv cs.LO Recent Papers, 2026)