feat: plan 06 diagnostics - #18

Merged

MicroProofs merged 12 commits into

mainfrom

Sep 10, 2026

Commits on Sep 10, 2026

fix(parse): preserve nested diagnostic context
MicroProofs
committed
04b70cb
fix(types): retain diagnostic context
MicroProofs
committed
faaeb8b
fix(solve): recover independent errors
MicroProofs
committed
f363066
feat(report): add documents and renderers
MicroProofs
committed
49704ce
feat(report): render type names and differences
MicroProofs
committed
f096e72
feat(report): explain syntax errors
MicroProofs
committed
f353694
feat(report): explain canonicalization errors
MicroProofs
committed
3d40e55
feat(report): explain type and trait errors
MicroProofs
committed
f86c278
feat(report): collect phase errors and warnings
MicroProofs
committed
c533ee3
feat(cli): render structured build diagnostics
MicroProofs
committed
5afb65c
feat(lsp): publish live compiler diagnostics
MicroProofs
committed
1168f0a
test(report): verify diagnostics and finish plan
MicroProofs
committed
b7ff823