I like option one. Slowly add more miles. Maybe one workout a week when she's feeling good and up for some speed. But nothing to overly worry about. I'd also jump into some fun, fall races. Any distances she wants. 5k, 10k, half, trail races, whatever. It's a great way to get some hard running in and just feel like you're training for things.
Come spring, I would probably go for a half marathon and train a bit more specifically for it. I like Fisky's advice about making those long runs for the half just a bit longer than some of the lighter plans might call for. If she's regularly getting over 13 mile runs during the spring, that will do a ton for her strength and confidence.
But you did say that, like all of us, she has some history of doing a little too much too soon. She's got 15 months. Cut back a little at the first sign of a problem. And if she's had a few weeks hitting higher mileage than ever before, that is a good time to take a down week. Or even two.
Of course, this is all just hypothetical. I mean, what option does your wife want to do? If she's up for nailing some PRs at 5k and then moving up to 10k, etc.. Then she should do that option. I think it is hugely important for the runner to believe in the path they're on and the training they're doing.