I'd agree, the planes have separate registrations, and both are accounted for as being retired from the American Airlines fleet.
However, in both cases the issues of ownership and registration are somewhat opaque and mysterious.