{
 "schema": "vela.frontier-events-twin.v0.1",
 "what": "Chain + signature surface for this frontier. Feed `events` to the frozen verifier's check_chain(events_json) (core module in /wasm/manifest.json); feed `events` with `pubkeys` to check_signatures(events_json, pubkeys_json) in the lazy signature module (sig_module). signing_bytes_hex ships only when the substrate wrote it into the raw event JSON — it is never reconstructed here.",
 "slug": "formal-conjectures-lean",
 "vfr_id": "vfr_97d7d25957384f80",
 "head": {
  "id": "vev_8e115d71ace1e871",
  "after_hash": "sha256:5d1df621d6664b8f5770fe46293ff0e245f3b65082ef19af594c1ebfabe78e6f"
 },
 "pubkeys": {
  "agent:canopus-lean-2026-06-03": "b1264a5c22d5af21b3c0f22027a352b1bab7539e737f14f50b6c01ad77a2dc8a",
  "reviewer:will-blair": "4892f93877e637b5f59af31d9ec6704814842fb278cacb0eb94704baef99455e"
 },
 "events": [
  {
   "k": 0,
   "id": "vev_d2640575ef581360",
   "kind": "artifact.asserted",
   "target": "va_f58c02c108d658a8",
   "target_type": "artifact",
   "actor": "reviewer:will",
   "actor_type": "human",
   "ts": "2026-06-03T20:46:17.449049+00:00",
   "before_hash": "sha256:null",
   "after_hash": "sha256:null"
  },
  {
   "k": 1,
   "id": "vev_8a6a56bd6ea7c014",
   "kind": "finding.asserted",
   "target": "vf_bc277af6cc7a3216",
   "target_type": "finding",
   "actor": "reviewer:will",
   "actor_type": "human",
   "ts": "2026-06-03T20:46:17.473385+00:00",
   "before_hash": "sha256:null",
   "after_hash": "sha256:f6b8ff937949374111f8a07caa1bcb845aa3babe981eccde62a49653a1798430"
  },
  {
   "k": 2,
   "id": "vev_6cf9b2c095a6967f",
   "kind": "artifact.asserted",
   "target": "va_89b58c9bfdc58a55",
   "target_type": "artifact",
   "actor": "reviewer:will",
   "actor_type": "human",
   "ts": "2026-06-03T21:03:43.735043+00:00",
   "before_hash": "sha256:null",
   "after_hash": "sha256:null"
  },
  {
   "k": 3,
   "id": "vev_8e115d71ace1e871",
   "kind": "finding.asserted",
   "target": "vf_b8e3badb634a19a0",
   "target_type": "finding",
   "actor": "reviewer:will",
   "actor_type": "human",
   "ts": "2026-06-03T21:03:43.756437+00:00",
   "before_hash": "sha256:null",
   "after_hash": "sha256:5d1df621d6664b8f5770fe46293ff0e245f3b65082ef19af594c1ebfabe78e6f"
  }
 ]
}