{
 "schema": "vela.frontier-packet-twin.v0.1",
 "what": "The proof boundary: the exact reproduce command and the expected snapshot hash the frozen verifiers re-derive.",
 "slug": "formal-conjectures-lean",
 "vfr_id": "vfr_97d7d25957384f80",
 "head": {
  "id": "vev_8e115d71ace1e871",
  "after_hash": "sha256:5d1df621d6664b8f5770fe46293ff0e245f3b65082ef19af594c1ebfabe78e6f"
 },
 "reproduce": "vela reproduce projects/formal-conjectures-lean",
 "snapshot_hash": null,
 "latest_packet": {
  "event_log_hash": null,
  "generated_at": null,
  "packet_manifest_hash": null,
  "snapshot_hash": null,
  "status": "never_exported"
 }
}