Logo RGC — symbol ⊢ oznaczający dowód

Routence Grade Certified

Certyfikat, który sam się udowadnia. Nie oświadczenie zgodności i nie audyt raz na trzy lata — zestaw pomiarów wykonywanych na żywej platformie przy każdym wdrożeniu.

Aktualny poziom certyfikatu RGC

Plakietka odświeża się automatycznie po każdym wdrożeniu.

Dlaczego nie zwykły certyfikat

WymiarCertyfikat klasycznyRGC
Jak częstoraz na 1–3 lataprzy każdym wdrożeniu
Co badadokumentację i proceduryżywą produkcję
PostaćPDF podpisany przez człowiekakod, który się wykonuje
Gdy niezgodnośćuwaga w raporcieblokada wdrożenia
Historiaarchiwum dokumentówłańcuch haszy — nie do przepisania
Czego RGC nie zastępuje. Formalnego dowodu matematycznego (EAL7, seL4). Dowód formalny obejmuje wszystkie możliwe stany systemu; pomiar — tylko te, które wystąpiły. RGC jest silniejszy w ciągłości, zakresie i skutku, słabszy w sile formalnej. Piszemy to wprost, bo standard bez uczciwości jest wart tyle, co naklejka.

Sześć kategorii, 25 wymogów

A · Poprawność danych

Sumy zgodne ze źródłem co do najmniejszej jednostki, kwoty w liczbach całkowitych, zapis idempotentny, żadne pole nie ginie po cichu.

B · Bezpieczeństwo i izolacja

Dane jednego podmiotu nieosiągalne dla drugiego, uprawnienia sprawdzane przy każdym odczycie, sekrety nigdy jawnym tekstem.

C · Ciągłość działania

Wdrożenie bez przerwy i bez zrywania połączeń, spójność wersji między węzłami, awaria zależności = degradacja zamiast pustego ekranu.

D · Wydajność

Czas do interaktywności, zero pracy serwera na kliknięcie użytkownika, rozmiar odpowiedzi proporcjonalny do treści.

E · Czas rzeczywisty

Zmiana widoczna u drugiego użytkownika bez odświeżania strony, brak odpytywania cyklicznego, dane binarne na łączu.

F · Higiena inżynierska

Zero ostrzeżeń w kodzie i w testach, testy przechodzą, brak martwego interfejsu.

Poziomy

RGC‑1 — kategorie A i Bnie kłamie i nie wypuszcza danych
RGC‑2 — RGC‑1 + C i Ddziała bez przerw i szybko
RGC‑3 — RGC‑2 + E i Fpełna klasa czasu rzeczywistego

Poziom przyznaje się w całości. Jeden wymóg bez dowodu = brak poziomu. Wymóg, którego nikt nie zmierzył, liczy się jak niezdany — to celowy bezpiecznik przeciwko certyfikatowi, który nic nie sprawdza.

Uruchom u siebie

Standard bada zachowanie z zewnątrz, przez zwykłe interfejsy sieciowe. Nie musisz udostępniać kodu ani niczego przepisywać — działa niezależnie od technologii, w jakiej zbudowano platformę.

rgc-verify --url https://twoja-platforma.pl \
           --konto-testowe plik.env \
           --poziom 3

Część wymogów (sekrety, ostrzeżenia w kodzie, spójność węzłów) wykonuje właściciel instancji u siebie — z sieci ich nie widać. Ich wynik wchodzi do raportu z osobną adnotacją.

Jak sprawdzić, że nie oszukujemy

Każdy wynik jest podpisany kluczem instancji (Ed25519) i zawiera skrót poprzedniego wyniku. Trzy kroki, bez zaufania do nas:

  1. przelicz skrót wpisu i porównaj z zapisanym,
  2. sprawdź podpis kluczem publicznym instancji,
  3. sprawdź, czy wpis wskazuje na skrót poprzedniego.

Usunięcie niewygodnego wyniku rozrywa łańcuch i widać to natychmiast. Audytor może przymknąć oko na jedną złą noc — łańcuch haszy nie potrafi.

Co pokazujemy, a czego nie

JawneNiejawne
specyfikacja i zestaw testów · poziom · licznik zdanych · data · skrót wydania · stan kategorii które wymogi nie przeszły i dlaczego · nazwy zasobów wewnętrznych · wersje komponentów · dane pomiarowe

Publiczny opis własnej słabości to instrukcja dla atakującego, a nie przejrzystość. Metoda badania jest jawna — luki konkretnej instancji nie. Gdy poziom nie jest przyznany, plakietka mówi neutralnie „weryfikacja w toku".