Diagnostics contract

Every diagnostic carries a stable identifier from weavec::core::diag (use-after-free, double-free, conflicting-borrow, …). It is printed in brackets as [weavec::<id>] and is part of the user-facing contract: scripts and editors may filter on it, so renaming one is a breaking change.