Refactor a function while preserving its public contract

Refactor the following code for Reduce nesting and make the eligibility rule easy to read.:
def can_export(user):
    if user is not None:
        if user.get('active'):
            if user.get('plan') == 'pro':
                return True
    return False

Public contract and compatibility constraints:
Return a boolean. None is allowed. Missing keys behave as false or absent. Do not mutate the input.

List the observable behaviors to preserve: outputs, exceptions, ordering, mutation, and side effects where relevant. Identify the smallest useful transformation and explain its purpose.

Provide the complete revised function or a focused patch. Preserve signatures and established behavior, including awkward edge cases, unless you clearly label a separate proposed behavior change. Avoid new dependencies or unrelated architectural work.

Then map each original branch to the corresponding revised behavior and give a concise validation checklist covering normal, boundary, and failure cases. Flag any behavior that cannot be established from the input. Do not claim equivalence or passing tests without execution evidence.