{
  "video_id": "8eb3158ea7f5dcab",
  "channel": "export-arxiv-org-rss-cs-ai",
  "title": "VGPT-RSI for RH-Adjacent Formal Progress: Boundary Certificates, Verified Finite Lagarias Inequalities, and Explicit Failure Localization",
  "scores": {
    "depth": 2,
    "novelty": 2,
    "aria_relevance": 2,
    "production_ready": 1
  },
  "junk_penalty": 1,
  "avg_score": 1.75,
  "effective_score": 1.25,
  "verdict": "summary_only",
  "one_line_reason": "Solid formal-methods + LLM-reasoning hybrid on hard-math problem; aria-relevant (verification, explicit-failure-localization) but niche domain, limited implementation detail, slight overclaim-risk in framing ('VGPT-RSI' as unified system).",
  "model": "claude-haiku-4-5-20251001",
  "cost_usd": 0.0018960000000000001,
  "triaged_at": "2026-06-16T15:03:14.343518+00:00"
}