Hola eurodoblon,
Tienes que usar el atributo de "checked", pero tienes que tener un control de flujo, por ejemplo:
Código php:
Ver original<input name="contrato" type="checkbox" id="contrato" value="contrato"
<?php if( !empty( $_SESSION['contrato'] ) ) { echo "checked=\"checked\""; } ?> />
Saludos.