PANDROSION 449 — correction et validation

Un fichier NumPy autonome, un moteur Newton/Gauss–Newton avec exploration intégrée, aucun fallback. La modification porte sur le quota des sondes ; le seuil de racine reste 1e-8 et la limite physique reste 6 000 appels.
Le cas U-2026103130 / 184 et les régressions antérieures ont servi au développement. Les graines U=2026103111…2026103130 sont maintenant connues. Les dix graines U=2026103131…2026103140 ont été réservées au contrôle de cette version figée.

PROTOCOLE
Trois répétitions intercalées, callbacks et départs identiques, mêmes juges historiques, tolérances et budgets physiques. Réussite stable = les trois répétitions passent. Temps = somme des médianes par configuration, hors préparation et juges. Aucun Jacobien analytique fourni. Les paramètres internes publiés restent propres à chaque version.
Racines : résidu Euclidien ≤1e-8. Moindres carrés : juge externe historique de stationnarité. MGH : objectif de référence parfois positif ; une réussite n’est pas nécessairement une racine. Les 92 paires MGH dans chacun des trois modes constituent des configurations distinctes et sont incluses dans le total historique de 4 676.

| Série | Cas | Réussites 448 | Réussites 449 | Temps 448 | Temps 449 | Appels 448 | Appels 449 |
|---|---:|---:|---:|---:|---:|---:|---:|
| historical | 4400 | 4396 | 4396 | 9.442 s | 9.437 s | 323206 | 323206 |
| development | 3300 | 3298 | 3298 | 7.978 s | 7.993 s | 260494 | 260881 |
| known_U | 6600 | 6587 | 6589 | 16.569 s | 16.422 s | 565785 | 558908 |
| MGH-root | 92 | 89 | 89 | 7.342 s | 7.434 s | 220511 | 220511 |
| MGH-ls | 92 | 92 | 92 | 2.517 s | 2.549 s | 76229 | 76229 |
| MGH-auto | 92 | 92 | 92 | 2.447 s | 2.457 s | 84856 | 84856 |
| polynomials | 11 | 11 | 11 | 0.003 s | 0.003 s | 143 | 143 |
| structures | 72 | 72 | 72 | 0.039 s | 0.039 s | 1677 | 1677 |
| remote-flat | 36 | 36 | 36 | 0.265 s | 0.266 s | 35012 | 35012 |
| historical_4676 | 4676 | 4669 | 4669 | 21.748 s | 21.877 s | 704802 | 704802 |
| fresh | 3300 | 3295 | 3295 | 7.928 s | 7.950 s | 257199 | 257171 |
Tous les cas connus : 448 14673/14695, 46.602 s ; 449 14675/14695, 46.600 s (-0.00 %).
Lot inédit : 448 3295/3300, 7.928 s ; 449 3295/3300, 7.950 s (+0.28 %).

COÛT SUR LES RÉUSSITES COMMUNES
| Série | Cas | Temps 448 | Temps 449 | Appels 448 | Appels 449 |
|---|---:|---:|---:|---:|---:|
| historical | 4396 | 9.024 s | 9.020 s | 299961 | 299961 |
| development | 3298 | 7.843 s | 7.856 s | 254001 | 254388 |
| known_U | 6587 | 15.073 s | 15.099 s | 495816 | 496876 |
| MGH-root | 89 | 6.573 s | 6.652 s | 202841 | 202841 |
| MGH-ls | 92 | 2.517 s | 2.549 s | 76229 | 76229 |
| MGH-auto | 92 | 2.447 s | 2.457 s | 84856 | 84856 |
| polynomials | 11 | 0.003 s | 0.003 s | 143 | 143 |
| structures | 72 | 0.039 s | 0.039 s | 1677 | 1677 |
| remote-flat | 36 | 0.265 s | 0.266 s | 35012 | 35012 |
| historical_4676 | 4669 | 20.561 s | 20.678 s | 663887 | 663887 |
| fresh | 3295 | 7.023 s | 7.054 s | 228156 | 228128 |

CAS DEMANDÉ ET DOUZE CORRECTIONS PRÉCÉDENTES
| Groupe | Cas | Famille | Résidu 449 | Appels | Répétitions réussies |
|---|---:|---|---:|---:|---:|
| U-2026103130 | 184 | ill-conditioned | 7.45149031364e-09 | 401 | 3/3 |
| N-2026103103 | 197 | ill-conditioned | 4.01943669423e-14 | 216 | 3/3 |
| N-2026103105 | 206 | ill-conditioned | 2.91038304567e-11 | 4916 | 3/3 |
| N-2026103107 | 196 | ill-conditioned | 6.85523147316e-12 | 1280 | 3/3 |
| U-2026103117 | 198 | ill-conditioned | 2.84217094304e-13 | 5001 | 3/3 |
| U-2026103118 | 180 | ill-conditioned | 1.60777467769e-13 | 2220 | 3/3 |
| H-2026100602 | 194 | ill-conditioned | 0 | 1253 | 3/3 |
| N-2026103103 | 177 | singular-m4 | 2.25427164492e-09 | 423 | 3/3 |
| N-2026103104 | 113 | over-inconsistent | 0.836685030309 | 105 | 3/3 |
| N-2026103108 | 181 | ill-conditioned | 1.16415321827e-10 | 442 | 3/3 |
| N-2026103110 | 98 | over-inconsistent | 1.24495286289 | 161 | 3/3 |
| N-2026103110 | 186 | ill-conditioned | 7.4515051333e-09 | 1122 | 3/3 |
| MGH-ls | 2 | bard | 0.090635960339 | 108 | 3/3 |

PERTES ET CONTRÔLES
Pertes face à la 448 : 0 sur les configurations connues ; 0 sur le lot inédit. Le détail est dans remaining_losses_vs_448.json.
Zéro exception, zéro dépassement du budget physique et zéro désaccord avec le compteur externe ; verdicts stables sur les trois répétitions. Tous les fallback_steps de 449 sont nuls.
Une absence de perte sur ces corpus ne constitue pas une garantie de supériorité pour tout système ou départ.

RACINES SCALAIRES SPÉCIALISÉES
Les routines scalaires sont héritées sans modification de formule. Référence Decimal à 90 chiffres sur les valeurs binary64 exactes ; critère relatif externe ≤1e-12 et tolérance logarithmique native 2e-15. Ce bloc est distinct du solveur général de callbacks.
448: {'ok': 2580, 'n': 2580, 'seconds': 0.012516216578660533, 'max_relative_error': 2.0485965266368533e-15, 'fallback_steps': 0, 'median_iterations': 3.0}
449: {'ok': 2580, 'n': 2580, 'seconds': 0.012540236173663288, 'max_relative_error': 2.0485965266368533e-15, 'fallback_steps': 0, 'median_iterations': 3.0}

LEAN ET REPRODUCTION
81 tests Python passent. 100 énoncés Lean uniques ont été vérifiés dans Docker avec Lean 4.33.1 et Mathlib v4.33.1, dont deux nouveaux résultats de réserve du budget. Aucun sorry/admit/axiome personnalisé/oracle numérique. Trois avertissements de style hérités.
La politique à deux niveaux est monotone avec la précision et conserve une réserve sous les hypothèses de compte exact. Cela ne prouve ni la convergence sur chaque callback ni le code Python/NumPy de bout en bout. Lire PROOF_COVERAGE.txt.
Les limites mathématiques de la 448 et son examen de openai/math restent documentés dans les fichiers joints. Aucun transfert nouveau de l’algorithme ETH/SAT n’est revendiqué.
Les commandes sont dans README.md. Les copies de validation ne sont pas requises à l’exécution du fichier autonome. Les temps dépendent de la machine et du coût des callbacks ; les sources sont identifiées par SHA-256 dans PROVENANCE.json.