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

CHANGELOG.md

@@ -18,6 +18,10 @@ Format: [Keep a Changelog](https://keepachangelog.com/en/1.1.0/); versioning
 
 ### Changed
 
+- The final scalar-advection acceptance now authenticates the public AMR regrid counters and strict
+  checkpoint capability. A pre-existing refined patch layout is no longer sufficient: the accepted
+  run and both continuation paths must complete the same topology-changing regrid windows, and
+  restart must preserve `regrid_count` and `topology_epoch` exactly.
 - Strict AMR checkpoint payload v7 now persists the accepted shared-interface flux audit together
   with Program clocks, histories, tagging state, conservative ledger and synchronization report.
   Restart validates every fragment's topology epoch, level pair, exact clock window, resolved

docs/tuto/scalar_advection/README.md

@@ -801,4 +801,14 @@ ici utilise SSPRK2.
 
 [L'exemple final d'advection scalaire](../../../examples/final/EXEMPLE_SPEC_FINALE_ADVECTION_SCALAIRE_COMPLET.py)
 compose toutes ces briques avec trois niveaux, diagnostics, controles d'identite et preuves de
-restart exhaustives.
+restart exhaustives. Son gate natif rouvre le dernier VTU accepte, ne conserve que les cellules
+feuilles AMR, calcule les normes ponderees par le volume face a la solution exacte transportee et
+impose une erreur L2 relative inferieure ou egale a `0.10`. Il authentifie aussi les contributions
+de flux de chaque niveau et l'ordre `reflux`, puis `average_down`, pour chaque relation parent/enfant.
+Une hierarchie raffinee preexistante ne suffit pas : le gate lit les compteurs publics
+`regrid_count` et `topology_epoch`, exige un remplacement topologique termine avant le checkpoint et
+pendant chaque continuation, puis verifie leur restauration exacte. Il refuse aussi la publication si
+`simulation.amr.explain_checkpoint()` signale une violation du contrat de restart strict.
+L'etude `15_openmp_convergence.py` reste la preuve separee de raffinement conjoint MUSCL/SSPRK2 :
+elle exige la decroissance de L1, L2 et Linf sur les grilles 32², 64², 128² et 256² et publie les
+ordres observes plutot que de supposer un ordre effectif constant pres des extrema limites.