There's no requirement that there be a "ruling that Apple is a monopoly" before we observe, based on the facts, that they are doing things that run afoul of ant

There's no requirement that there be a "ruling that Apple is a monopoly" before we observe, based on the facts, that they are doing things that run afoul of antitrust law, or what antitrust law "should" be to maximize welfare. Rulings are a trailing indicator, not a leading indicator. Whether users benefit or not is not necessarily relevant for antitrust analysis; it is only since the Reagan era that direct consumer damage was considered a requirement for antitrust prosecutions. Most of the economics/antitrust experts favored by Democratic Party legislators or possible Presidents seek a return to the pre-Reagan enforcement standards, or new standards based on the unique economics of new tech-enabled platform business models.