cislunar-arc-recovery (scenariokind)

Scenariokind van de engine v0.40.0, familie Maan en cislunair. 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#

MODELLED test met onafhankelijke schatter van de cislunaire waarneembaarheidsdrempel voor booglengte. Die drempel is een RANG-bepaling op de waarneembaarheidsmatrix die is opgebouwd uit de ANALYTISCHE afstandsjacobiaanrijen en de ANALYTISCHE variationele toestandsovergangsmatrix, en zijn kruiscontrole met het square-root-informatiefilter vouwt diezelfde rijen — een consistentiecontrole tussen twee numerieke machines, geen bevestiging. Dit kind levert de ontbrekende scheidsrechter: een batch-kleinstekwadratenschatter die de begintoestand van de chief uit gesimuleerde metingen daadwerkelijk HERSTELT, met de meetpartiëlen genomen als CENTRALE FINITE DIFFERENCES van het samengestelde voorwaartse model. Hij roept geen analytische jacobiaanrij aan, geen variationele STM, geen singulierewaarde- of eigenwaardeontbinding, geen rangtolerantie en geen square-root-informatiefilter — een brontekstbewaking in tests/cislunar_arc_recovery_reference.rs maakt dat afdwingbaar — terwijl de dynamica (dezelfde RK4-CR3BP-stroom), de beginvoorwaarden (dezelfde differentieel gecorrigeerde constellatie), de scalaire waarneembare grootheid en het tijdstipraster bewust worden gedeeld en worden benoemd in het uitgegeven independence-blok, omdat twee analyses van één fysisch probleem het over de fysica eens moeten zijn om vergelijkbaar te zijn. Twee criteria, elk doorgerekend over vijf decaden van zijn eigen grens: RUISVRIJE HERSTELLING (de eindtoestandsfout van elke geseede trial is hoogstens recovery_factor maal zijn a-priori-verplaatsing — het rang-analogon, zonder singulierewaardetolerantie erin) en MONTE-CARLO-SCHATBAARHEID (de gemeten RMS-positiefout over een geseed ruis-ensemble onder een vermelde grens — het schatbaarheidsanalogon, gemeten in plaats van voorspeld). Ondersteunt de vlakke viertoestanden- en de ruimtelijke zestoestandenvariant, de families DRO / L2-halo / L2-NRHO, afstands- en afstandssnelheidswaarnemingen, en een Maan-gecentreerde polaire parametrisering waarin de transformatie op de TOESTAND wordt toegepast en het voorwaartse model daar opnieuw wordt gedifferentieerd. MEASURED op het gepubliceerde vlakke DRO-raster: de schatter herstelt de vier toestanden vanaf 0,782609 h tegenover 2,086957 h van het rangcriterium bij rel_tol 1e-6 (verhouding 0,375) — de rangdrempel is NIET bevestigd als herstelbaarheidsgrens — terwijl de gemeten schatbaarheidsgrens in dezelfde rastercel valt als de formele, 5,739130 h, en de gemeten foutcurve de formele 1-sigma over 21 booglengtes reproduceert tot een meetkundig-gemiddelde verhouding van 0,98. MODELLED: het constellatieontwerp, het tijdstipraster, de ene gevolgde link, de grootte van de verplaatsing, de meetsigma en de twee vermelde grenzen. Geen gecertificeerd product voor navigatieprestaties.

Eén run van scenarios/cislunar-arc-recovery.toml vat samen als: cislunar-arc-recovery | dro-familie, 4 toestanden, 4 s/c, afstandswaarneembaar, cartesische parametrisering | boog van 6,0 h, 24 tijdstippen (raster 0,260870 h), 32 trials, seed 20260920 | partiëlen met eindige differenties, geen analytische jacobiaan / STM / SVD / SRIF | ruisvrije herstelling vanaf 0,782609 h (factor 1e-2) tegenover Gramian-rangdrempel 2,086957 h | Monte-Carlo-schatbaarheid vanaf 5,739130 h (RMS pos ≤ 1,000 km, σ 1,000 m) tegenover Gramian-schatbaarheid 5,739130 h | RMS pos aan het einde van de boog 0,6026 km

Invoer#

Uit het schema (kshana kinds --json):

• Vereiste velden: geen
• Optionele velden: mu, arc_hours, epochs, steps, spatial, family, n_spacecraft, observable, coordinates, trials, seed, displacement_nd, recovery_factor, sigma_range_m, sigma_range_rate_mm_s, error_bound_km, max_iterations, rel_tol

Het voorbeeld scenarios/cislunar-arc-recovery.toml stelt onder meer in:

Uitvoeren#

kshana scenarios/cislunar-arc-recovery.toml

Wat het oplevert#

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

Resultaatlabel (van de engine): MODELLED cislunaire test voor herstel van de booglengte (corroboratie met onafhankelijke schatter van de P6-waarneembaarheidsdrempel). VALIDATED kern: de schatter is de reeds bestaande gewogen Gauss-Newton-batchcorrector van de crate (crate::batch_ls), waarvan de ontwerpmatrix een CENTRALE FINITE DIFFERENCE is van het samengestelde fo

Bewijs#

MODELLED: de rijen van de verificatiematrix die dit type noemen.

• MODELLED Een batch-kleinstekwadratenschatter die de begintoestand van de chief uit gesimuleerde meetwaarden tussen satellieten HERSTELT over groeiende prefixen van hetzelfde tijdstipraster dat de tabel rang-versus-boog gebruikt, met de meetpartiëlen genomen als centrale fini Tests: cislunar_arc_recovery_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
• MODELLED Een batch-kleinstekwadratenschatter die de begintoestand van de chief uit gesimuleerde meetwaarden tussen satellieten HERSTELT over groeiende prefixen van hetzelfde tijdstipraster. Onafhankelijke referentie (ReferenceImpl): Een afzonderlijke schatter in deze codebase op een ander algoritme en een disjunct codepad: niet-lineaire gewogen Gauss-Newton met partiëlen met eindige differenties, waarvan het oordeel wordt gelezen als een gemeten toestandsherstelfout in km en mm/s. Hij heeft geen enkele uitdrukking gemeen met de rang-en-covariantieroute van de Gramian, en de scheiding wordt AFGEDWONGEN door een brontekstbewaking in plaats van beweerd. MEASURED op het gepubliceerde vlakke DRO-raster: th

Beperkingen#

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

• MODELLED cislunaire test voor herstel van de booglengte (corroboratie met onafhankelijke schatter van de P6-waarneembaarheidsdrempel). VALIDATED kern: de schatter is de reeds bestaande gewogen Gauss-Newton-batchcorrector van de crate (crate::batch_ls), waarvan de ontwerpmatrix een CENTRALE FINITE DIFFERENCE is van het samengestelde voorwaartse model - hij roept geen analytische meetjacobiaanrij aan, geen variationele toestandsovergangsmatrix, geen singulierewaarde- o (resultaat label)
• MODELLED test met onafhankelijke schatter van de cislunaire waarneembaarheidsdrempel voor booglengte. (kindcatalogus (kshana kinds --json))
• MODELLED: het constellatieontwerp, het tijdstipraster, de ene gevolgde link, de grootte van de verplaatsing, de meetsigma en de twee vermelde grenzen. (kindcatalogus (kshana kinds --json))
• MODELLED: het constellatieontwerp, het tijdstipraster, de ene gevolgde link, de grootte van de verplaatsing, de meetsigma en de twee vermelde grenzen. Geen gecertificeerd product voor navigatieprestaties. (opmerking in het scenariobestand, regels 33 tot 35)
• 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))
• Corroboratie van de cislunaire booglengtedrempel met een onafhankelijke schatter is MODELLED, niet extern getoetst: gecontroleerd tegen een afzonderlijke implementatie in dezelfde codebase — onafhankelijk van de geteste eenheid, maar niet extern gezaghebbend. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#

• Familiepagina: Maan en cislunair
• Alle kinds: KINDS.md