The formula is visible
Spendable equals the larger of zero or budget minus reserve. Safe attempts equal spendable divided by current cost, rounded down. Remaining resource stays visible, and the target check shows any shortfall while preserving the reserve.