Hi William,
This is interesting, from the FFT you showed, the corrected information is actually populated in the previous empty area. Also the denoising seems to work as you can see in the 3dmod slice view. This means the spIsoNet actually did something.
If you are concerned that the spIsoNet is a low pass filter, you should use the spIsoNet output (do not use the xx_filtered one) for post processing with relion with --lowpass at estimated 2.5A and with and different B factors.
The --limit_res 3.5 A in spIsoNet means that the resolution lower than 3.5A is modified by spIsoNet, and the information beyond 3.5A spIsoNet will keep the original. Again, you may not want to use xx_filtered.mrc as it cuts off resolution at 3.5A resolution.
This is my reasoning for setting --limit_res in spIsoNet: you may have seen the FFT view in 3DMOD, the reliable information (I believe) has specific patchy patterns, this pattern sometimes becomes pure noise beyond a certain resolution, and (I believe) this is actually over estimated resolution or overfitting whatever. I reason (although with limited test cases) that spIsoNet will not learn anything at an overestimated resolution, --limit_res to a lower resolution rather than the estimated FSC=0.143 can help network learning. But if the structure is reliable, limiting to FSC=0.143 or even without limitation should work well.