enctype="mulitpart/form-data" ile type="file" olan inputlarda dosya göndereceğinizi belirtiyorsunuz.

Bu durumda $_POST['dosy'] ile o input a erişemezsiniz çünkü gelen dosyadır ve ona $_FILES['dosya'] ile erişilebilir.

Dosya adını almak için bunu kullanabilirsiniz:

https://pastecode.io/s/F17Ck56G6P


Not: r10 editörü kodları saçma sapan hale getirdiği için bu şekilde pastecode üzerinden paylaştım.