Body fragment
Direct insertion with renderPreviewInto: useful for custom UIs, but intentionally body-only.
Waiting for manifest data.
Waiting for preview header.
3. Custom Render Client
This page carries a standalone browser client for the Blueprint render API.
Standalone Render Client
Idle
Label native preview
Label-oriented renderNode call: native content uses the generated Blueprint node shell.
Waiting for manifest data.
Waiting for preview header.
Canonical statement
Canonical insertion with renderCanonicalPreviewInto; this reuses the generated Blueprint node wrapper.
Waiting for manifest data.
Waiting for preview header.
Canonical proof
Canonical proof-facet rendering, including the standard Blueprint heading.
Waiting for manifest data.
Waiting for preview header.
Used-by and code
A definition with reverse dependencies, the standard used-by chip, and a Lean-code preview key.
Waiting for manifest data.
Waiting for preview header.
Group header data
A grouped node with the standard group and used-by header extras.
Waiting for manifest data.
Waiting for preview header.
Grouped theorem
A theorem with group data, proof dependencies, used-by data, and an associated Lean preview key.
Waiting for manifest data.
Waiting for preview header.
Proof dependencies
The proof facet for the same theorem, showing proof-side uses and relation metadata.
Waiting for manifest data.
Waiting for preview header.
External Markdown fallback
Label-oriented renderNode call: the generated Blueprint shell stays standard while Markdown fills the content slot.
Waiting for manifest data.
Waiting for preview header.
Missing preview diagnostic
An expected miss that demonstrates the runtime diagnostic branch for custom clients.
Waiting for manifest data.
Waiting for preview header.
Preview ESM import
ESM access with renderPreviewInto from -verso-data/api/preview.mjs.
Waiting for preview module.
Graph manifest data
Standalone manifest access with api/graph.mjs loadGraphs; no rendered graph block is required on this page.
Waiting for graph data.
Theorem3.1
Rendered from external Markdown source (original); no native Verso body is available.
External Markdown with metadata
This fallback keeps manifest metadata such as uses, used-by, group, tags, priority, and effort.
Lemma3.2
Consumer node that gives the Markdown fallback target a used-by relation.