Discrete Reynolds Transport Theorem for Equity Control Volumes

Abstract: This document formalizes the discrete analog of the Reynolds Transport Theorem (RTT) for consolidation accounting. We prove that equity changes over a discrete reporting period equal the sum of internal flows (netted at group level via Kirchhoff’s incidence property), external sources (comprehensive income + owner transactions), liability reclassifications (written puts on own shares), and boundary adjustments (acquisitions/dispositions under IFRS 10.23/B96). The theorem provides the mathematical foundation for validating equity continuity across changing consolidation perimeters.

Status: Publication-ready (Phase 7 Wave 2) Cross-References: See docs/EQUITY_BRIDGE_PROOF.md (Theorem 3), docs/RTT_FORMAL_PROOF.md (continuous formulation), docs/STANDARDS_MAP.md (authoritative citations)

1. Definitions

1.1 Entities & Periods

1.2 Internal Flows (Intra-Group Transactions)

Kirchhoff Property: By construction, $\mathbf{1}^\top B = 0$ (columns of $B$ sum to zero), meaning every internal flow has exactly one source and one sink within the perimeter.

1.3 External Sources (Comprehensive Income + Owner Transactions)

Let $S_t \in \mathbb{R}^{|\mathcal{E}|}$ be the external source vector aggregating all equity-changing events that originate outside the consolidation perimeter during period $t$:

Formal definition:

$$S_t = P_t + O_t + Owner_t + FX_t + Hyper_t + Measure_t$$

where $FX_t$, $Hyper_t$, $Measure_t$ are per Theorem 3 in docs/EQUITY_BRIDGE_PROOF.md.

1.4 Liability Reclassification (Obligations to Repurchase Own Shares)

Let $L_t \in \mathbb{R}^{|\mathcal{E}|}$ be the liability reclassification vector capturing obligations to repurchase own equity that must be recognized as liabilities at inception per [[IAS32:23]], [[ASC480]].

Examples: * Written puts on own shares: Entity writes a put option obligating it to repurchase its shares at a fixed price → liability recognized at fair value, equity reduced, even before cash payment. * Forward repurchase contracts: Mandatory settlement in cash or variable number of shares per [[ASC815-40:15]].

Sign convention: $L_t > 0$ represents equity → liability reclassification (equity decreases without cash flow).

Rationale: Without the $L_t$ term, the discrete RTT would show false “conservation violations” when obligations are recognized. [[IAS32:23]] requires these to be liabilities from inception, not equity until settlement.

1.5 Boundary Operator (Acquisitions/Dispositions)

Let $R_t \in \mathbb{R}^{|\mathcal{E}|}$ be the boundary operator mapping equity transfers when entities enter or leave the consolidation perimeter during period $t$.

Cases: * Acquisition with control gained: New subsidiary’s equity enters the perimeter; NCI recognized per [[IFRS10:22]]. * Disposal with control lost: Subsidiary’s equity exits the perimeter; gain/loss recognized in P/L per [[IFRS10:25]]. * Acquisition/disposal with control retained: Treated as equity transaction per [[IFRS10:23]], [[IFRS10:B96]] (no P/L impact; amounts flow through $Owner_t$ or $R_t$ depending on formulation).

Formal definition: For entity $i \in \mathcal{E}$,

$$R_t^{(i)} = \begin{cases} E_{t-1}^{(i)} & \text{if entity } i \text{ was acquired at } t \\ -E_t^{(i)} & \text{if entity } i \text{ was disposed at } t \\ 0 & \text{otherwise} \end{cases}$$

1.6 Measurement Operator (Remeasurement & Translation)

Let $M_t \in \mathbb{R}^{|\mathcal{E}|}$ be the measurement adjustment vector for: * Foreign currency translation ([[IAS21:39-47]]): CTA reserves * Hyperinflation restatement ([[IAS29:27-28]]): IAS 29 monetary gains/losses * IFRS 16 remeasurements ([[IFRS16:39-44]]): Lease liability/ROU adjustments

Note: Measurement adjustments flow through OCI or NI (hence already included in $S_t$ via $P_t$ or $O_t$). The $M_t$ term is redundant if $S_t$ is comprehensively defined. We include it for clarity in boundary scenarios where translation differences arise from perimeter changes.

2. Theorem Statement

Theorem (Discrete RTT for Equity Control Volumes)

For each period $t$ and each entity $i \in \mathcal{E}$,

$$E_{t+1}^{(i)} - E_t^{(i)} \;=\; (B F_t)^{(i)} \;+\; S_t^{(i)} \;-\; L_t^{(i)} \;+\; R_t^{(i)}. \tag{1}$$

In vector notation:

$$E_{t+1} - E_t \;=\; B F_t \;+\; S_t \;-\; L_t \;+\; R_t. \tag{1'}$$

Moreover, at the consolidated group level (summing all entities),

$$\mathbf{1}^\top (E_{t+1} - E_t) \;=\; \mathbf{1}^\top (S_t - L_t + R_t). \tag{2}$$

Interpretation: Internal flows $BF_t$ cancel at the group level due to the Kirchhoff property ($\mathbf{1}^\top B = 0$). Only external sources ($S_t$), liability reclassifications ($L_t$), and boundary adjustments ($R_t$) affect consolidated equity.

3. Proof

3.1 Ledger Conservation (Kirchhoff Property)

Lemma 1: The incidence matrix satisfies $\mathbf{1}^\top B = 0$ (columns sum to zero).

Proof: By construction, each arc $j \in A$ represents a transaction between exactly two entities: * One entity (the source) has $B_{ij} = -1$ (outflow) * One entity (the sink) has $B_{kj} = +1$ (inflow) * All other entities have $B_{\ell j} = 0$

Therefore, for each column $j$:

$$\sum_{i \in \mathcal{E}} B_{ij} = -1 + 1 + 0 + \cdots + 0 = 0.$$

This is the double-entry property: every debit has a corresponding credit within the perimeter. $\square$

Corollary: $\mathbf{1}^\top (BF_t) = 0$ for any flow vector $F_t$.

Proof: $\mathbf{1}^\top (BF_t) = (\mathbf{1}^\top B) F_t = 0 \cdot F_t = 0$ by Lemma 1. $\square$

3.2 Equity-Only Transactions (IFRS 10.23/B96)

Lemma 2: NCI changes without loss of control are equity transactions that do not affect consolidated net income.

Proof: [[IFRS10:23]] states: “Changes in a parent’s ownership interest in a subsidiary that do not result in the parent losing control of the subsidiary are equity transactions (i.e. transactions with owners in their capacity as owners).”

[[IFRS10:B96]] prescribes: “The entity shall recognise directly in equity any difference between the amount by which the non-controlling interests are adjusted and the fair value of the consideration paid or received, and attribute it to the owners of the parent.”

Therefore, NCI up-ticks and down-ticks route through $Owner_t$ or $R_t$ (depending on formulation), not $P_t$. $\square$

3.3 Own Shares (IAS 32.33 / ASC 505-30)

Lemma 3: Treasury stock purchases, sales, and retirements are equity-only transactions.

Proof: [[IAS32:33]] states: “If an entity reacquires its own equity instruments, those instruments (‘treasury shares’) shall be deducted from equity. No gain or loss shall be recognised in profit or loss on the purchase, sale, issue or cancellation of an entity’s own equity instruments.”

[[ASC505-30]] (US GAAP) provides equivalent guidance: treasury stock is a contra-equity account; retirement allocates reductions across par, APIC, and retained earnings; no P/L impact in either case.

Therefore, the cash consideration plus direct costs (including [[IRS:Form7208]] excise tax) enters $Owner_t$, not $P_t$. $\square$

3.4 Obligations to Repurchase (IAS 32.23 / ASC 480)

Lemma 4: Written puts and forwards on own shares trigger liability recognition at inception, reducing equity before cash settlement.

Proof: [[IAS32:23]] requires: “A contract that will be settled by the entity delivering or receiving a fixed number of its own equity instruments in exchange for a fixed amount of cash or another financial asset is a financial liability.”

[[ASC480]] and [[ASC815-40]] provide similar guidance: obligations to repurchase own shares in cash or variable amounts are liabilities, not equity.

At inception, the journal entry is:

Dr. Equity                     (fair value of obligation)
    Cr. Financial Liability             (fair value of obligation)

This is the $L_t$ term: equity decreases without a corresponding cash flow or internal transfer. Omitting $L_t$ would create a residual in Eq. (1). $\square$

3.5 Leases & Measurement (IFRS 16)

Lemma 5: IFRS 16 lease inception is equity-neutral; subsequent interest and depreciation reduce equity via $P_t$.

Proof: [[IFRS16:22-24]] requires initial recognition:

Dr. Right-of-Use Asset          (PV of lease payments + direct costs)
    Cr. Lease Liability                 (PV of lease payments)

This is a balanced entry with $\Delta E^{(i)} = 0$ at inception.

Subsequently ([[IFRS16:29-36]]): * Interest expense on lease liability → $P_t$ (reduces equity via NI) * Depreciation of ROU asset → $P_t$ (reduces equity via NI) * Principal payment → reduces lease liability + cash (no equity impact)

Therefore, lease accounting preserves Eq. (1) with $S_t$ capturing P&L effects. $\square$

3.6 Boundary Changes (Acquisitions/Dispositions)

Lemma 6: Acquisition/disposal mapping $R_t$ reconciles opening/closing perimeter; when control is retained, amounts are equity-only per [[IFRS10:23]]/[[IFRS10:B96]].

Proof: * Control gained: New subsidiary enters perimeter with equity $E_{acq}$; recognized as $R_t^{(new)} = E_{acq}$; NCI portion allocated per [[IFRS10:22]]. * Control lost: Subsidiary exits perimeter; equity eliminated; gain/loss in P/L per IFRS 10.25. * Control retained: Incremental purchase/sale of NCI → [[IFRS10:23]] requires equity-only treatment; difference flows through $Owner_t$ or $R_t$.

In all cases, Eq. (1) accommodates boundary flux via $R_t$. $\square$

3.7 Aggregation (Entity → Group)

Theorem Proof: Equation (1) holds entity-wise by construction (ledger accounting identity). Summing over all entities:

$$\sum_{i \in \mathcal{E}} (E_{t+1}^{(i)} - E_t^{(i)}) \;=\; \sum_{i \in \mathcal{E}} (BF_t)^{(i)} + \sum_{i \in \mathcal{E}} S_t^{(i)} - \sum_{i \in \mathcal{E}} L_t^{(i)} + \sum_{i \in \mathcal{E}} R_t^{(i)}.$$

By Corollary to Lemma 1, $\sum_i (BF_t)^{(i)} = \mathbf{1}^\top (BF_t) = 0$.

Therefore:

$$\mathbf{1}^\top (E_{t+1} - E_t) \;=\; \mathbf{1}^\top (S_t - L_t + R_t). \tag{2}$$

Consolidated equity changes only via external sources, liability reclassifications, and boundary adjustments. Internal flows cancel. $\square$

4. Corollary: Method-Invariance

Corollary: For any alternative booking routes compliant with [[IAS32:33]]/[[ASC505-30]] (treasury vs. retirement), [[ASC815-40:25]] (ASR two-unit split), and [[IFRS2:33E–33H]] (SBC net settlement), the consolidated $\Delta E$ for the period is invariant. Differences are reallocations among equity sub-accounts.

Proof: See docs/EQUITY_BRIDGE_PROOF.md Part 7 (Method-Invariance Proof Pack). Treasury vs. retirement example: * Treasury method: $\Delta E = -\$5,000$ (single contra-equity line) * Retirement method: $\Delta E = -\$100 - \$2,900 - \$2,000 = -\$5,000$ (allocated across par, APIC, RE)

Both methods satisfy $Owner_t = -\$5,000$ with $P_t = 0$. Equation (1) holds identically. $\square$

5.1 Equity Bridge (Theorem 3)

Theorem 3 (docs/EQUITY_BRIDGE_PROOF.md) states:

$$E_{t+1} - E_t = P_t + O_t + Owner_t + FX_t + Hyper_t + Measure_t.$$

This is the single-entity or group-level special case of Eq. (2) when: * $BF_t$ terms cancel (Kirchhoff) * $L_t = 0$ (no written puts on own shares) * $R_t = 0$ (no boundary changes)

The Discrete RTT (this document) generalizes Theorem 3 to multi-entity consolidation with boundary flux.

5.2 RTT Formal Proof (Classical Formulation)

docs/RTT_FORMAL_PROOF.md presents the continuous RTT for equity:

$$\frac{d}{dt} \int_{\Omega(t)} \rho \, dV \;=\; \int_{\Omega(t)} \frac{\partial \rho}{\partial t} \, dV \;+\; \int_{\partial \Omega(t)} \rho \, \mathbf{v} \cdot \mathbf{n} \, dA.$$

The Discrete RTT (Eq. 1) is the finite-difference analog: * $\int_{\Omega(t)} \rho \, dV$ → $E_t$ (total equity in perimeter) * $\frac{\partial \rho}{\partial t}$ → $S_t$ (internal generation via CI + owner transactions) * $\int_{\partial \Omega(t)} \rho \mathbf{v} \cdot \mathbf{n} \, dA$ → $R_t$ (boundary flux via acquisitions/dispositions)

5.3 Incidence Matrix (Kirchhoff’s Law)

The condition $\mathbf{1}^\top B = 0$ is Kirchhoff’s Current Law applied to equity flows: * Nodes = entities * Edges = inter-entity transactions * Conservation: Net flow into any cut equals zero (no leakage)

This is Theorem 1 (Incidence Matrix Derivation) in the framework.

6. Empirical Validation Protocol

6.1 Entity-Level Validation

For each entity $i \in \mathcal{E}$, compute: 1. Equity change: $\Delta E^{(i)} = E_{t+1}^{(i)} - E_t^{(i)}$ from balance sheet 2. Internal flows: $(BF_t)^{(i)}$ from inter-company eliminations journal 3. Sources: $S_t^{(i)}$ from comprehensive income statement + equity rollforward 4. Liability reclassification: $L_t^{(i)}$ from notes (written puts, forwards) 5. Boundary adjustment: $R_t^{(i)}$ from acquisition/disposal disclosures

Pass criterion:

$$\left| \Delta E^{(i)} - (BF_t)^{(i)} - S_t^{(i)} + L_t^{(i)} - R_t^{(i)} \right| < \epsilon \cdot |E_t^{(i)}|$$
where $\epsilon = 0.01$ (1% relative tolerance).

6.2 Group-Level Validation

Compute: 1. Consolidated equity change: $\mathbf{1}^\top \Delta E = \sum_i (E_{t+1}^{(i)} - E_t^{(i)})$ 2. Consolidated sources: $\mathbf{1}^\top S_t$ (from consolidated financial statements) 3. Consolidated liability reclassification: $\mathbf{1}^\top L_t$ (from notes) 4. Consolidated boundary: $\mathbf{1}^\top R_t$ (from M&A disclosures)

Pass criterion:

$$\left| \mathbf{1}^\top \Delta E - \mathbf{1}^\top (S_t - L_t + R_t) \right| < \epsilon \cdot |\mathbf{1}^\top E_t|$$

Note: Internal flows $BF_t$ should not appear (they cancel). If residual persists after accounting for $S_t$, $L_t$, $R_t$, investigate: * Missing inter-company eliminations (incomplete $BF_t$) * Misclassified boundary events (incorrect $R_t$) * Unrecognized written puts (missing $L_t$)

6.3 Failure Mode Attribution

Residual Pattern Likely Cause Standard Citation
Large positive residual Missing sources (OCI, owner transactions) [[IAS1:82]], [[IAS32:33]]
Large negative residual Unreported liability reclassification [[IAS32:23]], [[ASC480]]
Residual = inter-company flow Incomplete consolidation eliminations [[IFRS10:B86]]
Residual = acquisition equity Missing $R_t$ (boundary flux) [[IFRS10:B86-B93]], [[IFRS3]]

7. Implementation Notes

7.1 Software Representation

import numpy as np
from scipy.sparse import csr_matrix

class DiscreteRTTValidator:
    def __init__(self, incidence_matrix: csr_matrix):
        """
        Parameters:
        -----------
        incidence_matrix : scipy.sparse.csr_matrix
            Shape (n_entities, n_arcs); entries in {-1, 0, +1}
        """
        self.B = incidence_matrix
        self.n_entities = incidence_matrix.shape[0]

        # Verify Kirchhoff property
        assert np.allclose(np.ones(self.n_entities) @ self.B.toarray(), 0), \
            "Incidence matrix violates Kirchhoff property"

    def validate(
        self,
        E_start: np.ndarray,  # shape (n_entities,)
        E_end: np.ndarray,    # shape (n_entities,)
        F: np.ndarray,        # shape (n_arcs,) internal flows
        S: np.ndarray,        # shape (n_entities,) sources
        L: np.ndarray,        # shape (n_entities,) liability reclas.
        R: np.ndarray,        # shape (n_entities,) boundary adjust.
        tolerance: float = 0.01
    ) -> dict:
        """Validate discrete RTT Eq. (1)."""
        delta_E = E_end - E_start
        BF = self.B @ F
        expected = BF + S - L + R
        residual = delta_E - expected

        # Entity-level validation
        rel_residual = residual / (np.abs(E_start) + 1e-6)
        entity_pass = np.abs(rel_residual) < tolerance

        # Group-level validation
        group_delta_E = np.sum(delta_E)
        group_expected = np.sum(S - L + R)  # BF cancels
        group_residual = group_delta_E - group_expected
        group_pass = abs(group_residual) < tolerance * abs(np.sum(E_start))

        return {
            "entity_pass_rate": np.mean(entity_pass),
            "group_pass": group_pass,
            "entity_residuals": residual,
            "group_residual": group_residual,
        }

7.2 XBRL Tag Mapping

8. Reviewer-Ready Notes

For Mathematicians

For Accountants

For Auditors

9. References

  1. Reynolds, O. (1903). “Papers on Mechanical and Physical Subjects.” Cambridge University Press.
  2. Truesdell, C., & Toupin, R. (1960). “The Classical Field Theories.” In Handbuch der Physik.
  3. IFRS Foundation (2023). IFRS 10 Consolidated Financial Statements.
  4. IFRS Foundation (2021). IAS 32 Financial Instruments: Presentation.
  5. IFRS Foundation (2024). IFRS 2 Share-based Payment.
  6. IFRS Foundation (2023). IFRS 16 Leases.
  7. FASB (2023). ASC 505 Equity and ASC 815 Derivatives.
  8. Internal Revenue Service (2023). Instructions for Form 7208.
  9. PCAOB (2024). AS 1105 Audit Evidence.
  10. Strang, G. (2016). Introduction to Linear Algebra (5th ed.). Wellesley-Cambridge Press.
  11. Ellerman, D. (2014). “On Double-Entry Bookkeeping: The Mathematical Treatment.” Accounting Education, 23(5), 483–501.

Document Status: Publication-ready (Phase 7 Wave 2) Last Updated: 2025-11-03 Peer Review: Pending adversarial sign-off Implementation: src/core/reynolds_transport.py, src/graph/incidence_matrix.py Cross-References: - docs/EQUITY_BRIDGE_PROOF.md (Theorem 3) - docs/RTT_FORMAL_PROOF.md (continuous formulation) - docs/STANDARDS_MAP.md (authoritative citations) - tests/core/test_reynolds_transport.py (empirical validation)