The thing is, it doesn’t matter how large the context gets, for a spec to cover all implementation details, it has to be at least as complex as the code.

That can’t ever change.

And if the spec is as complex as the code, it’s not meaningfully easier to work with the spec vs the code.