Rust Attachment Showcase
Code
curated doc
rust-inline-preview
Inline Rust attachment rendering with simple syntax coloring.
- rust
- inline
- code
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
Preview
5 sites
Hover Link Doc
Preview
curated doc
hover-link
Inline reference and bibliography hover coverage.
- hover
- inline
- citation
Hover Uses Dedup Doc
Preview
curated doc
hover-uses-dedup
Repeated uses-links against the same target without duplicate templates.
- hover
- inline
- uses
Hover Cite Only Doc
Preview
curated doc
hover-cite-only
Bibliography-only inline hover coverage.
- hover
- inline
- citation
Blueprint Widget Preview
Preview
curated doc
widget-preview
Widget-side TeX prelude and preview rendering checks.
- preview
- widget
- tex
Blueprint Lean Code Link Preview Wiring
Preview
curated doc
lean-code-link-preview
Inline Lean declaration preview links inside the summary.
- preview
- inline
- lean
Relationships
5 sites
Blueprint Used-By Preview Wiring
Relationships
curated doc
used-by-preview
Used-by chips and preview panel behavior.
- relationships
- used-by
- preview
Blueprint Used-By Single Preview Wiring
Relationships
curated doc
used-by-single-preview
Single reverse-dependency used-by rendering.
- relationships
- used-by
Blueprint Group Preview Wiring
Relationships
curated doc
group-preview
Declared group chips and group preview panel interactions.
- relationships
- group
- preview
Blueprint Missing Group Preview Wiring
Relationships
curated doc
missing-group-preview
Fallback behavior for undeclared groups.
- relationships
- group
- fallback
Blueprint Single Declared Group Wiring
Relationships
curated doc
single-declared-group
Declared group with only one member.
- relationships
- group
Summary
4 sites
External Summary Links
Summary
curated doc
external-summary-links
Summary links for external Lean declarations.
- summary
- external
- lean
Summary Blockers
Summary
curated doc
summary-blockers
Missing declarations and incomplete Lean declarations in summary views.
- summary
- lean
- blockers
Summary Triage
Summary
curated doc
summary-triage
Summary rollups by owner, tags, parent, and triage metadata.
- summary
- metadata
- triage
Blueprint Lean Status Chip Wiring
Summary
curated doc
lean-status-chip
Lean status chip rendering for proved, sorry, axiom, and absent code.
- summary
- status
- lean
Metadata
1 site
Blueprint Metadata Panel
Metadata
curated doc
metadata-panel
Owner, tags, effort, priority, and PR metadata rendering.
- metadata
- summary
Imports
3 sites
Direct Imported Duplicates
Imports
curated doc
direct-imported-duplicates
Duplicate imported node, group, and author diagnostics.
- imports
- providers
- diagnostics
Transitive Imported Duplicates
Imports
curated doc
transitive-imported-duplicates
Duplicate imported diagnostics through a reexport chain.
- imports
- providers
- diagnostics
Imported Preview Source
Imports
curated doc
imported-preview-source
Imported preview bodies and cross-module preview source coverage.
- imports
- preview
- providers
Graph
1 site
Blueprint Graph State Showcase
Graph
curated doc
state-showcase
Complete graph-state matrix with graph and summary pages.
- graph
- summary
- state
Runtime
2 sites
Blueprint Preview Wiring
Runtime
curated doc
preview-wiring
Core graph and summary preview runtime wiring.
- preview
- runtime
- graph
- summary
Preview Runtime Showcase
Runtime
standalone project
preview_runtime_showcase
Standalone browser-regression showcase with summary, graph, panel, and inline preview pages.
- preview
- runtime
- browser
- graph
- summary
- relationships