WINDWAY DATA / RECHERCHE LOCALE
Une expérience ciblée. Un protocole vérifiable.
Expérimental · Pas une norme · Non évalué par les pairs
Protocole et dénominateur
50 grilles figées × 3 catégories d’échec × 3 politiques × 2 seeds = 900 cellules par invocation. Deux répétitions : 1 800 essais. Chaque politique compte 300 cellules par invocation ; il y a 150 scénarios, pas 1 800 problèmes indépendants.
- Réinitialiser la fixture figée et exécuter son préfixe de référence si nécessaire.
- Injecter une action typée sémantiquement invalide et exiger le rejet attendu.
- Exécuter la politique jusqu’à la cible ou épuisement du budget.
- Vérifier les transitions et l’oracle initial de coût exact ; rejouer toute la séquence.
Budget d’actions : min(128, max(16, longueur restante du plus court chemin + 8)). Les seeds 0 et 1 affectent uniquement la marche aléatoire. Pour les politiques déterministes, leurs répétitions sont des contrôles.
Preuves conservées
Entrées, cible et coût attendus, états réels, actions, observations, budgets, métriques et hashes des traces. Un audit distinct recalcule les coûts avec Bellman–Ford plutôt qu’avec le Dijkstra du runner.
900/900 traces rejouées, huit métriques recalculées et 900 traces corrompues rejetées par l’audit. Le runner rejette séparément 100 contrôles de coût erroné ou transition falsifiée.
Périmètre de reproduction
Mesuré sur Windows 11 avec CPython 3.13.5 et la bibliothèque standard. La reproduction multiplateforme n’a pas été mesurée. Cette page présente un résumé assaini ; le package de recherche local complet n’est pas téléchargeable publiquement.
Les hashes des sources déclarées correspondent. Un fichier de cache supplémentaire non déclaré dans le snapshot historique empêche d’affirmer un inventaire intégral propre ; ce snapshot n’a pas été réparé.
Limites d’interprétation
Le rejet ne modifie pas la carte. Visibilité totale et acceptation au coût exact font du planificateur un contrôle positif. Aucun intervalle de confiance, classement de modèles ou gain commercial revendiqué.
Consulter le résumé de preuves assaini ↗