Might be semantics as the changes I describe are fairly substantial compared to how many companies implement them. I did think of not calling it OKRs anymore at the time but the effort to rebrand it internally didn't seem worth the payoff. I like your suggestions - anything that increases clarity, alignment and debate. If a team wanted to align based on a memo or other doc we could debate I'd go for that as an alternative to OKRs. Documenting what you tried, what worked and why and what you intend to do makes sense to me!