M1a · Bezrozměrná numerická verifikace
FROZEN / CORE-VERIFIED / FULL-METHOD-OPEN
Testovací jádro nezávislé na vozidle odděluje kontroly identit, řešičů a událostí od validace fyzikálního modelu a skutečné dosažitelnosti A/B.
Vymezené testovací jádro
Generický bezrozměrný model hmotného bodu je matematický testovací problém, nikoli kalibrovaný model letadla. Uměle definovaná rychlost čerpání rozpočtu nemodeluje spotřebu chemického paliva na palubě. Testovací parametry se nepřenášejí na skutečné platformy.
Uváděná verifikace
Specifikace uvádí úspěšné kontroly energetických/disipačních identit, analytických referenčních řešení, srovnání s RK45, DOP853 a Radau i syntetických bran udržovacího intervalu. SPEC FROZEN / TESTKERN PASS / VOLLSTÄNDIGER M1a-NACHWEIS OPEN představuje omezený stav ověření.
Co zůstává otevřené
Chybí uzavřený test dosažitelnosti MEG pro obě varianty, globální certifikát nemožnosti, úplný důkaz existence/jednoznačnosti i empirická kalibrace. Shoda dvou řešičů tyto mezery neuzavírá.
Nezaměňovat třídy problémů
Počáteční úloha s předepsaným řízením a ukončením událostí není sama o sobě okrajovou úlohou. Pokud se řízení teprve hledá, mění se problém i důkazní povinnosti. Verifikace numerické metody zůstává oddělená od validace fyzikálního modelu.
Verze a návaznost
M0.6.7 zůstává nezměněnou koncepční referencí; M1a.0.1 je starší metodický text a M1a.0.2 rozhodující zmrazená specifikace. Rekonstrukční projektový master v1.1 není novou základní verzí M0/M1a. Žádná z těchto verzí není novou verzí jádra ROS.
Nová explicitní hranice modelu, nikoli nové zmrazení M1a
Pozdější výzkumná značka H-A-ATT-01 zůstává OPEN / NOT_VALIDATED. Generické testy hmotného bodu nepotvrzují ani dynamiku orientace a rotace, ani stabilizaci konkrétního letadla. Audit syntézy z 20. 10. rozšiřuje interpretaci, nikoli zmrazený rozsah testů.