pub fn verify_diagnostics(root: &Path, config: &Config) -> (String, Vec<String>)Expand description
Verify-diagnostic contributions (§124 item 30): every
verify-diagnostic:* extension renders one findings section into the
verify pack via the plugin’s verify.diagnostic op (no input).
Output diagnostic markdown is spliced verbatim under a provenance
header. Failures follow policy: required = hard error text inline,
else skipped with a diagnostic note.