Add constraint validity to diagnostic report

[sarahmish]

Resolve #901

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 96.20%. Comparing base (d35c170) to head (7c24452).

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #941   +/-   ##
=======================================
  Coverage   96.19%   96.20%           
=======================================
  Files         146      146           
  Lines        6864     6874   +10     
=======================================
+ Hits         6603     6613   +10     
  Misses        261      261           

Flag	Coverage Δ
integration	77.82% <100.00%> (+0.03%)	⬆️
unit	87.86% <100.00%> (+0.01%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.