Foundations
Information and action allocation
Information aggregation is not action allocation. The program separates available evidence from the protocol that turns it into a portfolio of actions.
GB(Π; I) = VB(I) − LB(Π; I)
It is an accounting identity, not a universal monotonicity theorem. Consult the foundations record and validated note for scope and provenance.