pub fn validate_extension_input(input: &Value) -> Result<(), String>Expand description
Validates a resume input against the budget-extension shape documented
at module level. Applied by Runtime::resume when the run parked on a
budget crossing, before the input is recorded.
ยงErrors
Returns a human-readable description of the first violation: a non-object
input, an unexpected top-level key, a non-object extend, an unknown
key inside extend, or a field with the wrong JSON type.