Packages one rebalance event, the current period's constituent set and weight set, plus the prior period's for diffing, into a regulator-shaped bundle: what changed (additions/removals/weight deltas), citing the underlying art-557/art-645 receipts rather than recomputing them. This is the vertical's answer to a BMR administrator's-oversight-function record and a SEBI benchmark-administrator disclosure pack. HARD FENCE: this bundle CITES the referenced receipts (execution_hash + tool_id); it does not re-run or independently verify the weighting arithmetic against a third-party feed, and it makes no claim of BMR/SEBI compliance, informative citation only. The current/prior constituent and weight rows used for the diff are caller-supplied and asserted (zero-egress), same fence as art-557/art-645. Third entry of the Financial Index/Benchmark Administrator Lineage family. EU Benchmark Regulation (BMR, Regulation (EU) 2016/1011) Art 13(1) and SEBI (Index Providers) Regulations, 2024 Reg 19(2)/19(3) citations informative only.
compute_proof_ready: deferred. No formal correctness proof has been produced for this kernel; the result above is a deterministic recompute, verified by a property-test floor, not a proven one.