cislunar-observability (scenarietype)

Scenarietype i motoren v0.40.0, familie Måne og cislunart rum. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: README'ens afsnit Evidence).

Hvad det gør#

MODELLED observerbarhed for en plan cislunar konstellation (P6): sporer en differentialkorrigeret konstellation af fire rumfartøjer i plane DRO'er med afstandsmåling mellem satellitter og rapporterer, hvor stor en del af et rumfartøjs firetilstand [x,y,ẋ,ẏ] buen gør observerbar. Udsender (1) tabellen rang-mod-buelængde for et enkelt link med kun afstand — øjeblikkeligt rang 1, voksende mod den fulde firetilstand, efterhånden som buen forlænges (P6 Table 1); (2) observerbarhedsgramianens egenspektrum + konditionstal over buen; (3) sammenligningen af øjeblikkelig rang for kun afstand mod afstand+afstandsrate (Doppler-designgrebet) plus rapporteringen af GDOP, der er singulær for kun afstand og defineret for afstand+rate; og (4) en uafhængig SRIF-krydsvalidering, hvis posteriore kovarians bliver endelig / velkonditioneret netop ved den bue, hvor den observerbare rang når fire. VALIDATED kerne: den observerbare rang er en rangafslørende tærskel på singulærværdier, krydskontrolleret mod Gramianens egenrang; egenspektret overholder de spektrale invarianter (trace=Σλ, det=Πλ, Frobenius²=Σλ²); den variationelle STM er den STM for CR3BP, der er valideret med differenskvotienter; rækkerne i jacobianen for afstand/afstandsrate er analytiske partielle afledede valideret med differenskvotienter (krydskontrolleret mod crate'ens 3D-observabel for afstandsrate); de fire begyndelsesbetingelser er differentialkorrigerede plane DRO'er, der lukker til et snævert periodicitetsresidual og er retrograde; rangovergangen er krydsvalideret mod crate'ens kvadratrodsinformationsfilter (posterior kovarians endelig netop ved fuld rang, cond(P)=cond(OᵀO)); et rangdefekt snapshot markeres som GDOP-udefineret (fim condition=inf), aldrig som en falsk endelig værdi — den samme singulære-geometri-vagt som pvt::solve_spp anvender. MODELLED: konstellationsdesignet (DRO-perilune-amplituder og -faser) og det specifikke rangforløb, det frembringer. Ikke et certificeret navigationsydelsesprodukt.

Én kørsel af scenarios/cislunar-observability.toml opsummeres som: cislunar-observability | 4 s/c (3 refs) | 6,0 h bue, 24 epoker | rang 1 → 4 af 4 over buen | Gramian λ [2.92e-11…5.98e-2] cond 2.05e9 | øjeblikkelig rang kun afstand 2 → afstand+rate 4 (3 links) | GDOP kun afstand udefineret afstand+rate 6,353 | DRO-begyndelsesbetingelser (maks. periodicitetsresidual 4.7e-9) | SRIF posterior endelig ved rang-4-epoke 8 (valideret rang/STM/DRO-lukning/SRIF, modelleret design)

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: mu, arc_hours, epochs, steps, rel_tol, spatial, sigma_range_m, family, n_spacecraft, sigma_pos_threshold_km

Eksemplet scenarios/cislunar-observability.toml angiver blandt andet:

Kør den#

kshana scenarios/cislunar-observability.toml

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Resultatmærkat (motorens egen): MODELLED observerbarhed for en plan cislunar konstellation (P6). VALIDATED kerne: den observerbare RANG er en rangafslørende tærskel på singulærværdier, krydskontrolleret mod Gramianens egenrang; Gramianens egenspektrum overholder de spektrale invarianter (trace = sum eig, det = prod eig, Frobenius^2 = sum eig^2

Evidens#

MODELLED: rækkerne i verifikationsmatrixen, der nævner denne type.

• MODELLED Tærsklen for observerbarhed ved cislunar buelængde i den RUMLIGE seks-tilstands-CR3BP i stedet for den plane firetilstand, på tværs af familierne DRO, L2-halo og L2 næsten retlinet halo, med målestøj, der indgår i Gramianen, og TO kriterier, der rapporterer

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

• MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED
• MODELLED Tærsklen for observerbarhed ved cislunar buelængde i den RUMLIGE seks-tilstands-CR3BP i stedet for den plane firetilstand, på tværs af familierne DRO, L2-halo og L2 næsten retlinet ha. Uafhængig reference (InternalConsistency): En uafhængig rækkeechelon-rang ved Gauss-elimination med partiel pivotering bekræfter hvert seks-tilstands-rangudfald — en anden algoritme, der ikke deler kode med den egen-/SVD-vej, der afprøves. Den 6×6 tilstandsovergangsmatrix for CR3BP, som dette sammensætter, har sin egen ReferenceImpl-uafhængige reference mod variationel integration i SciPy, og halo-/NRHO-begyndelsesbetingelserne kommer fra en korrektor, der gengiver den publicerede sydlige L2

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

• MODELLED observerbarhed for en plan cislunar konstellation (P6). VALIDATED kerne: den observerbare RANG er en rangafslørende tærskel på singulærværdier, krydskontrolleret mod Gramianens egenrang; Gramianens egenspektrum overholder de spektrale invarianter (trace = sum eig, det = prod eig, Frobenius^2 = sum eig^2); den variationelle STM er den STM for CR3BP, der er valideret med differenskvotienter (crate::cr3bp); rækkerne i jacobianen for afstand / afstandsrate (resultat label)
• MODELLED observerbarhed for en plan cislunar konstellation (P6): sporer en differentialkorrigeret konstellation af fire rumfartøjer i plane DRO'er med afstandsmåling mellem satellitter og rapporterer, hvor stor en del af et rumfartøjs firetilstand [x,y,ẋ,ẏ] buen gør observerbar. (typekatalog (kshana kinds --json))
• MODELLED: konstellationsdesignet (DRO-perilune-amplituder og -faser) og det specifikke rangforløb, det frembringer. (typekatalog (kshana kinds --json))
• Ærlighed: MODELLED. VALIDATED kerne -- den observerbare RANG er en rangafslørende tærskel på singulærværdier, krydskontrolleret mod Gramianens egenrang; egenspektret overholder de spektrale invarianter (trace = sum eig, det = prod eig, Frobenius^2 = sum eig^2); den variationelle STM er den STM for CR3BP, der er valideret med differenskvotienter; rækkerne i jacobianen for afstand / afstandsrate er analytiske partielle afledede valideret med differenskvotienter (krydskontrol (kommentar i scenariefilen, linje 16 til 25)
• Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Rumlig, støjfyldt cislunar buelængde-observerbarhed på tværs af flere familier er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede/analytiske identitet — fanger transskriptions- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Måne og cislunart rum
• Alle typer: KINDS.md