fix(plugin-detail,types): stop erasing the record renderers' props annotation, and align the two mirror keys - #9469

Merged

claude[bot] merged 3 commits into

mainfrom

claude/issue-8649-detail-renderer-reads

Sep 14, 2026

Commits on Sep 14, 2026

fix(plugin-detail,types): stop erasing the record renderers' props annotation, and align the two mirror keys
claude
committed
3e7c64b
fix(plugin-detail): census the block-tag map, not the spec module namespace
claude
committed
9b00449
fix(plugin-detail): make the rail's enveloped read use the declaration it named
claude
committed
69cd07e