quantum-anomaly-detect (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Inerciální, fúzní a kvantové senzory. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každé označení zde pochází z enginu nebo z verifikační matice; druh je MODELLED, pokud matice neuvádí jinak (jak se označení získává: oddíl Evidence v README).

Co dělá#

Detekce poruch/anomálií MODELLED pro kvantové systémy PNT: označený katalog poruch (skok frekvence hodin/drift/ztráta zámku; skok zkreslení čidla/výpadek), ROC AUC detekční statistiky (s bootstrapovým intervalem spolehlivosti z externě ověřeného eval_stats) a minimální detekovatelná porucha při pevné míře falešných poplachů, přičemž monitor podporovaný kvantovými hodinami (nižší šum) detekuje menší poruchy — jako otevřené TradeEvidence + reprezentativnost. Model gaussovské detekční statistiky (AUC = Phi(mu/(sigma*sqrt2))); modeluje třídu, ilustrativní parametry z veřejných zdrojů, žádná TRL/let/certifikace.

Jeden běh scenarios/quantum-anomaly-detect.toml se shrnuje takto: quantum-anomaly-detect | AUC kvantový 0,9908 oproti klasickému 0,7603 | min. detekovatelná porucha kvantový 1,312 oproti klasickému 4,372 | 5 tříd poruch | obchodní srovnání vítězí kvantový 2/2 | MODELLED

Vstupy#

Ze schématu (kshana kinds --json):

• Povinná pole: žádná
• Volitelná pole: fault_mu, quantum_sigma, classical_sigma, pfa, pd, samples, seed

Příklad scenarios/quantum-anomaly-detect.toml mimo jiné nastavuje:

Spusťte jej#

kshana scenarios/quantum-anomaly-detect.toml

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Důkazy#

Žádný řádek matice tento druh nejmenuje; označení jeho výsledku je vlastní označení enginu uvedené výše.

Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):

• VALIDATED Analytická binormální ROC AUC = Φ(μ/(σ√2)) a minimální detekovatelná porucha σ·(Φ⁻¹(1−P_fa)+Φ⁻¹(P_d)) podpírající detektory kvantových poruch a anomálií. Orákulum (ExternalDataset): scipy 1,17 (Cephes ndtr/ndtri) + scikit-learn roc_auc_score (Pedregosa et al., JMLR 2011), obojí BSD-3-Clause — nezávislé knihovny počítající tytéž jednoznačně definované veličiny gaussovského chvostu / AUC, shodné až na podlahu A&S-erf (~7e-8). Kvantová výhoda postavená nad tím zůstává MODELLED
• MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED
• PARTNER Neposkytuje se — pouze modely výkonu; hardware se studenými atomy a hodinami je záležitostí partnera. Orákulum (NoneKind): žádné: disciplína ve vlastnictví partnera, záměrně bez modulu a bez testu
• MODELLED Jeden reprodukovatelný objekt TradeEvidence (pevný rámec: scénář+seed+engine; společné hodnoty kvantový-vs-klasický pro každý ukazatel kvality s polaritně správným přínosem, volitelné 95%. Orákulum (InternalConsistency): Identity uzavřeného tvaru pro přínos/vítěze a věrný obal stávajícího quantum_trade::TradeResult; poctivost svázaná s registrem reprezentativnosti a štítky ověření
• MODELLED Označený katalog kvantových poruch (skok frekvence hodin/drift/ztráta zámku; skok zkreslení čidla/výpadek), ROC AUC detekční statistiky s bootstrapovým intervalem spolehlivosti a minimu. Orákulum (InternalConsistency): Gaussovská AUC v uzavřeném tvaru = Phi(mu/(sigma*sqrt2)) křížově zkontrolovaná proti externě ověřenému eval_stats::bootstrap_auc_ci (oproti scikit-learn) + analytické prahy detekce

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

• Detekce poruch/anomálií MODELLED pro kvantové systémy PNT: označený katalog poruch (skok frekvence hodin/drift/ztráta zámku; skok zkreslení čidla/výpadek), ROC AUC detekční statistiky (s bootstrapovým intervalem spolehlivosti z externě ověřeného eval_stats) a minimální detekovatelná porucha při pevné míře falešných poplachů, přičemž monitor podporovaný kvantovými hodinami (nižší šum) detekuje menší poruchy — jako otevřené TradeEvidence + reprezentativ (katalog druhů (kshana kinds --json))
• Detekce poruch/anomálií pro kvantové systémy PNT — označený katalog poruch + ROC AUC + minimální detekovatelná porucha, monitor podporovaný kvantovými hodinami oproti klasickému. MODELLED; ilustrativní parametry z veřejných zdrojů; modeluje třídu, žádné tvrzení o TRL ani letu. (komentář v souboru scénáře, řádky 1 až 3)
• Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))
• Důkazy z obchodního srovnání kvantového a klasického přístupu (společný tvar) jsou MODELLED, nikoli ověřené: zkontrolováno proti vlastní uzavřené / analytické identitě — zachytí chyby přepisu a koeficientů, ale není to vnější orákulum. (verifikační matice (docs/MODELLED-RATIONALE.md))
• Detekce poruch/anomálií pro kvantové systémy PNT je MODELLED, nikoli ověřená: zkontrolováno proti vlastní uzavřené / analytické identitě — zachytí chyby přepisu a koeficientů, ale není to vnější orákulum. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#

• Stránka rodiny: Inerciální, fúzní a kvantové senzory
• Všechny druhy: KINDS.md
• Tematická stránka: QUANTUM-MODELS.md