quartiq ships no UltraScale+ proxy, so the KU15P .bit must be built from xilinx_bscan_spi.py (Migen + Vivado) after adding the part to the generator's device table. Put the operational steps in the tutorial's Phase 2.5 (where users look for a bitstream); CLAUDE.md just points to it.