I'm not sure how that amp load above translates.... but the standard "oranges-to-oranges" spec is the "20 Hour Rate" for comparing deep cycle batteries. Any reputable battery (and battery manufacturer) will have that listed as at least one of their AH specs. For a decent Group 24 AGM, with some legs, that works out to between 75 and 85 AH. Much more than that (i.e. in the 100's) and they are fudging the numbers or using a different calculus to make it appear you are getting more AH, when you aren't. The physical size of the box creates the absolute upper limit of 85 (or at the most 90), no matter how they try try slice it up inside. Group 27s legitimately get into the 100's. But they are significantly bigger in volume than ours.
When comparing batteries, my thoughts were that once you're above 75, the desire to try to cram in and squeeze out those couple extra amp hours begins to take a back seat in importance to the overall build quality of the battery, and other purchase considerations.
Man, I love it when I can learn something

Thank you Sir! I want you on my team when TEOTWAKI happens!
This question has taken me down a few rabbit holes, and with the input above has made a light bulb come on, and I think I got it!
I think where I went wrong was not knowing the 20 amp rate was standard. And that Wallymart fudges its numbers. I did find a deka sheet (who used to make walmart batteries) and they claim 75ah capacity at standard rate. Neither Deka nor Clarios are really good at details, especially when compared to Fullriver. Looking exclusively at Fullriver from here on out.
The DC85 gets the ~8ah capacity due to the AGM. 85AH is the optimal number, but since I'm planning around a relatively high 4 amp load, I need to use the C10 value. Giving a usable capacity of somewhere around 75 Ah. From here, the calculations are pretty simple
Standard power laws apply here -- if I am pulling at the C10 (10 hour) rate, that will give 77AH available in the DC85. 77ah/4amp=19 hours of actual use, leaving the battery dead flat. If I want to keep at 50% depth of discharge, I would need to charge at 9 1/2 hours. I could discharger further, but reduce the number of charge/discharge cycles the battery will have.
Of course, that's worst case (why do I want sausage and cheese?) In the real world of shedding loads and duty cycles of things like the fridge, I would use considerably less energy. The fridge might run 40% of the time, the lights 10% (2 hours) Laptop Charge 2 hours etc.
Looking at cycle counts, if I discharge down to 60% routinely, I can still expect 700-1000 cycles out of the battery. If I stay above 60% remaining, that number goes up. If it is discharged only 10-20%, the battery will last thousands of cycles. Assuming I have a daily charge with solar or charging off the tow vehicle, I should rarely go below 80%.
Other than rainy days and extended stays, this really does put a good-quality AGM battery in a strong contender place. The lithium really gains on extended stays in cloudy or tree-covered places since it charges much faster so you could theoretically charge in just a couple hours. However, with reasonable sun or tow vehicle power, the argument isn't quite as strong, especially at 2.5-3 times in cost. IF you can even get one.
I think I just sold myself on Fullriver.
https://fullriverbattery.b-cdn.net/wp-content/uploads/DC85-12.pdf