安いHDMIキャプチャがちゃんと使えました。
https://www.aliexpress.com/item/4001061528924.html
no micタイプ
1500円ほど、最初あれれって思った挙動はどこへやら。