lunar-time-budget (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 tidsfejlbudget fra ende til ende for Coordinated Lunar Time (LTC): de syv LTC-fejlled sammensat som tidsfejlkurver x_i(τ) over et helt gitter af middeltider, summeret som kvadratrod til x_Σ(τ), og ur-mod-referencesystem-KRYDSNINGEN τ, hvor det voksende urled overhaler det konstante realtidsled for realisering af referencesystemet (under den er budgettet begrænset af referencesystemet, over den af uret) — det ærlige svar på artefakten med ét enkelt τ. Hældningerne i τ er i lukket form og kan kontrolleres analytisk (ur τ^{+1/2}/τ^{+1}, gulve τ^0, måling τ^{-1/2}), og urrækkerne gengiver de offentliggjorte specifikationer for ure over ét døgn (crate::clock_specs); STØRRELSERNE af gulvene for RF-/optisk link, realisering af referencesystemet, relativistisk rest og efemeride er modellerede budgetallokeringer (dokumenterede standardværdier, kan overstyres af kalderen), ikke målinger. Bidraget er den reproducerbare krydsning τ, ikke et certificeret tal pr. led; ikke certificeret til operationel tidshold.

Én kørsel af scenarios/lunar-time-budget.toml opsummeres som: 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)

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: clock, tau_min_s, tau_max_s, points_per_decade, clocks, time_lab

Eksemplet scenarios/lunar-time-budget.toml sætter blandt andet:

Kør den#

kshana scenarios/lunar-time-budget.toml

2 medfølgende scenarier bruger denne type; de øvrige findes i scenarios/.

Hvad den giver#

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

Resultatmærkat (motorens egen): MODELLED tidsfejlbudget for LTC fra ende til ende. Hældningerne i τ er i lukket form og kan kontrolleres analytisk (ur τ^{+1/2}/τ^{+1}, gulve τ^0, måling τ^{-1/2}), og urrækkerne gengiver de offentliggjorte specifikationer for ure over ét døgn; gulvene for RF-/optisk link, realisering af referencesystemet, relativistisk rest og efemeride

Evidens#

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

• MODELLED Én kørsel af lunar-time-budget udsender en række med krydsning mellem ur og referencesystem pr. urklasse mod ét fælles led for referencesystemet, så uret er den eneste variabel i sammenligningen; hver række bærer krydsningen nået på to måder -- fundet ved bisektion fra den almene
• MODELLED Den valgfrie blok [time_lab] i scenariet lunar-time-budget modellerer et lunart referencestationsur (standard er klassen miniRAFS, eller en vilkårlig navngivet klasse, eller et enhedskort tilpasset angivne stabilitetspunkter) styret til Coordinated Lunar Time og Tests: lunar_station_time_lab.rs.

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 Én kørsel af lunar-time-budget udsender en række med krydsning mellem ur og referencesystem pr. urklasse mod ét fælles led for referencesystemet, så uret er den eneste variabel i sammenligningen. Uafhængig reference (InternalConsistency): To forskellige beregninger i kodebasen af samme størrelse, ikke én, der gentages: bisektion på IEEE-1139-potensslovskurven kender intet til støjtypen, mens den lukkede form inverterer den dominerende type algebraisk, så en forkert klassificeret støjtype eller et dårligt interval viser sig som en ikke ubetydelig relativ forskel. De fire værdier gengiver også artiklens offentliggjorte tabel til halvdelen af dens sidste trykte ciffer -- men den tabel var dens
• MODELLED Scenariet lunar-time-budget udgiver sine array-værdier som en tabel i langt format (gitterindeks, middeltid, led) ved siden af rapporten, så de syv pr. Uafhængig reference (InternalConsistency): Kun selvkonsistens: den udgivne sum kontrolleres mod kvadratroden af summen af kvadraterne af leddene i samme fil, og den udsendte kurve gengiver den udgivne p3_time_budget_curve.csv over alle 57 punkter. Begge kontroller deler denne motors egne definitioner af leddene, så ingen af dem er uafhængig. Urleddet hviler på offentliggjorte urspecifikationer, men STØRRELSERNE af gulvene for link, referencesystem, relativistik og efemeride er dokumenteret

Begrænsninger#

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

• MODELLED tidsfejlbudget for LTC fra ende til ende. Hældningerne i τ er i lukket form og kan kontrolleres analytisk (ur τ^{+1/2}/τ^{+1}, gulve τ^0, måling τ^{-1/2}), og urrækkerne gengiver de offentliggjorte specifikationer for ure over ét døgn; STØRRELSERNE af gulvene for RF-/optisk link, realisering af referencesystemet, relativistisk rest og efemeride er modellerede budgetallokeringer (dokumenterede standardværdier, kan overstyres af kalderen), ikke målinger. Bidraget er (resultat label)
• MODELLED tidsfejlbudget fra ende til ende for Coordinated Lunar Time (LTC): de syv LTC-fejlled sammensat som tidsfejlkurver x_i(τ) over et helt gitter af middeltider, summeret som kvadratrod til x_Σ(τ), og ur-mod-referencesystem-KRYDSNINGEN τ, hvor det voksende urled overhaler det konstante realtidsled for realisering af referencesystemet (under den er budgettet begrænset af referencesystemet, over den af uret) — det ærlige svar på artefakten med ét enkelt τ (kategori-katalog (kshana kinds --json))
• Ærlighed: MODELLED. Hældningerne i tau er i lukket form og kan kontrolleres analytisk (ur tau^{+1/2} eller tau^{+1}, gulve tau^0, måling tau^{-1/2}), og urrækkerne gengiver de offentliggjorte specifikationer for ure over ét døgn; men STØRRELSERNE af gulvene for RF-/optisk link, realisering af referencesystemet, relativistisk rest og efemeride er modellerede budgetallokeringer (dokumenterede standardværdier, kan overstyres af kalderen), ikke målinger. Bidraget er (kommentar i scenariefilen, linje 13 til 18)
• 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))
• Tabel over lunar krydsning af tid pr. urklasse er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede/analytiske identitet — fanger afskrivnings- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Reproducerbarhed af det lunare tidsfejlbudget er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede/analytiske identitet — fanger afskrivnings- 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
• Emneside: LUNAR-REFERENCE-STATION.md
• Emneside: integrations.md