Thanks Alex for the reference. The Suttas seem rather clear that after stream entry Arahantship is assured.
According to the Theravada interpretation a stream entrant can not become a Buddha or Paccekabuddha, he/she becomes an Arahant.
Also note that before his enlightenment the Buddha was not
a stream entrant.