Proposed in the catalogue decision (#6) and made central by the optimizer
graph decision (#4): one type-keyed catalogue is the single registry that
assembly and the optimizer share.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>