Contexte
La requalification de #16176 / PR #16280 confirme que l'instrumentation détecte désormais les payloads Lean. Elle a aussi mesuré quatre cellules committées portant une vraie severity: "error" :
SocialChoice/01b : cellules 28, 43 et 54 (execution_count 14, 20, 23) ;GameTheory-04b : cellule 28.
La provenance pédagogique historique est partiellement documentée par #9681 (tag raises-exception) et #9672 (04b cellule 28), toutes deux closes. Il manque un véhicule vivant pour décider, cellule par cellule, si l'erreur est intentionnelle et correctement déclarée ou si le source doit être réparé puis ré-exécuté.
Acceptance
Suivi distinct de #16176/#16280 : l'instrument doit pouvoir merger indépendamment de la résolution pédagogique de ces quatre cellules, mais le résidu ne doit pas disparaître au close.
Contexte
La requalification de #16176 / PR #16280 confirme que l'instrumentation détecte désormais les payloads Lean. Elle a aussi mesuré quatre cellules committées portant une vraie
severity: "error":SocialChoice/01b: cellules 28, 43 et 54 (execution_count 14, 20, 23) ;GameTheory-04b: cellule 28.La provenance pédagogique historique est partiellement documentée par #9681 (tag
raises-exception) et #9672 (04b cellule 28), toutes deux closes. Il manque un véhicule vivant pour décider, cellule par cellule, si l'erreur est intentionnelle et correctement déclarée ou si le source doit être réparé puis ré-exécuté.Acceptance
raises-exceptionexplicite et cohérent avec les gardes ;execution_count, outputs et absence de nouvelle erreur ;Suivi distinct de #16176/#16280 : l'instrument doit pouvoir merger indépendamment de la résolution pédagogique de ces quatre cellules, mais le résidu ne doit pas disparaître au close.