The Edgar documentation has some limited information on how to handle facts with different dimension break-downs. Take as an example the AAPL annual report:
On page 29 the total Net Sales (365,817) is split for products and services
On page 37 the same total is split as per Apple product lines.
I try to figure out from the available files which elements should be added to get to the total Net Sales. The problem is that in the Xbrl extract file all the dimension sub-elements (product/service and iPhone/Mac/etc.) have the same tag (us-gaap:RevenueFromContractWithCustomerExcludingAssessedTax) and all have a very similar context, with a segment of <xbrldi:explicitMember dimension="srt:ProductOrServiceAxis">. The only difference that one of the dimension sets is in the us-gaap: namespace and the other is in the aapl: namespace, but I do not think this should be enough in general. What, e.g. if there would be a third split of the total Net sales, domestic vs. foreign also in the aapl: namespace.
What the manual says is about calculation rules in chapter 6.14.5 of Edgar Filer Manual that facts in a calculation must appear in the same presentation, but in this case there is no calculation for adding up the dimension elements. If one clicks on the iPhone value e.g. then it does not show that it adds up to the total Net sales, but it adds up to the Gross Profit, as it is not an individual fact, it is only a dimension of the same fact as the total.
The other place where I found a reference is 6.15.3, but then again it is talking about adding up different facts to get to the same total, but as said above it is not facts that are added up, but it is the only dimensions of the same fact.
I could probably do a separation based on where these values appear in a Presentation, but I would think to identify what is one set of a dimension and what is another, can be done better.