Function validate_capture_bindings 

pub fn validate_capture_bindings(
    plan: &FunctionPlan,
    captures: &[CapturedBinding],
) -> Result<(), InstanceError>

Validates that concrete capture cells exactly match every frozen plan slot.