Audytowalność
i ślady dowodowe
Warstwa dowodowa programu UNIONAI: jak są gromadzone logi, wersjonowane artefakty i weryfikowane twierdzenia — zasada claim ≤ proof jako fundament każdego wyniku badawczego.
Claim ≤ Proof — żadne twierdzenie bez dowodu
Zasada claim ≤ proof (twierdzenie nie przekracza dowodu) jest reguła architektoniczną programu UNIONAI: zakres twierdzeń zawartych w raportach, dokumentacji i komunikacji zewnętrznej jest ograniczony wyłącznie do twierdzeń, dla których istnieje weryfikowalny dowód zapisany w warstwie evidence layer.
Oznacza to w praktyce: nie publikujemy liczb, dat, nazw klientów ani wyników, których nie możemy wskazać w zbiorze dowodów. Twierdzenia robocze (working claims) są oznaczane explicite jako niepotwierdzone i kierowane do weryfikacji przed jakimkolwiek zewnętrznym użyciem.
Zasada obowiązuje wszystkich uczestników programu — zarówno K0NSULT Sp. z o.o. jako podmiot wiodący, jak i Grassroots Lobbing jako partnera wspierającego. Dotyczy też automatycznych twierdzeń generowanych przez agenty AI — są one kwalifikowane jako working claims do momentu weryfikacji przez człowieka.
Cztery warstwy gromadzenia dowodów
Logi operacyjne
Każde działanie agenta jest logowane: identyfikator sesji, znacznik czasu (UTC), identyfikator agenta, wersja modelu, żądanie i odpowiedź. Logi są przechowywane w oddzielnym magazynie niemodyfikowalnym przez agenta.
Wersjonowanie artefaktów
Każdy artefakt programu (raport, kod, konfiguracja polityki) jest wersjonowany z przypisanym hashem zawartości i identyfikatorem autora (człowiek lub agent). Historia zmian jest nieusuwalna w ramach systemu badawczego.
Mapa twierdzeń
Każde twierdzenie zawarte w dokumentacji programu jest przypisane do jednego lub więcej dowodów z warstwy logów lub artefaktów. Twierdzenia bez mapowania są automatycznie oznaczane jako [UNVERIFIED] i wymagają recenzji przed scaleniem.
Recenzja przez człowieka
Twierdzenia przechodzące do dokumentacji zewnętrznej lub evidence-index wymagają zatwierdzenia przez uprawnioną osobę z K0NSULT. Zatwierdzenie jest zapisywane jako oddzielny artefakt (review record) wchodzący do warstwy dowodowej.
Format śladu audytowego — minimalny zestaw pól
{
"session_id": "uuid-v4",
"ts_utc": "ISO-8601",
"agent_id": "string — identyfikator agenta",
"model_version": "string — wersja modelu bazowego",
"task_ref": "string — referencja do autoryzowanego zadania",
"input_hash": "sha256 danych wejściowych",
"output_hash": "sha256 wyjścia",
"claim_status": "verified | unverified | working",
"reviewed_by": "null | identyfikator recenzenta"
}