[ADC-692] Prove scalar accuracy and conservative AMR coupling

[wolf75222]

Resultat

Le reaudit d'ADC-692 sur le master de3f6b56 a ferme trois preuves qui manquaient encore dans l'exemple final :

• la parite manuel/preset etait bit-identique, mais aucune erreur face a la solution analytique n'etait mesuree ;
• le reflux etait configure, mais le ledger natif et l'ordre reflux puis average_down n'etaient pas authentifies ;
• une hierarchie raffinee pouvait encore etre acceptee sans preuve qu'un regrid dynamique avait effectivement remplace la topologie et traverse un restart strict.

Cette PR :

• rouvre le VTU accepte, filtre les cellules grossieres couvertes et les cellules MPI repliquees, puis calcule L1/L2/Linf ponderees par le volume face a la solution exacte par caracteristiques ;
• impose une erreur L2 relative documentee <= 0.10 ;
• exige des contributions de flux sur chaque niveau et reflux -> average_down sur chaque relation parent/enfant, identiques apres restart ;
• capture les compteurs publics regrid_count et topology_epoch dans chaque snapshot ;
• refuse une hierarchie seulement statique et exige un regrid topologique termine avant le checkpoint puis pendant les continuations ininterrompue et restartee ;
• verifie simulation.amr.explain_checkpoint() avant publication et refuse toute violation du contrat de restart ;
• conserve separement l'etude de convergence 32^2/64^2/128^2/256^2 qui publie les ordres observes.

Historique conserve

1. examples: validate scalar accuracy and AMR coupling
2. tests: prove scalar acceptance evidence
3. docs: specify scalar accuracy and reflux gates
4. merge explicite du master courant
5. examples: prove scalar dynamic regrid restart
6. docs: specify scalar dynamic regrid evidence

Aucun squash, rebase, amend ni force-push.

Validation locale source-only

• tests purs ADC-692 : 6 passed
• gate final source : 12 passed
• Ruff sur les fichiers Python modifies : pass
• docs/check_docs.py : pass, avec un avertissement preexistant de fraicheur documentaire
• git diff --check : pass

Limites explicites

La lane ADC-692 n'a lance ni build ni test natif afin de ne pas concurrencer la lane de compilation ADC-687. Le test d'integration qui execute le solveur, rouvre les vrais artifacts et authentifie les nouveaux compteurs doit donc encore passer sur ce nouveau HEAD. La CI historique du precedent HEAD etait verte, mais elle ne constitue pas une preuve du code ajoute ici. Aucun mock, skip ou xfail n'a ete ajoute ; la PR reste en brouillon jusqu'a cette preuve native courante.