[
  {
    "slug": "00-README",
    "title": "Math 2.0: specification",
    "url": "https://math2.tamnd.com/spec/00-README/",
    "markdown": "https://math2.tamnd.com/spec/00-README.md"
  },
  {
    "slug": "01-research-2026",
    "title": "01. The state of the field, October 2026",
    "url": "https://math2.tamnd.com/spec/01-research-2026/",
    "markdown": "https://math2.tamnd.com/spec/01-research-2026.md"
  },
  {
    "slug": "02-the-goal",
    "title": "02. The goal",
    "url": "https://math2.tamnd.com/spec/02-the-goal/",
    "markdown": "https://math2.tamnd.com/spec/02-the-goal.md"
  },
  {
    "slug": "03-architecture",
    "title": "03. Architecture",
    "url": "https://math2.tamnd.com/spec/03-architecture/",
    "markdown": "https://math2.tamnd.com/spec/03-architecture.md"
  },
  {
    "slug": "04-object-model",
    "title": "04. The object model",
    "url": "https://math2.tamnd.com/spec/04-object-model/",
    "markdown": "https://math2.tamnd.com/spec/04-object-model.md"
  },
  {
    "slug": "05-knowledge-graph",
    "title": "05. The knowledge graph",
    "url": "https://math2.tamnd.com/spec/05-knowledge-graph/",
    "markdown": "https://math2.tamnd.com/spec/05-knowledge-graph.md"
  },
  {
    "slug": "06-versioned-storage",
    "title": "06. Versioned storage: metadata, artefacts, provenance",
    "url": "https://math2.tamnd.com/spec/06-versioned-storage/",
    "markdown": "https://math2.tamnd.com/spec/06-versioned-storage.md"
  },
  {
    "slug": "07-formal-engine",
    "title": "07. The formal engine: Lean 4, Mathlib, proof checking",
    "url": "https://math2.tamnd.com/spec/07-formal-engine/",
    "markdown": "https://math2.tamnd.com/spec/07-formal-engine.md"
  },
  {
    "slug": "08-computational-engine",
    "title": "08. The computational engine: CAS, SMT, numerical experiments",
    "url": "https://math2.tamnd.com/spec/08-computational-engine/",
    "markdown": "https://math2.tamnd.com/spec/08-computational-engine.md"
  },
  {
    "slug": "09-literature-ingestion",
    "title": "09. Literature ingestion: papers, books, existing libraries",
    "url": "https://math2.tamnd.com/spec/09-literature-ingestion/",
    "markdown": "https://math2.tamnd.com/spec/09-literature-ingestion.md"
  },
  {
    "slug": "10-autoformalization-and-fidelity",
    "title": "10. Autoformalization and statement fidelity",
    "url": "https://math2.tamnd.com/spec/10-autoformalization-and-fidelity/",
    "markdown": "https://math2.tamnd.com/spec/10-autoformalization-and-fidelity.md"
  },
  {
    "slug": "11-api-and-orchestrator",
    "title": "11. The Mathematical API and the agent orchestrator",
    "url": "https://math2.tamnd.com/spec/11-api-and-orchestrator/",
    "markdown": "https://math2.tamnd.com/spec/11-api-and-orchestrator.md"
  },
  {
    "slug": "12-research-agents",
    "title": "12. Research agents",
    "url": "https://math2.tamnd.com/spec/12-research-agents/",
    "markdown": "https://math2.tamnd.com/spec/12-research-agents.md"
  },
  {
    "slug": "13-research-workspace",
    "title": "13. The research workspace: search, explore, explain, collaborate",
    "url": "https://math2.tamnd.com/spec/13-research-workspace/",
    "markdown": "https://math2.tamnd.com/spec/13-research-workspace.md"
  },
  {
    "slug": "14-search",
    "title": "14. Search",
    "url": "https://math2.tamnd.com/spec/14-search/",
    "markdown": "https://math2.tamnd.com/spec/14-search.md"
  },
  {
    "slug": "15-trust-and-audit",
    "title": "15. Trust and the audit",
    "url": "https://math2.tamnd.com/spec/15-trust-and-audit/",
    "markdown": "https://math2.tamnd.com/spec/15-trust-and-audit.md"
  },
  {
    "slug": "16-collaboration-and-governance",
    "title": "16. Collaboration and governance",
    "url": "https://math2.tamnd.com/spec/16-collaboration-and-governance/",
    "markdown": "https://math2.tamnd.com/spec/16-collaboration-and-governance.md"
  },
  {
    "slug": "17-evaluation",
    "title": "17. Evaluation",
    "url": "https://math2.tamnd.com/spec/17-evaluation/",
    "markdown": "https://math2.tamnd.com/spec/17-evaluation.md"
  },
  {
    "slug": "18-coverage-all-math",
    "title": "18. Coverage: what \"all mathematics\" means",
    "url": "https://math2.tamnd.com/spec/18-coverage-all-math/",
    "markdown": "https://math2.tamnd.com/spec/18-coverage-all-math.md"
  },
  {
    "slug": "19-milestones",
    "title": "19. Milestones",
    "url": "https://math2.tamnd.com/spec/19-milestones/",
    "markdown": "https://math2.tamnd.com/spec/19-milestones.md"
  },
  {
    "slug": "20-repository-layout",
    "title": "20. Repository layout",
    "url": "https://math2.tamnd.com/spec/20-repository-layout/",
    "markdown": "https://math2.tamnd.com/spec/20-repository-layout.md"
  },
  {
    "slug": "21-open-questions",
    "title": "21. Open questions",
    "url": "https://math2.tamnd.com/spec/21-open-questions/",
    "markdown": "https://math2.tamnd.com/spec/21-open-questions.md"
  },
  {
    "slug": "corpus/00-README",
    "title": "Math 2.0: the corpus specification",
    "url": "https://math2.tamnd.com/spec/corpus/00-README/",
    "markdown": "https://math2.tamnd.com/spec/corpus/00-README.md"
  },
  {
    "slug": "corpus/01-research",
    "title": "K01. Research",
    "url": "https://math2.tamnd.com/spec/corpus/01-research/",
    "markdown": "https://math2.tamnd.com/spec/corpus/01-research.md"
  },
  {
    "slug": "corpus/01a-reference-works",
    "title": "K01, part A. Encyclopedic, reference and database sources of mathematics written by people",
    "url": "https://math2.tamnd.com/spec/corpus/01a-reference-works/",
    "markdown": "https://math2.tamnd.com/spec/corpus/01a-reference-works.md"
  },
  {
    "slug": "corpus/01b-literature-and-books",
    "title": "K01, part B. Literature indexes, open textbooks and syllabi: sizes, licences, channels (research for math2)",
    "url": "https://math2.tamnd.com/spec/corpus/01b-literature-and-books/",
    "markdown": "https://math2.tamnd.com/spec/corpus/01b-literature-and-books.md"
  },
  {
    "slug": "corpus/01c-formal-libraries",
    "title": "K01, part C. Formal libraries and formal / informal-formal datasets",
    "url": "https://math2.tamnd.com/spec/corpus/01c-formal-libraries/",
    "markdown": "https://math2.tamnd.com/spec/corpus/01c-formal-libraries.md"
  },
  {
    "slug": "corpus/01d-model-generation",
    "title": "K01, part D. LLM generation at scale: quality, prior projects, memorization, law, terms and cost",
    "url": "https://math2.tamnd.com/spec/corpus/01d-model-generation/",
    "markdown": "https://math2.tamnd.com/spec/corpus/01d-model-generation.md"
  },
  {
    "slug": "corpus/01e-representation-and-packaging",
    "title": "K01, part E. Representation, pedagogy, exercises, packaging and notation",
    "url": "https://math2.tamnd.com/spec/corpus/01e-representation-and-packaging/",
    "markdown": "https://math2.tamnd.com/spec/corpus/01e-representation-and-packaging.md"
  },
  {
    "slug": "corpus/02-the-goal",
    "title": "K02. The goal of the corpus",
    "url": "https://math2.tamnd.com/spec/corpus/02-the-goal/",
    "markdown": "https://math2.tamnd.com/spec/corpus/02-the-goal.md"
  },
  {
    "slug": "corpus/03-identifiers",
    "title": "K03. Identifiers: tags of ten characters",
    "url": "https://math2.tamnd.com/spec/corpus/03-identifiers/",
    "markdown": "https://math2.tamnd.com/spec/corpus/03-identifiers.md"
  },
  {
    "slug": "corpus/04-inventory",
    "title": "K04. The inventory",
    "url": "https://math2.tamnd.com/spec/corpus/04-inventory/",
    "markdown": "https://math2.tamnd.com/spec/corpus/04-inventory.md"
  },
  {
    "slug": "corpus/05-human-sources",
    "title": "K05. Human sources",
    "url": "https://math2.tamnd.com/spec/corpus/05-human-sources/",
    "markdown": "https://math2.tamnd.com/spec/corpus/05-human-sources.md"
  },
  {
    "slug": "corpus/06-formal-sources",
    "title": "K06. Formal sources",
    "url": "https://math2.tamnd.com/spec/corpus/06-formal-sources/",
    "markdown": "https://math2.tamnd.com/spec/corpus/06-formal-sources.md"
  },
  {
    "slug": "corpus/07-machine-generation",
    "title": "K07. Machine generation: what models write, and how",
    "url": "https://math2.tamnd.com/spec/corpus/07-machine-generation/",
    "markdown": "https://math2.tamnd.com/spec/corpus/07-machine-generation.md"
  },
  {
    "slug": "corpus/08-the-node-card",
    "title": "K08. The node card: what a good node contains",
    "url": "https://math2.tamnd.com/spec/corpus/08-the-node-card/",
    "markdown": "https://math2.tamnd.com/spec/corpus/08-the-node-card.md"
  },
  {
    "slug": "corpus/09-quality",
    "title": "K09. Quality: how the corpus stays correct",
    "url": "https://math2.tamnd.com/spec/corpus/09-quality/",
    "markdown": "https://math2.tamnd.com/spec/corpus/09-quality.md"
  },
  {
    "slug": "corpus/10-structure-and-notation",
    "title": "K10. Structure, notation and conventions",
    "url": "https://math2.tamnd.com/spec/corpus/10-structure-and-notation/",
    "markdown": "https://math2.tamnd.com/spec/corpus/10-structure-and-notation.md"
  },
  {
    "slug": "corpus/11-packaging",
    "title": "K11. Packaging: from nodes to courses, books and articles",
    "url": "https://math2.tamnd.com/spec/corpus/11-packaging/",
    "markdown": "https://math2.tamnd.com/spec/corpus/11-packaging.md"
  },
  {
    "slug": "corpus/12-pipeline-and-operations",
    "title": "K12. Pipeline and operations",
    "url": "https://math2.tamnd.com/spec/corpus/12-pipeline-and-operations/",
    "markdown": "https://math2.tamnd.com/spec/corpus/12-pipeline-and-operations.md"
  },
  {
    "slug": "corpus/13-legal-and-ethics",
    "title": "K13. Law and ethics",
    "url": "https://math2.tamnd.com/spec/corpus/13-legal-and-ethics/",
    "markdown": "https://math2.tamnd.com/spec/corpus/13-legal-and-ethics.md"
  },
  {
    "slug": "corpus/14-roadmap",
    "title": "K14. Roadmap",
    "url": "https://math2.tamnd.com/spec/corpus/14-roadmap/",
    "markdown": "https://math2.tamnd.com/spec/corpus/14-roadmap.md"
  },
  {
    "slug": "corpus/15-open-questions",
    "title": "K15. Open questions",
    "url": "https://math2.tamnd.com/spec/corpus/15-open-questions/",
    "markdown": "https://math2.tamnd.com/spec/corpus/15-open-questions.md"
  }
]