The cost of getting ML-DSA-87 to aggregate into an actual ML-DSA-87 signature is not free.
You can satisfy almost all constraints and even make it leak-free and even verify as an ML-DSA-87 signature, noninteractive, unforgeable, QROM resistant, etc.
But the cost of doing this is the overhead is a bit more of a headache and its not as flexible as BLS... but at least it is smaller than a 200k STARK proof.