It worked properly today. It's worth posting the graph. I've taken out the grid import because it was messing with the scale, but that doesn't matter so much.
At midnight the home battery is charging from the grid. The dishwasher is also on and is running at the same time, also drawing from the grid. Once the home battery is full, the Eddi heats the water for up to an hour, while the battery is held at 100% by still being on charge so again the Eddi draws from the grid. After that the battery discharges to export for an hour and a half, bringing its SOC down to 39%. (If I want it less than that I need to schedule a slightly longer discharge window.)
That's the end of the off-peak tariff. The battery is now free to supply the house until the solar takes over, but it only dropped by 1% for about ten minutes doing that, because there's not much house load at that time and the solar was beginning to ramp up.
Sunrise, and the solar quickly takes over the house load and starts to export. The battery can't take the solar because it's set to export to 100% (yes, I know) from sunrise. There was some high cloud so generation wasn't what it might have been, but by about ten o'clock there was enough for the export to be clipped. The battery then took the excess over and above that, and did pretty well until lunch-time when larger cumulus clouds started to come over. I ran the microwave at lunchtime without thinking about it, but even though generation was in a trough there was still enough to cover it.
The afternoon was cloudier, but direct sun during three or four breaks in the cloud let the battery get right up to 78%. Overall it harvested 3.9%, which is about 4 kwh. By about 3.30 pm when I made coffee the generation had fallen off a lot, and was at another nadir. I flipped the battery export off as I turned the kettle on, then back on again when it had boiled, just to stop the kettle drawing from the grid. Then the export continued.
There was still a bit of export by six o'clock when the export slot finished and the battery put on a couple of per cent, with a slight wobble as I boiled the kettle again. As the solar faded the battery took up the house load, starting to discharge at about eight. Having looked at what was left I set the battery to start exporting again just before ten, so that it finished discharging at about 11.30. Back to the beginning again, except the forecast for tomorrow is so bad that I'm not going to bother discharging the battery in the early morning as I don't think there will be enough clipping to make it worthwhile.
The last green peak of load is just because the car started to charge. I had plugged it in but then decided not to as it was already at 67%, so I turned it back off again.
So this works, it's only a minor inconvenience to keep an eye on what's happening during the day, and even on a day where there wasn't a lot of direct sun it gained enough to be worthwhile. I exported 10.3 kwh from the battery as well as 31.8 kwh solar generation. (The battery is only 9.5 kwh, so doing it in two stages like this with some charging in between definitely paid off.)