maintenanceDemand
plain-language theorem explainer
maintenanceDemand defines the recognition cost of sustaining a boundary of spatial extent L across the 360-tick consciousness barrier. Researchers bounding conscious extent by holographic information budget cite it when deriving viability constraints. The definition is a direct product of the barrier period and the J-cost function in RS-native units.
Claim. The maintenance demand for a boundary of extent $L$ is $360 · J(L)$, where $J$ is the J-cost function and 360 is the consciousness barrier period in ticks.
background
In the ConsciousnessBandwidth module a conscious boundary persists for the fixed barrier period of 360 ticks, obtained as 45 times the eight-tick octave. The J-cost function, imported from the Recognition module, supplies the per-unit recognition cost; Cost.Jcost is the canonical cost measure from RSNative.Core. The module sets demand equal to barrierPeriod multiplied by J(L) under the convention λ_rec = ℓ_P = 1.
proof idea
One-line definition that multiplies barrierPeriod by Cost.Jcost L, implementing the BoundaryCost formula stated in the module documentation.
why it matters
This definition supplies the core demand quantity used by IsViable to enforce the holographic viability constraint and by complexDemand to incorporate Z-complexity scaling. It fills the maintenance-demand step in the argument that bandwidth constrains conscious extent, linking directly to the eight-tick octave via the 360-tick period. It touches the open question of the maximum coherent extent L_crit.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.