Every gate run as a trace — the verdict, the evidence, and what the judge told your coding agent.
Records upload only after you run proofjury connect. Nothing leaves your machine before that.
Correctness, not security. Deterministic checks decide; the judge only explains.