[
  {
    "section": "s1",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "1. Memory is a contract with a future query"
  },
  {
    "section": "s2",
    "kind": "source_based_review",
    "sources": [
      "dl3-a03-1",
      "dl3-a03-2",
      "dl3-a03-3",
      "dl3-a03-4",
      "dl3-a03-5",
      "dl3-a03-6"
    ],
    "claim": "2. What the primary records establish"
  },
  {
    "section": "s3",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "3. A state is not a transcript"
  },
  {
    "section": "s4",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "4. The scalar leaky accumulator"
  },
  {
    "section": "s5",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "5. Retention and interference cannot be merged"
  },
  {
    "section": "s6",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "6. State dimension changes the space of summaries"
  },
  {
    "section": "s7",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "7. Selective writing introduces an information assumption"
  },
  {
    "section": "s8",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "8. Forgetting can be the correct behavior"
  },
  {
    "section": "s9",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "9. Access is separate from storage"
  },
  {
    "section": "s10",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "10. Parallel training does not imply random access"
  },
  {
    "section": "s11",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "11. A finite-precision perspective"
  },
  {
    "section": "s12",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "12. Designing a memory stress test"
  },
  {
    "section": "s13",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "13. The figures and their assumptions"
  },
  {
    "section": "s14",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "14. What the checks prove and leave open"
  },
  {
    "section": "s15",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "15. A useful comparison is a profile"
  },
  {
    "section": "s16",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "16. Limits of the present review"
  }
]