A conditional ledger allowance

The proposition bounds a ledger after $r$ has been supplied. It does not derive $r$ from a renormalized stress-energy operator, control the metric, or bound the complete emission channel.