I should have mentioned that I had a shower when I got up (power shower, so it can take quite a lot of water), and now, at nearly lunch time, the water from the taps is still running too hot to touch. Since I'm going out after lunch and won't be back till maybe ten, this is obviously fine. There will be enough to let me wash my hands and face before I go to bed!
If I was going to be doing a lot of cleaning and using a lot of water it would be different I imagine, but it's pretty easy just to set the Eddi to do a boost if I find I need it. I could also use the central heating, but I need to get that looked at as it isn't heating the water very effectively.
Here's the current situation. The battery finished discharging at 01.20, and started charging again at 2 am, done by 04.40. The Eddi started to heat the water at 04.30 and was at temperature by 05.05. At 5.30 the battery took over from the grid to power the house load. The panels started to wake up properly just after 6 am, and were fully covering the house load by 07.10. It only took till 07.35 for the battery to get back to 100% and the export to start, unhindered by the Eddi grabbing anything.
It's sunshine and clouds, but the panels managed their maximum of just under 5.3 kw for a whole ten minutes at one point. Export is currently sitting at 14.4 kwh, although that obviously includes the battery export after midnight.
I think this is the setup I want to continue with. I still don't know how it will look when I'm charging the car overnight, but I don't see why it should make any difference. What's in the battery will go into the car rather than the grid, obviously, but that's neutral. I expect to be on about 40% when I get back this evening and I'll get a scheduled charge from Octopus to add 70%, so I'll see how that looks in the morning.