In realtà le variabili di sessione venivano azzerate.
ho controllato con lo script

session_start();
$_SESSION = array();
session_destroy();
foreach($_SESSION as $k => $v) echo $v;

e le varibili non risultano più.

solo quando rientro in una pagina e faccio:

session_start();
echo session_id()

vedo sempre lo stesso id della sessione, nonostante lo script, ed invece nella mia ignoranza mi aspettavo un id diverso.

Forse per cambiare id va chiuso il browser e riaperto oppure ricrearne uno nuovo con session_regenerate_id();

Farò così.

Grazie mille.