perAgentBudget
plain-language theorem explainer
Per-agent σ-budget is fixed at the natural number 45, identified with the consciousness gap at D=3. Recognition theorists cite the constant when deriving the predicted stable group size as the product with total tier weight. The declaration is a bare constant assignment with no further computation.
Claim. The per-agent recognition budget per cycle equals 45.
background
In the Recognition Science model each pairwise relationship costs one unit of σ-flow per recognition cycle. The total budget available to an agent is the consciousness gap at three spatial dimensions, which this definition sets to 45. The value then scales the total tier weight (a sum of geometric terms in powers of 1/φ) to bound the mean stable group size.
proof idea
One-line constant definition assigning the natural number 45 directly to perAgentBudget.
why it matters
This supplies the numerical value for the consciousness gap at D=3 that anchors the Dunbar derivation. It feeds dunbar_predicted, dunbarFromBandwidthCert, dunbar_one_statement and the positivity and upper-bound theorems that establish dunbar_predicted < 225. The module uses the constant to instantiate the bandwidth limit on the multi-agent recognition ledger and to recover the classical 150 estimate inside the derived band.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.