crisp-diagnostics 1.7.2

Crisp-level diagnostics and CIR→Crisp span mapping (spec §17.2–17.4)
Documentation

Diagnostic reporting against Crisp source spans.