How do I screencast from a Fedora 41 laptop to a Samsung Smart TV?

Hello! I’m trying to cast from my laptop to a Samsung smart television.
Neither of the two (2) available methods that I know of work.

Gnome Network Displays
Doesn’t get past selecting the TV in the dialogue it opens. Relevant errors from running it in the terminal:

(gnome-network-displays:15836): Gnd-WARNING **: 16:52:08.280: Failed to create screencast session: GDBus.Error:org.freedesktop.DBus.Error.InvalidArgs: No such interface “org.freedesktop.portal.ScreenCast”

Every time I click the menu entry, it prints that again.
Doesn’t matter if I run it as sudo or not, or if I install it from DNF or Flathub.
Evidently, a bug report and subsequent fix for this were on the way. This either has not arrived to the Flatpak, or doesn’t actually fix it. I acknowledge the possibility there is also a problem on my end, but I have tried to sudo dnf install xdg-desktop-portal and related packages, however they were already installed.


Miraclecast
Doesn’t get past electing my laptop screen as a peer.
The instructions are vague and the method itself is prohibitive in that it requires me to turn off Wi-Fi, which, I would need for the activity I intend to do with this smart television. I do not have access to Ethernet.

Relevant terminal output:

$ sudo miracle-wifictl --log-level trace
[ADD] Link: 3
[wifictl] # select 3
link 3 selected
[wifictl] # list
  LINK INTERFACE                FRIENDLY-NAME                  MANAGED   
     3 wlp4s0                   <unknown>                      yes       

  LINK PEER-ID                  FRIENDLY-NAME                  CONNECTED 

 0 peers and 1 links listed.
[wifictl] # list
  LINK INTERFACE                FRIENDLY-NAME                  MANAGED   
     3 wlp4s0                   <unknown>                      yes       

  LINK PEER-ID                  FRIENDLY-NAME                  CONNECTED 

 0 peers and 1 links listed.
[wifictl] # list
  LINK INTERFACE                FRIENDLY-NAME                  MANAGED   
     3 wlp4s0                   <unknown>                      yes       

  LINK PEER-ID                  FRIENDLY-NAME                  CONNECTED 

 0 peers and 1 links listed.
[wifictl] # list
  LINK INTERFACE                FRIENDLY-NAME                  MANAGED   
     3 wlp4s0                   <unknown>                      yes       

  LINK PEER-ID                  FRIENDLY-NAME                  CONNECTED 

 0 peers and 1 links listed.

I also recognize the possibility that this is a doomed endeavour, for the smart television itself only acknowledges casting from Windows machines in its help interface.
For the moment, I will procure an HDMI cable, but I would rather not have to do this in the future.