Bi-abductive Resource Invariant Synthesis -- Certify Once, Trust Anywhere: Modular