{"version":"2026-08-29","disclaimer":"Not an official standard. TheoremPath's own manifest of machine-readable surfaces.","site":"https://theorempath.com","authoringVoice":"third-person technical; no personal endorsements","citation":{"pageKind":"reference page","author":"Sneiderman, Robby","publisher":"TheoremPath","reviewProcess":"Written and maintained by the named author. Not peer reviewed and not refereed by any venue. Each claim below carries its own verification status.","pageIdentifier":"https://theorempath.com/topics/<slug>","claimIdentifier":"claim:<topic>::<statement>","claimUrl":"https://theorempath.com/topics/<topic>#<statement>","onPage":["citation_* meta tags in the document head","a JSON-LD Claim node per statement, with the LaTeX as authored","a visible 'Cite this page' block near the foot of the page"]},"licenses":{"content":"All rights reserved. Non-commercial quotation with attribution permitted.","code":"All rights reserved."},"endpoints":{"topicMarkdown":{"url":"https://theorempath.com/topics/<slug>/content.md","format":"text/markdown","access":"sign-in required","description":"Cleaned markdown with YAML frontmatter. LaTeX preserved verbatim so $\\sqrt{d}$ survives copy-paste."},"topicJson":{"url":"https://theorempath.com/topics/<slug>/content.json","format":"application/json","access":"sign-in required","description":"Structured topic record: slug, title, summary, cleaned markdown + plain text, graph-local prerequisites, lastReviewed, sourceVersion."},"topicSource":{"url":"https://theorempath.com/topics/<slug>/source.mdx","format":"text/plain","access":"sign-in required","description":"Raw authored MDX. For agents that want to inspect custom components and JSX directly."},"siteStats":{"url":"https://theorempath.com/api/site-stats","format":"application/json","access":"public","description":"Published topic counts and build timestamp."},"llmsTxt":{"url":"https://theorempath.com/llms.txt","format":"text/plain","access":"public","description":"Curated entry points, one line per tier-1 topic, and the citation and claim-index conventions."},"claimsJson":{"url":"https://theorempath.com/claims.json","format":"application/json","access":"public","description":"A selection of the statements on this site, not a listing of them: identifier of the form claim:<topic>::<statement>, kind, title, page anchor, and the verification recorded for it. Carries no statement text; the statement is on the page, in a JSON-LD Claim node.","covers":"1,178 of the 1,231 statements this site records, on 610 published topic pages. Selected by one rule: a theorem, lemma, corollary, or proposition block on a published topic page.","inclusionRule":"A theorem, lemma, corollary, or proposition block on a published topic page.","notListed":["Definition blocks are not listed. The extractor behind this index reads theorem, lemma, corollary and proposition blocks and nothing else, so a definition on a topic page has no entry here.","27 statements on 23 served comparison pages are not listed. A comparison page is not a topic page, so its statements carry no identifier in the format above.","Statements in the other Path sections of this site sit outside the two directories the extractor reads. No committed record holds them, so this index can neither list them nor count them.","26 statements sit on topic files that are not published. Those pages are not served, so the statements have no anchor to resolve to."]},"llmsFullTxt":{"url":"https://theorempath.com/llms-full.txt","format":"text/plain","access":"sign-in required","description":"Index of the 672 published topics, grouped by layer, with the 57 comparison pages after them. One line per page."},"sitemap":{"url":"https://theorempath.com/sitemap.xml","format":"application/xml","access":"public","description":"Standard XML sitemap of canonical URLs."},"graphJson":{"url":"https://theorempath.com/graph.json","format":"application/json","access":"public","description":"Public TheoremPath topic prerequisite graph plus the typed Path-family overlay. No retrieval chunks, user state, private ranking, or mastery data."},"conceptsJson":{"url":"https://theorempath.com/concepts.json","format":"application/json","access":"public","description":"Seed global concept registry for the Path family with canonical owner and domain treatments."},"familyGraphJson":{"url":"https://theorempath.com/family-graph.json","format":"application/json","access":"public","description":"Path-family site registry, cross-site relation policy, link-rendering caps, seed concepts, and launch specs."},"familyConceptsJson":{"url":"https://theorempath.com/family-concepts.json","format":"application/json","access":"public","description":"Compact concept/treatment snapshot derived from the family registry."},"askReliability":{"url":"https://theorempath.com/api/research/v1/ask-reliability","format":"application/json","access":"public","description":"Sealed blind holdout evaluations of the Ask feature: verdict, both confusion matrices with their definition difference, per-stratum counts, every blocking-rule and quality-gate outcome, error case identifiers, and artifact hashes. Carries no retrieval chunks, per-case retrieval records, or ranking scores; withheld files are listed with their hashes and the reason."},"rss":{"url":"https://theorempath.com/rss.xml","format":"application/rss+xml","access":"public","description":"RSS feed of recently reviewed topics."}},"scope":{"public":["canonical topic HTML at /topics/<slug>","topic titles, summaries, and navigation","sitemap and RSS","site-level aggregate stats","curated llms.txt entry points","claim-granularity index at /claims.json, carrying its own scope statement","per-page citation metadata and per-claim JSON-LD in the page HTML","public graph.json / concepts.json path-family registry","theorem index at /theorems: governed claims with a checked Lean declaration, each named by its declaration and linked to its topic-page anchor","Lean verification dashboard at /lean: per-entry proof scope, toolchain and mathlib pins, and public statement-source mapping class","sealed Ask holdout results at /reliability and /api/research/v1/ask-reliability"],"signInRequired":["per-topic cleaned markdown, JSON, and raw MDX","full layer-grouped index (llms-full.txt)","the Ask feature"],"notPublic":["retrieval chunks and embeddings","private graph weights and ranking features","ranking and scoring internals","sealed evaluation case text and per-case retrieval records","user state, mastery models, diagnostics","bulk corpus dumps beyond indexed entry points"]},"generatedAt":"2026-09-15T23:40:50.088Z"}