Page : agreg-rekasator.astro (../../src/pages/outils/agreg-rekasator.astro).
Interface : Rekasator.svelte (../../src/components/Rekasator.svelte).
Calcul : rekasator.mjs (../../src/lib/rekasator.mjs) et Worker (../../src/workers/rekasator.worker.js).
L’outil recherche des sélections de développements couvrant des leçons d’agrégation. Importer un CSV/TSV UTF-8 ou coller les données ; contrôler les noms et recasages, choisir le périmètre de leçons et la plage de tailles à explorer, puis lancer.
La recherche s’effectue dans un Worker côté navigateur ; elle peut être interrompue. Elle s’arrête à la plus petite taille trouvée dans la plage demandée, conserve au maximum 200 solutions et dure au plus une minute par lancement. Une interruption ou une borne de recherche ne constitue pas une preuve d’optimalité globale.
Les listes de leçons proposées proviennent des références 2023 nommées dans le module ; les actualiser explicitement si le programme évolue. L’interface fournit exemple, export CSV et accès au script Python historique. Le code présenté et le moteur navigateur doivent être distingués.
Import limité à 2 Mo. Aucun résultat n’est envoyé au serveur par le calcul. Les droits de la page sont liés à sa fiche de catalogue.
Tests : tests/rekasator.test.mjs. Vérifier également l’import, l’arrêt, la relance, les cas sans solution et l’export.