cislunar-observability (Szenarioart)

Szenarioart der Engine v0.40.0, Familie Mond und cislunarer Raum. Beratend: Analyseausgabe eines Forschungs- und Entwicklungswerkzeugs, keine typzugelassene Navigationsausrüstung und kein Dienst für die Sicherheit von Menschenleben. Jede Bezeichnung hier stammt von der Engine oder der Verifikationsmatrix; eine Art ist MODELLED, sofern die Matrix nichts anderes sagt (wie eine Bezeichnung verdient wird: der Abschnitt Evidence der README).

Was es tut#

MODELLED Beobachtbarkeit einer ebenen cislunaren Konstellation (P6): verfolgt eine differenzialkorrigierte ebene DRO-Konstellation aus vier Raumfahrzeugen mit Entfernungsmessung zwischen den Satelliten und meldet, wie viel vom Vierzustand [x,y,ẋ,ẏ] eines Raumfahrzeugs der Bogen beobachtbar macht. Gibt aus (1) die Tabelle Rang gegen Bogenlänge für eine einzelne reine Entfernungsverbindung — momentan Rang 1, wachsend zum vollen Vierzustand, wenn sich der Bogen verlängert (P6 Tabelle 1); (2) das Eigenspektrum der Beobachtbarkeits-Gram-Matrix + Konditionszahl über den Bogen; (3) den Vergleich des momentanen Rangs von reiner Entfernung gegenüber Entfernung + Entfernungsrate (der Doppler-Entwurfshebel) plus die Meldung von GDOP bei reiner Entfernung singulär / bei Entfernung + Rate definiert; und (4) eine unabhängige SRIF-Gegenprüfung, deren Posteriori-Kovarianz genau an dem Bogen endlich bzw. gut konditioniert wird, an dem der beobachtbare Rang vier erreicht. VALIDATED Kern: Der beobachtbare Rang ist eine rangaufdeckende Singulärwertschwelle, gegengeprüft mit dem Eigenrang der Gram-Matrix; das Eigenspektrum gehorcht den spektralen Invarianten (Spur=Σλ, Det=Πλ, Frobenius²=Σλ²); die variationale STM ist die durch finite Differenzen validierte CR3BP-STM; die Jacobi-Zeilen für Entfernung/Entfernungsrate sind durch finite Differenzen validierte analytische Partialableitungen (gegengeprüft mit der 3-D-Entfernungsraten-Observablen des Crates); die vier Anfangsbedingungen sind differenzialkorrigierte ebene DROs, die sich bis auf ein enges Periodizitätsresiduum schließen und retrograd sind; der Rangübergang ist gegen den Square-Root-Information-Filter des Crates gegengeprüft (Posteriori-Kovarianz genau bei vollem Rang endlich, cond(P)=cond(OᵀO)); ein rangdefizienter Schnappschuss wird als GDOP-undefiniert markiert (fim condition=inf), nie als ein falscher endlicher Wert — derselbe Schutz vor singulärer Geometrie, den pvt::solve_spp anwendet. MODELLED: der Konstellationsentwurf (Perilunamplituden und -phasen der DRO) und die konkrete Rangfolge, die er erzeugt. Kein zertifiziertes Navigationsleistungsprodukt.

Ein Lauf von scenarios/cislunar-observability.toml fasst sich so zusammen: cislunar-observability | 4 s/c (3 refs) | 6,0 h arc, 24 epochs | rank 1 → 4 of 4 over arc | Gramian λ [2.92e-11…5.98e-2] cond 2.05e9 | instantaneous rank range-only 2 → range+rate 4 (3 links) | GDOP range-only undefined range+rate 6,353 | DRO ICs (max periodicity residual 4.7e-9) | SRIF posterior finite at rank-4 epoch 8 (Validated rank/STM/DRO-closure/SRIF, Modelled design)

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: keine
• Optionale Felder: mu, arc_hours, epochs, steps, rel_tol, spatial, sigma_range_m, family, n_spacecraft, sigma_pos_threshold_km

Das Beispiel scenarios/cislunar-observability.toml setzt unter anderem:

Ausführen#

kshana scenarios/cislunar-observability.toml

Was es liefert#

Die skalaren Ergebnisse dieses Laufs, mit den Einheiten, die die Engine angibt:

Ergebnisbezeichnung (die der Engine): MODELLED Beobachtbarkeit einer ebenen cislunaren Konstellation (P6). VALIDATED Kern: Der beobachtbare RANG ist eine rangaufdeckende Singulärwertschwelle, gegengeprüft mit dem Eigenrang der Gram-Matrix; das Eigenspektrum der Gram-Matrix gehorcht den spektralen Invarianten (Spur = Summe eig, Det = Produkt eig, Frobenius^2 = Summe eig^2

Nachweise#

MODELLED: die Zeilen der Verifikationsmatrix, die diese Art nennen.

• MODELLED Die cislunare Bogenlängen-Beobachtbarkeitsschwelle im RÄUMLICHEN Sechs-Zustands-CR3BP statt im ebenen Vier-Zustands-Modell, über DRO-, L2-Halo- und L2-Near-Rectilinear-Halo-Familien, wobei das Messrauschen in die Gramsche Matrix eingeht und ZWEI Kriterien melden

Die Zeilen, die der Lauf selbst ausgeübt hat, mit der unabhängigen Referenz, die die Matrix jeder gibt (die öffentlichen Quellen sind dort genannt):

• MODELLED Deterministisch, szenario-gehasht, SBOM- und plattformübergreifende Golden-Gates. Unabhängige Referenz (ExternalDataset): SBOM-Übereinstimmung mit dem offiziellen CycloneDX-1,5-JSON-Schema (+ gültige SPDX-Kennungen) — ein externer veröffentlichter Standard, null Validierungsfehler über den gesamten Abhängigkeitsgraphen; der Teil FoM-Determinismus / Byte-Reproduzierbarkeit bleibt eine festgelegte Selbstkonsistenzprüfung, daher bleibt die Zeile MODELLED
• MODELLED Die cislunare Bogenlängen-Beobachtbarkeitsschwelle im RÄUMLICHEN Sechs-Zustands-CR3BP statt im ebenen Vier-Zustands-Modell, über DRO-, L2-Halo- und L2-Near-Rectilinear-Halo-Fam. Unabhängige Referenz (InternalConsistency): Ein unabhängiger Zeilenstufen-Rang per Gauß-Elimination mit partieller Pivotisierung bestätigt jedes Sechs-Zustands-Rangurteil – ein anderer Algorithmus, der keinen Code mit dem zu prüfenden Eigenwert-/SVD-Weg teilt. Die 6×6-Zustandsübergangsmatrix des CR3BP, aus der dies zusammengesetzt ist, trägt ihre eigene ReferenceImpl-Referenz gegen die variationelle Integration mit SciPy, und die Halo-/NRHO-Anfangsbedingungen stammen aus einem Korrektor, der die veröffentlichte südliche L2

Einschränkungen#

Was der eigene Bericht des Laufs als nicht modelliert oder nicht validiert nennt:

• MODELLED ebene cislunare Konstellations-Beobachtbarkeit (P6). Kern VALIDATED: Der beobachtbare RANG ist eine rangaufdeckende Singulärwert-Schwelle, gegengeprüft mit dem Eigenrang der Gramschen Matrix; das Eigenwertspektrum der Gramschen Matrix gehorcht den spektralen Invarianten (Spur = Summe eig, det = Produkt eig, Frobenius^2 = Summe eig^2); die variationelle STM ist die mit finiten Differenzen validierte CR3BP-STM (crate::cr3bp); die Jacobi-Zeilen für Entfernung / Entfernungsrate (Ergebnis label)
• MODELLED ebene cislunare Konstellations-Beobachtbarkeit (P6): verfolgt eine Konstellation aus vier Raumfahrzeugen auf differenziell korrigierten ebenen DRO mit Inter-Satelliten-Entfernungsmessung und meldet, wie viel vom Vier-Zustand [x,y,ẋ,ẏ] eines Raumfahrzeugs der Bogen beobachtbar macht. (Typkatalog (kshana kinds --json))
• MODELLED: der Konstellationsentwurf (DRO-Perilun-Amplituden und -Phasen) und die konkrete Rangfolge, die er ergibt. (Typkatalog (kshana kinds --json))
• Ehrlichkeit: MODELLED. Kern VALIDATED -- der beobachtbare RANG ist eine rangaufdeckende Singulärwert-Schwelle, gegengeprüft mit dem Eigenrang der Gramschen Matrix; das Eigenwertspektrum gehorcht den spektralen Invarianten (Spur = Summe eig, det = Produkt eig, Frobenius^2 = Summe eig^2); die variationelle STM ist die mit finiten Differenzen validierte CR3BP-STM; die Jacobi-Zeilen für Entfernung / Entfernungsrate sind mit finiten Differenzen validierte analytische Partielle (gegengeprü (Kommentar der Szenariodatei, Zeilen 16 bis 25)
• Reproduzierbarkeit und Software-Assurance ist MODELLED, nicht validiert: Eine Teilbehauptung ist extern geprüft, aber die gesamte Fähigkeit setzt sich aus modellierten Teilen zusammen, daher bleibt die Fähigkeit modelliert. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Räumliche, verrauschte cislunare Bogenlängen-Beobachtbarkeit über mehrere Familien ist MODELLED, nicht validiert: gegen ihre eigene geschlossene bzw. analytische Identität geprüft – erkennt Übertragungs- und Koeffizientenfehler, ist aber keine externe Referenz. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#

• Familienseite: Mond und cislunarer Raum
• Alle Arten: KINDS.md