[
  {
    "section": "s1",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "1. A retrieved document changes the predictor"
  },
  {
    "section": "s2",
    "kind": "source_based_review",
    "sources": [
      "dl3-a04-1",
      "dl3-a04-2",
      "dl3-a04-3",
      "dl3-a04-4",
      "dl3-a04-5",
      "dl3-a04-6"
    ],
    "claim": "2. What the selected papers contribute"
  },
  {
    "section": "s3",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "3. Availability, usefulness and utilization"
  },
  {
    "section": "s4",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "4. An exact answer-probability decomposition"
  },
  {
    "section": "s5",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "5. More context can change the conditional problem"
  },
  {
    "section": "s6",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "6. A latent-document mixture"
  },
  {
    "section": "s7",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "7. Predictive utility can reward shortcuts"
  },
  {
    "section": "s8",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "8. Training exposure determines what the generator expects"
  },
  {
    "section": "s9",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "9. Index updates require versioned evaluation"
  },
  {
    "section": "s10",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "10. Citation is not entailment"
  },
  {
    "section": "s11",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "11. Abstention changes the utility calculation"
  },
  {
    "section": "s12",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "12. Security and scientific evidence share a boundary"
  },
  {
    "section": "s13",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "13. A controlled evaluation matrix"
  },
  {
    "section": "s14",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "14. What the finite program verifies"
  },
  {
    "section": "s15",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "15. Interpreting a successful retrieval intervention"
  },
  {
    "section": "s16",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "16. Open questions and scope"
  }
]