Consider the definition of "lost melody" given by Merlin Carl in his arXiv preprint, "The Lost Melody Phenomenon" (arXiv: 1407.3624v5 [math.LO] 16 Mar 2015):

A lost melody is a real number $x \subseteq \omega$ which is recognizable, i.e., for some ITTM program $P$, the the computation of $P$ with $y$ on the input tape (which plays the role of a real oracle for an ITTM) is defined for all $y$ and outputs 1 iff $y = x$ and otherwise outputs 0, but not computable, i.e., no program computes the characteristic function of $x$.

Furthermore, Prof. Carl understands the notion of ITTM as follows:

These machines, which are basically classical Turing machines equipped with transfinite running time….

Hamkins and Lewis define the conditions under which ITTMs can be considered "ordinary Turing machines" and in such manner show that classical computability theory can be deemed a subtheory of ITTM-computability theory:

Thus, restricting to the case of finite input and time, a function $f: 2^{\lt {\omega}} \rightarrow 2^{\lt {\omega}}$ is $\omega$-computable exactly when it is computable in the Turing machine sense.

With this in mind I will rewrite Prof. Carl's definition without mentioning ITTM's:

A lost melody is a real number $x \subseteq \omega$ which is recognizable, i.e., from some Turing machine program $P$, the computation of $P$ with $y$ on the input tape (which plays the role of a real oracle for a Turing machine) is defined for all $y$ and outputs 1 iff $y = x$ and otherwise outputs 0 but not computable, i.e., no Turing machine program computes the characteristic function of $x$ [note that such oracles are standard in classical computability (recursion) theory—my comment (see Hartley Rogers Jr's text, chapter 9.2, "Turing Machines with Auxiliary Tapes", pg. 130)].

All that remains is to note that both $\{x \mathrel| \text{$\varphi_{x}$ is total}\}$ and its complement are both productive sets, and not recursively (computably) enumerable (which means, to me at least, not writable by any recursive function).

So can the singleton $\{\{x \mathrel| \text{$\varphi_{x}$ is total}\}\}$ be decidable by Prof. Carl's oracle (restricted to classical recursion theory)?

I believe it can for the following reason: i) if one assumes that the oracle in question has multiple oracle tapes—$2^{\aleph_0}$ of them in fact (one tape for each set of natural numbers)—when one compares the elements of $x$ with the elements of $y$ by the oracle, it will, in fact, show that $y \neq x$ in a finite number of steps, but only show that $y = x$ if the oracle machine does not halt. Now if one wishes to consider the oracle machine an ITTM (for the reason that if $y = x$ the the oracle machine does not halt), by the limsup rule the oracle machine must output a 1, but this is a trivial use of an ITTM.