quantum-trade (scenariosoort)

Scenariosoort van de engine v0.40.0, familie Inertiële, fusie- en kwantumsensoren. Adviserend: uitvoer van een analyse door een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen safety-of-life-dienst. Elk label hier is van de engine of van de verificatiematrix; een soort is MODELLED tenzij de matrix anders vermeldt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

Afweging van PNT quantum tegenover klassiek (13503): voordeel in holdover van tijdsynchronisatie + inertiale holdover van een kandidaatklok (een gemeten ADEV-curve — het scharnierpunt voor verdedigbaarheid — of een kwantumklokklasse) tegenover een klassieke basislijnklasse, met het voorbehoud over de aanname van de lange-tau-ondergrens meegegeven op het artefact, plus een GNSS-ontzegde envelop van veerkracht tegenover tijd. MODELLED; kwantificeert (valideert nooit) een apparaat van een partner. De kandidaatklok is een gemeten curve (candidate_adev_taus + candidate_adev_values, even lang, minstens 2 punten; zij wint wanneer beide vormen zijn gegeven) of een candidate_clock_class.

Eén run van scenarios/quantum-trade.toml vat samen als: quantum-trade | kandidaat gemeten ADEV | holdover tijdsynchronisatie 2621947s tegenover 203s (12943.62x) | inertiaal 14108s tegenover 378s (37.34x) | veerkracht-uitloop 14108s | MODELLED [voorbehoud: ondergrens aangenomen]

Invoer#

Uit het schema (kshana kinds --json):

• Verplichte velden: timing_threshold_s, position_threshold_m, baseline_clock_class, candidate_adev_taus+candidate_adev_values|candidate_clock_class
• Optionele velden: baseline_ins, candidate_ins, resilience_times_s, alt_pnt_bound_m

Het voorbeeld scenarios/quantum-trade.toml stelt onder meer in:

Uitvoeren#

kshana scenarios/quantum-trade.toml

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Resultaatlabel (van de engine): MODELLED — kwantificeert (valideert nooit) een klok/sensor van een partner; niet in vlucht gedemonstreerd

Bewijs#

MODELLED 1 · VALIDATED 2: de rijen van de verificatiematrix die dit kind noemen.

• VALIDATED NNLS-herstel van een machtswet (white-FM + rode-ruisondergrens) uit een gepubliceerde, gemeten Allan-deviatie van de ⁸⁸Sr-optische-klokovergang — met reproductie van σ_y(τ) en de kopschaling 4.7e-16/√τ voor korte τ met een echte gemeten lange-τ-ondergrens, in plaats van Tests: optical_clock_adev_reference.rs.
• VALIDATED NNLS-fit van gemeten ADEV, χ²-consistentiebanden voor NEES/NIS en de discrete procesruiscovariantie (holdover-uitloop) van de klok volgens van Loan — de rekenkundige ruggengraat van de afwegingsengine Tests: scipy_reference.rs.
• MODELLED Inlezen van gemeten ADEV (NNLS), afwegingstabel (holdover van tijdsynchronisatie/inertiaal + voordeel), envelop van veerkracht tegenover tijd; voorbehoud over de ondergrens meegegeven op het artefact.

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

• VALIDATED NNLS-fit van gemeten ADEV, χ²-consistentiebanden voor NEES/NIS en de discrete procesruiscovariantie (holdover-uitloop) van de klok volgens van Loan — de rekenkundige ruggengraat van de afwegingsengine. Onafhankelijke referentie (ExternalDataset): scipy 1.17.1 — optimize.nnls / stats.chi2.ppf / linalg.expm; NNLS+Q exact, χ² <5e-4 bij operationele vrijheidsgraden. Alleen kernels — cijfers voor apparaatprestaties blijven gemodelleerd (volgende rij)
• MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED
• MODELLED Inlezen van gemeten ADEV (NNLS), afwegingstabel (holdover van tijdsynchronisatie/inertiaal + voordeel), envelop van veerkracht tegenover tijd; voorbehoud over de ondergrens meegegeven op het artefact. Uitvoerbaar vanuit. Onafhankelijke referentie (ExternalDataset): de kernel voor de fit van gemeten ADEV→PSD (NNLS) komt overeen met scipy.optimize.nnls (tests/scipy_reference.rs / tests/quantum_vs_classical_pnt_trade_reference.rs) — een onafhankelijke externe kernel; maar de GETALLEN van de afweging kwantificeren (valideren nooit) een klok/CAI van een partner, dus de afweging zelf blijft MODELLED, zonder validatiekeurmerk
• PARTNER Niet geleverd: alleen prestatiemodellen; koudeatoom-/klokhardware is van een partner. Onafhankelijke referentie (NoneKind): geen: een discipline van een partner, bewust zonder module en zonder test

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

• MODELLED — kwantificeert (valideert nooit) een klok/sensor van een partner; niet in vlucht gedemonstreerd (resultaat label)
• Afweging van PNT quantum tegenover klassiek (13503): voordeel in holdover van tijdsynchronisatie + inertiale holdover van een kandidaatklok (een gemeten ADEV-curve — het scharnierpunt voor verdedigbaarheid — of een kwantumklokklasse) tegenover een klassieke basislijnklasse, met het voorbehoud over de aanname van de lange-tau-ondergrens meegegeven op het artefact, plus een GNSS-ontzegde envelop van veerkracht tegenover tijd. (soortencatalogus (kshana kinds --json))
• MODELLED; kwantificeert (valideert nooit) een apparaat van een partner. (soortencatalogus (kshana kinds --json))
• Berekent het voordeel in holdover van tijdsynchronisatie en in inertiale holdover van een KANDIDAAT-klok ten opzichte van een KLASSIEKE basislijn, plus een GNSS-ontzegde envelop van veerkracht tegenover tijd. De ondergrens van de kandidaat wordt bepaald door de MEASURED overlappende ADEV-curve van de klok van een partner (het scharnierpunt voor verdedigbaarheid), gefit met niet-negatieve kleinste kwadraten — dus het holdoverbudget rust op echte data, niet op een aangenomen lange-tau-ondergrens. (opmerking in het scenariobestand, regels 3 tot 7)
• EERLIJKE REIKWIJDTE: MODELLED — het KWANTIFICEERT het voordeel van de kwantumklok van een partner; het valideert het apparaat NIET en leent nooit de validatie-eilanden van SGP4/Allan/IGS. Wanneer de ondergrens van een rij een aangenomen klassestandaard is, wordt op het artefact een voorbehoud over de ondergrens getoond. Run: kshana scenarios/quantum-trade.toml (opmerking in het scenariobestand, regels 9 tot 12)
• Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))
• Afweging van PNT quantum tegenover klassiek & GNSS-ontzegde veerkracht (13503) is MODELLED, niet getoetst: een deelclaim is extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#

• Familiepagina: Inertiële, fusie- en kwantumsensoren
• Alle kinds: KINDS.md
• Themapagina: POSITIONING.md
• Onderwerppagina: QUANTUM-MODELS.md