Symbolic syzygy-constrained reduction rules for Feynman integrals and the LoopIn framework - Sid Smith (2026)