IMO this is a great illustration of how the word "reasonable" stops the entire legal system collapsing.
Contra proferentem is most important with "contracts of adhesion" like OSS licences that are pre-written contracts which are strict take-it or leave-it, leaving no opportunity for a party to bargain over specific contractual terms. Because the party does not have an opportunity to negotiate they may reasonably interpret a term in a different manner than the contract offeror intended.
The court would likely rule that the more comprehensive document takes precedence (exactly what the AGPLv3 intended.) Less likely outcome is that the court decides there was no valid license at all. This would technically be copyright infringement, but they almost certainly wouldn't issue sanctions because of the innocent infringer principle. Sneaky Company, Inc. messed the license writing and that makes copyright infringement understandable.
The court would have to decide the rules of construction in the contract and what to do with conflicting clauses. They would verify what Section 7 says. They would ask "Did the Sneaky Company lead the users to believe they had a license with AGPLv3 terms", was there room for confusion? Was the license ambiguity given that it was take-or-leave it style unfair to users?
The court would probably see evidence from company web site, and public communication to see how they advertised the software. If the company mentions AGPL and is vague about extra terms, it would be bad for the Sneaky Company.
Before they even explain what the project is or what it does, you're immediately greeted with a "Legal note". It literally takes up the whole screen. It feels like a "WARNING. Private Property. NO TRESPASSING. Violators will be prosecuted!" sign rather than an invitation to explore a supposedly "free and open-source" software project.
And then, of course, they add a "Contributors welcome!" section. Sure. They're happy to accept free work from the free and open-source software community, but the rights that community is supposed to get under the AGPL v3.0 license? Those rights are ignored, as per their own convenience.
But don't worry, they do mention the "open-source" nature of their project with a hint at the license at the end:
> ONLYOFFICE is distributed under the AGPL v3.0 license, ensuring transparency and commitment to the open-source community.
What a joke!
---
Just a note: I have no problem with a software developer deciding under what conditions to distribute their software to users. If users become aware of the software project, it is up to them to decide whether or not they agree to those conditions. Because of the benefits that free and open-source software offers users and developers, I believe strongly in free and open-source software. Here, however, "free" does not mean "free of charge", but rather "free" as in "freedom". While I won't applaud someone who doesn't redistribute their software as "free and open-source software", I also don't hold a grudge against them.
However, I have a problem with the fact that, on the one hand, software is marketed as "free and open-source" software (apparently because it sounds good) while, on the other hand, the rights of the "free and open-source" software community are disregarded, abused, and trampled upon in such a despicable manner!
The problem here isn't the legal interpretation of the license and adding new clauses doesn't seem to do anything useful. Sneaky Company can license their software under whatever weird combination of terms they like. If they want GPL except it's proprietary then they can do that. Weird but ok. Same again if they want the license to be internally contradictory - seems stupid but they can do that too.
The actual issue is if they're trying to be deceptive by framing something as GPL licensed when in fact it is some new not-in-the-GPL-spirit license that they have developed. They should either be generally shamed or sued by whoever has copyright over the term "GPL" (pretty sure that is the FSF). That'd be ironic but there you go. Or some sort of false advertising suite.
https://www.fsf.org/blogs/licensing/agpl-is-not-a-tool-for-t... https://lwn.net/Articles/1067771/
If Sneaky Company makes weird and confusing license, it's interpreted against them.