{
  "source_sha256": "dea7674dee176f33b8fc688045c48231e4bfdce9afcc1e46c30c21374e9ae233",
  "image": "sha256:e7ee176031a694c68c5efc09c60506d226129dde91736c7c8e4ef8ab05053787",
  "elapsed_seconds": 36.259941249853,
  "exit_code": 0,
  "network": "none",
  "uid": 65534,
  "cpu_limit": 2,
  "memory": "3g",
  "mount": "job-only read-only at /bundle; no secret or host-home mount",
  "command": "lean --version && lean proofs/Audit.lean",
  "alteration": "Exact submitted proof bytes followed only by diagnostics.lean."
}