Function validate_stack_entry 

pub fn validate_stack_entry(entry: &StackEntry) -> Result<(), ValidateError>

Check control-frame label invariants (loop → Start, block/if → End).

Errors

Returns ValidateError::ControlLabelMismatch when a control frame’s label does not match its control kind.