Test Blueprint Artifacts

Generated inspection sites for local HTML-producing test fixtures. The catalog mixes curated doc-backed fixtures with standalone test packages such as preview_runtime_showcase, grouped here so browser, graph, summary, and metadata cases are easier to browse together.

Each site declares one primary category plus optional tags for cross-cutting coverage.

Code

1 site

Rust Attachment Showcase

Code

curated doc

rust-inline-preview

Inline Rust attachment rendering with simple syntax coloring.

Preview

7 sites

Hover Link Doc

Preview

curated doc

hover-link

Inline reference and bibliography hover coverage.

Hover Uses Dedup Doc

Preview

curated doc

hover-uses-dedup

Repeated uses-links against the same target without duplicate templates.

Hover Cite Only Doc

Preview

curated doc

hover-cite-only

Bibliography-only inline hover coverage.

Blueprint Widget Preview

Preview

curated doc

widget-preview

Widget-side TeX prelude and preview rendering checks.

External Markup Source Showcase

Preview

curated doc

external-markup-source

Guided Markdown and TeX source-migration examples for native and bodyless nodes.

Blueprint Grafts

Preview

curated doc

blueprint-grafts

Manual Blueprint node grafts and side-by-side presentation.

Blueprint Lean Code Link Preview Wiring

Preview

curated doc

lean-code-link-preview

Inline Lean declaration preview links inside the summary.

Relationships

6 sites

Lean Auto Dependencies

Relationships

curated doc

lean-auto-deps

Lean declaration dependency inference with generated graph and summary output.

Blueprint Used-By Preview Wiring

Relationships

curated doc

used-by-preview

Used-by chips and preview panel behavior.

Blueprint Used-By Single Preview Wiring

Relationships

curated doc

used-by-single-preview

Single reverse-dependency used-by rendering.

Blueprint Group Preview Wiring

Relationships

curated doc

group-preview

Declared group chips and group preview panel interactions.

Blueprint Missing Group Preview Wiring

Relationships

curated doc

missing-group-preview

Fallback behavior for undeclared groups.

Blueprint Single Declared Group Wiring

Relationships

curated doc

single-declared-group

Declared group with only one member.

Summary

4 sites

External Summary Links

Summary

curated doc

external-summary-links

Summary links for external Lean declarations.

Summary Blockers

Summary

curated doc

summary-blockers

Missing declarations and incomplete Lean declarations in summary views.

Summary Triage

Summary

curated doc

summary-triage

Summary rollups by owner, tags, parent, and triage metadata.

Blueprint Lean Status Chip Wiring

Summary

curated doc

lean-status-chip

Lean status chip rendering for proved, sorry, axiom, and absent code.

Metadata

1 site

Blueprint Metadata Panel

Metadata

curated doc

metadata-panel

Owner, tags, effort, priority, and PR metadata rendering.

Imports

3 sites

Direct Imported Duplicates

Imports

curated doc

direct-imported-duplicates

Duplicate imported node, group, and author diagnostics.

Transitive Imported Duplicates

Imports

curated doc

transitive-imported-duplicates

Duplicate imported diagnostics through a reexport chain.

Imported Preview Source

Imports

curated doc

imported-preview-source

Imported preview bodies and cross-module preview source coverage.

Graph

1 site

Blueprint Graph State Showcase

Graph

curated doc

state-showcase

Complete graph-state matrix with graph and summary pages.

Runtime

2 sites

Blueprint Preview Wiring

Runtime

curated doc

preview-wiring

Core graph and summary preview runtime wiring.

Preview Runtime Showcase

Runtime

standalone project

preview_runtime_showcase

Standalone browser-regression showcase with summary, graph, panel, and inline preview pages.