2026-10-08 10:14:24 +02:00
|
|
|
<?php
|
|
|
|
|
|
|
|
|
|
namespace App\Services\Labs;
|
|
|
|
|
|
|
|
|
|
use Illuminate\Support\Facades\File;
|
|
|
|
|
use RuntimeException;
|
|
|
|
|
use Symfony\Component\Yaml\Yaml;
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Lit le lab.yaml d'un lab (voir paillasse-contenus/README.md pour le
|
ajoute le stock chaud, la correction automatique et les nouveaux essais de création de stack
Stock de stacks prêtes par lab dans Redis (prise atomique en Lua, ménage
par comparaison avec Heat, disjoncteur), files gérées par Horizon, séances
planifiables. Correcteur Go sur l'hyperviseur : socket Unix, commandes lues
dans le lab.yaml uniquement, exécution par l'agent invité QEMU. Une création
de stack ratée est supprimée et réessayée deux fois, puis la session passe
en échec, visible du prof.
Corrige aussi trois défauts des étapes précédentes : la console se coupait
à la première frappe d'un navigateur (trames texte), l'élève ne pouvait pas
rejoindre une séance, la déconnexion n'avait pas de jeton CSRF.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-08 21:52:16 +02:00
|
|
|
* format) : topologie pour GenerateurTemplateHeat, vérifications pour la
|
|
|
|
|
* correction.
|
2026-10-08 10:14:24 +02:00
|
|
|
*/
|
|
|
|
|
class DefinitionLab
|
|
|
|
|
{
|
|
|
|
|
public readonly string $identifiant;
|
|
|
|
|
|
ajoute le stock chaud, la correction automatique et les nouveaux essais de création de stack
Stock de stacks prêtes par lab dans Redis (prise atomique en Lua, ménage
par comparaison avec Heat, disjoncteur), files gérées par Horizon, séances
planifiables. Correcteur Go sur l'hyperviseur : socket Unix, commandes lues
dans le lab.yaml uniquement, exécution par l'agent invité QEMU. Une création
de stack ratée est supprimée et réessayée deux fois, puis la session passe
en échec, visible du prof.
Corrige aussi trois défauts des étapes précédentes : la console se coupait
à la première frappe d'un navigateur (trames texte), l'élève ne pouvait pas
rejoindre une séance, la déconnexion n'avait pas de jeton CSRF.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-08 21:52:16 +02:00
|
|
|
public readonly string $titre;
|
|
|
|
|
|
|
|
|
|
public readonly ?string $niveau;
|
|
|
|
|
|
|
|
|
|
public readonly ?int $dureeMin;
|
|
|
|
|
|
sépare la vitrine de l'application : vraie coquille, barre par rôle, chat
Une fois connecté, plus aucun lien vitrine : nouvelle layouts/app (barre
du haut avec menu avatar, barre latérale par rôle, bulle de chat
Messenger, barre d'onglets mobile). Les 10 entrées de navigation
demandées sont construites en vrai plutôt qu'en renvoi "bientôt
disponible" : Ma classe, Emploi du temps, Mes devoirs, Mes cours, Mes
notes côté élève ; Mes classes, Emploi du temps, Séances en direct,
Bibliothèque, Résultats (avec Observations, la dernière fonction
fictive du tableau de bord démo) côté prof.
Chat élève <-> prof de sa classe, jamais entre élèves. Mon profil,
Paramètres (thème, taille du texte), Signaler un problème, Mes
raccourcis. /eleve vidée des faux contenus ("À faire", "Ma progression",
"Mes QCM") restés avant le chantier "vrai cockpit".
Bug trouvé en testant en réel sur le serveur (pas en local) : le
compteur de messages non lus du chat ne redescendait jamais à zéro
(FilConversation sans lu_par_prof_a/lu_par_eleve_a dans son fillable) —
corrigé avec un test de non-régression.
Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
2026-10-13 18:21:28 +02:00
|
|
|
/** @var array<int, string> */
|
|
|
|
|
public readonly array $competences;
|
|
|
|
|
|
2026-10-08 10:14:24 +02:00
|
|
|
/** @var array<int, array{nom: string, cidr: string}> */
|
|
|
|
|
public readonly array $reseaux;
|
|
|
|
|
|
|
|
|
|
/** @var array<int, array{nom: string, image: string, flavor: string, reseaux: array<int, string>, preparation: ?string}> */
|
|
|
|
|
public readonly array $machines;
|
|
|
|
|
|
ajoute le stock chaud, la correction automatique et les nouveaux essais de création de stack
Stock de stacks prêtes par lab dans Redis (prise atomique en Lua, ménage
par comparaison avec Heat, disjoncteur), files gérées par Horizon, séances
planifiables. Correcteur Go sur l'hyperviseur : socket Unix, commandes lues
dans le lab.yaml uniquement, exécution par l'agent invité QEMU. Une création
de stack ratée est supprimée et réessayée deux fois, puis la session passe
en échec, visible du prof.
Corrige aussi trois défauts des étapes précédentes : la console se coupait
à la première frappe d'un navigateur (trames texte), l'élève ne pouvait pas
rejoindre une séance, la déconnexion n'avait pas de jeton CSRF.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-08 21:52:16 +02:00
|
|
|
/** @var array<int, array{id: string, titre: string, machine: string, points: int, message_echec: string, bonus: bool}> */
|
|
|
|
|
public readonly array $verifications;
|
|
|
|
|
|
2026-10-08 10:14:24 +02:00
|
|
|
public static function depuis(string $identifiantLab): self
|
|
|
|
|
{
|
ajoute le stock chaud, la correction automatique et les nouveaux essais de création de stack
Stock de stacks prêtes par lab dans Redis (prise atomique en Lua, ménage
par comparaison avec Heat, disjoncteur), files gérées par Horizon, séances
planifiables. Correcteur Go sur l'hyperviseur : socket Unix, commandes lues
dans le lab.yaml uniquement, exécution par l'agent invité QEMU. Une création
de stack ratée est supprimée et réessayée deux fois, puis la session passe
en échec, visible du prof.
Corrige aussi trois défauts des étapes précédentes : la console se coupait
à la première frappe d'un navigateur (trames texte), l'élève ne pouvait pas
rejoindre une séance, la déconnexion n'avait pas de jeton CSRF.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-08 21:52:16 +02:00
|
|
|
if (! preg_match('/^[a-z0-9][a-z0-9-]*$/', $identifiantLab)) {
|
|
|
|
|
throw new RuntimeException("Identifiant de lab invalide : {$identifiantLab}");
|
|
|
|
|
}
|
|
|
|
|
|
2026-10-08 10:14:24 +02:00
|
|
|
$chemin = config('labs.dossier')."/{$identifiantLab}/lab.yaml";
|
|
|
|
|
|
|
|
|
|
if (! File::exists($chemin)) {
|
|
|
|
|
throw new RuntimeException("Lab introuvable : {$chemin}");
|
|
|
|
|
}
|
|
|
|
|
|
ajoute le stock chaud, la correction automatique et les nouveaux essais de création de stack
Stock de stacks prêtes par lab dans Redis (prise atomique en Lua, ménage
par comparaison avec Heat, disjoncteur), files gérées par Horizon, séances
planifiables. Correcteur Go sur l'hyperviseur : socket Unix, commandes lues
dans le lab.yaml uniquement, exécution par l'agent invité QEMU. Une création
de stack ratée est supprimée et réessayée deux fois, puis la session passe
en échec, visible du prof.
Corrige aussi trois défauts des étapes précédentes : la console se coupait
à la première frappe d'un navigateur (trames texte), l'élève ne pouvait pas
rejoindre une séance, la déconnexion n'avait pas de jeton CSRF.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-08 21:52:16 +02:00
|
|
|
return new self(Yaml::parseFile($chemin));
|
|
|
|
|
}
|
2026-10-08 10:14:24 +02:00
|
|
|
|
ajoute le stock chaud, la correction automatique et les nouveaux essais de création de stack
Stock de stacks prêtes par lab dans Redis (prise atomique en Lua, ménage
par comparaison avec Heat, disjoncteur), files gérées par Horizon, séances
planifiables. Correcteur Go sur l'hyperviseur : socket Unix, commandes lues
dans le lab.yaml uniquement, exécution par l'agent invité QEMU. Une création
de stack ratée est supprimée et réessayée deux fois, puis la session passe
en échec, visible du prof.
Corrige aussi trois défauts des étapes précédentes : la console se coupait
à la première frappe d'un navigateur (trames texte), l'élève ne pouvait pas
rejoindre une séance, la déconnexion n'avait pas de jeton CSRF.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-08 21:52:16 +02:00
|
|
|
/**
|
|
|
|
|
* @return array<int, string>
|
|
|
|
|
*/
|
|
|
|
|
public static function identifiantsDisponibles(): array
|
|
|
|
|
{
|
|
|
|
|
return collect(File::directories(config('labs.dossier')))
|
|
|
|
|
->map(fn (string $dossier) => basename($dossier))
|
|
|
|
|
->filter(fn (string $id) => File::exists(config('labs.dossier')."/{$id}/lab.yaml"))
|
|
|
|
|
->values()
|
|
|
|
|
->all();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
public function nombreMachines(): int
|
|
|
|
|
{
|
|
|
|
|
return count($this->machines);
|
2026-10-08 10:14:24 +02:00
|
|
|
}
|
|
|
|
|
|
2026-10-12 21:32:52 +02:00
|
|
|
/**
|
|
|
|
|
* @param array<string, mixed> $donnees
|
|
|
|
|
*/
|
2026-10-08 10:14:24 +02:00
|
|
|
private function __construct(array $donnees)
|
|
|
|
|
{
|
|
|
|
|
$this->identifiant = $donnees['id'];
|
ajoute le stock chaud, la correction automatique et les nouveaux essais de création de stack
Stock de stacks prêtes par lab dans Redis (prise atomique en Lua, ménage
par comparaison avec Heat, disjoncteur), files gérées par Horizon, séances
planifiables. Correcteur Go sur l'hyperviseur : socket Unix, commandes lues
dans le lab.yaml uniquement, exécution par l'agent invité QEMU. Une création
de stack ratée est supprimée et réessayée deux fois, puis la session passe
en échec, visible du prof.
Corrige aussi trois défauts des étapes précédentes : la console se coupait
à la première frappe d'un navigateur (trames texte), l'élève ne pouvait pas
rejoindre une séance, la déconnexion n'avait pas de jeton CSRF.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-08 21:52:16 +02:00
|
|
|
$this->titre = $donnees['titre'];
|
|
|
|
|
$this->niveau = $donnees['niveau'] ?? null;
|
|
|
|
|
$this->dureeMin = $donnees['duree_min'] ?? null;
|
sépare la vitrine de l'application : vraie coquille, barre par rôle, chat
Une fois connecté, plus aucun lien vitrine : nouvelle layouts/app (barre
du haut avec menu avatar, barre latérale par rôle, bulle de chat
Messenger, barre d'onglets mobile). Les 10 entrées de navigation
demandées sont construites en vrai plutôt qu'en renvoi "bientôt
disponible" : Ma classe, Emploi du temps, Mes devoirs, Mes cours, Mes
notes côté élève ; Mes classes, Emploi du temps, Séances en direct,
Bibliothèque, Résultats (avec Observations, la dernière fonction
fictive du tableau de bord démo) côté prof.
Chat élève <-> prof de sa classe, jamais entre élèves. Mon profil,
Paramètres (thème, taille du texte), Signaler un problème, Mes
raccourcis. /eleve vidée des faux contenus ("À faire", "Ma progression",
"Mes QCM") restés avant le chantier "vrai cockpit".
Bug trouvé en testant en réel sur le serveur (pas en local) : le
compteur de messages non lus du chat ne redescendait jamais à zéro
(FilConversation sans lu_par_prof_a/lu_par_eleve_a dans son fillable) —
corrigé avec un test de non-régression.
Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
2026-10-13 18:21:28 +02:00
|
|
|
$this->competences = $donnees['competences'] ?? [];
|
2026-10-08 10:14:24 +02:00
|
|
|
$this->reseaux = $donnees['reseaux'];
|
|
|
|
|
$this->machines = array_map(
|
|
|
|
|
fn (array $m) => [
|
|
|
|
|
'nom' => $m['nom'],
|
|
|
|
|
'image' => $m['image'],
|
|
|
|
|
'flavor' => $m['flavor'],
|
|
|
|
|
'reseaux' => $m['reseaux'],
|
|
|
|
|
'preparation' => $m['preparation'] ?? null,
|
|
|
|
|
],
|
|
|
|
|
$donnees['machines'],
|
|
|
|
|
);
|
ajoute le stock chaud, la correction automatique et les nouveaux essais de création de stack
Stock de stacks prêtes par lab dans Redis (prise atomique en Lua, ménage
par comparaison avec Heat, disjoncteur), files gérées par Horizon, séances
planifiables. Correcteur Go sur l'hyperviseur : socket Unix, commandes lues
dans le lab.yaml uniquement, exécution par l'agent invité QEMU. Une création
de stack ratée est supprimée et réessayée deux fois, puis la session passe
en échec, visible du prof.
Corrige aussi trois défauts des étapes précédentes : la console se coupait
à la première frappe d'un navigateur (trames texte), l'élève ne pouvait pas
rejoindre une séance, la déconnexion n'avait pas de jeton CSRF.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-08 21:52:16 +02:00
|
|
|
// Les commandes et le résultat attendu ne sont lus que par le
|
|
|
|
|
// correcteur, sur l'hyperviseur : le portail n'en a pas besoin.
|
|
|
|
|
$this->verifications = array_map(
|
|
|
|
|
fn (array $v) => [
|
|
|
|
|
'id' => $v['id'],
|
|
|
|
|
'titre' => $v['titre'],
|
|
|
|
|
'machine' => $v['machine'],
|
|
|
|
|
'points' => (int) ($v['points'] ?? 1),
|
|
|
|
|
'message_echec' => $v['message_echec'] ?? 'Vérification non réussie.',
|
|
|
|
|
'bonus' => str_starts_with($v['id'], 'bonus-'),
|
|
|
|
|
],
|
|
|
|
|
$donnees['verifications'] ?? [],
|
|
|
|
|
);
|
2026-10-08 10:14:24 +02:00
|
|
|
}
|
|
|
|
|
}
|