Evidence Layer · Claim ≤ Proof · Audit Trail

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

LAYER-01 / LOGI

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.

LAYER-02 / WERSJONOWANIE

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.

LAYER-03 / CLAIM MAP

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.

LAYER-04 / HUMAN REVIEW

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

# Minimalny format rekordu audytowego — środowisko badawcze UNIONAI
{
  "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"
}
Uwaga: Powyższy format jest specyfikacją roboczą (working spec) programu badawczego. Nie jest standardem certyfikowanym. Implementacja może różnić się od specyfikacji — różnice są dokumentowane jako odchylenia (drift records) w evidence-index.

Zasady nienaruszalności warstwy dowodowej

Reguły operacyjne evidence layer

immutability Rekordy audytowe nie są modyfikowane po zapisaniu. Korekty są dodawane jako osobne rekordy z referencją do oryginału i adnotacją correction_of.
separation Magazyn logów jest fizycznie oddzielony od środowisk agentów. Agenty posiadają uprawnienia wyłącznie do zapisu (write-only) — bez możliwości odczytu ani modyfikacji wcześniejszych rekordów.
traceability Każde twierdzenie w dokumentacji zewnętrznej ma identyfikator claim_id pozwalający prześledzić jego historię: od generowania przez agenta, przez recenzję, do zatwierdzenia.
scope-limit Zasada claim ≤ proof jest egzekwowana systemowo: automatyczne narzędzia programu odrzucają publikację dokumentów zawierających twierdzenia bez mapowania dowodowego.