Des séquences de mathématiques vérifiables

Cette application assemble le pipeline : un brief, un dossier documentaire tiré du programme officiel saisi et de la base didactique, une proposition de séquence, des contrôles, puis une validation explicite avant tout export.

Ce que la vérification couvre, et ce qu’elle ne couvre pas

Un moteur de calcul rejoue les corrigés : chaque étape doit valoir la précédente, et la réponse doit vérifier l’énoncé quand celui-ci porte une égalité. Sa portée dépend du chapitre. Un calcul littéral se vérifie presque entièrement ; une justification rédigée, une construction géométrique ou la lecture d’une abscisse ne se recalculent pas — et le produit le dit exercice par exercice plutôt que de laisser croire le contraire.

Ce qui n’est pas encore construit

• La facturation. Les crédits sont décrits et calibrés ; aucun paiement n’est branché.
• La retouche assistée. L’écran d’édition existe mais demande d’écrire la notation à la main. Il relève de l’offre premium, pas du premier périmètre.
• L’habillage. Cette page n’a aucune feuille de style : c’est du balisage nu, en attendant la passe de design.