schema: superpaper.ledger/v1 retired_ids: [] paper: id: "example" title: "" authors: [] notes_language: zh source: kind: excerpt coverage: mode: excerpt sections_in: [] sections_skipped: [] questions: [] claims: [] definitions: [] assumptions: [] lemmas: [] symbols: [] derivations: [] figures: [] evidence: [] terms: [] source_assets: []