cislunar-arc-recovery (scenariotyp)

Scenariotyp i motor v0.40.0, familj Måne och cislunart. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).

Vad den gör#

MODELLED test med oberoende estimator av observerbarhetströskeln för cislunar båglängd. Den tröskeln är en RANG-avläsning på observerbarhetsmatrisen som byggs av de ANALYTISKA avståndsjakobiraderna och den ANALYTISKA variationella tillståndsövergångsmatrisen, och dess kontroll med kvadratrotsinformationsfiltret viker in just de raderna — en konsistenskontroll mellan två numeriska maskiner, inte styrkande belägg. Den här typen tillhandahåller den saknade skiljedomaren: en batch-estimator med minsta kvadrat som faktiskt ÅTERFINNER chefens initialtillstånd från simulerade mätningar, med mätpartialerna tagna som CENTRALA FINITA DIFFERENSER av den sammansatta framåtmodellen. Den anropar ingen analytisk jakobirad, ingen variationell STM, ingen singulärvärdes- eller egenvärdesuppdelning, ingen rangtolerans och inget kvadratrotsinformationsfilter — en källtextspärr i tests/cislunar_arc_recovery_reference.rs gör det verkställbart — medan dynamiken (samma RK4-CR3BP-flöde), begynnelsevillkoren (samma differentialkorrigerade konstellation), den skalära observabeln och epokrutnätet delas medvetet och namnges i det utsända independence-blocket, eftersom två analyser av ett fysikaliskt problem måste vara överens om fysiken för att vara jämförbara. Två kriterier, vart och ett svept över fem dekader av sin egen gräns: BRUSFRI ÅTERFINNING (varje seedad körnings slutliga tillståndsfel högst recovery_factor gånger dess a priori-förskjutning — rangmotsvarigheten, utan singulärvärdestolerans i sig) och MONTE CARLO-SKATTBARHET (det uppmätta RMS-positionsfelet över en seedad brusensemble under en angiven gräns — skattbarhetsmotsvarigheten, uppmätt i stället för förutsagd). Stöder det plana fyratillståndet och det rumsliga sextillståndet, familjerna DRO / L2 halo / L2 NRHO, observabler för avstånd och avståndshastighet, och en månecentrerad polär parametrisering där transformationen tillämpas på TILLSTÅNDET och framåtmodellen deriveras om där. MEASURED på det publicerade plana DRO-rutnätet: estimatorn återfinner fyratillståndet från 0,782609 h mot rangkriteriets 2,086957 h vid rel_tol 1e-6 (kvot 0,375) — rangtröskeln är INTE styrkt som gräns för återfinnbarhet — medan den uppmätta skattbarhetsgränsen hamnar i samma rutnätscell som den formella, 5,739130 h, och den uppmätta felkurvan reproducerar den formella 1-sigma över 21 båglängder till en geometrisk medelkvot på 0,98. MODELLED: konstellationsutformningen, epokrutnätet, den enda spårade länken, förskjutningens storlek, mätsigman och de två angivna gränserna. Inte en certifierad produkt för navigeringsprestanda.

En körning av scenarios/cislunar-arc-recovery.toml sammanfattas som: cislunar-arc-recovery | dro-familj, 4 tillstånd, 4 s/c, avståndsobservabel, kartesisk parametrisering | 6,0 h båge, 24 epoker (rutnät 0,260870 h), 32 körningar, frö 20260920 | partialer med finita differenser, ingen analytisk jakobian / STM / SVD / SRIF | brusfri återfinning från 0,782609 h (faktor 1e-2) mot Gramian-rangtröskel 2,086957 h | Monte Carlo-skattbarhet från 5,739130 h (RMS pos ≤ 1,000 km, σ 1,000 m) mot Gramian-skattbarhet 5,739130 h | RMS pos vid bågens slut 0,6026 km

Indata#

Från schemat (kshana kinds --json):

• Obligatoriska fält: inga
• Valfria fält: 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

Exemplet scenarios/cislunar-arc-recovery.toml anger bland annat:

Kör den#

kshana scenarios/cislunar-arc-recovery.toml

Vad den ger#

De skalära resultaten av den körningen, med de enheter som motorn anger:

Resultatetikett (motorns): MODELLED test av återfinning av cislunar båglängd (korroboration med oberoende estimator av P6-observerbarhetströskeln). VALIDATED kärna: estimatorn är cratens redan befintliga viktade Gauss-Newton-batchkorrigerare (crate::batch_ls), vars designmatris är en CENTRAL FINIT DIFFERENS av den sammansatta fo

Evidens#

MODELLED: raderna i verifieringsmatrisen som nämner den här typen.

• MODELLED En batch-estimator med minsta kvadrat som ÅTERFINNER chefens initialtillstånd från simulerade mätningar mellan satelliter över växande prefix av samma epokrutnät som tabellen rang-mot-båge använder, med mätpartialerna tagna som centrala finita Tester: cislunar_arc_recovery_reference.rs.

De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):

• MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED
• MODELLED En batch-estimator med minsta kvadrat som ÅTERFINNER chefens initialtillstånd från simulerade mätningar mellan satelliter över växande prefix av samma epokrutnät. Oberoende referens (ReferenceImpl): En separat estimator i den här kodbasen med en annan algoritm och en disjunkt kodsökväg: icke-linjär viktad Gauss-Newton med partialer från finita differenser, vars utslag läses som ett uppmätt tillståndsåterfinningsfel i km och mm/s. Den har inget uttryck gemensamt med Gramians rang- och kovariansväg, och separationen UPPRÄTTHÅLLS av en källtextspärr i stället för att påstås. MEASURED på det publicerade plana DRO-rutnätet: th

Begränsningar#

Vad körningens egen rapport säger inte är modellerat eller inte validerat:

• MODELLED test av återfinning av cislunar båglängd (korroboration med oberoende estimator av P6-observerbarhetströskeln). VALIDATED kärna: estimatorn är cratens redan befintliga viktade Gauss-Newton-batchkorrigerare (crate::batch_ls), vars designmatris är en CENTRAL FINIT DIFFERENS av den sammansatta framåtmodellen - den anropar ingen analytisk mätjakobirad, ingen variationell tillståndsövergångsmatris, ingen singulärvärdes- o (resultat label)
• MODELLED test med oberoende estimator av observerbarhetströskeln för cislunar båglängd. (typkatalog (kshana kinds --json))
• MODELLED: konstellationsutformningen, epokrutnätet, den enda spårade länken, förskjutningens storlek, mätsigman och de två angivna gränserna. (typkatalog (kshana kinds --json))
• MODELLED: konstellationsutformningen, epokrutnätet, den enda spårade länken, förskjutningens storlek, mätsigman och de två angivna gränserna. Inte en certifierad produkt för navigeringsprestanda. (kommentar i scenariofilen, rad 33 till 35)
• Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
• Korroboration med oberoende estimator av cislunar båglängdströskel är MODELLED, inte validerad: kontrollerad mot en separat implementering i just den här kodbasen — oberoende av enheten som testas, men inte externt auktoritativ. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#

• Familjesida: Måne och cislunart
• Alla typer: KINDS.md