Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

verification:rechargement:solveur_balistique [2026/08/10 01:21] – créée - modification externe 127.0.0.1verification:rechargement:solveur_balistique [2026/08/25 04:32] (Version actuelle) – modification externe 127.0.0.1
Ligne 81: Ligne 81:
  
 **Le solveur s'arrête à la distance demandée**, sans le signaler. Interroger la trajectoire au-delà rend silencieusement le dernier point calculé. Ce n'est pas un défaut du code — mais tout banc de test doit vérifier que le point obtenu atteint bien la distance visée, faute de quoi il compare des trajectoires tronquées en croyant faire varier un paramètre. C'est arrivé pendant cet audit, et cela a d'abord ressemblé à un bug du solveur. **Le solveur s'arrête à la distance demandée**, sans le signaler. Interroger la trajectoire au-delà rend silencieusement le dernier point calculé. Ce n'est pas un défaut du code — mais tout banc de test doit vérifier que le point obtenu atteint bien la distance visée, faute de quoi il compare des trajectoires tronquées en croyant faire varier un paramètre. C'est arrivé pendant cet audit, et cela a d'abord ressemblé à un bug du solveur.
 +
 +## Addendum du 2026-08-25 — la section « 4/π » ci-dessus a été infirmée
 +
 +La section « Le facteur qui ressemblait à un bug et n'en est pas » conclut que le facteur 4/π était correct, « établi sans ambiguïté » par un test. Elle date du 2026-08-09 ; le 2026-08-22, la première confrontation à une référence point-masse tierce a montré le contraire : les tables de traînée supersoniques étaient fausses au-dessus de Mach 1,03, et le 4/π compensait exactement cette erreur sur un cas particulier. Le contre-exemple chiffré de la section (1 462 fps contre 1 153 à 1 000 yd) était calculé **avec les tables fausses des deux côtés** : juste dans son arithmétique, il ne prouvait rien sur la physique. Le facteur a été retiré, les tables corrigées le jour même — voir [[verification:rechargement:calculateur_balistique|la fiche du calculateur]] pour l'histoire complète.
 +
 +Le dernier point de « Ce qui n'a pas été vérifié » est également dépassé : la grille nocturne contre une référence tierce gelée tourne depuis le 2026-08-22 (quatorze cas, 162 points).
 +
 +Leçon pour la passe, qui vaut plus que le détail technique : un test « qui l'établit sans ambiguïté » n'établit au mieux que la **cohérence entre objets qui descendent de la même source**. Ici, solveur, test et contre-exemple descendaient des mêmes tables fausses — le contrôle était parfait et portait sur le vide. C'est la raison d'être du troisième avis.
  
 ## Ce qui n'a pas été vérifié ## Ce qui n'a pas été vérifié
verification/rechargement/solveur_balistique.1786324876.txt.gz · Dernière modification : de 127.0.0.1