lunar-time-budget (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 durchgängiges Zeitfehlerbudget der koordinierten Mondzeit (LTC): die sieben LTC-Fehlerterme, zusammengestellt als Zeitfehlerkurven x_i(τ) über ein ganzes Gitter von Mittelungszeiten, per Wurzelsumme zu x_Σ(τ) zusammengefasst, und der ÜBERGANG τ zwischen Uhr und Bezugssystem, bei dem der wachsende Uhrenterm den konstanten Echtzeit-Term der Bezugssystemrealisierung überholt (darunter ist das Budget vom Bezugssystem begrenzt, darüber von der Uhr) — die ehrliche Antwort auf das Artefakt eines einzelnen τ. Die τ-Steigungen sind in geschlossener Form und analytisch prüfbar (Uhr τ^{+1/2}/τ^{+1}, Böden τ^0, Messung τ^{-1/2}), und die Uhrenzeilen reproduzieren die veröffentlichten Eintages-Spezifikationen der Uhren (crate::clock_specs); die GRÖSSEN der Böden für HF-/optischen Link, Bezugssystemrealisierung, relativistisches Residuum und Ephemeride sind modellierte Budgetzuweisungen (dokumentierte Standardwerte, vom Aufrufer überschreibbar), keine Messungen. Der Beitrag ist das reproduzierbare Übergangs-τ, keine zertifizierte Zahl je Term; nicht zertifiziert für den operativen Zeithaltebetrieb.

Ein Lauf von scenarios/lunar-time-budget.toml fasst sich so zusammen: lunar-time-budget | clock passive-h-maser | 7-term x_Σ(τ) over 57 τ-points (1–1e7 s) | crossover τ 8.689e4 s (x 1.001e-9 s) | frame floor 1.001e-9 s | clock x(1 d) 0,995 ns (MODELLED)

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: keine
• Optionale Felder: clock, tau_min_s, tau_max_s, points_per_decade, clocks, time_lab

Das Beispiel scenarios/lunar-time-budget.toml setzt unter anderem:

Ausführen#

kshana scenarios/lunar-time-budget.toml

2 mitgelieferte Szenarien verwenden diese Art; die anderen sind in scenarios/.

Was es liefert#

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

Ergebnisbezeichnung (der Engine): MODELLED durchgängiges LTC-Zeitfehlerbudget. Die τ-Steigungen sind in geschlossener Form und analytisch prüfbar (Uhr τ^{+1/2}/τ^{+1}, Böden τ^0, Messung τ^{-1/2}), und die Uhrenzeilen reproduzieren die veröffentlichten Eintages-Spezifikationen der Uhren; die Böden für HF-/optischen Link, Bezugssystemrealisierung, relativistisches Residuum und Ephemeride

Nachweise#

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

• MODELLED Ein Lauf von lunar-time-budget gibt je Uhrenklasse eine Übergangszeile zwischen Uhr und Bezugssystem gegen einen einzigen gemeinsamen Bezugssystemterm aus, sodass die Uhr die einzige Variable des Vergleichs ist; jede Zeile trägt den auf zwei Wegen erreichten Übergang -- per Bisektion aus der gen
• MODELLED Der optionale Block [time_lab] des Szenarios lunar-time-budget modelliert die Uhr einer lunaren Referenzstation (standardmäßig die Klasse miniRAFS, oder eine beliebige benannte Klasse, oder eine an angegebene Stabilitätspunkte angepasste Gerätekarte), gesteuert auf die koordinierte Mondzeit an Tests: lunar_station_time_lab.rs.

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 Ein Lauf von lunar-time-budget gibt je Uhrenklasse eine Übergangszeile zwischen Uhr und Bezugssystem gegen einen einzigen gemeinsamen Bezugssystemterm aus, sodass die Uhr die einzige Variable des Vergleichs ist. Orakel (InternalConsistency): Zwei verschiedene Berechnungen derselben Größe in der Codebasis, nicht eine, die wiederholt wird: Die Bisektion auf der Potenzgesetzkurve nach IEEE-1139 weiß nichts über den Rauschtyp, während die geschlossene Form den dominanten Typ algebraisch invertiert, sodass ein falsch klassifizierter Rauschtyp oder eine schlechte Klammer als nicht winzige relative Differenz erscheint. Die vier Werte reproduzieren außerdem die veröffentlichte Tabelle der Veröffentlichung auf die Hälfte ihrer letzten gedruckten Stelle -- aber diese Tabelle war ihre
• MODELLED Das Szenario lunar-time-budget veröffentlicht seine arraywertigen Ausgaben als Tabelle in Langform (Gitterindex, Mittelungszeit, Term) neben dem Bericht, sodass die sieben je. Orakel (InternalConsistency): Nur Selbstkonsistenz: Die veröffentlichte Summe wird gegen die Wurzel der Quadratsumme der Terme in derselben Datei geprüft, und die ausgegebene Kurve reproduziert die freigegebene p3_time_budget_curve.csv über alle 57 Punkte. Beide Prüfungen teilen die eigenen Termdefinitionen dieser Engine, daher ist keine davon unabhängig. Der Uhrenterm beruht auf veröffentlichten Uhrenspezifikationen, aber die GRÖSSEN der Böden für Link, Bezugssystem, Relativistik und Ephemeride sind dokumentiert

Einschränkungen#

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

• MODELLED durchgängiges LTC-Zeitfehlerbudget. Die τ-Steigungen sind in geschlossener Form und analytisch prüfbar (Uhr τ^{+1/2}/τ^{+1}, Böden τ^0, Messung τ^{-1/2}), und die Uhrenzeilen reproduzieren die veröffentlichten Eintages-Spezifikationen der Uhren; die GRÖSSEN der Böden für HF-/optischen Link, Bezugssystemrealisierung, relativistisches Residuum und Ephemeride sind modellierte Budgetzuweisungen (dokumentierte Standardwerte, vom Aufrufer überschreibbar), keine Messungen. Der Beitrag (Ergebnis label)
• MODELLED durchgängiges Zeitfehlerbudget der koordinierten Mondzeit (LTC): die sieben LTC-Fehlerterme, zusammengestellt als Zeitfehlerkurven x_i(τ) über ein ganzes Gitter von Mittelungszeiten, per Wurzelsumme zu x_Σ(τ) zusammengefasst, und der ÜBERGANG τ zwischen Uhr und Bezugssystem, bei dem der wachsende Uhrenterm den konstanten Echtzeit-Term der Bezugssystemrealisierung überholt (darunter ist das Budget vom Bezugssystem begrenzt, darüber von der Uhr) — die ehrliche Antwort auf das Artefak (Szenarioarten-Katalog (kshana kinds --json))
• Ehrlichkeit: MODELLED. Die Tau-Steigungen sind in geschlossener Form und analytisch prüfbar (Uhr tau^{+1/2} oder tau^{+1}, Böden tau^0, Messung tau^{-1/2}), und die Uhrenzeilen reproduzieren die veröffentlichten Eintages-Spezifikationen der Uhren; aber die GRÖSSEN der Böden für HF-/optischen Link, Bezugssystemrealisierung, relativistisches Residuum und Ephemeride sind modellierte Budgetzuweisungen (dokumentierte Standardwerte, vom Aufrufer überschreibbar), keine Messungen. Der Beitrag ist (Kommentar in der Szenariodatei, Zeilen 13 bis 18)
• 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))
• Die Tabelle des lunaren Zeitübergangs je Uhrenklasse ist MODELLED, nicht validiert: Sie wird gegen ihre eigene geschlossene bzw. analytische Identität geprüft - das fängt Übertragungs- und Koeffizientenfehler ab, ist aber keine externe unabhängige Referenz. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Die Reproduzierbarkeit des lunaren Zeitfehlerbudgets ist MODELLED, nicht validiert: Sie wird gegen ihre eigene geschlossene bzw. analytische Identität geprüft - das fängt Übertragungs- und Koeffizientenfehler ab, ist aber keine externe unabhängige Referenz. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#

• Familienseite: Mond und cislunarer Raum
• Alle Arten: KINDS.md
• Themenseite: LUNAR-REFERENCE-STATION.md
• Themenseite: integrations.md