# External source record

```markdown
### <Source ID>: <short result name>

- **Bibliographic record:**
- **Stable locator / DOI / arXiv ID:**
- **Version or revision date:**
- **Date checked:**
- **Local cache SHA-256 (optional):**
- **Cached extraction status:** available, unavailable, failed, not-requested
- **Exact theorem/definition/pages:**
- **Source status:** proves, sketches, states, conjectures, motivates
- **Project claim supported:**
- **Exact hypotheses:**
- **Coefficient, grading, variance, action, completion:**
- **Notation dictionary:**
- **Implication check:**
- **Exceptions or caveats:**
- **Overlap classification:**
- **Search scope for novelty statement:** databases/indexes, exact queries,
  synonym or historical-vocabulary queries, date/language/field bounds
- **Citation graph checked:** backward references, forward citations, related
  authors or bibliographies
- **Second search pass:** method/reviewer, date, and independence limitation
- **Coverage gaps:**
```