schema: superpaper.ledger/v1
retired_ids: []
paper:
  id: smoke
  title: Smoke
  source: {kind: excerpt}
coverage:
  mode: excerpt
questions: []
claims:
  - {id: C1, text: smoke, kind: contribution, status: core}
definitions: []
assumptions: []
lemmas: []
symbols:
  - {name: x, latex: "x", meaning: "input", kind: value}
derivations: []
figures: []
evidence: []
terms: []
source_assets: []