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:
  - id: F1
    claim: C1
    title: derive
    grammar: derivation
    toolkit: superderive
    signals: [rewrite-figure]
    status: planned

evidence: []
terms: []
source_assets: []