Procurador de São Paulo pretendia denunciar major, que usou nome de falso e até Tinder para se infiltrar, por falsidade ideológica e usurpação de função pública, mas tribunal arquivou investigação