Fix #12643: Pipe structured BuilderProblems into DiagnosticCollector - #12647

Closed

gnodet wants to merge 2 commits into

feature/warning-modefrom

fix/12643-structured-problems

Commits on Aug 8, 2026

Fix #12643: Pipe structured BuilderProblems directly into DiagnosticCollector

gnodet
and
claude
committed
d46f47d
Fix #12643: Migrate PluginValidationManager to native BuilderProblem API

gnodet
and
claude
committed
0e0c4e7