The mistake is that $dr ds$ is exact. Using smoothEDIT: So my attempt at manipulating forms iswas a bit weird to me, but not wrong. Let's use holomorphic formsfailure, and pick an affine chart so let's just go by general non-sense.
These are CDGA's in the equation of our elliptic curve is $y^2=x^3+ax+b$ and$j^{-1}\mathcal{O}_{X}$-module category $D$ is(after pulling back $A^\bullet_X(\log D))$ ), so we really just need to check that the point at infinity. The unique-upquasi-toisomorphism preserves the multiplication structure. This can be checked locally, but in local coordinates it's more-scalar global 1or-form is $y^{-1} dx$ in this chart. Then $y dx$ is a form withless obvious that the wedge of logarithmic singularities along $D$ and its real derivative should beforms maps to the global 2-form upwedge of the forms restricted to a scalar$X \setminus D$.