Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis | Digital Library | PAMCET | PAMCET