By: Kaapo Seppänen <seppanenkaapo@gmail.com>
Add guarded source identities for occupation-weighted reductions
- Preserve distinct propagator, cut, and occupation index semantics
- Support native rule discovery, exact replay, application, and persistence
- Add weighted-IBP validation, one- through four-loop pilots, and reference benchmarks