solar-system (scenariosoort)

Scenariokind van de engine v0.40.0, familie Constellaties, dekking en geometrie. 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#

Het hele zonnestelsel op één epoch, voor PNT (positiebepaling, navigatie en tijdsynchronisatie) rond elk hemellichaam. Voor de Zon, de acht planeten, Pluto, de Maan, Phobos, Deimos, Io, Europa, Ganymedes, Callisto en Titan rapporteert zij de heliocentrische positie en snelheid in de ICRF (International Celestial Reference Frame, equatoriaal J2000), de heliocentrische afstand en de ecliptische lengte en breedte in J2000, de gravitatieparameter, equatoriale en gemiddelde straal, J2 waar gepubliceerd en de bijbehorende referentiestraal, de siderische rotatieperiode, de IAU-pool en de nulmeridiaan op de epoch, een baanspoor bemonsterd over één omloop (heliocentrisch voor planeten, ouder-gecentreerd voor manen), en de lichttijd, enkele en dubbele afstand, de Shapiro-vertraging van de Zon en de scheiding met de Zon vanaf een waarnemerslichaam (standaard de Aarde); extra from/to-verbindingen krijgen dezelfde behandeling. Posities: de Kepler-elementen van JPL volgens Standish en Williams (Tabel 1 voor 1800 AD tot 2050 AD, Tabellen 2a/2b voor 3000 BC tot 3000 AD) met de nominale fout van elke planeet, de lunaire reeks van Montenbruck & Gill voor de splitsing Aarde-Maan, gemiddelde JPL-elementen met de synchrone IAU-rotatiesnelheid voor de manen van Mars en de Galileïsche manen, en het IAU-rotatiemodel voor Titan. Lichttijd: de radiometrische vastepuntsoplossing, met de zender op zijn vertraagde positie; Newtoniaans, met de Shapiro-vertraging apart gerapporteerd. VALIDATED tegen JPL Horizons (DE441) binnen tweemaal de nominale fout: Mercurius tot Saturnus en de Aarde uit Tabel 1 (slechtste 1,87 maal nominaal) en alle acht planeten uit Tabellen 2a/2b (slechtste 1,71 maal), en de lichttijd van de Aarde naar Mars en Jupiter. MODELLED, elke rij gelabeld: Uranus en Neptunus uit Tabel 1 (2,0 en 5,2 maal de nominale fout tegen DE441), Pluto (de rij van 1992; geen vermelde fout), de Maan en de zeven manen (gemeten tegen Horizons, geen gepubliceerde grens).

Eén run van scenarios/solar-system-tour.toml vat samen als: Zonnestelsel op 2026-09-28T00:00:00 (JD 2461311,50080 TDB), 18 hemellichamen, waarnemer Aarde Standish Tabel 1 (1800 AD tot 2050 AD) Zon 0,0000 au lengte 0,00 deg lichttijd 500,1 s [oorsprong] Mercurius 0,4666 au lengte 259,05 deg lichttijd 605,3 s [VALIDATED] Venus 0,7272 au lengte 348,72 deg lichttijd 182,1 s [VALIDATED] Aarde 1,0022 au lengte 4,52 deg waarnemer [VALIDATED] Maan 1,0046 au lengte 4,56 deg lichttijd 1,3 s [MODELLED] Mars 1,5544 au lengte 83,81 deg lichttijd 841,1 s [VALIDATED] Phobos 1,5545 au lengte 83,81 deg lichttijd 841,2 s [MODELLED] Deimos 1,5545 au lengte 83,80 deg lichttijd 841,1 s [MODELLED] Jupiter 5,3036 au lengte 130,91 deg lichttijd 2970,6 s [VALIDATED] Io 5,3049 au lengte 130,94 deg lichttijd 2971,5 s [MODELLED] Europa 5,2995 au lengte 130,93 deg lichttijd 2968,7 s [MODELLED] Ganymedes 5,3005 au lengte 130,98 deg lichttijd 2969,6 s [MODELLED] Callisto 5,3153 au lengte 130,96 deg lichttijd 2976,7 s [MODELLED] Saturnus 9,4356 au lengte 10,77 deg lichttijd 4212,2 s [VALIDATED] Titan 9,4401 au lengte 10,74 deg lichttijd 4214,3 s [MODELLED] Uranus 19,4363 au lengte 62,62 deg lichttijd 9444,1 s [MODELLED] Neptunus 29,8775 au lengte 2,62 deg lichttijd 14409,3 s [MODELLED] Pluto 35,6122 au lengte 304,19 deg lichttijd 17529,1 s [MODELLED] verbinding Mars -> Jupiter: enkele weg 2193,539 s, heen en terug 4386,919 s, Shapiro 15,0 us, Zon 15,0 deg verbinding Saturnus -> Aarde: enkele weg 4212,176 s, heen en terug 8424,347 s, Shapiro 22,1 us, Zon 172,5 deg verbinding Europa -> Jupiter: enkele weg 2,218 s, heen en terug 4,437 s, Shapiro 0,0 us, Zon 22,0 deg

Invoer#

Uit het schema (kshana kinds --json):

• Vereiste velden: geen
• Optionele velden: epoch, epoch_jd_tdb, bodies, observer, track_points, table, links

Het voorbeeld scenarios/solar-system-tour.toml stelt onder meer in:

Uitvoeren#

kshana scenarios/solar-system-tour.toml

Wat het oplevert#

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

Resultaatlabel (van de engine): MIXED: elk hemellichaam draagt zijn eigen label. De posities van de planeten zijn VALIDATED tegen JPL Horizons binnen tweemaal de nominale fout van Standish (Mercurius tot Saturnus en de Aarde uit Tabel 1; alle acht planeten uit Tabellen 2a/2b); Uranus en Neptunus uit Tabel 1, Pluto, de Maan en de zeven manen zijn MODELLED.

Bewijs#

MODELLED 2 · VALIDATED 3: de rijen van de verificatiematrix die deze soort noemen.

• VALIDATED De soort solar-system met planetary_kernel_path: elk gerapporteerd hemellichaam waarvan de eigen NAIF-code in de SPK staat, ontleent zijn heliocentrische J2000-positie en -snelheid aan de kernel via de eigen lezer van de engine (label KERNEL), een verbinding waarvan de twee uiteinden
• VALIDATED Heliocentrische posities van Mercurius, Venus, het zwaartepunt Aarde-Maan, de Aarde, Mars, Jupiter en Saturnus uit Standish Tabel 1 (1800 AD tot 2050 AD), en van alle acht planeten uit Tabellen 2a/2b (3000 BC tot 3000 AD, met de gemiddelde an Tests: solar_system_standish_earth_icrf_preregistered.rs.
• VALIDATED De newtoniaanse eenweg-lichttijd van een willekeurig lichaam naar een ander, ontvangen op een tijdstip, opgelost met de radiometrische vastepunt-lichttijdoplosser (radiometric::light_time_solution, zender op zijn vertraagde positie) via solar_system::link_o Tests: solar_system_light_time_preregistered.rs.
• MODELLED Posities van Uranus en Neptunus uit Standish Tabel 1 (de standaard binnen 1800 AD tot 2050 AD), Pluto uit de rij van 1992 van Tabel 1 die de huidige JPL-pagina niet meer vermeldt, en de heliocentrische snelheid van elke planeet: de tweelichamenafgeleide met Tests: solar_system_horizons_reference.rs.
• en 1 meer in de matrix.

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

• VALIDATED De soort solar-system met planetary_kernel_path: elk gerapporteerd hemellichaam waarvan de eigen NAIF-code in de SPK staat, ontleent zijn heliocentrische J2000-positie en -snelheid aan. Onafhankelijke referentie (ExternalDataset): NAIF SPICE Toolkit (CSPICE N0067 via spiceypy 8.3.0) spkezr heliocentrische toestanden op de volledige de440s.bsp, een afzonderlijk programma dat geen Kshana-code aanroept (tests/fixtures/solar_system_kernel/, NOTICE.md); de engine leest bit voor bit de uitsneden van de440s. Gepreregistreerd f8e946ea. Een bibliotheekcontrole van de bedrading: DE440 zelf en de analytische hemellichamen worden hier niet getoetst. Resultaten: docs/design/evidence/cap31-solar-system-kernel/RE
• 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 Heliocentrische posities van Mercurius, Venus, het zwaartepunt Aarde-Maan, de Aarde, Mars, Jupiter en Saturnus uit Standish Tabel 1 (1800 AD tot 2050 AD), en van alle . Onafhankelijke referentie (ExternalDataset): geometrische heliocentrische vectoren van JPL Horizons DE441 (ecliptica en ICRF), opgehaald na de preregistratiecommits 80451866, 8d38a28b en 558cc807. Drempel: per planeet en component RMS hoogstens 1.0x de benaderde fouten van de Explanatory Supplement 3rd ed. Tabel 8.10.1 (de EMB-rij voor de Aarde); de splitsing Aarde-EMB wordt rechtstreeks gecontroleerd tegen DE441 399 min 3, hoogstens 0,3 deg en 8,1 km op elke epoch 1950-2050 (de
• VALIDATED De Newtoniaanse enkele lichttijd van elk hemellichaam naar elk ander, ontvangen op een epoch, opgelost met de radiometrische vastepunts-lichttijdoplosser (radiometric::light_t. Onafhankelijke referentie (ExternalDataset): enkele Newtoniaanse neerwaartse lichttijd LT van JPL Horizons DE441 (VEC_CORR=LT, waarnemer in het middelpunt van de Aarde), gepreregistreerd (480037d3, amendement 54d5c86f dat alleen de afstand tussen interpolatieknopen wijzigde nadat de eerste ophaalactie de interpolatievoorwaarde van 10 m niet haalde, voordat enige lichttijd werd vergeleken) met een drempel van 1e-6 s per lichttijd, waarbij de oplosser DE441-barycentrische posities kreeg zodat de iteratie met vertraagde zender zichtbaar
• MODELLED Posities van Uranus en Neptunus uit Standish Tabel 1 (de standaard binnen 1800 AD tot 2050 AD), Pluto uit de rij van 1992 van Tabel 1 die de huidige JPL-pagina niet meer ver. Onafhankelijke referentie (ExternalDataset): gemeten tegen JPL Horizons DE441 (dezelfde vastgelegde fixtures), maar niet getoetst: de vermelde cijfers van Tabel 1 voor Uranus en Neptunus worden tot 2,0 en 5,2 maal overschreden tegen heliocentrische posities van DE441 (Neptunus voldoet daaraan tegen barycentrische posities, wat doet vermoeden dat de fit niet heliocentrisch was), de pagina vermeldt geen fout voor Pluto, en voor de snelheden bestaat geen gepubliceerde grens. Tabellen 2a/2b halen hun eigen

Beperkingen#

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

• MIXED: elk hemellichaam draagt zijn eigen label. De posities van de planeten zijn VALIDATED tegen JPL Horizons binnen tweemaal de nominale fout van Standish (Mercurius tot Saturnus en de Aarde uit Tabel 1; alle acht planeten uit Tabellen 2a/2b); Uranus en Neptunus uit Tabel 1, Pluto, de Maan en de zeven manen zijn MODELLED. Lichttijden zijn Newtoniaans, uit dezelfde posities. (resultaat label)
• MODELLED, elke rij gelabeld: Uranus en Neptunus uit Tabel 1 (2,0 en 5,2 maal de nominale fout tegen DE441), Pluto (de rij van 1992; geen vermelde fout), de Maan en de zeven manen (gemeten tegen Horizons, geen gepubliceerde grens). (soortencatalogus (kshana kinds --json))
• WAT VALIDATED IS, EN WAT NIET Elk hemellichaam draagt zijn eigen label. Mercurius tot Saturnus en de Aarde zijn VALIDATED tegen JPL Horizons (Development Ephemeris DE441) binnen tweemaal de nominale fout van de pagina van Standish. Uranus en Neptunus uit Tabel 1 overschrijden de cijfers van de pagina tegen DE441 (met 2,0 en 5,2 maal) en zijn MODELLED; dat geldt ook voor Pluto, de Maan en de zeven manen, die tegen Horizons zijn gemeten maar geen p (opmerking in het scenariobestand, regels 20 tot 25)
• 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))
• Uranus en Neptunus uit Standish Tabel 1, Pluto en planeetsnelheden is MODELLED, niet getoetst: een deelclaim is extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))
• Posities van de Maan en zeven grote manen (Phobos, Deimos, de Galileïsche manen, Titan) is MODELLED, niet getoetst: een deelclaim is extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))
• Fysische constanten van elk hemellichaam in het zonnestelsel en het rapport over het hele stelsel is MODELLED, niet getoetst: gecontroleerd aan de hand van de eigen gesloten-vormidentiteit of analytische identiteit — dat vangt transcriptie- en coëfficiëntfouten, maar is geen externe referentie. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#

• Familiepagina: Constellaties, dekking en geometrie
• Alle kinds: KINDS.md
• Onderwerppagina: SOLAR-SYSTEM.md
• Onderwerppagina: CONSTELLATION-DESIGN.md