Signed, auditable receipts for Gemma 4 inference. The provider commits to the execution trace; an auditor challenges random positions and verifies them on a CPU without the weights: Freivalds checks, exact decode, Merkle-bound traces. CommitLLM protocol.