rapproche encore le tableau de bord de la démo /cockpit : avancement par vérification, mains levées avec action réelle, progression de la séance

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

portail/app/Models/Correction.php

@@ -9,6 +9,8 @@ use Illuminate\Database\Eloquent\Relations\BelongsTo;
  * Une passe de vérification d'une session de lab (bouton « Vérifier mon
  * travail »). details : une entrée par vérification du lab.yaml, avec
  * id, titre, points, reussi et message (message_echec du lab si échouée).
+ *
+ * @property-read array<int, array{id: string, titre: string, points: int, bonus: bool, reussi: bool, message: ?string}> $details
  */
 class Correction extends Model
 {