[P2][session] Renforcer les invariants sémantiques de LastResult #15

New issue

Open

opened 2026-07-31 21:05:12 +00:00 by mathieu · 1 comment

mathieu commented

2026-07-31 21:05:12 +00:00

Owner

Constat

LastResult.Validate vérifie surtout les champs structuraux (internal/session/result.go:160-221). Il accepte notamment failed sans erreur, completed avec erreur, des classes inconnues et des warnings incomplets.

Tâche

Valider la cohérence résultat/erreur, la taxonomie fermée, les messages/composants contrôlés et la présence explicite des champs du marker v1 garantis par les writers actuels.

Critères d'acceptation

Les combinaisons terminales incohérentes sont rejetées.
Toutes les sorties légitimes de bootstrap/orchestrateur round-trippent.
Aucun invariant nouveau ne rejette un fichier v1 réellement produit par Murmur.

Validation

go test -race ./internal/session ./internal/cli

## Constat `LastResult.Validate` vérifie surtout les champs structuraux (`internal/session/result.go:160-221`). Il accepte notamment `failed` sans erreur, `completed` avec erreur, des classes inconnues et des warnings incomplets. ## Tâche Valider la cohérence résultat/erreur, la taxonomie fermée, les messages/composants contrôlés et la présence explicite des champs du marker v1 garantis par les writers actuels. ## Critères d'acceptation - Les combinaisons terminales incohérentes sont rejetées. - Toutes les sorties légitimes de bootstrap/orchestrateur round-trippent. - Aucun invariant nouveau ne rejette un fichier v1 réellement produit par Murmur. ## Validation `go test -race ./internal/session ./internal/cli`