schema: superpaper.ledger/v1
retired_ids: []
paper:
  id: toy
  title: Toy
  source: {kind: excerpt}
coverage:
  mode: excerpt
questions: []
claims:
  - {id: C1, text: core claim, kind: contribution, status: core}
definitions: []
assumptions: []
lemmas: []
symbols: []
derivations: []
figures: []
evidence: []
terms: []
source_assets: []