{
 "schema": "vela.site-manifest.v0.1",
 "what": "Machine-surface manifest for the Vela verified record. The signed event logs are the source of truth; this site is a rebuildable projection.",
 "source_repo": "https://github.com/vela-science/vela",
 "hub_api": "https://vela-hub.fly.dev",
 "url_templates": {
  "problem_page": "/erdos/{problem_number}",
  "problem_packet": "/erdos/{problem_number}/packet.json",
  "frontier_page": "/frontier/{slug}",
  "frontier_twin": "/frontier/{slug}/index.json",
  "frontier_events_twin": "/frontier/{slug}/events.json",
  "frontier_packet_twin": "/frontier/{slug}/packet.json",
  "producer_page": "/producer/{pubkey_hex}",
  "producer_cv": "/producer/{pubkey_hex}/cv.json",
  "hub_entry_status": "https://vela-hub.fly.dev/entries/{vfr_id}/status",
  "hub_entry_events": "https://vela-hub.fly.dev/entries/{vfr_id}/events?since={iso8601}",
  "hub_producer": "https://vela-hub.fly.dev/producers/{pubkey_hex}"
 },
 "machine_surfaces": [
  "/llms.txt",
  "/index.json",
  "/frontiers/index.json",
  "/.well-known/mcp/server-card.json"
 ],
 "custody_rule": "An AI may propose; only a key-holding human signs an accept.",
 "frontiers": [
  {
   "slug": "erdos-problems",
   "vfr_id": "vfr_37aec80d874a0239",
   "name": "Erdős problems frontier",
   "findings": 1256
  },
  {
   "slug": "sidon-sets",
   "vfr_id": "vfr_496956067dc5ad79",
   "name": "Additive combinatorics: Sidon sets and N(h,k) bounds",
   "findings": 22
  },
  {
   "slug": "benchmark-state",
   "vfr_id": "vfr_efc649fd772a1ff1",
   "name": "AI-for-science benchmark state",
   "findings": 12
  },
  {
   "slug": "quantum-codes",
   "vfr_id": "vfr_001f148c07eebecb",
   "name": "Quantum codes: stabilizer [[n,k,d]] certificates",
   "findings": 5
  },
  {
   "slug": "formal-conjectures-lean",
   "vfr_id": "vfr_97d7d25957384f80",
   "name": "Formal-conjectures Lean proofs (kernel-verified)",
   "findings": 2
  }
 ]
}