quality/math-reference-decision.md

BacPilot Maroc — Référentiel mathématique MVP

Décision

BacPilot conserve Wolfram comme référentiel mathématique externe principal pour le MVP.

Nom officiel :

WOLFRAM_CORRECTION_REFERENCE

Architecture retenue

SymPy = validateur local déterministe.

Wolfram = référentiel mathématique externe principal.

MaxProof = option future expérimentale, non retenue pour le MVP.

Règle d'arbitrage

Si SymPy et Wolfram donnent la même réponse :

• utiliser la réponse commune ;
• statut : AGREEMENT.

Si SymPy échoue mais Wolfram réussit :

• utiliser Wolfram ;
• statut : WOLFRAM_ONLY ;
• confiance maximale : PROBABLE.

Si SymPy et Wolfram divergent :

• préférer Wolfram pour la valeur mathématique ;
• conserver la divergence ;
• baisser la confiance ;
• router vers HUMAN_REVIEW_REQUIRED si la divergence influence la note.

Si Wolfram échoue mais SymPy réussit :

• utiliser SymPy ;
• statut : SYMPY_ONLY.

Si les deux échouent :

• ne pas inventer de résultat ;
• statut : NO_CAS_VALIDATION.

Limite

Wolfram ne remplace pas :

• le barème JSON ;
• l’énoncé exact ;
• la correction pédagogique ;
• l’analyse de méthode ;
• la notation des justifications ;
• la validation professeur finale.

Conclusion

Pour le MVP BacPilot :

SymPy + Wolfram est l’architecture retenue.