@slaw Phono goes into the Denon and comes "out" via the "Tape Out" RCAs (fixed volume, line-level signal). The Denon signal goes into any line-level input on the ARC and gets passed to the amp.
I’m doing this with my McIntosh preamp’s phono stage into a BAT integrated. Works well...