Formula
Visit time = (transit + pre-baseline + post-baseline) × (1 + overhead)
Booked time = visit time × events × targets
Elapsed allocation = booked time ÷ scheduling efficiency
What the result means
Use the main result as a transparent first-order planning value. The supporting metrics expose intermediate quantities so assumptions can be checked and compared across scenarios.
The estimate does not model ephemeris uncertainty, seasonal visibility, simultaneous targets, weather, failed visits, or telescope-specific proposal rules.