I misunderstood your proposal, but you don’t need to do this work to get what you want. You can just take each sentence □nϕ→ϕ as an axiom, but declare that this axiom takes n symbols to invoke. This could be done by changing the notion of length of a proof, or by taking axioms ψϕ,n→(□nϕ→ϕ) and ψϕ,n with ψϕ,n very long.
Caught a flaw with this proposal in the currently stated form, though it is probably patchable.
When unpacking a proof, at some point the sentence □1ϕ will be reached as a conclusion, which is a false statement.
I misunderstood your proposal, but you don’t need to do this work to get what you want. You can just take each sentence □nϕ→ϕ as an axiom, but declare that this axiom takes n symbols to invoke. This could be done by changing the notion of length of a proof, or by taking axioms ψϕ,n→(□nϕ→ϕ) and ψϕ,n with ψϕ,n very long.