>Why can I reset the variables with both 'cond' and 'if' in >env.scm, but

>only the variable reset with 'if' is exported with the updated >value?

Because apparently that’s a bug in Guile, presumably in the implementation of inlining. I propose sending the mail to bug-guile@gnu.org.