// 08 — Trust
Verifiable by construction.
Enterprise reasoning requires more than answers. KARIOS treats determinism, reproducibility, and proof emission as first-class product features.
Deterministic execution
Pinned seeds, fixed thread counts, and reproducible container images. Same input → same result, every time.
Certified proofs
UNSAT results carry DRAT/LRAT proofs verified by DRAT-trim. SAT results include the full witness model.
Reproducibility packages
Every release ships with instances, seeds, raw logs, and image hashes so customers can re-run the entire suite.
Isolation & data handling
Solver workers are sandboxed per tenant. Instance data is never persisted by default; opt-in archival is auditable.