Fast IMCOM: Efficient Optimal Image Coaddition Mathematical proof of concept: K. Cao (2025) Practical implementation: under development