EU AI Act · art. 14
Skuteczny nadzór ludzki (Human Oversight by Design)
Konformalne zbiory wstrzymania decyzji (Mondrian Split-Conformal, alpha = 0,05) przeciwdziałają ślepej automatyzacji, oznaczając przypadki graniczne jako ABSTAIN_HUMAN_REVIEW.
// Program Badawczo-Rozwojowy AI · Suwerenne Modele Decyzyjne
Status: Aktywny program B+R (v3.0 – v9.0 Apex-Sovereign) · Otwarte wagi Apache-2.0 · Poszukiwani partnerzy konsorcyjni i pilotażowiSKOPION Verdict — Suwerenna AI Decyzyjna
Kalibrowane neuro-symboliczne modele decyzyjne klasy System-1.5 do analizy ryzyka cyber opartej na dowodach, hybrydowych poświadczeń post-kwantowych (NIST FIPS 203/204/205 i BSI TR-02102-1) oraz kontrolowanej eskalacji human-in-the-loop w 9 językach europejskich.
SKOPION Verdict to autorski program badawczo-rozwojowy sztucznej inteligencji prowadzony przez SKOPION Intelligence. Zamiast polegać na swobodnie generujących tekst modelach czatowych, SKOPION projektuje, kalibruje i waliduje typowane modele decyzyjne, Process-Reward (Verdict-PRM) i dowodowe (4B, 9B, 27B oraz heterogeniczny komitet v9.0 Apex-Sovereign), które porządkują ustalenia defensywne, wskazują weryfikowalne sekcje wizualne i tekstowe [IMG1]..[IMGm] oraz [S1]..[Sn], rozwiązują dokładne równania 2-SAT/CSP i CVSS v3.1, a przy niepewności statystycznej przekazują sprawę do eksperta.
Informacja o zakresie i higienie danych: SKOPION Verdict jest defensywną technologią wspomagania decyzji — nie autonomicznym narzędziem egzekwowania ani urzędową oceną zgodności. Trening, geodezyjna fuzja wag (SLERP) i testy benchmarkowe realizowane są wyłącznie na syntetycznych, otwarcie licencjonowanych i dopuszczonych zbiorach badawczych w ramach zatwierdzonych europejskich projektów naukowo-badawczych (m.in. RWTH Aachen projekt rwth2219 oraz EuroHPC JU / Forschungszentrum Jülich projekt EHPC-AIF-2026PG01-1393); dane klientów ani dane produkcyjne nigdy nie trafiają na zewnętrzne zasoby obliczeniowe.
90,16% (#1)
Średnia Strict-33-Verified (#1 we wszystkich 8 przekrojach rankingu; 89,80% Strict-35 wśród 47 modeli)
37 zestawów
35 międzynarodowych i regulacyjnych benchmarków + 2 zestawy audytowe (10 440 ocen/model)
9 języków UE
100% parytetu semantycznego dla DE · PL · EN · FR · UK · NL · CS · ES · IT z kalibracją Mondriana
FIPS 203/204/205
Hybrydowe poświadczenia post-kwantowe zgodne z RFC 8785 (Ed25519 + ML-DSA-87 + SLH-DSA-SHA2-256s)
Problem badawczy: Dlaczego standardowe modele LLM zawodzą w ocenie bezpieczeństwa
Klasyczne modele generatywne wykazują w zadaniach bezpieczeństwa i zgodności trzy mierzalne defekty: (1) błąd pozycji — zamiana kolejności wariantów odpowiedzi potrafi odwrócić werdykt; (2) podatność na wielosłowie i pozorny autorytet — rozbudowane, gładkie językowo, lecz błędne merytorycznie odpowiedzi wygrywają ze zwięzłymi dowodami (w testach pułapek poznawczych EvalBiasBench klasyczne modele czatowe 7B–11B spadają do 25%–26% trafności, podczas gdy SKOPION Verdict v9.0 Apex-Sovereign osiąga 97,50%); (3) brak kalibracji niepewności — model formułuje pozornie pewne wnioski mimo niepełnych przesłanek zamiast eskalować do człowieka. W realiach MŚP, podmiotów objętych NIS2/DORA oraz systemów regulowanych takie zachowanie jest nieakceptowalne operacyjnie.
Architektura metodyczna (System-1.5 Neuro-Symbolic & Post-Quantum)
SKOPION Verdict v9.0 Apex-Sovereign zastępuje heurystyczne parsowanie wolnego tekstu deterministycznymi głowicami decyzyjnymi, neuro-symbolicznym rdzeniem 2-SAT/CSP i CVSS v3.1, wielowymiarową redukcją błędów poznawczych oraz hybrydowymi poświadczeniami post-kwantowymi:
01 · DualVerdictHead, Verdict-PRM i Solver Symboliczny
Typowane głowice wyboru, solver 2-SAT/CSP i dokładna matematyka CVSS v3.1
Moduły SymmetricOptionPointer i EvidenceSectionPointer ([IMG1]..[IMGm], [S1]..[Sn]) współpracują z deterministycznym solverem Tarjan SCC dla więzów logicznych (2-SAT/CSP), krokową weryfikacją procesu (Verdict-PRM, 91,67% w ProcessBench-Math) oraz dokładną formułą FIRST.org CVSS v3.1 (86,67% w CTIBench-VSP).
02 · Niezmienniczość permutacyjna i 97,50% EvalBiasBench
Niezależność od kolejności opcji (symetria S_K) i odporność poznawcza
Antysymetryczna ocena par gwarantuje niezmienność werdyktu względem kolejności (99,97% średniej spójności pozycji w 12 zestawach z zamianą par), wsparta niezmienniczą penalizacją sztucznego wydłużania odpowiedzi, sykofancji i fabrykowanych cytowań norm (97,50% w EvalBiasBench).
03 · Mondrian Conformal Prediction i 9 języków UE
Kalibrowane wstrzymanie decyzji dla DE, PL, EN, FR, UK, NL, CS, ES oraz IT
Oddzielne progi niekonformizmu wyznaczają zbiory predykcyjne o skończonej próbie z co najmniej 97,6% pokryciem empirycznym (alpha = 0,05) we wszystkich 9 językach europejskich. Przypadki niejednoznaczne otrzymują jawny status ABSTAIN i trafiają do weryfikacji inżynierskiej.
04 · Poświadczenia Post-Kwantowe (FIPS 203/204/205) i SLERP
Hybrydowe podpisy RFC-8785, STIX 2.1 / MISP i izolowana praca On-Premises
Każdy werdykt jest kanonizowany zgodnie z RFC 8785 (JCS) i podpisywany hybrydową kopertą Ed25519 + ML-DSA-87 (FIPS 204) + SLH-DSA-SHA2-256s (FIPS 205). Wszystkie udostępniane profile systemowe działają w pełni lokalnie w izolowanych środowiskach on-premises bez zależności od chmury.
Rodzina modeli i profile wdrożeniowe (v9.0 Apex-Sovereign)
Linia systemowa obejmuje zarówno warianty do szybkiej selekcji wstępnej, jak i samodzielne profile główne oraz heterogeniczny komitet v9.0 Apex-Sovereign:
| Wariant modelu | Parametry | Pamięć (VRAM) | Rola operacyjna i profil benchmarkowy | Licencja |
|---|---|---|---|---|
| SKOPION Verdict 4B (v9.0 Apex-Sovereign) | 4 mld | Profil kompaktowy (On-Premises) | Szybka selekcja wstępna (~18,4 ms/parę), 83,53% Strict-33-Verified, 72,33% HaluBench-Grounded (+8,66 pp) oraz 100% (4 500 / 4 500) we wszystkich 15 zestawach Suwerenności, CRA, SBOM/VEX i PQC | Apache-2.0 |
| SKOPION Verdict 9B (v9.0 Apex-Sovereign) | 9 mld | Profil standardowy (On-Premises) | Samodzielny profil główny dla izolowanych środowisk on-premises: 86,06% Strict-33-Verified, 93,93% EvalBiasBench, 100% trafności audytowej (72/72 i 18/18) oraz 100% we wszystkich 15 zestawach PQC/CRA/regulacyjnych | Apache-2.0 |
| SKOPION Verdict 27B (v9.0 Apex-Sovereign) | 27 mld | Profil flagowy (On-Premises) | #1 samodzielny model w stawce: 90,05% Strict-33-Verified, 89,41% Strict-35, 97,50% EvalBiasBench, 93,33% CTIBench-RCM, 86,67% CTIBench-VSP i 79,00% JudgeBench-GPT (izolowana praca lokalna) | Apache-2.0 |
| SKOPION Verdict Committee v9.0 Apex-Sovereign | 27B + 9B + 4B + Gate | Adaptacyjnie / Komitet | #1 ogółem we wszystkich 8 przekrojach rankingu: 90,16% Strict-33-Verified, 89,80% Strict-35, 99,97% spójności pozycji oraz 4 500 / 4 500 (100,0%) we wszystkich 15 zestawach Suwerenności, CRA, SBOM/VEX i PQC | Apache-2.0 |
Walidacja empiryczna na 37 zestawach benchmarkowych w europejskich ramach badawczych
Rodzina modeli przeszła weryfikację na 35 publicznych międzynarodowych i regulacyjnych zestawach benchmarkowych (10 350 ocen zewnętrznych na model) oraz 2 wewnętrznych zestawach audytowych SKOPION Cyber-Judge (łącznie 10 440 deterministycznych ocen na model w 47 porównywanych modelach) — z pełnym rejestrem skrótów SHA-256:
| Zestaw benchmarkowy / grupa | Obszar oceny | Verdict v9.0 Apex-Sovereign (Committee / 27B) | Warianty kompaktowe v9.0 (9B · 4B) | Pozycja w stawce 47 modeli |
|---|---|---|---|---|
| Strict-33-Verified i Strict-35 Makro Ogółem (37 zestawów) | Wynik łączny we wszystkich 33 obiektywnie weryfikowalnych zestawach (10 050 ocen) oraz pełnych 35 zestawach zewnętrznych (10 350 ocen) + 2 audytach Cyber-Judge (10 440 ocen) | 90,16% Committee · 90,05% (27B Solo) Strict-33 · 89,80% Strict-35 | 86,06% Strict-33 (9B v9.0) · 83,53% Strict-33 (4B v9.0) · 100% Cyber-Judge 72/18 | 1. i 2. miejsce wśród wszystkich 47 modeli (+0,67 pp w Strict-33-Verified i +1,15 pp w Strict-35 przed najsilniejszą zewnętrzną referencją 27B) |
| Kryptografia Post-Kwantowa (NIST FIPS 203/204/205 i BSI TR-02102-1) | ML-KEM-768/1024, ML-DSA-65/87, SLH-DSA, hybrydowy X25519MLKEM768 i wykrywanie złamanych schematów | 100,00% (300 / 300) Committee oraz 27B Solo | 100,00% (300 / 300) dla 9B v9.0 oraz 4B v9.0 | Bezbłędny audyt migracji PQC oraz hybrydowe poświadczenia audytowe RFC-8785 we wszystkich czterech wariantach v9.0 |
| Łańcuch dostaw SBOM/VEX, EU Cyber Resilience Act i dowody formalne Rust/EVM (Wave 8) | CycloneDX v1.6 / SPDX v3.0 / OpenVEX / SLSA L3, EU CRA (Rozp. 2024/2847) Zał. I + zgłoszenia ENISA 24h/72h oraz niezmienniki Rust unsafe / EVM | 100,00% SBOM/VEX (300/300) · 100,00% EU CRA (300/300) · 100,00% Rust/EVM (300/300) | 100,00% (900 / 900) we wszystkich 3 zestawach Wave-8 dla 9B v9.0 i 4B v9.0 | Deterministyczna osiągalność grafu wywołań (OpenVEX), weryfikacja wczesnego ostrzegania 24h ENISA (art. 14 CRA) i aliasingu Stacked/Tree Borrows |
| Parytet 9 Języków i Finanse/KRITIS (SWIFT CSCF v2025 · ISO 20022 · DORA) | Parytet semantyczny DE/PL/EN/FR/UK/NL/CS/ES/IT oraz integralność podpisów XML ISO 20022 i PCI-DSS v4.0.1 | 100,00% 9-Lang-Bench (300/300) · 100,00% SWIFT/ISO-20022/DORA (300/300) | 100,00% 9-Lang-Bench · 100,00% SWIFT/ISO-20022/DORA (9B i 4B v9.0) | Pełne pokrycie 9 języków UE oraz deterministyczny audyt terminów raportowania DORA (4h / 72h / 1 mies.) i separacji stref SWIFT |
| AppSec-Source-to-Sink, STIX 2.1 / MISP i Odporność na Wstrzyknięcia | Analiza przepływu AST taint, kryptograficzne dowody różnicowe, OASIS STIX 2.1 / MISP JSON i ochrona Bidi/homoglify | 100,00% AppSec · 100,00% STIX/MISP · 100,00% Ochrona Injection (4 500 / 4 500 wraz z Wave-8 w 15 zestawach specjalnych) | 100,00% (4 500 / 4 500) we wszystkich 15 zestawach Suwerenności, CRA, SBOM/VEX, AppSec i Regulacji (9B i 4B v9.0) | Eliminuje fałszywe alarmy w zabezpieczonych kontekstach SQL i zapewnia 100% odporności na pośrednie manipulacje promptem |
| CTIBench (MCQA · VSP CVSS v3.1) i SecBench / CyberMetric | Threat Intelligence, MITRE ATT&CK / CWE, dokładne równania FIRST.org CVSS v3.1 oraz obrona sieciowa | 100,00% CTI-MCQA · 93,33% CTIBench-RCM (CWE) · 95,33% CyberMetric · 86,67% CTIBench-VSP | 97,33% CTI-MCQA · 86,00% CTIBench-RCM (CWE) · 82,33% CTIBench-VSP (9B v9.0) | +6,00 pp wzrostu w CTIBench-VSP dzięki symbolicznej weryfikacji podwyników CVSS v3.1 i zmiany zakresu (#1 w stawce) |
| ProcessBench-Math, JudgeBench (GPT i Claude) oraz CriticBench | Lokalizacja pierwszego błędnego kroku w dowodach (PRM), logika 2-SAT/CSP oraz krytyka kodu i matematyki | 91,67% ProcessBench · 79,00% JB-GPT · 73,70% JB-Claude · 92,67% Critic-GSM8K | 86,67% ProcessBench · 88,00% Critic-GSM8K · 85,33% Critic-Code (9B v9.0) | 1. miejsce w JudgeBench-GPT (79,00%), JudgeBench-Claude (73,70%) oraz ProcessBench-Math (91,67%) |
| EvalBiasBench i HaluBench-Grounded (Wieloetapowa Faktyczność) | Odporność na pułapki długości, sykofancji i pozornego autorytetu oraz weryfikacja faktów i liczb w RAG | 97,50% EvalBiasBench (+12,50 pp vs. v7.0) · 74,67% HaluBench-Grounded (+21,34 pp vs. v4.0) | 93,93% EvalBiasBench · 73,00% HaluBench (9B v9.0) · 72,33% HaluBench (4B v9.0) | 1. miejsce w EvalBiasBench (97,50% vs. 91,07% najlepszej zewnętrznej referencji 27B i 81,43% referencji 72B) |
| AllenAI RewardBench v1, RewardBench v2 i Arena-Hard-Auto | Neutralna wobec stylu ocena preferencji, wnioskowanie spoza rozkładu, weryfikacja kodu i granice bezpieczeństwa | 96,00% RewardBench v1 · 89,33% RewardBench v2 · 91,00% Arena-Hard · 95,20% XSTest | 94,00% RB-v1 · 85,67% RB-v2 (9B v9.0) · 92,33% RB-v1 (4B v9.0) | 99,97% średniej spójności pozycji w 12 zestawach z zamianą par (+4,78 pp przewagi nad zewnętrzną referencją 27B) |
Uwaga metodyczna: Wszystkie pomiary wykonano deterministycznie (temperatura 0) z kryptograficzną weryfikacją SHA-256 oraz hybrydowymi poświadczeniami audytowymi RFC-8785. Zamrożony korpus referencyjny SKOPION Cyber-Judge (72 przypadki główne + 18 przypadków holdout) pozostał w 100% niezmodyfikowany (gwarancja zero-mutation).
Zgodność kierunkowa z regulacjami europejskimi (EU AI Act, DORA, NIS2, CRA i BSI TR-02102-1)
Architektura SKOPION Verdict v9.0 Apex-Sovereign przekłada wymagania inżynieryjne europejskich aktów prawnych na mierzalne cechy modelu — stanowiąc komponent techniczny, a nie poradę prawną ani urzędową ocenę jednostki notyfikowanej:
EU AI Act · art. 15 i BSI TR-02102-1
Dokładność, odporność i bezpieczeństwo post-kwantowe
Jawny pomiar niezmienniczości pozycji (99,97%), 100% odporności na pośrednie manipulacje promptem (Bidi/homoglify) oraz hybrydowe podpisy post-kwantowe zgodne z NIST FIPS 203/204/205.
DORA (Rozp. 2022/2554) i SWIFT CSCF v2025
Weryfikowalna selekcja ryzyk finansowych i ICT
100% trafności walidacji terminów zgłaszania incydentów DORA (4h / 72h / 1 mies.), integralności podpisów XML ISO 20022 (pacs.008 / pain.001) oraz kontroli skryptów PCI-DSS v4.0.1.
NIS2, Cyber Resilience Act i STIX 2.1 / MISP
Przejrzysta priorytetyzacja w 9 językach europejskich
Natywne porządkowanie dowodów ekspozycji, wyliczeń CVSS v3.1 i konfiguracji w językach DE, PL, EN, FR, UK, NL, CS, ES oraz IT wraz z eksportem do OASIS STIX 2.1 i MISP JSON.
Gotowość do konsorcjów badawczych i programów dotacyjnych UE
SKOPION Intelligence wnosi ten program badawczy jako wyspecjalizowany partner technologiczno-ewaluacyjny MŚP (realizacja wydzielonego pakietu roboczego WP, bez roli koordynatora konsorcjum) w europejskich i krajowych naborach B+R:
| Program / inicjatywa | Docelowa rola w konsorcjum | Wkład techniczny w pakiet roboczy (WP) |
|---|---|---|
| Horyzont Europa — Klaster 3 (Cyberbezpieczeństwo / ECCC RIA i IA) | Partner technologiczny i ewaluacyjny MŚP (WP) | Wiarygodna neuro-symboliczna AI dla Threat Intelligence (STIX 2.1 / MISP), hybrydowe łańcuchy dowodowe PQC (FIPS 203/204/205), konformalna kalibracja pewności oraz benchmarki w 9 językach UE. |
| Program Cyfrowa Europa (Digital Europe / ECCC, w tym AI4SME i SOC) | Partner technologiczno-wdrożeniowy MŚP | Normalizacja sygnałów ryzyka typu zero-false-positive, wspomaganie decyzji human-in-the-loop i czytelne raportowanie dla europejskich MŚP oraz zespołów CSIRT. |
| EuroHPC JU · Europejskie Fabryki AI · LLMs4EU | Użytkownik badawczo-ewaluacyjny MŚP | Domenowa kalibracja kompaktowych suwerennych modeli open-weight (4B–27B) oraz powtarzalne 37-zestawowe środowiska walidacyjne bezpieczeństwa na europejskich systemach HPC. |
| Krajowe i otwartoźródłowe B+R (m.in. ZIM, KMU-innovativ, NLnet) | Partner B+R / twórca modułów open-source | Otwarte komponenty do konformalnej kwantyfikacji niepewności, weryfikacji 2-SAT / CVSS v3.1 oraz deterministycznej selekcji alertów. |
Informacja o przejrzystości: SKOPION Intelligence posiada aktywny wpis w rejestrze uczestników Komisji Europejskiej EU Funding & Tenders Participant Register (PIC 861665939; złożona samoocena statusu MŚP) oraz uczestniczy w inicjatywie Komisji Europejskiej Apply AI Alliance (Futurium Stakeholders’ Catalogue). Rejestracja numeru PIC oraz udział w inicjatywie branżowej potwierdzają gotowość formalną podmiotu i nie oznaczają przyznania dotacji, zamówienia ani rekomendacji ze strony instytucji Unii Europejskiej.
Co SKOPION wnosi do konsorcjów i projektów pilotażowych
Dla liderów konsorcjów (uczelni, instytutów badawczych, europejskich dostawców chmury, centrów SOC/CERT) oraz partnerów pilotażowych SKOPION realizuje precyzyjnie wyspecyfikowane pakiety inżynieryjne:
- Projektowanie i kalibracja kompaktowych modeli decyzyjnych Apache-2.0 (4B–27B) z formalnymi gwarancjami wstrzymania decyzji w 9 językach UE
- Wolne od kontaminacji 37-zestawowe środowiska benchmarkowe (10 440 ocen/model) dla cyberbezpieczeństwa, sektora finansowego i regulacyjnej walidacji AI
- Neuro-symboliczne bramki dowodowe (2-SAT/CSP, CVSS v3.1, AST taint), normalizacja STIX 2.1 / MISP oraz hybrydowe poświadczenia post-kwantowe (FIPS 203/204/205)
- Przenośne profile wdrożeniowe on-premises dla izolowanych środowisk lokalnych bez transferu danych poza EOG
Wiążące granice badawcze i operacyjne
- —Wyłącznie defensywne, prewencyjne i nadzorowane przez człowieka badania oraz inżynieria AI
- —Całkowity zakaz przetwarzania danych klientów, danych osobowych i produkcyjnych w zewnętrznych procesach treningowych i benchmarkowych
- —Brak autonomicznego blokowania, modyfikowania lub ingerencji w systemy podmiotów trzecich
- —Brak świadczenia porad prawnych oraz brak zastępowania formalnej oceny zgodności przez jednostkę notyfikowaną
- —Brak deklaracji posiadania przyznanych grantów UE lub partnerstw instytucjonalnych bez opublikowanej decyzji o finansowaniu
Synergia z projektem Sovereign AI Security Node R1
Podczas gdy SKOPION Verdict v9.0 Apex-Sovereign dostarcza skalibrowane modele decyzyjne open-weight i 37-zestawowe środowisko weryfikacyjne, równoległy projekt Sovereign AI Security Node R1 definiuje docelową architekturę izolowanego środowiska on-premises do całkowicie lokalnej pracy bez chmury.