What CF-9 proves
CF-9 closes the out_proj scaling ladder: sixteen-row single-MAC (CF-6), sixteen-row dual-MAC (CF-7), thirty-two-row single-MAC (CF-8), and thirty-two-row dual-MAC — all with machine-checkable proofs.
Variant: out_proj_dual_mac_thirty_two_row.
Mapped residency over 512 dual-port bank modules.
STA closes at 75 MHz under placement RC.