The documentation implies that ComparisonResults should be generated for all differences. It's not clear that this provides much benefit, and risks adding complexity to the implementations and polluting the ComparisonReport.
Once a decision is made, the documentation should be updated to be explicit, and implementations updated as necessary.
ion-c's CLI, for example, only includes the first difference in its ComparisonReport, allowing it to short-circuit on the first difference.