# 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.