realtime-frame-eop (scenariosoort)

Scenariokind van de engine v0.40.0, familie GNSS-metingen, positiebepaling en integriteit. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen veiligheidskritieke dienst. Elk label hier is dat van de engine of van de verificatiematrix; een kind is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

Budget voor de voorspelling van het lunaire referentiestelsel / de aardoriëntatie in realtime: P4 Tabel 1 (de consistentiecontrole van de referentiestelselfout — nabewerkt ~0,27 m ↔ ~0,010 ms en realtime ~15 m ↔ ~0,5 ms, elke positie in het referentiestelsel uitgedrukt als de equivalente UT1-fout via de hefboomarm L19 Δr = D_EM·ω⊕·ΔUT1) en Tabel 2 (gemeten UT1-voorspelfout tegenover horizon — de L18-curve rechtstreeks afgelezen uit de echte IERS finals2000A-reeks: de eindondergrens Bulletin A − Bulletin B en de voorspelfout van de persistentievoorspeller over meerdere dagen, elk via L19 afgebeeld op een positie in het Maanstelsel), plus het kwadratische-sombudget L21 voor de realtime referentiestelselfout (EOP + efemeride + realisatieondergrens). VALIDATED gesloten vorm (de hefboomarm L19, ω⊕ gecontroleerd tegen de CIO-aardrotatiehoek) en VALIDATED echte data (de L18-curve uit de echte rijen van finals2000A); MODELLED zijn de groottes van de covariantie van baanbepaling voor het lunaire relais en de realisatieondergrens van het referentiestelsel (representatieve toewijzingen) en de persistentievoorspeller (niet het operationele Bulletin A-algoritme van de IERS). Geen gecertificeerd realtime referentiestelselproduct.

Eén run van scenarios/realtime-frame-eop.toml vat samen als: realtime-frame-eop | Tabel 1: nabewerkt 0,27 m (0,0096 ms UT1) ↔ realtime 14,4 m (0,514 ms UT1) | Tabel 2: eindondergrens 0,0171 ms → 3 dagen 1,6644 ms | totaalbudget 20,1 m (67,0 ns) | hefboomarm L19 + echte data L18 (getoetst), OD-cov (gemodelleerd)

Invoer#

Uit het schema (kshana kinds --json):

• Vereiste velden: geen
• Optionele velden: epoch, horizons_days, ephemeris_pos_sigma_m, ephemeris_vel_sigma_mps, latency_s, frame_realization_floor_m, delta_ut1_ms, delta_xp_mas, delta_yp_mas, eop_finals2000a, eop_finals2000a_later, frame_realization_tie_noise_m, operational_window_days, operational_min_cycle_fraction, operational_anchor_residual

Het voorbeeld scenarios/realtime-frame-eop.toml stelt onder meer in:

Uitvoeren#

kshana scenarios/realtime-frame-eop.toml

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Resultaatlabel (van de engine): Budget voor de voorspelling van het lunaire referentiestelsel / de aardoriëntatie in realtime. VALIDATED gesloten vorm: de hefboomarm L19 (1 ms ↔ 28,03 m ↔ 93,5 ns), ω⊕ gecontroleerd tegen de CIO-aardrotatiehoek. VALIDATED echte data: de L18-voorspelfoutcurves voor UT1 en poolbeweging, rechtstreeks afgelezen uit de echte IERS finals200

Bewijs#

MODELLED 1 · VALIDATED 2: de rijen van de verificatiematrix die dit kind noemen.

• VALIDATED Eén tabel rapporteert de UT1-voorspelfout, de poolfout van de poolbeweging en hun kwadratische combinatie bij de Maan over een IDENTIEKE epochset per horizon, en geeft de epochs af waarop elke component is gemeten. Tests: embedded_eop_vintage_astropy_preregistered.rs.
• VALIDATED De standaard tijdens runtime van realtime-frame-eop is de eigen ingebedde kopie van de bibliotheek van een letterlijk uittreksel van IERS finals2000A (tools/finals2000A_20260930.txt: 174 opeenvolgende dagrijen, MJD 61224-61397, geknipt uit de finals2000A.all van 2026-09-30) met Tests: operational_eop_predictor_reference.rs.
• MODELLED Een kleinste-kwadratenfit van bias plus helling over een achterliggend venster plus de voornaamste periodieke termen — jaarlijks, halfjaarlijks en de twee voornaamste zonale getijden voor UT1; Chandler, jaarlijks en halfjaarlijks voor de pool — geëxtrapoleerd met de laatste in-venster Tests: operational_eop_predictor_reference.rs.

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

• MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED
• VALIDATED Eén tabel rapporteert de UT1-voorspelfout, de poolfout van de poolbeweging en hun kwadratische combinatie bij de Maan over een IDENTIEKE epochset per horizon, en geeft. Onafhankelijke referentie (ExternalDataset): astropy 8.0.1 utils.iers (BSD-3) dat het IERS-product finals2000A leest met zijn eigen regel Bulletin B anders A, en volledige hemels-naar-terrestrische rotaties van pyerfa 2.0.1.5 (SOFA) (c2i06a, sp00, pom00, c2tcio; de aardrotatiehoek volgens IERS 2010 vgl. 5,15 in exacte rekenkunde), gedraaid als afzonderlijke programma's op letterlijke rijen van de bevroren finals2000A.all van 2026-09-30; gepreregistreerd (455b8fb5) met amendementen A1 en A2 die alleen vastleggen
• VALIDATED De standaard tijdens runtime van realtime-frame-eop is de eigen ingebedde kopie van de bibliotheek van een letterlijk uittreksel van IERS finals2000A (tools/finals2000A_20260930.txt: 174 opeenvolgende. Onafhankelijke referentie (ExternalDataset): astropy 8.0.1 astropy.utils.iers.IERS_A (BSD-3-Clause), dat dezelfde bytes leest met zijn eigen lezer, en de tabel van IERS Bulletin A Vol. XXXIX No. 039, getal voor getal overgenomen; gepreregistreerd (6fdae01b) met zes exacte criteria voordat astropy werd gedraaid. Alle zes gelden: 30 definitieve, 54 snelle en 90 voorspelde rijen met gelijke MJD-lijsten, elke voorspelde rij met vlag P, de telling van de standaardrun gelijk, en de voorspellingen gelijk aan Bullet
• MODELLED Een kleinste-kwadratenfit van bias plus helling over een achterliggend venster plus de voornaamste periodieke termen — jaarlijks, halfjaarlijks en de twee voornaamste zonale getijden voor UT1; Cha. Onafhankelijke referentie (ReferenceImpl): drie onafhankelijke routes, geen van hen een gepubliceerd cijfer voor voorspelnauwkeurigheid. (1) Een analytisch signaal met bekende coëfficiënten — de enige manier om de periodieke machinerie te beproeven, omdat geen enkele vastgelegde reeks lang genoeg is voor een jaarlijkse term. (2) De gangbare kleinste-kwadratenoplossing in gesloten vorm, andere algebra dan de matrixoplossing die wordt getest, op echte rijen. (3) De echte gearchiveerde voorspelrijen van Bulletin A die de

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

• Budget voor de voorspelling van het lunaire referentiestelsel / de aardoriëntatie in realtime. VALIDATED gesloten vorm: de hefboomarm L19 (1 ms ↔ 28,03 m ↔ 93,5 ns), ω⊕ gecontroleerd tegen de CIO-aardrotatiehoek. VALIDATED echte data: de L18-voorspelfoutcurves voor UT1 en poolbeweging, rechtstreeks afgelezen uit de echte IERS finals2000A-reeks (Bulletin A snel tegenover Bulletin B definitief, en persistentie over meerdere dagen over de echte dagrijen). AFGELEID: het referentiestelsel (resultaat label)
• VALIDATED gesloten vorm (de hefboomarm L19, ω⊕ gecontroleerd tegen de CIO-aardrotatiehoek) en VALIDATED echte data (de L18-curve uit de echte rijen van finals2000A); MODELLED zijn de groottes van de covariantie van baanbepaling voor het lunaire relais en de realisatieondergrens van het referentiestelsel (representatieve toewijzingen) en de persistentievoorspeller (niet het operationele Bulletin A-algoritme van de IERS). (soortencatalogus (kshana kinds --json))
• Eerlijkheid: VALIDATED gesloten vorm (de hefboomarm L19, omega_earth gecontroleerd tegen de CIO-aardrotatiehoek) en VALIDATED echte data (de L18-curven voor UT1 en poolbeweging uit de echte rijen van finals2000A). AFGELEIDE realisatieondergrens van het referentiestelsel (het Helmert-restant na de fit). MODELLED zijn de groottes van de covariantie van baanbepaling voor het lunaire relais (0,27 m nabewerkt, ~14,4 m realtime bij een latentie van een uur — een afgeronde, niet teruggerekende, al (opmerking in het scenariobestand, regels 27 tot 32)
• Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))
• De voorspelfout van de aardoriëntatie in operationele stijl, gemeten als voorspeld tegenover definitief, is MODELLED, niet getoetst: gecontroleerd aan de hand van een afzonderlijke implementatie in dezelfde codebasis — onafhankelijk van de geteste eenheid, maar niet extern gezaghebbend. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#

• Familiepagina: GNSS-metingen, positiebepaling en integriteit
• Alle kinds: KINDS.md
• Onderwerppagina: integrations.md