This is such a realistic balance between completely banning coding agents and embracing the spirit of higher education

I agree. Learning to code from scratch today would be difficult to say the least. The scar tissue accrued from debugging a compilable typo, a misplaced comma or parenthesis teaches something that's hard to recreate - but replacing it with durable learning that won't age-out is a definite win.