Partition Sum Table¶
Artifact — instantiates Additive Measure-Space Design
A standing table that lays the sizes of disjoint blocks beside the recomposed whole, so double-counting, gaps, and partition-dependent totals become visible at a glance.
When a total is wrong, the fastest way to see why is to lay the parts out. Partition Sum Table is the persistent artifact that lists the measure of each disjoint block, a reconciliation row that recomposes the whole, and — its distinctive feature — alternative partitions of the same set side by side, so that a total which changes depending on how you cut becomes immediately visible. Where the additivity test returns a pass/fail on the axiom, this table is the standing register that localises the discrepancy: it points at the row where blocks overlap, leak, or fail to reach the whole. It is an artifact you keep and refresh, not a one-shot check.
Example¶
Finance rolls the same program spend up two ways — once by department, once by cost centre — and the two totals disagree by about 3%. The partition sum table places both partitions beside the master total: each department's spend in one column block, each cost centre's in another, with a reconciliation row for the whole. The mismatch row isolates the culprit — a single contractor billed to two different cost centres, counted once under each. Because the same dollars appear in two supposedly-disjoint blocks, the table shows precisely where additivity was violated, and the overlap can be corrected before the rollup is used.
How it works¶
The table operationalises additivity as a visible reconciliation:
- Rows are disjoint blocks — each carries its measured size.
- A reconciliation row recomposes the whole — the block sizes should sum to the independently-known total; any shortfall or excess is flagged.
- Alternative partitions sit side by side — because a coherent measure must give the same total however the set is cut, disagreement between two partitions localises overlap, leakage, or a boundary error.
It surfaces the symptom — a mismatch in a specific row — leaving the formal diagnosis of the additivity regime to the test it feeds.
Tuning parameters¶
- Block granularity — coarse blocks read fast but hide small overlaps; fine blocks localise precisely at higher maintenance cost.
- Alternative partitions held — how many distinct cuts of the same set are reconciled; more cuts catch more partition-dependence but widen the table.
- Reconciliation tolerance — how large a mismatch is treated as noise versus a flag.
- Refresh cadence — one-shot audit versus a living table recomputed as the underlying data moves.
When it helps, and when it misleads¶
Its strength is localisation: it turns "the total is off" into "this row double-counts", and it makes partition-invariance auditable by showing two cuts must agree. The overlap correction it exposes is the inclusion–exclusion term a naive sum omits.[n1]
Its failure mode is that a clean-looking table lends false precision to a total that is really contested at the boundaries, and — the classic misuse — overlapping categories can be summed deliberately to inflate an apparent need, impact, or coverage. The discipline is to require disjointness before summing and to keep the overlap correction visible in the table rather than buried in the total.
How it implements the components¶
Partition Sum Table operates the consistency-and-recomposition side of the archetype:
partition_consistency_register— is the register: it holds alternative partitions' totals side by side and flags where they disagree.disjoint_additivity_rule— each reconciliation row instantiates additivity numerically, exposing where disjoint pieces fail to sum to the whole.
It shows where additivity breaks but does not certify the axiom formally — that verdict is Finite or Countable Additivity Test; it also does not declare the universe (Measure-Space Specification) or set the normalized total (Normalization Constant Calibration).
Related¶
- Instantiates: Additive Measure-Space Design — this artifact makes additivity and partition-invariance visible and auditable.
- Consumes: Finite or Countable Additivity Test supplies the axiom verdict this table localises.
- Sibling mechanisms: Finite or Countable Additivity Test · Normalization Constant Calibration · Measure Invariance Review · Measure-Space Specification · Measurable Family Closure Check · Null-Set Policy Register · Monotonicity Sanity Check · Probability Measure Construction · Area, Volume, or Counting Template
Editorial Notes¶
Form Classification¶
Form family: Representation, Specification & Plan
Rationale: The mechanism externalizes block sizes, recomposed totals, and alternative partitions in a standing reconciliation table that makes discrepancies visible.
Nearest alternative: Analysis, Modeling & Optimization — Addition and comparison populate the table, but the evidence says it surfaces the symptom rather than performing the diagnosis.
Review outcome: Adjudicated after independent review; medium confidence.
Origin Attribution¶
Primary origin: Mathematics
Origin pattern: Cross-disciplinary synthesis
Present-day reach: Multi-domain
Rationale: Partition Sum Table is most directly rooted in mathematics' axiomatic study of abstract structure, relations, and formal operations. The lineage fits its defining practice: A standing table that lays the sizes of disjoint blocks beside the recomposed whole, so double-counting, gaps, and partition-dependent totals become visible at a glance.
Related originating lineages:
- Statistics & Experimental Design — Partition Sum Table also draws materially on experimental design and statistics' methods for comparison, uncertainty, sampling, sensitivity, and inferential validation, which shaped this mechanism rather than merely adopting it as an application.
Review resolution: Both independent reviews agree on primary origin mathematics; reconciliation resolves encyclopedia_synthesis_disagreement. Formative alternate lineages retained: statistics_experimental_design. The broader reach of later applications is kept separate as domain_reach=multi_domain; origin_mode=cross_disciplinary_synthesis records how the formative lineages relate. Confidence is conservatively reconciled to high, and encyclopedia_synthesis=true preserves the reviewers' boundary judgment.
Encyclopedia synthesis: The exact catalogued form synthesizes established practice rather than reproducing a single standard historical label.
Review outcome: Reconciled after independent review; high confidence.
Notes¶
The table detects a symptom — a mismatched row — but not its cause. A mismatch can be overlap (double-counting), leakage (a gap in the partition), or a boundary case that shouldn't have been sized at all. Reading the table tells you where to look; the additivity test and the boundary queue tell you which of the three it is.
[n1] The inclusion–exclusion principle gives the correction for overlapping sets: for two, |A ∪ B| = |A| + |B| − |A ∩ B|. Summing blocks as if they were disjoint omits the −|A ∩ B| term — the double-count the table is built to surface. ↩