RP-003: Aggregation Logic Errors in Financial Models

Institutional publication. Not peer-reviewed.

Abstract¶

This paper examines aggregation range gaps as a distinct class of silent structural error in financial models, grounded in the detection logic of FMAE's R023 rule — the sole rule in the engine's narrowest taxonomy category, Aggregation Logic, despite carrying critical severity.

1. The Failure Mode¶

An aggregation range gap occurs when a formula-bearing cell sits immediately adjacent to — directly above or below — the range referenced by an aggregation formula (a SUM, SUMIF, SUMIFS, SUMPRODUCT, SUBTOTAL, or AGGREGATE formula), but is not itself included in that range. If the adjacent cell represents a line item that logically belongs in the total — inserted after the aggregation formula was originally written, for instance — the total silently continues to reflect only what it summed before the insertion.

2. Why This Error Is Silent¶

Most formula errors this research library and the FMAE Rule Reference address leave some observable trace: a visible error value, a formula departing from its row's pattern, a typed constant where a formula is expected. An aggregation range gap leaves none of these traces. The excluded cell continues to calculate or display its own value entirely normally — nothing about it looks wrong in isolation. The aggregation total also continues to calculate and display a plausible number — it is simply the wrong number, understating or overstating what it should represent by exactly the value of the excluded line. A reader examining either cell individually sees nothing amiss; the defect is only visible in the relationship between the two, which ordinary visual review of a spreadsheet does not surface.

3. Structural Detection Logic¶

Detecting this pattern precisely requires more than checking for any formula cell adjacent to any aggregation range — that naive approach would generate a high rate of false positives from a common and entirely legitimate spreadsheet structure: the cascading subtotal, where a subtotal formula is deliberately positioned adjacent to the range it subtotals, and that subtotal in turn feeds a higher-level total. FMAE's R023 resolves this by checking whether the adjacent cell is itself an aggregation formula — if so, the adjacency is the expected shape of a multi-level rollup, not a gap, and the finding is suppressed. Only an adjacent cell that is not itself performing an aggregation is treated as a candidate exclusion.

4. Materiality Independent of Category Size¶

Aggregation Logic is the narrowest of FMAE's six rule-taxonomy categories — R023 is its only member, as documented on the Rule Taxonomy page. Despite this narrow footprint, R023 carries critical severity and is one of five rules whose triggering caps a model's overall letter grade under the SM-2.0 Scoring Methodology. This is a deliberate methodological point: the size of a rule's taxonomy category reflects how many distinct structural patterns fall under the same conceptual heading, not how materially serious a single instance of the pattern is when it occurs.

5. Generalizable Principle¶

The broader methodological lesson is that a structural audit rule's precision often depends on recognizing a second, expected structural pattern that would otherwise be indistinguishable from the defect the rule targets — here, the cascading subtotal. A rule that only checks for the surface condition (adjacency to an aggregation range) without this second check would either under-detect genuine gaps (by requiring an implausibly narrow definition to avoid false positives) or over-detect on a routine, legitimate structure.

Related Reading¶

• R023 — Aggregation Range Gap — the FMAE rule this paper's methodological account is grounded in.
• FMAE Rule Taxonomy — the classification R023 belongs to as the sole Aggregation Logic rule.