docs: document TaxDiagnosticResult tri-state model#227

Merged

Rahul Dass (rahuldass19) merged 2 commits into

mainfrom

mintlify/ca0af50d

Jun 21, 2026

Commits on Jun 21, 2026

docs: document TaxDiagnosticResult tri-state model and proof references
mintlify[bot]
authored
fix: correct diag.constraint_id access + make verified() snippet self-contained
Rahul Dass (rahuldass19)
committed